例 9.113

依赖于

被以下题目直接调用

例 9.113

维内积空间 上的正规算子, 的不变子空间。求证: 也是 的不变子空间,从而 上的限制仍然是一个正规算子。

解答

证法 1 我们对欧氏空间和酉空间分别进行证明。先假设 是酉空间,我们对不变子空间 的维数 进行归纳。 当 时, 是一维子空间,可以由一个向量 生成,显然 的特征向量, 由例 9.28 可知, 也是 的特征向量,从而 也是 的不变子空间。 假设对 维不变子空间结论成立,现设 维不变子空间,将 限制在 上, 设 的特征值, 是对应的特征向量。令 ,则由例 9.28 可知, 既是 的不变子空间,也是 的不变子空间,再由例 9.26 可知, 也是 的不变子空间。令 ,则易证 维不变子空间。由归纳假设, 的不变子空间,于是 也是 的不变子空间。至此我们对酉空间证明了结论。

再假设 是欧氏空间,我们也对 的维数 进行归纳。当 时表示归纳过程已经结束。 当 时,类似于酉空间的情形同理可证明。假设对小于 维的不变子空间结论成立,现设 维不变子空间。取 的标准正交基组成 的基, 在此基下的表示矩阵为

是正规矩阵。我们将 等同于 (取标准内积), 等同于 (看成是 的子空间,后 个分量全为零),将 等同于 等同于 。若 有实特征值,则类似于酉空间的情形用归纳假设即得结论。 以下假设 没有实特征值,并设 是其虚特征值, 是对应的特征向量,注意到它们也是 的虚特征值和虚特征向量,故由例 9.86 可知, 作为 的二维子空间,既是 的不变子空间,也是 的不变子空间,再由例 9.26 可知, 也是 的不变子空间。令 ,则易证 维不变子空间。由归纳假设, 的不变子空间,于是 也是 的不变子空间。 至此我们对欧氏空间也证明了结论。

证法 2 我们只对欧氏空间证明,酉空间的证明类似。取 的标准正交基组成 的基, 在此基下的表示矩阵为

是正规矩阵,故由例 9.89 可知 。又 的表示矩阵为 ,故 也是 的不变子空间。

特别地,可将 限制在 上,并且容易验证 仍是 的伴随,故由 可知 仍是正规算子。