第二章 λ矩阵与Jordan标准型

核心导读： 本章要解决的是“怎样完整刻画矩阵的相似结构”。特征值只能告诉我们有哪些伸缩因子，却不能说明每个特征值内部如何连接。借助-矩阵、Smith标准型、不变因子和初等因子，我们最终能确定Jordan块的大小与数量，并进一步构造相似变换矩阵。

一、λ矩阵

若矩阵每个元素都是数域上的多项式，则称其为多项式矩阵或-矩阵：

其中所有元素的最高次数称为的次数。

对-矩阵允许三类初等变换：

1. 交换两行或两列；
2. 某行或某列乘非零常数；
3. 某行或某列加上另一行或列的多项式倍。

经过有限次初等变换能互相转化的-矩阵称为等价。

💡 通俗理解

普通矩阵的元素是数字，-矩阵的元素是“关于的表达式”。初等变换就像整理文件柜：内容没丢，只是把复杂信息重新归档，最终希望整理成对角形式。

⚡ 避坑指南

-矩阵的初等变换中，某行乘子的单位只能是非零常数，不能随便乘。因为在多项式环中不可逆。

二、Smith标准型

任意非零阶-矩阵都等价于

其中是在上的秩，均取首一多项式，且

这个对角矩阵称为Smith标准型，称为不变因子。

化Smith标准型的思路

1. 找当前子矩阵中次数最低、最容易化简的非零元素，移到左上角。
2. 用多项式带余除法做行、列消元。
3. 若左上角不能整除其余元素，就通过行列变换制造更低次数元素。
4. 当前主元整除所有元素后，清空同行同列。
5. 对右下角子矩阵重复，并整理为整除链。

💡 通俗理解

这和数论里求最大公因数非常像。不断做“带余除法”，把复杂多项式压低次数，最后得到一条从小到大层层整除的对角链。

⭐ 核心考点

Smith标准型在给定数域上唯一。考试若只要求标准型，很多时候不必记录每一步变换矩阵，只需保证最终满足“首一+逐级整除”。

三、三类因子及其转化

1. 行列式因子

全部非零阶子式的首一最大公因式称为第个行列式因子，记为，并约定

2. 不变因子

Smith标准型对角线上的非零元素就是不变因子。二者关系为

因此

3. 初等因子

把每个非平凡不变因子分解为不可约因式的幂：

其中各个称为初等因子。在复数域上，不可约多项式都是一次式，所以初等因子形如

⭐ 核心考点

转化链必须背熟：

一个初等因子对应一个阶Jordan块。

4. 从初等因子恢复不变因子

恢复时不是随意相乘，而是按每个不可约因子的指数从小到大排列，再右对齐相乘。例如初等因子为

则可组成

显然。

⚡ 避坑指南

初等因子是“不可约因式的方幂”，不是普通的一次因式列表；重复出现的幂必须保留。漏掉指数，就会直接改变Jordan块大小。

四、Jordan标准型

1. Jordan块

阶Jordan块定义为

若方阵在复数域上，则存在可逆矩阵使

其中

称为的Jordan标准型。

💡 通俗理解

对角化希望每个方向都独立；做不到时，Jordan块就把“差一点独立”的方向串成链。对角线是特征值，超对角线上的表示链中相邻向量的传递关系。

2. 块数与重数

对固定特征值：

• 对应Jordan块的个数等于几何重数

• 所有对应块的阶数之和等于代数重数；
• 最大Jordan块的阶数等于最小多项式中的最高指数。

⭐ 核心考点

每个Jordan块贡献且只贡献一个线性无关特征向量。因此：

3. 用核空间维数判定块大小

令

则：

• 等于阶数不小于的Jordan块个数；
• 阶数恰为的Jordan块个数为

当达到该特征值的代数重数后，序列稳定。

⚡ 避坑指南

只知道特征多项式无法唯一确定Jordan标准型。还必须知道几何重数、初等因子，或的维数信息。

五、构造变换矩阵P：Jordan链

若

把按一个Jordan块对应的列写成

则对于有

这组向量称为一条Jordan链。

标准做题步骤

1. 先确定的块结构。
2. 对每个块，从链尾或链头构造广义特征向量。
3. 将各条链按块内顺序拼成。
4. 验证并检查。

💡 通俗理解

普通特征向量满足“按下按钮后只缩放”；广义特征向量则像排队传球：后一个经作用后传到前一个，最前一个最终传到零。

⚡ 避坑指南

特征子空间维数大于时，不能随手选几个特征向量就硬接Jordan链。你选的链头必须落在中，否则方程可能无解。遇到无解不是不存在，而是链头选错了。

六、原讲义考题集汇

原PDF的编号由例4直接跳到例6，下面保留原编号，避免与视频课程错位。

例1：用初等变换求Smith标准型

设

求的Smith标准型。

解答

矩阵中含非零常数，可先通过行、列交换把它移到左上角，再用初等变换消去第一行、第一列。继续对右下角子矩阵做多项式带余除法，可得到

验算：

Smith标准型只差可逆常数因子，因此末个首一不变因子正是

例2：没有常数元素时如何化Smith标准型

设

求其Smith标准型。

解答

虽然原矩阵没有非零常数元素，但前两个元素与互素，可通过相加制造常数。消去第一行、第一列后，右下角二阶部分有公因子，继续化简得到

整除链为

并且

与三个不变因子的乘积只差单位。

例3：由初等因子反求Smith标准型

已知的-矩阵秩为，初等因子为

求Smith标准型。

解答

按同一不可约因子的幂次从小到大排列并右对齐，得到

故Smith标准型为

例4：Jordan标准型与变换矩阵

给定

求Jordan标准型及变换矩阵。

解答

由的Smith标准型可知初等因子为与，故

令，由得

可取

因此

例6：特征子空间为二维时构造Jordan链

设

求Jordan标准型与变换矩阵。

解答

对做初等变换，得到初等因子

因此

可取基

若直接把选作二阶链的链头，方程无解。改取

再解

可取。于是

这里若采用原PDF的等价写法，结论完全相同。

七、考前速记清单

1. Smith标准型：首一对角元组成整除链。
2. ，。
3. 初等因子对应。
4. 块数等于几何重数，块阶之和等于代数重数。
5. 最大块阶等于最小多项式对应因子的指数。
6. 求的核心不是“求一堆特征向量”，而是“构造完整Jordan链”。

⚡ 避坑指南

灵魂拷问：某特征值代数重数为、几何重数为，能否直接断定块大小是？不能，也可能是；还需更高次核空间维数或最小多项式信息。