可對角化矩陣是可化簡為對角矩陣的方陣。矩陣對角化後大幅降低了某些屬性的計算難度，比如其行列式就是對角線上所有數字的乘積，而對角線上的數字就是其特徵值。 可對角化也使該線性變換的幾何意義更直觀，因為每個線性變換都可以對應到一個矩陣，所以將矩陣對角化等價於找到一組基底，使的線性變換的作用僅僅是伸縮基底向量而已。類似的，若用對角矩陣表示差分方程組或者微分方程組的係數的話，這樣每條等式只含有一個未知函式，這樣也大幅度了化簡了方程式的難度。 若爾當 謝瓦萊分解表達一個運算元為它的對角部分與它的冪零部分的和。 正式定義 可對角化的線性對映 特徵化 關於可對角化對映和矩陣的基本事實可表達為如下 在域 F 上的 n n 矩陣 A 是可對角化的，當且僅當它的特徵空間的和的維度等於 n，它為真當且僅當存在由 A 的特徵向量組成的 Fn 的基。如果找到了這樣的基，可以形成有基向量作為縱列的矩陣 P，而 P 1AP 將是對角矩陣。這個矩陣的對角元素是 A 的特徵值。 線性對映 T V V 是可對角化的，當且僅當它的特徵空間的維度等於 dim V，它為真當且僅當存在由 T 的特徵向量組成的 V 的基。T 關於這個基將表示為對角矩陣。這個矩陣的對角元素是 T 的特徵值。 另一個特徵化：矩陣或線性對映在域 F 上可對角化的，當且僅當它的極小多項式在 F 上有不同的線性因子。 下列充分 但非必要 條件經常是有用的。 n n 矩陣 A 只在域 F 上可對角化的，如果它在 F 中有 n 個不同的特徵值，就是說，如果它的特徵多項式在 F 中有 n 個不同的根。 線性對映 T V V 帶有 ndim V 是可對角化的，如果它有 n 個不同的特徵值，就是說它的特徵多項式在 F 中有 n 個不同的根。 作為經驗規則，在複數域 C 上幾乎所有矩陣都是可對角化的。更精確地說：在 C 上不可對角化的複數 n n 矩陣的集合被當作 Cnn 的子集，它是關於勒貝格測度的零集。也可以說可對角化矩陣形成了關於 扎里斯基拓撲的稠密子集：補位於特徵多項式的判別式變為零的集合內，後者是超平面。從中得出的還有在平常的 強拓撲 中密度由範數給出。 對於 R 域就不是這樣了。隨著 n 增長，隨機選擇的實數矩陣是在 R 上可對角化的可能性越來越小。 例子 可對角化矩陣 對合在實數上 甚至特徵不是 2 的任何域 是可對角化的，帶有 1 和 1 在對角線上。 有限階自同態 包括對合 是在複數，或域的特徵不整除自同態的階的任何代數閉合域 因為單位一的根是不同的 是可對角化的，帶有單位根在對角線上。這是迴圈群的表示理論的一部分。 投影是可對角化的，帶有 0 和 1 在對角線上。 非可對角化的矩陣 某些矩陣在任何域上都是不可對角化的，最著名的是冪零矩陣。如果特徵值的幾何重次和代數重次不一致，這會更一般的出現。例如考慮 C begin bmatrix 0 1 0 0 end bmatrix 這個矩陣是不可對角化的：沒有矩陣 U 使得 U1 CU 是對角矩陣。實際上，C 有一個特徵值 就是零 而這個特徵值有代數重次 2 和幾何重次 1。 某些實數矩陣在實數上是不可對角化的。例如考慮 B begin bmatrix 0 1 1 0 end bmatrix 矩陣 B 沒有任何實數特徵值，所以沒有實數矩陣 Q 使得 Q1 BQ 是對角矩陣。但是如果允許複數的話 ，B 仍可以對角化。實際上，如果我們取 Q begin bmatrix 1 textrm i textrm i 1 end bmatrix 則 Q1 BQ 是對角的。 矩陣對角化的方法 考慮矩陣 Abegin bmatrix 1 2 0 0 3 0 2 4 2 end bmatrix 這個矩陣有特徵值 lambda_1 3 quad lambda_2 2 quad lambda_3 1 所以 A 是有三個不同特徵值的 3 3 矩陣，所以它是可對角化的。 如果我們要對角化 A，我們需要計算對應的特徵向量。它們是 v_1 begin bmatrix 1 1 2 end bmatrix quad v_2 begin bmatrix 0 0 1 end bmatrix quad v_3 begin bmatrix 1 0 2 end bmatrix 我們可以輕易的驗證 A v_k lambda_k v_k。 現在，設 P 是由這些特徵向量作為縱列的矩陣 P begin bmatrix 1 0 1 1 0 0 2 1 2 end bmatrix 則 P 對角化了 A，簡單的計算可驗證 P1 AP begin bmatrix 0 1 0 2 0 1 1 1 0 end bmatrix begin bmatrix 1 2 0 0 3 0 2 4 2 end bmatrix begin bmatrix 1 0 1 1 0 0 2 1 2 end bmatrix begin bmatrix 3 0 0 0 2 0 0 0 1end bmatrix 注意特徵值 lambda_k 出現在對角矩陣中。 應用 對角化可被用來有效的計算矩陣 A 的冪，假如矩陣是可對角化的。比如我們找到了 P1 AP D 是對角矩陣，因為矩陣的積是結合的， begin align Ak PDP1k PDP1 cdot PDP1 cdots PDP1 PD P1 P D P1 P cdots P1 P D P1 PDkP1 end align 而後者容易計算，因為它只涉及對角矩陣的冪。 在找到線性遞迴序列比如斐波那契數列的項的閉合形式的表達中這是非常有用的。 特定應用 例如，考慮下列矩陣 M begin bmatrix a ba 0 b end bmatrix 計算 M 個各次冪揭示了一個驚人的模式 M2 begin bmatrix a2 b2a2 0 b2 end bmatrixquad M3 begin bmatrix a3 b3a3 0 b3 end bmatrixquad M4 begin bmatrix a4 b4a4 0 b4 end bmatrixquad ldots 上面的現象可以透過對角化 M 來解釋。要如此我們需要由 M 的特徵向量組成的 R2 的基。一個這樣的特徵向量基給出自 mathbf ubegin bmatrix 1 0 end bmatrixmathbf e_1quad mathbf vbegin bmatrix 1 1 end bmatrixmathbf e_1mathbf e_2 這裡的 ei 指示 Rn 的標準基。 逆的基變更給出自 mathbf e_1 mathbf uqquad mathbf e_2 mathbf vmathbf u 直接計算證實 Mmathbf u amathbf uqquad Mmathbf vbmathbf v 所以，a 和 b 是分別是對應於 u 和 v 的特徵值。 根據矩陣乘法的線性，我們有 Mn mathbf u an mathbf uqquad Mn mathbf vbnmathbf v 切換回標準基，我們有 Mn mathbf e_1 Mn mathbf u an mathbf e_1 Mn mathbf e_2 Mn mathbf vmathbf u bn mathbf v anmathbf u bnan mathbf e_1bnmathbf e_2 前面的關係用矩陣形式表達為 Mn begin bmatrix an bnan 0 bn end bmatrix 因此解釋了上述現象。 參見 若爾當標準型 縮放 三角矩陣 外部連結 引用 Roger A Horn and Charles R Johnson Matrix Analysis Chapter 1 Cambridge University Press 1985 ISBN 0521305861 hardback ISBN 0521386322 paperback K