矩陣對角化計算器
求 2×2 與 3×3 矩陣的特徵值、特徵向量,以及對角化關係 P⁻¹AP = D。
輸入矩陣時,用分號分隔各列,用逗號分隔各元素。例如,2×2 矩陣 [[3,1],[0,2]] 可輸入為 3,1;0,2。
矩陣對角化計算器
求 2×2 與 3×3 矩陣的特徵值、特徵向量,以及對角化關係 P⁻¹AP = D。
關於矩陣對角化
矩陣對角化是線性代數中的基礎程序,透過相似變換將方陣 A 轉換為對角矩陣 D。其關係表示為 P⁻¹AP = D,其中 P 是特徵向量矩陣,D 是主對角線包含特徵值的對角矩陣。
方陣 A 的特徵值 λ 是滿足 det(A − λI) = 0 的純量,其中 I 是單位矩陣。這個方程稱為 A 的特徵方程,而 det(A − λI) 所對應的多項式稱為特徵多項式。對 2×2 矩陣而言,它是二次多項式;對 3×3 矩陣而言,它是三次多項式。特徵值就是這個多項式的根。
對每個特徵值 λ,對應的特徵向量是方程 (A − λI)v = 0 的非零解。所有解(包含零向量)構成對應於 λ 的特徵空間。矩陣可對角化,且僅當它具有足夠多線性獨立的特徵向量來形成完整基底——等價地說,每個特徵值的幾何重數都必須等於代數重數。
對角矩陣 D 的主對角線上是特徵值,其餘位置皆為 0。變換矩陣 P 的欄向量是對應的特徵向量,且順序與 D 中的特徵值一致。當 P 可逆(也就是 A 可對角化時),即可驗證關係 P⁻¹AP = D。
對角化非常實用,因為對角矩陣容易處理。計算對角矩陣的冪非常簡單:D^n 只要把每個對角元素都提升到 n 次方即可。這表示計算大次方的 A^n 可以寫成 P D^n P⁻¹,比反覆做矩陣乘法有效率得多。它在計算費波那契數、以 Leslie 矩陣建模族群成長,以及解微分方程組等方面都有直接應用。
在資料科學與統計中,主成分分析(PCA)直接依賴對角化。資料集的共變異數矩陣是對稱矩陣,因此一定可用實特徵值對角化。特徵向量定義主成分——也就是變異最大的方向——而特徵值則告訴你每個主成分解釋了多少變異。
在量子力學中,對哈密頓量矩陣進行對角化可得到物理系統的能階與本徵態。在機械工程中,結構振動的自然頻率與模態形狀可由系統的剛性矩陣與質量矩陣對角化後求得。
並非所有矩陣都能對角化。具有重特徵值的矩陣是否可對角化,取決於每個重特徵值是否有完整的特徵空間。二維旋轉矩陣具有複數特徵值,因此不能在實數範圍內對角化。在這類情況下,Jordan 標準形提供了最接近對角形式的表示。
對角化範例
以下範例示範不同矩陣如何進行對角化。
| 矩陣 | 特徵值 | 說明 |
|---|---|---|
| 3,1;0,2 (2×2 上三角) | λ₁ = 3, λ₂ = 2 | 上三角矩陣的特徵值就在對角線上。P = [[1,1],[0,−1]], D = [[3,0],[0,2]]。 |
| 2,1;1,2 (2×2 對稱) | λ₁ = 3, λ₂ = 1 | 對稱矩陣總是可以用實特徵值對角化。特徵向量彼此正交:[1,1] 與 [1,−1]。 |
| 4,1;0,4 (2×2 缺陷矩陣) | λ = 4(重根) | 重特徵值只有一個線性獨立的特徵向量,因此不可對角化。需要 Jordan 形式。 |
| 1,0,0;0,2,0;0,0,3 (3×3 對角) | λ₁ = 1, λ₂ = 2, λ₃ = 3 | 對角矩陣本身已經是對角化形式。P = I,D 就是 A 本身。 |
如何使用矩陣對角化計算器
- 輸入矩陣時,用分號分隔各列,用逗號分隔每列中的元素。對於 2×2 矩陣 [[a,b],[c,d]],請輸入 a,b;c,d。
- 點選「對角化」。計算器會求出特徵多項式、找出特徵值,然後解特徵向量。
- 查看「特徵值」區塊,了解矩陣的所有特徵值 λ。
- 查看「矩陣 P」區塊,可看到以欄排列的特徵向量,以及「對角矩陣 D」中對角線上的特徵值。
- 如果矩陣不可對角化(有複數特徵值或特徵向量不足),系統會說明為何無法在實數範圍內對角化。
矩陣對角化常見問題
矩陣可對角化是什麼意思?
如果存在可逆矩陣 P,使得 P⁻¹AP = D 且 D 為對角矩陣,那麼方陣 A 就是可對角化的。等價地,A 必須擁有 n 個線性獨立的特徵向量,其中 n 是它的大小。只要每個特徵值的幾何重數等於代數重數,就符合條件。
什麼是特徵值和特徵向量?
特徵值 λ 是使 Av = λv 有非零解 v 的純量。向量 v 就是對應的特徵向量。從幾何上看,特徵向量是矩陣 A 只會拉伸或翻轉(按 λ 縮放),而不會旋轉的方向。特徵值可透過求解 det(A − λI) = 0 得到。
矩陣對角化為什麼有用?
對角矩陣很容易處理。計算對角矩陣的第 n 次方,只要把每個對角元素提升到 n 次方即可。所以 A^n = P D^n P⁻¹ 的計算效率很高。對角化也能把方程組解耦,簡化微分方程、族群模型與圖分析。
什麼時候矩陣不可對角化?
當某個特徵值的幾何重數小於代數重數時,矩陣就無法對角化,也就是它的特徵空間太小。另外,在實數範圍內,帶有複數特徵值的矩陣(例如二維旋轉矩陣)不能用實矩陣對角化。
代數重數和幾何重數有什麼差別?
特徵值的代數重數是它作為特徵多項式根出現的次數。幾何重數是對應特徵空間的維度(也就是線性獨立特徵向量的數量)。矩陣可對角化要求每個特徵值的這兩個數相等。
所有對稱矩陣都可以對角化嗎?
可以。譜定理保證每個實對稱矩陣都可以用正交矩陣 P 對角化(此時 P⁻¹ = Pᵀ),而且所有特徵值都為實數。這也是 PCA 與統計、物理中的許多方法依賴對稱矩陣的原因。