例 7.89
依赖于
被以下题目直接调用
- 无
例 7.89
设 是 维复线性空间 上的幂零线性变换,证明:存在 的一组基,使得 在这组基下的表示矩阵为
其中 是零特征值的 阶 Jordan 块。
解答
证明 对 进行归纳。当 时,结论显然成立。设维数小于 时结论成立,现证 维的情形。 设 为正整数,使得 ,但 ,故存在 ,使得 。由例 4.8 可知, 线性无关, 它们生成的子空间记为 。若 ,则 在基 下的表示矩阵为 ,结论成立。 以下假设 ,并且 是满足 的维数最大的 -不变子空间,我们来证明 。一旦得证,对 用归纳假设,命题自然成立。用反证法,假设存在 中向量 ,因为 ,所以存在正整数 ,使得 ,但 。令 ,因为 ,故可设 ,其中 ,于是
从而 ,即有 。 因为 ,故可设
从而有 。由于 ,故 ,于是
若令 ,则 , 从而 。因为 ,故 ,从而有直和 。若令 ,则由 可知 也是 -不变子空间。显然 的维数大于 的维数,这与 维数最大的假设矛盾。
评论
支持 Markdown 和 LaTeX 数学公式。