主题
Search

正定矩阵


一个 n×n 复矩阵 A 被称为正定矩阵,如果

 R[x^*Ax]>0
(1)

对于所有非零复向量 x in C^n,其中 x^* 表示 共轭转置向量 x 的共轭转置。 在 实矩阵 A 的情况下,方程 (1) 简化为

 x^(T)Ax>0,
(2)

其中 x^(T) 表示 转置。 正定矩阵在各种应用中都具有理论和计算上的重要性。 例如,它们被用于优化算法和各种 线性回归 模型的构建中 (Johnson 1970)。

可以使用 Wolfram 语言 测试矩阵 m 是否为正定矩阵,使用PositiveDefiniteMatrixQ[m].

具有正定矩阵的线性方程组可以使用所谓的 Cholesky 分解 有效地求解。 正定矩阵至少有一个矩阵平方根。 此外,其矩阵平方根中恰好有一个本身是正定的。

一个 复矩阵 A 为正定矩阵的必要充分条件是其 Hermitian 部分

 A_H=1/2(A+A^(H)),
(3)

其中 A^(H) 表示 共轭转置,为正定矩阵。 这意味着 实矩阵 A 是正定矩阵当且仅当其 对称部分

 A_S=1/2(A+A^(T)),
(4)

其中 A^(T)转置,为正定矩阵 (Johnson 1970)。

容易混淆的是,正定矩阵的讨论通常仅限于 Hermitian 矩阵,或者在实矩阵的情况下仅限于对称矩阵(Pease 1965, Johnson 1970, Marcus and Minc 1988, p. 182; Marcus and Minc 1992, p. 69; Golub and Van Loan 1996, p. 140)。 Hermitian(或对称)矩阵是正定矩阵当且仅当其所有特征值均为正数。 因此,一般的复(或实)矩阵是正定的,当且仅当其 Hermitian(或对称)部分具有所有正特征值

正定矩阵的行列式始终为正数,因此正定矩阵始终是非奇异的。

如果 AB 是正定矩阵,则 A+B 也是正定矩阵。 正定矩阵的矩阵逆也是正定的。

正定性的定义等价于要求与所有左上子矩阵相关的行列式都是正数

以下是 Hermitian 矩阵 A (根据定义,它具有实对角元素 a_(ii))为正定矩阵的必要(但非充分)条件。

1. a_(ii)>0 对于所有 i

2. a_(ii)+a_(jj)>2|R[a_(ij)]| 对于 i!=j

3. 绝对值最大的元素位于主对角线上,

4. det(A)>0.

这里,R[z]z实部,并且 Gradshteyn 和 Ryzhik (2000, p. 1063) 中的一个排版错误已在项目 (ii) 中更正。

一个 对称矩阵 A 是正定的 当且仅当 存在一个 非奇异矩阵 M 使得

 A=MM^(T),
(5)

其中 M^(T)转置 (Ayres 1962, p. 134)。 特别是,一个 2×2 对称矩阵

 [a b; b c]
(6)

是正定的,如果

 av_1^2+2bv_1v_2+cv_2^2>0
(7)

对于所有 v=(v_1,v_2)!=0

给定类型的正定 n×n 矩阵的数量总结在下表中。 例如,三个正定 2×2 (0,1)-矩阵

 [1 0; 0 1],[1 0; 1 1],[1 1; 0 1],
(8)

所有这些矩阵的特征值都为 1,且简并度为 2。

矩阵类型OEIS计数
(0,1)-矩阵A0856561, 3, 27, 681, 43369, ...
(-1,1)-矩阵A0061251, 2, 8, 64, 1024, ...
(-1,0,1)-矩阵A0862151, 7, 311, 79505, ...

另请参阅

行列式, 特征值, Hermitian 矩阵, 矩阵, 负定矩阵, 负半定矩阵, 正特征值矩阵, 正矩阵, 正半定矩阵, 西尔维斯特准则

使用 Wolfram|Alpha 探索

参考文献

Ayres, F. Jr. Schaum's Outline of Theory and Problems of Matrices. New York: Schaum, p. 134, 1962.Golub, G. H. and Van Loan, C. F. "Positive Definite Systems." §4.2 in Matrix Computations, 3rd ed. Baltimore, MD: Johns Hopkins University Press, pp. 140-141, 1996.Gradshteyn, I. S. and Ryzhik, I. M. Tables of Integrals, Series, and Products, 6th ed. San Diego, CA: Academic Press, p. 1106, 2000.Johnson, C. R. "Positive Definite Matrices." Amer. Math. Monthly 77, 259-264 1970.Lindell, I. V. Methods for Electromagnetic Field Analysis. New York: Clarendon Press, 1992.Marcus, M. and Minc, H. Introduction to Linear Algebra. New York: Dover, p. 182, 1988.Marcus, M. and Minc, H. "Positive Definite Matrices." §4.12 in A Survey of Matrix Theory and Matrix Inequalities. New York: Dover, p. 69, 1992.Pease, M. C. Methods of Matrix Algebra. New York: Academic Press, 1965.Sloane, N. J. A. Sequences A006125, A085656, and A086215 in "The On-Line Encyclopedia of Integer Sequences."

在 Wolfram|Alpha 中被引用

正定矩阵

请引用为

Weisstein, Eric W. "正定矩阵。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/PositiveDefiniteMatrix.html

主题分类