4.4 문제 15 전면 재작성: 사용자 질문 3건(정규방정식 병행·q₁q₂만 쓰는 이유·좌표계 갈아타기)을 뼈대로 두 갈래 풀이 + 완전 분해 구조화
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Ufr6wUhJAzBaqcaBiRJ1xk
This commit is contained in:
songyc macbook
parent
d925889c42
commit
202cc7c2be
@ -237,26 +237,37 @@ deck:: Logseq/전공공부/선형대수학
|
||||
- 직교성 덕에 교차항이 전멸 → $x_1 = \frac{a_1^{\mathrm{T}}b}{a_1^{\mathrm{T}}a_1}$. ($x_2, x_3$ 도 같은 수법.)
|
||||
- 💡 어디서 봤는가: 4.3 문제 12(b)의 "평균" 유도, [5단계] 식 (6), 그리고 푸리에 계수 공식이 전부 이 한 줄의 변주다. 정규직교면 분모 1이라 $x_i = q_i^{\mathrm{T}}b$.
|
||||
- 핵심 문장: 직교 기저에서 좌표 추출 = "원하는 기저벡터와 내적하고 그 크기 제곱으로 나누기". 교차항을 죽이는 것이 직교성의 일.
|
||||
- **문제 15**: $A = \begin{bmatrix} 1&1 \\ 2&-1 \\ -2&4 \end{bmatrix}$. (a) 열공간의 정규직교기저 $q_1, q_2$ 와 $q_3$ (b) $q_3$ 는 4공간 중 어디? (c) $Ax = (1, 2, 7)$ 을 최소제곱으로.
|
||||
- 🔁 개념 상기: 그람-슈미트 실전 + 4공간(3.5/4.1) + $Q$ 사영([4단계])의 종합 문제.
|
||||
- (a) 그람-슈미트:
|
||||
- $a_1 = (1,2,-2)$, 크기 3 → $q_1 = \frac{1}{3}(1,2,-2)$.
|
||||
- $q_1^{\mathrm{T}}a_2 = \frac{1 - 2 - 8}{3} = -3$ → $B = a_2 - (-3)q_1 = (1,-1,4) + (1,2,-2) = (2,1,2)$, 크기 3 → $q_2 = \frac{1}{3}(2,1,2)$.
|
||||
- $q_3$: 열공간(2차원)의 직교여공간에서: $q_1, q_2$ 모두와 직교하는 $q_3 = \frac{1}{3}(2,-2,-1)$.
|
||||
- (b) $q_3$ 는 열공간과 직교하는 공간 = **좌영공간** $\mathbf{N}(A^{\mathrm{T}})$ 소속 (4.1 기본정리 2: $\mathbb{R}^3$ 에서 열공간의 직교여공간).
|
||||
- (c) $Q = [q_1\ q_2]$ 로 최소제곱: $\hat{x}$ 대신 사영부터. $q_1^{\mathrm{T}}b = \frac{1+4-14}{3} = -3$, $q_2^{\mathrm{T}}b = \frac{2+2+14}{3} = 6$.
|
||||
- $p = -3q_1 + 6q_2 = (-1,-2,2) + (4,2,4) = (3, 0, 6)$. 원래 열 기준 계수는 $A\hat{x} = p$ 에서 $\hat{x} = (1, 2)$.
|
||||
- 검산: $A(1,2) = (1+2,\ 2-2,\ -2+8) = (3,0,6) = p$ ✓. 오차 $e = b - p = (-2, 2, 1)$ 은 $q_1, q_2$ 와 직교 ✓ (내적 $\frac{-2+4-2}{3} = 0$, $\frac{-4+2+2}{3} = 0$).
|
||||
- 💡 **보충: 두 가지 풀이의 관계** ((c)를 4.3 정규방정식으로 풀어도 된다):
|
||||
- $A^{\mathrm{T}}A\hat{x} = A^{\mathrm{T}}b$ 로 직접 풀어도 같은 $\hat{x} = (1, 2)$ 가 나온다. 4.4 공식은 4.3의 **대체가 아니라 직교 기저가 있을 때의 지름길**이니까.
|
||||
- 차이는 비용: 일반 경로는 $2 \times 2$ 연립 풀기, $Q$ 경로는 **내적 2번**($q_1^{\mathrm{T}}b, q_2^{\mathrm{T}}b$)이면 끝. (a)를 먼저 시킨 이유가 이 지름길을 쓰라는 출제 의도다.
|
||||
- ⚠️ 좌표계 주의: $Q^{\mathrm{T}}b = (-3, 6)$ 은 $q_1, q_2$ **기준** 좌표다. 문제의 $\hat{x}$ 은 $A$ 의 원래 열 기준이라, $p$ 를 구한 뒤 $A\hat{x} = p$ (정확히 풀리는 쉬운 시스템)로 갈아탄다.
|
||||
- 💡 **보충 2: (b)까지 쓰면 제일 예쁘다** ($e$ 의 정체는 $q_3$ 방향!):
|
||||
- $q_1, q_2, q_3$ 는 $\mathbb{R}^3$ 의 정규직교기저이므로 식 (6)으로 $b$ 를 **완전 분해**할 수 있다:
|
||||
- $$b = \underbrace{(q_1^{\mathrm{T}}b)q_1 + (q_2^{\mathrm{T}}b)q_2}_{=\ p\ (\text{열공간 성분})} + \underbrace{(q_3^{\mathrm{T}}b)q_3}_{=\ e\ (\text{좌영공간 성분})}$$
|
||||
- 실제로 $q_3^{\mathrm{T}}b = \frac{2 - 4 - 7}{3} = -3$ → $e = -3q_3 = (-2, 2, 1)$, 위 검산의 그 $e$ 와 정확히 일치 ✓.
|
||||
- 즉 이 문제는 (a) $q_1, q_2$ = 사영 $p$ 의 재료, (b) $q_3$ = 오차 $e$ 가 사는 방향, (c) $b = p + e$ 분해의 완성. 4.1 기본정리 2부터 4.4 식 (6)까지 한 줄로 꿰는 문제였던 것.
|
||||
- 핵심 문장: $q_3$ 처럼 "그람-슈미트가 안 만든 나머지 방향"은 좌영공간이다. 사영은 $q$ 들과의 내적으로, 계수는 $A\hat{x} = p$ 로. 그리고 오차는 $q_3$ 좌표 그 자체.
|
||||
- **문제 15**: $A = \begin{bmatrix} 1&1 \\ 2&-1 \\ -2&4 \end{bmatrix}$. (a) 열공간을 생성하는 정규직교벡터 $q_1, q_2$ 와 $q_3$ 을 구하라 (b) $q_3$ 는 4공간 중 어디에 있나? (c) $Ax = (1, 2, 7)$ 을 최소제곱법으로 풀어라.
|
||||
- 🔁 개념 상기: 세 소문제는 각각이 아니라 **하나의 스토리**다. (a) 열공간의 직교 기저 만들기 → (b) 남은 방향의 정체 확인 → (c) 그 기저로 사영하기. 무대는 늘 그 그림: $\mathbb{R}^3$ 이 열공간(2차원)과 좌영공간(1차원)으로 직교 분해되어 있다.
|
||||
- **(a) 그람-슈미트로 열공간의 정규직교기저 만들기**
|
||||
- $a_1 = (1, 2, -2)$, 크기 $\sqrt{1+4+4} = 3$ → $q_1 = \frac{1}{3}(1, 2, -2)$.
|
||||
- $a_2 = (1, -1, 4)$ 에서 $q_1$ 방향 성분을 뺀다: $q_1^{\mathrm{T}}a_2 = \frac{1 - 2 - 8}{3} = -3$ →
|
||||
- $B = a_2 - (q_1^{\mathrm{T}}a_2)q_1 = (1,-1,4) + 3 \cdot \frac{1}{3}(1,2,-2) = (2, 1, 2)$, 크기 3 → $q_2 = \frac{1}{3}(2, 1, 2)$.
|
||||
- 직교 검산: $(1,2,-2) \cdot (2,1,2) = 2 + 2 - 4 = 0$ ✓.
|
||||
- ⚠️ **여기서 만든** $q_1, q_2$ **의 신분**: $A$ 의 두 열로 만들었으므로 **열공간과 똑같은 공간을 생성**한다 ([6단계] 층층 구조: 그람-슈미트는 공간을 안 바꾸고 기저만 직교하게 갈아끼운다). 열이 2개(독립)라 열공간이 2차원이고, 그 기저도 정확히 2개면 충분하다. 즉 $q_1, q_2$ = **열공간의 정규직교기저**.
|
||||
- $q_3$: 문제가 하나 더 요구한 벡터. $q_1, q_2$ 와 모두 직교하는 $\mathbb{R}^3$ 의 나머지 방향: $q_3 = \frac{1}{3}(2, -2, -1)$.
|
||||
- 검산: $(1,2,-2) \cdot (2,-2,-1) = 2 - 4 + 2 = 0$ ✓, $(2,1,2) \cdot (2,-2,-1) = 4 - 2 - 2 = 0$ ✓.
|
||||
- **(b)** $q_3$ **의 정체**: 열공간(2차원)과 직교하는 나머지 1차원 = 열공간의 직교여공간 = **좌영공간** $\mathbf{N}(A^{\mathrm{T}})$ (4.1 기본정리 2). "그람-슈미트가 안 만든 방향"은 항상 여기에 산다.
|
||||
- **(c) 최소제곱: 같은 답에 도달하는 두 갈래** (어느 쪽으로 풀어도 정답이다)
|
||||
- 문제 번역부터: $Ax = (1, 2, 7)$ 은 해가 없다 (행 1·2로 풀면 $x = (1, 0)$ 인데 행 3에 넣으면 $-2 \neq 7$, 모순). 그러니 최소제곱: $b$ 를 **열공간에 사영**한 $p$ 를 찾고, $A\hat{x} = p$ 를 푸는 것이다 (4.3의 "풀 수 없는 $b$ 를 풀 수 있는 $p$ 로 교체").
|
||||
- **갈래 ① 4.3 정규방정식** (일반 도구, $q$ 없이도 됨):
|
||||
- 내적 표로: $A^{\mathrm{T}}A = \begin{bmatrix} 9&-9 \\ -9&18 \end{bmatrix}$, $A^{\mathrm{T}}b = (-9, 27)$.
|
||||
- 풀면: 1행÷9 → $\hat{x}_1 - \hat{x}_2 = -1$, 2행÷9 → $-\hat{x}_1 + 2\hat{x}_2 = 3$. 더하면 $\hat{x}_2 = 2$, $\hat{x}_1 = 1$.
|
||||
- $$\hat{x} = (1, 2)$$
|
||||
- **갈래 ② 4.4 지름길** ((a)의 $q_1, q_2$ 재사용, 역행렬·연립 없음):
|
||||
- **왜** $q_1, q_2$ **만 쓰나**: 사영의 도착지가 **열공간**이고, $q_1, q_2$ 가 바로 그 공간의 기저라서다 (열이 2개니까 기저도 2개). $q_3$ 는 열공간 **밖**(좌영공간)에 있어서 사영 재료가 아니다. $q_3$ 성분이 들어가는 순간 결과가 열공간을 벗어난다.
|
||||
- 좌표 = 내적 ([4단계] $\hat{x} = Q^{\mathrm{T}}b$): $q_1^{\mathrm{T}}b = \frac{1 + 4 - 14}{3} = -3$, $q_2^{\mathrm{T}}b = \frac{2 + 2 + 14}{3} = 6$. 계산 끝.
|
||||
- 사영: $p = (q_1^{\mathrm{T}}b)q_1 + (q_2^{\mathrm{T}}b)q_2 = -3q_1 + 6q_2 = (-1,-2,2) + (4,2,4) = (3, 0, 6)$.
|
||||
- ⚠️ **좌표계 갈아타기** (여기가 미묘한 지점): 방금의 $(-3, 6)$ 은 $q_1, q_2$ **기준** 좌표다. 문제의 $\hat{x}$ 은 $A$ 의 **원래 열 기준** 계수이므로 좌표계를 바꿔야 한다: $A\hat{x} = p$ 를 푼다. $p$ 가 열공간 안이라 이건 **정확히 풀리는** 쉬운 시스템이다: $\hat{x}_1 + \hat{x}_2 = 3$, $2\hat{x}_1 - \hat{x}_2 = 0$ → $\hat{x} = (1, 2)$. 갈래 ①과 동일 ✓.
|
||||
- 두 갈래 비교: ①은 $2 \times 2$ 연립 풀기, ②는 내적 두 번 + 쉬운 변환. **4.4 는 4.3 의 대체가 아니라 "직교 기저가 이미 있을 때의 지름길"**이다. (a)를 먼저 시킨 것이 ②를 쓰라는 출제 의도지만, ①로 풀어도 당당한 정답이다.
|
||||
- **마무리: 검산 +** $b$ **의 완전 분해** ((b)의 $q_3$ 까지 총출동하는 이 문제의 하이라이트)
|
||||
- 오차: $e = b - p = (-2, 2, 1)$. 열공간과 직교 ✓: $(1,2,-2) \cdot (-2,2,1) = 0$, $(2,1,2) \cdot (-2,2,1) = 0$.
|
||||
- 그런데 $e$ 의 방향을 보라: $q_3^{\mathrm{T}}b = \frac{2 - 4 - 7}{3} = -3$ 이고 $-3q_3 = (-2, 2, 1) = e$. **정확히 일치!**
|
||||
- 즉 정규직교기저 $q_1, q_2, q_3$ 로 $b$ 를 완전 분해(식 (6))한 것이 이 문제의 전모다:
|
||||
- $$b = \underbrace{(q_1^{\mathrm{T}}b)q_1 + (q_2^{\mathrm{T}}b)q_2}_{=\ p\ (\text{열공간 성분})} + \underbrace{(q_3^{\mathrm{T}}b)q_3}_{=\ e\ (\text{좌영공간 성분})}$$
|
||||
- $q$ **몇 개를 쓰느냐 = 어디로 사영하느냐**: $q_1$ 만 → 직선 사영 / $q_1, q_2$ → 열공간 사영 $p$ / 셋 다 → $b$ 통째로 복원 ($QQ^{\mathrm{T}} = I$, 사영이 아니라 항등).
|
||||
- 이 문제의 정체: (a) 사영 재료 만들기 → (b) 오차가 살 방향 확인 → (c) $b = p + e$ 분해 실행. 4.1 기본정리 2부터 4.4 식 (6)까지 한 세트로 꿰는 종합 문제.
|
||||
- 핵심 문장: 사영에는 **도착지 공간의 기저만** 쓴다 (열공간 사영이니 $q_1, q_2$). 그람-슈미트가 안 만든 $q_3$ 는 좌영공간이고, 오차는 정확히 그 방향의 성분 $e = (q_3^{\mathrm{T}}b)q_3$ 이다.
|
||||
- **문제 18** (꼭 풀어볼 만한 문제): $a = (1,-1,0,0)$, $b = (0,1,-1,0)$, $c = (0,0,1,-1)$ 에 그람-슈미트를 적용해 $A, B, C$ 를 구하라.
|
||||
- 🔁 개념 상기: 식 (7)·(8) 그대로 세 번. 그리고 결과의 패턴을 읽는 눈 (이 벡터들은 4.1 문제 22가 다룬 "성분 합 0" 공간의 기저다).
|
||||
- 1단계: $A = a = (1, -1, 0, 0)$.
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user