이승진 교수님의 선형 대수학 후기

선형 대수학 1을 들었어야 했는데, 단선대를 수강해버렸다. 심지어, 같이 듣기로 한 친구는 수강신청에 실패해버려서 이 과목을 들을 이유가 하나도 없었다.

교수님의 수업은 깔끔하고 담백하다. 교과서를 통해 큰 그림을 미리 그려가지 않으면, 수업만 듣고서는 무슨 이야기를 하시는지 하나도 이해하지 못할 수 있다.

사실, 나는 김명수 교수님의 선형 및 비선형 계산모델 수업을 들어서, 어려움이 전혀 없었다.

수업 시간마다 에거 교수님의 숙제를 풀었고, 모든 과제와 시험에서 만점을 받았다.

시험 문제는 교과서 연습 문제에서 가져오시는 듯 하다. 내가 푼 문제들을 가벼운 첨언을 얹어 적어본다.

Midterm Exam

Problem 1.

Solve as two triangular systems, without multiplying LULU to find AA:

LUx=[100110101][244012001][uvw]=[202]LUx = \begin{bmatrix} 1 & 0 & 0 \\ 1 & 1 & 0 \\ 1 & 0 & 1 \end{bmatrix} \begin{bmatrix} 2 & 4 & 4 \\ 0 & 1 & 2 \\ 0 & 0 & 1 \end{bmatrix} \begin{bmatrix} u \\ v \\ w \end{bmatrix} = \begin{bmatrix} 2 \\ 0 \\ 2 \end{bmatrix}

Sol)

L(Ux)=bL (Ux) = b로 두어 UxUx의 값을 구하고, Ux=cUx = c를 풀자.

LL이 lower triangular 하므로, cc의 첫 번째 항부터 차례대로 알아낼 수 있다.

Lc=[100110101][∗∗∗]=[202]=b⟹c=[2−20]Lc = \begin{bmatrix} 1 & 0 & 0 \\ 1 & 1 & 0 \\ 1 & 0 & 1 \end{bmatrix} \begin{bmatrix} * \\ * \\ * \end{bmatrix} = \begin{bmatrix} 2 \\ 0 \\ 2 \end{bmatrix} = b \quad \Longrightarrow \quad c = \begin{bmatrix} 2 \\ -2 \\ 0 \end{bmatrix}

비슷하게, UU가 upper triangular 하므로, xx의 마지막 항부터 차례대로 알아낼 수 있다.

Ux=[244012001][uvw]=[2−20]=c⟹x=[5−20]Ux = \begin{bmatrix} 2 & 4 & 4 \\ 0 & 1 & 2 \\ 0 & 0 & 1 \end{bmatrix} \begin{bmatrix} u \\ v \\ w \end{bmatrix} = \begin{bmatrix} 2 \\ -2 \\ 0 \end{bmatrix} = c \quad \Longrightarrow \quad x = \begin{bmatrix} 5 \\ -2 \\ 0 \end{bmatrix}

마지막으로, LUx=bLUx = b가 되는지 검산을 하자. 나는 검산을 통해 산수 실수를 찾을 수 있었다. 아침 시험 첫 문제로 이런 문제는 틀리기 쉽다.

여담으로, 답이 틀리면 부분점수가 없었다.

Problem 2.

Find the inverse of

A=[10001/41001/31/3101/21/21/21]A = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 1/4 & 1 & 0 & 0 \\ 1/3 & 1/3 & 1 & 0 \\ 1/2 & 1/2 & 1/2 & 1 \end{bmatrix}

Sol)

AA가 lower triangular하기 때문에, A=L1L2⋯LkA = L_1 L_2 \cdots L_k 꼴로 나타내면, A−1=Lk−1⋯L1−1A^{-1} = L_k^{-1} \cdots L_1^{-1}로 쉽게 계산할 수 있을 것 같다.

