Skip to content

定义Definition

线性算子的极小多项式

Minimal polynomial of an operator

首一且次数最低、代入算子后为零的非零多项式。

形式陈述 ​

设 T:V→V 是域 F 上有限维向量空间的线性算子。在多项式环 F[x] 中,按函数复合解释 T 的幂次;代入映射 p↦p(T) 的核

IT={p∈F[x]:p(T)=0}

是 F[x] 的理想。所有线性算子组成有限维空间,因此 I,T,T2,… 线性相关,得到 IT≠{0}。由于 F[x] 是主理想整环,存在唯一首一多项式 mT 使 IT=(mT)。

这个 mT 就是极小多项式:次数最低的非零首一消去多项式。所有消去关系都由它生成,即 p(T)=0 当且仅当 mT∣p。Cayley–Hamilton 定理给出 mT∣χT。T 在 F 上可对角化,当且仅当 mT 在 F[x] 中分裂为互异一次因子的乘积。

直觉

若 mT(x)=xd+ad−1xd−1+⋯+a0,代入算子就得到

Td=−ad−1Td−1−⋯−a0I.

因此 Td 及其后的每个幂都能化为前 d 个幂的线性组合。次数的极小性表示在这之前,I,T,…,Td−1 仍线性无关。极小多项式由此确定了整个算子所需的最短幂递推。

例子与边界

在 n≥1 维空间上,恒等算子的极小多项式是 x−1,而特征多项式是 (x−1)n:无论维数多大,关系 I−I=0 已经控制它的全部幂。

取

A=(0−110)

作为实向量空间上的旋转算子。它满足 A2+I=0,又不是标量矩阵,所以没有一次多项式能消去它,极小多项式为 x2+1。将同一矩阵视为复矩阵后,极小多项式仍是 x2+1,但它现在分裂为 (x−i)(x+i),因此算子在复数域上可对角化。变化的是因式分解及可对角化性。

与域中代数元的极小多项式相比,算子的极小多项式不必不可约。域中非零元素的乘积不能为零;非零算子相乘却可以成为零算子,所以同一个不可约性论证不再成立。

极小多项式记录最大的消去阶数,而特征多项式还记录总重数。例如 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=qmT+r,直接得到 p(T)=r(T),其中 deg⁡r<deg⁡mT。Cayley–Hamilton 定理也提供消去多项式,而极小多项式把余式所需的次数压到最低。

在Jordan 标准形中,(x−λ) 在 mT 中的指数等于特征值 λ 的最大块尺寸。所有指数都为 1,就对应可对角化。

对固定起始向量 v,使 p(T)v=0 的最低次首一多项式可以比 mT 更低。若其次数为 d,则 v,Tv,…,Td−1v 线性无关,Tdv 已由它们生成;这正是Krylov 子空间停止增维的位置。

参考资料
关系图谱25 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系