第八章 λ-矩阵 — 定理例子

定义8.1 λ-矩阵 — 例子

例1 是2阶 -矩阵。

例2:特征矩阵 (其中 )是 -矩阵。

定义:定义8.1 λ-矩阵

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

例1,第2行加上第1行的 倍:

例2:与数字矩阵的初等变换不同,-矩阵的第3种初等变换允许乘以多项式 ,但不能用 乘某行(列)(那不是初等变换,而是第3种:某行加另一行的 倍)。

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

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

例1 等价(可通过初等变换互化,它们有相同的不变因子 )。

定义:定义8.3 λ-矩阵等价

定义8.4 行列式因子 — 例子

例1。1阶子式有 ,最大公因式 。2阶子式只有

定义:定义8.4 行列式因子

定义8.5 不变因子 — 例子

例1:上例中,。验证 ,成立。

例2

定义:定义8.5 不变因子

定义8.6 初等因子 — 例子

例1:不变因子 。初等因子为

例2:不变因子 的初等因子: 的初等因子:。全部初等因子: 出现两次)。

定义:定义8.6 初等因子

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

例1 的不变因子为 ,最后一个不变因子 就是 的最小多项式。

例2,不变因子为 ,最小多项式

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

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

例1,交换第1、2行得 ,第1行乘 ,第1行加 倍第2行得

例2 已是对角形,

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

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

例1

做初等变换:第2列减 倍第1列 → … 更直接的方法:

交换第1、2列 → ,第2列减 倍第1列 → ,第2行减 倍第1行 → ,第2行乘

标准形 ,不变因子

例2 已是标准形,… 不对,需满足 ,故 。标准形

定理:定理8.2 λ-矩阵的标准形

定理8.3 行列式因子 — 例子

例1

1阶子式:

2阶子式:

✓。

例2

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

定理8.4 不变因子 — 例子

例1 的特征矩阵

例2

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

定理8.5 初等因子 — 例子

例1,不变因子

初等因子:(从 分解, 无贡献)。

例2 的不变因子

初等因子:(来自 ),(来自 )。初等因子组

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

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

例1

的不变因子:

不变因子相同, ✓。

例2

的不变因子

不变因子不同(), 不相似 ✓。

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

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

例1,初等因子 ,若尔当块 已是若尔当标准形。

例2,特征值 (3重),初等因子 ,若尔当块 已是若尔当标准形。

例3 的初等因子为 ,若尔当标准形为

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

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

例1 的初等因子 ,若尔当标准形 ,唯一(不计块顺序)。

例2:初等因子 ,若尔当标准形 ,唯一。

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

定理8.9 有理标准形 — 例子

例1,不变因子

的友矩阵 … 实际上 的友矩阵为

验证:特征多项式 ✓。

例2,不变因子

友矩阵 ,特征值 ✓。

定理:定理8.9 初等因子的求法

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

例1,最后一个不变因子 ,最小多项式 ✓。

例2,不变因子

最小多项式 。验证: ✓。

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

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

例1(非零常数),可逆 ✓。

,验证 ✓。

例2(不是非零常数),不可逆。

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

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

例1

的行列式因子 。行列式因子相同,等价 ✓。

例2 不同,不等价 ✓。

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

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

例1

的初等因子:

,初等因子

的初等因子不同,不相似 ✓。

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

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

例1

(对角,可对角化),(幂零,), ✓。

例2 已可对角化,

定理:定理8.14 有理标准形

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

例1

的特征值全为0,初等因子 ,若尔当标准形就是 本身(3阶若尔当块)。

例2,初等因子 ,两个2阶若尔当块。

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