例 7.90

依赖于

  • 无显式依赖

被以下题目直接调用

例 7.90

维复线性空间 上的线性变换 在一组基 下的表示矩阵为 Jordan 块 , 求所有的 -不变子空间。

解答

解法 1,则有循环轨道

并且 -不变子空间等价于 -不变子空间。显然 都是 -不变子空间, 我们来证明 只有这 -不变子空间。任取非零 -不变子空间 ,设

。另一方面,取 ,使得 ,则由循环轨道可得

,则 ,于是存在 ,使得 。在上式中代入 并作用在 上可得

于是由循环轨道可得 ,从而

解法 2 任取非零 -不变子空间 ,容易证明限制变换 的特征多项式是 的特征多项式 的因式,不妨设为 ,其中 ,由 Cayley-Hamilton 定理可知 。 任取 ,则

于是 ,从而 。注意到 , 故