例 9.125

依赖于

被以下题目直接调用

例 9.125

是两个 阶实正规矩阵且 ,求证:存在正交矩阵 ,使得 同时为正交相似标准型。

解答

证明 同上可将 看成是 维列向量空间(取标准内积)上的线性变换。对维数 进行归纳。 当 时表示归纳过程已经结束,当 时结论显然成立。假设对维数小于 的空间结论成立, 现考虑 维空间的情形。因为 ,所以 有公共的特征向量,但未必是实向量。 如果是实向量,可设它的长度为 ,记之为 。由于 都是正规算子,故由例 9.28 可知, 也是 的特征向量,从而由例 9.26 可知, 的不变子空间,并且线性变换 限制在 上仍为乘法可交换的正规算子, 从而由归纳假设即得结论。因此我们只需讨论复特征向量的情形。设这个公共的特征向量为 ,其中 都是实向量,再设

例 9.86 的证明过程及其结论,我们可得

并且 。不妨假设 是单位向量,于是在二维子空间 上,线性变换 在标准正交基 下的表示矩阵分别为

,因为 也是 的不变子空间,故由例 9.26 可知, 的不变子空间,并且线性变换 限制在 上仍为乘法可交换的正规算子。 由归纳假设,存在 的一组标准正交基 ,使得 在这组基下的表示矩阵同时为正交相似标准型。 令 ,则 在标准正交基 下的表示矩阵同时为正交相似标准型。