From 77d696d4c0f14ef5e6f3fdea131682209d3f15d1 Mon Sep 17 00:00:00 2001 From: songyc macbook Date: Thu, 13 Aug 2026 22:54:18 +0900 Subject: [PATCH] =?UTF-8?q?4.2=20=EC=B9=B4=EB=93=9C=ED=99=94=20=EC=99=84?= =?UTF-8?q?=EB=A3=8C=20(=EC=82=AC=EC=9A=A9=EC=9E=90):=20Q&A=204=EC=9E=A5?= =?UTF-8?q?=20+=20cloze=202=EC=9E=A5=20+=20swift-arrow=202=EC=9E=A5,=20?= =?UTF-8?q?=EC=8B=B1=ED=81=AC=20=EA=B2=80=EC=A6=9D=20=ED=86=B5=EA=B3=BC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01Ufr6wUhJAzBaqcaBiRJ1xk --- .../pages/4.2 직선과 부분공간 위로의 사영.md | 30 ++++++++++++------- 1 file changed, 19 insertions(+), 11 deletions(-) diff --git a/Major Study/pages/4.2 직선과 부분공간 위로의 사영.md b/Major Study/pages/4.2 직선과 부분공간 위로의 사영.md index 7c7b445..ba51cd5 100755 --- a/Major Study/pages/4.2 직선과 부분공간 위로의 사영.md +++ b/Major Study/pages/4.2 직선과 부분공간 위로의 사영.md @@ -149,30 +149,38 @@ deck:: Logseq/전공공부/선형대수학 - 📌 원문 (p.228): [🔗 PDF 위치](((6a7af28d-1121-4a8f-94c5-3749f4744e14))) - ![핵심 아이디어 리뷰 (p.228)](../assets/4장_p228_핵심아이디어_리뷰.png) - ### ❓ 스스로 점검 - - 사영 $p$ 와 오차벡터 $e$ 의 정의는? $e$ 는 무엇과 직교하며, $\|e\|$ 의 기하적 의미는? + - 사영 $p$ 와 오차벡터 $e$ 의 정의는? $e$ 는 무엇과 직교하며, $\|e\|$ 의 기하적 의미는? #card + id:: 6a7ca96e-09cf-461b-9c23-ec6dc6aa645c - $p$: 부분공간 안에서 $b$ 와 가장 가까운 벡터. $e = b - p$. - $e$ 는 그 부분공간 전체와 직교한다 ($e \in \mathbf{N}(A^{\mathrm{T}})$, 좌영공간). - $\|e\|$ 는 $b$ 의 끝점에서 부분공간까지의 거리다 (수선의 발까지의 길이). - - 직선 위로의 사영 공식 $\hat{x} = \frac{a^{\mathrm{T}}b}{a^{\mathrm{T}}a}$ 는 어떤 한 줄에서 나오는가? + - 직선 위로의 사영 공식 $\hat{x} = \frac{a^{\mathrm{T}}b}{a^{\mathrm{T}}a}$ 는 어떤 한 줄에서 나오는가? #card + id:: 6a7ca96e-1a89-4767-9639-2ff64a62cce2 - $p = \hat{x}a$ 로 놓고, 오차 $b - \hat{x}a$ 가 $a$ 와 직교한다는 조건 $a \cdot (b - \hat{x}a) = 0$ 을 풀면 된다. - 사영행렬은 $b$ 에 곱해지는 부분을 떼어낸 $P = \frac{aa^{\mathrm{T}}}{a^{\mathrm{T}}a}$ (랭크 1). - - 정규방정식 $A^{\mathrm{T}}A\hat{x} = A^{\mathrm{T}}b$ 에서 미지수는 무엇이고, 이 방정식은 어떤 기하 사실에서 나오는가? + - 정규방정식 $A^{\mathrm{T}}A\hat{x} = A^{\mathrm{T}}b$ 에서 미지수는 무엇이고, 이 방정식은 어떤 기하 사실에서 나오는가? #card + id:: 6a7ca96e-b68a-4380-b338-5ca805a2f1cb - 미지수는 선형결합의 계수 $\hat{x}$ ($n$ 개의 숫자). - 기하 사실은 "오차 $b - A\hat{x}$ 가 부분공간(= 각 기저 $a_i$)과 직교한다" 하나뿐이다. - $n$ 개의 내적 방정식 $a_i^{\mathrm{T}}(b - A\hat{x}) = 0$ 을 행렬로 묶으면 $A^{\mathrm{T}}(b - A\hat{x}) = 0$. - $A^{\mathrm{T}}A$ 가 가역일 필요충분조건은? 증명의 핵심 한 줄은? - - $A$ 의 열이 선형독립인 것. - - 핵심: $\mathbf{N}(A^{\mathrm{T}}A) = \mathbf{N}(A)$ ($A^{\mathrm{T}}Ax = 0$ 이면 $\|Ax\|^2 = x^{\mathrm{T}}A^{\mathrm{T}}Ax = 0$). - - $I - P$ 는 무엇 위로 사영하는 행렬인가? $P^2 = P$ 인 직관적 이유는? + - $A$ 의 열이 {{c1 선형독립}} 인 것. + extra:: 핵심: $\mathbf{N}(A^{\mathrm{T}}A) = \mathbf{N}(A)$ ($A^{\mathrm{T}}Ax = 0$ 이면 $\|Ax\|^2 = x^{\mathrm{T}}A^{\mathrm{T}}Ax = 0$). + id:: 6a7ca96e-03e7-40bf-ba0a-907b79143ed9 + - $I - P$ 는 무엇 위로 사영하는 행렬인가? $P^2 = P$ 인 직관적 이유는? #card + id:: 6a7ca96e-9a8a-4454-835f-190ae98b2a06 - $P$ 가 사영하는 부분공간의 **직교여공간** 위로 사영한다. $(I-P)b = e$. - 이미 부분공간 위에 있는 벡터를 다시 사영하면 자기 자신이라서 $P(Pb) = Pb$, 즉 $P^2 = P$. - 두 사영행렬이 $P_1 + P_2 = I$ 를 만족하려면 두 부분공간은 어떤 관계여야 하는가? - - 서로의 직교여공간이어야 한다 (직교 + 차원 합 = 전체). - - 그냥 직교이기만 하면 (예: $\mathbb{R}^3$ 의 $z$ 축과 $x$ 축) 사영 합이 $b$ 를 복원하지 못한다. + - 서로의 {{c1 직교여공간}}이어야 한다 + extra:: (직교 + 차원 합 = 전체). 그냥 직교이기만 하면 (예: $\mathbb{R}^3$ 의 $z$ 축과 $x$ 축) 사영 합이 $b$ 를 복원하지 못한다. + id:: 6a7ca96e-04eb-4960-b446-a5e0c6f6d7f9 - $A^{\mathrm{T}}A$ 와 $AA^{\mathrm{T}}$ 의 각 성분은 무엇을 의미하는가? (내적 표 읽기) - 출발점은 곱셈 규칙 하나: $(XY)_{ij}$ = ($X$ 의 $i$ 행) · ($Y$ 의 $j$ 열). - - $A^{\mathrm{T}}A$ 에 적용: $A^{\mathrm{T}}$ 의 $i$ 행은 곧 $A$ 의 $i$ 열이므로, $(A^{\mathrm{T}}A)_{ij}$ = ($i$ 열) · ($j$ 열). 즉 **열끼리의 내적 표**. - - $AA^{\mathrm{T}}$ 에 적용: $A^{\mathrm{T}}$ 의 $j$ 열은 곧 $A$ 의 $j$ 행이므로, $(AA^{\mathrm{T}})_{ij}$ = ($i$ 행) · ($j$ 행). 즉 **행끼리의 내적 표**. + - $A^{\mathrm{T}}A$ 에 적용: $A^{\mathrm{T}}$ 의 $i$ 행은 곧 $A$ 의 $i$ 열이므로, $(A^{\mathrm{T}}A)_{ij}$ = ($i$ 열) · ($j$ 열). :-> **열끼리의 내적 표**. + id:: 6a7ca96e-e08e-454c-88b4-f610e54249e7 + - $AA^{\mathrm{T}}$ 에 적용: $A^{\mathrm{T}}$ 의 $j$ 열은 곧 $A$ 의 $j$ 행이므로, $(AA^{\mathrm{T}})_{ij}$ = ($i$ 행) · ($j$ 행). :-> **행끼리의 내적 표**. + id:: 6a7ca96e-549a-4b49-9b40-e9bc5396cdb8 - 왜 그런지 한 번만 천천히: $A^{\mathrm{T}}A$ 의 $(i,j)$ 성분을 곱셈 규칙에 넣으면 "$A^{\mathrm{T}}$ 의 $i$ 행"과 "$A$ 의 $j$ 열"의 내적이다. - 그런데 $A^{\mathrm{T}}$ 는 $A$ 를 눕힌 것이라서, $A^{\mathrm{T}}$ 의 $i$ 행을 다시 세우면 정확히 $A$ 의 $i$ 열이다. - 그래서 "($A$ 의 $i$ 열) 내적 ($A$ 의 $j$ 열)"이 된다. $AA^{\mathrm{T}}$ 는 역할이 반대일 뿐 같은 논리다. @@ -263,4 +271,4 @@ deck:: Logseq/전공공부/선형대수학 - 평면은 법선의 직교여공간이므로: $P = I - Q = \begin{bmatrix} 5/6&1/6&1/3 \\ 1/6&5/6&-1/3 \\ 1/3&-1/3&1/3 \end{bmatrix}$. 공법 ①과 정확히 일치 ✓. - 검산: $P e = 0$ 확인 (법선은 평면 사영에서 죽어야 함): 1행 $\cdot e = \frac{5}{6} - \frac{1}{6} - \frac{2}{3} = 0$ ✓. - 💡 실전 꿀팁: $\mathbb{R}^3$ 의 평면 사영은 공법 ②가 훨씬 빠르다 (기저 2개짜리 역행렬 대신 법선 1개짜리 나누기). 차원이 낮은 쪽($\mathbf{S}$ 든 $\mathbf{S}^{\perp}$ 든)을 사영하고 필요하면 $I$ 에서 빼라. - - 핵심 문장: 평면 사영행렬 = $I - (\text{법선 사영행렬})$. 여공간 쌍은 사영행렬도 $I$ 를 나눠 갖는다. + - 핵심 문장: 평면 사영행렬 = $I - (\text{법선 사영행렬})$. 여공간 쌍은 사영행렬도 $I$ 를 나눠 갖는다. \ No newline at end of file