形式陈述
设 T : V → V 是域 F 上有限维向量空间的线性算子 公理库 线性映射 Linear map · Linear transformation 保持向量加法和标量乘法的函数。 。在多项式环 公理库 多项式环 Polynomial ring 系数来自给定环、以形式不定元构造的多项式集合。 F [ x ] 中,按函数复合 公理库 函数复合 Function composition · Composition of maps 按先 f 后 g 的次序把映射串联为 g∘f。 解释 T 的幂次;代入映射 p ↦ p ( T ) 的核
I T = { p ∈ F [ x ] : p ( T ) = 0 } 是 F [ x ] 的理想。所有线性算子组成有限维空间,因此 I , T , T 2 , … 线性相关,得到 I T ≠ { 0 } 。由于 F [ x ] 是主理想整环,存在唯一首一多项式 m T 使 I T = ( m T ) 。
这个 m T 就是极小多项式 :次数最低的非零首一消去多项式。所有消去关系都由它生成,即 p ( T ) = 0 当且仅当 m T ∣ p 。Cayley–Hamilton 定理给出 m T ∣ χ T 。T 在 F 上可对角化,当且仅当 m T 在 F [ x ] 中分裂为互异一次因子的乘积。
直觉
若 m T ( x ) = x d + a d − 1 x d − 1 + ⋯ + a 0 ,代入算子就得到
T d = − a d − 1 T d − 1 − ⋯ − a 0 I . 因此 T d 及其后的每个幂都能化为前 d 个幂的线性组合。次数的极小性表示在这之前,I , T , … , T d − 1 仍线性无关。极小多项式由此确定了整个算子所需的最短幂递推。
例子与边界
在 n ≥ 1 维空间上,恒等算子的极小多项式是 x − 1 ,而特征多项式是 ( x − 1 ) n :无论维数多大,关系 I − I = 0 已经控制它的全部幂。
取
A = ( 0 − 1 1 0 ) 作为实向量空间上的旋转算子。它满足 A 2 + I = 0 ,又不是标量矩阵,所以没有一次多项式能消去它,极小多项式为 x 2 + 1 。将同一矩阵视为复矩阵后,极小多项式仍是 x 2 + 1 ,但它现在分裂为 ( x − i ) ( x + i ) ,因此算子在复数域上可对角化。变化的是因式分解及可对角化性。
与域中代数元的极小多项式 公理库 极小多项式 Minimal polynomial 以给定代数元为根的首一不可约多项式。 相比,算子的极小多项式不必不可约。域中非零元素的乘积不能为零;非零算子相乘却可以成为零算子,所以同一个不可约性论证不再成立。
极小多项式记录最大的消去阶数,而特征多项式还记录总重数。例如 diag ( 1 , 1 , 2 ) 与 diag ( 1 , 2 , 2 ) 的极小多项式都是 ( x − 1 ) ( x − 2 ) ,特征多项式却分别为 ( x − 1 ) 2 ( x − 2 ) 与 ( x − 1 ) ( x − 2 ) 2 ,因此不相似。
推论与应用
计算多项式函数 p ( T ) 时,可以先作带余除法 p = q m T + r ,直接得到 p ( T ) = r ( T ) ,其中 deg r < deg m T 。Cayley–Hamilton 定理 公理库 Cayley–Hamilton 定理 Cayley–Hamilton theorem 每个有限维线性算子都满足自己的特征多项式。 也提供消去多项式,而极小多项式把余式所需的次数压到最低。
在Jordan 标准形 公理库 Jordan 标准形 Jordan canonical form · Jordan normal form 在特征多项式分裂时,把有限维算子表示成 Jordan 块直和。 中,( x − λ ) 在 m T 中的指数等于特征值 λ 的最大块尺寸。所有指数都为 1 ,就对应可对角化 公理库 对角化 Diagonalization 在线性算子存在由特征向量构成的基时把其矩阵化为对角形。 。
对固定起始向量 v ,使 p ( T ) v = 0 的最低次首一多项式可以比 m T 更低。若其次数为 d ,则 v , T v , … , T d − 1 v 线性无关,T d v 已由它们生成;这正是Krylov 子空间 公理库 Krylov 子空间 Krylov subspace 从初始向量反复施加矩阵,生成只依赖矩阵—向量乘法的递增子空间及其 Arnoldi、Lanczos 正交基。 停止增维的位置。
参考资料