我们知道,线性变换的零化多项式是存在的,并且其特征多项式就是一个次零化多项式,从单位矩阵的零化多项式可以是这个一次式中受到启发,是否存在次数更小的多项式是一个矩阵的零化多项式。故我们来定义最小多项式的概念。
最小多项式[]
对于一个方阵,我们称它首项系数为的次数最低的零化多项式是的最小多项式(minimal polynomial),记作,根据零化多项式的定义得到。
这样的多项式一定是存在且唯一的,存在性是自然的,如果它不是唯一的,设有两个次数相同的首一多项式,它们都是零化多项式,则它们的差必然也是零化多项式,然而这个差的多项式次数一定小于原来两个最小多项式的次数,这样就与最小多项式次数最低相矛盾。
相关定理[]
最小多项式是零化多项式的因子[]
多项式是的零化多项式当且仅当。因此
由这个定理我们可以在求最小多项式时将范围缩小至特征多项式的因子上去。同时我们还可以知道一般来说,最小多项式的次数可能低于特征多项式的次数,但绝不会超过特征多项式次数。
相似矩阵具有相同的最小多项式[]
如果存在可逆矩阵,使得,那么。
但是最小多项式相同的矩阵不一定相似,这一点和特征多项式是一样的,特征多项式相同的矩阵也不一定相似。
最小多项式保留了特征根因式[]
因为最小多项式是特征多项式的因式,我们不禁会问最小多项式中到底有哪些因式。实际上可以证明,一个矩阵的所有特征根是且仅是最小多项式的根,这也就是说,最小多项式保留了特征值多项式中的所有不同的一次因式,仅有因式的重数可能比特征多项式低。这进一步限制了我们找最小多项式的范围:最小多项式中必须出现特征多项式的一次因式。
此外,设,则。
与特征矩阵的关系[]
设,则它的最小多项式就是的特征矩阵的第个不变因子,这是求解一个矩阵的最小多项式的有效通法。
上下节[]
参考资料
- 郭聿琦, 岑嘉评, 王正攀, 《高等代数教程》, 科学出版社, 北京, 2014-07, ISBN
978-7-0304-0417-6
.
线性代数(学科代码:1102110,GB/T 13745—2009) | |
---|---|
矩阵 | 矩阵的转置 ▪ 矩阵的逆 ▪ 对角矩阵 ▪ 初等矩阵 ▪ 等价标准型 ▪ 分块矩阵 ▪ 伴随矩阵 ▪ 酉矩阵(正交矩阵) ▪ Hermite 矩阵(实对称矩阵) ▪ 正规矩阵(实正规矩阵) ▪ 幂等矩阵 ▪ 幂零矩阵 ▪ 对合矩阵 ▪ 秩一矩阵 >>另参见数值分析<< |
行列式 | Vandermonde 行列式 ▪ 行列式的展开 ▪ Laplace 展开 ▪ 三角行列式 ▪ 三对角行列式 ▪ 行列式的计算 ▪ 析因子法 |
向量组理论 | 向量组 ▪ 替换定理 ▪ 矩阵的秩 ▪ 矩阵的迹 |
线性方程组 | Cramer 法则 ▪ 基础解系(解的结构)>>另参见数值分析<< |
线性空间和内积空间 | 线性空间的维数和基底 ▪ 线性空间的坐标变换 ▪ 线性空间的同构 ▪ 线性子空间 ▪ 线性空间的直和 ▪ 维数公式 ▪ 线性空间上的线性函数 ▪ 双线性函数 ▪ 对称双线性度量空间 ▪ 正交补空间 ▪ 内积 ▪ Euclid 空间 ▪ 向量到子空间的距离 ▪ 最小二乘法 ▪ Gram-Schmidt 正交化 |
线性变换 | 线性映射 ▪ 线性变换 ▪ 线性变换的运算 ▪ 自同构变换 ▪ 线性变换的特征值和特征向量 ▪ 特征子空间 ▪ 特征多项式 ▪ 零化多项式 ▪ 最小多项式 ▪ 关联矩阵的特征根 ▪ 线性空间的直和分解 ▪ 幂等线性变换 ▪ 正交变换 ▪ 正定矩阵 ▪ 半正定矩阵 |
矩阵标准型 | 相似标准型 ▪ λ-矩阵 ▪ 数字矩阵的特征矩阵 ▪ Frobenius 标准形 ▪ Jacobson 标准形 ▪ Jordan 标准形 |
二次型理论 | 二次型(实二次型) ▪ 二次型的化简 ▪ 正定二次型 ▪ 一对实二次型同时化简 |
所在位置:数学(110)→ 代数学(11021)→ 线性代数(1102110) |