例 9.108

依赖于

  • 无显式依赖

被以下题目直接调用

例 9.108

维欧氏空间 上的正规算子,其极小多项式为 ,其中 ,求证: 上的自同构且

解答

证明 只要证明 即可。设 的某组标准正交基下的 表示矩阵为正交相似标准型

其中 都是实数并且 。因为 的极小多项式为 ,所以在上述分块矩阵中没有一阶的块,并且每个二阶的块都等于

(也可以直接引用教材 [1] 中的定理 9.7.2 得到这一结论), 从而 在这组基下的表示矩阵为

因为 ,所以