例 9.85

依赖于

被以下题目直接调用

例 9.85

阶复矩阵,求证:存在 阶酉矩阵 ,使得 是上三角矩阵。

解答

证明例 6.39 可知,存在可逆矩阵 ,使得 是上三角矩阵。 又由例 9.13 可知,存在酉矩阵 和上三角矩阵 ,使得 ,于是

因为上三角矩阵的逆阵是上三角矩阵,上三角矩阵的乘积是上三角矩阵,故 仍是上三角矩阵,从而 是上三角矩阵。