From 12cc29f978853887e1d55fab786964d70ed4fd3b Mon Sep 17 00:00:00 2001 From: songyc macbook Date: Mon, 24 Aug 2026 18:33:51 +0900 Subject: [PATCH] =?UTF-8?q?3.3=20=EC=8A=A4=EC=8A=A4=EB=A1=9C=20=EC=A0=90?= =?UTF-8?q?=EA=B2=80=20=EB=B3=B4=EA=B0=95:=20Ax=3D0=EC=9D=98=20=EC=99=84?= =?UTF-8?q?=EC=A0=84=ED=95=B4=EA=B0=80=20=ED=8A=B9=EB=B3=84=ED=95=B4=20?= =?UTF-8?q?=EA=B2=B0=ED=95=A9=EB=BF=90=EC=9D=B8=20=EC=9D=B4=EC=9C=A0(?= =?UTF-8?q?=ED=8A=B9=EC=88=98=ED=95=B4=20=3D=20=EC=98=81=EB=B2=A1=ED=84=B0?= =?UTF-8?q?)=20=EC=83=81=EC=84=B8=20=EB=AC=B8=EB=8B=B5=20=EC=B6=94?= =?UTF-8?q?=EA=B0=80?= 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_018JYaHeD41WPAk5P5wBojQe --- Major Study/pages/3.3 Ax = b의 완전해.md | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/Major Study/pages/3.3 Ax = b의 완전해.md b/Major Study/pages/3.3 Ax = b의 완전해.md index 1af07aa..47d0ff1 100755 --- a/Major Study/pages/3.3 Ax = b의 완전해.md +++ b/Major Study/pages/3.3 Ax = b의 완전해.md @@ -20,7 +20,7 @@ deck:: Logseq/전공공부/선형대수학 - $$A(x - x_p) = Ax - Ax_p = b - b = 0$$ - 즉 $x - x_p$ 는 **영공간의 벡터**다. 그러니 $x = x_p + (x - x_p) = x_p + x_n$, 모든 해는 반드시 "특수해 + 영공간 벡터" 꼴이다. 빠지는 해가 없다. - 💡 ①은 "이 꼴이면 다 해다", ②는 "해면 다 이 꼴이다". 둘이 합쳐져 **완전해 = 해 전체**가 된다. ②가 특히 중요: 완전해라는 이름이 정당한 이유. - - **기하로 보면** (EX2, 그림 3.1, 사용자 하이라이트 부분): + - **기하로 보면** (EX2, 그림 3.1 하이라이트 부분): - 📌 원문 (p.163): ((6a6c90cf-8d1d-49e5-a86a-24b1367c0ae2)) - ![그림 3.1, 완전해 = 특수해 + 영공간 (p.163)](../assets/3장_p163_그림3-1_완전해_직선.png) - (p.163, 그림 3.1) @@ -82,6 +82,16 @@ deck:: Logseq/전공공부/선형대수학 - $R_0$ 의 영행이 있는 위치에서 $d$ 의 성분도 0이어야 한다 ($0 = 0$). 하나라도 $0 \neq d_i$ 면 해 없음. - 특수해에서 자유변수를 0으로 놓는 이유는? 그때 피벗변수는 어디서 바로 읽는가? - 가장 간단해서, 그리고 $R_0$ 의 피벗 부분이 $I$ 라서 피벗변수 값이 우변 $d$ 에 그대로 나타난다. + - $b = 0$ 인 경우($Ax = 0$)의 완전해는 왜 특수해 없이 특별해들의 결합만으로 쓰는가? 특수해가 사라진 것인가? + - 사라진 것이 아니다. $Ax = 0$ 도 $b = 0$ 인 $Ax = b$ 이므로 완전해 공식 $x = x_p + c_1 s_1 + \cdots + c_{n-r} s_{n-r}$ 이 그대로 적용된다. 다만 이때 **특수해가 정확히 영벡터**($x_p = 0$)라서 식에서 보이지 않을 뿐이다. + - **레시피로 확인**: 특수해는 "자유변수 전부 0으로 놓고 $R_0 x = d$ 풀기"로 만든다. $b = 0$ 이면 소거를 아무리 해도 우변은 계속 $0$ 이라 $d = 0$ 이고, 피벗변수 값은 $d$ 에서 그대로 읽으므로 피벗변수도 전부 0이다. 자유변수 0, 피벗변수 0, 즉 모든 성분이 0인 $x_p = (0, \dots, 0)$ 이 나온다. + - 그래서 완전해는 다음처럼 되고, 앞의 $0$ 은 더해도 아무 일이 없으니 생략된다: + - $$x = 0 + c_1 s_1 + \cdots + c_{n-r} s_{n-r} = c_1 s_1 + \cdots + c_{n-r} s_{n-r}$$ + - **기하로 확인** (그림 3.1): 해집합은 언제나 "영공간을 $x_p$ 만큼 평행이동한 것"이다. $b \neq 0$ 이면 해집합이 원점을 지나지 않아 원점에서 해집합까지 옮겨 줄 이동량 $x_p \neq 0$ 이 꼭 필요하다. 반면 $Ax = 0$ 의 해집합은 영공간 그 자체(원점 통과)라 이동량이 0, 원점이 곧 특수해다. + - 다른 각도: $x = 0$ 은 언제나 $A0 = 0$ 을 만족하는 **자명한 해**다. 이 자명한 해가 $Ax = 0$ 의 특수해 역할을 한다. $Ax = 0$ 에 해 존재 조건을 따질 필요가 없는 이유이기도 하다 (해가 최소 하나, $x = 0$ 은 항상 있다). + - ⚠️ 표현 주의: 완전해 = "모든 특별해"가 아니라 특별해들의 **모든 선형결합**이다. 특별해 자체는 $n - r$ 개뿐이고, 예컨대 $2s_1$ 이나 $s_1 + s_2$ 는 특별해가 아니지만 엄연히 해다. + - 이 절의 문제 31(a)가 바로 이 경우다: $Ax = 0$ 의 완전해를 특수해 언급 없이 $x = cs$ 로 쓴 이유가 $x_p = 0$ 이기 때문이다. + - 한 줄 요약: $Ax = 0$ 에서 완전해 = 특별해들의 모든 결합(= 영공간 전체)인 이유는 특수해가 없어서가 아니라 **특수해가 영벡터여서**다. - $r = n$ 일 때와 $r = m$ 일 때 해의 개수는 각각 어떻게 되는가? - $r = n$ (최대 열 랭크): 0 또는 1개 (영공간 $\{0\}$, 존재는 $b$ 조건부). - $r = m$ (최대 행 랭크): 항상 존재, $n = m$ 이면 1개, $n > m$ 이면 ∞개.