例 7.93

依赖于

被以下题目直接调用

例 7.93

是数域 上的 阶矩阵,求证: 相似于 , 其中 上的幂零矩阵, 上的可逆矩阵。

\par分析 本题是例 7.65 的推广,即将复数域上的结论推广到数域 上。不过,例 7.65 的证明利用了 Jordan 标准型理论,显然在数域 上不再适用。通常当我们考虑线性变换的问题时,数域都是事先给定的, 从而在讨论的过程中不会涉及数域的问题。因此我们可用第一种方法来处理本题,即把代数问题转化成几何问题, 然后再用线性变换理论加以解决。本题的几何版本为:设 是数域 上的 维线性空间, 上的线性变换,证明:,其中 都是 -不变子空间,且 是幂零线性变换, 是可逆线性变换。 我们可用两种几何方法来证明这一结论。

解答

证法 1 的特征多项式为 ,其中 。注意到 ,故由例 6.94 可知, ,其中 ,并且 的特征多项式是 的特征多项式是 。因此, 是幂零线性变换, 且由 的行列式值为 可知, 是可逆线性变换。

证法 2例 4.35 可知,存在整数 ,使得

, 则 。因为 ,所以 适合多项式 ,从而它是幂零线性变换。因为 的像空间是

,所以 是满映射,从而它是可逆线性变换。