相似、不变子空间与若尔当标准形
本文基于模型知识整理（生成时未联网核对），关键结论建议对照 Axler 第 8 章 / Strang §6.6 复核。
一句话定义
相似（$B=P^{-1}AP$）是"同一变换在不同基下的编码"——共享特征多项式、行列式、迹与秩；对角化失败（特征向量不足）时，矩阵仍可化到最接近的规范形——若尔当标准形：对角块叠加超对角的 1，缺陷以"广义特征向量链"的形式被驯服。
为什么重要
它回答"对角化失败后怎么办"：不是所有矩阵都恰好有 n 个独立方向（kp-013 的反例），若尔当形给出最细的行为分类，并解释幂的退化行为（$\lambda^k k$ 项的出现）。理论上它划定"谱"能告诉你什么与不能什么；实践上知道它的存在即可——数值计算几乎从不真正构造它（kp-023 说明它数值病态）。
前置知识
kp-013（对角化及其失败）。
核心概念
- 相似：$B=P^{-1}AP$——换基编码；不变量：特征多项式/特征值、行列式、迹、秩、若尔当结构。相似 ⟺ 同一若尔当形（重排列不计）。
- 广义特征向量：满足 $(A-\lambda I)^k v=0$ 的向量（k>1）；链 $v_1$（真特征向量）← $v_2$ ← … 串起一个若尔当块。
- 若尔当块：$J_k(\lambda)=\lambda I + N$，N 超对角为 1 其余为 0；$J_k(\lambda)^m = \lambda^m I + m\lambda^{m-1}N + \dots$——幂中出现多项式因子 $k\lambda^{k-1}$ 的根源。
- 标准形：任何复方阵相似于其若尔当标准形（块对角）；实矩阵用实若尔当形（旋转块）处理复特征值。
- 何时不需它：对称矩阵（kp-015）永不缺陷；数值实践用 SVD 规避（kp-018）。
原理与机制
为什么对角化会失败：几何重数 < 代数重数——$\lambda$ 的"独立方向"不够填满其重数名额。缺陷案例 $A=\begin{bmatrix}1&1\\0&1\end{bmatrix}$：λ=1 二重但只有 $(1,0)$ 一个方向；$A$ 的动作=缩放+剪切，任何坐标变换都无法把"剪切"消除为纯缩放——剪切是内在的非对角性。
若尔当块如何驯服剪切：块内 $J=\lambda I+N$，N 是"平移一格"的幂零算子（$N^k=0$）——所有缺陷被浓缩进一个幂零块；幂展开 $J^m=\sum\binom{m}{j}\lambda^{m-j}N^j$ 解释了缺陷矩阵幂的多项式增长（对照 kp-013 的纯指数 $\lambda^k$）。
判别流程：① 求特征值（代数重数）；② 对每个 λ 算几何重数（零空间维数）；③ 全部相等 → 对角化；④ 有缺口 → 相应若尔当块补链。实践意义：不用真建 J，只需知道"缺几个方向、缺在哪"即可预测行为（如幂的渐近含 $k\lambda^{k-1}$）。
图示
相似: B = P⁻¹AP (同一动作, 换基编码)
不变量: 特征值 | det | tr | 秩 | J 结构
若尔当块: J₂(λ) = [λ 1; 0 λ] (缩放+一格剪切)
J^m = λ^m I + mλ^{m−1}N ← 幂多出多项式项
缺陷判别: 几何重数 < 代数重数 ⇒ 需若尔当块直观类比
对角化失败像"翻译不通的拳谱"：某些动作（剪切）在任何语言里都保留一丝拧劲，无法翻译成纯缩放。若尔当形是最诚实的翻译：承认"缩放 λ + 一点点拧（超对角 1）"，并精确记录拧的程度（块大小）。
实例或案例
- 差分方程解形态：缺陷重根的递推解含 $c\cdot k\lambda^k$ 项（特征根法中"重根乘 n"的线代根源）。
- 控制论：若尔当块=系统的不可解耦模态；能控性/能观性分析按块检查。
- 数值警告：J 对扰动极不连续（微小噪声即拆散大块）——所以数值软件（LAPACK）只输出 Schur 形（正交三角）而不输出若尔当形（kp-032）。
常见误区
- 误区一："特征值相同=相似"。否——同谱不同构（$\begin{bmatrix}0&0\\0&0\end{bmatrix}$ 与 $\begin{bmatrix}0&1\\0&0\end{bmatrix}$ 同谱但不相似，J 结构不同）。
- 误区二："不可对角化=病态矩阵"。"病态"是数值概念（kp-023）；缺陷是精确代数结构，无噪世界完全合法。
- 误区三："每个实矩阵都有实若尔当形"。复特征值需要 2×2 旋转块（实若尔当形）或换到复空间（kp-025）。
与其他知识点的关系
自测题
- 判断 $\begin{bmatrix}5&1\\0&5\end{bmatrix}$ 与 $\begin{bmatrix}5&0\\0&5\end{bmatrix}$ 是否相似。
答：不相似——特征值同为 5,5，但前者几何重数 1（一个若尔当块 $J_2(5)$）、后者 2（两个 $J_1(5)$），J 结构不同。
- $\begin{bmatrix}2&1\\0&2\end{bmatrix}^{10}$ 的形态？
答：$2^{10}I + 10\cdot 2^9 N$（N 超对角 1）——主项 $512\cdot 2^{10}$ 之外多出 $10\cdot2^9$ 的剪切项。
- 为什么数值计算不构造若尔当形？
答：J 对扰动不连续（病态），浮点噪声即改变块结构；数值方法改用稳定的 Schur 形 $A=QTQ^\top$（T 三角）。
延伸阅读
- Axler《Linear Algebra Done Right》第 8 章（广义特征向量与若尔当形的现代证明）。
- Strang《Introduction to Linear Algebra》§6.6（若尔当形的实用讲解）。
- Trefethen & Bau《Numerical Linear Algebra》Lecture 24（Schur 形与数值替代）。