例 9.13
依赖于
被以下题目直接调用
例 9.13
设 是 阶实(复)矩阵,则 可分解为 ,其中 是正交(酉)矩阵, 是一个主对角元全大于等于零的上三角矩阵,并且若 是可逆矩阵,则这样的分解必唯一。
解答
证明 设 是 阶实矩阵, 是 的列分块。考虑 维实列向量空间 ,并取其标准内积,我们先通过类似于 Gram-Schmidt 方法的正交化过程,把 变成一组两两正交的向量 ,并且 或者是零向量或者是单位向量。
我们用数学归纳法来定义上述向量 。假设 已经定义好,现来定义 。令
若 ,则令 ;若 ,则令
容易验证 是一组两两正交的向量, 或者是零向量或者是单位向量, 并且满足:
由上式可得
其中 是一个上三角矩阵且主对角元依次为 ,全大于等于零, 并且由 (9.5) 式可知,如果 ,则 的第 行元素全为零。
假设 是其中的非零向量全体,则可将它们扩张为 的一组标准正交基 , 其中 。令 ,则 是正交矩阵。 注意到若 ,则 的第 行元素全为零,此时用 代替 仍然可使 (9.6) 式成立,因此
从而得到了 的 分解。
若可逆实矩阵 有两个 分解 ,则 。因为正交矩阵的逆矩阵和乘积仍是正交矩阵,上三角矩阵的逆矩阵和乘积仍是上三角矩阵, 故 是正交上三角矩阵,从而是正交对角矩阵。又因为正交对角矩阵的主对角元只能是 或 ,且 的主对角元全大于零,故 , 从而 ,,分解唯一性得证。复矩阵情形的证明完全类似。
例 8.12 和例 8.78 证明下列关于 阶实对称矩阵 的命题等价:
(1) 是正定阵(半正定阵);
(2) 存在主对角元全等于 的上三角矩阵 和主对角元全为正数(非负实数)的对角矩阵 , 使得 ;
(3) 存在主对角元全为正数(非负实数)的上三角矩阵 ,使得 。
证法 2 因为半正定阵 是正定阵当且仅当 是可逆矩阵,所以由可逆性和例 8.78 的结论很容易推出例 8.12 的结论, 下面只证明例 8.78。
(1) (3),(2):因为 半正定,故存在实矩阵 ,使得 。设 是 分解,其中 是正交矩阵, 是主对角元全大于等于零的上三角矩阵,则
由例 9.13 的证明可知,若 的第 元素 ,则 的第 行元素全为零。 令
且 定义为:若 ,则
若 ,则 ,其中 是 Kronecker 符号。 容易验证 是主对角元全等于 的上三角矩阵且 。
(2) (1) 和 (3) (1) 都是显然的。
评论
支持 Markdown 和 LaTeX 数学公式。