例 9.113
依赖于
被以下题目直接调用
- 无
例 9.113
设 是 维内积空间 上的正规算子, 是 的不变子空间。求证: 也是 的不变子空间,从而 在 上的限制仍然是一个正规算子。
解答
证法 1 我们对欧氏空间和酉空间分别进行证明。先假设 是酉空间,我们对不变子空间 的维数 进行归纳。 当 时, 是一维子空间,可以由一个向量 生成,显然 是 的特征向量, 由例 9.28 可知, 也是 的特征向量,从而 也是 的不变子空间。 假设对 维不变子空间结论成立,现设 是 维不变子空间,将 限制在 上, 设 是 的特征值, 是对应的特征向量。令 ,则由例 9.28 可知, 既是 的不变子空间,也是 的不变子空间,再由例 9.26 可知, 也是 和 的不变子空间。令 ,则易证 且 是 的 维不变子空间。由归纳假设, 是 的不变子空间,于是 也是 的不变子空间。至此我们对酉空间证明了结论。
再假设 是欧氏空间,我们也对 的维数 进行归纳。当 时表示归纳过程已经结束。 当 时,类似于酉空间的情形同理可证明。假设对小于 维的不变子空间结论成立,现设 是 维不变子空间。取 和 的标准正交基组成 的基, 在此基下的表示矩阵为
是正规矩阵。我们将 等同于 (取标准内积), 等同于 (看成是 的子空间,后 个分量全为零),将 等同于 , 等同于 。若 有实特征值,则类似于酉空间的情形用归纳假设即得结论。 以下假设 没有实特征值,并设 是其虚特征值, 是对应的特征向量,注意到它们也是 的虚特征值和虚特征向量,故由例 9.86 可知, 作为 的二维子空间,既是 的不变子空间,也是 的不变子空间,再由例 9.26 可知, 也是 和 的不变子空间。令 ,则易证 且 是 的 维不变子空间。由归纳假设, 是 的不变子空间,于是 也是 的不变子空间。 至此我们对欧氏空间也证明了结论。
证法 2 我们只对欧氏空间证明,酉空间的证明类似。取 和 的标准正交基组成 的基, 在此基下的表示矩阵为
是正规矩阵,故由例 9.89 可知 。又 的表示矩阵为 ,故 也是 的不变子空间。
特别地,可将 和 限制在 上,并且容易验证 仍是 的伴随,故由 可知 仍是正规算子。
评论
支持 Markdown 和 LaTeX 数学公式。