例 7.32

依赖于

被以下题目直接调用

例 7.32

阶矩阵 的秩等于 是同阶非零矩阵且 , 求证:存在次数不超过 的多项式 ,使得

解答

证法 1 由于题目的条件和结论在同时相似变换 下保持不变,故不妨从一开始就假设 为 Jordan 标准型。因为 ,故 关于特征值 的几何重数为 ,从而属于特征值 的 Jordan 块只有一个,记为 ;将属于其他非零特征值的 Jordan 块合在一起,记为 ,于是 。设

为相应的分块,则由 可得 都是零矩阵,于是 。由于 是幂零矩阵而 是可逆矩阵,故 的特征多项式 的特征多项式 互素;又由例 7.29 可知,存在多项式 ,使得 ;再取 ,则 ;最后由例 7.31 即得结论。

证法 2 也可以用线性方程组的求解理论和极小多项式来做。由于 ,故线性方程组 解空间的维数为 ,再由 可知, 的列向量都是解空间的向量, 从而它们成比例,于是 。设 ,其中 维非零列向量,由 可推出 ,即 是线性方程组 的基础解系;同理,由 可推出 的基础解系。设 的极小多项式,由于 不是可逆矩阵,故 的常数项等于零, 即 ,于是 。由类似于矩阵 的讨论可得, 也可以写为 ,其中 的解,故 。同理可得 ,于是 ,从而 可表示为 的次数不超过 的多项式。