第八章 λ-矩阵

本章包含λ-矩阵的标准形、不变因子、初等因子及矩阵相似判定相关的基础定理。

定义8.1 λ-矩阵

是数域,以 的多项式为元素的矩阵称为 -矩阵(或多项式矩阵),记为

例子:定义8.1 λ-矩阵 — 例子

定义8.2 λ-矩阵的初等变换

-矩阵 的下列三种变换称为初等变换

(1)互换 的两行(列);

(2)用非零常数 的某一行(列);

(3) 的某一行(列)加上另一行(列)的 倍,其中 的多项式。

例子:定义8.2 λ-矩阵的初等变换 — 例子

定义8.3 λ-矩阵等价

如果 -矩阵 可以经过有限次初等变换化为 ,则称 等价,记为

例子:定义8.3 λ-矩阵等价 — 例子

定义8.4 行列式因子

-矩阵, 的一切 阶子式的最大公因式(首一的)称为 阶行列式因子,记为 )。

例子:定义8.4 行列式因子 — 例子

定义8.5 不变因子

的各阶行列式因子为 ),令

称为 不变因子。它们满足

例子:定义8.5 不变因子 — 例子

定义8.6 初等因子

将每个次数大于零的不变因子分解为互素的一次因式的方幂之积(在复数域上),所有这些一次因式的方幂(相同的按出现次数计)称为 初等因子

例子:定义8.6 初等因子 — 例子

定义8.7 最小多项式(λ-矩阵视角)

的最后一个不变因子 就是 最小多项式

例子:定义8.7 最小多项式(λ-矩阵视角) — 例子

定理8.1 λ-矩阵可逆的充要条件

-矩阵 是可逆的充分必要条件为行列式 是一非零的数。

必要性:若 可逆,存在 使 。取行列式, 都是 的多项式,两个多项式之积为1,故两者都是非零常数。

充分性:若 (常数),则 ,即 的元素是 的代数余子式,都是 的多项式,故 也是 -矩阵, 可逆。

证毕

例子:定理8.1 λ-矩阵的初等变换 — 例子

定理8.2 λ-矩阵的标准形

任意一个非零的 -矩阵 都等价于一个下述形式的矩阵:

其中 是首项系数为1的多项式,且

做初等行变换和初等列变换。

第一步:在所有非零元素中,选一个次数最低的元素,通过行交换和列交换移到 位置,记为

第二步:用 去除第一行其余元素:),将第 列减去第1列的 倍,使 变为 。若某个 ,其次数低于 ,将其换到 位置重新操作。重复此过程,直到第一行除 外全为零。同理处理第一列。

第三步:此时矩阵为 。若 中某元素不能被 整除,将该元素所在行加到第一行,再用 做除法,得到更低次数的余式,回到第二步。最终 能整除 的所有元素。

第四步:对 重复上述过程,得到 ,且 。继续直到完成。

证毕

例子:定理8.2 λ-矩阵的等价标准形 — 例子

定理8.3 等价λ-矩阵的不变量

等价的 -矩阵具有相同的秩与相同的各阶行列式因子。

初等变换不改变 -矩阵的秩(因为可逆 -矩阵左乘或右乘不改变秩,类似于定理4.4的论证)。

初等变换对行列式因子的影响:三种初等变换分别是(1)交换两行(列),(2)某行(列)乘以非零常数 ,(3)某行(列)加上另一行(列)的 倍。

对于 阶子式:(1)交换两行只改变子式的符号;(2)某行乘以 ,含该行的 阶子式乘以 ;(3)某行加上另一行的 倍, 阶子式变为原子式加上 乘以另一个 阶子式。

因此,初等变换后所有 阶子式的最大公因式( 阶行列式因子 )最多差一个非零常数因子。取首一的最大公因式,则 不变。

证毕

例子:定理8.3 行列式因子 — 例子

定理8.4 λ-矩阵标准形的唯一性

-矩阵的标准形是唯一的。

有两个标准形 。它们都与 等价,故互相等价。由定理8.3,它们有相同的各阶行列式因子。

标准形 阶行列式因子为 (因为 阶子式的最大公因式就是前 个对角元素之积)。

因此 ,一般地 。行列式因子唯一确定不变因子,故标准形唯一。

证毕

例子:定理8.4 不变因子 — 例子

定理8.5 λ-矩阵等价的充要条件

两个 -矩阵等价的充分必要条件是它们有相同的行列式因子,或者它们有相同的不变因子。

行列式因子:必要性由定理8.3。充分性:若行列式因子相同,则不变因子相同(),标准形相同,故都等价于同一标准形,互相等价。

不变因子:不变因子由行列式因子唯一确定(),反之亦然()。故不变因子相同 行列式因子相同 等价。

证毕

例子:定理8.5 初等因子 — 例子

定理8.6 可逆λ-矩阵与初等矩阵

矩阵 是可逆的充分必要条件是它可以表成一些初等矩阵的乘积。由此又得到矩阵等价的另一条件:两个 -矩阵等价的充分必要条件是存在可逆的 -矩阵 与可逆的 -矩阵 ,使

必要性:若 可逆,,秩为 。由定理8.2, 等价于标准形 (因为不变因子 ,行列式因子 ,但 ,矛盾——实际上 是常数,标准形为 )。故存在初等矩阵 使 。初等矩阵的逆仍是初等矩阵。

充分性:初等矩阵的行列式是非零常数,乘积的行列式也是非零常数,由定理8.1, 可逆。

等价条件 等价 可经初等变换化为 存在初等矩阵使 存在可逆矩阵 使

