【矩阵论】0.准备知识

$\lambda$ 矩阵的标准形 Jordan标准形

元素为常数的矩阵为数字矩阵。

定义 1.1 元素为 $\lambda$ 的多项式的矩阵称为 $\lambda$ 矩阵 $A(\lambda )$。$A(\lambda )$ 所有元素的最高次数为 $A(\lambda )$ 的次数，
$m$ 次 $\lambda$ 矩阵 $A(\lambda )$ 可表示为$$A(\lambda )={\lambda }^m{A}_0+{\lambda }^{m-1}{A}_1+\cdots +\lambda A_{m-1}+A_m$$( $A_i(i=0,1,\dots ,m)$ 是数字矩阵，且 $A_0\ne 0$ .)

秩、可逆的充要条件、三类初等变换和初等阵、等价的充要条件同理。

定义 1.2 $\lambda$ 阵 $A(\lambda )$ 不恒为零的子式的最高阶数称为 $A(\lambda )$ 的 秩，记作 $\mathrm{rank}$ $A(\lambda ).$

例 1.3 设 $A$ 是 $n$ 阶数字方阵，则 $|\lambda E-A|$ 是 $\lambda$ 的 $n$ 次多项式 . 因此 $\lambda E-A$ 的秩为 $n$ 。也就是说，不论数字方阵 $A$ 是否满秩，它的特征矩阵 $\lambda E-A$ 总是满秩的。

定义 1.4 设 $A(\lambda )$ 是 $\lambda$ 阵，若存在 $\lambda$ 阵 $B(\lambda )$ , 使 $A(\lambda )B(\lambda )=B(\lambda )A(\lambda )=E$ , 则称 $A(\lambda )$ 是可逆的，并且 $B(\lambda )$ 称为 $A(\lambda )$ 的逆矩阵，记作 $A(\lambda {)}^{-1}.$

显然，如果 $A(\lambda )$ 是可逆的，那么 $A(\lambda )$ 的逆矩阵必定唯一 . 事实上，假如 $B_1(\lambda )$和 $B_2(\lambda )$ 两个矩阵都是可逆 $\lambda$ 阵 $A(\lambda )$ 的逆矩阵，那么 $B_1(\lambda )=B_1(\lambda )\left[\begin{array}{c}A(\lambda )B_2(\lambda )\end{array}\right]=\left[\begin{array}{c}{B}_1(\lambda )A(\lambda )\end{array}\right]B_2(\lambda )=B_2(\lambda ).$

定理 1.5 $\lambda$ 阵 $A(\lambda )$ 是可逆的充分必要条件是 $|A(\lambda )|$ 为非零常数.

证明 记 $A(\lambda {)}^{\ast }$ 为 $A(\lambda )$ 的伴随矩阵 . 若 $|A(\lambda )|$ 为非零常数 $c$ , 则 $A^{-1}(\lambda )=\frac{1}{\mid A(\lambda )\mid }A(\lambda {)}^{\ast }=\frac{1}{c}A(\lambda {)}^{\ast }$ 也是 $\lambda$ 阵，即 $A(\lambda )$ 可逆 . 反之，若 $A(\lambda )$ 可逆，即存在 $\lambda$ 阵 $A^{-1}(\lambda )$ 使 $A(\lambda )A^{-1}(\lambda )=E.$ 于是$|\mathbf{A}(\lambda )||{\mathbf{A}}^{-1}(\lambda )|=1.$ 而 $|\mathbf{A}(\lambda )|$ 与 $|{\mathbf{A}}^{-1}(\lambda )|$ 均是 $\lambda$ 的多项式，比较等式两边多项式的次数，表明 $|A(\lambda )|$ 是非零常数 .

这里的 $|\mathbf{A}(\lambda )|$ 是非零常数也就是说 $|\mathbf{A}(\lambda )|$ 是零次多项式.

定义 1.6 $\lambda$ 阵 $A(\lambda )$ 的三类初等变换定义如下：

1. 对换 $i,j$ 两行(列) , 记作 $r_i\leftrightarrow r_j(c_i\leftrightarrow c_j)$,
2. 第 $i$ 行(列)乘非零数 $k$ , 记作 $r_i\times k(c_i\times k)$ ,
3. 第 $i$ 行(列)加上第 $j$ 行(列)的 $k(\lambda )$ 倍，记作 $r_i+k(\lambda )r_j(c_i+k(\lambda )c_j)$ , 其中 $k(\lambda )$为 $\lambda$ 的多项式。

