例 4.9

依赖于

被以下题目直接调用

例 4.9

是数域 上的 维线性空间, 上的幂零线性变换,满足 。求证:存在 的一组基,使得 在这组基下的表示矩阵为

解答

证明 由假设存在正整数 ,使得 ,从而存在 ,使得 。由例 4.8 可知, 线性无关,于是 。另一方面,由 Sylvester 不等式(例 3.66)以及 可知,

不断这样讨论下去,最终可得 ,即有 ,从而 。于是 的一组基, 在这组基下的表示矩阵为