A=[10001/41001/30101/2001][1000010001/31001/201][100001000010001/21][1000010000100001]A = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 1/4 & 1 & 0 & 0 \\ 1/3 & 0 & 1 & 0 \\ 1/2 & 0 & 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 1/3 & 1 & 0 \\ 0 & 1/2 & 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 1/2 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{bmatrix} A−1=[10000100001000−1/21][100001000−1/3100−1/201][1000−1/4100−1/3010−1/2001]=[1000−1/4100−1/4−1/310−1/4−1/3−1/21]A^{-1} = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & -1/2 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & -1/3 & 1 & 0 \\ 0 & -1/2 & 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 & 0 \\ -1/4 & 1 & 0 & 0 \\ -1/3 & 0 & 1 & 0 \\ -1/2 & 0 & 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & 0 & 0 & 0 \\ -1/4 & 1 & 0 & 0 \\ -1/4 & -1/3 & 1 & 0 \\ -1/4 & -1/3 & -1/2 & 1 \end{bmatrix}

1번처럼, A−1A=IA^{-1} A = I인지 검산을 하자. 분수가 섞여있어서 계산이 정말 하기 싫게 생겼지만, 해보면 정말 단순하고 짧은 산수뿐이다.

Problem 3.

Let

A=[120101101421],b=[125].A = \begin{bmatrix} 1 & 2 & 0 & 1 \\ 0 & 1 & 1 & 0 \\ 1 & 4 & 2 & 1 \end{bmatrix} , \quad b = \begin{bmatrix} 1 \\ 2 \\ 5 \end{bmatrix} \text{.}

(1) Find the LULU decomposition of AA, i.e., a lower triangular matrix LL that has only 11's on its main diagonal, and an echelon form UU such that A=LUA = LU.

(2) Write the complete solutions x=xp+xnx = x_p + x_n to Ax=bAx = b.

(3) Find a basis for the column space C(A)C(A).

(4) Either find a left-inverse of AA, or prove that there is no left-inverse of AA.

Sol)

(1)

충분히 훈련되어 있어야 한다.

A=[100010021][100010101][120101100000]⟹L=[100010021][100010101]=[100010121],U=[120101100000]A = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 2 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \end{bmatrix} \begin{bmatrix} 1 & 2 & 0 & 1 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix} \quad \Longrightarrow \quad L = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 2 & 1 \end{bmatrix} \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \end{bmatrix} = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 2 & 1 \end{bmatrix} , \quad U = \begin{bmatrix} 1 & 2 & 0 & 1 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix}

(2)

LL이 invertible하므로, Ax=bAx = b는 Ux=L−1b=:cUx = L^{-1}b =: c와 동치다.

c:=L−1b=[100010−1−21][125]=[120]c := L^{-1} b = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ -1 & -2 & 1 \end{bmatrix} \begin{bmatrix} 1 \\ 2 \\ 5 \end{bmatrix} = \begin{bmatrix} 1 \\ 2 \\ 0 \end{bmatrix}

UU의 zero row에 대응하는 cc의 항이 00이다. 따라서, c∈C(U)c \in C(U)이고, Ux=cUx = c는 해를 가진다.

먼저, 임의의 해 xpx_p를 구하자. pivot을 가지는 UU의 columns으로 backward substitution을 하면 된다.

[1201][−32]=[12]⟹U[−3200]=[120]=c⟹xp:=[−3200]\begin{bmatrix} 1 & 2 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} -3 \\ 2 \end{bmatrix} = \begin{bmatrix} 1 \\ 2 \end{bmatrix} \quad \Longrightarrow \quad U \begin{bmatrix} -3 \\ 2 \\ 0 \\ 0 \end{bmatrix} = \begin{bmatrix} 1 \\ 2 \\ 0 \end{bmatrix} = c \quad \Longrightarrow \quad x_p := \begin{bmatrix} -3 \\ 2 \\ 0 \\ 0 \end{bmatrix}

xn∈N(U)x_n \in N(U)이다. UU의 non-pivot column을 pivot columns의 선형 결합으로 표현하면 된다.

U[2−110]=U[−1001]=0⟹xn=c1[2−110]+c2[−1001]U \begin{bmatrix} 2 \\ -1 \\ 1 \\ 0 \end{bmatrix} = U \begin{bmatrix} -1 \\ 0 \\ 0 \\ 1 \end{bmatrix} = \mathbf{0} \quad \Longrightarrow \quad x_n = c_1 \begin{bmatrix} 2 \\ -1 \\ 1 \\ 0 \end{bmatrix} + c_2 \begin{bmatrix} -1 \\ 0 \\ 0 \\ 1 \end{bmatrix}

