f2af66dc53
- 8단계 재구성: 3.3 해 유형표 → 좌역=최소제곱·우역=최단 해 연결, AᵀA/AAᵀ 모순 해소, A⁺ 정의·그림 4.11·사영 정체·계산법 3종 - 하이라이트 19개 연결 (텍스트 7 + 영역 12), OCR 교정 7건, 이미지 13개 추출 - 연습문제 1·2·4·6·11 선정·해설, 독립 검증 워크플로 통과 (지적 2건 수정) - 4장 고찰: 책 ❶~❾ 정리 + 장 전체 한 줄 + 절별 회고 + 자가 질문 목록 - 이 단원 핵심문제 5선 (4.1-3, 4.2-20·21, 4.3-1, 4.4-15, 4.5-1, 블록 링크) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Ufr6wUhJAzBaqcaBiRJ1xk
5.0 KiB
Executable File
5.0 KiB
Executable File
deck:: Logseq/전공공부/선형대수학
-
4장 서론 정리
- 이 장의 큰 그림: 3장이 4가지 기본 부분공간의 차원을 밝혔다면, 4장은 그 공간들 사이의 각도를 밝힌다. 답은 "두 쌍이 서로 90°"다.
- 출발점은 직교의 정의: 두 벡터의 내적이 0.
- 📌 원문 직교의 정의 (p.208): ((6a787abc-f31a-487e-9c0e-451308dc7e36)) / ((6a787ac1-8770-4b41-a862-8b8ae853cc50))
- 이 "직교"를 벡터 → 부분공간 → 기저 → 행렬
Q로 점점 확장하는 것이 4장 전체의 스토리다.
- 절별 로드맵:
- 4.1 벡터와 부분공간의 직교성: 4가지 기본 부분공간이 두 쌍으로 직교한다 (기본정리 2).
- 4.2 직선과 부분공간 위로의 사영:
b가 열공간 밖에 있으면, 열공간 안에서b와 가장 가까운 점p를 찾는다. 오차e = b - p는 열공간과 직교. - 4.3 최소제곱근사:
Ax = b의 해가 없을 때 최선의\hat{x}를 주는 방정식이A^{\mathrm{T}}A\hat{x} = A^{\mathrm{T}}b. - 4.4 정규직교기저와 그람-슈미트: 열들을 직교화해
Q^{\mathrm{T}}Q = I인 행렬Q와 분해A = QR을 만든다. - 4.5 행렬의 유사역행렬: 열공간을 행공간으로 되돌리는
A^{+}.
- 💡 수위 조절: 서론(p.208~209)은 사영·최소제곱·
QR을 예고편처럼 쏟아붓는다. 여기서 다 이해될 필요가 전혀 없다. 각 절에서 제대로 배우니, 지금은 "직교가 이 모든 것의 공통 무기"라는 감만 잡으면 충분하다.
-
소단원
-
4장에 대한 고찰
- 책의 고찰(p.277
278)은 "직교벡터와 직교행렬이 이 책에서 가장 중요하다"는 선언과 함께 사실 9개를 나열한다. 4장에서 증명까지 끝낸 것(❶❹)과 뒤 장의 예고(❺~❾)로 갈라 읽으면 깔끔하다. - 4장에서 증명까지 끝낸 사실들:
- ❶
\|Qx\| = \|x\|(크기 보존), ❷(Qx)^{\mathrm{T}}(Qy) = x^{\mathrm{T}}y(내적·사잇각 보존): 4.4 [3단계]의 한 줄 증명. - ❸
Q의 열공간 위로의 사영행렬은P = QQ^{\mathrm{T}}: 4.4 [4단계] (역행렬이 증발한 사영). - ❹
Qx = b의 최소제곱해는\hat{x} = Q^{\mathrm{T}}b = Q^{+}b: 4.4 와 4.5 의 접점 (Q^{+} = Q^{\mathrm{T}}).
- ❶
- 뒤 장의 예고편 (수위 조절: 지금은 이름만 알면 된다):
- ❺ 직교행렬의 거듭제곱과 곱도 직교행렬이다 (행렬식 얘기는 5장에서).
- ❻ 대칭행렬
S의 고유벡터는 정규직교할 수 있다 (6장). 최소제곱의 심장이던S = A^{\mathrm{T}}A가 그 주인공이 된다. - ❼ 모든 행렬의 특이벡터는 정규직교한다 (7장 SVD): 행공간의 정규직교기저
v들이 열공간의 직교벡터Av들로 가는, 4장 큰 그림의 완성형. - ❽ 모든 가역행렬 = (직교행렬
Q)(대칭행렬S), ❾ 모든 가역행렬 = (직교행렬Q)(상삼각행렬R): ❾가 4.4 그람-슈미트의QR이고 ❽는 6장 이후의 선물.
- 💡 4장 전체를 꿰는 한 줄: "직교는 분해가 되는 직각이다". 직교여공간이라
b = p + e로 남김없이 쪼갤 수 있었고(4.1~4.2), 그 분해가 해 없는 문제의 최선(4.3 최소제곱)과 공짜 좌표(4.4 정규직교기저)와 만능 되돌리기(4.5 유사역행렬)를 차례로 만들었다. - 절별 한 줄 회고:
- 4.1 네 부분공간은 두 쌍의 직교여공간이다 (기본정리 2,
x = x_r + x_n). - 4.2 수선의 발이 최선이다: 오차 ⊥ 부분공간,
P = A(A^{\mathrm{T}}A)^{-1}A^{\mathrm{T}}. - 4.3 해가 없으면
b를p로 바꿔 풀어라:A^{\mathrm{T}}A\hat{x} = A^{\mathrm{T}}b(기하·대수·미분적분이 같은 답). - 4.4 직교 기저면 좌표가 내적으로 공짜다:
Q^{\mathrm{T}}Q = I,A = QR. - 4.5 역행렬이 없어도 되돌리기는 있다:
A^{+}= 최소노름 최소제곱 기계.
- 4.1 네 부분공간은 두 쌍의 직교여공간이다 (기본정리 2,
- 💡 이번 장에서 스스로 뚫은 질문들 (복습 때 이 목록만 훑어도 4장이 되살아난다):
e = b - p방향의 관례, 사영은 1배·반사는 2배,x와\hat{x}의 신분 차이,Q^{\mathrm{T}}Q대QQ^{\mathrm{T}},R아래 삼각형의 0이 계산 결과인 이유,q좌표계와 원래 열 좌표계 갈아타기, 좌역 = 최소제곱·우역 = 최단 해.
- 책의 고찰(p.277
-
이 단원 핵심문제
- 이 장을 다시 공부할 때 아래 문제들을 먼저 풀어보면 이해가 살아있는지 확인할 수 있다 (클릭하면 해설로 이동).
- 4.1 문제 3
- 4.2 문제 20·21
- 4.3 문제 1
- 4.4 문제 15
- 4.5 문제 1
