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