Þ±cell_dependenciesÞFÙ$598d1691-16cf-4803-a5af-d87abec1a02e„´precedence_heuristic §cell_idÙ$598d1691-16cf-4803-a5af-d87abec1a02e´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$752ebf31-3ec1-4033-a3d1-0bddd8ac3232„´precedence_heuristic §cell_idÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$bc325027-c401-410d-be4e-2e99e5077269„´precedence_heuristic §cell_idÙ$bc325027-c401-410d-be4e-2e99e5077269´downstream_cells_map€²upstream_cells_map�¥eigen�Ù$fa6d45e7-3921-4b86-a757-1c1eddda5438„´precedence_heuristic §cell_idÙ$fa6d45e7-3921-4b86-a757-1c1eddda5438´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$73808ba1-63b7-4157-b606-26814a864f2f„´precedence_heuristic §cell_idÙ$73808ba1-63b7-4157-b606-26814a864f2f´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$de97e015-f2d8-453e-9f71-e748eab4159e„´precedence_heuristic §cell_idÙ$de97e015-f2d8-453e-9f71-e748eab4159e´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$cba26403-d491-4eae-be95-7a11984c2b0e„´precedence_heuristic §cell_idÙ$cba26403-d491-4eae-be95-7a11984c2b0e´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$9d9020be-5c18-48f6-bf87-d3623f568673„´precedence_heuristic §cell_idÙ$9d9020be-5c18-48f6-bf87-d3623f568673´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$bca97f96-16d9-4c2d-8d6b-6bd5c7400706„´precedence_heuristic §cell_idÙ$bca97f96-16d9-4c2d-8d6b-6bd5c7400706´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$064f317c-a22d-4220-a944-7d2979dc3515„´precedence_heuristic §cell_idÙ$064f317c-a22d-4220-a944-7d2979dc3515´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409c„´precedence_heuristic §cell_idÙ$8b5ce365-94e4-4875-ac48-d7d6f4b7409c´downstream_cells_map€²upstream_cells_map‚§PlutoUI‘Ù$15442a71-00fe-48ed-ae51-def2f2d8876e·PlutoUI.TableOfContents�Ù$212b9778-dee0-45a2-a4a8-b75f4fa7a0bb„´precedence_heuristic §cell_idÙ$212b9778-dee0-45a2-a4a8-b75f4fa7a0bb´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$cbdabff5-c038-4f7a-ac35-545aa7127bd3„´precedence_heuristic §cell_idÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3´downstream_cells_map€²upstream_cells_map�¥eigen�Ù$c84fb7f0-e572-46ab-b0a3-7612c1870815„´precedence_heuristic §cell_idÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$3fbd4bb7-d325-4982-ab0a-def127f91434„´precedence_heuristic §cell_idÙ$3fbd4bb7-d325-4982-ab0a-def127f91434´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$95674f32-720c-48bc-8d88-f8ed33b270ae„´precedence_heuristic §cell_idÙ$95674f32-720c-48bc-8d88-f8ed33b270ae´downstream_cells_map�¢c2‘Ù$0a987b69-88dc-4ba2-af1c-c39cb5d85019²upstream_cells_map‹§@md_str�¤Core�«PlutoRunner�·PlutoRunner.create_bond�¯Core.applicable�¨getindex�¡:�¨Base.get�¥@bind�¦Slider�¤Base�Ù$05c1b786-159f-4ebd-9748-65c5194133f6„´precedence_heuristic §cell_idÙ$05c1b786-159f-4ebd-9748-65c5194133f6´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$23729642-3a1e-4f22-b05b-356fad1bf54a„´precedence_heuristic §cell_idÙ$23729642-3a1e-4f22-b05b-356fad1bf54a´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9f„´precedence_heuristic §cell_idÙ$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9f´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$15442a71-00fe-48ed-ae51-def2f2d8876e„´precedence_heuristic§cell_idÙ$15442a71-00fe-48ed-ae51-def2f2d8876e´downstream_cells_mapƒ­LinearAlgebra�§PlutoUI‘Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409c¥Plots‘Ù$8308a4c4-46b0-4407-aba5-d8b174c2f152²upstream_cells_map€Ù$6349ab90-43fd-4a19-87d2-aa2483d3faea„´precedence_heuristic §cell_idÙ$6349ab90-43fd-4a19-87d2-aa2483d3faea´downstream_cells_map€²upstream_cells_mapƒ¡-�£det�¡*�Ù$867a6ec4-fb9c-4001-910f-9080ecfcddbc„´precedence_heuristic §cell_idÙ$867a6ec4-fb9c-4001-910f-9080ecfcddbc´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$0757d40b-2402-445e-ad4c-2daaec0b1b75„´precedence_heuristic §cell_idÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75´downstream_cells_map€²upstream_cells_map�§eigvals�Ù$4a687148-264d-46b4-a1e4-7d3e94288e57„´precedence_heuristic §cell_idÙ$4a687148-264d-46b4-a1e4-7d3e94288e57´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$d7d62756-2dab-4a0f-817a-e1acd83a3b74„´precedence_heuristic §cell_idÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$e08c8300-db18-11ec-3f60-19c9638fa2d2„´precedence_heuristic §cell_idÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$9bb72ff3-9307-4904-a8b7-e3021b64c343„´precedence_heuristic §cell_idÙ$9bb72ff3-9307-4904-a8b7-e3021b64c343´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$b85ea93b-70b9-4ba3-894f-8864626fcca1„´precedence_heuristic §cell_idÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6„´precedence_heuristic §cell_idÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$85302350-4d8f-4a26-8901-b308fd0b7e20„´precedence_heuristic §cell_idÙ$85302350-4d8f-4a26-8901-b308fd0b7e20´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$330e2f3a-4d66-417f-aaf5-b92ba0a79c55„´precedence_heuristic §cell_idÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$cac169f2-0fd8-4ca9-9932-4ed751f834bf„´precedence_heuristic §cell_idÙ$cac169f2-0fd8-4ca9-9932-4ed751f834bf´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$11d55eb6-67af-4146-abe0-c34dba602e71„´precedence_heuristic §cell_idÙ$11d55eb6-67af-4146-abe0-c34dba602e71´downstream_cells_map€²upstream_cells_map‚¥eigen�¨Diagonal�Ù$3ede1cfb-87d6-40a7-884c-0da963c24d92„´precedence_heuristic §cell_idÙ$3ede1cfb-87d6-40a7-884c-0da963c24d92´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$7e88ea4a-61ff-4fb6-bf6b-14aed6570cce„´precedence_heuristic §cell_idÙ$7e88ea4a-61ff-4fb6-bf6b-14aed6570cce´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$14c834bd-61ef-45d8-8aa1-cfee057f1e3d„´precedence_heuristic §cell_idÙ$14c834bd-61ef-45d8-8aa1-cfee057f1e3d´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5„´precedence_heuristic §cell_idÙ$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5´downstream_cells_map€²upstream_cells_map‚¡*�¢==�Ù$fdba1f70-d0c2-4765-91fd-452fdfe487b9„´precedence_heuristic §cell_idÙ$fdba1f70-d0c2-4765-91fd-452fdfe487b9´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$a411e2b7-b659-44d1-8146-16d15f59e0e4„´precedence_heuristic §cell_idÙ$a411e2b7-b659-44d1-8146-16d15f59e0e4´downstream_cells_map€²upstream_cells_map‚¨Diagonal�£svd�Ù$465232b9-61e3-419e-a38e-e26472fa389d„´precedence_heuristic §cell_idÙ$465232b9-61e3-419e-a38e-e26472fa389d´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$0a987b69-88dc-4ba2-af1c-c39cb5d85019„´precedence_heuristic §cell_idÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019´downstream_cells_map€²upstream_cells_map‹¢c1‘Ù$71dbec22-42b4-4cbf-9e86-e8952ec127c4§adjoint�§scatter�¤conj�¨scatter!�¢c2‘Ù$95674f32-720c-48bc-8d88-f8ed33b270ae§eigvecs�¡:�¢|>�¡+�¡*�Ù$10a68b69-f319-48ac-acfb-c71964edd2e7„´precedence_heuristic §cell_idÙ$10a68b69-f319-48ac-acfb-c71964edd2e7´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$318c6975-764e-47e5-abe7-0ba7b9883d20„´precedence_heuristic §cell_idÙ$318c6975-764e-47e5-abe7-0ba7b9883d20´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$003a2f97-46cf-4465-83f9-0ad4c64b8c59„´precedence_heuristic §cell_idÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$2243a0ee-3329-4b06-883c-6dd8bfd44551„´precedence_heuristic §cell_idÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$23b12658-c5af-4b28-a49c-ae6b10815de0„´precedence_heuristic §cell_idÙ$23b12658-c5af-4b28-a49c-ae6b10815de0´downstream_cells_map€²upstream_cells_map‚¡*�¢==�Ù$8657dff6-92e6-45df-853d-d13ee2959138„´precedence_heuristic §cell_idÙ$8657dff6-92e6-45df-853d-d13ee2959138´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$40b14b87-6d3e-47c4-9177-dfeeb116c858„´precedence_heuristic §cell_idÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$ee444ee9-9a95-4b8f-999d-60d1c16df56f„´precedence_heuristic §cell_idÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f´downstream_cells_map€²upstream_cells_mapƒ¡-�£det�¡*�Ù$df8db08d-bdda-461b-93cf-e183fc460a41„´precedence_heuristic §cell_idÙ$df8db08d-bdda-461b-93cf-e183fc460a41´downstream_cells_map€²upstream_cells_map‚¡*�¢==�Ù$fa606cc4-7cf2-457f-889a-3a4bdeaaab31„´precedence_heuristic §cell_idÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68„´precedence_heuristic §cell_idÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$65396179-2be2-4ba2-84a6-38db6a4335c5„´precedence_heuristic §cell_idÙ$65396179-2be2-4ba2-84a6-38db6a4335c5´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$90db85a9-9864-4e63-98ca-7edb77f1932f„´precedence_heuristic §cell_idÙ$90db85a9-9864-4e63-98ca-7edb77f1932f´downstream_cells_map€²upstream_cells_mapƒ¤Base�®Base.Docs.HTML�©@html_str�Ù$17bce861-3ef6-4050-bc79-67da0ea689b8„´precedence_heuristic §cell_idÙ$17bce861-3ef6-4050-bc79-67da0ea689b8´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$6f9a1a8e-717b-4953-804a-e8647743fbd4„´precedence_heuristic §cell_idÙ$6f9a1a8e-717b-4953-804a-e8647743fbd4´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$71dbec22-42b4-4cbf-9e86-e8952ec127c4„´precedence_heuristic §cell_idÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4´downstream_cells_map�¢c1‘Ù$0a987b69-88dc-4ba2-af1c-c39cb5d85019²upstream_cells_map‹§@md_str�¤Core�«PlutoRunner�·PlutoRunner.create_bond�¯Core.applicable�¨getindex�¡:�¨Base.get�¥@bind�¦Slider�¤Base�Ù$fa178a75-8119-4d2c-9f63-94420591e7a5„´precedence_heuristic §cell_idÙ$fa178a75-8119-4d2c-9f63-94420591e7a5´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$713775f6-ccce-4b7a-bda3-e828aebcd6a1„´precedence_heuristic §cell_idÙ$713775f6-ccce-4b7a-bda3-e828aebcd6a1´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$f32f1283-1689-4372-b89b-697604efe6fc„´precedence_heuristic §cell_idÙ$f32f1283-1689-4372-b89b-697604efe6fc´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$006740e0-f12c-4312-b181-30d5e6f82ec3„´precedence_heuristic §cell_idÙ$006740e0-f12c-4312-b181-30d5e6f82ec3´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$c1e1aded-6005-4b01-bab1-8f75a3811dc4„´precedence_heuristic §cell_idÙ$c1e1aded-6005-4b01-bab1-8f75a3811dc4´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$80393f7b-c7d2-4972-9ed6-6d06439760ee„´precedence_heuristic §cell_idÙ$80393f7b-c7d2-4972-9ed6-6d06439760ee´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$fe5876ba-30f9-470d-bd42-4c188fa580f3„´precedence_heuristic §cell_idÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$3a85c442-10cd-46ac-943f-6912018b008c„´precedence_heuristic §cell_idÙ$3a85c442-10cd-46ac-943f-6912018b008c´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$8d7119f8-1ef7-4295-a962-d14b1b624689„´precedence_heuristic §cell_idÙ$8d7119f8-1ef7-4295-a962-d14b1b624689´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$d7dba18d-7ee2-41df-b970-d6b92599b22f„´precedence_heuristic §cell_idÙ$d7dba18d-7ee2-41df-b970-d6b92599b22f´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$719cdcf6-d062-48d3-9371-a6419aa69522„´precedence_heuristic §cell_idÙ$719cdcf6-d062-48d3-9371-a6419aa69522´downstream_cells_map€²upstream_cells_map�§eigvals�Ù$8308a4c4-46b0-4407-aba5-d8b174c2f152„´precedence_heuristic §cell_idÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152´downstream_cells_map€²upstream_cells_map‚¥Plots‘Ù$15442a71-00fe-48ed-ae51-def2f2d8876e¬Plots.plotly�Ù$db0b8cb1-2978-4441-9d5c-5e244f31eb0a„´precedence_heuristic §cell_idÙ$db0b8cb1-2978-4441-9d5c-5e244f31eb0a´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�´cell_execution_orderÜFÙ$15442a71-00fe-48ed-ae51-def2f2d8876eÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2Ù$90db85a9-9864-4e63-98ca-7edb77f1932fÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815Ù$8308a4c4-46b0-4407-aba5-d8b174c2f152Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409cÙ$9d9020be-5c18-48f6-bf87-d3623f568673Ù$05c1b786-159f-4ebd-9748-65c5194133f6Ù$65396179-2be2-4ba2-84a6-38db6a4335c5Ù$318c6975-764e-47e5-abe7-0ba7b9883d20Ù$a411e2b7-b659-44d1-8146-16d15f59e0e4Ù$867a6ec4-fb9c-4001-910f-9080ecfcddbcÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6Ù$11d55eb6-67af-4146-abe0-c34dba602e71Ù$6f9a1a8e-717b-4953-804a-e8647743fbd4Ù$598d1691-16cf-4803-a5af-d87abec1a02eÙ$fa178a75-8119-4d2c-9f63-94420591e7a5Ù$c1e1aded-6005-4b01-bab1-8f75a3811dc4Ù$752ebf31-3ec1-4033-a3d1-0bddd8ac3232Ù$3a85c442-10cd-46ac-943f-6912018b008cÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55Ù$713775f6-ccce-4b7a-bda3-e828aebcd6a1Ù$006740e0-f12c-4312-b181-30d5e6f82ec3Ù$cba26403-d491-4eae-be95-7a11984c2b0eÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3Ù$bca97f96-16d9-4c2d-8d6b-6bd5c7400706Ù$ee444ee9-9a95-4b8f-999d-60d1c16df56fÙ$4a687148-264d-46b4-a1e4-7d3e94288e57Ù$17bce861-3ef6-4050-bc79-67da0ea689b8Ù$6349ab90-43fd-4a19-87d2-aa2483d3faeaÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74Ù$9bb72ff3-9307-4904-a8b7-e3021b64c343Ù$df8db08d-bdda-461b-93cf-e183fc460a41Ù$db0b8cb1-2978-4441-9d5c-5e244f31eb0aÙ$8d7119f8-1ef7-4295-a962-d14b1b624689Ù$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5Ù$064f317c-a22d-4220-a944-7d2979dc3515Ù$d7dba18d-7ee2-41df-b970-d6b92599b22fÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1Ù$23b12658-c5af-4b28-a49c-ae6b10815de0Ù$40b14b87-6d3e-47c4-9177-dfeeb116c858Ù$3ede1cfb-87d6-40a7-884c-0da963c24d92Ù$003a2f97-46cf-4465-83f9-0ad4c64b8c59Ù$fdba1f70-d0c2-4765-91fd-452fdfe487b9Ù$80393f7b-c7d2-4972-9ed6-6d06439760eeÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75Ù$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68Ù$719cdcf6-d062-48d3-9371-a6419aa69522Ù$7e88ea4a-61ff-4fb6-bf6b-14aed6570cceÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31Ù$85302350-4d8f-4a26-8901-b308fd0b7e20Ù$465232b9-61e3-419e-a38e-e26472fa389dÙ$3fbd4bb7-d325-4982-ab0a-def127f91434Ù$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9fÙ$10a68b69-f319-48ac-acfb-c71964edd2e7Ù$cac169f2-0fd8-4ca9-9932-4ed751f834bfÙ$23729642-3a1e-4f22-b05b-356fad1bf54aÙ$bc325027-c401-410d-be4e-2e99e5077269Ù$73808ba1-63b7-4157-b606-26814a864f2fÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551Ù$14c834bd-61ef-45d8-8aa1-cfee057f1e3dÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3Ù$212b9778-dee0-45a2-a4a8-b75f4fa7a0bbÙ$8657dff6-92e6-45df-853d-d13ee2959138Ù$fa6d45e7-3921-4b86-a757-1c1eddda5438Ù$f32f1283-1689-4372-b89b-697604efe6fcÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4Ù$95674f32-720c-48bc-8d88-f8ed33b270aeÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019Ù$de97e015-f2d8-453e-9f71-e748eab4159e´last_hot_reload_timeË®process_status¥ready¤pathÙ'/home/runner/work/SC2022/SC2022/0524.jl­pluto_version¨v0.19.41ªcell_orderÜFÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2Ù$90db85a9-9864-4e63-98ca-7edb77f1932fÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815Ù$15442a71-00fe-48ed-ae51-def2f2d8876eÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409cÙ$9d9020be-5c18-48f6-bf87-d3623f568673Ù$05c1b786-159f-4ebd-9748-65c5194133f6Ù$65396179-2be2-4ba2-84a6-38db6a4335c5Ù$318c6975-764e-47e5-abe7-0ba7b9883d20Ù$a411e2b7-b659-44d1-8146-16d15f59e0e4Ù$867a6ec4-fb9c-4001-910f-9080ecfcddbcÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6Ù$11d55eb6-67af-4146-abe0-c34dba602e71Ù$6f9a1a8e-717b-4953-804a-e8647743fbd4Ù$598d1691-16cf-4803-a5af-d87abec1a02eÙ$fa178a75-8119-4d2c-9f63-94420591e7a5Ù$c1e1aded-6005-4b01-bab1-8f75a3811dc4Ù$752ebf31-3ec1-4033-a3d1-0bddd8ac3232Ù$3a85c442-10cd-46ac-943f-6912018b008cÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55Ù$713775f6-ccce-4b7a-bda3-e828aebcd6a1Ù$006740e0-f12c-4312-b181-30d5e6f82ec3Ù$cba26403-d491-4eae-be95-7a11984c2b0eÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3Ù$bca97f96-16d9-4c2d-8d6b-6bd5c7400706Ù$ee444ee9-9a95-4b8f-999d-60d1c16df56fÙ$4a687148-264d-46b4-a1e4-7d3e94288e57Ù$17bce861-3ef6-4050-bc79-67da0ea689b8Ù$6349ab90-43fd-4a19-87d2-aa2483d3faeaÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74Ù$9bb72ff3-9307-4904-a8b7-e3021b64c343Ù$df8db08d-bdda-461b-93cf-e183fc460a41Ù$db0b8cb1-2978-4441-9d5c-5e244f31eb0aÙ$8d7119f8-1ef7-4295-a962-d14b1b624689Ù$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5Ù$064f317c-a22d-4220-a944-7d2979dc3515Ù$d7dba18d-7ee2-41df-b970-d6b92599b22fÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1Ù$23b12658-c5af-4b28-a49c-ae6b10815de0Ù$40b14b87-6d3e-47c4-9177-dfeeb116c858Ù$3ede1cfb-87d6-40a7-884c-0da963c24d92Ù$003a2f97-46cf-4465-83f9-0ad4c64b8c59Ù$fdba1f70-d0c2-4765-91fd-452fdfe487b9Ù$80393f7b-c7d2-4972-9ed6-6d06439760eeÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75Ù$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68Ù$719cdcf6-d062-48d3-9371-a6419aa69522Ù$7e88ea4a-61ff-4fb6-bf6b-14aed6570cceÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31Ù$85302350-4d8f-4a26-8901-b308fd0b7e20Ù$465232b9-61e3-419e-a38e-e26472fa389dÙ$3fbd4bb7-d325-4982-ab0a-def127f91434Ù$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9fÙ$10a68b69-f319-48ac-acfb-c71964edd2e7Ù$cac169f2-0fd8-4ca9-9932-4ed751f834bfÙ$23729642-3a1e-4f22-b05b-356fad1bf54aÙ$bc325027-c401-410d-be4e-2e99e5077269Ù$73808ba1-63b7-4157-b606-26814a864f2fÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551Ù$14c834bd-61ef-45d8-8aa1-cfee057f1e3dÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3Ù$212b9778-dee0-45a2-a4a8-b75f4fa7a0bbÙ$8657dff6-92e6-45df-853d-d13ee2959138Ù$fa6d45e7-3921-4b86-a757-1c1eddda5438Ù$f32f1283-1689-4372-b89b-697604efe6fcÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4Ù$95674f32-720c-48bc-8d88-f8ed33b270aeÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019Ù$de97e015-f2d8-453e-9f71-e748eab4159e±published_objects€¥nbpkgжwaiting_for_permissionÂÙ,waiting_for_permission_but_probably_disabled²installed_versionsƒ­LinearAlgebra¦stdlib§PlutoUI¦0.7.39¥Plots¦1.29.0°terminal_outputs„ªnbpkg_syncÚ< Instantiating... Resolving...  No Changes to `/tmp/jl_tSBv4Q/Project.toml`  Updating `/tmp/jl_tSBv4Q/Manifest.toml`  [6e34b625] ↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1  [94ce4f54] ↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2  [ea2cea3b] ↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2  [b53b4c65] ↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1  [7b1f6079] + FileWatching Precompiling...  Activating project at `/tmp/jl_tSBv4Q`­LinearAlgebraÚ< Instantiating... Resolving...  No Changes to `/tmp/jl_tSBv4Q/Project.toml`  Updating `/tmp/jl_tSBv4Q/Manifest.toml`  [6e34b625] ↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1  [94ce4f54] ↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2  [ea2cea3b] ↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2  [b53b4c65] ↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1  [7b1f6079] + FileWatching Precompiling...  Activating project at `/tmp/jl_tSBv4Q`§PlutoUIÚ< Instantiating... Resolving...  No Changes to `/tmp/jl_tSBv4Q/Project.toml`  Updating `/tmp/jl_tSBv4Q/Manifest.toml`  [6e34b625] ↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1  [94ce4f54] ↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2  [ea2cea3b] ↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2  [b53b4c65] ↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1  [7b1f6079] + FileWatching Precompiling...  Activating project at `/tmp/jl_tSBv4Q`¥PlotsÚ< Instantiating... Resolving...  No Changes to `/tmp/jl_tSBv4Q/Project.toml`  Updating `/tmp/jl_tSBv4Q/Manifest.toml`  [6e34b625] ↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1  [94ce4f54] ↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2  [ea2cea3b] ↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2  [b53b4c65] ↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1  [7b1f6079] + FileWatching Precompiling...  Activating project at `/tmp/jl_tSBv4Q`§enabledìinstantiated÷restart_recommended_msgÀ´restart_required_msgÀ¯install_time_nsΈ0š­busy_packages�«cell_inputsÞFÙ$598d1691-16cf-4803-a5af-d87abec1a02e„§cell_idÙ$598d1691-16cf-4803-a5af-d87abec1a02e¤codeÙ2md""" #### 지난시간까지ì�˜ ë‚´ìš© 요약 """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232„§cell_idÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232¤codeÚ�md""" (3) ${\bf X}_{n \times p}$ê°€ ë�°ì�´í„°í”„레임ì�¼ë•Œ: SVD를 ì�´ìš©í•˜ë©´ ${\bf X}_{n \times p}$보다 rankê°€ ìž‘ì�€ 매트릭스 ${\bf Z}_{n \times q [Ψ[:,i] for i in 1:2] v1, v2= A |> eigvecs |> f u1, u2= B |> eigvecs |> f Bdx, Bdy = [-5,5,-5,5]*v1' + [5,5,-5,-5]*v2' |> f Ax,Ay = c1*v1 + c2*v2 Bx,By = c1*u1 + c2*u2 scatter(xlim=(-11,11),ylim=(-11,11)) scatter!(Bdx,Bdy,markershape=:cross,alpha=0.2,color=:"red") scatter!([Ax],[Ay],markershape=:cross,color=:"red") scatter!([Bx],[By],color=:"blue") end ¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$10a68b69-f319-48ac-acfb-c71964edd2e7„§cell_idÙ$10a68b69-f319-48ac-acfb-c71964edd2e7¤codeÚ md""" `-` "하나ì�˜ 고유값ì—� 반드시 하나ì�˜ 고유벡터는 존재한다"ë�¼ëŠ” ë§�ì�€ 사실 무한개ì�˜ 고유벡터가 존재한다는 것ì�„ ì�˜ë¯¸í•œë‹¤. 왜ëƒ�하면 $\psi$ê°€ 고유벡터ì�´ë©´ $\sqrt{2}\psi$ë�„ 고유벡터ì�´ê¸° 때문ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$318c6975-764e-47e5-abe7-0ba7b9883d20„§cell_idÙ$318c6975-764e-47e5-abe7-0ba7b9883d20¤code¸md""" (코드예시) """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59„§cell_idÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59¤codeÚAmd""" `-` **고유값ì�´ 없는 정사ê°�행렬ì�€ 없다.** (왜?) 행를 ${\bf A}_{n\times n}$ì�˜ 고유값ì�´ 없다는 ì�˜ë¯¸ëŠ” $\det({\bf A}-\lambda {\bf I})=0$를 만족하는 $\lambda$ê°€ 없다는 ì�˜ë¯¸ì�´ë‹¤. 그런ë�° ìž„ì�˜ì�˜ $n$ì°¨ 다항ì‹�ì�˜ 해는 í•­ìƒ� 존재한다 (대수학ì�˜ 기본정리). """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551„§cell_idÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551¤codeÙÃmd""" - $\begin{bmatrix} 0 \\ 1 \end{bmatrix}$ ì�´ 고유벡터 ì�´ë¯€ë¡œ $\begin{bmatrix} 0 \\ 5.3 \end{bmatrix}$, $\begin{bmatrix} 0 \\ -\sqrt{3} \end{bmatrix}$ 등ë�„ 고유벡터ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$23b12658-c5af-4b28-a49c-ae6b10815de0„§cell_idÙ$23b12658-c5af-4b28-a49c-ae6b10815de0¤codeÙ=let A = [1 2 ; 2 1] ψ = [1,1] λ = 3 A*ψ == λ*ψ end¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$8657dff6-92e6-45df-853d-d13ee2959138„§cell_idÙ$8657dff6-92e6-45df-853d-d13ee2959138¤codeÚÎmd""" `-` 예제1,2 모ë‘� 무한개ì�˜ 고유벡터를 가지는 것ì�€ 맞지만 ì°¨ì›�ì�´ 다르다. 예제2ì�˜ 경우 $\begin{bmatrix} 1 \\ 0\end{bmatrix}$ì�„ basis로 한 벡터들ì�˜ ì¡°í•©ì�„ 만들 수 있지만 예제1ì�˜ 경우 $\begin{bmatrix} 1 \\ 0\end{bmatrix}$ì�„ basis로 한 벡터들ì�˜ ì¡°í•©ì�„ 만들 수 있고 추가ì �으로 $\begin{bmatrix} 0 \\ 1\end{bmatrix}$를 basis로 한 벡터들ì�˜ ì¡°í•©ë�„ 만들 수 있기 때문ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858„§cell_idÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858¤codeÙ{md""" - $\psi = \begin{bmatrix} 1 \\ 1 \end{bmatrix}$ ì�€ $\lambda=3$ì—� 대ì�‘하는 ${\bf A}$ì�˜ 고유벡터ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f„§cell_idÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f¤codeÙBlet A = [1 2 ; 2 1] I = [1 0 ; 0 1] λ = -1 det(A-λ*I) end¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$df8db08d-bdda-461b-93cf-e183fc460a41„§cell_idÙ$df8db08d-bdda-461b-93cf-e183fc460a41¤codeÙ?let A = [1 2 ; 2 1] ψ = [-1,1] λ = -1 A*ψ == λ*ψ end¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31„§cell_idÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31¤codeÙ‚md""" `-` **특성방정ì‹�ì�„ 만족하는 ê·¼ $\lambda$ì—� 대ì�‘하는 고유벡터가 반드시 하나는 존재한다.** """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68„§cell_idÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68¤codeÙCmd""" (예제2) 2ê°œì�˜ 고유값ì�´ 겹치는 ë‘�번째 예제 """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$65396179-2be2-4ba2-84a6-38db6a4335c5„§cell_idÙ$65396179-2be2-4ba2-84a6-38db6a4335c5¤codeÚmd""" (1) ${\bf X}$ì�˜ svd 분해꼴로 얻어지는 결과를 ê°�ê°� ${\bf X}$ì�˜ u-matrix, d-matrix, v-matrix ë�¼ê³  부르ìž�. - 참고로 ${\bf X}$ì�˜ u-matrix, v-matrix 유ì�¼í•˜ì§€ 않ì�Œ. - u-matrix와 v-matrixì�˜ column들ì�˜ 순서를 ìž„ì�˜ë¡œ 바꿀수 있으므로 ${\bf X}$ì�˜ d-matrix 역시 유ì�¼í•˜ì§„ 않ì�Œ. 그렇지만 순서를 정렬한다면 유ì�¼í•¨. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$90db85a9-9864-4e63-98ca-7edb77f1932f„§cell_idÙ$90db85a9-9864-4e63-98ca-7edb77f1932f¤codeÚzhtml"""
"""¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$17bce861-3ef6-4050-bc79-67da0ea689b8„§cell_idÙ$17bce861-3ef6-4050-bc79-67da0ea689b8¤codeÙ'md""" (예제2) ë‘�번째 고유값 """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$6f9a1a8e-717b-4953-804a-e8647743fbd4„§cell_idÙ$6f9a1a8e-717b-4953-804a-e8647743fbd4¤codeÙ!md""" ### 지난시간 요약 """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4„§cell_idÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4¤codeÙ3md"c1 $(@bind c1 Slider(-5:0.1:5,show_value=true))"¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$fa178a75-8119-4d2c-9f63-94420591e7a5„§cell_idÙ$fa178a75-8119-4d2c-9f63-94420591e7a5¤codeÙ`md""" (1) ìž„ì�˜ì�˜ 매트릭스 ${\bf X}_{n\times p}$는 í•­ìƒ� SVDë¶„í•´ê°€ 가능하다. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$713775f6-ccce-4b7a-bda3-e828aebcd6a1„§cell_idÙ$713775f6-ccce-4b7a-bda3-e828aebcd6a1¤codeÚRmd""" (2) ${\bf X}$ì�˜ v-martrix를 구하는 방법ì�´ 다양하다. - 방법1: ${\bf X}$ì�˜ svd를 ì�´ìš©í•˜ì—¬ ì§�접구한다. - 방법2: ${\bf X}'{\bf X}$ì—� svd를 수행한다. 그러면 신기하게ë�„ ${\bf X}'{\bf X}$ì�˜ v-matrix와 u-matrix는 í•­ìƒ� 서로 ê°’ì�´ 같게 나온다. (왜?) 그리고 ë�” 신기하게ë�„ ì�´ë•Œì�˜ ${\bf X}'{\bf X}$ì�˜ v-matrixs를 (혹ì�€ u-matrix를) ${\bf X}$ì�˜ v-matrixë�¼ê³  주장할 수 있다. (왜?) - 방법3: ${\bf X}'{\bf X}$ì�˜ 고유벡터행렬ì�„ 구하면 ê·¸ 행렬ì�„ ${\bf X}$ì�˜ v-matrixë�¼ê³  주장할 수 있다. (왜?) """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$f32f1283-1689-4372-b89b-697604efe6fc„§cell_idÙ$f32f1283-1689-4372-b89b-697604efe6fc¤codeÙümd""" (예제3) 예제1,2ì�˜ 고유벡터로 ì¡°í•©í•  수 있는 (=고유벡터들ì�˜ 조합으로 확장할 수 있는, 고유벡터로 span하는) ì �들ì�„ 시ê°�í™” 하ë�¼. 예제1ì�˜ 매트릭스를 ìž„ì�˜ë¡œ 바꿔보면서 관찰해보ë�¼. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$006740e0-f12c-4312-b181-30d5e6f82ec3„§cell_idÙ$006740e0-f12c-4312-b181-30d5e6f82ec3¤codeÙ%md""" ## Eigenvalue Decomposition """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$c1e1aded-6005-4b01-bab1-8f75a3811dc4„§cell_idÙ$c1e1aded-6005-4b01-bab1-8f75a3811dc4¤codeÙÉmd""" (2) ${\bf X}_{n \times p}$ê°€ ì�´ë¯¸ì§€ì�¼ë•Œ: SVD를 ì�´ìš©í•˜ë©´ ${\bf X}_{n\times p} \approx {\bf \hat{X}}_{n\times p}$ ì�¸ ${\bf \hat{X}}_{n\times p}$를 구할 수 있다. (압축하니) """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$80393f7b-c7d2-4972-9ed6-6d06439760ee„§cell_idÙ$80393f7b-c7d2-4972-9ed6-6d06439760ee¤codeÙ9md""" (예제1) 2ê°œì�˜ 고유값ì�´ 겹치는 예제 """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3„§cell_idÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3¤codeÚïmd""" `-` ìž„ì�˜ì�˜ 정사ê°�행렬 ${\bf A}_{n\times n}$ì—� 대하여 어떠한 벡터 ${\psi}_{n\times 1}\neq 0$ ê°€ ì �당한한 ê°’ $\lambda$ì—� 대하여 $${\bf A}{\psi} = \lambda \psi$$ 를 만족하면 $\psi$를 $\lambda$ì�˜ 고유벡터ë�¼ê³  하고 $\lambda$는 $\psi$ì—� 대ì�‘하는 고유값ì�´ë�¼ê³  한다. - note: 0-벡터는 고유벡터로 ì�¸ì •하지 않ì�Œ $\to$ 고유값ì�„ 찾는방법? $\det({\bf A}-\lambda {\bf I})=0$ì�„ 만족하는 $\lambda$를 풀면ë�œë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$3a85c442-10cd-46ac-943f-6912018b008c„§cell_idÙ$3a85c442-10cd-46ac-943f-6912018b008c¤codeÙ

