例 7.73
依赖于
- 无显式依赖
被以下题目直接调用
例 7.73
设 为 阶复矩阵,证明:存在 阶复对称矩阵 ,使得 , 并且可以指定 中任何一个为可逆矩阵。
解答
证明 设 为非异阵,使得
为 的 Jordan 标准型。考虑 Jordan 块 的如下两种分解:
其中 是 阶反对角单位矩阵,, 。这三个矩阵 都是对称矩阵,并且 是可逆矩阵。 如果一开始选定 为可逆矩阵,则利用 (7.14) 式的分解;如果一开始选定 为可逆矩阵, 则利用 (7.13) 式的分解。以下不妨设定 为可逆矩阵,令
则有 ,其中 都是对称矩阵,并且 是可逆矩阵。因此,我们有
令 ,,则 即为所求分解。
评论
支持 Markdown 和 LaTeX 数学公式。