例 8.78

依赖于

被以下题目直接调用

例 8.78

证明下列关于 阶实对称矩阵 的命题等价:

(1) 是半正定阵;

(2) 存在主对角元全等于 的上三角矩阵 和主对角元全为非负实数的对角矩阵 , 使得

(3) 存在主对角元全为非负实数的上三角矩阵 ,使得

解答

证明 (1) (2):只要证明存在主对角元全为 1 的上三角矩阵 ,使得 是半正定对角矩阵即可。因为一旦得证, 也是主对角元全为 1 的上三角矩阵, 并且 。对阶数 进行归纳,当 时结论显然成立。假设对 阶半正定阵结论成立, 现证明 阶半正定阵的情形。设

其中 阶矩阵, 维列向量。因为 半正定,所以 阶半正定阵,并且由例 8.75 可得 , 故由线性方程组的求解理论可知,存在 维列向量 ,使得 。 考虑如下对称分块初等变换:

的半正定性可得 。再由归纳假设,存在主对角元全为 1 的 阶上三角矩阵 ,使得 阶半正定对角矩阵。 令

是一个主对角元全为 1 的 阶上三角矩阵,使得

阶半正定对角矩阵。

(2) (3):设 ,令

,则 。显然 是主对角元全为非负实数的上三角矩阵。

(3) (1):由 可知 为半正定阵。