定义 1.7 三类初等 $\lambda$ 阵定义如下。

1. 把单位阵 $E$ 对换第 $i,j$ 两行所得矩阵，记作 $E(i,j).$
2. 把单位阵 $E$ 的第 $i$ 行乘非零数 $k$ 所得矩阵，记作 $E(i(k)).$
3. 把单位阵 $E$ 的第 $i$ 行加上第 $j$ 行的 $k(\lambda )$ 倍所得矩阵，记作 $E(i,j(k(\lambda )).$

对一个 $\lambda$ 阵 $\mathbf{A}(\lambda )$ 作一次初等行变换相当于用一个对应的初等 $\lambda$ 阵左乘 $\mathbf{A}(\lambda )$ , 反过来，对 $\mathbf{A}(\lambda )$ 作一次初等列变换相当于用一个对应的初等 $\lambda$ 阵的转置去右乘 $\mathbf{A}(\lambda )$. $\lambda$ 阵 $\mathbf{A}(\lambda )$ 可逆的充分必要条件是 $\mathbf{A}(\lambda )$为有限个初等 $\lambda$ 阵的乘积.

定义 1.8 若 $\lambda$ 阵 $A(\lambda )$ 经有限次初等变换后变成 $B(\lambda )$ , 则称 $A(\lambda )$ 为 $B(\lambda )$ 等价 , 记作 $A(\lambda )\cong B(\lambda )$.

定理 1.9 设 $\mathbf{A}(\lambda )$ 与 $\mathbf{B}(\lambda )$ 均是 $m\times n$ 阶 $\lambda$ - 阵，则 $\mathbf{A}(\lambda )\cong \mathbf{B}(\lambda )$ 的充分必要条件是
存在 $m$ 阶可逆 $\lambda$ 阵 $\mathbf{P}(\lambda )$ 与 $n$ 阶可逆 $\lambda$ 阵 $\mathbf{Q}(\lambda )$，使 $\mathbf{B}(\lambda )=\mathbf{P}(\lambda )\mathbf{A}(\lambda )\mathbf{Q}(\lambda ).$

定理 1.10 任意一个秩为 $r$ 的 $\lambda$ 阵 $A(\lambda )$ 都等价于一个分块 $\lambda$ 阵 $\left(\begin{array}{cc}\mathbf{D}(\lambda )& \mathbf{O}\\ \mathbf{O}& \mathbf{O}\end{array}\right)$，其中$\mathbf{D}(\lambda )=(\begin{array}{ccccc}{d}_1(\lambda )& & & & \\ & d_2(\lambda )& & & \\ & & \ddots & & \\ & & & d_r(\lambda )& \end{array})$为 $r$ 阶对角阵，$d_i(\lambda )(1⩽i⩽r)$ 是关于 $\lambda$ 的首项系数为 $1$ 的多项式，并且 $d_i(\lambda )\mid d_{i+1}(\lambda )$ $(1⩽i<r)$，称这个分块 $\lambda$ 阵为 $A(\lambda )$ 的 等价标准形 $I_r(\lambda ).$

例 1.11 求 $\lambda$ 阵 $A(\lambda )=\left[\begin{array}{ccc}1-\lambda & 2\lambda -1& \lambda \\ \lambda & {\lambda }^2& -\lambda \\ 1+{\lambda }^2& {\lambda }^3+\lambda -1& -{\lambda }^2\end{array}\right]$ 的等价标准形，
解 把 $\lambda$ 阵化成等价标准形的步骤是：
首先观察 $\mathbf{A}(\lambda )$ 的(1,1)元素是否能整除其他元素. 若能，则用初等变换把第一行和第一列的其余元素都化为零；
若不能，则由 $a_{1i}=q{a}_{11}+r$ 将 $a_{11}$ 换为 $r$ , 降低(1,1)元素的次数，直到变化后的矩阵其(1,1)元素能整除其他元素，
再用初等变换将第一行和第一列的其余元素都化为零 . 然后，考察变换后矩阵的(2,2)元素否能整除(1,1)元素以外的元素，类似地重复前面的讨程，直到化成标准形矩阵。
$\begin{array}{rl}A(\lambda )& =\left[\begin{array}{ccc}1-\lambda & 2\lambda -1& \lambda \\ \lambda & {\lambda }^2& -\lambda \\ 1+{\lambda }^2& {\lambda }^3+\lambda -1& -{\lambda }^2\end{array}\right]\underset{r_3-\lambda r_2}{\overset{r_1+r_2}{\to }}\left[\begin{array}{ccc}1& {\lambda }^2+2\lambda -1& 0\\ \lambda & {\lambda }^2& -\lambda \\ 1& \lambda -1& 0\end{array}\right]\\ & {\stackrel{r_3-r_1}{\to }}_{r_2-\lambda r_1}\left(\begin{array}{ccc}1& {\lambda }^2+2\lambda -1& 0\\ 0& -{\lambda }^3-{\lambda }^2+\lambda & -\lambda \\ 0& -{\lambda }^2-\lambda & 0\end{array}\right)\stackrel{c_2-({\lambda }^2+2\lambda -1)c_1}{\to }\left(\begin{array}{ccc}1& 0& 0\\ 0& -{\lambda }^3-{\lambda }^2+\lambda & -\lambda \\ 0& -{\lambda }^2-\lambda & 0\end{array}\right)\\ & \stackrel{r_2-\lambda r_3}{\to }\left[\begin{array}{ccc}1& 0& 0\\ 0& \lambda & -\lambda \\ 0& -{\lambda }^2-\lambda & 0\end{array}\right]\underset{r_3-(\lambda -1)r_2}{\overset{c_3+c_2}{\to }}\left[\begin{array}{ccc}1& 0& 0\\ 0& \lambda & 0\\ 0& 0& \lambda (\lambda +1)\end{array}\right]=I_3(\lambda ).\end{array}$

定义 1.12 $\lambda$ 阵 $A(\lambda )$ 的所有 $k$ 阶子式的首项系数为 $1$ 的最大公因式称为 $A(\lambda )$ 的 $k$ 阶 行列式因子 $D_k(\lambda ).$

可以证明，一个 $\lambda$ 阵经过初等变换后，其各阶行列式因子不会改变。

定理 1.13 设 $A(\lambda )$ 与 $B(\lambda )$ 为同阶的 $\lambda$ 阵，则 $A(\lambda )$ 与 $B(\lambda )$ 等价的充要条件是它们有相同的各阶行列式因子.

定义 1.14 设 $D_k(\lambda )(1⩽k⩽r)$ 为 $\lambda$ 阵 $A(\lambda )$ 的 $k$ 阶行列式因子，
则称 $d_k(\lambda )=D_k(\lambda )/D_{k-1}(\lambda )(1⩽k⩽r)$ 为 $A(\lambda )$ 的 第 $k$ 个不变因子，其中 $D_0(\lambda )=1.$

显然，$A(\lambda )$ 的不变因子与 $A(\lambda )$ 的行列式因子是相互确定的.

定理 1.15 设 $A(\lambda )$ , $B(\lambda )$ 为同阶的 $\lambda$ 阵，则 $A(\lambda )$ 与 $B(\lambda )$ 等价的充要条件是它们的不变因子完全相同.

定理 1.16 $\lambda$ 阵的等价标准形是唯一的.

事实上，由于 $\lambda$ 阵 $A(\lambda )$ 的 $k$ 阶行列式因子 $D_k(\lambda )$ $(1⩽k⩽r)$, 即 $A(\lambda )$ 的 $k$ 阶子式的首项系数为 $1$ 的最大公因式存在且唯一，因而 $A(\lambda )$ 的第 $k$ 个不变因子也是存在且唯一. 又 $A(\lambda )$ 的等价标准形 $I_r(\lambda )$ 的 $k$ 阶行列式因子
$$D_k(\lambda )=d_1(\lambda )d_2(\lambda )\cdot \cdot \cdot d_k(\lambda )(1⩽k⩽r),$$并且 $d_1(\lambda ),d_2(\lambda ),\cdots ,d_r(\lambda )$ 就是 $A(\lambda )$ 的不变因子，故 $A(\lambda )$ 的等价标准形是唯一的.

例 1.17 求 $A(\lambda )=\left(\begin{array}{ccc}\lambda -1& 1& 0\\ -2& \lambda -4& 1\\ 0& 0& \lambda -3\end{array}\right)$ 的等价标准形.
解 因 $A(\lambda )$ 的元素中有非零数 $1$ , 故 $D_{{}_1}(\lambda )=1.$ 又 $A(\lambda )$ 有 二 阶 子 式 $\left|\begin{array}{cc}1& 0\\ \lambda -4& 1\end{array}\right|$, 故
$$D_2(\lambda )=1,D_3(\lambda )=\left|\begin{array}{ccc}\lambda -1& 1& 0\\ -2& \lambda -4& 1\\ 0& 0& \lambda -3\end{array}\right|=(\lambda -2)(\lambda -3{)}^2,$$于是 $d_1(\lambda )=d_2(\lambda )=1$, $d_3(\lambda )=(\lambda -2)(\lambda -3{)}^2.$
故 $A(\lambda )$ 的等价标准形是 ${\mathbf{I}}_r(\lambda )=\left[\begin{array}{ccc}1& & \\ & 1& \\ & & (\lambda -2)(\lambda -3{)}^2\end{array}\right].$

定义 1.18 设 $\lambda$ 阵 $A(\lambda )$ 的全体不变因子在复数域 $\mathbb{C}$ 上有下面的标准分解式$$\begin{array}{rl}& d_1(\lambda )=(\lambda -a_1{)}^{l_{11}}(\lambda -a_2{)}^{l_{21}}\cdots (\lambda -a_q{)}^{l_{q1}},\\ & d_2(\lambda )=(\lambda -a_1{)}^{l_{12}}(\lambda -a_2{)}^{l_{22}}\cdots (\lambda -a_q{)}^{l_{q2}},\\ & \cdots \\ & d_r(\lambda )=(\lambda -a_1{)}^{l_{1r}}(\lambda -a_2{)}^{l_{2r}}\cdots (\lambda -a_q{)}^{l_{qr}},\end{array}$$其中 $a_1,a_2,...,a_q$ 两两不同，$0⩽l_{i_1}⩽l_{i_2}⩽...⩽l_{i_r}(i=1,2,...,q)$ , 称因式 $(\lambda -a_i{)}^{l_j}$ $(l_{ij}>0,i=1,2,\cdots ,q,j=1,2,\cdots ,r)$ 为 $A(\lambda )$ 的 初等因子.

例如，如果一个 5 阶 $\lambda$ 阵 $A(\lambda )$ 的等价标准形是                     ~~~~~~~~~~~~~~~~~~~                    那么$A(\lambda )$ 的所有不变因子在复数域 $\mathbb{C}$上的标准分解式为
  ~  
${\mathbf{I}}_r(\lambda )=\left[\begin{array}{ccccc}1& & & & \\ & \lambda -2& & & \\ & & (\lambda -2)(\lambda +3)& & \\ & & & (\lambda -2{)}^2(\lambda +3{)}^2& \\ & & & & 0\end{array}\right].$$\begin{array}{rl}& d_1(\lambda )=1,\\ & d_2(\lambda )=\lambda -2,\\ & d_3(\lambda )=(\lambda -2)(\lambda +3),\\ & d_4(\lambda )=(\lambda -2{)}^2(\lambda +3{)}^2.\end{array}$
  ~  
所以 $,A(\lambda )$ 的全体初等因子为 $\lambda -2,\lambda -2,(\lambda -2{)}^2,\lambda +3,(\lambda +3{)}^2.$

定理 1.19 设 $\lambda$ 阵 $A(\lambda )$为分块对角阵
$$\mathbf{A}(\lambda )=\left[\begin{array}{cccc}{\mathbf{A}}_1(\lambda )& & & \\ & {\mathbf{A}}_2(\lambda )& & \\ & & \ddots & \\ & & & {\mathbf{A}}_s(\lambda )\end{array}\right],$$则 $\mathbf{A}(\lambda )$ 的每个子块 ${\mathbf{A}}_j(\lambda )$ $(1⩽j⩽s)$ 的每个初等因子都是 $A(\lambda )$ 的初等因子，
并且 $\mathbf{A}(\lambda )$ 的每个初等因子必是某个 ${\mathbf{A}}_j(\lambda )(1⩽j⩽s)$ 的初等因子.

注 在记录一个 $\lambda$ 阵 $A(\lambda )$ 的全体初等因子时，必须逐一记录 $A(\lambda )$ 的每个不变因子在复数域 $\mathbb{C}$ 上的标准分解式中的所有因式 ($\lambda -a_i{)}^{l_i}(l_{ij}>0)$ , 不论它们当中是否有重复出现的。

这样，在不计顺序的前提下，$A(\lambda )$ 的所有不变因子唯一确定了其全体初等因子。反之， 如果已知 $A(\lambda )$ 的全体初等因子，也能够确定 $A(\lambda )$ 的所有不变因子。

利用上一个例题来做说明，已知 $A(\lambda )$ 的秩是 $4$,因此，首先取 $A(\lambda )$ 的全部初等因子 $\lambda -2,\lambda -2,(\lambda -2{)}^2,\lambda +3,(\lambda +3{)}^2$ 的最小公倍式作为 $A(\lambda )$ 的第 $4$ 个不变因子，即 $d_4(\lambda )=(\lambda -2{)}^2(\lambda +3{)}^2$ , 然后再取剩余的初等因子 $\lambda -2,\lambda -2,\lambda +3$ 的最小公倍式作为 $A(\lambda )$的第 3 个不变因子，即 $d_3(\lambda )=(\lambda -2)(\lambda +3).$同理得到 $d_{{}_2}(\lambda )=\lambda -2.$这时 $A(\lambda )$的全部初等因子都已经使用过了，于是剩余的不变因子 $d_1(\lambda )=1.$

定理 1.20 $A(\lambda )$与 $B(\lambda )$为同阶的 $\lambda$-阵，则 $A(\lambda )$与 $B(\lambda )$等价的充要条件是它们的初等因子完全相同且有相同的秩。

定义 1.21 分块矩阵 $\mathbf{J}=\left[\begin{array}{cccc}{\mathbf{J}}_1& & & \\ & {\mathbf{J}}_2& & \\ & & \ddots & \\ & & & {\mathbf{J}}_s\end{array}\right]$称为 Jordan 标准形，其中
${\mathbf{J}}_i={\left[\begin{array}{cccc}{\lambda }_i& 1& & \\ & {\lambda }_i& \ddots & \\ & & \ddots & 1\\ & & & {\lambda }_i\end{array}\right]}_{n_i}$, $i=1,2,\cdots ,s$ 称为 $n_i$阶 Jordan 块。

定理 1.22 设 $n$ 阶矩阵 $\mathbf{A}$ 的初等因子是 $(\lambda -{\lambda }_1{)}^{n_1},(\lambda -{\lambda }_2{)}^{n_2},...,(\lambda -{\lambda }_s{)}^{n_s}$ , 则存在Jordan 标准形

$\mathbf{J}=\left[\begin{array}{cccc}{\mathbf{J}}_1& & & \\ & {\mathbf{J}}_2& & \\ & & \ddots & \\ & & & {\mathbf{J}}_s\end{array}\right]$ , 使得 $\mathbf{A}$ 与 $\mathbf{J}$ 相似，并且 $n_1+n_2+...+n_s=n.$

例 1.23 求 $\mathbf{A}=\left[\begin{array}{ccc}1& -1& 0\\ 2& 4& -1\\ 0& 0& 3\end{array}\right]$ 的 Jordan标准形.
解 因为
$\begin{array}{rl}\lambda E-A=& \left[\begin{array}{ccc}\lambda -1& 1& 0\\ -2& \lambda -4& 1\\ 0& 0& \lambda -3\end{array}\right]\stackrel{c_1\leftrightarrow c_2}{\to }\left[\begin{array}{ccc}1& \lambda -1& 0\\ \lambda -4& -2& 1\\ 0& 0& \lambda -3\end{array}\right]\\ & \underset{r_2-(\lambda -4)r_1}{\overset{c_2-(\lambda -1)c_1}{\to }}\left[\begin{array}{ccc}1& 0& 0\\ 0& -{\lambda }^2+5\lambda -6& 1\\ 0& 0& \lambda -3\end{array}\right]\stackrel{c_2\leftrightarrow c_3}{\to }\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& -{\lambda }^2+5\lambda -6\\ 0& \lambda -3& 0\end{array}\right]\\ & \underset{r_3-(-{\lambda }^2+5\lambda -6)r_2}{\overset{c_3-(\lambda -3)c_2}{\to }}\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& (\lambda -2)(\lambda -3{)}^2\end{array}\right]\end{array}$
所以, 矩阵 $A$ 的初等因子为 $\lambda -2,(\lambda -3{)}^2$, $A$ 的 Jordan 标准形 $\mathbf{J}=\left[\begin{array}{ccc}2& 0& 0\\ 0& 3& 1\\ 0& 0& 3\end{array}\right].$