(3) - 쉬운 풀이

UU의 pivot이 있는 columns에 대응하는 AA의 columns은 C(A)C(A)의 basis를 이룬다.

C(A)=Span{[101],[214]}C(A) = \text{Span} \left\{ \begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix} , \begin{bmatrix} 2 \\ 1 \\ 4 \end{bmatrix} \right\}

(3) - 좋아하는 풀이

**(2)**의 풀이를 다시 보자. b∈C(A)b \in C(A)라는 것은 c=L−1bc = L^{-1}b의 마지막 항이 00임과 동치다.

b∈C(A)⟺[−1−21]b=0⟺b∈N([−1−21])b \in C(A) \quad \Longleftrightarrow \quad \begin{bmatrix} -1 & -2 & 1 \end{bmatrix} b = \mathbf{0} \quad \Longleftrightarrow \quad b \in N\left( \begin{bmatrix} -1 & -2 & 1 \end{bmatrix} \right)

이제, 행렬의 nullspace의 basis를 구하면 된다.

C(A)=Span{[−210],[101]}C(A) = \text{Span} \left\{ \begin{bmatrix} -2 \\ 1 \\ 0 \end{bmatrix} , \begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix} \right\}

(4)

AA의 왼쪽에 행렬을 곱한다는 것은, AA의 rows로 선형 결합을 해서 새로운 rows를 만든다는 것이다. 따라서, AA가 left-invertible 하려면, rank(A)=4\text{rank}(A) = 4라야 한다.

하지만, rank(A)≤3\text{rank}(A) \le 3이다. 실제로, rank(A)=rank(U)=2\text{rank}(A) = \text{rank}(U) = 2다. 따라서, AA는 left-inverse를 가지지 않는다.

Problem 4.

Construct a matrix with the required property, or explain why you can't.

(1) Dimension of nullspace = 1 + dimension of left nullspace.

(2) Row space = column space, nullspace ≠ left nullspace.

Sol)

(1)

AA가 m×nm \times n 행렬이라면, C(A)C(A)와 C(AT)C\left( A^\mathsf{T} \right)의 차원은 rr로 같고, dim⁡N(A)=n−r\dim N(A) = n-r, dim⁡N(AT)=m−r\dim N\left( A^\mathsf{T} \right) = m-r이다.

즉, n=m+1n = m+1인 모든 행렬이 찾고자 하는 답이 된다. 가장 쉬운 예시는 이러하다.

[00]\begin{bmatrix} 0 & 0 \end{bmatrix}

(2)

조금 당황했다. 시험 전까지 수업 때 배우지는 않았지만, 반드시 알아두어야 할 식이 하나 있다.

C(A)⊥=N(AT)C(A)^\bot = N\left( A^\mathsf{T} \right)

증명은 ⊆\subseteq과 ⊇\supseteq로 나누어 하며, 그 서술은 기계가 한다. 나는 Gram-Schmidt로 C(A)C(A)의 Orthonormal basis를 잡고, Rm\mathbb{R}^m의 orthonormal basis로 확장해서, 추가한 basis vectors가 N(AT)N\left( A^\mathsf{T} \right)을 span한다는 아주 바보같은 서술을 했다. 여러분은 이 증명에 익숙해지도록 하자.

저 중요한 성질을 알면, 찾고자 하는 행렬은 존재하지 않음을 쉽게 알 수 있다.

N(A)=C(AT)⊥=C(A)⊥=N(AT)N(A) = C\left( A^\mathsf{T} \right)^\bot = C(A)^\bot = N\left( A^\mathsf{T} \right)

이 문제에서 점수가 꽤 갈렸던 거 같다.

Problem 5.

For a positive integer n>2n > 2 and two nonzero vectors u,v∈Rnu, v \in \mathbb{R}^n, consider a matrix A=uuT+vvTA = u u^\mathsf{T} + v v^\mathsf{T}. What is the possible value of the rank of AA?

