怎么判断一个矩阵正定：四种主流判定方式

怎么判断一个矩阵正定，优先确认矩阵是实对称方阵，这是绝大多数判定方法的前置条件，你可以通过顺序主子式全大于零、特征值全部大于零、存在可逆矩阵分解、二次型恒正这四条路径核验，顺序主子式法适合低阶矩阵手工计算，特征值法适合借助软件求解，分解法适合理论推导，二次型法适合直接根据定义验证，该整套判定规则只适用于实对称方阵，非对称方阵不能直接套用正定判定结论，复数域矩阵需要改用埃尔米特矩阵的正定判定规则。

怎么判断一个矩阵正定：顺序主子式判定

顺序主子式是从矩阵左上角依次截取1阶、2阶直到n阶子方阵算出的行列式，你从一阶开始逐个计算，每一个行列式结果都大于零，矩阵满足正定要求。二阶矩阵$\begin{pmatrix}a&b\\b&c\end{pmatrix}$，一阶主子式就是a，二阶主子式是$ac-b^2$，两项都大于零即可判定正定。三阶矩阵需要依次算出左上角1个元素、左上角2×2子块、完整3×3矩阵的行列式，三个数值全部大于零才成立。这个方法在矩阵阶数超过4阶后手工计算量会明显上升，高阶场景不推荐优先选用。

阶数越高，行列式计算出错概率越高。

怎么判断一个矩阵正定：特征值判定

实对称矩阵一定可以对角化，它所有特征值全部大于零的时候，矩阵正定。你可以写出特征方程$|\lambdaE-A|=0$，求解全部根，只要任意一个特征值小于或者等于零，矩阵就不是正定矩阵。这个判定方式和正定的谱定义直接对应，很多数值计算工具会优先输出特征值结果，适合工程里的矩阵校验。需要区分清楚，半正定矩阵允许特征值等于零，正定不允许出现等于零的特征值。

怎么判断一个矩阵正定：矩阵分解判定

实对称矩阵正定的等价条件是矩阵能够做楚列斯基分解，也就是写成$A=LL^T$的形式，其中L是对角线元素全部大于零的下三角可逆矩阵。你在尝试分解的时候，如果分解过程里出现对角线元素小于等于零，就代表矩阵不满足正定条件。楚列斯基分解同时也是求解线性方程组的常用手段，在有限元、优化计算场景里，这个判定和计算可以合并完成，减少重复运算开销。

怎么判断一个矩阵正定：二次型定义判定

二次型表达式$x^TAx$，对于任意非零实向量x，表达式的计算结果恒大于零，矩阵A正定。这个是正定矩阵最原始的定义，适合做理论证明，直接用来判定具体矩阵时操作成本偏高，很少单独用来验算数值矩阵。你可以构造特定非零向量代入式子，如果算出结果小于等于零，就可以直接否定矩阵正定，适合快速排除不符合条件的矩阵。

非实对称矩阵，哪怕所有顺序主子式都大于零，也不能判定为正定矩阵，正定在实数范围讨论时默认绑定实对称这个前提，很多习题和工程文档不会反复标注这个前提，容易出现误判。

判定结果具备等价性，满足其中一条等价条件，其余几条会同步成立，你只需要挑选适配手头计算条件的一种方法核验，不需要重复全部判定流程。

半正定矩阵的判定条件是顺序主子式大于或等于零、特征值大于或等于零，和正定矩阵存在明确边界区分，不要把两类判定标准混用。