定义 1.24 设 $\mathbf{A}$ 是 $n$ 阶方阵，若存在多项式$$\phi (\lambda )=a_0{\lambda }^n+a_1{\lambda }^{n-1}+\cdot \cdot \cdot +a_{n-1}\lambda +a_n,$$使得 $\phi (\mathbf{A})=O$ , 则称 $\phi (\lambda )$ 为 $\mathbf{A}$ 的一个零化多项式.

定理 1.25 (Cayley-Hamilton) 设 $f(\lambda )=|\lambda \mathbf{E}-\mathbf{A}|$ 是方阵 $A$ 的特征多项式，则 $f(\mathbf{A})=\mathbf{O}$ , 即 $\mathbf{A}$ 的特征多项式是 $\mathbf{A}$ 的一个 零化多项式。

定义 1.26 设 $\mathbf{A}$ 为 $n$ 阶方阵，则称 $\mathbf{A}$ 的首项系数为 $1$ 的次数最低的零化多项式为 $\mathbf{A}$ 的 最小多项式，记作 $m_{\mathbf{A}}(\lambda ).$
$(1)$ $m_{\mathbf{A}}(\lambda )$能整除 $\mathbf{A}$ 的任意一个零化多项式 $\phi (\lambda ).$
$(2)m_{\mathbf{A}}(\lambda )$是唯一的.
$(3)m_{\mathbf{A}}(\lambda )$与 $\mathbf{A}$ 的特征多项式 $f(\lambda )$ 具有相同的根.
$(4)m_{\mathbf{A}}(\lambda )$是 $\mathbf{A}$ 的特征矩阵 $\lambda \mathbf{E}-\mathbf{A}$ 的第 $n$ 个不变因子 $d_n(\lambda ).$

