实对称半正定矩阵的一个判别定理

业已熟知:实对称矩阵为半正定的充要条件是其所有主子式均非负,这里我们再给出个判别实对称矩阵为半正定的新判别法。定理实对称矩阵A为半正定的充要条件是其任意一个阶数最高的非奇异主子矩阵为正定矩阵。证明充分性。设A的某一阶数最高的非奇异主子矩阵A_(r×r)=A 存在矩阵p_1使p′_1AP_1=则 (P_1P_2)′A(P_1P_2)=P_2~1其中,D=C-B′A_(r×r)~(-1)B。易证D=0. ∵A_(r×r)为正定矩阵∴A_(r×r) 从而∴A为半正定矩阵。至于必要性的证明可仿上,略之。证毕。