From 605c88b9cf634bfc5fcb6b5c4cf75e1e8750265a Mon Sep 17 00:00:00 2001 From: songyc macbook Date: Wed, 12 Aug 2026 23:47:29 +0900 Subject: [PATCH] =?UTF-8?q?1=C2=B72=C2=B73=EC=9E=A5=EC=97=90=20=E3=80=8C?= =?UTF-8?q?=EC=9D=B4=20=EB=8B=A8=EC=9B=90=20=ED=95=B5=EC=8B=AC=EB=AC=B8?= =?UTF-8?q?=EC=A0=9C=E3=80=8D=20=EC=84=B9=EC=85=98=20=EC=B6=94=EA=B0=80:?= =?UTF-8?q?=20=EC=9E=A5=EB=B3=84=20=EC=A0=95=EC=98=88=205=EB=AC=B8?= =?UTF-8?q?=EC=A0=9C=20+=20=ED=95=B4=EC=84=A4=20=EB=B8=94=EB=A1=9D=20?= =?UTF-8?q?=EC=A0=90=ED=94=84=20=EB=A7=81=ED=81=AC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 각 장 페이지 맨 아래에 복습용 핵심문제 목록 (문제 번호 + 블록 링크) - 선정: 1장(1.1-10, 1.2-25, 1.3-1, 1.4-5, 1.4-12) / 2장(2.1-11, 2.2-34, 2.3-7, 2.4-19, 2.5-18) / 3장(3.2-13, 3.3-1, 3.3-31, 3.4-2, 3.5-24) - 링크 대상 문제 블록 15개에 새 id:: 부여 (카드 문법 아님, Anki 싱크 영향 없음, 전체 id 중복 검사 통과) Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01Ufr6wUhJAzBaqcaBiRJ1xk --- Major Study/pages/1장 벡터와 행렬.md | 14 +++++++++++++- Major Study/pages/2.1 소거법과 역대입법.md | 1 + Major Study/pages/2.2 소거행렬과 역행렬.md | 1 + Major Study/pages/2.3 행렬 계산과 A = LU.md | 1 + Major Study/pages/2.4 치환행렬과 전치행렬.md | 1 + Major Study/pages/2.5 미분과 유한차분행렬.md | 1 + Major Study/pages/2장 선형방정식 Ax = b 풀기.md | 7 +++++++ .../3.2 소거법을 이용한 영공간 계산 A = CR.md | 1 + Major Study/pages/3.3 Ax = b의 완전해.md | 2 ++ Major Study/pages/3.4 독립, 기저, 차원.md | 1 + .../pages/3.5 4가지 기본 부분공간의 차원.md | 1 + Major Study/pages/3장 4가지 기본 부분공간.md | 7 +++++++ 12 files changed, 37 insertions(+), 1 deletion(-) diff --git a/Major Study/pages/1장 벡터와 행렬.md b/Major Study/pages/1장 벡터와 행렬.md index 3c3848b..e43c54a 100755 --- a/Major Study/pages/1장 벡터와 행렬.md +++ b/Major Study/pages/1장 벡터와 행렬.md @@ -68,6 +68,7 @@ deck:: Logseq/전공공부/선형대수학 - 첫 성분에서 $c = 3$, 둘째 성분에서 $-2 \cdot 3 + d = 3$ 이므로 $d = 9$. 검산: 셋째 성분 $3 - 9 = -6$ ✓. - $(3,3,6)$ 은 성분 합이 $12 \neq 0$ 이므로 어떤 선형결합으로도 만들 수 없다. - **문제 10** (만만치 않은 문제). $u = (1,1,0)$, $v = (0,1,1)$, $w = (a,b,c)$ 가 선형독립인지 어떻게 판정하는가? + id:: 22f2a645-39f7-4643-9513-dbf2236a5c7b - $w = x_1 u + x_2 v$ 가 풀리는지 확인한다. 첫 성분에서 $x_1 = a$, 셋째 성분에서 $x_2 = c$ 가 강제된다. - 남은 둘째 성분 조건: $a + c = b$. → $b = a+c$ 이면 **선형종속**, $b \neq a+c$ 이면 **선형독립**. - 💡 "앞 벡터들이 강제하는 계수를 다 쓰고, 남는 방정식이 성립하는지 본다". 이후 소거법의 축소판. @@ -148,6 +149,7 @@ deck:: Logseq/전공공부/선형대수학 - 검산: $w - 3v = (-2, 2)$, $(1,1) \cdot (-2,2) = 0$ ✓. - 💡 "$cv$ 를 빼서 $v$ 에 수직인 성분만 남긴다". 수직인 벡터를 구성하는 핵심 열쇠 (솔루션 표현). - **문제 25** (꼭 풀어볼 만한 문제). $\|v\| = 5$, $\|w\| = 3$ 일 때 $\|v - w\|$ 와 $v \cdot w$ 의 가능한 최소·최대는? + id:: c3878729-73dc-4221-8e22-2517c1885831 - 삼각부등식에서 $\|v - w\|$ 는 최소 $5 - 3 = 2$, 최대 $5 + 3 = 8$. - 슈바르츠 부등식에서 $|v \cdot w| \le 5 \cdot 3 = 15$, 즉 $-15 \le v \cdot w \le 15$. - 💡 극값은 모두 두 벡터가 **같은 직선 위**일 때 (평행 또는 반평행) 달성된다. @@ -201,6 +203,7 @@ deck:: Logseq/전공공부/선형대수학 - 모든 행이 한 행의 상수배 (행공간도 직선). 랭크 1: 행 랭크 = 열 랭크 = 1. - ### ✏️ 연습문제 풀이 (솔루션 참고) - **문제 1**. 다음 행렬들의 열공간(점, 직선, 평면, 전체 공간)을 설명하라. + id:: 0d5a6d65-93f2-48fa-a0d0-a2893217c761 - $A_1 = \begin{bmatrix} 2 & 2 \\ 1 & 1 \\ 5 & 6 \end{bmatrix}$ : 두 열이 선형독립 (2열이 1열의 배수가 아님, 셋째 성분 비율이 다름) → $\mathbb{R}^3$ 안의 **평면**. - $A_2 = \begin{bmatrix} 1 & 0 & 0 \\ 1 & 1 & 0 \\ 1 & 1 & 1 \end{bmatrix}$ : 삼각행렬, 주대각선에 0 없음 → 세 열 독립 → $\mathbb{R}^3$ **전체**. - $A_3 = \begin{bmatrix} 1 & 5 \\ 2 & 10 \\ 1 & 5 \end{bmatrix}$ : 2열 = 5 × 1열 → 독립인 열 1개 → 원점을 지나는 **직선**. @@ -274,9 +277,11 @@ deck:: Logseq/전공공부/선형대수학 - 독립인 열은 1열 하나뿐: $C = [a]$, $R = [1 \ 1 \ 1]$. - 검산: $CR = [a \ a \ a]$ ✓. 랭크 1 분해의 가장 단순한 예. - **문제 5**. 7개의 열과 4개의 행을 가진 행렬 $A$ 가 5개의 선형독립인 열을 가질 수 없는 이유는? + id:: 838a6fb2-20c6-4d4a-8b05-211cd739cd3f - $A$ 의 열들은 4차원 공간 $\mathbb{R}^4$ 의 벡터인데, $\mathbb{R}^4$ 에는 선형독립인 벡터가 **최대 4개**뿐이다. - 💡 따라서 항상 랭크 $r \le m$ 이고 $r \le n$, 꽤 유용한 일반 사실 (엄밀한 증명은 3.2절 예고). - **문제 12**. 다음을 $A = CR$ 로 분해하라 ($C$ 는 $m \times r$, $R$ 은 $r \times n$). + id:: 3e63cc88-409e-400f-8873-3018e80dd0ca - $A_1 = \begin{bmatrix} 1 & 2 & 3 \\ 1 & 3 & 4 \end{bmatrix} = \begin{bmatrix} 1 & 2 \\ 1 & 3 \end{bmatrix} \begin{bmatrix} 1 & 0 & 1 \\ 0 & 1 & 1 \end{bmatrix}$, 3열 = 1열 + 2열. - $A_2 = \begin{bmatrix} 0 & 1 & 2 & 3 \\ 0 & 1 & 3 & 5 \end{bmatrix} = \begin{bmatrix} 1 & 2 \\ 1 & 3 \end{bmatrix} \begin{bmatrix} 0 & 1 & 0 & -1 \\ 0 & 0 & 1 & 2 \end{bmatrix}$, 영벡터인 1열은 제외, 4열 = −(2열) + 2(3열). - $A_3 = \begin{bmatrix} 2 & 1 & 3 \\ 6 & 3 & 9 \end{bmatrix} = \begin{bmatrix} 2 \\ 6 \end{bmatrix} \begin{bmatrix} 1 & 0.5 & 1.5 \end{bmatrix}$, 랭크 1 (모든 열이 1열의 배수). @@ -296,4 +301,11 @@ deck:: Logseq/전공공부/선형대수학 - $m > n$ (방정식 > 미지수): 아마도 해가 없을 것 - ⚠️ 그러나 반드시 성립하지는 않는다. 어떤 열(또는 행)은 이전 것들의 선형결합일 수 있다. **랭크** $r$ **이 방정식 문제의 실제 크기**를 알려준다. - 아름다운 공식: $A = CR = (m \times r)(r \times n)$. $C$ 에 그대로 들어간 $A$ 의 열들은 $R$ 내부의 항등행렬 $I$ 와 곱해진다. - - 💡 이 책의 일관된 관점: $Ax$, $AB$, $CR$ 을 설명할 때 **열들의 선형결합**을 이용한다. 행들의 내적이 아니라. \ No newline at end of file + - 💡 이 책의 일관된 관점: $Ax$, $AB$, $CR$ 을 설명할 때 **열들의 선형결합**을 이용한다. 행들의 내적이 아니라. +- ## 이 단원 핵심문제 + - 이 장을 다시 공부할 때 아래 문제들을 먼저 풀어보면 이해가 살아있는지 확인할 수 있다 (클릭하면 해설로 이동). + - [1.1 문제 10](((22f2a645-39f7-4643-9513-dbf2236a5c7b))) + - [1.2 문제 25](((c3878729-73dc-4221-8e22-2517c1885831))) + - [1.3 문제 1](((0d5a6d65-93f2-48fa-a0d0-a2893217c761))) + - [1.4 문제 5](((838a6fb2-20c6-4d4a-8b05-211cd739cd3f))) + - [1.4 문제 12](((3e63cc88-409e-400f-8873-3018e80dd0ca))) diff --git a/Major Study/pages/2.1 소거법과 역대입법.md b/Major Study/pages/2.1 소거법과 역대입법.md index aa6eb17..d8e5e3e 100755 --- a/Major Study/pages/2.1 소거법과 역대입법.md +++ b/Major Study/pages/2.1 소거법과 역대입법.md @@ -105,6 +105,7 @@ deck:: Logseq/전공공부/선형대수학 - $a = 0$ 이면 **일시적으로 불가능**: 첫 피벗 위치가 0이지만 행 교환으로 해결된다. 교환 후 $4x + 6y = 6$, $3y = -3$ → $y = -1$, $x = 3$. - 💡 본문의 "일시적 실패 vs 완전한 실패" 구분을 수치로 체험하는 문제. - **문제 11** (책 추천: 꼭 풀어볼 만한 문제): 선형 연립방정식은 정확히 2개의 해를 가질 수 없다. + id:: 3805a953-2926-4111-a568-9a8f087000f8 - (a) 두 해 $(x,y,z)$, $(X,Y,Z)$ 가 있다면 또 다른 해는? #card id:: 6a661c6d-4d6a-4f35-a298-828e41a1ea24 - 두 해의 평균 $\frac{1}{2}(x+X, \ y+Y, \ z+Z)$ 도 해다 (실제로는 두 해를 잇는 직선 위의 모든 점이 해). diff --git a/Major Study/pages/2.2 소거행렬과 역행렬.md b/Major Study/pages/2.2 소거행렬과 역행렬.md index 3db5866..f354549 100755 --- a/Major Study/pages/2.2 소거행렬과 역행렬.md +++ b/Major Study/pages/2.2 소거행렬과 역행렬.md @@ -106,6 +106,7 @@ deck:: Logseq/전공공부/선형대수학 - 두 번째: $\begin{bmatrix} 1&4&1&0 \\ 3&9&0&1 \end{bmatrix} \to \cdots \to \begin{bmatrix} 1&0&-3&4/3 \\ 0&1&1&-1/3 \end{bmatrix}$. - 💡 2.3절 가우스-조르단 소거법의 예습. 검산: $ad-bc$ 공식과 비교해볼 것. - **문제 34** (책 표시: 꼭 풀어볼 만한 문제): $A = \begin{bmatrix} a&b&b \\ a&a&b \\ a&a&a \end{bmatrix}$ 가 가역일 조건을 증명하고, $C = \begin{bmatrix} 2&c&c \\ c&c&c \\ 8&7&c \end{bmatrix}$ 가 비가역이 되는 $c$ 3개를 찾아라. + id:: 0305bbfe-0c43-4530-b167-03ae1a4e41a1 - $A$ 의 소거: 피벗이 $a$, $a-b$, $a-b$ 로 나온다 → 가역 조건은 $a \neq 0$ 이고 $a \neq b$. - $$A^{-1} = \frac{1}{a(a-b)}\begin{bmatrix} a & 0 & -b \\ -a & a & 0 \\ 0 & -a & a \end{bmatrix}$$ - $C$: $c = 0$ (열들이 종속), $c = 7$ (2행과 3행 관련 종속), $c = 2$ (1행과 2행 종속) 에서 비가역. diff --git a/Major Study/pages/2.3 행렬 계산과 A = LU.md b/Major Study/pages/2.3 행렬 계산과 A = LU.md index 3e3c1ac..4daeada 100755 --- a/Major Study/pages/2.3 행렬 계산과 A = LU.md +++ b/Major Study/pages/2.3 행렬 계산과 A = LU.md @@ -103,6 +103,7 @@ deck:: Logseq/전공공부/선형대수학 - $L$ 을 $Ux_1 = (5,2)$ 에 곱하면 원래 방정식 $Ax = (5,7)$ 을 되찾는다. 문자로: $Ux = c$ 에 $L$ 을 곱하면 $Ax = b$. - 💡 "$L$ 은 소거를 되돌리는 행렬"이라는 $A = LU$ 의 의미를 2×2 로 확인하는 문제. - **문제 7** (책 표시: 꼭 풀어볼 만한 문제): 대칭행렬 $A = \begin{bmatrix} a&a&a&a \\ a&b&b&b \\ a&b&c&c \\ a&b&c&d \end{bmatrix}$ 의 $L, U$ 와 피벗 4개가 존재할 조건. + id:: 1172dd29-17a9-405d-9196-7965f6e96cf9 - 소거하면 모든 승수가 1: $L = \begin{bmatrix} 1&&& \\ 1&1&& \\ 1&1&1& \\ 1&1&1&1 \end{bmatrix}$, $U = \begin{bmatrix} a&a&a&a \\ &b-a&b-a&b-a \\ &&c-b&c-b \\ &&&d-c \end{bmatrix}$. - 피벗은 $a, \ b-a, \ c-b, \ d-c$ → 4개의 조건: $a \neq 0$, $b \neq a$, $c \neq b$, $d \neq c$. - 💡 피벗이 "연속된 값의 차"로 나오는 아름다운 패턴. 대칭행렬의 소거가 얼마나 규칙적인지 보여준다. diff --git a/Major Study/pages/2.4 치환행렬과 전치행렬.md b/Major Study/pages/2.4 치환행렬과 전치행렬.md index 6b8aeb7..d0f12f3 100755 --- a/Major Study/pages/2.4 치환행렬과 전치행렬.md +++ b/Major Study/pages/2.4 치환행렬과 전치행렬.md @@ -126,6 +126,7 @@ deck:: Logseq/전공공부/선형대수학 - (c) $L = \begin{bmatrix} 1&& \\ -\frac{1}{2}&1& \\ 0&-\frac{2}{3}&1 \end{bmatrix}$, $D = \begin{bmatrix} 2&& \\ &\frac{3}{2}& \\ &&\frac{4}{3} \end{bmatrix}$, 이 행렬은 [[2.5 미분과 유한차분행렬]]의 $K_3$! 피벗 $2, \frac{3}{2}, \frac{4}{3}$ 이 모두 양수다. - 💡 (c)의 피벗 패턴 $\frac{k+1}{k}$ 은 $K_n$ 의 유명한 성질, 2.5절의 "K는 양의 정부호" 와 연결. - **문제 19**: 다음 $A$ 의 $PA = LU$ 분해를 구하라: (a) $A = \begin{bmatrix} 0&1&1 \\ 1&0&1 \\ 2&3&4 \end{bmatrix}$ (b) $A = \begin{bmatrix} 1&2&0 \\ 2&4&1 \\ 1&1&1 \end{bmatrix}$ + id:: 10338c61-8980-4ccf-91ee-adad01aef26a - (a) 첫 피벗 자리가 0 → 1행↔2행 교환: $P = \begin{bmatrix} 0&1&0 \\ 1&0&0 \\ 0&0&1 \end{bmatrix}$. 그러면 $PA = \begin{bmatrix} 1&0&1 \\ 0&1&1 \\ 2&3&4 \end{bmatrix} = \begin{bmatrix} 1&& \\ 0&1& \\ 2&3&1 \end{bmatrix}\begin{bmatrix} 1&0&1 \\ 0&1&1 \\ 0&0&-1 \end{bmatrix}$. - (b) 소거 중 두 번째 피벗 자리가 0이 됨 → 2행↔3행 교환: $P = \begin{bmatrix} 1&0&0 \\ 0&0&1 \\ 0&1&0 \end{bmatrix}$, $PA = \begin{bmatrix} 1&2&0 \\ 1&1&1 \\ 2&4&1 \end{bmatrix} = \begin{bmatrix} 1&& \\ 1&1& \\ 2&0&1 \end{bmatrix}\begin{bmatrix} 1&2&0 \\ 0&-1&1 \\ 0&0&1 \end{bmatrix}$. - 💡 (a)는 "시작부터 교환 필요", (b)는 "진행 중에 교환 필요". 두 상황 모두 $P$ 하나로 미리 처리된다는 것이 $PA = LU$ 의 요점. \ No newline at end of file diff --git a/Major Study/pages/2.5 미분과 유한차분행렬.md b/Major Study/pages/2.5 미분과 유한차분행렬.md index 08fdbec..ea6b5a2 100755 --- a/Major Study/pages/2.5 미분과 유한차분행렬.md +++ b/Major Study/pages/2.5 미분과 유한차분행렬.md @@ -136,6 +136,7 @@ deck:: Logseq/전공공부/선형대수학 - $C_4$ 는 비가역: 모든 행의 합이 0 → $x = (1,1,1,1)$ 이 $C_4 x = 0$. ($D_4$ 자체도 행 합이 0이라 비가역.) - 💡 $K, T, B$ 에 이어 네 번째 경계 조건, **주기 경계** (원형으로 연결). 이것도 $B$ 처럼 "묶인 곳이 없어서" 특이행렬이 된다. - **문제 18**: 1차 중심차분행렬은 가역이 아닐 수 있다. $\Delta_3 = \begin{bmatrix} 0&1&0 \\ -1&0&1 \\ 0&-1&0 \end{bmatrix}$ 과 $\Delta_4$ 로 확인하라. + id:: dee38a24-32a2-40a3-9400-ec3ad1334137 - $\Delta_3$: 3열 $= -($ 1열 $)$, 열이 선형종속이라 **비가역**. ($\Delta_3 x = 0$ 의 해: $x = (1, 0, 1)$.) - $\Delta_4$ (4×4 중심차분행렬)는 4개의 열이 선형독립, **가역**. - 💡 중심차분행렬은 **홀수 크기면 특이, 짝수 크기면 가역**: 크기의 홀짝이 가역성을 가르는 흥미로운 예. (또한 $\Delta^{\mathrm{T}} = -\Delta$ 인 **반대칭행렬**: 미분 $\frac{d}{dx}$ 의 전치가 $-\frac{d}{dx}$ 라는 p.111 EX2의 이산 버전.) \ No newline at end of file diff --git a/Major Study/pages/2장 선형방정식 Ax = b 풀기.md b/Major Study/pages/2장 선형방정식 Ax = b 풀기.md index 9fb8226..9e223b2 100755 --- a/Major Study/pages/2장 선형방정식 Ax = b 풀기.md +++ b/Major Study/pages/2장 선형방정식 Ax = b 풀기.md @@ -32,3 +32,10 @@ deck:: Logseq/전공공부/선형대수학 - 유한차분행렬 계열: 중심·전진·후진차분, 2차차분행렬 $K, T, B$, 고정 끝·자유 끝 - $n \times n$ 가역행렬은 열공간 $\mathbb{R}^n$ 과 행공간 $\mathbb{R}^n$ 을 갖는다. 열도 행도 선형독립. 3장에서는 (정사각·가역에 국한하지 않고) **모든 행렬**을 허용하며, 이에 따라 새로운 아이디어가 필요해진다. - 💡 **2장 전체를 꿰는 한 줄 요약**: "소거법은 행렬곱이다". 소거의 매 단계를 $E_{ij}$ 로, 행 교환을 $P$ 로, 전체 과정을 $A = LU$ (또는 $PA = LU$)로 기록할 수 있고, 이 분해가 $Ax = b$ 풀이의 실체다. +- ## 이 단원 핵심문제 + - 이 장을 다시 공부할 때 아래 문제들을 먼저 풀어보면 이해가 살아있는지 확인할 수 있다 (클릭하면 해설로 이동). + - [2.1 문제 11](((3805a953-2926-4111-a568-9a8f087000f8))) + - [2.2 문제 34](((0305bbfe-0c43-4530-b167-03ae1a4e41a1))) + - [2.3 문제 7](((1172dd29-17a9-405d-9196-7965f6e96cf9))) + - [2.4 문제 19](((10338c61-8980-4ccf-91ee-adad01aef26a))) + - [2.5 문제 18](((dee38a24-32a2-40a3-9400-ec3ad1334137))) diff --git a/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md b/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md index 14b3880..0229331 100755 --- a/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md +++ b/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md @@ -115,6 +115,7 @@ deck:: Logseq/전공공부/선형대수학 - 특별해 $n - r$ 개 / 영공간 = $\{0\}$ ⟺ $r = n$ / 열공간 = $\mathbb{R}^m$ ⟺ $r = m$. - 💡 이 세 줄이 3.3절 "최대 열 랭크 / 최대 행 랭크" 논의의 뼈대다. - **문제 13** (꼭 풀어볼 만한 문제): 평면 $x - 3y - z = 12$ 는 $x - 3y - z = 0$ 과 평행하다. $(12, 0, 0)$ 이 이 평면 위에 있을 때, 평면 위의 모든 점을 다음 꼴로 나타내라: $\begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} \square \\ 0 \\ 0 \end{bmatrix} + y\begin{bmatrix} \square \\ 1 \\ 0 \end{bmatrix} + z\begin{bmatrix} \square \\ 0 \\ 1 \end{bmatrix}$ + id:: 2c63c86f-ad62-4902-bfac-bb22a8e4813a - $$\begin{bmatrix} x \\ y \\ z \end{bmatrix} = \begin{bmatrix} 12 \\ 0 \\ 0 \end{bmatrix} + y\begin{bmatrix} 3 \\ 1 \\ 0 \end{bmatrix} + z\begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix}$$ - 검산: $x = 12 + 3y + z$ → $x - 3y - z = 12$ ✓. - 💡 구조를 보라: (평면 위 한 점) + (평행한 원점 평면의 모든 점): 다음 절 완전해 $x = x_p + x_n$ 의 **예고편**이다. $y, z$ 가 자유변수, $(3,1,0)$ 과 $(1,0,1)$ 이 특별해 역할. \ No newline at end of file diff --git a/Major Study/pages/3.3 Ax = b의 완전해.md b/Major Study/pages/3.3 Ax = b의 완전해.md index a7eb183..1af07aa 100755 --- a/Major Study/pages/3.3 Ax = b의 완전해.md +++ b/Major Study/pages/3.3 Ax = b의 완전해.md @@ -97,6 +97,7 @@ deck:: Logseq/전공공부/선형대수학 - $r 0$ → 0 아닌 벡터가 반드시 존재. - 💡 "해가 없다"는 정보 하나가 좌영공간의 존재를 강제한다. 4공간이 서로 연동되어 있다는 감각. - **문제 24** (중요한 문제): 벡터 $d$ 가 4공간 중 어디에 있으면 $A^{\mathrm{T}}y = d$ 의 해가 존재하는가? 어떤 공간이 영벡터만 포함하면 그 해가 유일한가? + id:: 24962f36-c56d-4fd6-bba2-6e7226e647f9 - 존재: $d \in \mathbf{C}(A^{\mathrm{T}})$, 즉 $d$ 가 $A$ **의 행공간**에 있을 때. ($A^{\mathrm{T}}$ 의 열공간 = $A$ 의 행공간이므로 3.1의 "해 존재 ⟺ 우변이 열공간에" 를 $A^{\mathrm{T}}$ 에 적용한 것.) - 유일: $\mathbf{N}(A^{\mathrm{T}})$ (좌영공간) $= \{0\}$ 일 때. - 💡 모든 해 존재/유일성 문제는 "열공간에 있나 / 영공간이 0뿐인가"로 환원된다. 대상이 $A^{\mathrm{T}}$ 면 행공간/좌영공간으로 이름만 바뀔 뿐. \ No newline at end of file diff --git a/Major Study/pages/3장 4가지 기본 부분공간.md b/Major Study/pages/3장 4가지 기본 부분공간.md index 9f79b87..7b57f28 100755 --- a/Major Study/pages/3장 4가지 기본 부분공간.md +++ b/Major Study/pages/3장 4가지 기본 부분공간.md @@ -41,3 +41,10 @@ deck:: Logseq/전공공부/선형대수학 - 소거 경로가 달라도 $R$ 은 항상 같다. $R$ 은 온전히 $A$ 가 결정한다. 그리고 랭크가 같은 구조를 공유한다: $C, B$ 를 고정하고 가역인 혼합행렬 $M$ 을 끼운 **모든 행렬** $CMB$ **는 동일한 4가지 기본 부분공간을 갖는다.** - 분해로 요약하면: $A = CR = C[\,I\ \ F\,]P = [\,C\ \ CF\,]P$, "$A$ = (독립인 열들) 뒤에 (종속인 열들 $= CF$)를 붙이고 열 순서를 $P$ 로 되돌린 것". 이 책이 소거의 결과를 이 행렬 형식으로 표현한 최초의 책이라고 한다. - 💡 **3장 전체를 꿰는 한 줄**: 랭크 $r$ 하나가 모든 것을 결정한다. 독립인 열·행의 개수($r$), 자유변수($n-r$), 해의 존재($r = m$?)와 유일성($r = n$?), 네 공간의 차원까지. 소거는 그 $r$ 을 드러내는 도구다. +- ## 이 단원 핵심문제 + - 이 장을 다시 공부할 때 아래 문제들을 먼저 풀어보면 이해가 살아있는지 확인할 수 있다 (클릭하면 해설로 이동). + - [3.2 문제 13](((2c63c86f-ad62-4902-bfac-bb22a8e4813a))) + - [3.3 문제 1](((bcb598bf-ac83-4288-883f-93d727665399))) + - [3.3 문제 31](((028a6ab3-d4d1-4786-9833-b04d7122167b))) + - [3.4 문제 2](((5d15f039-e656-4098-acd4-52d316b7fec4))) + - [3.5 문제 24](((24962f36-c56d-4fd6-bba2-6e7226e647f9)))