第28讲:方阵的Jordan标准形与最小多项式
关键考点总览(本讲速记)
跳转到:关键考点总览(本讲速记)- ⭐ n阶Jordan块的定义及其特征多项式
- ⭐ Jordan标准形的存在性与唯一性(不计Jordan块次序)
- ⭐ 化零多项式的定义: 则 为 的化零多项式
- ⭐ Cayley-Hamilton定理:特征多项式是化零多项式
- ⭐ 最小多项式的定义:首项系数为1、次数最低的化零多项式
- ⭐ 最小多项式整除特征多项式(特征多项式是最小多项式的倍式)
- ⭐ 相似矩阵有相同的最小多项式
- ⭐ (复数域上)可对角化的充要条件:最小多项式无重根
- 分块对角矩阵的最小多项式 = 各对角块最小多项式的最小公倍式
- 特殊矩阵的化零多项式:幂等矩阵 、对合矩阵
一、n阶Jordan块
跳转到:一、n阶Jordan块(1) 定义
跳转到:(1) 定义-
n阶Jordan块:主对角线元素均为 ,次对角线(下方)元素均为1,其余元素为0的 阶方阵,记作 。[来源:p1]
具体形式:
- 1阶:
- 2阶:
- 3阶:
- n阶:主对角线为 ,下次对角线为1
(2) 定理/命题
跳转到:(2) 定理/命题- 设 是一个 阶Jordan块,对角线元素均为 。则:[来源:p2, p16]
- 方阵 的特征多项式为
- 方阵 是幂零指数为 的幂零矩阵
- 方阵 的最小多项式为
(3) 推论/二级结论
跳转到:(3) 推论/二级结论- ⭐ (单个Jordan块)Jordan块的特征多项式等于最小多项式,均为 。【整理自PPT】(由p2和p16结合推得)
- 设 是 阶Jordan块,对角线元素分别为 。若 ,则 和 不相似。[来源:p3]
二、Jordan标准形
跳转到:二、Jordan标准形(1) 定义
跳转到:(1) 定义- Jordan标准形矩阵:形如分块对角矩阵 ,其中每个 都是Jordan块。[来源:p4]
(2) 定理/命题
跳转到:(2) 定理/命题- ⭐ Jordan标准形存在性定理:复数域 上的任意 阶方阵 ,都与某个Jordan标准形矩阵 相似。[来源:p5]
- ⭐ Jordan标准形唯一性:若不考虑 中对角线上Jordan块的次序,则Jordan标准形矩阵是唯一的。[来源:p5]
三、方阵的化零多项式
跳转到:三、方阵的化零多项式(1) 定义
跳转到:(1) 定义- 化零多项式(零化多项式):设 为 阶方阵, 为非零多项式。若 (零矩阵),则称 为 的化零多项式。[来源:p6]
(2) 定理/命题
跳转到:(2) 定理/命题-
⭐ Cayley-Hamilton定理:设 为 阶方阵, 是 的特征多项式。则 。[来源:p12,黄色框标注]
- 即:方阵的特征多项式是它的化零多项式。
-
化零多项式的倍式性质:设 为 阶方阵, 为 的化零多项式(即 )。对任意非零多项式 ,都有 也是 的化零多项式。[来源:p10]
- ⭐ 核心结论:化零多项式的倍式还是化零多项式。[来源:p10,黄色框标注]
-
分块对角矩阵的化零多项式:设 , 是 的化零多项式, 是 的化零多项式。则 和 的最小公倍式是 的化零多项式。[来源:p11,黄色框标注]
(3) 常用例子
跳转到:(3) 常用例子| 矩阵类型 | 化零多项式 | 来源 |
|---|---|---|
| 秩为1的 阶方阵 ,迹为 | 可取 (一般地 也可) | p7 |
| 幂等矩阵 (即 ) | p8 | |
| 对合矩阵 (即 ) | p9 |
四、方阵的最小多项式
跳转到:四、方阵的最小多项式(1) 定义
跳转到:(1) 定义- ⭐ 最小多项式:设 为 阶方阵。 的首项系数为1、次数最低的化零多项式称为 的最小多项式,记作 或 。[来源:p13,黄色框标注]
(2) 定理/命题(引理)
跳转到:(2) 定理/命题(引理)设 为 阶方阵。则:[来源:p14]
- 的任意化零多项式都是 的最小多项式 的倍式。
- ⭐ 特别地, 的特征多项式是 的倍式。[来源:p14,黄色框标注]
- 的最小多项式存在且唯一。[来源:p14]
- ⭐ 相似的方阵有相同的最小多项式。[来源:p14,黄色框标注]
(3) 分块对角矩阵的最小多项式
跳转到:(3) 分块对角矩阵的最小多项式- 设 , 是 的最小多项式, 是 的最小多项式。则 和 的最小公倍式是 的最小多项式。[来源:p15,黄色框标注]
(4) Jordan标准形的最小多项式
跳转到:(4) Jordan标准形的最小多项式-
设 是Jordan标准形矩阵,其中 是对角线元素为 、阶数为 的Jordan块。则:[来源:p17]
为 这 个多项式的最小公倍式。
- ⭐ 关键技巧:相同特征值的选阶数最大的![来源:p17,黄色框标注]
(5) 特征值与最小多项式的关系
跳转到:(5) 特征值与最小多项式的关系- 定理:设 为 阶方阵。则 的特征值必为 的根。[来源:p18]
- 即:特征值是最小多项式的根。
五、可对角化的判定
跳转到:五、可对角化的判定(1) 充要条件(核心定理)
跳转到:(1) 充要条件(核心定理)- ⭐⭐ 定理:设 为复数域上 阶方阵。则 相似于对角阵 的最小多项式 没有重根。[来源:p19,黄色框+蓝色框双重标注]
(2) 典型应用
跳转到:(2) 典型应用-
例1:设 为复数域上 阶方阵,,。若 ,则 相似于对角阵。[来源:p20]
- 分析:由于 ,最小多项式整除 ,因此最小多项式只能是 、 或 ,均无重根。
-
例2(周期矩阵):设 为复数域上 阶方阵,存在正整数 使得 (这样的矩阵被叫做周期矩阵)。则 相似于对角阵。[来源:p21]
- 分析: 是化零多项式,其在复数域上分解为 个不同一次因式的乘积( 次单位根两两不同),故最小多项式无重根。
六、常用技巧总结
跳转到:六、常用技巧总结(6) 常用技巧
跳转到:(6) 常用技巧-
判断可对角化(复数域上):检验最小多项式是否有重根。若特征多项式无重根,则必可对角化;若有重根,需进一步分析最小多项式。【整理自PPT】
-
求Jordan标准形的最小多项式:对每个不同特征值 ,找出所有以 为对角元的Jordan块中阶数最大的那个,其对应因子 参与最小公倍式的计算。[来源:p17]
-
利用化零多项式判断可对角化:若能找到一个无重根的化零多项式,则矩阵可对角化。[来源:p19-p21]
第29讲:相似标准形的应用 - 知识集锦
跳转到:第29讲:相似标准形的应用 - 知识集锦关键考点总览(本讲速记)
跳转到:关键考点总览(本讲速记)- ⭐ 幂等矩阵的行列式计算:
- ⭐ 利用化零多项式计算矩阵幂
- ⭐ 利用对角化求矩阵幂
- ⭐ 利用矩阵对角化求递推数列通项
- ⭐ 与对角矩阵可交换的矩阵的刻画
- ⭐ 可交换矩阵的对角化性质
一、典型例题与结论
跳转到:一、典型例题与结论(1) 幂等矩阵的行列式
跳转到:(1) 幂等矩阵的行列式-
例:设 为 阶幂等矩阵(),且 。求行列式 的值。[来源:p1]
-
结论:幂等矩阵的特征值只能为0或1。若 ,则特征值1的重数为 ,特征值0的重数为 。
因此 。【整理自PPT】(由幂等矩阵性质推得)
(2) 利用化零多项式求矩阵幂
跳转到:(2) 利用化零多项式求矩阵幂-
例:设 为 阶矩阵,且 。求 。[来源:p2]
-
方法要点:
- 由 知
- 最小多项式无重根,故 可对角化
- 的特征值只能是2或3
- 利用对角化 计算
(3) 由特征值和特征向量求矩阵幂
跳转到:(3) 由特征值和特征向量求矩阵幂-
例:设 为3阶方阵, 的属于特征值 的特征向量分别为 , , 。求 。[来源:p3]
-
方法要点:
- 构造可逆矩阵 (列向量为特征向量)
(4) 矩阵对角化求递推数列
跳转到:(4) 矩阵对角化求递推数列-
例:设 , ,且递推关系:[来源:p4]
求 。
-
方法要点:
- 设 ,转化为 ,其中
- 对 进行对角化
- 利用 计算
(5) 与对角矩阵可交换的矩阵
跳转到:(5) 与对角矩阵可交换的矩阵-
例:设 是 个两两不同的数, 是对角矩阵。求与 可交换的全体矩阵。[来源:p5]
-
⭐ 结论:与特征值两两不同的对角矩阵可交换的矩阵必为对角矩阵。【整理自PPT】
(6) 可交换矩阵的对角化
跳转到:(6) 可交换矩阵的对角化-
例:设 有 个两两不同的特征值,。证明: 相似于对角矩阵。[来源:p6]
-
⭐ 结论:若 有 个不同特征值(即 可对角化为特征值两两不同的对角阵),且 ,则 也可对角化。【整理自PPT】
-
证明思路: 可对角化为 ,其中 特征值两两不同。由 可得 ,即 。由(5)的结论, 为对角阵,故 可对角化。
(7) 分块对角矩阵的对角化
跳转到:(7) 分块对角矩阵的对角化-
例:已知方阵 可相似对角化。试证:方阵 可以相似对角化。[来源:p7]
-
证明要点:
- 设 的最小多项式为 ,无重根
- 分块对角矩阵 的最小多项式为
- 仍无重根,故可对角化
二、方法论总结
跳转到:二、方法论总结常用技巧
跳转到:常用技巧-
矩阵幂的计算:
- 方法一:对角化 ,则
- 方法二:利用化零多项式降幂
-
递推数列问题:转化为矩阵幂问题,利用对角化求解
-
可交换矩阵的性质:若 的特征值两两不同且 ,则 和 可同时对角化
-
判断可对角化:检验最小多项式是否有重根,或直接验证每个特征值的几何重数是否等于代数重数
三、核心公式速查表
跳转到:三、核心公式速查表| 内容 | 公式/结论 | 来源 |
|---|---|---|
| Jordan块的特征多项式 | 第28讲p2 | |
| Jordan块的最小多项式 | 第28讲p16 | |
| 幂等矩阵的化零多项式 | 第28讲p8 | |
| 对合矩阵的化零多项式 | 第28讲p9 | |
| 可对角化充要条件 | 最小多项式无重根 | 第28讲p19 |
| 分块对角阵的最小多项式 | 各块最小多项式的最小公倍式 | 第28讲p15 |
| 特征多项式与最小多项式 | 特征多项式是最小多项式的倍式 | 第28讲p14 |