在线性代数中,实正定矩阵(positive defined matrix)是一类特殊的矩阵,关于复数域上的正定矩阵,参看复正定矩阵。
定义[]
称阶方阵是实正定矩阵,如果存在可逆矩阵,使得(合同于单位阵);同样,称阶方阵是实负定矩阵,如果存在可逆矩阵,使得。
注意:在我们这种定义下实正定矩阵的先决条件一定是对称矩阵,有的教材会使用所有个特征根都是正的这一性质定义,二者在对称情形下是等价的,但是为了更广泛的应用(例如实二次型的表示矩阵),我们依然认为正定矩阵实在对称矩阵的前提下定义的,非对称的正定矩阵不仅没有实际价值,还会导致很多问题的唯一性质出现问题(例如二次型的表示矩阵可以有多种非对称的矩阵表示,他们之间是相似等价的)。
等价刻画[]
阶方阵是实正定矩阵,除了定义之外,这一命题还有以下等价表述
- 的所有个特征根都是正的;
- 的所有顺序主子式都大于零;
- 的所有主子式都大于零;
- 实二次型是正定的;
- 存在主对角线元素全为正数的三角阵,使;
- 存在实矩阵,,使。
性质[]
以下设是阶实正定矩阵:
- 实正定矩阵一定是对称矩阵;
- ,且是正定的;
- 若,那么是正定的;
- 阶方阵正定当且仅当的个特征根都是正的;
- 正定当且仅当;
- ,等号取到当且仅当为对角阵;
- 正定。
此外还有如下性质
- 准对角矩阵正定当且仅当均正定;
- 如果正定,那么存在正定矩阵以及正整数,使得;
- 设是实对称矩阵,当实数充分大时,正定。
- 设是实对称正定矩阵,是实反对称矩阵,那么
极分解[]
任何一个可逆实矩阵都可以分解为一个正定矩阵与正交矩阵的乘积,这就是矩阵的极分解。
广义正定矩阵[]
也叫 Hermite 正定矩阵,参见复正定矩阵,设,若(是一个 Hermite 矩阵),,,那么称是广义正定矩阵,我们可以像正定矩阵那样建立上述等价刻画以及相应的性质。
上下节[]
参考资料
- 郭聿琦, 岑嘉评, 王正攀, 《高等代数教程》, 科学出版社, 北京, 2014-07, ISBN
978-7-0304-0417-6
.
线性代数(学科代码:1102110,GB/T 13745—2009) | |
---|---|
矩阵 | 矩阵的转置 ▪ 矩阵的逆 ▪ 对角矩阵 ▪ 初等矩阵 ▪ 等价标准型 ▪ 分块矩阵 ▪ 伴随矩阵 ▪ 酉矩阵(正交矩阵) ▪ Hermite 矩阵(实对称矩阵) ▪ 正规矩阵(实正规矩阵) ▪ 幂等矩阵 ▪ 幂零矩阵 ▪ 对合矩阵 ▪ 秩一矩阵 >>另参见数值分析<< |
行列式 | Vandermonde 行列式 ▪ 行列式的展开 ▪ Laplace 展开 ▪ 三角行列式 ▪ 三对角行列式 ▪ 行列式的计算 ▪ 析因子法 |
向量组理论 | 向量组 ▪ 替换定理 ▪ 矩阵的秩 ▪ 矩阵的迹 |
线性方程组 | Cramer 法则 ▪ 基础解系(解的结构)>>另参见数值分析<< |
线性空间和内积空间 | 线性空间的维数和基底 ▪ 线性空间的坐标变换 ▪ 线性空间的同构 ▪ 线性子空间 ▪ 线性空间的直和 ▪ 维数公式 ▪ 线性空间上的线性函数 ▪ 双线性函数 ▪ 对称双线性度量空间 ▪ 正交补空间 ▪ 内积 ▪ Euclid 空间 ▪ 向量到子空间的距离 ▪ 最小二乘法 ▪ Gram-Schmidt 正交化 |
线性变换 | 线性映射 ▪ 线性变换 ▪ 线性变换的运算 ▪ 自同构变换 ▪ 线性变换的特征值和特征向量 ▪ 特征子空间 ▪ 特征多项式 ▪ 零化多项式 ▪ 最小多项式 ▪ 关联矩阵的特征根 ▪ 线性空间的直和分解 ▪ 幂等线性变换 ▪ 正交变换 ▪ 正定矩阵 ▪ 半正定矩阵 |
矩阵标准型 | 相似标准型 ▪ λ-矩阵 ▪ 数字矩阵的特征矩阵 ▪ Frobenius 标准形 ▪ Jacobson 标准形 ▪ Jordan 标准形 |
二次型理论 | 二次型(实二次型) ▪ 二次型的化简 ▪ 正定二次型 ▪ 一对实二次型同时化简 |
所在位置:数学(110)→ 代数学(11021)→ 线性代数(1102110) |