例 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) 都是显然的。