证明 (2) $m_1(\lambda )\mid m_2(\lambda ),m_2(\lambda )\mid m_1(\lambda ),$ 又它们都是首项系数为 1 的多项式，故 $m_1(\lambda )=m_2(\lambda ).$
(3)由(1)的结论知$,m_A(\lambda )\mid f(\lambda )$,即 $f(\lambda )=q(\lambda )m_A(\lambda )$ , 故 $m_A(\lambda )$ 的根必是 $f(\lambda )$ 的根. 反之，若 $\lambda$ 是 $f(\lambda )$ 的根，即 $\lambda$ 是 $A$ 的特征根，则存在 $A$ 的特征向量 $\alpha$ 使得 $A\mathbf{a}=\lambda \mathbf{\alpha }$,于是 $m_A(\mathbf{A})\mathbf{\alpha }=m_A(\lambda )\mathbf{\alpha }.$ 而 $m_A(\mathbf{A})=\mathbf{O}$,故$m_A(\lambda )=0.$
(4)设 $\mathbf{J}$ 为 $\mathbf{A}$ 的 Jordan 标 准 形 , ${\mathbf{P}}^{-1}\mathbf{AP}=\mathbf{J}.$ 利用 $d_n(\lambda )$的标准分解式容易得到 $d_n(\mathbf{A})$ $=\mathbf{P}{d}_n(\mathbf{J}){\mathbf{P}}^{-1}=0.$另一方面，对 $d_n(\lambda )$的任意非平凡因式 $\phi (\lambda )$,同样也容易验证 $\phi (A)=P\phi (J)P^{-1}\ne \mathbf{O}$, 从而 $m_A(\lambda )=d_n(\lambda ).$

