高等代数§8.7 矩阵的有理标准形高等代数§8.7 矩阵的有理标准形.pptVIP

二、矩阵的有理标准形 设 ，而 为它的不变因 子，证明： * * §8.7 矩阵的有理标准形 主讲:向大晶 §7 矩阵的有理标准形 一、多项式的伴侣矩阵 Definition 对数域 上的一个多项式 称矩阵 为多项式 的伴侣阵。 Proposition 一般地: 已知一个矩阵,对于它的每一个非常数不变因子,都能求出其伴侣阵. Remark 以上命题表明，给定一个 次多项式 ,一定有一个 阶矩阵,它的特征 矩阵只有一个非常数的不变因子 . 的伴侣阵 的不变因子为 于是 Method 设 是 阶方阵,其特征矩阵 中非常数 的不变因子有 个: 因而有 令 作 阶矩阵 其中 Theorem 相似于 。 Corollary Definition 称定理中的 为矩阵 的有理 标准形。 矩阵 是数量矩阵的充分必要条件是它的特征矩阵的不变因子都是非常数。 Theorem Theorem 数域 上 方阵 在上相似于唯一的一个有理标准形，称为 的有理标准形. 数域 上 方阵 在上相似于唯一的一个有理标准形，称为 的有理标准形. 数域 上 方阵 在上相似于唯一的一个有理标准形，称为 的有理标准形. 设 是数域 上 维线性空间 的线性变换， 则在 中存在一组基，使 在该基下的矩 阵是有理标准形，并且这个有理标准形 由 唯一决定的，称为 的有理标准形. Example 求 的有理标准形。 Ans. Solution 容易看出 故， 的有理标准形为 返回 习题1 习题2 设 ，则 为数量矩阵的充分必要条件是它 的特征矩阵 的 阶行列式因子 是 次的。 习题3 证明：对任何 矩阵 ，恒有 习题4 是 的一个特征值， 是 的不变因子，证明： 的秩等于 而