Linear Algebra
๐Ÿš“

3. Eigenvalue Decomposition

ํƒœ๊ทธ
Eigenvector
Eigenvalue
Diagonalization
EVD

Eigenvectors and Eigenvalues

square matrix AโˆˆRnร—nA \in \mathbb{R}^{n \times n} ์˜ eigenvector๋Š” ์ž„์˜์˜ ์Šค์นผ๋ผ ๊ฐ’ ฮป\lambda์— ๋Œ€ํ•ด Ax=ฮปxA \mathbf{x}=\lambda \mathbf{x}๋ฅผ ๋งŒ์กฑํ•˜๋Š” 0์ด ์•„๋‹Œ ๋ฒกํ„ฐ xโˆˆRn\mathbf{x} \in \mathbb{R}^{n}์ด๋‹ค. ๋˜ํ•œ ฮป\lambda ๊ฐ’์ด eigenvalue๊ฐ€ ๋œ๋‹ค.
Eigenvectors ์™€ Eigenvalues๋Š” ์„œ๋กœ ์—ฐ๊ด€๋˜์–ด ์žˆ๋‹ค.
์œ„ ์˜ˆ์ œ๋ฅผ ์‚ดํŽด๋ณด๋ฉด, ์ฃผ์–ด์ง„ ๋ฒกํ„ฐ x\mathbf{x}๊ฐ€ eigenvector์ผ ๋•Œ, ๋ณ€ํ™˜์„ ํ–‰ํ•˜๋Š” AxA\mathbf{x} ์˜ ๊ฒฐ๊ณผ๊ฐ’์ด ๋ฒกํ„ฐ x\mathbf{x} ์˜ ๋ฐฉํ–ฅ๊ณผ ๋™์ผํ•˜๊ณ  ํฌ๊ธฐ๋งŒ ๋‹ค๋ฅด๋‹ค๋Š” ๊ฒƒ์„ ์•Œ ์ˆ˜ ์žˆ๋‹ค.
์ด๋Ÿฌํ•œ ๋ฐฉ๋ฒ•์œผ๋กœ ๊ณ„์‚ฐํ•˜๋Š” ๊ฒฝ์šฐ ๊ณ„์‚ฐ ์†๋„๊ฐ€ ํ˜„์ €ํžˆ ๋น ๋ฅด๋‹ค๋Š” ๊ฒƒ์„ ์•Œ์ˆ˜ ์žˆ๋‹ค. (ํ–‰๋ ฌ๊ณ„์‚ฐ์œผ๋กœ ํ•˜๋Š” ๊ฒƒ๋ณด๋‹จ ์Šค์นผ๋ผ ๊ฐ’์œผ๋กœ ๊ณ„์‚ฐํ•˜๋Š” ๊ฒƒ์ด ํ›จ์”ฌ ๋น ๋ฅด๋‹ˆ๊นŒ ^^;)

Null space

ํ–‰๋ ฌ AโˆˆRmร—nA \in \mathbb{R}^{m \times n}์— ๋Œ€ํ•ด Ax=0A \mathbf{x}=\mathbf{0} ๋ฅผ ๋งŒ์กฑํ•˜๋Š” ๋ชจ๋“  ํ•ด์˜ ์ง‘ํ•ฉ์„ ๋งํ•˜๋ฉฐ, ย Nulย A\text { Nul } A ๋ผ๊ณ  ํ‘œ๊ธฐํ•œ๋‹ค. ์ด ๋•Œ ๋ฐฑํ„ฐ x\mathbf{x}๋Š” ๋ฐ˜๋“œ์‹œ ๋ชจ๋“  row vector์™€ orthogonal ํ•ด์•ผ ํ•œ๋‹ค.
์ž„์˜์˜ ํ–‰๋ ฌ A=[a1โŠคa2โŠคโ‹ฎamโŠค]A=\left[\begin{array}{c}\mathbf{a}_{1}^{\top} \\\mathbf{a}_{2}^{\top} \\\vdots \\\mathbf{a}_{m}^{\top}\end{array}\right]์— ๋Œ€ํ•ด , ์•„๋ž˜ ์กฐ๊ฑด์„ ๋งŒ์กฑํ•œ๋‹ค.
a1โŠคx=0,a2โŠคx=0,โ€ฆ,amโŠคx=0\mathbf{a}_{1}^{\top} \mathbf{x}=0, \mathbf{a}_{2}^{\top} \mathbf{x}=0, \ldots, \mathbf{a}_{m}^{\top} \mathbf{x}=0

