对角优势矩阵

对角占优矩阵是指一矩陣的每一橫行，對角線上元素的大小大於或等於同一橫行其他元素大小的和，一矩陣A為对角占优矩阵若 | a i i | ≥ ∑ j ≠ i | a i j | for all  i , {\displaystyle |a_{ii}|\geq \sum _{j\neq i}|a_{ij}|\quad {\text{for all }}i,\,} 其中aij為第i行第j列的元素。 上述的定義中用到大於等於，其條件較鬆，因此有時會稱為弱对角占优矩阵，若上述的定義用大於代替大於等於，則稱為強对角占优矩阵。对角优势矩阵可以指弱对角占优矩阵，也可以指強对角占优矩阵，視上下文而定。 第一段的定義是考慮同一橫行其他元素大小的和，有時也稱為行对角优势矩阵，若是考慮同一直列其他元素大小的和，則稱為列对角优势矩阵。 若一不可约（英语：irreducible (mathematics)）矩阵是弱对角优势矩陣，但至少一橫行（或一直列）符合強对角优势的條件，則此矩陣稱為不可约对角优势矩阵。 矩陣 A = [ 3 − 2 1 1 − 3 2 − 1 2 4 ] {\displaystyle \mathbf {A} ={\begin{bmatrix}3&-2&1\\1&-3&2\\-1&2&4\end{bmatrix}}} 可得 | a 11 | ≥ | a 12 | + | a 13 | {\displaystyle |a_{11}|\geq |a_{12}|+|a_{13}|}   因為  | 3 | ≥ | − 2 | + | 1 | {\displaystyle |3|\geq |-2|+|1|} | a 22 | ≥ | a 21 | + | a 23 | {\displaystyle |a_{22}|\geq |a_{21}|+|a_{23}|}   因為  | − 3 | ≥ | 1 | + | 2 | {\displaystyle |-3|\geq |1|+|2|} | a 33 | ≥ | a 31 | + | a 32 | {\displaystyle |a_{33}|\geq |a_{31}|+|a_{32}|}   因為  | 4 | ≥ | − 1 | + | 2 | {\displaystyle |4|\geq |-1|+|2|} . 因為任一對角線元素大小都大於等於同一行其他元素的和，因此A為对角优势矩阵。 矩陣 B = [ − 2 2 1 1 3 2 1 − 2 0 ] {\displaystyle \mathbf {B} ={\begin{bmatrix}-2&2&1\\1&3&2\\1&-2&0\end{bmatrix}}} 但是 | b 11 | < | b 12 | + | b 13 | {\displaystyle |b_{11}|<|b_{12}|+|b_{13}|}   因為  | − 2 | < | 2 | + | 1 | {\displaystyle |-2|<|2|+|1|} | b 22 | ≥ | b 21 | + | b 23 | {\displaystyle |b_{22}|\geq |b_{21}|+|b_{23}|}   因為  | 3 | ≥ | 1 | + | 2 | {\displaystyle |3|\geq |1|+|2|} | b 33 | < | b 31 | + | b 32 | {\displaystyle |b_{33}|<|b_{31}|+|b_{32}|}   因為  | 0 | < | 1 | + | − 2 | {\displaystyle |0|<|1|+|-2|} . 因為 | b 11 | {\displaystyle |b_{11}|} 和 | b 33 | {\displaystyle |b_{33}|} 都小於同一列其他元素大小的和，因此B不是对角优势矩阵。 矩陣 C = [ − 4 2 1 1 6 2 1 − 2 5 ] {\displaystyle \mathbf {C} ={\begin{bmatrix}-4&2&1\\1&6&2\\1&-2&5\end{bmatrix}}} 可得 | c 11 | ≥ | c 12 | + | c 13 | {\displaystyle |c_{11}|\geq |c_{12}|+|c_{13}|}   因為  | − 4 | > | 2 | + | 1 | {\displaystyle |-4|>|2|+|1|} | c 22 | ≥ | c 21 | + | c 23 | {\displaystyle |c_{22}|\geq |c_{21}|+|c_{23}|}   因為  | 6 | > | 1 | + | 2 | {\displaystyle |6|>|1|+|2|} | c 33 | ≥ | c 31 | + | c 32 | {\displaystyle |c_{33}|\geq |c_{31}|+|c_{32}|}   因為  | 5 | > | 1 | + | − 2 | {\displaystyle |5|>|1|+|-2|} . 因為任一對角線元素大小都大於同一行其他元素的和，因此C為強对角优势矩阵。 強对角优势矩阵（或不可约对角优势矩阵）是非奇異方陣，此結果即為Levy–Desplanques定理，針對強对角优势矩阵的結果，可以用Gershgorin圆定理（英语：Gershgorin circle theorem）證明。 若埃爾米特对角优势矩阵 A {\displaystyle A} ，其對角線為非負值，即為正定矩陣。 若不考慮對稱性的條件，上述的矩陣不一定會是半正定矩陣。（例如， [ − 5 2 1 ] [ 1 1 0 1 1 0 1 0 1 ] [ − 5 2 1 ] = 10 − 5 5 < 0 {\displaystyle {\begin{bmatrix}-{\sqrt {5}}&2&1\end{bmatrix}}{\begin{bmatrix}1&1&0\\1&1&0\\1&0&1\end{bmatrix}}{\begin{bmatrix}-{\sqrt {5}}\\2\\1\end{bmatrix}}=10-5{\sqrt {5}}<0} ），但其特徵值的實部為非負數（參見对角优势矩阵的結果，可以用Gershgorin圆定理（英语：Gershgorin circle theorem）。） 類似的，若埃爾米特強对角优势矩阵的對角線元素為正，此矩陣為正定矩陣，此矩陣等於某個對角線元素為非負值實數的埃爾米特強对角优势矩阵 A {\displaystyle A} 加上 x I {\displaystyle xI} ，其中 x {\displaystyle x} 為正的實數（也是正定矩陣）。 若高斯消去法（LU分解）的矩陣為強对角优势矩阵，不需要進行尋找主元的過程。 若一線性聯立方程的矩陣為強对角优势矩阵或不可约对角优势矩阵，利用雅可比法及高斯-賽德爾迭代的計算結果會收斂。 許多從有限元素法中產生的矩陣都是对角优势矩阵。 For instance, Horn and Johnson (1985, p. 349) use it to mean weak diagonal dominance. Horn and Johnson, Thm 6.2.27. Horn and Johnson, Thm 6.1.10. This result has been independently rediscovered dozens of times. A few notable ones are Lévy (1881), Desplanques (1886), Minkowski (1900), Hadamard (1903), Schur, Markov (1908), Rohrbach (1931), Gershgorin (1931), Artin (1932), Ostrowski (1937), and Furtwängler (1936). For a history of this "recurring theorem" see: Taussky, Olga. A recurring theorem on determinants. American Mathematical Monthly (The American Mathematical Monthly, Vol. 56, No. 10). 1949, 56 (10): 672–676. JSTOR 2305561. doi:10.2307/2305561.  Another useful history is in: Schneider, Hans. Olga Taussky-Todd's influence on matrix theory and matrix theorists. Linear and Multilinear Algebra. 1977, 5 (3): 197–224. doi:10.1080/03081087708817197.  Gene H. Golub & Charles F. Van Loan. Matrix Computations, 1996. ISBN 0-8018-5414-8 Roger A. Horn & Charles R. Johnson. Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2 (paperback). PlanetMath: Diagonal dominance definition （页面存档备份，存于互联网档案馆） PlanetMath: Properties of diagonally dominant matrices （页面存档备份，存于互联网档案馆） Mathworld （页面存档备份，存于互联网档案馆）