第七节矩阵的有理标准形.pptVIP

主要内容 第七节 矩阵的有理标准形 定义 有理标准形的不变因子 举例 矩阵的有理标准形 一、定义 前一节中证明了复数域上任一矩阵 A 可相似 于一个若尔当形矩阵. 这一节将对任意数域 P 来讨 论类似的问题. 我们证明了 P 上任一矩阵必相似于 一个有理标准形矩阵. 定义 8 对数域 P 上的一个多项式 d(?) = ?n + a1?n-1 + … + an , 称矩阵 为多项式 d(?) 的伴侣阵. 容易验证，A 的不变因子(即?E - A的不变因子) 是 1 , 1 , … , 1 , d(?) . n - 1 个 定义 9 下列准对角矩阵 其中 Ai 分别是数域 P 上某些多项式 di(?) ( i = 1, 2, … , s) 的伴侣阵，且满足 d1(?) | d2(?) | … | ds(?) , 就称 A 为 P 上的一个有理标准形矩阵. 二、有理标准形的不变因子 引理 (2) 中矩阵 A 的不变因子为 1, 1, … , d1(?) , d2(?) , … , ds(?) , 其中 1 的个数等于 d1(?) , d2(?) , … , ds(?) 的次数之和 n 减去 s . 证明 由于每个 ?Ei - Ai 的不变因子为 1 , … , 1 , di(?) , 故 可用初等变换把它变成 进而用初等变换将 ?E - A 变成 在 ? - 矩阵 (3) 上再进行一些行或列互换，则可变 成 由于 d1(?) | d2(?) | … | ds(?) , 它是 ?E - A 的标准形， 1 , 1 , … , d1(?) , d2(?) , … , ds(?) 是它的不变因子. 证毕 三、矩阵的有理标准形 定理 14 数域 P 上 n ? n 方阵 A 在 P 上相似 于唯一的一个有理标准形，称为 A 的有理标准形. 证明 设 A 的 ( ?E - A 的 ) 不变因子为 1 , 1 , … , d1(?) , d2(?) , … , ds(?)， 其中 d1(?) , d2(?) , … , ds(?) 的次数? 1，且 1 的个数 等于d1(?) , d2(?) , … , ds(?) 的次数之和减去 s . 设 di(?)的伴侣矩阵是 Bi ，则作 则由引理，B 的不变因子与 A 的不变因子完全相同, 故 B 相似于 A ，即 B 是 A 的有理标准形. 又 B 是由 A 的不变因子唯一决定的，故 B 由 A 唯一决定. 证毕