지난시간까지� 내용 요약

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÉÊ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$598d1691-16cf-4803-a5af-d87abec1a02e¹depends_on_disabled_cells§runtime΀յpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232Цqueued¤logs�§running¦output†¤bodyÚ

(3) ${\bf X}_{n \times p}$가 ��터프레임�때: SVD를 �용하면 ${\bf X}_{n \times p}$보다 rank가 작� 매트릭스 ${\bf Z}_{n \times q <p}$ 를 찾� 수 있다. ${\bf Z}_{n\times q}$는 �당한 변환 ${\bf B}_{q\times p }$� �하여 ${\bf Z}_{n\times q}{\bf B}_{q\times p}={\bf \hat{X}}_{n\times p} \approx {\bf X}_{n\times p}$ � �다는 특징� 있다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÊ%p·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232¹depends_on_disabled_cells§runtimeÎx÷µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$bc325027-c401-410d-be4e-2e99e5077269Цqueued¤logs�§running¦output†¤bodyÙ™Eigen{Float64, Float64, Matrix{Float64}, Vector{Float64}} values: 2-element Vector{Float64}: 1.0 2.0 vectors: 2×2 Matrix{Float64}: 1.0 0.0 0.0 1.0°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƜ;Òª·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$bc325027-c401-410d-be4e-2e99e5077269¹depends_on_disabled_cells§runtimeÍhµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$fa6d45e7-3921-4b86-a757-1c1eddda5438Цqueued¤logs�§running¦output†¤bodyÚ[

- 예제1� 가질 수 있는 고유벡터 조합들� 예제2보다 � �부하다. � �낌� 좀 � 수학�으로 표현할 수 있�까? $\to$ 예제1� 고유벡터들로 조합할 수 있는 (=고유벡터들� 조합으로 확장할 수 있는, 고유벡터로 span하는) �들� 2차� �면� 만들지만 예제2� 고유벡터로 조합할 수 있는 (=고유벡터들� 조합으로 확장할 수 있는, 고유벡터로 span하는) �들� 1차� �선� 만든다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ>Ös·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$fa6d45e7-3921-4b86-a757-1c1eddda5438¹depends_on_disabled_cells§runtimeÎWúµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$73808ba1-63b7-4157-b606-26814a864f2fЦqueued¤logs�§running¦output†¤bodyÚr
  • $\begin{bmatrix} 1 \\ 0 \end{bmatrix}$ ì�´ 고유벡터 ì�´ë¯€ë¡œ $\begin{bmatrix} 0.5 \\ 0 \end{bmatrix}$, $\begin{bmatrix} -3.14 \\ 0 \end{bmatrix}$ 등ë�„ 고유벡터ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ<—9·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$73808ba1-63b7-4157-b606-26814a864f2f¹depends_on_disabled_cells§runtimeÎô'µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$de97e015-f2d8-453e-9f71-e748eab4159eЦqueued¤logs�§running¦output†¤bodyÚ

숙제

정사�행렬 ${\bf A}_{2\times 2}$가 0행렬� 경우� ${\bf A}$� 고유벡터들� span하는 공간� 몇차��가?

°persist_js_state¤mime©text/html²last_run_timestampËAٌƞٹ•·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$de97e015-f2d8-453e-9f71-e748eab4159e¹depends_on_disabled_cells§runtimeÎCµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$cba26403-d491-4eae-be95-7a11984c2b0eЦqueued¤logs�§running¦output†¤bodyÙI

고유값과 고유벡터� 정�

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛËÓÝ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$cba26403-d491-4eae-be95-7a11984c2b0e¹depends_on_disabled_cells§runtimeΗ–µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$9d9020be-5c18-48f6-bf87-d3623f568673Цqueued¤logs�§running¦output†¤bodyÙ:

지난시간 summary

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛEõ¾·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$9d9020be-5c18-48f6-bf87-d3623f568673¹depends_on_disabled_cells§runtimeÎìµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$bca97f96-16d9-4c2d-8d6b-6bd5c7400706Цqueued¤logs�§running¦output†¤bodyÙI

(예제1) 첫번째 고유값

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÎ(··has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$bca97f96-16d9-4c2d-8d6b-6bd5c7400706¹depends_on_disabled_cells§runtimeÎÓ0µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$064f317c-a22d-4220-a944-7d2979dc3515Цqueued¤logs�§running¦output†¤bodyÚ
  • $\psi = \begin{bmatrix} -2 \\ 2 \end{bmatrix}$ 역시 $\lambda=-1$ì—� 대ì�‘하는 ${\bf A}$ì�˜ 고유벡터ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ¿ ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$064f317c-a22d-4220-a944-7d2979dc3515¹depends_on_disabled_cells§runtimeÎ5†µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$8b5ce365-94e4-4875-ac48-d7d6f4b7409cЦqueued¤logs�§running¦output†¤bodyÚe°persist_js_state¤mime©text/html²last_run_timestampËAٌƛEFÜ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$8b5ce365-94e4-4875-ac48-d7d6f4b7409c¹depends_on_disabled_cells§runtimeÎ7Eʵpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$212b9778-dee0-45a2-a4a8-b75f4fa7a0bbЦqueued¤logs�§running¦output†¤bodyÚq
  • $\begin{bmatrix} 1 \\ 0 \end{bmatrix}$ ì�´ 고유벡터 ì�´ë¯€ë¡œ $\begin{bmatrix} -1 \\ 0 \end{bmatrix}$, $\begin{bmatrix} -3.14 \\ 0 \end{bmatrix}$ 등ë�„ 고유벡터ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ>–>·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$212b9778-dee0-45a2-a4a8-b75f4fa7a0bb¹depends_on_disabled_cells§runtimeΖŸµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3Цqueued¤logs�§running¦output†¤bodyÙ£Eigen{Float64, Float64, Matrix{Float64}, Vector{Float64}} values: 2-element Vector{Float64}: 1.0 1.0 vectors: 2×2 Matrix{Float64}: 1.0 -1.0 0.0 2.22045e-16°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƜ>n‡·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3¹depends_on_disabled_cells§runtimeÎñ1µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815Цqueued¤logs�§running¦output†¤bodyÙ,

usings

°persist_js_state¤mime©text/html²last_run_timestampËAٌƚþ o·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815¹depends_on_disabled_cells§runtimeÎKßµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$3fbd4bb7-d325-4982-ab0a-def127f91434Цqueued¤logs�§running¦output†¤bodyÚ
  • (ì�‘용버전) ì �당한 매트릭스 ${\bf V}=[V_1~ V_2~ \dots ~ V_n]$ì—� 대하여 ${\bf c} \neq 0$ì�¸ 벡터 ${\bf c}= (c_1,\dots,c_n)^\top$ì�´ 존재하여 ${\bf V}{\bf c}=0$ 만족하면 ${\bf V}$ì�˜ column들ì�€ 선형ë�…립ì�´ 아니ë�¼ê³  ë³¼ 수 있다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%Vï·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$3fbd4bb7-d325-4982-ab0a-def127f91434¹depends_on_disabled_cells§runtimeÎCµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$95674f32-720c-48bc-8d88-f8ed33b270aeЦqueued¤logs�§running¦output†¤bodyÚN

c2 -5.0

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ’BÈ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$95674f32-720c-48bc-8d88-f8ed33b270ae¹depends_on_disabled_cells§runtimeÎáµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$05c1b786-159f-4ebd-9748-65c5194133f6Цqueued¤logs�§running¦output†¤bodyÙj

몇 가지 용어� 약� (책� 없는 용어� 있�)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛGcà·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$05c1b786-159f-4ebd-9748-65c5194133f6¹depends_on_disabled_cells§runtimeÎM»ºµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$23729642-3a1e-4f22-b05b-356fad1bf54aЦqueued¤logs�§running¦output†¤bodyÙ5

(예제1)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%ÉÞ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$23729642-3a1e-4f22-b05b-356fad1bf54a¹depends_on_disabled_cells§runtimeÎßµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9fЦqueued¤logs�§running¦output†¤bodyÙ<

고유벡터� 차�

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%sP·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9f¹depends_on_disabled_cells§runtimeΗPµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$15442a71-00fe-48ed-ae51-def2f2d8876eЦqueued¤logs�§running¦output†¤body °persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƚxyî·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$15442a71-00fe-48ed-ae51-def2f2d8876e¹depends_on_disabled_cells§runtimeÏ ª?8µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$6349ab90-43fd-4a19-87d2-aa2483d3faeaЦqueued¤logs�§running¦output†¤body£0.0°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƛì(Ý·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$6349ab90-43fd-4a19-87d2-aa2483d3faea¹depends_on_disabled_cells§runtimeͰðµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$867a6ec4-fb9c-4001-910f-9080ecfcddbcЦqueued¤logs�§running¦output†¤bodyÚ 

(2) 정사�행렬 ${\bf A}$가 고유값분해가 가능할때 ${\bf A}$� 서로�립� 고유벡터를 column-wise하게 합친 행렬� ${\bf A}$� 고유벡터행렬(eigenvector matrix)��고 하�. 그리고 고유벡터행렬� each columns� 대�하는 고유값� 순서대로 나열하여 대�선� �소� 넣� 대�행렬� 고유값행렬(eigenvalue matrix)�고 하�.

  • 참고로 ${\bf X}$ì�˜ 고유벡터행렬ì�€ 유ì�¼í•˜ì§€ 않ì�Œ. 예를들어 매트릭스 ${\bf \Psi}$ê°€ ${\bf X}$ì�˜ 고유벡터행렬ì�´ë©´ $-{\bf \Psi}$ 역시 ${\bf X}$ì�˜ 고유벡터행렬임.

  • 고유벡터ì�˜ 순서를 바꿀수 있기ì—� 고유값행렬ë�„ 유ì�¼í•˜ì§€ëŠ” 않ì�Œ. 하지만 고유값ì�„ 순서대로 정리한다면 유ì�¼í•¨.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛ†rÍ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$867a6ec4-fb9c-4001-910f-9080ecfcddbc¹depends_on_disabled_cells§runtimeΪáµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75Цqueued¤logs�§running¦output†¤body…¨elements’’’£1.0ªtext/plain’’£1.0ªtext/plain¬prefix_short ¨objectid°b2a227f606a3dcbc¦prefix§Float64¤type¥Array°persist_js_state¤mimeÙ!application/vnd.pluto.tree+object²last_run_timestampËAٌƜ#F·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75¹depends_on_disabled_cells§runtimeͶĵpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$4a687148-264d-46b4-a1e4-7d3e94288e57Цqueued¤logs�§running¦output†¤bodyÚ?
  • $\lambda = -1$ì�¼ë•Œ $\det ({\bf A}-\lambda {\bf I})=0$ ì�´ë¯€ë¡œ $\lambda =-1$ì�€ ${\bf A}$ì�˜ 고유값ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛëQηhas_pluto_hook_features¬rootassigneeÀ§cell_idÙ$4a687148-264d-46b4-a1e4-7d3e94288e57¹depends_on_disabled_cells§runtimeε9µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74Цqueued¤logs�§running¦output†¤bodyÚ=
  • $\lambda = 3$ì�¼ë•Œ $\det ({\bf A}-\lambda {\bf I})=0$ ì�´ë¯€ë¡œ $\lambda =3$ì�€ ${\bf A}$ì�˜ 고유값ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛìJ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74¹depends_on_disabled_cells§runtimeÎ=2µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2Цqueued¤logs�§running¦output†¤bodyÙ/

5월24�

°persist_js_state¤mime©text/html²last_run_timestampËAٌƚÖfI·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2¹depends_on_disabled_cells§runtimeÎWú|µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$9bb72ff3-9307-4904-a8b7-e3021b64c343Цqueued¤logs�§running¦output†¤bodyÙf

(예제3) 첫번째 고유값� 대�하는 고유벡터

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛìgj·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$9bb72ff3-9307-4904-a8b7-e3021b64c343¹depends_on_disabled_cells§runtimeιԵpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1Цqueued¤logs�§running¦output†¤bodyÙf

(예제5) �번째 고유값� 대�하는 고유벡터

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜú'·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1¹depends_on_disabled_cells§runtimeδµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6Цqueued¤logs�§running¦output†¤bodyÙ:

(코드예시)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛ†’h·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6¹depends_on_disabled_cells§runtimeÎÇ›µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$85302350-4d8f-4a26-8901-b308fd0b7e20Цqueued¤logs�§running¦output†¤bodyÚY

(왜?) 특성방정�� 만족하는 하나� 근 $\lambda^*$를 fix하�. 고정� $\lambda^*$� 대�하는 고유벡터가 없다는 �미는

$$({\bf A}-\lambda^*{\bf I})\psi =0$$

를 만족하는 $\psi$는 오� $\psi=0$ ���는 것� �미한다. 그런� �는 사실� 아니다. 왜�하면 $\lambda^*$는

$$\det({\bf A}-\lambda^*{\bf I})=0$$

를 만족하고 따�서 행렬 ${\bf A}-\lambda^*{\bf I}$는 역행렬� 없는 행렬� �고 �렇게 �면 ${\bf A}-\lambda^*{\bf I}$� column 들� 선형�립� 아니게 �다. 따�서 $({\bf A}-\lambda^*{\bf I})\psi=0$� 만족하는 $\psi\neq0$가 있다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%Ê·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$85302350-4d8f-4a26-8901-b308fd0b7e20¹depends_on_disabled_cells§runtimeÎ,æµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55Цqueued¤logs�§running¦output†¤bodyÚ7

(1) ${\bf X}={\bf U}{\bf D}{\bf V}^\top$ �때 ${\bf Z}={\bf \tilde U}{\bf \tilde D}={\bf X}{\bf \tilde V}$ 와 같� 구할 수 있다.

  • ì�´ë•Œ ${\bf \tilde U}$, ${\bf \tilde D}$, ${\bf \tilde V}$ì�˜ ì •ì�˜ëŠ” 지난강ì�˜ë…¸íЏ 참고

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÊ`¢·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55¹depends_on_disabled_cells§runtimeÎ>µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$cac169f2-0fd8-4ca9-9932-4ed751f834bfЦqueued¤logs�§running¦output†¤bodyÙW

- 아래� 예제들� 관찰하�.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%­y·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$cac169f2-0fd8-4ca9-9932-4ed751f834bf¹depends_on_disabled_cells§runtimeγ‘µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$11d55eb6-67af-4146-abe0-c34dba602e71Цqueued¤logs�§running¦output†¤bodyÙB2×2 Diagonal{Float64, Vector{Float64}}: -1.0 â‹… â‹… 3.0°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƛƿ׷has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$11d55eb6-67af-4146-abe0-c34dba602e71¹depends_on_disabled_cells§runtimeÎ.µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$3ede1cfb-87d6-40a7-884c-0da963c24d92Цqueued¤logs�§running¦output†¤bodyÙ9

고유값� 존재

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ9T·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$3ede1cfb-87d6-40a7-884c-0da963c24d92¹depends_on_disabled_cells§runtimeΰRµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$7e88ea4a-61ff-4fb6-bf6b-14aed6570cceЦqueued¤logs�§running¦output†¤bodyÙc

특성방정�� 근� 대�하는 고유벡터� 존재

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ$Òt·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$7e88ea4a-61ff-4fb6-bf6b-14aed6570cce¹depends_on_disabled_cells§runtimeÎá=µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$14c834bd-61ef-45d8-8aa1-cfee057f1e3dЦqueued¤logs�§running¦output†¤bodyÙ5

(예제2)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ<×·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$14c834bd-61ef-45d8-8aa1-cfee057f1e3d¹depends_on_disabled_cells§runtimeνµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5Цqueued¤logs�§running¦output†¤body¤true°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƜž·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5¹depends_on_disabled_cells§runtime̵͒published_object_keys�¸depends_on_skipped_cells§erroredÂÙ$fdba1f70-d0c2-4765-91fd-452fdfe487b9Цqueued¤logs�§running¦output†¤bodyÚ

- 그런� $n$차 다항�� 해가 중복근� 수� 있으므로 ${\bf A}$가 서로 다른 $n$개� 고유값� 가질 필요는 없다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜv–·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$fdba1f70-d0c2-4765-91fd-452fdfe487b9¹depends_on_disabled_cells§runtimeÎi‚µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$a411e2b7-b659-44d1-8146-16d15f59e0e4Цqueued¤logs�§running¦output†¤bodyÙ`2×2 adjoint(::Matrix{Float64}) with eltype Float64: -0.576048 0.817416 -0.817416 -0.576048°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƛ„ãv·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$a411e2b7-b659-44d1-8146-16d15f59e0e4¹depends_on_disabled_cells§runtimeÎfFµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$465232b9-61e3-419e-a38e-e26472fa389dЦqueued¤logs�§running¦output†¤bodyÚ½

(보충학습) 벡터 $V_1,V_2,\dots,V_n$� 선형�립� 아니�는 �미는 �당한 $c_1,c_2,\dots,c_n$� 존재하여

$$c_1 V_1 + c_2V_2 + \dots + c_nV_n=0$$

� 만족한다는 �미�다. (단, �때 $c_1,\dots c_n$� 모� 0� 아니�고 가정한다.)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%7·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$465232b9-61e3-419e-a38e-e26472fa389d¹depends_on_disabled_cells§runtimeÎÊõpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019Цqueued¤logs�§running¦output†¤bodyÚb
°persist_js_state¤mime©text/html²last_run_timestampËAٌƞØû ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019¹depends_on_disabled_cells§runtimeζYåzµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$10a68b69-f319-48ac-acfb-c71964edd2e7Цqueued¤logs�§running¦output†¤bodyÚv

- "하나� 고유값� 반드시 하나� 고유벡터는 존재한다"�는 �� 사실 무한개� 고유벡터가 존재한다는 것� �미한다. 왜�하면 $\psi$가 고유벡터�면 $\sqrt{2}\psi$� 고유벡터�기 때문�다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ%‘.·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$10a68b69-f319-48ac-acfb-c71964edd2e7¹depends_on_disabled_cells§runtimeÎNµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$318c6975-764e-47e5-abe7-0ba7b9883d20Цqueued¤logs�§running¦output†¤bodyÙ:

(코드예시)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛOÒÝ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$318c6975-764e-47e5-abe7-0ba7b9883d20¹depends_on_disabled_cells§runtimeÎ,&µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59Цqueued¤logs�§running¦output†¤bodyÚ!

- 고유값� 없는 정사�행렬� 없다.

(왜?) 행를 ${\bf A}_{n\times n}$� 고유값� 없다는 �미는 $\det({\bf A}-\lambda {\bf I})=0$를 만족하는 $\lambda$가 없다는 �미�다. 그런� 임�� $n$차 다항�� 해는 항� 존재한다 (대수학� 기본정리).

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜY)·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59¹depends_on_disabled_cells§runtimeΛyµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551Цqueued¤logs�§running¦output†¤bodyÚ€
  • $\begin{bmatrix} 0 \\ 1 \end{bmatrix}$ ì�´ 고유벡터 ì�´ë¯€ë¡œ $\begin{bmatrix} 0 \\ 5.3 \end{bmatrix}$, $\begin{bmatrix} 0 \\ -\sqrt{3} \end{bmatrix}$ 등ë�„ 고유벡터ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ<¹Ã·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551¹depends_on_disabled_cells§runtimeÎS1µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$23b12658-c5af-4b28-a49c-ae6b10815de0Цqueued¤logs�§running¦output†¤body¤true°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƜúø·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$23b12658-c5af-4b28-a49c-ae6b10815de0¹depends_on_disabled_cells§runtimeÍ�eµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$8657dff6-92e6-45df-853d-d13ee2959138Цqueued¤logs�§running¦output†¤bodyÚz

- 예제1,2 모� 무한개� 고유벡터를 가지는 것� 맞지만 차�� 다르다. 예제2� 경우 $\begin{bmatrix} 1 \\ 0\end{bmatrix}$� basis로 한 벡터들� 조합� 만들 수 있지만 예제1� 경우 $\begin{bmatrix} 1 \\ 0\end{bmatrix}$� basis로 한 벡터들� 조합� 만들 수 있고 추가�으로 $\begin{bmatrix} 0 \\ 1\end{bmatrix}$를 basis로 한 벡터들� 조합� 만들 수 있기 때문�다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ>¶¿·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$8657dff6-92e6-45df-853d-d13ee2959138¹depends_on_disabled_cells§runtimeÎ� µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858Цqueued¤logs�§running¦output†¤bodyÚ
  • $\psi = \begin{bmatrix} 1 \\ 1 \end{bmatrix}$ ì�€ $\lambda=3$ì—� 대ì�‘하는 ${\bf A}$ì�˜ 고유벡터ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858¹depends_on_disabled_cells§runtimeÎçµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56fЦqueued¤logs�§running¦output†¤body£0.0°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƛêžõ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f¹depends_on_disabled_cells§runtimeÎcoµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$df8db08d-bdda-461b-93cf-e183fc460a41Цqueued¤logs�§running¦output†¤body¤true°persist_js_state¤mimeªtext/plain²last_run_timestampËAٌƛþ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$df8db08d-bdda-461b-93cf-e183fc460a41¹depends_on_disabled_cells§runtime͕ϵpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31Цqueued¤logs�§running¦output†¤bodyÙÍ

- 특성방정�� 만족하는 근 $\lambda$� 대�하는 고유벡터가 반드시 하나는 존재한다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ$ô·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31¹depends_on_disabled_cells§runtimeÎß&µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68Цqueued¤logs�§running¦output†¤bodyÙe

(예제2) 2개� 고유값� 겹치는 �번째 예제

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ$ å·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68¹depends_on_disabled_cells§runtimeÎ V„µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$65396179-2be2-4ba2-84a6-38db6a4335c5Цqueued¤logs�§running¦output†¤bodyÚV

(1) ${\bf X}$� svd 분해꼴로 얻어지는 결과를 �� ${\bf X}$� u-matrix, d-matrix, v-matrix �고 부르�.

  • 참고로 ${\bf X}$ì�˜ u-matrix, v-matrix 유ì�¼í•˜ì§€ 않ì�Œ.

  • u-matrix와 v-matrixì�˜ column들ì�˜ 순서를 ìž„ì�˜ë¡œ 바꿀수 있으므로 ${\bf X}$ì�˜ d-matrix 역시 유ì�¼í•˜ì§„ 않ì�Œ. 그렇지만 순서를 정렬한다면 유ì�¼í•¨.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛO%á·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$65396179-2be2-4ba2-84a6-38db6a4335c5¹depends_on_disabled_cells§runtimeÎÃ>µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$90db85a9-9864-4e63-98ca-7edb77f1932fЦqueued¤logs�§running¦output†¤bodyÚo
°persist_js_state¤mime©text/html²last_run_timestampËAٌƚü©·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$90db85a9-9864-4e63-98ca-7edb77f1932f¹depends_on_disabled_cells§runtimeÎ5µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$17bce861-3ef6-4050-bc79-67da0ea689b8Цqueued¤logs�§running¦output†¤bodyÙI

(예제2) �번째 고유값

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛëp°·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$17bce861-3ef6-4050-bc79-67da0ea689b8¹depends_on_disabled_cells§runtimeÎÏûµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$6f9a1a8e-717b-4953-804a-e8647743fbd4Цqueued¤logs�§running¦output†¤bodyÙ9

지난시간 요약

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÇm+·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$6f9a1a8e-717b-4953-804a-e8647743fbd4¹depends_on_disabled_cells§runtimeÎåwµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4Цqueued¤logs�§running¦output†¤bodyÚN

c1 -5.0

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ‘d»·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4¹depends_on_disabled_cells§runtimeÎ1¡!µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$fa178a75-8119-4d2c-9f63-94420591e7a5Цqueued¤logs�§running¦output†¤bodyÙ¯

(1) 임�� 매트릭스 ${\bf X}_{n\times p}$는 항� SVD분해가 가능하다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÉë§·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$fa178a75-8119-4d2c-9f63-94420591e7a5¹depends_on_disabled_cells§runtimeÎ\™µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$713775f6-ccce-4b7a-bda3-e828aebcd6a1Цqueued¤logs�§running¦output†¤bodyÚ

(2) ${\bf X}$� v-martrix를 구하는 방법� 다양하다.

  • 방법1: ${\bf X}$ì�˜ svd를 ì�´ìš©í•˜ì—¬ ì§�접구한다.

  • 방법2: ${\bf X}'{\bf X}$ì—� svd를 수행한다. 그러면 신기하게ë�„ ${\bf X}'{\bf X}$ì�˜ v-matrix와 u-matrix는 í•­ìƒ� 서로 ê°’ì�´ 같게 나온다. (왜?) 그리고 ë�” 신기하게ë�„ ì�´ë•Œì�˜ ${\bf X}'{\bf X}$ì�˜ v-matrixs를 (혹ì�€ u-matrix를) ${\bf X}$ì�˜ v-matrixë�¼ê³  주장할 수 있다. (왜?)

  • 방법3: ${\bf X}'{\bf X}$ì�˜ 고유벡터행렬ì�„ 구하면 ê·¸ 행렬ì�„ ${\bf X}$ì�˜ v-matrixë�¼ê³  주장할 수 있다. (왜?)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛËA·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$713775f6-ccce-4b7a-bda3-e828aebcd6a1¹depends_on_disabled_cells§runtimeÎéµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$f32f1283-1689-4372-b89b-697604efe6fcЦqueued¤logs�§running¦output†¤bodyÚ*

(예제3) 예제1,2� 고유벡터로 조합할 수 있는 (=고유벡터들� 조합으로 확장할 수 있는, 고유벡터로 span하는) �들� 시�화 하�. 예제1� 매트릭스를 임�로 바꿔보면서 관찰해보�.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ>óÜ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$f32f1283-1689-4372-b89b-697604efe6fc¹depends_on_disabled_cells§runtimeÎÜYµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$006740e0-f12c-4312-b181-30d5e6f82ec3Цqueued¤logs�§running¦output†¤bodyÙ>

Eigenvalue Decomposition

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛ˲·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$006740e0-f12c-4312-b181-30d5e6f82ec3¹depends_on_disabled_cells§runtimeεpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$c1e1aded-6005-4b01-bab1-8f75a3811dc4Цqueued¤logs�§running¦output†¤bodyÚ¢

(2) ${\bf X}_{n \times p}$가 �미지�때: SVD를 �용하면 ${\bf X}_{n\times p} \approx {\bf \hat{X}}_{n\times p}$ � ${\bf \hat{X}}_{n\times p}$를 구할 수 있다. (압축하니)

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÊ[·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$c1e1aded-6005-4b01-bab1-8f75a3811dc4¹depends_on_disabled_cells§runtimeÎ8¾µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$80393f7b-c7d2-4972-9ed6-6d06439760eeЦqueued¤logs�§running¦output†¤bodyÙ[

(예제1) 2개� 고유값� 겹치는 예제

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜ% ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$80393f7b-c7d2-4972-9ed6-6d06439760ee¹depends_on_disabled_cells§runtimeΨKµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3Цqueued¤logs�§running¦output†¤bodyÚ 

- 임�� 정사�행렬 ${\bf A}_{n\times n}$� 대하여 어떠한 벡터 ${\psi}_{n\times 1}\neq 0$ 가 �당한한 값 $\lambda$� 대하여

$${\bf A}{\psi} = \lambda \psi$$

를 만족하면 $\psi$를 $\lambda$� 고유벡터�고 하고 $\lambda$는 $\psi$� 대�하는 고유값��고 한다.

  • note: 0-벡터는 고유벡터로 ì�¸ì •하지 않ì�Œ $\to$ 고유값ì�„ 찾는방법? $\det({\bf A}-\lambda {\bf I})=0$ì�„ 만족하는 $\lambda$를 풀면ë�œë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛΠ‰·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3¹depends_on_disabled_cells§runtimeÎÉ‹µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$3a85c442-10cd-46ac-943f-6912018b008cЦqueued¤logs�§running¦output†¤bodyÙ™

${\bf Z}$와 ${\bf B}$� 대한 암기사항

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÊ@t·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$3a85c442-10cd-46ac-943f-6912018b008c¹depends_on_disabled_cells§runtimeÎÉ"µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$8d7119f8-1ef7-4295-a962-d14b1b624689Цqueued¤logs�§running¦output†¤bodyÙq

(예제4) 첫번째 고유값� 대�하는 � 다른 고유벡터

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÿ›o·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$8d7119f8-1ef7-4295-a962-d14b1b624689¹depends_on_disabled_cells§runtimeÎ[µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$d7dba18d-7ee2-41df-b970-d6b92599b22fЦqueued¤logs�§running¦output†¤bodyÚó

- 예제3,4� 관찰: $\psi$가 ${\bf A}$� 고유벡터��면 $-\psi, \frac{1}{\sqrt{2}}\psi,\dots$ 모� ${\bf A}$� 고유벡터�다. 그리고 �때 $\psi, -\psi, \frac{1}{\sqrt{2}}\psi$� 대�하는 고유값� 모� 같다.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƜݱ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$d7dba18d-7ee2-41df-b970-d6b92599b22f¹depends_on_disabled_cells§runtimeÎPùµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$719cdcf6-d062-48d3-9371-a6419aa69522Цqueued¤logs�§running¦output†¤body…¨elements’’’£0.0ªtext/plain’’£0.0ªtext/plain¬prefix_short ¨objectid°e2342b6de3c21aef¦prefix§Float64¤type¥Array°persist_js_state¤mimeÙ!application/vnd.pluto.tree+object²last_run_timestampËAٌƜ$±·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$719cdcf6-d062-48d3-9371-a6419aa69522¹depends_on_disabled_cells§runtimeÍ”Tµpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152Цqueued¤logs‘ˆ¤lineÿ£msg’ÙIFor saving to png with the Plotly backend PlotlyBase has to be installed.ªtext/plain§cell_idÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152¦kwargs�¢id®Plots_8f1013ff¤fileÙ8/home/runner/.julia/packages/Plots/1KWPG/src/backends.jl¥group¨backends¥level¤Info§running¦output†¤body…¨elements�¬prefix_short­PlotlyBackend¨objectid°ffffffffb7af8867¦prefix³Plots.PlotlyBackend¤type¦struct°persist_js_state¤mimeÙ!application/vnd.pluto.tree+object²last_run_timestampËAٌƛ-Pηhas_pluto_hook_features¬rootassigneeÀ§cell_idÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152¹depends_on_disabled_cells§runtimeÎÓ£5µpublished_object_keys�¸depends_on_skipped_cells§erroredÂÙ$db0b8cb1-2978-4441-9d5c-5e244f31eb0aЦqueued¤logs�§running¦output†¤bodyÚ
  • $\psi = \begin{bmatrix} -1 \\ 1 \end{bmatrix}$ì�€ $\lambda=-1$ì—� 대ì�‘하는 ${\bf A}$ì�˜ 고유벡터ì�´ë‹¤.

°persist_js_state¤mime©text/html²last_run_timestampËAٌƛÿ ·has_pluto_hook_features¬rootassigneeÀ§cell_idÙ$db0b8cb1-2978-4441-9d5c-5e244f31eb0a¹depends_on_disabled_cells§runtimeÎìµpublished_object_keys�¸depends_on_skipped_cells§errored©shortpath§0524.jl®last_save_timeËAٌƗ/É«in_temp_dir¨metadata€