Orthogonal Complement

๋ฐฑํ„ฐ z\mathbf{z}๊ฐ€ subspace WW ์˜ ๋ชจ๋“  ๋ฒกํ„ฐ์™€ orthogonal ํ•˜๋‹ค๋ฉด, ๊ทธ๋Ÿฌํ•œ ๋ฒกํ„ฐ z\mathbf{z}์˜ ์„ฑ์งˆ์„ ๋งŒ์กฑํ•˜๋Š” ์ง‘ํ•ฉ์„ WW์˜ orthogonal complement๋ผ๊ณ  ํ•˜๊ณ  WโŠฅW^{\perp}๋ผ๊ณ  ์ž‘์„ฑํ•œ๋‹ค.

Characteristic Equation

๊ทธ๋ ‡๋‹ค๋ฉด ์ด๋Ÿฌํ•œ eigenvalue๋ฅผ ์ฐพ๊ธฐ ์œ„ํ•ด์„œ๋Š” ์–ด๋–ป๊ฒŒ ํ•ด์•ผ ํ• ๊นŒ? ์ด๋Ÿฐ ๊ฒฝ์šฐ ์‚ฌ์šฉํ•˜๋Š” ๊ฒƒ์ด ๋ฐ”๋กœ ํŠน์„ฑ ๋ฐฉ์ •์‹์ด๋‹ค. ์•„๋ž˜์™€ ๊ฐ™์ด ์„œ์ˆ ํ•œ๋‹ค.
detโก(Aโˆ’ฮปI)=0\operatorname{det}(A-\lambda I)=0

์–ด๋–ป๊ฒŒ determinant๋กœ eigenvalue๋ฅผ ์ฐพ์„ ์ˆ˜ ์žˆ์„๊นŒ?

(Aโˆ’ฮปI)x=0(A-\lambda I) \mathbf{x}=\mathbf{0}๋ฅผ ๋งŒ์กฑํ•˜๋Š” 0์ด ์•„๋‹Œ nontrivial solution์„ ์ฐพ๊ธฐ ์œ„ํ•ด์„œ๋Š” (Aโˆ’ฮปI)(A-\lambda I)๋ฅผ ๊ตฌ์„ฑํ•˜๋Š” column vector๋“ค์ด ์„œ๋กœ linearly dependent ํ•ด์•ผ ํ•˜๊ณ , ๊ทธ๋Ÿฌ๊ธฐ ์œ„ํ•ด์„œ๋Š” non-invertibleํ•ด์•ผ ํ•œ๋‹ค. ์ฆ‰, ์—ญํ–‰๋ ฌ์ด ์กด์žฌํ•ด์„œ๋Š” ์•ˆ๋˜๊ธฐ ๋•Œ๋ฌธ์—, ์ž์—ฐ์Šค๋Ÿฝ๊ฒŒ determinant ๊ฐ’๋„ 0์„ ๋งŒ์กฑํ•ด์•ผ ํ•œ๋‹ค.

Eigenspace

์•ž์„œ ์ œ์‹œํ•œ ์ˆ˜์‹์„ ์ •๋ฆฌํ•˜๋ฉด, (Aโˆ’ฮปI)x=0(A-\lambda I) \mathbf{x}=\mathbf{0} ๋กœ ํ‘œํ˜„ ํ•  ์ˆ˜ ์žˆ์œผ๋ฉฐ, ์ด ๋•Œ 0์„ ์ œ์™ธํ•œ ํ•ด๋ฅผ ์ฐพ์•„์•ผ ํ•˜๋ฏ€๋กœ, nontrivial solution์„ ์ฐพ๊ฒŒ ๋œ๋‹ค. ๋”ฐ๋ผ์„œ ํ–‰๋ ฌ (Aโˆ’ฮปI)(A-\lambda I)์˜ null space๋ฅผ eigenvalue ฮป\lambda์— ๋Œ€ํ•œ eigenspace๋ผ๊ณ  ํ•œ๋‹ค.(์ด ๋•Œ, eigenspace์—๋Š” ๋ฒกํ„ฐ 0\mathbf{0} ๋˜ํ•œ ํฌํ•จ๋œ๋‹ค.)
eigenvalue๋Š” ์œ ์ผํ•˜์ง€๋งŒ, eigenvector๋Š” ๋ฌด์ˆ˜ํžˆ ๋งŽ๋‹ค. (๋‹ค์–‘ํ•œ ์กฐํ•ฉ์œผ๋กœ ํ‘œํ˜„๊ฐ€๋Šฅ, ๋‹จ span์€ ๋™์ผ) ์ด๋Ÿฌํ•œ eigenvector๋“ค์ด ํ˜•์„ฑํ•˜๋Š” subspace๊ฐ€ eigenspace๊ฐ€ ๋œ๋‹ค.

