根据哈密顿-凯莱定理,任给数域P上的一个n级矩阵A,总可以找到数域P上一个多项式使如果多项式使我们就称以A为根。以A为根的多项式是很多的,其中次数最低的首项系数为1的以A为根的多项式称为A的最小多项式。
讨论如何应用最小多项式来判断一个矩阵能否对角化.
引理1:矩阵A的最小多项式是唯一的。
引理2:设是矩阵A的最小多项式,那么以A为根的充分必要条件是整除.
由此可知,矩阵A的最小多项式是A的特征多项式的一个因式。
例1:数量矩阵kE的最小多项式为x-k,特别地,单位矩阵的最小多项式为x-1,零矩阵的最小多项式为x.
另一方面,如果A的最小多项式是1次多项式,那么A一定是数量矩阵。
例2:设求A的最小多项式
解:因为A的特征多项式为所以A的最小多项式为的因式,而因此A的最小多项式为
如果矩阵A与B相似:那么对任一多项式因此当且仅当这说明相似矩阵具有相同的最小多项式,反之不然,即最小多项式相同的矩阵不一定是相似的。
例3:设A与B的最小多项式都等于但是它们的特征多项式不同,因此A和B不是相似的。
引理3:
设A是一个准对角矩阵并设的最小多项式为的最小多项式为那么A的最小多项式为的最小公倍式
这个矩阵可以推广到A为若干个矩阵组成的准对角矩阵的情形,即:如果的最小多项式为那么A的最小多项式为
证明:记首先因此能被A的最小多项式整除。其次,如果那么所以因而并由此得这样就证明了是A的最小多项式。
引理4:
K级若尔当块的最小多项式为
证明:J的特征多项式为而所以J的最小多项式为
定理
数域P上n级矩阵A与对角矩阵相似的充分必要条件为A的最小多项式是P上互素的一次因式的乘积。
推论:复数矩阵A与对角矩阵相似的充分必要条件是A的最小多项式没有重根。