第八章 λ-矩阵
本章包含λ-矩阵的标准形、不变因子、初等因子及矩阵相似判定相关的基础定理。
定义8.1 λ-矩阵
设 是数域,以 的多项式为元素的矩阵称为 -矩阵(或多项式矩阵),记为 。
定义8.2 λ-矩阵的初等变换
对 -矩阵 的下列三种变换称为初等变换:
(1)互换 的两行(列);
(2)用非零常数 乘 的某一行(列);
(3) 的某一行(列)加上另一行(列)的 倍,其中 是 的多项式。
定义8.3 λ-矩阵等价
如果 -矩阵 可以经过有限次初等变换化为 ,则称 与 等价,记为 。
定义8.4 行列式因子
设 是 的 -矩阵, 的一切 阶子式的最大公因式(首一的)称为 的 阶行列式因子,记为 ()。
定义8.5 不变因子
设 的各阶行列式因子为 (),令
则 称为 的不变因子。它们满足 。
定义8.6 初等因子
将每个次数大于零的不变因子分解为互素的一次因式的方幂之积(在复数域上),所有这些一次因式的方幂(相同的按出现次数计)称为 的初等因子。
定义8.7 最小多项式(λ-矩阵视角)
的最后一个不变因子 就是 的最小多项式。
定理8.1 λ-矩阵可逆的充要条件
的 -矩阵 是可逆的充分必要条件为行列式 是一非零的数。
证
必要性:若 可逆,存在 使 。取行列式,。 和 都是 的多项式,两个多项式之积为1,故两者都是非零常数。
充分性:若 (常数),则 ,即 。 的元素是 的代数余子式,都是 的多项式,故 也是 -矩阵, 可逆。
证毕
定理8.2 λ-矩阵的标准形
任意一个非零的 的 -矩阵 都等价于一个下述形式的矩阵:
其中 , 是首项系数为1的多项式,且
证
对 做初等行变换和初等列变换。
第一步:在所有非零元素中,选一个次数最低的元素,通过行交换和列交换移到 位置,记为 。
第二步:用 去除第一行其余元素:(),将第 列减去第1列的 倍,使 变为 。若某个 ,其次数低于 ,将其换到 位置重新操作。重复此过程,直到第一行除 外全为零。同理处理第一列。
第三步:此时矩阵为 。若 中某元素不能被 整除,将该元素所在行加到第一行,再用 做除法,得到更低次数的余式,回到第二步。最终 能整除 的所有元素。
第四步:对 重复上述过程,得到 ,且 。继续直到完成。
证毕
定理8.3 等价λ-矩阵的不变量
等价的 -矩阵具有相同的秩与相同的各阶行列式因子。
证
初等变换不改变 -矩阵的秩(因为可逆 -矩阵左乘或右乘不改变秩,类似于定理4.4的论证)。
初等变换对行列式因子的影响:三种初等变换分别是(1)交换两行(列),(2)某行(列)乘以非零常数 ,(3)某行(列)加上另一行(列)的 倍。
对于 阶子式:(1)交换两行只改变子式的符号;(2)某行乘以 ,含该行的 阶子式乘以 ;(3)某行加上另一行的 倍, 阶子式变为原子式加上 乘以另一个 阶子式。
因此,初等变换后所有 阶子式的最大公因式( 阶行列式因子 )最多差一个非零常数因子。取首一的最大公因式,则 不变。
证毕
定理8.4 λ-矩阵标准形的唯一性
-矩阵的标准形是唯一的。
证
设 有两个标准形 和 。它们都与 等价,故互相等价。由定理8.3,它们有相同的各阶行列式因子。
标准形 的 阶行列式因子为 (因为 , 阶子式的最大公因式就是前 个对角元素之积)。
因此 ,,一般地 。行列式因子唯一确定不变因子,故标准形唯一。
证毕
定理8.5 λ-矩阵等价的充要条件
两个 -矩阵等价的充分必要条件是它们有相同的行列式因子,或者它们有相同的不变因子。
证
行列式因子:必要性由定理8.3。充分性:若行列式因子相同,则不变因子相同(),标准形相同,故都等价于同一标准形,互相等价。
不变因子:不变因子由行列式因子唯一确定(),反之亦然()。故不变因子相同 行列式因子相同 等价。
证毕
定理8.6 可逆λ-矩阵与初等矩阵
矩阵 是可逆的充分必要条件是它可以表成一些初等矩阵的乘积。由此又得到矩阵等价的另一条件:两个 的 -矩阵等价的充分必要条件是存在可逆的 -矩阵 与可逆的 -矩阵 ,使
证
必要性:若 可逆,,秩为 。由定理8.2, 等价于标准形 (因为不变因子 ,行列式因子 ,但 ,,矛盾——实际上 是常数,标准形为 )。故存在初等矩阵 使 ,。初等矩阵的逆仍是初等矩阵。
充分性:初等矩阵的行列式是非零常数,乘积的行列式也是非零常数,由定理8.1, 可逆。
等价条件: 与 等价 可经初等变换化为 存在初等矩阵使 存在可逆矩阵 , 使 。
证毕
定理8.7 矩阵相似的充要条件(特征矩阵等价)
设 是数域 上两个 矩阵, 与 相似的充分必要条件是它们的特征矩阵 和 等价。
证
必要性:若 ,则 。 是可逆的数字矩阵(也是可逆的 -矩阵),由定理8.6, 与 等价。
充分性:若 与 等价,由定理8.6,存在可逆 -矩阵 使 。
需要证明存在可逆数字矩阵 使 。这需要用到以下关键引理:若 ,则存在数字矩阵 使 ,,其中 是 -矩阵。
代入得 ,展开化简得 ,比较 的系数得 (恒等),常数项 ,即 ,。
还需证 可逆:由 , 可逆,。取 使 (这样的 存在,因为行列式是 的多项式,不为零多项式),故 可逆。
证毕
定理8.8 复矩阵相似的充要条件(初等因子)
两个同阶复矩阵相似的充分必要条件是它们有相同的初等因子。
证
由定理8.7, 与 相似 与 等价 它们有相同的不变因子(定理8.5)。
不变因子唯一确定初等因子(将每个不变因子分解为互素一次因式方幂的乘积,所有方幂构成初等因子),反之初等因子也唯一确定不变因子(将初等因子按一次因式分类,同一次因式的最高次幂属于最后一个不变因子,次高的属于倒数第二个,依此类推)。
因此相同的不变因子 相同的初等因子。
证毕
定理8.9 初等因子的求法
首先用初等变换化特征矩阵 为对角形,然后将主对角线上的元素分解成互不相同的一次因式方幂的乘积,则所有这些一次因式的方幂(相同的按出现的次数计算)就是 的全部初等因子。
证
设 等价于对角形 。将每个 分解为一次因式方幂的乘积 。
关键在于:对角形不一定是标准形(不满足 ),但可以通过进一步的初等变换将同一次因式的方幂按大小重新排列,最终得到标准形。在此过程中,每个一次因式的方幂集合不变。
具体地,对于一次因式 , 中 的方幂 (其中 表示不含此因子),按从小到大排列为 ,则不变因子中 的方幂分别为 。
因此所有非零方幂 ()就是 的全部初等因子。
证毕
定理8.10 复矩阵的若尔当标准形
每个 阶的复矩阵 都与一个若尔当形矩阵相似,这个若尔当形矩阵除去其中若尔当块的排列次序外是被矩阵 唯一决定的,它称为 的若尔当标准形。
证
存在性:设 的初等因子为 。对每个初等因子 ,构造 阶若尔当块
的特征矩阵 的唯一非1不变因子为 ,故 的初等因子恰为 。
令 ,则 的初等因子为 ,与 相同。由定理8.8, 与 相似。
唯一性:若 相似于两个若尔当形矩阵 和 ,则 与 相似,有相同的初等因子。若尔当块的初等因子由其阶数和特征值唯一确定,故 和 的若尔当块(不计顺序)完全相同。
证毕
定理8.11 线性变换的若尔当标准形
设 是复数域上 维线性空间 上的线性变换,在 中必定存在一组基,使 在这组基下的矩阵是若尔当标准形,并且这个若尔当形矩阵除去其中若尔当块的排列次序外是被 唯一决定的。
证
在任一基下的矩阵 由定理8.10相似于若尔当标准形 。由定理7.5,存在另一组基使 的矩阵为 。唯一性由 的唯一性保证。
证毕
定理8.12 可对角化与初等因子
复矩阵 与对角矩阵相似的充分必要条件是, 的初等因子全为一次的。
证
必要性:若 相似于对角矩阵 ,其特征矩阵 ,对角线上每个元素是一次式,分解后初等因子全为一次。
充分性:若初等因子全为一次,即 ,对应的若尔当块都是一阶的(),若尔当标准形就是对角矩阵。
证毕
定理8.13 可对角化与不变因子
复矩阵 与对角矩阵相似的充分必要条件是, 的不变因子都没有重根。
证
不变因子没有重根 每个不变因子分解为不同一次因式之积 每个初等因子都是一次的(因为初等因子是不变因子的素因子方幂,无重根则方幂都是1次) 可对角化(定理8.12)。
证毕
定理8.14 有理标准形
数域 上 方阵 在 上相似于唯一的一个有理标准形,称为 的有理标准形。
证
设 的不变因子为 (),。
对每个不变因子 ,构造 阶友矩阵(companion matrix)
的特征矩阵的唯一非常数不变因子就是 。令 ,则 的不变因子与 相同,故 与 相似。
唯一性:有理标准形由不变因子唯一确定,而不变因子是相似不变量。
证毕
定理8.15 线性变换的有理标准形
设 是数域 上 维线性空间的线性变换,则在 中存在一组基,使 在该基下的矩阵是有理标准形,并且这个有理标准形由 唯一决定,称为 的有理标准形。
证
在任一基下的矩阵 由定理8.14相似于有理标准形 。由定理7.5,存在基使 的矩阵为 。唯一性由有理标准形的唯一性保证。
证毕