Sol)

Rank에 대한 철학을 갖고 아래의 식을 보자.

A=uuT+vvT=[uv][uTvT]A = u u^\mathsf{T} + v v^\mathsf{T} = \begin{bmatrix} u & v \end{bmatrix} \begin{bmatrix} u^\mathsf{T} \\ v^\mathsf{T} \end{bmatrix}

행렬 AA를 n×2n \times 2 행렬과 2×n2 \times n 행렬의 곱으로 나타낼 수 있으므로, rank(A)≤2\text{rank}(A) \le 2다.

그리고, AA의 rank는 00, 11, 22 모두 가능하다. 각각, u=v=0u = v = \mathbb{0}, u=0u = \mathbb{0} & v≠0v \ne \mathbb{0}, uTv≠0u^\mathsf{T} v \ne 0이면 된다.

Final Exam

Problem 1.

If VV is the subspace spanned by (1,1,0,1)(1, 1, 0, 1) and (0,0,1,0)(0, 0, 1, 0), find

(1) the projection matrix PP onto VV.

(2) the vector in VV closest to the vector b=(0,1,0,−1)b = (0, 1, 0, -1) in V⊥V^\bot.

(3) an orthonormal basis of V⊥V^\bot containing bb.

Sol)

(1)

VV를 span하는 vectors가 orthogonal 하므로, 각 vector의 projection matrix vvT/vTvv v^\mathsf{T} / v^\mathsf{T} v을 더하면 충분하다.

P=13[1101][1101]+[0010][0010]=[1/31/301/31/31/301/300101/31/301/3]P = \frac{1}{3} \begin{bmatrix} 1 \\ 1 \\ 0 \\ 1 \end{bmatrix} \begin{bmatrix} 1 & 1 & 0 & 1 \end{bmatrix} + \begin{bmatrix} 0 \\ 0 \\ 1 \\ 0 \end{bmatrix} \begin{bmatrix} 0 & 0 & 1 & 0 \end{bmatrix} = \begin{bmatrix} 1/3 & 1/3 & 0 & 1/3 \\ 1/3 & 1/3 & 0 & 1/3 \\ 0 & 0 & 1 & 0 \\ 1/3 & 1/3 & 0 & 1/3 \end{bmatrix}

여담으로, 나는 상수 1/31/3을 놓쳐서 틀릴 뻔했다. Vector normalization을 먼저 하는 것도 좋은 습관일 것이다.

(2)

b∈V⊥b \in V^\bot 이므로, 더 볼 것 없이 답은 0\mathbf{0}이다. Pb=0Pb = \mathbf{0}인지 확인해도 좋다.

(3)

(1,1,0,1)(1, 1, 0, 1), (0,0,1,0)(0, 0, 1, 0), (0,1,0,−1)(0, 1, 0, -1)과 수직한 vector를 하나만 찾으면 된다.

N([1101010−10010])∋[−2101]N\left( \begin{bmatrix} 1 & 1 & 0 & 1 \\ 0 & 1 & 0 & -1 \\ 0 & 0 & 1 & 0 \end{bmatrix} \right) \ni \begin{bmatrix} -2 \\ 1 \\ 0 \\ 1 \end{bmatrix}

사실, ∥b∥≠1\lVert b \rVert \ne 1라서, bb를 포함하는 orthonormal basis는 없다. 센스있게 답을 적자.

{12b, 16[−2101]}\left\{ \frac{1}{\sqrt{2}} b , \ \frac{1}{\sqrt{6}} \begin{bmatrix} -2 \\ 1 \\ 0 \\ 1 \end{bmatrix} \right\}

Problem 2.

Let A=(aij)1≤i,j≤nA = \left( a_ {i j} \right)_ {1 \le i, j \le n} be the matrix defined by

aij={1if i−j=0 or 1,−1if i−j=−1,0otherwise.a_{i j} = \begin{cases} 1 & \text{if } i - j = 0 \text{ or } 1, \\ -1 & \text{if } i - j = -1, \\ 0 & \text{otherwise.} \end{cases}

Let FnF_n be the determinant of AA.

(1) Compute F10F_{10}.

(2) When n=10n = 10, compute the last pivot of the matrix AA.

Sol)