Diagonalization

square matrix AโˆˆRnร—nA \in \mathbb{R}^{n \times n}๊ฐ€ ์ฃผ์–ด์กŒ์„ ๋•Œ, ์ด ํ–‰๋ ฌ์„ diagonal matrix ํ˜•ํƒœ๋กœ ํ‘œํ˜„ํ•˜๊ณ  ์‹ถ์„ ๋•Œ, ์•„๋ž˜์™€ ๊ฐ™์ด ๋ถ„ํ•ดํ•˜๋Š” ๊ฒƒ์„ diagonalization์ด๋ผ๊ณ  ํ•œ๋‹ค.
D=Vโˆ’1AVD=V^{-1} A V
์ด ๋•Œ, VโˆˆRnร—nV \in \mathbb{R}^{n \times n}๋Š” invertible matrix์ด๋ฉฐ, DโˆˆRnร—nD \in \mathbb{R}^{n \times n}๋Š” diagonal matrix๋ฅผ ์˜๋ฏธํ•œ๋‹ค.

Diagonalization์ด ๊ฐ€๋Šฅํ•˜๋ ค๋ฉด?

์œ„์˜ ์‹์„ ๋ณด๋ฉด ์•Œ์ˆ˜ ์žˆ๊ฒ ์ง€๋งŒ, square matrix๊ฐ€ ์ฃผ์–ด์ง„๋‹ค๊ณ  ํ•ญ์ƒ diagonalize ํ• ์ˆ˜ ์žˆ๋Š” ๊ฒƒ์€ ์•„๋‹ˆ๋‹ค. VV๊ฐ€ ์—ญํ–‰๋ ฌ์ด ์กด์žฌํ•ด์•ผ๋งŒ ๋Œ€๊ฐํ™”๊ฐ€ ๊ฐ€๋Šฅํ•˜๋‹ค. ๋‹ค์‹œ ๋งํ•˜๋ฉด,
โ€ข
ํ–‰๋ ฌ VโˆˆRnร—nV \in \mathbb{R}^{n \times n} ๋ฅผ ๋งŒ์กฑํ•˜๋Š” square matrix์ด๋‹ค.
โ€ข
ํ–‰๋ ฌ VV๋ฅผ ๊ตฌ์„ฑํ•˜๋Š” eigenvector(=column vector of VV)๋“ค์ด linearly independent ํ•ด์•ผ ํ•œ๋‹ค.
โ€ข
ํ—ท๊ฐˆ๋ฆฌ์ง€ ๋ง์ž! ์ผ๋ฐ˜ํ–‰๋ ฌ์€ ๊ณ ์œ ๋ฒกํ„ฐ๋“ค์ด ์„ ํ˜•๋…๋ฆฝ! ๋Œ€์นญํ–‰๋ ฌ์€ ๊ณ ์œ ๋ฒกํ„ฐ๋“ค์ด ์ง๊ตํ•œ๋‹ค!

Eigendecomposition

