例 7.23
依赖于
- 无显式依赖
被以下题目直接调用
例 7.23
设数域 上的 阶矩阵 的不变因子组是 ,其中 是非常数首一多项式, 。求证:对 的任一特征值 ,
其中记号 表示:若 ,取值为 1;若 ,取值为 0。
解答
证法 1 设 ,则 相似于 ,且 。若 ,则 非异;若 ,则 奇异且右上角的 阶子式非零,从而秩为 。因此,
证法 2 由已知存在可逆 -矩阵 ,使得
在上式中令 ,注意到 是 上的可逆矩阵,故 相抵于 ,于是 等于 减去等于零的 的个数,从而结论得证。
例 7.23
设数域 上的 阶矩阵 的不变因子组是 ,其中 是非常数首一多项式, 。求证:对 的任一特征值 ,
其中记号 表示:若 ,取值为 1;若 ,取值为 0。
证法 1 设 ,则 相似于 ,且 。若 ,则 非异;若 ,则 奇异且右上角的 阶子式非零,从而秩为 。因此,
证法 2 由已知存在可逆 -矩阵 ,使得
在上式中令 ,注意到 是 上的可逆矩阵,故 相抵于 ,于是 等于 减去等于零的 的个数,从而结论得证。
评论
支持 Markdown 和 LaTeX 数学公式。