songyc/Logseq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

4.2 카드화 완료 (사용자): Q&A 4장 + cloze 2장 + swift-arrow 2장, 싱크 검증 통과

Browse Source 
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Ufr6wUhJAzBaqcaBiRJ1xk
This commit is contained in:
songyc macbook 2026-08-13 22:54:18 +09:00
parent ca6d3a8805
commit 77d696d4c0
1 changed files with 19 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
Major Study/pages/4.2 직선과 부분공간 위로의 사영.md
View File

@ -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$ 를 나눠 갖는다.