有限實矩陣乘法法則的證明
設 m , n , p , q m,n,p,q m , n , p , q A ∈ R m × n A\in\mathbb R^{m\times n} A ∈ R m × n B ∈ R n × p B\in\mathbb R^{n\times p} B ∈ R n × p C ∈ R p × q C\in\mathbb R^{p\times q} C ∈ R p × q ( i , ℓ ) (i,\ell) ( i , ℓ )
( ( A B ) C ) i ℓ = ∑ k = 1 p ( ∑ j = 1 n a i j b j k ) c k ℓ = ∑ j = 1 n a i j ( ∑ k = 1 p b j k c k ℓ ) = ( A ( B C ) ) i ℓ . \begin{aligned}
((AB)C)_{i\ell}
&=\sum_{k=1}^{p}\left(\sum_{j=1}^{n}a_{ij}b_{jk}\right)c_{k\ell}\\
&=\sum_{j=1}^{n}a_{ij}\left(\sum_{k=1}^{p}b_{jk}c_{k\ell}\right)
=(A(BC))_{i\ell}.
\end{aligned} (( A B ) C ) i ℓ = k = 1 ∑ p ( j = 1 ∑ n a ij b j k ) c k ℓ = j = 1 ∑ n a ij ( k = 1 ∑ p b j k c k ℓ ) = ( A ( B C ) ) i ℓ . 中間等號只交換兩個有限和的求和次序，並使用實數分配律。兩邊同為 m × q m\times q m × q
對 D ∈ R n × p D\in\mathbb R^{n\times p} D ∈ R n × p
[ A ( B + D ) ] i k = ∑ j = 1 n a i j ( b j k + d j k ) = ( A B ) i k + ( A D ) i k . [A(B+D)]_{ik}=\sum_{j=1}^{n}a_{ij}(b_{jk}+d_{jk})
=(AB)_{ik}+(AD)_{ik}. [ A ( B + D ) ] ik = j = 1 ∑ n a ij ( b j k + d j k ) = ( A B ) ik + ( A D ) ik . 對 E ∈ R m × n E\in\mathbb R^{m\times n} E ∈ R m × n
[ ( A + E ) B ] i k = ∑ j = 1 n ( a i j + e i j ) b j k = ( A B ) i k + ( E B ) i k . [(A+E)B]_{ik}=\sum_{j=1}^{n}(a_{ij}+e_{ij})b_{jk}
=(AB)_{ik}+(EB)_{ik}. [( A + E ) B ] ik = j = 1 ∑ n ( a ij + e ij ) b j k = ( A B ) ik + ( E B ) ik . 所以在所寫的相容大小下，兩條分配律均成立。對任意實純量 c c c
[ ( c A ) B ] i k = ∑ j ( c a i j ) b j k = c ∑ j a i j b j k = ∑ j a i j ( c b j k ) = [ A ( c B ) ] i k , [(cA)B]_{ik}=\sum_j(ca_{ij})b_{jk}
=c\sum_j a_{ij}b_{jk}
=\sum_j a_{ij}(cb_{jk})=[A(cB)]_{ik}, [( c A ) B ] ik = j ∑ ( c a ij ) b j k = c j ∑ a ij b j k = j ∑ a ij ( c b j k ) = [ A ( c B ) ] ik , 逐項相等便證明 ( c A ) B = c ( A B ) = A ( c B ) (cA)B=c(AB)=A(cB) ( c A ) B = c ( A B ) = A ( c B ) x , y ∈ R n x,y\in\mathbb R^n x , y ∈ R n s , t s,t s , t
[ A ( s x + t y ) ] i = ∑ j a i j ( s x j + t y j ) = s ( A x ) i + t ( A y ) i . [A(sx+ty)]_i=\sum_j a_{ij}(sx_j+ty_j)
=s(Ax)_i+t(Ay)_i. [ A ( s x + t y ) ] i = j ∑ a ij ( s x j + t y j ) = s ( A x ) i + t ( A y ) i . 這證明了比較同一線性系統的解時所用的矩陣乘向量線性性質。所有恆等式都只針對大小相容的有限實矩陣，不聲稱任意矩陣因子可交換或可消去。
向量空間是在域 F F F d d d P d ( F ) P_d(F) P d ( F ) P d ( F ) P_d(F) P d ( F )
子空間 包含零，且對加法和數乘封閉。若每個向量都是某列表中向量的線性組合，該列表張成空間；若只有零系數組合能得到零，它線性無關。基 同時滿足兩者。有限生成列表可通過刪除相關項縮減成基；線性無關列表可通過添加其張成空間外的向量擴充成基，直到張成給定的有限生成列表。
交換引理。 若 r r r s s s r ≤ s r\le s r ≤ s r r r dim V \dim V dim V
因此在 n n n n n n n n n
不預設計數結論的有限基存在與擴充
設實向量空間 V V V t 1 , … , t N t_1,\ldots,t_N t 1 , … , t N u 1 , … , u k u_1,\ldots,u_k u 1 , … , u k N N N j j j u 1 , … , u j u_1,\ldots,u_j u 1 , … , u j N − j N-j N − j u j + 1 u_{j+1} u j + 1 u i u_i u i u j + 1 u_{j+1} u j + 1 k > N k>N k > N N N N N N N V V V u N + 1 u_{N+1} u N + 1 N = 0 N=0 N = 0
每個子空間 W W W W W W W W W N N N W W W W = { 0 } W=\{0\} W = { 0 } W W W W W W p , q p,q p , q p ≤ q p\le q p ≤ q q ≤ p q\le p q ≤ p
映射 T : V → W T:V\to W T : V → W T ( α v + β u ) = α T v + β T u T(\alpha v+\beta u)=\alpha Tv+\beta Tu T ( α v + β u ) = α T v + β T u ker T \ker T ker T k 1 , … , k r k_1,\ldots,k_r k 1 , … , k r v 1 , … , v s v_1,\ldots,v_s v 1 , … , v s T v 1 , … , T v s Tv_1,\ldots,Tv_s T v 1 , … , T v s im T \operatorname{im}T im T
dim V = dim ker T + dim im T . \dim V=\dim\ker T+\dim\operatorname{im}T. dim V = dim ker T + dim im T . 這就是秩–零度定理 。有限維且維數相等時，單射與滿射等價；無限維空間中該等價可能失效。
本節默認純量域是實數域 R \mathbb{R} R R \mathbb{R} R C \mathbb{C} C
單個特徵向量已經有用；若一個方陣擁有足夠多線性無關的特徵向量，就可
以找到一個座標系，使矩陣的作用變成對角的。這裡的「足夠多」有精確定義：
對於 n × n n\times n n × n n n n R n \mathbb{R}^n R n
相似就是換座標
座標轉換矩陣的構造見基底擴充與換基 。
設 S S S x = S y x=Sy x = S y y y y S S S B = S − 1 A S B=S^{-1}AS B = S − 1 A S
A x = A S y = S B y . Ax=ASy=SBy. A x = A S y = S B y . 所以 A A A x x x B B B y y y S − 1 S^{-1} S − 1 y y y x = S y x=Sy x = S y A A A S − 1 S^{-1} S − 1 S − 1 A S y S^{-1}ASy S − 1 A S y S S S y ↦ S y y\mapsto Sy y ↦ S y
定義
相似 同一純量域上的兩個 n × n n\times n n × n A A A B B B S S S
S − 1 A S = B , S^{-1}AS=B, S − 1 A S = B , 則稱 A A A B B B 相似 。
定義
對角化與可對角化 設 A A A n × n n\times n n × n S S S λ 1 , … , λ n \lambda_1,\ldots,\lambda_n λ 1 , … , λ n
S − 1 A S = D = diag ( λ 1 , … , λ n ) , S^{-1}AS=D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n), S − 1 A S = D = diag ( λ 1 , … , λ n ) , 則稱這個等式是 A A A 對角化 ，並稱 A A A 可對角化 。
對角化是目標矩陣為對角矩陣的特殊相似關係。對角線上的數值只有在與
S S S
特徵向量字典
定理
一個對角化等式的刻畫 設 A A A n × n n\times n n × n
S = [ v 1 v 2 ⋯ v n ] S=[v_1\ v_2\ \cdots\ v_n] S = [ v 1 v 2 ⋯ v n ] 是可逆矩陣。令 D = diag ( λ 1 , … , λ n ) D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n) D = diag ( λ 1 , … , λ n )
對每個 j = 1 , … , n j=1,\ldots,n j = 1 , … , n A v j = λ j v j Av_j=\lambda_jv_j A v j = λ j v j
A S = S D AS=SD A S = S D S − 1 A S = D S^{-1}AS=D S − 1 A S = D A = S D S − 1 A=SDS^{-1} A = S D S − 1 證明
四種等價形式及其依賴關係 A S AS A S j j j A v j Av_j A v j S D SD S D j j j λ j v j \lambda_jv_j λ j v j A S = S D AS=SD A S = S D S S S S − 1 S^{-1} S − 1 S − 1 A S = D S^{-1}AS=D S − 1 A S = D A S = S D AS=SD A S = S D S − 1 S^{-1} S − 1 A = S D S − 1 A=SDS^{-1} A = S D S − 1 A S = S D AS=SD A S = S D S − 1 S S^{-1}S S − 1 S
這條字典能防止次序錯誤。如果 S S S λ 1 \lambda_1 λ 1 λ 2 \lambda_2 λ 2 λ 1 , λ 2 \lambda_1,\lambda_2 λ 1 , λ 2 Q Q Q
同樣，若 V = [ v 1 ⋯ v p ] V=[v_1\ \cdots\ v_p] V = [ v 1 ⋯ v p ] n × p n\times p n × p D = diag ( μ 1 , … , μ p ) D=\operatorname{diag}(\mu_1,\ldots,\mu_p) D = diag ( μ 1 , … , μ p ) A V = V D AV=VD A V = V D A v j = μ j v j Av_j=\mu_jv_j A v j = μ j v j p < n p<n p < n V V V p = n p=n p = n
定理
可對角化的精確判準 實數域上的 n × n n\times n n × n A A A n n n R n \mathbb{R}^n R n
必要性來自對角化矩陣 S S S n n n S S S n n n S S S S S S n n n
對角化例子
例題
由一個 2 乘 2 矩陣建立 S S S D D D 令
A = [ 2 1 1 2 ] . A=\begin{bmatrix}2&1\\1&2\end{bmatrix}. A = [ 2 1 1 2 ] . 特徵多項式為
det ( A − λ I ) = ( 2 − λ ) 2 − 1 = λ 2 − 4 λ + 3 = ( λ − 1 ) ( λ − 3 ) . \det(A-\lambda I)=(2-\lambda)^2-1
=\lambda^2-4\lambda+3=(\lambda-1)(\lambda-3). det ( A − λ I ) = ( 2 − λ ) 2 − 1 = λ 2 − 4 λ + 3 = ( λ − 1 ) ( λ − 3 ) . 對 λ = 3 \lambda=3 λ = 3 ( A − 3 I ) x = 0 (A-3I)x=0 ( A − 3 I ) x = 0 x 2 = x 1 x_2=x_1 x 2 = x 1 v 1 = [ 1 1 ] v_1=\begin{bmatrix}1\\1\end{bmatrix} v 1 = [ 1 1 ] λ = 1 \lambda=1 λ = 1 ( A − I ) x = 0 (A-I)x=0 ( A − I ) x = 0 x 2 = − x 1 x_2=-x_1 x 2 = − x 1 v 2 = [ 1 − 1 ] v_2=\begin{bmatrix}1\\-1\end{bmatrix} v 2 = [ 1 − 1 ]
S = [ 1 1 1 − 1 ] , D = [ 3 0 0 1 ] . S=\begin{bmatrix}1&1\\1&-1\end{bmatrix},\qquad
D=\begin{bmatrix}3&0\\0&1\end{bmatrix}. S = [ 1 1 1 − 1 ] , D = [ 3 0 0 1 ] . det ( S ) = − 2 \det(S)=-2 det ( S ) = − 2
S − 1 = 1 2 [ 1 1 1 − 1 ] = 1 2 S . S^{-1}=\frac12\begin{bmatrix}1&1\\1&-1\end{bmatrix}=\frac12S. S − 1 = 2 1 [ 1 1 1 − 1 ] = 2 1 S . 兩條逐欄等式給出 A S = S D AS=SD A S = S D S − 1 A S = D S^{-1}AS=D S − 1 A S = D x = [ 3 1 ] x=\begin{bmatrix}3\\1\end{bmatrix} x = [ 3 1 ] x = S y x=Sy x = S y y = [ 2 1 ] y=\begin{bmatrix}2\\1\end{bmatrix} y = [ 2 1 ]
D y = [ 6 1 ] , S D y = [ 7 5 ] = A x . Dy=\begin{bmatrix}6\\1\end{bmatrix},\qquad
SDy=\begin{bmatrix}7\\5\end{bmatrix}=Ax. D y = [ 6 1 ] , S D y = [ 7 5 ] = A x . 在新座標中作對角計算，和原矩陣直接作用的結果一致。
例題
一個可對角化的上三角矩陣 令
A = [ 1 1 1 0 2 2 0 0 3 ] . A=\begin{bmatrix}1&1&1\\0&2&2\\0&0&3\end{bmatrix}. A = 1 0 0 1 2 0 1 2 3 . 取以下特徵向量
u 1 = [ 1 0 0 ] , u 2 = [ 1 1 0 ] , u 3 = [ 3 4 2 ] , u_1=\begin{bmatrix}1\\0\\0\end{bmatrix},\quad
u_2=\begin{bmatrix}1\\1\\0\end{bmatrix},\quad
u_3=\begin{bmatrix}3\\4\\2\end{bmatrix}, u 1 = 1 0 0 , u 2 = 1 1 0 , u 3 = 3 4 2 , 它們對應的特徵值依次為 1 , 2 , 3 1,2,3 1 , 2 , 3
U = [ u 1 u 2 u 3 ] = [ 1 1 3 0 1 4 0 0 2 ] , D = diag ( 1 , 2 , 3 ) . U=[u_1\ u_2\ u_3]=\begin{bmatrix}1&1&3\\0&1&4\\0&0&2\end{bmatrix},
\quad D=\operatorname{diag}(1,2,3). U = [ u 1 u 2 u 3 ] = 1 0 0 1 1 0 3 4 2 , D = diag ( 1 , 2 , 3 ) . det ( U ) = 2 \det(U)=2 det ( U ) = 2 U U U
U − 1 = [ 1 − 1 1 / 2 0 1 − 2 0 0 1 / 2 ] . U^{-1}=\begin{bmatrix}1&-1&1/2\\0&1&-2\\0&0&1/2\end{bmatrix}. U − 1 = 1 0 0 − 1 1 0 1/2 − 2 1/2 . 直接相乘可得
A u 1 = [ 1 0 0 ] = 1 u 1 , A u 2 = [ 2 2 0 ] = 2 u 2 , A u 3 = [ 9 12 6 ] = 3 u 3 . Au_1=\begin{bmatrix}1\\0\\0\end{bmatrix}=1u_1,\quad
Au_2=\begin{bmatrix}2\\2\\0\end{bmatrix}=2u_2,\quad
Au_3=\begin{bmatrix}9\\12\\6\end{bmatrix}=3u_3. A u 1 = 1 0 0 = 1 u 1 , A u 2 = 2 2 0 = 2 u 2 , A u 3 = 9 12 6 = 3 u 3 . 所以 A U = U D AU=UD A U = U D U − 1 A U = diag ( 1 , 2 , 3 ) U^{-1}AU=\operatorname{diag}(1,2,3) U − 1 A U = diag ( 1 , 2 , 3 )
例題
重複特徵值不一定給出完整特徵基 考慮
J = [ 1 4 0 1 ] . J=\begin{bmatrix}1&4\\0&1\end{bmatrix}. J = [ 1 0 4 1 ] . det ( J − λ I ) = ( 1 − λ ) 2 \det(J-\lambda I)=(1-\lambda)^2 det ( J − λ I ) = ( 1 − λ ) 2 1 1 1
( J − I ) x = [ 0 4 0 0 ] [ x 1 x 2 ] = 0 (J-I)x=\begin{bmatrix}0&4\\0&0\end{bmatrix}
\begin{bmatrix}x_1\\x_2\end{bmatrix}=0 ( J − I ) x = [ 0 0 4 0 ] [ x 1 x 2 ] = 0 迫使 x 2 = 0 x_2=0 x 2 = 0 x 1 x_1 x 1 span { [ 1 0 ] } \operatorname{span}\{\begin{bmatrix}1\\0\end{bmatrix}\} span { [ 1 0 ] } 2 × 2 2\times2 2 × 2 J J J
置換與相似不變量
若 Q Q Q n × n n\times n n × n A = S D S − 1 A=SDS^{-1} A = S D S − 1 S Q SQ S Q
( S Q ) − 1 A ( S Q ) = Q − 1 S − 1 A S Q = Q − 1 D Q . (SQ)^{-1}A(SQ)=Q^{-1}S^{-1}ASQ=Q^{-1}DQ. ( S Q ) − 1 A ( S Q ) = Q − 1 S − 1 A S Q = Q − 1 D Q . 右側仍是對角矩陣，只是對角元素按 Q Q Q
定理
相似矩陣有相同的特徵多項式 若 B = S − 1 A S B=S^{-1}AS B = S − 1 A S S S S
det ( B − t I ) = det ( S − 1 ( A − t I ) S ) = det ( A − t I ) . \det(B-tI)=\det\bigl(S^{-1}(A-tI)S\bigr)=\det(A-tI). det ( B − t I ) = det ( S − 1 ( A − t I ) S ) = det ( A − t I ) . 所以相似矩陣有相同的特徵多項式，也有相同的特徵值（按代數重數計）。
這裡使用 S − 1 ( A − t I ) S = S − 1 A S − t S − 1 I S S^{-1}(A-tI)S=S^{-1}AS-tS^{-1}IS S − 1 ( A − t I ) S = S − 1 A S − t S − 1 I S S − 1 I S = I S^{-1}IS=I S − 1 I S = I
反例模式
相同特徵資料不足以證明相似 令
N = [ 0 1 0 0 ] , 0 2 = [ 0 0 0 0 ] . N=\begin{bmatrix}0&1\\0&0\end{bmatrix},\qquad
0_2=\begin{bmatrix}0&0\\0&0\end{bmatrix}. N = [ 0 0 1 0 ] , 0 2 = [ 0 0 0 0 ] . 兩者的特徵多項式都是 t 2 t^2 t 2 S S S S − 1 0 2 S = 0 2 S^{-1}0_2S=0_2 S − 1 0 2 S = 0 2 N ≠ 0 2 N\ne0_2 N = 0 2
冪、逆矩陣與轉置
定理
由一次對角化得到冪、逆矩陣與轉置 設 A = S D S − 1 A=SDS^{-1} A = S D S − 1 S S S D = diag ( λ 1 , … , λ n ) D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n) D = diag ( λ 1 , … , λ n ) m m m
A m = S D m S − 1 , D m = diag ( λ 1 m , … , λ n m ) . A^m=SD^mS^{-1},\qquad
D^m=\operatorname{diag}(\lambda_1^m,\ldots,\lambda_n^m). A m = S D m S − 1 , D m = diag ( λ 1 m , … , λ n m ) . 若 A A A λ j \lambda_j λ j A − 1 = S D − 1 S − 1 A^{-1}=SD^{-1}S^{-1} A − 1 = S D − 1 S − 1 A T A^T A T
正整數公式從 m = 1 m=1 m = 1 A 0 = I n A^0=I_n A 0 = I n D 0 = I n D^0=I_n D 0 = I n D − 1 D^{-1} D − 1 A − 1 A^{-1} A − 1 m < 0 m<0 m < 0
證明
冪與轉置公式為甚麼成立 若已知 A m = S D m S − 1 A^m=SD^mS^{-1} A m = S D m S − 1
A m + 1 = ( S D m S − 1 ) ( S D S − 1 ) = S D m + 1 S − 1 , A^{m+1}=(SD^mS^{-1})(SDS^{-1})=SD^{m+1}S^{-1}, A m + 1 = ( S D m S − 1 ) ( S D S − 1 ) = S D m + 1 S − 1 , 其中約去了相鄰的 S − 1 S S^{-1}S S − 1 S ( S D S − 1 ) − 1 = S D − 1 S − 1 (SDS^{-1})^{-1}=SD^{-1}S^{-1} ( S D S − 1 ) − 1 = S D − 1 S − 1
A T = ( S − 1 ) T D S T . A^T=(S^{-1})^TDS^T. A T = ( S − 1 ) T D S T . 令 W = ( S − 1 ) T W=(S^{-1})^T W = ( S − 1 ) T W − 1 = S T W^{-1}=S^T W − 1 = S T W − 1 A T W = D T = D W^{-1}A^TW=D^T=D W − 1 A T W = D T = D W W W A T A^T A T S S S A T A^T A T
例題
通過對角化計算對稱矩陣的所有正整數冪 令
B = [ 2 1 1 1 2 1 1 1 2 ] , S = [ 1 1 1 1 − 1 0 1 0 − 1 ] , S − 1 = 1 3 [ 1 1 1 1 − 2 1 1 1 − 2 ] , B=\begin{bmatrix}2&1&1\\1&2&1\\1&1&2\end{bmatrix},\quad
S=\begin{bmatrix}1&1&1\\1&-1&0\\1&0&-1\end{bmatrix},\quad
S^{-1}=\frac13\begin{bmatrix}1&1&1\\1&-2&1\\1&1&-2\end{bmatrix}, B = 2 1 1 1 2 1 1 1 2 , S = 1 1 1 1 − 1 0 1 0 − 1 , S − 1 = 3 1 1 1 1 1 − 2 1 1 1 − 2 , 並令 D = diag ( 4 , 1 , 1 ) D=\operatorname{diag}(4,1,1) D = diag ( 4 , 1 , 1 ) S S S B = S D S − 1 B=SDS^{-1} B = S D S − 1 m m m
B m = 1 3 [ 4 m + 2 4 m − 1 4 m − 1 4 m − 1 4 m + 2 4 m − 1 4 m − 1 4 m − 1 4 m + 2 ] . B^m=\frac13\begin{bmatrix}
4^m+2&4^m-1&4^m-1\\
4^m-1&4^m+2&4^m-1\\
4^m-1&4^m-1&4^m+2
\end{bmatrix}. B m = 3 1 4 m + 2 4 m − 1 4 m − 1 4 m − 1 4 m + 2 4 m − 1 4 m − 1 4 m − 1 4 m + 2 . 當 m = 1 m=1 m = 1 2 2 2 1 1 1 m = 2 m=2 m = 2 6 6 6 5 5 5
複數擴展與共同特徵基
在實數域上，
R = [ 1 − 1 1 1 ] R=\begin{bmatrix}1&-1\\1&1\end{bmatrix} R = [ 1 1 − 1 1 ] 的特徵多項式是 ( 1 − λ ) 2 + 1 (1-\lambda)^2+1 ( 1 − λ ) 2 + 1 R \mathbb{R} R C \mathbb{C} C
U = [ i − i 1 1 ] , U − 1 = 1 2 [ − i 1 i 1 ] , D = diag ( 1 + i , 1 − i ) . U=\begin{bmatrix}i&-i\\1&1\end{bmatrix},\quad
U^{-1}=\frac12\begin{bmatrix}-i&1\\i&1\end{bmatrix},\quad
D=\operatorname{diag}(1+i,1-i). U = [ i 1 − i 1 ] , U − 1 = 2 1 [ − i i 1 1 ] , D = diag ( 1 + i , 1 − i ) . 此時 U − 1 R U = D U^{-1}RU=D U − 1 R U = D det ( U ) = 2 i ≠ 0 \det(U)=2i\ne0 det ( U ) = 2 i = 0
定理
擁有共同特徵基的和與積 若 A = S D S − 1 A=SDS^{-1} A = S D S − 1 B = S E S − 1 B=SES^{-1} B = S E S − 1 S S S D , E D,E D , E α , β \alpha,\beta α , β
α A + β B = S ( α D + β E ) S − 1 , A B = S D E S − 1 . \alpha A+\beta B=S(\alpha D+\beta E)S^{-1},\qquad
AB=SDE S^{-1}. α A + β B = S ( α D + β E ) S − 1 , A B = S D E S − 1 . 中間的矩陣仍為對角矩陣，所以這些矩陣由同一組基底同時對角化。
證明只需分配律和 S − 1 S = I S^{-1}S=I S − 1 S = I α S D S − 1 + β S E S − 1 = S ( α D + β E ) S − 1 \alpha SDS^{-1}+\beta SES^{-1}=S(\alpha D+\beta E)S^{-1} α S D S − 1 + β S E S − 1 = S ( α D + β E ) S − 1 ( S D S − 1 ) ( S E S − 1 ) = S D E S − 1 (SDS^{-1})(SES^{-1})=SDE S^{-1} ( S D S − 1 ) ( S E S − 1 ) = S D E S − 1 S S S
重複特徵值能說明甚麼
特徵多項式記錄代數重數，特徵空間維數記錄可用的線性無關特徵向量數目，兩者回答
不同問題。若重複特徵值的特徵空間維數不足，重新排列欄向量也不能創造缺少的方向，
矩陣 J J J
相似關係保持特徵多項式，是因為它只改變同一個線性作用的座標表示。若
A v = λ v Av=\lambda v A v = λ v B = S − 1 A S B=S^{-1}AS B = S − 1 A S B ( S − 1 v ) = λ ( S − 1 v ) B(S^{-1}v)=\lambda(S^{-1}v) B ( S − 1 v ) = λ ( S − 1 v ) S − 1 S^{-1} S − 1
核對最後的證明依據
要判斷給定數域上的可對角化性，先找出所有特徵值，再把各特徵空間的維數相加。
這個總數恰為 n n n n × n n\times n n × n S S S D D D A S = S D AS=SD A S = S D S S S S − 1 S^{-1} S − 1
快速檢查與練習
思考檢查
設 S S S S − 1 A S = D S^{-1}AS=D S − 1 A S = D S S S A A A D D D 解答 · 答案 各欄必須是 A A A j j j D D D j j j
思考檢查
一個可對角化的 3×3 矩陣，其最多能有兩個線性無關的特徵向量嗎？ 解答 · 答案 不能。可對角化的 3 × 3 3\times3 3 × 3
思考檢查
若 A A A D D D 解答 · 答案 有。相似矩陣有相同的特徵多項式，因此有相同特徵值（按代數重數計）。
思考檢查
設 A A A v 1 , v 2 , v 3 v_1,v_2,v_3 v 1 , v 2 , v 3 2 , 5 , − 1 2,5,-1 2 , 5 , − 1 3 × 3 3×3 3 × 3 A A A 解答 · 導引解答 若 S = [ v 1 v 2 v 3 ] S=[v_1\ v_2\ v_3] S = [ v 1 v 2 v 3 ]
S − 1 A S = diag ( 2 , 5 , − 1 ) . S^{-1}AS=\operatorname{diag}(2,5,-1). S − 1 A S = diag ( 2 , 5 , − 1 ) . 思考檢查
為甚麼 J = [ 1 4 0 1 ] J=\begin{bmatrix}1&4\\0&1\end{bmatrix} J = [ 1 0 4 1 ] 解答 · 導引解答 唯一特徵值是 1 1 1 ( J − I ) x = 0 (J-I)x=0 ( J − I ) x = 0 x 2 = 0 x_2=0 x 2 = 0 2 × 2 2\times2 2 × 2
思考檢查
若 A = S D S − 1 A=SDS^{-1} A = S D S − 1 D = diag ( 2 , − 1 ) D=\operatorname{diag}(2,-1) D = diag ( 2 , − 1 ) A 3 A^3 A 3 解答 · 導引解答 A 3 = S D 3 S − 1 = S diag ( 8 , − 1 ) S − 1 . A^3=SD^3S^{-1}=S\operatorname{diag}(8,-1)S^{-1}. A 3 = S D 3 S − 1 = S diag ( 8 , − 1 ) S − 1 . 相關筆記
若還不熟悉齊次方程組的觀點，請先閱讀
8.1 特徵值、特徵向量與特徵空間 。
接著閱讀
8.3 特徵多項式與對角化判別 ，
學習判斷特徵向量是否足夠的多項式工具。本節的基底語言也依賴
6.5 基底與維數 。
