设矩阵\(A\)的不变因子为：
\begin{equation*}
1,\dots,1,(\lambda-1)(\lambda^{2}+1),(\lambda-1)^{2}(\lambda^{2}+1)(\lambda^{2}-2),
\end{equation*}
将其分解为(7.8.1)的形式。
节 7.8 初等因子组与Jordan标准型
定理 7.3.20表明在复数域上每一个方阵都相似于上三角矩阵，对角元为矩阵的所有特征值。本节中将进一步细化这个结论，给出一个矩阵在相似变换下能变成的“最简”形式，这种最简形式就是Jordan标准型。在讨论这个问题时，\(\lambda\)-矩阵是一个中间工具。
本节中需要使用复数域上多项式均可分解为一次因式的乘积这一重要性质，因此本节中的数域为复数域\(\C\)。
子节 7.8.1 初等因子组
设复数域\(\C\)上\(n\)阶方阵\(A\)的不变因子组为：
\begin{equation*}
\left( 1,\dots,1,d_1(\lambda),\dots,d_k(\lambda) \right),
\end{equation*}
其中有\(n-k\)个1。对所有的非平凡不变因子\(d_j(\lambda)(j=1,\dots,k) \)在复数域上进行因式分解，记所获得的分解式为：
\begin{gather}
\begin{array}{c}
d_1(\lambda)=(\lambda-\lambda_1)^{e_{11}} \cdots (\lambda-\lambda_t)^{e_{1t}}, \\
d_2(\lambda)=(\lambda-\lambda_1)^{e_{21}} \cdots (\lambda-\lambda_t)^{e_{2t}}, \\
\vdots \\
d_k(\lambda)=(\lambda-\lambda_1)^{e_{k1}} \cdots (\lambda-\lambda_t)^{e_{kt}},\end{array} \tag{7.8.1}
\end{gather}
其中\(\lambda_1,\dots,\lambda_t\)是\(A\)的所有互异特征值（这里为了有统一的书写方式，允许部分\(e_{js}=0\)）。由于有\(d_{j}(\lambda)|d_{j+1}(\lambda)\)的限制，所以分解式中的\(e_{js}\)满足
\begin{equation}
0\le e_{1s}\le \cdots \le e_{ks},\ s=1,\dots,t.\tag{7.8.2}
\end{equation}
例 7.8.1.
定义 7.8.2.
复方阵\(A\)所有非平凡不变因子在分解式(7.8.1)中满足\(e_{js}>0\)的\((\lambda -\lambda_s)^{e_{js}}\)称为\(A\)的一个初等因子， \(A\)的全体初等因子（相同的按出现次数计算）构成的多重集称为\(A\)的初等因子组。
例 7.8.3.
命题 7.8.4.
方阵\(A\)的不变因子组和其初等因子组可以相互决定。
证明.
借助(7.8.2) 中的记号， 因为有\(0\leq e_{1j}\leq e_{2j}\leq\cdots\leq e_{rj},\ j=1,\dots , t\)， 即同一个因式方幂对应的初等因子中，方次最高的必出现在最后一个不变因子\(d_{k}(\lambda)\)的分解式中，次高的必出现在倒数第二个不变因子\(d_{k-1}(\lambda)\)中，依此类推，可以确定所有的不变因子。
我们通过下面一个具体的例子来说明上述命题。
例 7.8.5.
设数字矩阵\(A\)在\(\C\)上的初等因子组为
\begin{equation*}
(\lambda-1)^{2},(\lambda-1)^{2},(\lambda-1)^{2},\lambda+1,\lambda+1,(\lambda-i)^{2},(\lambda+i)^{2}.
\end{equation*}
问\(A\)是几阶矩阵？求\(A\)的不变因子组。
解答.
\(A\)所有初等因子的乘积是\(A\)的特征多项式，次数为\(12\)，因此\(A\)为\(12\)阶矩阵。\(A\)的不变因子组为：
\begin{equation*}
g_1(\lambda)=1,
\end{equation*}
\begin{equation*}
\vdots
\end{equation*}
\begin{equation*}
g_9(\lambda)=1,
\end{equation*}
\begin{equation*}
g_{10}(\lambda)=(\lambda-1)^{2},
\end{equation*}
\begin{equation*}
g_{11}(\lambda)=(\lambda-1)^{2}(\lambda+1),
\end{equation*}
\begin{equation*}
g_{12}(\lambda)=(\lambda-1)^{2}(\lambda+)）(\lambda-i)^{2}(\lambda+i)^{2}.
\end{equation*}
根据上面的讨论，可知下面的结论成立。
定理 7.8.6.
若按定义求初等因子组，则需要先求不变因子组。事实上，初等因子组有更简单的求法，特别是针对分块对角矩阵。先来看下面的引理。
引理 7.8.7.
若\((f_i(\lambda),g_j(\lambda))=1,\ (i,j=1,2)\)，则
\begin{equation*}
(f_1(\lambda)g_1(\lambda),f_2(\lambda)g_2(\lambda))=(f_1(\lambda),f_2(\lambda))(g_1(\lambda),g_2(\lambda)).
\end{equation*}
证明.
设
\begin{equation*}
\left(f_1(\lambda),f_2(\lambda)\right)=d_1(\lambda),\left(g_1(\lambda),g_2(\lambda)\right)=d_2(\lambda),
\end{equation*}
则存在多项式\(h_1(\lambda),h_2(\lambda),k_1(\lambda),k_2(\lambda)\)，使得
\begin{equation*}
f_1(\lambda)=d_1(\lambda)h_1(\lambda),f_2(\lambda)=d_1(\lambda)h_2(\lambda),
\end{equation*}
\begin{equation*}
g_1(\lambda)=d_2(\lambda)k_1(\lambda),g_2(\lambda)=d_2(\lambda)k_2(\lambda),
\end{equation*}
其中\(\left(h_1(\lambda),h_2(\lambda)\right)=1,\left(k_1(\lambda),k_2(\lambda)\right)=1\)。由条件\(\left(f_i(\lambda),g_j(\lambda)\right)=1,\ (i,j=1,2)\)知 \(\left(h_i(\lambda),k_j(\lambda)\right)=1,(i,j=1,2)\)， 则\(\left(h_1(\lambda)k_1(\lambda),h_2(\lambda)k_2(\lambda)\right)=1\)。因此
\begin{equation*}
\begin{array}{cl}
&\left(f_1(\lambda)g_1(\lambda),f_2(\lambda)g_2(\lambda)\right)\\
=&\left(d_1(\lambda)h_1(\lambda)d_2(\lambda)k_1(\lambda),d_1(\lambda)h_2(\lambda)d_2(\lambda)k_2(\lambda)\right)\\
=&d_1(\lambda)d_2(\lambda)\left(h_1(\lambda)k_1(\lambda),h_2(\lambda)k_2(\lambda)\right)\\
=&d_1(x)d_2(x),\end{array}
\end{equation*}
结论成立。
引理 7.8.8.
设\(h_1(\lambda)=(\lambda-\lambda_1)^{l_1}g_1(\lambda),h_2(\lambda)=(\lambda-\lambda_1)^{l_2}g_2(\lambda)\)，其中\(l_1\geq l_2\)且\(\left(\lambda-\lambda_1,g_i(\lambda)\right)=1,(i=1,2)\)，则
\begin{equation*}
\begin{pmatrix}
h_1(\lambda)&0\\
0&h_2(\lambda)
\end{pmatrix}\simeq\begin{pmatrix}
(\lambda-\lambda_1)^{l_2}g_1(\lambda)&0\\
0&(\lambda-\lambda_1)^{l_1}g_2(\lambda)
\end{pmatrix}.
\end{equation*}
证明.
设左边矩阵为\(A(\lambda)\)，右边矩阵为\(B(\lambda)\)，根据 引理 7.8.7，\(A(\lambda),B(\lambda)\)的1阶行列式因子都是\((\lambda-\lambda_1)^{l_2}\left(g_1(\lambda),g_2(\lambda)\right)\)，而它们的2阶行列式因子都是\((\lambda-\lambda_1)^{l_1+l_2}g_1(\lambda)g_2(\lambda)\)，因此\(A(\lambda)\simeq B(\lambda)\)。
\begin{equation*}
\end{equation*}
定理 7.8.9.
设\(\lambda E-A\simeq {\rm diag} (h_1(\lambda),\dots ,h_n(\lambda))\)且
\begin{equation*}
h_j(\lambda)=(\lambda-\lambda_1)^{e_{j1}}\cdots (\lambda-\lambda_s)^{e_{js}},
\end{equation*}
其中\(e_{jk}\geq 0\)。则多重集
\begin{equation*}
\left\{(\lambda-\lambda_k)^{e_{jk}}|e_{jk}>0,j=1,\dots,n; k=1,\dots ,s\right\}
\end{equation*}
是\(A\)的初等因子组。
例 7.8.10.
设\(A=\begin{pmatrix}
1&0&0&0&0\\
1&1&0&0&0\\
0&0&1&0&0\\
0&0&0&2&0\\
0&0&0&0&3
\end{pmatrix}\)，求\(A\)的初等因子组、不变因子组。
解答.
令\(B=\begin{pmatrix}
1&0\\
0&1
\end{pmatrix}\)，则
\begin{equation*}
\lambda E_5-A=\begin{pmatrix}
\lambda E_2-B&0&0&0\\
0&\lambda-1&0&0\\
0&0&\lambda-2&0\\
0&0&0&\lambda-3
\end{pmatrix}.
\end{equation*}
因为\(\lambda E_2-B\)的不变因子为\(1,(\lambda-1)^2\)，所以
\begin{equation*}
\lambda E_5-A\simeq \begin{pmatrix}
1&0&0&0&0\\
0&(\lambda-1)^2&0&0&0\\
0&0&\lambda-1&0&0\\
0&0&0&\lambda-2&0\\
0&0&0&0&\lambda-3
\end{pmatrix}.
\end{equation*}
\begin{equation*}
(\lambda-1)^2,\lambda-1,\lambda-2,\lambda-3.
\end{equation*}
从而\(A\)的不变因子组为
\begin{equation*}
1,1,1,\lambda-1,(\lambda-1)^2(\lambda-2)(\lambda-3).
\end{equation*}
子节 7.8.2 Jordan标准型
接下来介绍矩阵的Jordan标准型。理解Jordan标准型对理解线性变换和方阵的性质至关重要。一定程度上，Jordan标准型相关结论的提出标志着线性变换理论框架的成熟。
先来看Jordan块的定义，它是若当标准型矩阵的主要组成结构。
定义 7.8.11.
称\(k\)阶矩阵
\begin{equation*}
J(\lambda_0,k) = \begin{pmatrix}
\lambda_0 & & &\\
1 & \lambda_0 & &\\
&\ddots & \ddots & \\
& & 1 & \lambda_0
\end{pmatrix}_{k\times k},
\end{equation*}
为\(\lambda_0\)的\(k\)阶Jordan块。
备注 7.8.12.
Jordan块也可以被定义为上三角矩阵，即
\begin{equation*}
J'(\lambda_0,k) = \begin{pmatrix}
\lambda_0 &1 & &\\
& \lambda_0 &\ddots &\\
& & \ddots & 1\\
& & & \lambda_0
\end{pmatrix}_{k\times k}
\end{equation*}
二者没有本质差别。
Jordan块和初等因子之间有着密切联系，一个Jordan块可以对应一个初等因子。
引理 7.8.13.
\(k\)阶Jordan块矩阵\(J(\lambda_0,k)\)的行列式因子与不变因子均为\((1,\ldots,1,(\lambda-\lambda_0)^k)\)，初等因子组中只有一个初等因子\((\lambda-\lambda_0)^k\)。
证明.
简记\(J(\lambda_0,k)= J\)。在\(J\)的特征矩阵\(\lambda E_k -J\)中，删除第1行和最后1列然后取行列式，可得\(\lambda E_k -J\)一个\(k-1\)阶子式
\begin{equation*}
\begin{vmatrix}
-1&\lambda-\lambda_0 &0 &\cdots&0&\\
0&-1&
\ddots &\ddots&\vdots&\\
\vdots&\ddots&\ddots&\ddots& 0 \\
0&\cdots& 0 &-1&\lambda-\lambda_0\\
0&\cdots& 0 &0&-1\\
\end{vmatrix}=(-1)^{k-1},
\end{equation*}
由于\(J\)的\(k-1\)阶行列式因子式\(D_{k-1}(\lambda)\)是其特征矩阵所有\(k-1\)阶子式的最大公因式，所以\(D_{k-1}(\lambda)=1\)。又根据命题 7.7.13，对\(i=1,\dots, k-2\)， \(D_{i}(\lambda)|D_{k-1}(\lambda)\)，所以\(D_{i}(\lambda)=1\)。
最后，\(D_k(\lambda)=\det(\lambda E_k -J) = (\lambda-\lambda_0)^k\)，所以 \(J\)的行列式因子组为\(\left(1,\dots ,1,(\lambda-\lambda_0)^k\right)\)，其中有\(k-1\)个\(1\)。相应地，其初等因子组中只有一个初等因子\((\lambda-\lambda_0)^k\)。
引理 7.8.14.
设
\begin{equation*}
J=\begin{pmatrix}
J(\lambda_1,k_1)&&&\\
&J(\lambda_2,k_2)&&\\
&&\ddots&\\
&&&J(\lambda_s,k_s)
\end{pmatrix},
\end{equation*}
则\(J\)的初等因子组为
\begin{equation*}
\{(\lambda-\lambda_1)^{k_1},\cdots ,(\lambda-\lambda_k)^{e_k}\}.
\end{equation*}
注意到两个数字矩阵相似的一个充要条件条件是它们有相同的初等因子组。结合上面的引理，可知下面的定理结论成立。
定理 7.8.15.
设\(A\in\mathbb{C}^{n\times n}\)，且\(A\)的初等因子组为\(\{(\lambda-\lambda_1)^{k_1},\ldots ,(\lambda-\lambda_s)^{k_s}\}\)，则\(A\)相似于分块对角矩阵
\begin{equation*}
J=\begin{pmatrix}
J(\lambda_1,k_1)&&&\\
&J(\lambda_2,k_2)&&\\
&&\ddots&\\
&&&J(\lambda_s,k_s)
\end{pmatrix}.
\end{equation*}
注意到初等因子组是一个（多重）集合，集合中的元素之间是没有顺序的；对应的，Jordan标准型矩阵中Jordan块的排列也是任意的。由于每一个初等因子唯一对应一个Jordan块，而给定矩阵的初等因子组是唯一确定的，故在不考虑对角块排列次序的意义下，矩阵的Jordan标准型是唯一确定的。
对于一个给定的线性变换\(\varphi\)，其表示矩阵越简单则越容易理解其作用规律。我们有如下结论。
定理 7.8.16.
子节 7.8.3 Jordan标准型的性质与简单应用
Jordan标准型理论是矩阵基础理论中的制高点，有了Jordan标准型后，很多初始复杂的关系都可以梳理清楚。本节中我们来举例说明Jordan标准型的用途。
定理 7.8.17.
设\(\mathbb{C}\)上\(n\)阶方阵\(A\)的所有不同特征值为\(\lambda_1,\dots ,\lambda_t\)，则
-
\(\chi_A(\lambda)=D_n(\lambda)=g_1(\lambda)\cdots g_n(\lambda)\)，且等于\(A\)的所有初等因子的乘积。记\begin{equation*} \chi_A(\lambda)=(\lambda-\lambda_1)^{n_1}(\lambda-\lambda_2)^{n_2}\cdots (\lambda-\lambda_t)^{n_t}, \end{equation*}则\(n_i\)为所有特征值为\(\lambda_i\)的Jordan块阶数之和，也等于初等因子组中\(\lambda-\lambda_i\)的次幂之和；
-
\(A\)的极小多项式就是\(A\)的最后一个不变因子，即\begin{equation*} m_A(\lambda)=g_n(\lambda), \end{equation*}且等于\(A\)的初等因子组中含不同的\(\lambda-\lambda_i\)方幂中次幂最高项之积。记\begin{equation*} m_A(\lambda)=(\lambda-\lambda_1)^{s_1}\cdots (\lambda-\lambda_t)^{s_t}, \end{equation*}则\(s_i\)为所有特征值为\(\lambda_i\)的Jordan块的最大阶数，也等于初等因子组\(\lambda-\lambda_i\)的最高次幂项的次数。
证明.
-
根据初等因子组的定义，所有初等因子的乘积就是所有不变因子的乘积，也就等于特征多项式。结论的后半段可直接验证。
-
对一个Jordan块矩阵\(J = J(\lambda_0,k)\)，其特征多项式（也是初等因子）为\((\lambda-\lambda_0)^k\)，根据 定理 7.5.9，其极小多项式必然为\((\lambda-\lambda_0)^t\)的形式，其中\(t\le k\) 。可以直接验证\((J -\lambda_0E)^{k-1}\ne 0\)，\((J -\lambda_0E)^{k}= 0\)，于是\(m_J(\lambda)=(\lambda-\lambda_0)^k\)，和其初等因子一样。记\(A\)的Jordan标准型为\(B\)，则\(B\)是一个以Jordan块为对角块的分块对角阵。多次使用 定理 7.5.14可知\(m_B(\lambda)\)是其所有Jordan块的初等因子的最小公倍式，而这个最小公倍式就是初等因子组中含不同的\(\lambda-\lambda_i\)方幂中次幂最高项之积。注意到\(m_B(\lambda)=m_A(\lambda)\)，所以结论成立。
下述推论可以帮助我们更好地理解Jordan标准型与矩阵性质的连接，其证明留给读者作为练习。
推论 7.8.18.
设\(A\)是复数域上\(n\)阶方阵，则下面的叙述是等价的：
-
\(A\)相似于对角矩阵；
-
\(A\)的初等因子全是一次的；
-
\(A\)的每个Jordan块全是一阶的；
-
\(A\)的不变因子无重根；
-
\(A\)的极小多项式无重根。
推论 7.8.19.
设\(A\)是复数域上\(n\)阶方阵，则下面的叙述是等价的：
-
\(A\)的极小多项式是一次多项式；
-
\(A\)的初等因子全是一次的，且完全相同；
-
\(A\)的不变因子完全相同（或者全是一次的）。
推论 7.8.20.
设\(A\)是复数域上\(n\)阶方阵，则下面的叙述是等价的：
-
\(A\)的特征多项式等于极小多项式；
-
\(A\)的不同特征值只含一个Jordan块；
-
\(A\)的不同Jordan块对角元必互异。
接下来看一下Jordan标准型与矩阵秩的联系。设\(A\in\mathbb{C}^{n\times n}\)，且\(A\)的初等因子组为\((\lambda-\lambda_1)^{e_1},(\lambda-\lambda_2)^{e_2},\cdots ,\) \((\lambda-\lambda_k)^{e_k},\) 则\(A\)相似于分块对角矩阵
\begin{equation*}
J=\begin{pmatrix}
J(\lambda_1,e_1)&&&\\
&J(\lambda_2,e_2)&&\\
&&\ddots&\\
&&&J(\lambda_k,e_k)
\end{pmatrix}.
\end{equation*}
于是，\(r(A)=r\left(J(\lambda_1,e_1)\right)+r\left(J(\lambda_2,e_2)\right)+\cdots +r\left(J(\lambda_k,e_k)\right)\)。而
\begin{equation*}
r\left(J(\lambda,e)\right)=\left\{\begin{array}{cl}
e,&\mbox{当}\lambda\neq 0\mbox{时，}\\
e-1,&\mbox{当}\lambda= 0\mbox{时。}\\
\end{array}\right.
\end{equation*}
于是可知下面的两个结论成立。
定理 7.8.21.
定理 7.8.22.
设\(A\in\mathbb{C}^{n\times n}\) ，\(\lambda_0\)是\(A\)的一个特征值，则\(A\)的Jordan标准形\(J\)中属于\(\lambda_0\)的Jordan块有\(n-r(\lambda_0E-A)\)块，即\(A\)的Jordan标准形\(J\)中属于\(\lambda_0\)的Jordan块的个数等于\(\lambda_0\)的几何重数。
本节的最后，我们来介绍Jordan标准型的一个最重要应用：计算矩阵多项式。无论在理论分析还是实际应用中，将方阵带入一个给定多项式都是常见操作。当矩阵阶数很大，或多项式次数较高时，由于矩阵乘法的运算会消耗大量时间，因此按照表达式将矩阵直接带入计算是几乎不可能完成的事（耗时太久）。
设\(A\)是一个复方阵，\(f(x)\)是一个多项式。我们有一个常用的重要事实：若\(A = PJP^{-1}\)，则
\begin{equation*}
f(A) = Pf(J)P^{-1}.
\end{equation*}
于是\(f(A)\)的计算可以转化为\(f(J)\)和\(P\)矩阵的计算。注意到Jordan标准型矩阵是一个分块对角阵，所以只需要知道每一个对角块（即一个Jordan块）带入到\(f(x)\)的运算结果即可。下面的结论就是将Jordan块带入多项式的结果公式。
定理 7.8.23.
设 \(J = J(\lambda_0,k)\)是一个Jordan块矩阵， \(f(x)\)是一个多项式。则
\begin{equation*}
f(J) = \begin{pmatrix}
f(\lambda_0) & & &
& \\
\frac{f'(\lambda_0)}{1!} & f(\lambda_0) & & &\\
\frac{f''(\lambda_0)}{2!} &\frac{f'(\lambda_0)}{1!} & \ddots & & \\
\vdots &\ddots &\ddots &f(\lambda_0) &\\
\frac{f^{(k-1)}(\lambda_0)}{(k-1)!}&\cdots &\frac{f''(\lambda_0)}{2!} & \frac{f'(\lambda_0)}{1!}& f(\lambda_0)
\end{pmatrix}
\end{equation*}
证明.
将\(f(x)\)在\(\lambda_0\)处展开为Taylor级数（见数学分析教材）：
\begin{equation*}
f(x)=\sum_{i=0}^{n}\frac{f^{(i)}(\lambda_0)}{i!}(x-\lambda_0)^i,
\end{equation*}
其中\(n\)是多项式的次数。
记\(J_0 = J(0,k)\)，则
\begin{equation*}
J_0 = J -\lambda_0E_k = \begin{pmatrix}
0 & & & \\
1 & 0 & & \\
&\ddots & \ddots & \\
& & 1 & 0
\end{pmatrix}.
\end{equation*}
将\(J\) 代入\(f(x)\)中，可得
\begin{equation*}
f(J) = f(\lambda_0)E + \frac{f'(\lambda_0)}{1!}J_0+\frac{f^{''}(\lambda_0)}{2!}J_0^2+ \cdots + \frac{f^{(i)}(\lambda_0)}{i!}J_0^i +\cdots
\end{equation*}
利用\(J_0\)矩阵的乘法性质，可知结论成立。
子节 7.8.4 过渡矩阵的计算*
本节介绍两种计算Jordan标准型过渡矩阵\(P\)的计算方法。
例 7.8.24. 按列解过渡矩阵.
设
\begin{equation*}
A= \begin{pmatrix}
4 & -1 & 2\\
-9 & 4 & -6\\
-9 & 3 & -5
\end{pmatrix}
\end{equation*}
求过渡矩阵\(P\)使得\(P^{-1}AP=J\)，其中\(J\)是\(A\)的Jordan标准型。
解答.
计算特征矩阵\(\lambda E -A\)的Smith标准型可知\(A\)的初等因子组中有两个初等因子，分别是\((\lambda-1)^2\)和\(\lambda-1\)。于是可取
\begin{equation*}
J = \begin{pmatrix}
1 & 0 & 0\\
0 & 1 & 0\\
0 & 1 & 1
\end{pmatrix}.
\end{equation*}
对\(P\)矩阵做列分块，\(P = \begin{pmatrix}
P_1 & P_2 & P_3
\end{pmatrix}\)。将\(P_1,P_2,P_3\)分别代入方程\(AP=PJ\)中，得到如下方程组：
\begin{equation}
AP_1= P_1,\quad AP_2=P_2+P_3,\quad AP_3=P_3.\tag{7.8.3}
\end{equation}
\begin{equation*}
(A-E)P_2\ne 0,\quad (A-E)^2P_2=0.
\end{equation*}
注意到\((A-E)^2=0\)，只需要取\(P_2=\begin{pmatrix}
1\\
0\\
0
\end{pmatrix}\)即可。
取\(P_3=(A-E)P_2 =\begin{pmatrix}
3\\
-9\\
-9
\end{pmatrix}\)。
\(P_1,P_3\)都是1的特征向量，要想保证\(P\)可逆，需要保证\(P_1,P_3\)线性无关。取\(P_1=\begin{pmatrix}
0\\
0\\
1
\end{pmatrix}\)，则\(P=\begin{pmatrix}
0 & 1 & 3\\
0 & 0 & -9\\
1 & 0 & -9
\end{pmatrix}\)。
我们来简要介绍一下这个方法。设\(A\)是方阵，\(J\)是它的Jordan标准型，则\(\lambda E-A\)经过\(\lambda\)-矩阵初等变换变成\(\lambda E-J\)，即存在可逆矩阵\(M(\lambda),N(\lambda)\)，使得\(M(\lambda)(\lambda E-A)N(\lambda)=\lambda E-J\)。参考定理 7.6.10的证明过程，取\(L\)为\(M(\lambda)\)左除\(\lambda E -J\)的余式，则\(LA=JL\)，即\(L^{-1}\)就是我们要求的过渡矩阵。看一个具体的例子。
例 7.8.25. 利用\(\lambda\)-矩阵求\(P\).
设
\begin{equation*}
A= \begin{pmatrix}
4 & -1 & 2\\
-9 & 4 & -6\\
-9 & 3 & -5
\end{pmatrix}
\end{equation*}
求过渡矩阵\(P\)使得\(P^{-1}AP=J\)，其中\(J\)是\(A\)的Jordan标准型。
解答.
构造分块矩阵 \(\begin{pmatrix}
\lambda E_3-A & E_3 \\
E_3 & \end{pmatrix}\)，对此分块矩阵的前3行和前3列进行\(\lambda\)-矩阵初等变换，把\(\lambda E_3-A\)变成其Smith标准形\(\Lambda_A\)，记获得的分块矩阵为
\begin{equation*}
\begin{pmatrix}
\Lambda_A & M_1(\lambda) \\
N_1(\lambda) & \end{pmatrix},
\end{equation*}
计算可知
\begin{equation*}
M_1(\lambda) = \begin{pmatrix}
0 & \frac{1}{9} & 0 \\
0 & 1 & -1 \\
-9 & 3 & \lambda - 7
\end{pmatrix},\quad N_1(\lambda)= \begin{pmatrix}
1 & -\frac{1}{9} \lambda + \frac{4}{9} & -\frac{1}{9} \lambda - \frac{2}{9} \\
0 & 1 & 1 \\
0 & 0 & 1
\end{pmatrix}.
\end{equation*}
可以验证
\begin{equation*}
M_1(\lambda)(\lambda E_3 - A)N_1(\lambda) = \Lambda_A = \begin{pmatrix}
1 & 0 & 0 \\
0 & \lambda-1 & 0 \\
0 & 0 & (\lambda-1)^2
\end{pmatrix}.
\end{equation*}
类似方法将\(\lambda E_3-J\)变成其Smith标准形，求得
\begin{equation*}
M_2(\lambda) = \begin{pmatrix}
0 & 0 & -1 \\
-1 & 0 & -\lambda + 1 \\
0 & 1 & \lambda - 1
\end{pmatrix},\quad N_2(\lambda)= \begin{pmatrix}
1 & -1 & 0 \\
1 & 0 & \lambda - 1 \\
0 & 0 & 1
\end{pmatrix},
\end{equation*}
使得
\begin{equation*}
M_2(\lambda)(\lambda E_3 - J)N_2(\lambda) = \Lambda_J=\Lambda_A.
\end{equation*}
取
\begin{equation*}
M(\lambda) = M_2^{-1}(\lambda)M_1(\lambda) = \begin{pmatrix}
0 & \frac{1}{9}\lambda - \frac{10}{9} & 1 \\
-9 & \frac{1}{9} \lambda + \frac{26}{9} & \lambda - 7 \\
0 & -\frac{1}{9} & 0
\end{pmatrix},
\end{equation*}
\begin{equation*}
N(\lambda) = N_1(\lambda)N_2^{-1}(\lambda)=\begin{pmatrix}
\frac{1}{9} \lambda - \frac{4}{9} & -\frac{1}{9} \lambda + \frac{13}{9} & \frac{1}{9} \lambda^{2} - \frac{5}{3} \lambda + \frac{11}{9} \\
-1 & 1 & -\lambda + 2 \\
0 & 0 & 1
\end{pmatrix},
\end{equation*}
可以验证
\begin{equation*}
M(\lambda)(\lambda E_3 - A)N(\lambda) = \lambda E_3 - J.
\end{equation*}
将\(M(\lambda)\)写成系数为矩阵的多项式
\begin{equation*}
M(\lambda) = \begin{pmatrix}
0 & \frac{1}{9} & 1 \\
-9 & \frac{1}{9} & -7 \\
0 & -\frac{1}{9} & 0
\end{pmatrix} + \lambda \begin{pmatrix}
0 & -\frac{10}{9} & 0 \\
0 & \frac{26}{9} & 1 \\
0 & 0 & 0
\end{pmatrix},
\end{equation*}
用\(J\)替代上式中的\(\lambda\)，得到\(M(\lambda)\) 左除\(\lambda E_3 - J\)的余式\(L=\begin{pmatrix}
0 & -1 & 1 \\
-9 & 3 & -6 \\
0 & 0 & 1
\end{pmatrix}\)，则\(L^{-1}\)就是我们要求的过渡矩阵\(P\)。可以验证\(P^{-1}AP=J\)。
练习 7.8.5 练习
基础题.
1.
已知\(6\)阶\(\lambda\)-矩阵\(A(\lambda)\)的秩为\(4\)，初等因子组为
\begin{equation*}
\lambda ,\lambda,\lambda^3,\lambda+1,(\lambda+1)^3,\lambda-2,(\lambda-2)^2,
\end{equation*}
求\(A(\lambda)\)的行列式因子和不变因子。
2.
已知矩阵\(A\)在\(\mathbb{R}\)上的初等因子组为\(\lambda,\lambda^3,(\lambda-\sqrt{2})^2,(\lambda +\sqrt{2})^2,(\lambda^2+1)^3,\)求\(A\)的行列式因子和不变因子。
3.
求下列矩阵的初等因子组。
（1）\(\begin{pmatrix}
\lambda&1&0\\0&\lambda&1\\0&0&\lambda
\end{pmatrix}\)；（2）\(\begin{pmatrix}
\lambda^2-\lambda&0&0\\0&\lambda-1&0\\0&0&\lambda^3
\end{pmatrix}\)
4.
提高题.
5.
-
求出\(A\)所有可能的Jordan标准形；
-
给出\(A\)可对角化的充分必要条件。
6.
7.
8.
9.
10.
11.
12.
13.
设\(n\)阶复方阵\(A\)不可逆且不是幂零矩阵，证明：\(A\)相似于矩阵
\begin{equation*}
\begin{pmatrix}
B&0\\
0&C
\end{pmatrix},
\end{equation*}
其中\(B\)是幂零矩阵，\(C\)是可逆矩阵。
14.
设\(A\)是\(\mathbb{C}\)上非零且不可逆的\(n\)阶复方阵，若\(r(A)=r(A^2)\)，证明：\(A\)相似于矩阵
\begin{equation*}
\begin{pmatrix}
0&0\\
0&C
\end{pmatrix},
\end{equation*}
其中\(C\)是\(r(A)\)阶可逆矩阵。
挑战题.
15.
设\(A=\begin{pmatrix}
3&2&-5\\2&6&-10\\1&2&-3
\end{pmatrix}\)，求\(A\)的Jordan标准形\(J\)，并求可逆矩阵\(P\)，使得\(P^{-1}AP=J\)。
