主題
Search

特徵分解


一個方陣 A矩陣分解,分解成所謂的特徵值和特徵向量,是非常重要的。這種分解通常被稱為“矩陣對角化”。然而,這個名稱並非最佳,因為所描述的過程實際上是將矩陣分解為其他三個矩陣的乘積,其中只有一個是對角矩陣,而且因為所有其他標準型別的矩陣分解都在其名稱中使用術語“分解”,例如,Cholesky 分解Hessenberg 分解等等。因此,在這項工作中,將矩陣分解為由其特徵向量和特徵值組成的矩陣稱為特徵分解。

假設 A 具有非退化的特徵值 lambda_1,lambda_2,...,lambda_k 和相應的線性獨立的特徵向量 X_1,X_2,...,X_k,可以表示為

 [x_(11); x_(12); |; x_(1k)],[x_(21); x_(22); |; x_(2k)],...[x_(k1); x_(k2); |; x_(kk)].
(1)

定義由特徵向量組成的矩陣

P=[X_1 X_2 ... X_k]
(2)
=[x_(11) x_(21) ... x_(k1); x_(12) x_(22) ... x_(k2); | | ... |; x_(1k) x_(2k) ... x_(kk)]
(3)

和特徵值

 D=[lambda_1 0 ... 0; 0 lambda_2 ... 0; | | ... |; 0 0 ... lambda_k],
(4)

其中 D 是一個對角矩陣。那麼

AP=A[X_1 X_2 ... X_k]
(5)
=[AX_1 AX_2 ... AX_k]
(6)
=[lambda_1X_1 lambda_2X_2 ... lambda_kX_k]
(7)
=[lambda_1x_(11) lambda_2x_(21) ... lambda_kx_(k1); lambda_1x_(12) lambda_2x_(22) ... lambda_kx_(k2); | | ... |; lambda_1x_(1k) lambda_2x_(2k) ... lambda_kx_(kk)]
(8)
=[x_(11) x_(21) ... x_(k1); x_(12) x_(22) ... x_(k2); | | ... |; x_(1k) x_(2k) ... x_(kk)][lambda_1 0 ... 0; 0 lambda_2 ... 0; | | ... |; 0 0 ... lambda_k]
(9)
=PD,
(10)

給出 A 的驚人分解,分解成一個涉及 PD相似變換

 A=PDP^(-1).
(11)

只要 P 是一個方陣,對於一個方陣 A 來說,這種分解總是可能的,這在本文中被稱為特徵分解定理

此外,等式 (11) 兩邊平方得到

A^2=(PDP^(-1))(PDP^(-1))
(12)
=PD(P^(-1)P)DP^(-1)
(13)
=PD^2P^(-1).
(14)

透過歸納法,可以得出對於一般的正整數冪,

 A^n=PD^nP^(-1).
(15)

A 的逆矩陣是

A^(-1)=(PDP^(-1))^(-1)
(16)
=PD^(-1)P^(-1),
(17)

其中對角矩陣 D 的逆矩陣很容易由下式給出

 D^(-1)=[lambda_1^(-1) 0 ... 0; 0 lambda_2^(-1) ... 0; | | ... |; 0 0 ... lambda_k^(-1)].
(18)

因此,方程 (◇) 對於 n 以及正數都成立。

涉及矩陣 PD 的另一個顯著結果來自矩陣指數的定義

e^(A)=sum_(n=0)^(infty)(A^n)/(n!)
(19)
=sum_(n=0)^(infty)(PD^nP^(-1))/(n!)
(20)
=P(sum_(n=0)^(infty)(D^n)/(n!))P^(-1)
(21)
=Pe^(D)P^(-1).
(22)

這是正確的,因為 D 是一個對角矩陣,並且

e^(D)=sum_(n=0)^(infty)(D^n)/(n!)
(23)
=sum_(n=0)^(infty)1/(n!)[lambda_1^n 0 ... 0; 0 lambda_2^n ... 0; | | ... |; 0 0 ... lambda_k^n]
(24)
=[sum_(n=0)^(infty)(lambda_1^n)/(n!) 0 ... 0; 0 sum_(n=0)^(infty)(lambda_2^n)/(n!) ... 0; | | ... |; 0 0 ... sum_(n=0)^(infty)(lambda_k^n)/(n!)]
(25)
=[e^(lambda_1) 0 ... 0; 0 e^(lambda_2) ... 0; | | ... |; 0 0 ... e^(lambda_k)],
(26)

因此,可以使用 D 找到 e^(A)


另請參閱

可對角化矩陣, 特徵分解定理, 特徵值, 特徵向量, 矩陣分解, 奇異值分解

使用 探索

請引用為

Weisstein, Eric W. “特徵分解。” 來自 Web 資源。 https://mathworld.tw/EigenDecomposition.html

學科分類