定理 1.27 一个 $n$ 阶方阵 $\mathbf{A}$ 相似于对角阵的充要条件是 $\mathbf{A}$ 的最小多项式无重根.

证明 方阵 $\mathbf{A}$ 相似于对角阵的充要条件是 $\mathbf{A}$ 的初等因子都是 $\lambda$ 的一次多项式，而 $\mathbf{A}$ 的初等因子都是 $\lambda$ 的一次多项式当且仅当 $\mathbf{A}$ 的第 $n$ 个不变因子无重根，$\mathbf{A}$ 的第 $n$ 个不变因子就是 $\mathbf{A}$ 的最小多项式.

例 1.28 求 $A=\left(\begin{array}{ccc}3& 1& 1\\ -1& 1& -1\\ 1& 1& 3\end{array}\right)$ 的最小多项式.
解 因为 $\lambda \mathbf{E}-\mathbf{A}$
$\begin{array}{r}=\left(\begin{array}{ccc}\lambda -3& -1& -1\\ 1& \lambda -1& 1\\ -1& -1& \lambda -3\end{array}\right)\to \left(\begin{array}{ccc}1& \lambda -1& 1\\ \lambda -3& -1& -1\\ -1& -1& \lambda -3\end{array}\right)\to \left(\begin{array}{ccc}1& 0& 0\\ 0& -{\lambda }^2+4\lambda -4& -\lambda +2\\ 0& \lambda -2& \lambda -2\end{array}\right)\end{array}$
所以 $A$ 的初等因子 $\lambda -2,\lambda -2,\lambda -3$，$A$ 的最小多项式 $m_A(\lambda )=(\lambda -2)(\lambda -3)$。