相似变换是矩阵的一种重要的变换，本章研究矩阵在相似变换下的简化问题，这是矩阵理论的基本问题之一。这种分解简介形式在许多领域中都有重要的作用。
哈密顿-凯莱定理以及矩阵的最小多项式
本节讨论特征多项式的性质，并讨论另一种重要的多项式-最小多项式。
哈密顿-凯莱定理
- 定理3.1：(哈密顿-凯莱定理)每个n nn阶矩阵都是它的特征多项式的根，设A 为n阶矩阵，
最小多项式
一般地说，若A 是一个方阵，φ ( A )是一个多项式，φ ( A ) = O 这种多项式叫作矩阵A 的零化多项式，可见每一个矩阵都有零化多项式，并且零化多项式一定有无穷多个，因为特征多项式乘以任何一个多项式还是零化多项式。
那有没有一个次数最低的零化多项式呢？
- 定义3.1：设
，在A 的零化多项式中，次数最低的首项系数为1的多项式，称为矩阵A 的最小多项式，记作m ( λ ) - 定理3.2：矩阵A 的任何零化多项式都能被它的最小多项式整除。
- 定理3.3：矩阵A 的最小多项式唯一。
- 定理3.4 ：矩阵A 的特征多项式的根一定是最小多项式的根，反过来，最小多项式的根也一定是特征多项式的根。
矩阵的相似对角
把矩阵化为对角形对于解决很多问题都有帮助，如解微分方程组：
如果能化为上一个计算的形式，就很方便求解。
是否可以对角化？
解 因为：
矩阵A 的特征值为-1，-2，-3。
由于A 的三个特征值互不相同，固A 有三个线性无关的特征向量，A 可以对角化，进一步可以得到特征向量：
约当标准形
并不是每个方阵都能够相似于对角矩阵，如果矩阵不能对角化，矩阵总可以通过相似变换化为约当标准形。
- 定义3.2：形如：
的矩阵称为r i 阶约当块，由若干个约当块构成的分块对角矩阵：
称为约当标准形。
求解约当标准形
下面我们介绍用行列式因子法确定约当标准形的方法：
设矩阵A 的元素都是λ 的多项式，则A AA称为λ矩阵，记作A ( λ ) ，特殊地，A ∈ C n × n A ，λ E − A是A的特征矩阵，这也是λ矩阵。
公因式：一个多项式中每一项都含有的相同的因式，叫做这个多项式各项的公因式。
- 定义3.3：A ( λ ) 中所有非零的k kk阶子式的首项系数为1的最大公因式D k ( λ ) 称为A AA的一个k 级行列式因子。
称为A ( λ ) 的不变因子。把每个次数大于零的不变因子分解为互不相同的一次因子的方幂的乘积，所有这些一次因子的方幂(相同的必须按出现次数计算)称为A 的初级因子。
- 例9：求下列矩阵的不变因子及初级因子。
有了上述概念，就可以求得矩阵A的约当标准形。设A 的全部初级因子是：
称为矩阵A 的约当标准形。
- 定理3.7：每个n阶复数矩阵A 都与一个约当标准形J 相似，即存在矩阵P 使得：
除去约当块的排列次序外，约当形矩阵由矩阵A 唯一确定。
史密斯标准形
从上一节可以看到，求出矩阵的行列式因子、不变因子以及初级因子，就可以求出矩阵的约当标准形。而当矩阵阶数比较高时，求它的行列式因子比较麻烦。如果矩阵比较特殊，比方说是对角矩阵，就可以比较方便地求出行列式因子。所以考虑先把矩阵对角化，就可以比较方便地求出行列式因子。所以考虑先把矩阵化为对角形，问题是在把矩阵化为对角形时，矩阵的行列式因子是否改变。
- 定义3.5：下列变换称为矩阵A 的初等变换：
- 互换矩阵A 的任意两行(两列)；
- 以非零的数k 乘A 的某一行(列)；
- 以多项式φ ( λ ) 乘以A 的某一行(列)加到另一行(列)上。
可以看出，这三种变换不会改变行列式因子。
- 定义3.6：下面形式的矩阵：
称为矩阵A 的史密斯标准形，其中：
我们有下面的结论。
- 定理3.8：任何一个非零多项式矩阵A 都可以经过初等变化为史密斯标准形。
下面讨论怎么把一个矩阵A 化为史密斯标准形。假设一个矩阵经过初等变换化为如下形式的标准形：
由上面所述，在这个过程中，行列式因子不变，所以变换后的矩阵与原来的矩阵有相同的行列式因子。而这个矩阵的行列式因子很容易得出：
由此可以得出，对角线上的元素正好是矩阵的不变因子。
特殊地，左上角的元素为一阶行列式因子，即矩阵的所有元素的公因子。这个公因子可以很容易求出。我们之后就可以利用这个结论求出史密斯标准形。
现在设矩阵A ( λ )是一个λ矩阵
首先通过观察确定左上角第一个元素，如果矩阵中有这一项，就把它挪到左上角上去，如果没有这一项，可以通过初等变换得出这一项。因为它是所有元素的公因子，能够整除所有元素，也一定能够整除它们的组合，所以可以通过初等变换得到。
左上角的元素得到以后，可以利用初等变换把它所在的行和列的其他元素都消成零，矩阵变成如下形式：
这时对于矩阵B 1 来说，相当于一个新的矩阵，如果把它化成史密斯标准形，则左上角第一个元素仍然是B 1 的一阶行列式因子，可以用同样的方法求出，在这个过程中，使用的是初等变换，而d 1 能够整除所有元素，当然能够整除它们的组合，所以d 1 ∣ d 2 ，这时矩阵可以通过初等变换化为下面的形式：
重复这个过程，即可得到史密斯标准形：
我的微信公众号名称：深度学习与先进智能决策
微信公众号ID：MultiAgent1024
公众号介绍：主要研究分享深度学习、机器博弈、强化学习等相关内容！期待您的关注，欢迎一起学习交流进步！