ํ–‰๋ ฌ AA๊ฐ€ diagonalizableํ•˜๋‹ค๋ฉด, D=Vโˆ’1AVD=V^{-1} A V ๋กœ ์ž‘์„ฑํ•  ์ˆ˜ ์žˆ๊ณ , VV์˜ ์—ญํ–‰๋ ฌ์ด ์กด์žฌํ•˜๊ธฐ ๋•Œ๋ฌธ์— ์ˆ˜์‹์„ ์ „๊ฐœํ•˜๋ฉด ์•„๋ž˜์™€ ๊ฐ™์ด ์„œ์ˆ  ํ•  ์ˆ˜ ์žˆ๋‹ค.
A=VDVโˆ’1A=V D V^{-1}
๊ฒฐ๊ตญ diagonalizableํ•˜๋‹ค๋Š” ๊ฒƒ์€ eigendecomposition์ด ๊ฐ€๋Šฅํ•˜๋‹ค๋Š” ๊ฒƒ๊ณผ ๊ฐ™์€ ๋ง์ด๋‹ค.

Linear Transformation via Eigendecomposition

์ž„์˜์˜ ๋ฒกํ„ฐ x\mathbf{x}๊ฐ€ ์ฃผ์–ด์กŒ์„ ๋•Œ์—๋Š” ์—ฐ์‚ฐ์„ ์–ด๋–ป๊ฒŒ ํ•ด์•ผ ํ• ๊นŒ? ์ด๋Ÿฌํ•œ ๊ฒฝ์šฐ์—๋Š” ๋ฒกํ„ฐ x\mathbf{x}๊ฐ€ eigenvector๊ฐ€ ์•„๋‹ˆ๊ธฐ ๋•Œ๋ฌธ์— Ax=ฮปxA \mathbf{x}=\lambda \mathbf{x}๊ฐ€ ์„ฑ๋ฆฝํ•˜์ง€ ์•Š๊ธฐ ๋•Œ๋ฌธ์— ์•ž์„œ ์–ธ๊ธ‰ํ•œ ๊ณ„์‚ฐ ์†๋„์˜ ์ด์ ์„ ๋ˆ„๋ฆด ์ˆ˜ ์—†๋‹ค. ์ด ๋•Œ ์šฐ๋ฆฌ๊ฐ€ ์ด์ „ ํฌ์ŠคํŠธ์—์„œ ์–ธ๊ธ‰ํ–ˆ๋˜ linearity์˜ ์„ฑ์งˆ์„ ๋– ์˜ฌ๋ ค๋ณธ๋‹ค๋ฉด ์ฃผ์–ด์ง„ ๋ฒกํ„ฐ x\mathbf{x}๋ฅผ eigenvector์˜ linear combination์˜ ํ˜•ํƒœ๋กœ ํ‘œํ˜„ํ•  ์ˆ˜ ์žˆ๋‹ค. ์ด๋ ‡๊ฒŒ ๋˜๋ฉด Ax=ฮปxA \mathbf{x}=\lambda \mathbf{x}์˜ ์„ฑ์งˆ์„ ์ด์šฉํ•˜์—ฌ ๋”ฐ๋กœ ๋”ฐ๋กœ ๊ฐ’์„ ๊ตฌํ•œํ›„ ๋”ํ•˜๋ฉด ๋œ๋‹ค. ๊ณ„์‚ฐ ์†๋„๊ฐ€ ํ–ฅ์ƒ๋  ์ˆ˜ ์žˆ๋‹ค!
์ด๋ฅผ ์ˆ˜์‹์ ์œผ๋กœ ํ‘œํ˜„ํ•˜๋ฉด ์•„๋ž˜์™€ ๊ฐ™์ด ์„œ์ˆ ํ•œ๋‹ค.
ํ–‰๋ ฌ AA๊ฐ€ diagonalizableํ•˜๋‹ค๋ฉด, A=VDVโˆ’1A=V D V^{-1}์˜ ํ˜•ํƒœ๋กœ eigendecomposition ๊ฐ€๋Šฅํ•˜๊ณ , ์ด๋ฅผ ํ†ตํ•ด linear Transformation T(x)=AxT(\mathbf{x})=A \mathbf{x}๋ฅผ ์ƒ๊ฐํ•ด ๋ณผ ์ˆ˜ ์žˆ๋‹ค.
T(x)=Ax=VDVโˆ’1x=V(D(Vโˆ’1x))T(\mathbf{x})=A \mathbf{x}=V D V^{-1} \mathbf{x}=V\left(D\left(V^{-1} \mathbf{x}\right)\right)
์ด 3๋‹จ๊ณ„์˜ ์—ฐ์†์ ์ธ ๋ณ€ํ™˜์œผ๋กœ ํ•ด์„ํ•˜๊ฒŒ ๋œ๋‹ค. ์ž„์˜๋กœ ์ฃผ์–ด์ง„ ๋ฐฑํ„ฐ x\mathbf{x}๋ฅผ eigenvector๋“ค์˜ linear combination์œผ๋กœ ํ‘œํ˜„ํ•˜๊ณ  ์ด๋ฅผ ์ด์šฉํ•ด ์‰ฌ์šด ์‹์œผ๋กœ ์น˜ํ™˜ํ•˜๊ณ  ๊ณ„์‚ฐํ•œ ํ›„ ๋‹ค์‹œ ๋ณต์›ํ•˜๋Š” ํ˜•ํƒœ๋ฅผ ๋ˆ๋‹ค.

