第二章 λ矩阵与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链。你选的链头必须落在中，否则方程可能无解。遇到无解不是不存在，而是链头选错了。

六、考题集汇

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

设

求的Smith标准型。

解答

Smith标准型可通过行列式因子来确定，这比完整抄写很长的初等变换链更容易核对。

设为所有非零阶子式的首一最大公因式。

第一步：求

是全部矩阵元素的最大公因式。因为矩阵中含有非零常数，所以所有元素不可能有非常数公因式，故

这也说明做初等变换时，可以把常数交换到左上角，再乘以单位把第一个主元化为。

为与题目要求的“初等变换”对齐，下面给出一条可复核的化简路线。先交换第列，再把第一行乘以；随后用第一行消去第一列下方元素，并用第一列消去第一行右侧元素，可得

具体而言，这一步使用了

再用列变换把第一行第个元素消为零。

右下角仍含常数。交换第列，并将第二行乘以，把这个常数化为主元。再依次使用

可得到

最后把第三行乘以非零常数，末个对角元便成为首一多项式。

第二步：求并验算上述主元

取前两行、第列组成的二阶子式：

存在非零常数二阶子式，所以全部二阶子式的最大公因式只能是：

第三步：求

三阶矩阵只有一个三阶子式，即行列式。展开得

行列式因子规定取首一多项式，非零常数是多项式环中的单位，可忽略，因此

第四步：由行列式因子求不变因子

它们满足，故Smith标准型为

这与原PDF初等行、列变换所得结果一致。

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

设

求其Smith标准型。

解答

虽然矩阵里没有单独出现非零常数，但这不代表第一个不变因子不是。仍用行列式因子逐步判断。

第一步：求

矩阵元素中同时出现和，而

因此与互素，全部元素的最大公因式为

从初等变换角度看，上式表示可以用行、列加法在矩阵中“制造”出常数主元。

下面给出与原题“用初等变换”相对应的具体路线。先做

此时左上角变为。再用第一行消去第一列下方元素，并用第一列消去第一行右侧元素，得到

交换第列并把第二行乘以：

接着做

得到第三行第三个元素。因为第二行第三个元素为

再做

便得到

最后把第三行乘以，即得到所需首一对角元。

第二步：求并验算整除链

检查二阶子式可知，每个非零二阶子式都含因子。另一方面，取前两行、第列：

因为已经出现恰好为的子式，所以最大公因式不可能含更高次因子。取首一式得

第三步：求

直接计算行列式：

去掉单位后，

第四步：求不变因子

整除关系为

故Smith标准型为

三个不变因子的乘积为，与原矩阵行列式只差单位，验算通过。

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

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

求Smith标准型。

解答

矩阵秩为，所以Smith标准型中有且只有个非零不变因子，并满足

从初等因子恢复不变因子的规则是：对每一种一次因式，先把幂次由小到大排列，再向右对齐到不变因子的各列；空缺位置补。

第一类：因子

对应初等因子为。因为只有三个，而共有四个不变因子，所以右对齐为

第二类：因子

对应初等因子为，右对齐为

第三、四类：复因子与

它们各只有一个三次方初等因子，因此都放在最右侧：

将每一列中的因子相乘，得到

可以逐项检查。由于原矩阵为且秩为，在四个非零对角元之后还需补零，故Smith标准型为

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

给定

求Jordan标准型及变换矩阵。

解答

第一步：确定特征值和Jordan块大小

特征多项式为

所以特征值的代数重数为，对应一个一阶Jordan块。特征值的代数重数为。又

所以

特征值的几何重数只有，因此它只能对应一个二阶Jordan块，而不是两个一阶块。故

第二步：构造特征值的特征向量

解

由于

有，自由。取，得到

第三步：构造特征值的Jordan链

先求链头：

行化简给出

取，可得

再求二级广义特征向量，使

写成方程组为

第二式给出；其余两式等价于。取，得到，所以可取

第四步：组成变换矩阵并验算

将一个一阶链和一个二阶链依次放成列：

，故可逆。由构造可知

这三式合起来就是，因此

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

设

求Jordan标准型与变换矩阵。

解答

第一步：确定Jordan标准型

特征多项式为

所以唯一特征值为，代数重数为。行化简

可知，于是

几何重数为，说明有两个Jordan块；它们的总阶数为，所以只能是。因此

第二步：求特征子空间的一组基

由，可取

二者构成的一组基。

第三步：选择能够接上广义特征向量的链头

二阶Jordan链需要满足

链头不仅要属于，还必须属于。若直接取，方程无解，这说明，但不能据此认为变换矩阵不存在。

改取两个特征向量的线性组合

接着解

令，方程组化为唯一的独立方程

取，便有，所以

这里原PDF写成，与上式完全等价。

第四步：组成并验算

。并且

因此，最终

七、考前速记清单

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

⚡ 避坑指南

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