定义陈述
不变子空间
设 是线性变换, 是子空间。若 ,则称 是 的不变子空间(invariant subspace)。
最小多项式
的最小多项式(minimal polynomial) 是使得 的次数最低的首一多项式。 整除 。
Jordan 标准形
若 在 上可分解为一次因式之积,则 相似于Jordan 标准形(Jordan canonical form)——由 Jordan 块 组成的块对角矩阵。
直觉理解
- 不变子空间:变换后还在自己里面的方向——对特征向量的推广。
- 最小多项式:使矩阵”归零”的最低次多项式——比特征多项式更精细。
- Jordan 标准形:几乎所有矩阵(在代数闭域上)在对角化失败时的”最佳替代”——尽量对角化,剩余部分用 1 处理。
链接
- 前置:ALG-DEF-035 特征值
- 用于:ALG-THM-042 最小多项式、ALG-THM-043 Jordan 标准形