1๋‹จ๊ณ„. Basis ๋ฐ”๊พธ๊ธฐ (Vโˆ’1x)(V^{-1} \mathbf{x})

์ฃผ์–ด์ง„ ๋ฒกํ„ฐ x\mathbf{x}๋ฅผ eigenvector๋ฅผ basis๋กœ ํ•˜๋Š” linear combination์œผ๋กœ ํ‘œํ˜„ํ•œ๋‹ค. ์ด๋ฅผ ์œ„ํ•ด ๊ฐ basis์— ๋Œ€ํ•œ coefficient๋ฅผ ๊ตฌํ•ด์•ผ ํ•œ๋‹ค. eigenvector๋กœ ์ด๋ฃจ์–ด์ง„ ๋ณ€ํ™˜ํ–‰๋ ฌ์„ VV๋กœ ๋‘๊ณ , ๊ฐ column์— ๋Œ€ํ•œ coefficient vector๋ฅผ y\mathbf{y}๋ผ๊ณ  ํ•œ๋‹ค๋ฉด, ์•„๋ž˜์™€ ๊ฐ™์ด ์„œ์ˆ ํ•  ์ˆ˜ ์žˆ๋‹ค.
Vy=xy=Vโˆ’1xV \mathbf{y}=\mathbf{x} \\ \mathbf{y} = V^{-1}\mathbf{x}
์ดํ•ดํ•˜๊ธฐ ์‰ฝ๊ฒŒ ๊ทธ๋ฆผ์œผ๋กœ ์ œ์‹œํ•˜๋ฉด ๋‹ค์Œ๊ณผ ๊ฐ™๋‹ค. ๊ฐ eigenvalue, eigenvector์˜ ๊ด€๊ณ„๊ฐ€ ์•„๋ž˜์™€ ๊ฐ™๋‹ค๊ณ  ๊ฐ€์ •ํ•œ๋‹ค.
Av1=โˆ’1v1ย andย Av2=2v2A \mathbf{v}_{1}=-1 \mathbf{v}_{1} \text { and } A \mathbf{v}_{2}=2 \mathbf{v}_{2}
์ฃผ์–ด์ง„ ๋ฒกํ„ฐ x\mathbf{x}๋Š” ์›๋ž˜ standard basis์˜ linear combination์œผ๋กœ ์ด๋ฃจ์–ด์ ธ ์žˆ์—ˆ์ง€๋งŒ,
x=[43]=4[10]+3[01]=[1001][43]\mathbf{x}=\left[\begin{array}{l}4 \\3\end{array}\right]=4\left[\begin{array}{l}1 \\0\end{array}\right]+3\left[\begin{array}{l}0 \\1\end{array}\right]=\left[\begin{array}{ll}1 & 0 \\0 & 1\end{array}\right]\left[\begin{array}{l}4 \\3\end{array}\right]
eigenvector {v1,v2}\left\{\mathbf{v}_{1}, \mathbf{v}_{2}\right\} ๋กœ ์ด๋ฃจ์–ด์ง„ ์ƒˆ๋กœ์šด basis๋ฅผ ์ด์šฉํ•ด ํ‘œํ˜„ํ•  ์ˆ˜ ์žˆ๊ณ , ์ด๋•Œ ๊ฐ eigenvector์— ๋Œ€ํ•œ coefficient vector y\mathbf{y}๋กœ ๋‚˜ํƒ€๋‚ผ ์ˆ˜ ์žˆ๋‹ค.
x=Py=[v1v2][y1y2]=2v1+1v2โ‡’y=[21]\mathbf{x} = P \mathbf{y}=\left[\begin{array}{ll}\mathbf{v}_{1} & \mathbf{v}_{2}\end{array}\right]\left[\begin{array}{l}y_{1} \\y_{2}\end{array}\right]=2 \mathbf{v}_{1}+1 \mathbf{v}_{2} \Rightarrow \mathbf{y}=\left[\begin{array}{l}2 \\1\end{array}\right]

