例 7.73

依赖于

  • 无显式依赖

被以下题目直接调用

例 7.73

阶复矩阵,证明:存在 阶复对称矩阵 ,使得 , 并且可以指定 中任何一个为可逆矩阵。

解答

证明 为非异阵,使得

的 Jordan 标准型。考虑 Jordan 块 的如下两种分解:

其中 阶反对角单位矩阵,。这三个矩阵 都是对称矩阵,并且 是可逆矩阵。 如果一开始选定 为可逆矩阵,则利用 (7.14) 式的分解;如果一开始选定 为可逆矩阵, 则利用 (7.13) 式的分解。以下不妨设定 为可逆矩阵,令

则有 ,其中 都是对称矩阵,并且 是可逆矩阵。因此,我们有

,则 即为所求分解。