概念

标准型

对角化（特征基存在时）、若尔当标准型（一般情形）与有理标准型给出线性变换在基变换下的最简矩阵表示。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

标准型线性代数

01定义

基变换下矩阵会变形，标准型寻找「最简的代表」：可对角化时用对角阵，一般情况下用若尔当标准型（对角线上特征值、超对角线上 1 的块状结构）——它揭示线性变换的全部不变信息。

若尔当标准型：特征值在对角线，1 标记「不可对角化」的程度

特征向量构成基 $\iff$ 可对角化；对称矩阵必然可对角化（谱定理）——对称性保证最简结构，这是实对称矩阵在应用中无处不在的原因。

任何复方阵都相似于若尔当型：特征值不足的「缺口」用若尔当块填补；块的大小即广义特征向量链的长度——相似不变量由此完备。

不分裂的域（如 $\mathbb{Q}$ ）上用不变因子/有理标准型；它与若尔当型是同一思想在不同域上的实现。

A=PJP^{-1},\quad J=\operatorname{diag}(J_{\lambda_1},\dots,J_{\lambda_k})

A=A^T\Rightarrow A=Q\Lambda Q^T\quad(\text{谱定理})

若尔当 1870 年《置换与代数方程论》给出标准型的最早形式；魏尔斯特拉斯与弗罗贝尼乌斯用不变因子方法独立重建；谱定理则由希尔伯特在无穷维情形推广。

微分方程组 $\dot x=Ax$ 的通解由若尔当型直接写出；矩阵函数（ $e^A$ 、 $A^t$ ）的计算、振动模态分析都以标准型为算法骨架。

二次型 Q(x,y) = ax² + 2bxy + cy² 的标准型调整系数：椭圆 / 双曲线 / 平行线由特征值符号决定

a1.00b0.30c1.50