2๋‹จ๊ณ„. Element-wise Scaling (D(Vโˆ’1x))\left(D\left(V^{-1} \mathbf{x}\right)\right)

Av1=โˆ’1v1ย andย Av2=2v2A \mathbf{v}_{1}=-1 \mathbf{v}_{1} \text { and } A \mathbf{v}_{2}=2 \mathbf{v}_{2}๋ฅผ ์ด์šฉํ•ด ๊ณ„์‚ฐ๋Ÿ‰์„ ์ค„์ด๋Š” ๊ณผ์ •์ด๋‹ค. ์ฃผ์–ด์ง„ ํ–‰๋ ฌ๊ณฑ์„ ์Šค์นผ๋ผ์™€ ๋ฒกํ„ฐ ๊ณฑ์œผ๋กœ ๋ฐ”๊พผ๋‹ค.
z=Dy=[โˆ’1002][21]=[(โˆ’1)ร—22ร—1]=[โˆ’22]\mathbf{z}=D \mathbf{y}=\left[\begin{array}{cc}-1 & 0 \\0 & 2\end{array}\right]\left[\begin{array}{l}2 \\1\end{array}\right]=\left[\begin{array}{c}(-1) \times 2 \\2 \times 1\end{array}\right]=\left[\begin{array}{c}-2 \\2\end{array}\right]

3๋‹จ๊ณ„. ์›๋ž˜ Basis๋กœ ๋ณต๊ท€ํ•˜๊ธฐ V(D(Vโˆ’1x))V\left(D\left(V^{-1} \mathbf{x}\right)\right)

๋‹ค์‹œ standard basis์˜ ํ˜•ํƒœ๋กœ ๊ตฌํ•˜๊ธฐ ์œ„ํ•ด eigenvector๋ฅผ ๊ฐ๊ฐ ๊ณฑํ•ด์ฃผ๊ณ  ๋”ํ•˜๋ฉด ๋œ๋‹ค.
Vz=[v1v2][z1z2]=v1z1+v2z2Vz=\left[\begin{array}{ll}\mathbf{v}_{1} & \mathbf{v}_{2}\end{array}\right]\left[\begin{array}{l}z_{1} \\z_{2}\end{array}\right]=\mathbf{v}_{1} z_{1}+\mathbf{v}_{2} z_{2}
T(x)=V=[v1v2][โˆ’22]=โˆ’2v1+2v2=โˆ’2[31]+2[โˆ’21]=[โˆ’100]\begin{aligned} T(\mathbf{x})=V &=\left[\begin{array}{ll}\mathbf{v}_{1} & \mathbf{v}_{2}\end{array}\right]\left[\begin{array}{c}-2 \\2\end{array}\right] \\&=-2 \mathbf{v}_{1}+2 \mathbf{v}_{2} \\&=-2\left[\begin{array}{l}3 \\1\end{array}\right]+2\left[\begin{array}{c}-2 \\1\end{array}\right] \\&=\left[\begin{array}{c}-10 \\0\end{array}\right]\end{aligned}

์œ„์—์„œ ์ œ์‹œํ•œ transformation๊ณผ์ •์„ ๊ทธ๋ฆผ์œผ๋กœ ํ‘œํ˜„ํ•˜๋ฉด ์•„๋ž˜์™€ ๊ฐ™๋‹ค.

Linear Transformation via AkA^{k}

