Logseq/Major Study/pages/3.3 Ax = b의 완전해.md

deck:: Logseq/전공공부/선형대수학

• 핵심 개념

  • 이 절의 목표: 드디어 우변이 0이 아닌 Ax = b 의 모든 해를 구한다. 답의 형태는 단 한 줄, 완전해 = (특수해 하나) + (영공간 전체). 이 절은 이 한 줄이 왜 성립하고 어떻게 계산하는지가 전부다.
    • 📌 원문 (3.3 서두 요약 박스 1~5, p.159): 🔗 PDF 위치
      • 
  • [1단계] 용어 3형제부터 정리: 특수해 / 특별해 / 완전해 (⚠️ 이름이 비슷해서 혼동 주의)
    • | 용어 | 어느 방정식의 해? | 어떻게 고르나 |
    • 특수해 (particular solution) x_p, Ax = \mathbf{b} 의 해 하나. 가장 간단한 선택: 모든 자유변수 = 0 으로 놓고 피벗변수만 구한 것.
      • 📌 원문 (p.160): ((6a6c8d7a-b23c-4b70-9165-038a57e92b21)) / ((6a6c8d82-54da-4741-acfc-d0436c06b871))
    • 특별해 (special solution) s, Ax = \mathbf{0} 의 해. 자유변수 하나에 1, 나머지에 0 (3.2절 그대로). (n-r) 개가 나와 영공간을 생성.
    • 완전해 (complete solution, 일반해) x, Ax = b 의 모든 해를 한꺼번에 쓴 것:
      • x = x_p + x_n = x_p + c_1 s_1 + \cdots + c_{n-r}s_{n-r} \qquad (x_n \text{은 영공간의 임의의 벡터})
    • 💡 암기 코드: 특수해는 Ax=b 를 만족하는 "수확물 하나", 특별해는 Ax=0 에서 자유변수에 1·0을 넣는 "별도 규칙"으로 만든 해. 완전해 = 특수해 + (특별해들의 모든 결합).
  • [2단계] 왜 완전해는 "합"인가: 두 방향으로 확인 (사용자 요청: 자세히)
    • 방향 ① (더해도 해다): x_p 가 Ax = b 의 해이고 x_n 이 영공간 벡터(Ax_n = 0)라면:
      • A(x_p + x_n) = Ax_p + Ax_n = b + 0 = b \ ✓
      • 영공간 벡터는 더해도 우변을 안 바꾸는 "공짜 이동" 이다. 그래서 해 하나를 알면 영공간만큼 무한히 많은 해를 만들 수 있다.
    • 방향 ② (모든 해가 이 꼴이다): 거꾸로 x 가 Ax = b 의 아무 해라 하자. x_p 와의 차이를 보면:
      • 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, 사용자 하이라이트 부분):
      • 📌 원문 (p.163): ((6a6c90cf-8d1d-49e5-a86a-24b1367c0ae2))
      • 
        • (p.163, 그림 3.1)
      • Ax_n = 0 의 해들의 직선(영공간, 원점 통과)과 Ax = b 의 해들의 직선은 평행하다. b 로 만드는 효과는 영공간 직선을 x_p 만큼 평행이동시키는 것뿐. "특수해는 그 직선 위의 한 점이고, 영공간 벡터 x_n 을 더하면 직선을 따라 이동한다". 하이라이트한 문장이 정확히 이 그림이다.
      • 🔢 EX2 숫자로: x + y + z = 3,\ x + 2y - z = 4 (랭크 2, n=3) → x_p = (2, 1, 0) (자유변수 x_3 = 0), 특별해 s = (-3, 2, 1). 완전해:
        • x = \begin{bmatrix} 2 \\ 1 \\ 0 \end{bmatrix} + x_3\begin{bmatrix} -3 \\ 2 \\ 1 \end{bmatrix}
        • 검산: x_p: 2+1+0=3 ✓, 2+2-0=4 ✓ / s: -3+2+1=0 ✓, -3+4-1=0 ✓.
      • ⚠️ 해들의 직선 위 모든 점이 특수해가 될 수 있다 (x_p 는 "우리가 고른 대표"일 뿐). 단, 특수해는 상수배하면 안 된다. 2x_p 는 Ax = 2b 의 해다. 상수배가 자유로운 건 영공간 쪽(x_n)뿐.
  • [3단계] 계산 절차, 첨가행렬 [\,A\ \ b\,] \to [\,R_0\ \ d\,]
    • b \neq 0 이므로 행 연산을 우변에도 똑같이 적용해야 한다 → b 를 A 의 열로 추가한 첨가행렬 [\,A\ \ b\,] 에 소거를 적용, [\,R_0\ \ d\,] 를 얻는다.
      • 📌 원문 (p.159): ((6a6c8b64-26a8-43aa-9932-df6a352d35e0)) / ((6a6c8b6a-74ce-4dfa-a873-9dc8a8ff9731))
    • 해의 존재 조건: R_0 의 영행 위치에는 d 도 0이어야 한다 (0 = 0 이 되도록). 아니면 0 = (\text{0 아닌 수}), 해 없음.
      • 📌 원문 (p.160): ((6a6c8d91-bd90-4bce-82d5-5c0f3e107286))
      • 🔢 p.159 예: A 의 3행 = 1행 + 2행 → 소거하면 3행이 영행 → b 도 b_1 + b_2 = b_3 을 만족해야 해가 존재. (b = (1, 6, 7): 1+6=7 ✓)
    • 특수해 읽어내기: 자유변수 = 0 으로 놓으면 피벗변수 값이 d 에 그대로 나타난다 (R_0 의 피벗 부분이 I 라서). 🔢 위 예: x_p = (1, 0, 6, 0), 1과 6이 d = (1, 6, 0) 에서 바로 보인다.
      • 📌 원문 (p.160): ((6a6c8d95-71f7-4bb7-9776-f2902bd07ed2))
    • 가역 정사각행렬이면? (m = n = r) 자유변수 없음, 영공간 = \{0\}, R_0 = I → 완전해는 딱 하나 x = x_p = A^{-1}b. 2장이 바로 이 특수 상황이었다.
      • 📌 원문 (Q&A, p.161): 🔗 PDF 위치
        • 
  • [4단계] 두 극단, 최대 열 랭크와 최대 행 랭크
    • 최대 열 랭크 r = n (세로로 길거나 정사각, 모든 열에 피벗):
      • 📌 원문 (성질 박스, p.162): 🔗 PDF 위치
        • 
      • ❶ 모든 열이 선형독립인 피벗 열, 자유변수 없음 ❷ 영공간 = \{0\} ❸ 해가 존재한다면 유일.
      • 📌 원문 (p.162): ((6a6c8f97-0501-4709-b253-74ce2701c214)) / ((6a6c8f9d-cfdb-4ec3-bb34-871a9d30fc43))
      • 이때 R_0 = \begin{bmatrix} I \\ 0 \end{bmatrix} (n \times n 항등행렬 + (m-n) 개 영행). 영행마다 b 에 대한 조건이 하나씩 붙는다 → 해는 0개 또는 1개.
      • 📌 원문 (p.162): ((6a6c8fad-831a-4c79-8c57-7e8812379132)) / ((6a6c8fb4-b4c8-4733-8267-cfda78c4cebb))
    • 최대 행 랭크 r = m (가로로 길거나 정사각, 모든 행에 피벗):
      • 📌 원문 (성질 박스, p.164): 🔗 PDF 위치
        • 
      • ❶ 영행 없음 (R_0 = R) ❷ 모든 b 에 대해 해 존재 ❸ 열공간 = \mathbb{R}^m 전체 ❹ m < n 이면 자유변수 (n-m) 개 → 해 무수히 많음 (부정, underdetermined).
      • 📌 원문 (p.163): ((6a6c90ae-d786-4d85-b619-34886a39c665))
  • [5단계] 총정리, 랭크가 해의 개수를 결정한다 🧩

    • 랭크 조건	행렬 모양	해의 개수	R_0
      r = m = n	가역 정사각	1개	I
      r = m < n	가로로 긴 최대 행 랭크	∞개	[\,I\ F\,]
      r = n < m	세로로 긴 최대 열 랭크	0 또는 1개	\begin{bmatrix} I \\ 0 \end{bmatrix}
      r < m,\ r < n	최대 랭크 아님	0 또는 ∞개	\begin{bmatrix} I&F \\ 0&0 \end{bmatrix}

    • 📌 원문 (랭크에 따른 4가지 유형 분류, p.164): 🔗 PDF 위치
      • 
    • 📌 원문 (R₀의 4가지 유형 표, p.165): 🔗 PDF 위치
      • 
    • 💡 읽는 법: r = m (행 랭크 최대) = "해가 항상 존재" / r = n (열 랭크 최대) = "해가 많아야 하나". 존재는 행이, 유일성은 열이 책임진다.
    • ⚠️ 흔한 오해: "해가 1개 아니면 무조건 무한개"라고 생각하기 쉽지만, 0개인 경우가 있다 (b 가 열공간 밖). 선형방정식의 해는 언제나 0, 1, ∞ 셋 중 하나다.
  • (읽을거리) 랜덤 선형대수학: 행렬이 너무 크면 열을 샘플링해서 A \approx CUR 로 근사한다. 오차를 감수하고 속도를 얻는 현대적 기법. "선형대수학은 살아있다."
    • 📌 원문 (p.165): ((6a6c91c8-cec5-4d43-a8f1-c4f9cf27cc20))

