例 8.78
依赖于
被以下题目直接调用
例 8.78
证明下列关于 阶实对称矩阵 的命题等价:
(1) 是半正定阵;
(2) 存在主对角元全等于 的上三角矩阵 和主对角元全为非负实数的对角矩阵 , 使得 ;
(3) 存在主对角元全为非负实数的上三角矩阵 ,使得 。
解答
证明 (1) (2):只要证明存在主对角元全为 1 的上三角矩阵 ,使得 是半正定对角矩阵即可。因为一旦得证, 也是主对角元全为 1 的上三角矩阵, 并且 。对阶数 进行归纳,当 时结论显然成立。假设对 阶半正定阵结论成立, 现证明 阶半正定阵的情形。设
其中 是 阶矩阵, 是 维列向量。因为 半正定,所以 是 阶半正定阵,并且由例 8.75 可得 , 故由线性方程组的求解理论可知,存在 维列向量 ,使得 。 考虑如下对称分块初等变换:
由 的半正定性可得 。再由归纳假设,存在主对角元全为 1 的 阶上三角矩阵 ,使得 是 阶半正定对角矩阵。 令
则 是一个主对角元全为 1 的 阶上三角矩阵,使得
是 阶半正定对角矩阵。
(2) (3):设 ,令 ,
设 ,则 。显然 是主对角元全为非负实数的上三角矩阵。
(3) (1):由 可知 为半正定阵。
评论
支持 Markdown 和 LaTeX 数学公式。