(1)

직접 해보면, F1=1F_1 = 1, F2=2F_2 = 2.

n≥3n \ge 3이면, 첫 열과 두 번째 열을 잡고 Laplace expansion을 하면, Fn=Fn−1+Fn−2F_ n = F_ {n-1} + F_ {n-2}의 점화식을 얻는다. 교과서 연습 문제니깐 꼭 해볼 것.

고로, F10=89F_{10} = 89.

(2)

Submatrix의 determinant가 pivots의 곱과 같다는 성질을 사용하자. A10×10A_ {10 \times 10}의 9×99 \times 9 submatrix는 A9×9A_ {9 \times 9}와 같다.

따라서, n=10n = 10일 때 AA의 마지막 pivot의 값은 F10/F9=89/55F_ {10} / F_ 9 = 89 / 55.

여담으로, 이 문제를 못 푼 학생이 꽤 있었다.

Problem 3.

(1) For a real number ss, let A=[5ss5]\displaystyle A = \begin{bmatrix} 5 & s \\\\ s & 5 \end{bmatrix}. Find a diagonal matrix DD and an orthogonal matrix PP such that PTAP=DP^\mathsf{T} A P = D.

(2) For which ss is AA positive definite?

(3) Find a matrix BB such that B2=AB^2 = A when s=4s = 4.

Sol)

(1)

평범한 대각화다. 충분히 훈련되어야 한다.

D=[5+s005−s], P=12[111−1]⟹AP=PDD = \begin{bmatrix} 5+s & 0 \\ 0 & 5-s \end{bmatrix} , \ P = \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix} \quad \Longrightarrow \quad AP = PD

PP에 상수 1/21 / \sqrt{2}를 붙여야 함에 유의할 것.

(2)

고윳값 5±s5 \pm s가 모두 양수라야 한다. 고로, −5<s<5-5 < s < 5.

(3)

행렬의 다양한 decomposition을 알아야 하고, 또한 각 decomposition이 어떻게 활용되는지 익혀두어야 한다.

B:=PDPT⟹B2=PDPTPDPT=PDPT=AB := P \sqrt{D} P^\mathsf{T} \quad \Longrightarrow \quad B^2 = P \sqrt{D} P^\mathsf{T} P \sqrt{D} P^\mathsf{T} = P D P^\mathsf{T} = A B=PDPT=(12[111−1])[5+s005−s](12[111−1])=[2112]B = P \sqrt{D} P^\mathsf{T} = \left( \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix} \right) \begin{bmatrix} \sqrt{5+s} & 0 \\ 0 & \sqrt{5-s} \end{bmatrix} \left( \frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix} \right) = \begin{bmatrix} 2 & 1 \\ 1 & 2 \end{bmatrix}

BB의 각 원소를 미지수로 두고 방정식을 푼 학생이 있다는데, 감각이 좋은 것 같다. AA가 positive definite 하므로, 저러한 square root BB는 유일하게 존재한다.

Problem 4.

Let A=[.2.4.3.4.2.3.4.4.4]\displaystyle A = \begin{bmatrix} .2 & .4 & .3 \\\\ .4 & .2 & .3 \\\\ .4 & .4 & .4 \end{bmatrix}.

(1) Show that 00 is an eigenvalue of AA. Find all eigenvalues of AA.

(2) If u0=(0,10,0)u_0 = (0, 10, 0), find the limit of Aku0A^k u_0 as k→∞k \rightarrow \infty.

Sol)

(1)

AA의 첫 두 columns의 선형 결합으로 마지막 column을 만들 수 있다. 즉, AA가 singular 하므로, 00을 고윳값으로 가진다.

AA는 Markov matrix 이므로, 11을 고윳값으로 가진다.

고윳값의 합인 tr(A)=.2+.2+.4=0.8\text{tr}(A) = .2 + .2 + .4 = 0.8을 통해, 마지막으로 남은 고윳값은 −0.2-0.2임을 알 수 있다.