• ❓ 스스로 점검

  • 특수해·특별해·완전해를 각각 한 문장으로 정의하라. #card id:: 6a746749-b8bf-4f5e-ae82-bd5974802d42
    • 특수해 x_p: Ax=b 의 해 하나 (자유변수 = 0 으로 고른 것).
    • 특별해 s: Ax=0 의 해 (자유변수 하나만 1).
    • 완전해: x = x_p + c_1 s_1 + \cdots + c_{n-r}s_{n-r}, Ax=b 의 모든 해.
  • 완전해가 "특수해 + 영공간"인 이유를 두 방향으로 증명하라. #card id:: 6a746749-d42a-4a4e-8864-cba54d4a7c4e
    • ① A(x_p + x_n) = b + 0 = b → 이 꼴은 전부 해.
    • ② 임의의 해 x 에 대해 A(x - x_p) = b - b = 0 → x - x_p \in \mathbf{N}(A) → 모든 해가 이 꼴.
  • Ax = b 의 해가 존재할 조건을 [\,R_0\ \ d\,] 의 언어로 말하라.
    • R_0 의 영행이 있는 위치에서 d 의 성분도 0이어야 한다 (0 = 0). 하나라도 0 \neq d_i 면 해 없음.
  • 특수해에서 자유변수를 0으로 놓는 이유는? 그때 피벗변수는 어디서 바로 읽는가?
    • 가장 간단해서, 그리고 R_0 의 피벗 부분이 I 라서 피벗변수 값이 우변 d 에 그대로 나타난다.
  • r = n 일 때와 r = m 일 때 해의 개수는 각각 어떻게 되는가?
    • r = n (최대 열 랭크): 0 또는 1개 (영공간 \{0\}, 존재는 b 조건부).
    • r = m (최대 행 랭크): 항상 존재, n = m 이면 1개, n > m 이면 ∞개.
  • 특수해는 왜 상수배를 하면 안 되는가? #card id:: 6a746749-4402-4f67-ba57-959a4c0363dc
    • A(2x_p) = 2b \neq b. extra:: 상수배·결합이 자유로운 것은 영공간 부분 x_n 뿐이다.
  • 랭크 r, 크기 m \times n 에 따른 해의 개수 4가지 유형을 표로 재현하라. #card id:: 6a746749-f3cd-464e-8b32-49cf29f1b5c9
    • r=m=n : 1개
    • r=m<n : ∞
    • r=n<m : 0 또는 1
    • r<m, r<n : 0 또는 ∞.