์—ฐ์†ํ•ด์„œ ํ–‰๋ ฌ์„ ๊ณฑํ•˜๋Š” ์ƒํ™ฉ Aร—Aร—โ‹ฏร—Ax=AkxA \times A \times \cdots \times A \mathbf{x}=A^{k} \mathbf{x} ์„ ์ƒ๊ฐํ•ด๋ณด๋ฉด, ๋งŒ์•ฝ ํ–‰๋ ฌ AA๊ฐ€ diagonalizableํ•˜๋‹ค๋ฉด ์•„๋ž˜์™€ ๊ฐ™์ด ์น˜ํ™˜ํ•ด ๊ณฑ์…ˆ์„ ๊ตฌํ•  ์ˆ˜ ์žˆ๋‹ค.
A=VDVโˆ’1Ak=(VDVโˆ’1)(VDVโˆ’1)โ‹ฏ(VDVโˆ’1)=VDkVโˆ’1A=V D V^{-1} \\ A^{k}=\left(V D V^{-1}\right)\left(V D V^{-1}\right) \cdots\left(V D V^{-1}\right)=V D^{k} V^{-1}
์ด ๋•Œ DkD^{k}๋Š” ๊ฐ„๋‹จํžˆ ๊ณ„์‚ฐ๋  ์ˆ˜ ์žˆ๋‹ค.
Dk=[ฮป1k0โ‹ฏ00ฮป2kโ‹ฑโ‹ฎโ‹ฎโ‹ฑโ‹ฑ00โ‹ฏ0ฮปnk]D^{k}=\left[\begin{array}{cccc}\lambda_{1}^{k} & 0 & \cdots & 0 \\0 & \lambda_{2}^{k} & \ddots & \vdots \\\vdots & \ddots & \ddots & 0 \\0 & \cdots & 0 & \lambda_{n}^{k}\end{array}\right]
eigendecomposition V(Dk(Vโˆ’1x))V\left(D^{k}\left(V^{-1} \mathbf{x}\right)\right)๋ฅผ ์ด์šฉํ•ด ๊ณ„์‚ฐํ•˜๊ฒŒ ๋˜๋ฉด AkxA^{k}\mathbf{x} ๋ฅผ ์ง์ ‘ ๊ตฌํ•˜๋Š” ๊ฒƒ ๋ณด๋‹ค ํ›จ์”ฌ ๋น ๋ฅด๊ฒŒ ํ–‰๋ ฌ ๊ณฑ์…ˆ์„ ์ˆ˜ํ–‰ํ•  ์ˆ˜ ์žˆ๊ฒŒ ๋œ๋‹ค!

Eigenvalue, Diagonalization์˜ ์ค‘์š”ํ•œ ์„ฑ์งˆ๋“ค

โ€ข
triangular matrix์˜ main diagonal์˜ ์š”์†Œ๋“ค์€ eigenvalue๊ฐ€ ๋œ๋‹ค.
โ€ข
๋งŒ์•ฝ v1,โ‹…โ‹…โ‹…,vr\mathbf{v_1},\cdot\cdot\cdot, \mathbf{v_r}๊ฐ€ nร—n{n \times n} ํ–‰๋ ฌ AA์˜ distinct eigenvalues ฮป1,โ‹…โ‹…โ‹…,ฮปr\lambda_1,\cdot\cdot\cdot, \lambda_r์— ๋Œ€์‘ํ•˜๋Š” eigenvector๋ผ๋ฉด, ์ง‘ํ•ฉ {v1,โ‹…โ‹…โ‹…,vr}\left\{\mathbf{v_1},\cdot\cdot\cdot, \mathbf{v_r}\right\}์€ linearly independentํ•˜๋‹ค.
โ€ข
ํ–‰๋ ฌ AA๊ฐ€ n๊ฐœ์˜ linearly independent eigenvector๋ฅผ ๊ฐ€์ง€๋ฉด diagonalizable ํ•ฉ๋‹ˆ๋‹ค.
โ€ข
nร—n{n \times n} ํ–‰๋ ฌ์ด n๊ฐœ์˜ distinctํ•œ(์„œ๋กœ ๋‹ค๋ฅธ) eigenvalue๋ฅผ ๊ฐ€์ง€๋ฉด diagonalizable ํ•ฉ๋‹ˆ๋‹ค.

์ž„์˜์˜ ํ–‰๋ ฌ Diagonalize ํ•ด๋ณด๊ธฐ

Reference