提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本集目录
◎学习目标
- 掌握Jordan 标准形定理的完整陈述：\(F\) 上 \(N\) 阶矩阵 \(A\)，若最小多项式可分解为一次因式之积，则 \(A\) 相似于 Jordan 形矩阵；
- 理解特征多项式与最小多项式的关系：两者有相同的根（在扩域中），重数可不同；若最小多项式可分解为一次因式之积，则特征多项式也必可分解为一次因式之积（反之亦然）；
- 掌握相似判定方法：两矩阵满足一次因式条件时，\(A \sim B \Leftrightarrow\) \(A\) 与 \(B\) 有相同的 Jordan 标准形（除块排列外）；
- 了解有理标准型的概念（课上仅提及，未详细展开）：当最小多项式不可分解为一次因式之积时，用不可约多项式构造的有理标准形（准同伴矩阵）作为替代；
- 理解Jordan 标准形与对角化的对比：对角化要求 \(N_j = \) \(\lambda_j\) 的代数重数（即所有 Jordan 块均为 1 级），而 Jordan 形允许高阶块。⏱ 05:00
1相似于 Jordan 形矩阵的判定 ⏱ 00:08
紧接 P116，本集开头回顾：线性变换 \(A\) 在不同基下的矩阵是相似的。若 \(A\) 在标准基下的矩阵为 \(A\)，在某基 \(G\) 下的矩阵为 Jordan 形 \(J\)，则
\[ P^{-1}AP = J, \]
即 \(A\) 相似于其 Jordan 标准形 \(J\)。⏱ 00:28
定理 · 相似于 Jordan 形矩阵（完整陈述）
设 \(F\) 上 \(N\) 阶矩阵 \(A\) 的最小多项式 \(m_A(t)\) 在 \(F[t]\) 中可分解为一次因式之积（允许有相同的因式），即
\[ m_A(t) = (t-\lambda_1)^{L_1} \cdots (t-\lambda_S)^{L_S}, \quad \lambda_i \in F, \]
则 \(A\) 相似于一个 Jordan 形矩阵 \(J\)。
等价条件（推论 2、3、4）：⏱ 03:30
特征多项式与最小多项式可互相推导
设 \(A\) 的特征多项式为 \(f_A(t)\)，最小多项式为 \(m_A(t)\)。
- \(m_A(t)\) 可分解为一次因式之积 \(\Rightarrow\) \(f_A(t)\) 可分解为一次因式之积：因为 \(f_A(t)\) 与 \(m_A(t)\) 在扩域中有相同的根，只是重数可能不同（\(f_A(t)\) 的根的重数 ≥ \(m_A(t)\) 的根的重数）。若 \(m_A(t)\) 的每个根都是一次的（即可分解为一次因式之积），则 \(f_A(t)\) 的根也是这些一次因式的幂次更高的版本，仍为一次因式之积。
- \(f_A(t)\) 可分解为一次因式之积 \(\Rightarrow\) \(m_A(t)\) 可分解为一次因式之积：因为 \(m_A(t)\) 整除 \(f_A(t)\)（Cayley-Hamilton 定理），若 \(f_A(t)\) 的不可约因式均为一次的，则 \(m_A(t)\) 的因式也必为一次的（\(m_A\) 是 \(f_A\) 的因式，其不可约因式只能是 \(f_A\) 不可约因式的子集，且幂次不超过 \(f_A\) 中对应因式的幂次）。
因此，两个条件中满足其一即可（"两个有一个就够了，这两个有一个的互相推导"）。⏱ 04:15
推论 4（矩阵版本）
\(F\) 上 \(N\) 阶矩阵 \(A\) 相似于一个 Jordan 形矩阵，当且仅当 \(A\) 的特征多项式或最小多项式在 \(F[t]\) 中可分解为一次因式之积。
特殊情况
若 \(F = \mathbb{C}\)（复数域），由代数基本定理，任意多项式均可分解为一次因式之积，故复数域上的任意 \(N\) 阶矩阵均有 Jordan 标准形。⏱ 05:10
2Jordan 标准形定理（完整版本） ⏱ 05:30
Jordan 标准形定理
设 \(A\) 为 \(F\) 上 \(N\) 阶矩阵，其最小多项式 \(m_A(t)\) 在 \(F[t]\) 中可分解为一次因式之积，特征值为 \(\lambda_1, \lambda_2, \dots, \lambda_S\)，对应的幂零指数（最大 Jordan 块阶数）为 \(L_1, \dots, L_S\)。则 \(A\) 相似于唯一的（除 Jordan 块排列次序外）Jordan 形矩阵 \(J\)：
\[ J = \begin{pmatrix}
J_1 & & & \\
& J_2 & & \\
& & \ddots & \\
& & & J_S
\end{pmatrix}, \]
其中 \(J_j\) 由 \(N_{j,T}\) 个 \(T\) 级 Jordan 块（主对角线为 \(\lambda_j\)）组成，\(T = 1, 2, \dots, L_j\)。各参数由下式确定：
\[ N_j = N - \mathrm{rank}(A - \lambda_j I), \]
\[ N_{j,T} = \mathrm{rank}\bigl((A-\lambda_j I)^{T-1}\bigr) - 2\,\mathrm{rank}\bigl((A-\lambda_j I)^{T}\bigr) + \mathrm{rank}\bigl((A-\lambda_j I)^{T+1}\bigr). \]
Jordan 形矩阵 \(J\) 的主对角线上的元素是 \(A\) 的全部特征值（按代数重数重复）。⏱ 06:00
老师强调
"千万别写很容易算成矩阵 \(A\) 的秩了……我的教学经验，往往做来做去忘了，就写成了 \(A\) 的秩。" 公式中必须是 \(A - \lambda_j I\) 的秩，不是 \(A\) 的秩。⏱ 06:45
3特征多项式、最小多项式与 Jordan 标准形 ⏱ 07:30
本集重点讨论了特征多项式 \(f_A(t)\) 与最小多项式 \(m_A(t)\) 与 Jordan 标准形 \(J\) 之间的关系：
3.1 特征多项式由 Jordan 标准形决定
Jordan 形矩阵 \(J\) 的特征多项式为
\[ f_J(t) = \prod_{j=1}^{S} (t-\lambda_j)^{\alpha_j}, \]
其中 \(\alpha_j\) 为 \(\lambda_j\) 的代数重数（即 \(\lambda_j\) 对应的 Jordan 块阶数之和：\(\alpha_j = \sum_{T=1}^{L_j} T \cdot N_{j,T}\)）。由于相似矩阵有相同的特征多项式，\(f_A(t) = f_J(t)\)。⏱ 08:00
3.2 最小多项式由 Jordan 标准形决定
Jordan 形矩阵 \(J\) 的最小多项式为
\[ m_J(t) = \mathrm{lcm}\left((t-\lambda_1)^{L_1}, (t-\lambda_2)^{L_2}, \dots, (t-\lambda_S)^{L_S}\right) = (t-\lambda_1)^{L_1} \cdots (t-\lambda_S)^{L_S}, \]
其中 \(L_j\) 为 \(\lambda_j\) 对应的最大 Jordan 块阶数（各 Jordan 块最小多项式的首一最小公倍式）。由于相似矩阵有相同的最小多项式，\(m_A(t) = m_J(t)\)。⏱ 08:30
关系总结
- 特征多项式：\(f_A(t) = \prod_j (t-\lambda_j)^{\alpha_j}\)，\(\alpha_j\) = \(\lambda_j\) 的代数重数 = \(\sum_T T \cdot N_{j,T}\)；
- 最小多项式：\(m_A(t) = \prod_j (t-\lambda_j)^{L_j}\)，\(L_j\) = \(\lambda_j\) 对应的最大 Jordan 块阶数 = \(\max\{T : N_{j,T} > 0\}\)；
- 两者根相同（均为 \(\lambda_1, \dots, \lambda_S\)），重数可不同：\(L_j \leq \alpha_j\)。
判断技巧：老师指出，给出具体的矩阵时，特征多项式通常较容易计算（取 \(\det(A-tI)\)）；而对某些特殊的线性变换（如对合变换 \(A^2 = I\)、幂等变换 \(A^2 = A\)），最小多项式往往更容易直接写出。因此"各种情况下，你分别有不同的办法，用特征多项式或者最小多项式"。⏱ 09:15
例
对合变换（\(A^2 = I\)）：最小多项式整除 \(t^2 - 1 = (t-1)(t+1)\)，故可分解为一次因式之积，必有 Jordan 标准形（所有 Jordan 块至多 1 级，即 \(A\) 可对角化，特征值为 \(\pm 1\)）。
4与对角化的对比 ⏱ 10:00
本集将 Jordan 标准形与对角化进行了系统对比：
| 对比项 | 对角化 | Jordan 标准形 |
|---|---|---|
| 存在条件 | \(A\) 有 \(N\) 个线性无关的特征向量（等价地，\(\dim E_{\lambda_j} = \) 代数重数，对所有 \(j\)） | 最小多项式（或特征多项式）在 \(F[t]\) 中可分解为一次因式之积 |
| 矩阵形式 | 对角矩阵（所有 Jordan 块均为 1 级） | 分块对角矩阵（允许高阶 Jordan 块） |
| 与对角化的关系 | 是 Jordan 标准形的特例：\(N_j = \alpha_j\) 对所有 \(j\)（即 \(\lambda_j\) 的几何重数等于代数重数） | 包含对角化：若所有 \(N_{j,T} = 0\)（\(T \geq 2\)），则 Jordan 形即为对角形 |
| 唯一性 | 对角矩阵除特征值排列外唯一 | Jordan 块除排列次序外唯一 |
| 复数域 | 不一定可对角化（如 \(\begin{pmatrix}1&1\\0&1\end{pmatrix}\)） | 恒有 Jordan 标准形（代数基本定理） |
关键判据
\(A\) 可对角化 \(\Leftrightarrow\) 对每个特征值 \(\lambda_j\)，\(\dim\ker(A-\lambda_j I) = \alpha_j\)（几何重数 = 代数重数）\(\Leftrightarrow\) 所有 \(N_{j,T} = 0\)（\(T \geq 2\)）（所有 Jordan 块均为 1 级）。⏱ 10:30
5相似判定：Jordan 标准形唯一性应用 ⏱ 11:00
老师指出：我们已经学了很多相似不变量（秩、特征多项式、最小多项式等），但"它们都相等的话，它也不见得相似"（如两个矩阵可以有相同的特征多项式和最小多项式但 Jordan 标准形不同）。⏱ 11:30
推论 5 · 相似判定（Jordan 标准形）
设 \(A, B\) 均为 \(F\) 上 \(N\) 阶矩阵，若它们的最小多项式（或特征多项式）在 \(F[t]\) 中可分解为一次因式之积，则
\[ A \sim B \iff A \text{ 与 } B \text{ 有相同的 Jordan 标准形（除 Jordan 块排列次序外）}. \]
证明思路
方向 \(\Rightarrow\)：设 \(A \sim B\)，即存在可逆矩阵 \(P\) 使 \(B = P^{-1}AP\)。由 Jordan 标准形定理，\(A\) 相似于 \(J_1\)，\(B\) 相似于 \(J_2\)。由相似的传递性：\(J_1 \sim A \sim B \sim J_2\)，故 \(J_1 \sim J_2\)。由于 Jordan 标准形除块排列外唯一，\(J_1\) 与 \(J_2\) 除排列外相同。⏱ 12:30
方向 \(\Leftarrow\)：设 \(A\) 与 \(B\) 有相同的 Jordan 标准形（除排列外），即存在 \(J\)（Jordan 形）使 \(A \sim J\)，\(B \sim J\)。由相似的传递性，\(A \sim B\)。证毕。
老师特别强调："补数域以上矩阵肯定满足这个条件，所以两个 \(N\) 阶复数矩阵相似的充要条件是：它们有相同的 Jordan 标准形（除 Jordan 块的排列次序以外）。"⏱ 13:00
计算量说明
老师指出，判断两矩阵是否相似有两种方法：(1) 计算各自的 Jordan 标准形再比较；(2) 书上九点六节（命题 6 附近）提到的凯莱-哈密顿型方法（"凯体字"即 Cayley-Hamilton 相关）。两种方法都有一定计算量，对于 3 阶、4 阶矩阵，方法 (1) 的枚举法往往更快捷。"我采用这个办法"（指 Jordan 标准形比较法）。⏱ 13:30
6有理标准型（简介，课上未详细展开） ⏱ 17:20
本集末尾，老师简要提到了有理标准型（Rational Canonical Form），但明确表示"今天已经来不及了"，只做了概念性介绍：
概念 · 有理标准型
当最小多项式（或特征多项式）不能分解为一次因式之积时（例如在 \(\mathbb{Q}\) 或 \(\mathbb{R}\) 上，特征多项式含不可约二次或多项因式），矩阵 \(A\) 不一定有 Jordan 标准形。此时用不可约多项式代替一次因式，构造准同伴矩阵（companion-like matrix），得到分块对角矩阵，称为有理标准形。
核心思想（老师简述）：⏱ 18:00
- 给定一个矩阵 \(A\)（或其对应的线性变换），对每个不可约多项式因子 \(p(t)\)，构造准同伴矩阵（companion matrix of \(p(t)\) 的幂次）；
- 所有准同伴矩阵拼成分块对角矩阵，即有理标准形；
- 有理标准形由 \(A\) 的不变因子（invariant factors）唯一确定；
- Jordan 标准形是有理标准形在"特征多项式可分解为一次因式之积"时的特例。
注意
老师说明："那个东西不能（用 Jordan 形），我通过例子来说……它叫有理标准形。" 课上仅做了概念介绍，未展开定理和证明。具体内容（不变因子的计算、准同伴矩阵的构造）在书上九点六节，老师建议"你先别看，以后你发现有时你再看，明年后年你毕业以后看也都可以"。⏱ 18:45
有理标准形 vs Jordan 标准形
- Jordan 标准形：要求特征多项式可分解为一次因式之积（在扩域上总成立，在 \(\mathbb{R}\) 或 \(\mathbb{Q}\) 上不一定）；
- 有理标准形：对任意矩阵（在任意域上）都存在，用不可约多项式代替特征值；
- 在 \(\mathbb{C}\) 上，有理标准形与 Jordan 标准形等价（因为 \(\mathbb{C}[t]\) 中所有不可约多项式均为一次的）。
★重点回顾
1
相似于 Jordan 形矩阵的充要条件：\(A\) 的特征多项式或最小多项式在 \(F[t]\) 中可分解为一次因式之积（两个条件等价，满足其一即可）。复数域上恒成立。
2
Jordan 标准形定理：满足条件的 \(A\) 相似于唯一的（除块排列外）Jordan 形矩阵 \(J\)，主对角线为 \(A\) 的全部特征值，各参数由 \(N_j\) 和 \(N_{j,T}\) 公式确定。
3
特征多项式 vs 最小多项式：根相同，重数不同。特征多项式 \(f_A = \prod (t-\lambda_j)^{\alpha_j}\)（\(\alpha_j\) = 代数重数）；最小多项式 \(m_A = \prod (t-\lambda_j)^{L_j}\)（\(L_j\) = 最大 Jordan 块阶数）。\(L_j \leq \alpha_j\)。
4
与对角化对比：对角化是 Jordan 形的特例（所有块均为 1 级）。\(A\) 可对角化 \(\Leftrightarrow\) 几何重数 = 代数重数（对所有特征值）。
5
相似判定：\(A, B\) 满足一次因式条件时，\(A \sim B \Leftrightarrow\) \(A\) 与 \(B\) 有相同的 Jordan 标准形（除块排列外）。相同的特征多项式和最小多项式不足以保证相似。
6
有理标准形（简介）：当一次因式条件不满足时，用不可约多项式构造准同伴矩阵，得有理标准形。对任意域上任意矩阵都存在。课上未展开，详见书上九点六节。
⚠易错点提醒
常见错误
- "最小多项式可分解为一次因式之积" 与 "特征多项式可分解为一次因式之积" 的混淆：两者等价（可互相推导），但表述不同。最小多项式分解的幂次 ≤ 特征多项式分解的幂次。例如 \(A\) 的特征多项式为 \((t-1)^3\)，最小多项式可能为 \((t-1)^2\)（最大 Jordan 块为 2 级）或 \((t-1)^3\)（最大块为 3 级）。
- \(N_j = N - \mathrm{rank}(A-\lambda_j I)\) 中写错为 \(\mathrm{rank}(A)\)：老师反复强调这是"教学经验"中的典型错误，务必写 \(A - \lambda_j I\)。
- "相同的特征多项式 + 最小多项式" 不保证相似：例如 \(J = \begin{pmatrix} 1&1\\0&1 \end{pmatrix}\) 与 \(I_2\) 的特征多项式均为 \((t-1)^2\)，但 \(J\) 的最小多项式为 \((t-1)^2\) 而 \(I_2\) 为 \((t-1)\)，不相似。但两个矩阵 \(J_1 = \begin{pmatrix} 1&1\\0&1 \end{pmatrix}\) 和 \(J_2 = \begin{pmatrix} 1&0\\0&1 \end{pmatrix}\) 有不同的最小多项式，也不相似。真正的反例需要找最小多项式相同但 Jordan 块分布不同的情况（如 3 阶矩阵）。
- 有理标准形概念混淆：有理标准形是"不可约多项式 + 准同伴矩阵"的组合，不是"把复数特征值实数化"。在 \(\mathbb{R}\) 上，若特征值含共轭复数对 \(a \pm bi\)，对应的不可约二次因式为 \((t-a)^2 + b^2\)，其准同伴矩阵为 2 阶实矩阵。
- 对角化 ≠ Jordan 形：Jordan 形是比对角形更一般的形式。"有 Jordan 标准形" 比 "可对角化" 条件弱。例如 \(\begin{pmatrix} 1&1\\0&1 \end{pmatrix}\) 有 Jordan 标准形（就是自身），但不可对角化。
✎自测与作业
- 设 \(A = \begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \end{pmatrix}\)。求 \(A\) 的特征多项式和最小多项式，写出其 Jordan 标准形，并判断 \(A\) 是否可对角化。
- 设 \(B = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{pmatrix}\)（nilpotent 3 阶 Jordan 块）。求 \(B\) 的特征多项式和最小多项式，写出其 Jordan 标准形，并计算 \(\mathrm{rank}(B), \mathrm{rank}(B^2), \mathrm{rank}(B^3)\)。
- 设 \(A, B\) 为复数域上 3 阶矩阵，\(A\) 的特征多项式为 \((t-1)^2(t-2)\)，最小多项式为 \((t-1)^2(t-2)\)；\(B\) 的特征多项式相同，最小多项式为 \((t-1)(t-2)\)。判断 \(A\) 与 \(B\) 是否相似，并分别写出它们的 Jordan 标准形。
- （证明）设 \(A\) 为 \(F\) 上 \(N\) 阶矩阵。证明 \(A\) 可对角化当且仅当对每个特征值 \(\lambda_j\)，\(\dim\ker(A-\lambda_j I) =\) \(\lambda_j\) 的代数重数（即所有 \(N_{j,T} = 0\) 对 \(T \geq 2\)）。
- （判断）设 \(C = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\)（对应旋转 90° 的矩阵），求其特征多项式和最小多项式。\(C\) 在 \(\mathbb{R}\) 上是否有 Jordan 标准形？在 \(\mathbb{C}\) 上是否有？（提示：特征值为 \(\pm i\)。）
- （选做）设 \(D\) 为 \(\mathbb{Q}\) 上 4 阶矩阵，特征多项式为 \(t^4 - 2\)（不可约四次多项式）。描述 \(D\) 的有理标准形的大致结构（提示：\(t^4-2\) 在 \(\mathbb{Q}[t]\) 中不可约，对应的准同伴矩阵为 4 阶）。
下一集预告
第 P118 集（后续集数将继续课程，本集为 Jordan 标准形理论的高潮与收束，后续将进入新的章节）。