• ✏️ 연습문제 풀이 (솔루션 참고)

  • 문제 1 (꼭 풀어볼 만한 문제): [확인문제 3.3A]의 (a)~(f) 단계로 A = \begin{bmatrix} 2&4&6&4 \\ 2&5&7&6 \\ 2&3&5&2 \end{bmatrix}, b = (4, 3, 5) 의 열공간·영공간·완전해를 구하라. id:: bcb598bf-ac83-4288-883f-93d727665399
    • 📌 문제 지문 (p.168): 🔗 PDF 위치
      • 
    • 소거: 2행−1행, 3행−1행 → \begin{bmatrix} 2&4&6&4 \\ 0&1&1&2 \\ 0&-1&-1&-2 \end{bmatrix} → 3행+2행 → 영행. 일반 b 로 하면 마지막 행은 b_3 + b_2 - 2b_1 = 0, 해의 존재 조건. (b=(4,3,5): 5+3-8=0 ✓)
    • 계속 위로 소거해 [\,R_0\ \ d\,]: R_0 = \begin{bmatrix} 1&0&1&-2 \\ 0&1&1&2 \\ 0&0&0&0 \end{bmatrix}, d = (4, -1, 0). 피벗변수 x_1, x_2 / 자유변수 x_3, x_4.
    • 열공간: 피벗 열인 A 의 1·2열 (2,2,2), (4,5,3) 이 생성하는 \mathbb{R}^3 안의 평면 = \{b : -2b_1 + b_2 + b_3 = 0\}.
    • 영공간: 특별해 s_1 = (-1, -1, 1, 0) (x_3=1), s_2 = (2, -2, 0, 1) (x_4=1).
    • 완전해: x_p = (4, -1, 0, 0) 에서
      • x = \begin{bmatrix} 4 \\ -1 \\ 0 \\ 0 \end{bmatrix} + c_1\begin{bmatrix} -1 \\ -1 \\ 1 \\ 0 \end{bmatrix} + c_2\begin{bmatrix} 2 \\ -2 \\ 0 \\ 1 \end{bmatrix}
    • 💡 이 문제 하나에 3장 전반부가 다 들어 있다. 존재 조건(열공간), 자유변수(영공간), 완전해 조립까지.
  • 문제 2: 랭크 1인 A = \begin{bmatrix} 1 \\ 3 \\ 2 \end{bmatrix}\begin{bmatrix} 2&1&3 \end{bmatrix} = \begin{bmatrix} 2&1&3 \\ 6&3&9 \\ 4&2&6 \end{bmatrix}, b = (10, 30, 20). 해가 존재하는 b 의 조건 2가지는? b 는 어떤 공간에 있어야 하는가?
    • 📌 문제 지문 (p.168): 🔗 PDF 위치
      • 
    • 소거하면 2·3행이 영행 → 조건 2개: b_2 = 3b_1, b_3 = 2b_1. 즉 b 는 열공간 = (1, 3, 2) 를 지나는 직선 위에 있어야 한다. b = (10,30,20) = 10 \cdot (1,3,2) ✓.
    • 완전해: 2x_1 + x_2 + 3x_3 = 10 에서 x_p = (5, 0, 0), 특별해 s_1 = (-\frac{1}{2}, 1, 0), s_2 = (-\frac{3}{2}, 0, 1) → x = x_p + c_1 s_1 + c_2 s_2 (해들의 평면).
    • 💡 랭크 1 = 열공간이 직선 → b 가 그 직선 위에 있어야만 해가 있고, 대신 있으면 평면만큼($n-r=2$차원) 많다.
  • 문제 3: 완전해를 (특수해) + (영공간 벡터의 임의 상수배) 꼴로: (a) x + 3y = 7, 2x + 6y = 14 (b) x+3y+3z=1, 2x+6y+9z=5, -x-3y+3z=5
    • (a) 두 방정식이 같은 직선 (랭크 1): x = \begin{bmatrix} 7 \\ 0 \end{bmatrix} + c\begin{bmatrix} -3 \\ 1 \end{bmatrix}.
    • (b) 소거: 2행−2×1행 → 3z = 3, 3행+1행 → 6z = 6 (일관 ✓) → z = 1, x + 3y = -2 → x = \begin{bmatrix} -2 \\ 0 \\ 1 \end{bmatrix} + c\begin{bmatrix} -3 \\ 1 \\ 0 \end{bmatrix}.
  • 문제 21: 해의 개수가 다음이 되는 행렬 A 의 예: (a) b 에 따라 0 또는 1개 (b) b 와 무관하게 ∞개 (c) b 에 따라 0 또는 ∞개 (d) b 와 무관하게 1개
    • (a) A = \begin{bmatrix} 1 \\ 1 \end{bmatrix} (r = n = 1 < m) (b) A = \begin{bmatrix} 1&1 \end{bmatrix} (r = m = 1 < n) (c) A = \begin{bmatrix} 0&0 \\ 0&0 \end{bmatrix} 등 r < m, r < n (d) A = I 등 가역 정사각.
    • 💡 [5단계] 표의 4가지 유형에 실제 행렬을 하나씩 대응시키는 문제, 표를 외우지 말고 이 예 4개로 기억하는 게 낫다.
  • 문제 31 (꼭 풀어볼 만한 문제): 3 \times 4 행렬 A 에 대해 Ax = 0 의 유일한 특별해가 s = (2, 3, 1, 0) 이라 하자. (a) A 의 랭크와 Ax=0 의 완전해 (b) R_0 (c) Ax = b 가 모든 b 에 대해 풀린다는 것을 어떻게 아는가? id:: 028a6ab3-d4d1-4786-9833-b04d7122167b
    • (a) 특별해 1개 = 자유변수 1개 → r = n - 1 = 3. Ax=0 의 완전해는 x = cs (직선).
    • (b) R_0 는 세 단계로 복원한다. 핵심: 특별해 s 하나에 R_0 를 결정할 정보가 전부 들어 있다.
      • 1단계, 자유변수 찾기: 특별해는 "자유변수 하나를 1로 놓고" 만든 해이므로, s = (2, 3, 1, 0) 에서 1 이 있는 자리 x_3 이 자유변수. 나머지 x_1, x_2, x_4 는 피벗변수.
      • 2단계, 뼈대 세우기: 랭크 3 = 피벗 3개인데 행도 3개라서 영행이 없다. 기약행사다리꼴에서 피벗 열(1·2·4열)은 위에서부터 차례로 단위벡터 열이 되므로, 모르는 것은 자유변수 열(3열)의 성분 3개뿐:
        • R_0 = \begin{bmatrix} 1&0&?&0 \\ 0&1&?&0 \\ 0&0&?&1 \end{bmatrix}
      • 3단계, ? 채우기: s 는 Ax=0 의 해이므로 R_0 s = 0 이어야 한다. 행마다 풀면 ? 가 하나씩 나온다.
        • 1행: 1 \cdot 2 + (?) \cdot 1 = 0 → ? = -2
        • 2행: 1 \cdot 3 + (?) \cdot 1 = 0 → ? = -3
        • 3행: (?) \cdot 1 + 1 \cdot 0 = 0 → ? = 0
        • R_0 = \begin{bmatrix} 1&0&-2&0 \\ 0&1&-3&0 \\ 0&0&0&1 \end{bmatrix}
      • 💡 F 역산의 정체: 특별해의 구조는 항상 (자유변수 자리에 I, 피벗변수 자리에 -F) 이다. 그래서 자유 열의 성분 = 특별해의 피벗변수 성분에 부호만 바꾼 것. s 의 피벗 성분이 위에서부터 (2, 3, 0) 이므로 3열은 (-2, -3, 0), 위 3단계 계산과 같은 결과다.
      • 검산: R_0 s = (2 - 2,\ 3 - 3,\ 0) = 0 ✓.
    • (c) 랭크 r = 3 = m (행의 개수), 즉 최대 행 랭크라서 모든 b 에 대해 해가 존재한다. 이유는 두 방향으로 볼 수 있다.
      • 소거 관점: 해가 없어지는 유일한 경우는 소거 중 좌변이 전부 0인 행이 생겨 "b 성분들의 조합 = 0" 이라는 존재 조건이 붙을 때다. 그런데 세 행 모두 피벗을 가지므로 영행 자체가 안 생긴다. 조건이 없으니 어떤 b 든 통과.
      • 열공간 관점: 피벗 열이 3개라 열공간은 \mathbb{R}^3 안의 3차원 부분공간, 즉 \mathbb{R}^3 전체다. 모든 b 가 이미 열공간 안에 있다.
      • 덤: 이때 해는 b 마다 무한히 많다 (n - r = 1 개의 자유변수). 특수해 하나 + 직선 cs 전체가 완전해.
    • 💡 특별해 하나만 주고 행렬을 역추적하게 하는 좋은 문제, 특별해의 "1이 있는 자리 = 자유변수, 나머지 = $-F$" 구조가 손에 붙는다.