证毕

例子:定理8.6 矩阵相似的充要条件 — 例子

定理8.7 矩阵相似的充要条件(特征矩阵等价)

是数域 上两个 矩阵, 相似的充分必要条件是它们的特征矩阵 等价。

必要性:若 ,则 是可逆的数字矩阵(也是可逆的 -矩阵),由定理8.6, 等价。

充分性:若 等价,由定理8.6,存在可逆 -矩阵 使

需要证明存在可逆数字矩阵 使 。这需要用到以下关键引理:若 ,则存在数字矩阵 使 ,其中 -矩阵。

代入得 ,展开化简得 ,比较 的系数得 (恒等),常数项 ,即

还需证 可逆:由 可逆,。取 使 (这样的 存在,因为行列式是 的多项式,不为零多项式),故 可逆。

证毕

例子:定理8.7 若尔当标准形的存在性 — 例子

定理8.8 复矩阵相似的充要条件(初等因子)

两个同阶复矩阵相似的充分必要条件是它们有相同的初等因子。

由定理8.7, 相似 等价 它们有相同的不变因子(定理8.5)。

不变因子唯一确定初等因子(将每个不变因子分解为互素一次因式方幂的乘积,所有方幂构成初等因子),反之初等因子也唯一确定不变因子(将初等因子按一次因式分类,同一次因式的最高次幂属于最后一个不变因子,次高的属于倒数第二个,依此类推)。

因此相同的不变因子 相同的初等因子。

证毕

例子:定理8.8 若尔当标准形的唯一性 — 例子

定理8.9 初等因子的求法

首先用初等变换化特征矩阵 为对角形,然后将主对角线上的元素分解成互不相同的一次因式方幂的乘积,则所有这些一次因式的方幂(相同的按出现的次数计算)就是 的全部初等因子。

等价于对角形 。将每个 分解为一次因式方幂的乘积

关键在于:对角形不一定是标准形(不满足 ),但可以通过进一步的初等变换将同一次因式的方幂按大小重新排列,最终得到标准形。在此过程中,每个一次因式的方幂集合不变。

具体地,对于一次因式 的方幂 (其中 表示不含此因子),按从小到大排列为 ,则不变因子中 的方幂分别为

因此所有非零方幂 )就是 的全部初等因子。

证毕

例子:定理8.9 有理标准形 — 例子

定理8.10 复矩阵的若尔当标准形

每个 阶的复矩阵 都与一个若尔当形矩阵相似,这个若尔当形矩阵除去其中若尔当块的排列次序外是被矩阵 唯一决定的,它称为 的若尔当标准形。

存在性:设 的初等因子为 。对每个初等因子 ,构造 阶若尔当块

的特征矩阵 的唯一非1不变因子为 ,故 的初等因子恰为

,则 的初等因子为 ,与 相同。由定理8.8, 相似。

唯一性:若 相似于两个若尔当形矩阵 ,则 相似,有相同的初等因子。若尔当块的初等因子由其阶数和特征值唯一确定,故 的若尔当块(不计顺序)完全相同。

证毕

例子:定理8.10 最小多项式与不变因子的关系 — 例子

定理8.11 线性变换的若尔当标准形

是复数域上 维线性空间 上的线性变换,在 中必定存在一组基,使 在这组基下的矩阵是若尔当标准形,并且这个若尔当形矩阵除去其中若尔当块的排列次序外是被 唯一决定的。

在任一基下的矩阵 由定理8.10相似于若尔当标准形 。由定理7.5,存在另一组基使 的矩阵为 。唯一性由 的唯一性保证。

证毕

例子:定理8.11 λ-矩阵可逆的充要条件 — 例子

定理8.12 可对角化与初等因子

复矩阵 与对角矩阵相似的充分必要条件是, 的初等因子全为一次的。

必要性:若 相似于对角矩阵 ,其特征矩阵 ,对角线上每个元素是一次式,分解后初等因子全为一次。

充分性:若初等因子全为一次,即 ,对应的若尔当块都是一阶的(),若尔当标准形就是对角矩阵。

证毕

例子:定理8.12 λ-矩阵等价的充要条件 — 例子

定理8.13 可对角化与不变因子

复矩阵 与对角矩阵相似的充分必要条件是, 的不变因子都没有重根。

不变因子没有重根 每个不变因子分解为不同一次因式之积 每个初等因子都是一次的(因为初等因子是不变因子的素因子方幂,无重根则方幂都是1次) 可对角化(定理8.12)。

证毕

例子:定理8.13 初等因子与相似 — 例子

定理8.14 有理标准形

数域 方阵 上相似于唯一的一个有理标准形,称为 的有理标准形。

的不变因子为 ),

对每个不变因子 ,构造 阶友矩阵(companion matrix)

的特征矩阵的唯一非常数不变因子就是 。令 ,则 的不变因子与 相同,故 相似。

唯一性:有理标准形由不变因子唯一确定,而不变因子是相似不变量。

证毕

例子:定理8.14 矩阵的若尔当分解 — 例子

定理8.15 线性变换的有理标准形

是数域 维线性空间的线性变换,则在 中存在一组基,使 在该基下的矩阵是有理标准形,并且这个有理标准形由 唯一决定,称为 的有理标准形。

在任一基下的矩阵 由定理8.14相似于有理标准形 。由定理7.5,存在基使 的矩阵为 。唯一性由有理标准形的唯一性保证。

证毕

例子:定理8.15 幂零矩阵的若尔当标准形 — 例子

相关链接

来源引用