(2) - 철학이 필요한 풀이

하나의 11을 제외한 두 고윳값의 절댓값이 모두 11보다 작으므로, AkA^k는 λ=1\lambda = 1의 고유벡터의 방향으로 수렴한다.

이 고유벡터로는 c(3,3,4)c (3, 3, 4)가 있는데, Markov matrix 이므로 각 항의 합이 보존된다. c(3+3+4)=0+10+0=10c (3 + 3 + 4) = 0 + 10 + 0 = 10이므로, c=1c = 1.

즉, Aku0A^k u_0는 (3,3,4)(3, 3, 4)로 수렴한다.

(2) - 손이 바쁜 풀이

AA를 대각화하면, Ak=PDkPTA^k = P D^k P^\mathsf{T} 꼴로 표현할 수 있다. Dk→[100000000]\displaystyle D^k \rightarrow \begin{bmatrix} 1 & 0 & 0 \\\\ 0 & 0 & 0 \\\\ 0 & 0 & 0 \end{bmatrix}가 되므로, 수렴값을 계산하기 어렵지 않을 것이다.

고유벡터를 전부 찾아줘야 하는데 조금 귀찮다. λ=0\lambda = 0과 λ=1\lambda = 1의 고유벡터를 찾고, 둘을 외적하면 λ=−0.2\lambda = -0.2의 고유벡터를 공짜로 얻을 수 있다.

Problem 5.

Suppose that A2=AA^2 = A.

(1) Show that an eigenvalue of AA must be either 00 or 11.

(2) Show that AA is diagonalizable.

Sol)

(1)

Ax=λx, x≠0⟹λx=Ax=A2x=λAx=λ2x⟹λ=λ2⟹λ∈{0,1}Ax = \lambda x, \ x \ne \mathbf{0} \quad \Longrightarrow \quad \lambda x = A x = A^2 x = \lambda A x = \lambda^2 x \quad \Longrightarrow \quad \lambda = \lambda^2 \quad \Longrightarrow \quad \lambda \in \{ 0, 1 \}

(2) - 모범 답안

A2=AA^2 = A 이므로, AA의 minimal polynomial은 xx, x−1x-1, x(x−1)x(x-1) 중 하나다. 각 factor의 degree가 11 이므로, Primary decomposition theorem에 의해 대각화 가능하다.

문제는, 최소 다항식이랑 PDT를 안 배웠다. 최강의 정리로 오버킬링하는 풀이다.

(2) - 내 풀이

AA의 Jordan normal form AM=MJAM = MJ를 생각하자. A2=MJ2M−1A^2 = M J^2 M^{-1}이므로, J=J2J = J^2고, 각 Jordan block에 대해 Ji=Ji2J_i = J_i^2라야 한다.

λ∈{0,1}\lambda \in \{ 0, 1 \}임을 고려하면, Jordan block JiJ_i의 크기가 2×22 \times 2 이상이면 모순이 생긴다. 즉, 모든 Jordan block의 크기는 1×11 \times 1.

이는, JJ가 대각 행렬이라는 뜻이고, Jordan normal form이 우리가 찾던 AA의 대각화 식이다.

(2) - 가장 아름다운 풀이

수업 때 배운 모든 지식에 대한 철학이 필요하다.

고윳값 00과 11에 대응하는 고유벡터의 벡터 공간을 V0V_0, V1V_1라고 하자.

  • A2=AA^2 = A 이므로, C(A)⊆V1C(A) \subseteq V_1.
  • V0=N(A)V_0 = N(A).
  • C(A)∩N(A)⊆V1∩V0={0}C(A) \cap N(A) \subseteq V_1 \cap V_0 = \{ \mathbf{0} \}.
  • Rank-nullity theorem에 의해, C(A)⨁N(A)=RnC(A) \bigoplus N(A) = \mathbb{R}^n.
  • 정리하면, V0⨁V1=RnV_0 \bigoplus V_1 = \mathbb{R}^n. 고로, 대각화 가능하다.

완전하게 푼 학생이 몇 안 된다. 유명한 문제니깐 한 번씩은 꼭 도전해볼 것.