高等代数复习：极小多项式

本篇文章适合个人复习翻阅，不建议新手入门使用

极小多项式

定义和基本性质

定义：零化多项式
对 $n$ 阶矩阵 $A$ ，若存在一个非零首一多项式 $f(x)$，使得 $f(A)=0$，则称 $f$ 为 $A$ 的零化多项式

定义：极小多项式
$n$ 阶矩阵 $A$ 的零化多项式中的次数最小者称为 $A$ 的极小多项式

命题：极小多项式的存在性
任意 $n$ 阶矩阵 $A$ 均有零化多项式

证明思路
由于 $n$ 阶矩阵空间是 $n^2$ 维的，则下列 $n^2+1$ 个矩阵必线性相关
$$I,A,A^2,\dots ,A^{n^2}$$

即存在不全为零的数 $c_i,i=0,1,2,\dots ,n^2$，使得
$$c_{0}I+c_{1}A+c_2{A}^2+\cdots +c_{n^2}{A}^{n^2}=0$$

命题：极小多项式与零化多项式的关系
设 $A$ 的极小多项式为 $m(x)$，则对 $A$ 的任意零化多项式 $f(x)$，有 $m(x)\mid f(x)$

证明思路
做带余除法易证

命题：极小多项式的唯一性
任意 $n$ 阶矩阵的极小多项式唯一

性质

命题：极小多项式与相似的关系
相似的矩阵有相同的极小多项式

证明思路
设 $m$ 表示极小多项式
$$m(B)=m(P^{-1}AP)=P^{-1}m(A)P$$

命题：分块对角阵的极小多项式
设 $A$ 是一个分块对角阵
$$A=\left(\begin{array}{cccc}{A}_1& & & \\ & A_2& & \\ & & \ddots & \\ & & & A_k\end{array}\right)$$

其中 $A_i$ 都是方阵，则 $A$ 的极小多项式 $m(x)$ 等于诸 $A_i$ 的极小多项式 $m_i(x)$ 的最小公倍式 $g(x)$

证明思路
由 $g(A_i)=0$，得
$$g(A)=\left(\begin{array}{cccc}g(A_1)& & & \\ & g(A_2)& & \\ & & \ddots & \\ & & & g(A_k)\end{array}\right)=0$$

从而 $m(x)\mid g(x)$

又由 $m(A_i)=0$ 得 $m_i(x)\mid m(x)$，从而最小公倍式 $g(x)\mid m(x)$

命题：极小多项式的根
设 $m(x)$ 是 $n$ 阶方阵 $A$ 的极小多项式，${\lambda }_0$ 是 $A$ 的特征值，则
$$(x-{\lambda }_0)\mid m(x)$$

证明思路
只需证对任意零化多项式，特征值必为其根

Hamilton-Cayley定理
设 $A$ 是数域 $\mathbb{K}$ 上的 $n$ 阶矩阵，$f(x)$ 是 $A$ 的特征多项式，则 $f(A)=0$

证明
设 $A$ 复相似于上三角阵 $B$，即存在可逆阵 $P$，使得 $P^{-1}AP=B$，它们共同的特征多项式为
$$f(x)=x^n+a_1{x}^{n-1}+\cdots +a_n$$

则 $f(B)=0$，从而 $f(A)=Pf(B)P^{-1}=0$

推论：极小多项式与特征多项式的关系

1. 极小多项式是特征多项式的因式
2. 极小多项式的次数不超过 $n$
3. 极小多项式和特征多项式有相同的根（不计重数）

参考书：《高等代数学》谢启鸿 姚慕生 吴泉水 编著