85 初等因子
在这一节与下一节中我们假定讨论中的数域 P P P 是复数域.
上面已经看到,不变因子是矩阵的相似不变量. 为了得到若尔当标准形,再引人
定义 7 把矩阵 A \boldsymbol{A} A (或线性变换 A \mathcal{A} A )
的每个次数大于零的不变因子分解成互不相同的首项为 1 的一次因式方幕的乘积,
所有这些一次因式方幂 (相同的必须按出现的次数计算) 称为矩阵
A \boldsymbol{A} A (或线性变换 A ) \mathscr{A}) A) 的初等因子.
例 设 12 阶矩阵的不变因子是
1 , 1 , ⋯ , λ ⏟ 9 ↑ , ( λ − 1 ) 2 , ( λ − 1 ) 2 ( λ + 1 ) , ( λ − 1 ) 2 ( λ + 1 ) ( λ 2 + 1 ) 2 . \underbrace{1,1, \cdots, \lambda}_{9 \uparrow},(\lambda-1)^{2},(\lambda-1)^{2}(\lambda+1),(\lambda-1)^{2}(\lambda+1)\left(\lambda^{2}+1\right)^{2} . 9↑
1,1,⋯,λ,(λ−1)2,(λ−1)2(λ+1),(λ−1)2(λ+1)(λ2+1)2.
按定义, 它的初等因子有 7 个, 即
( λ − 1 ) 2 , ( λ − 1 ) 2 , ( λ − 1 ) 2 , λ + 1 , λ + 1 , ( λ − i ) 2 , ( λ + i ) 2 , (\lambda-1)^{2},(\lambda-1)^{2},(\lambda-1)^{2}, \lambda+1, \lambda+1,(\lambda-i)^{2},(\lambda+i)^{2}, (λ−1)2,(λ−1)2,(λ−1)2,λ+1,λ+1,(λ−i)2,(λ+i)2,
其中 ( λ − 1 ) 2 (\lambda-1)^{2} (λ−1)2 出现三次, λ + 1 \lambda+1 λ+1 出现二次.
现在进一步来说明不变因子和初等因子的关系. 首先, 假设 n n n 阶矩阵
A \boldsymbol{A} A 的不变因子
d 1 ( λ ) , d 2 ( λ ) , ⋯ , d n ( λ ) d_{1}(\lambda), d_{2}(\lambda), \cdots, d_{n}(\lambda) d1(λ),d2(λ),⋯,dn(λ) 为已知. 将
d i ( λ ) ( i = 1 , 2 , ⋯ , n ) d_{i}(\lambda)(i=1,2, \cdots, n) di(λ)(i=1,2,⋯,n) 分解成互不相同的一次因式方幂的乘积,即
d 1 ( λ ) = ( λ − λ 1 ) k 11 ( λ − λ 2 ) k 12 ⋯ ( λ − λ , ) k 12 , d 2 ( λ ) = ( λ − λ 1 ) k 21 ( λ − λ 2 ) k 22 ⋯ ( λ − λ r ) k 2 , d n ( λ ) = ( λ − λ 1 ) k n 1 ( λ − λ 2 ) k n 2 ⋯ ( λ − λ r ) k n + , \begin{array}{l} d_{1}(\lambda)=\left(\lambda-\lambda_{1}\right)^{k_{11}}\left(\lambda-\lambda_{2}\right)^{k_{12}} \cdots\left(\lambda-\lambda_{,}\right)^{k_{12}}, \\ d_{2}(\lambda)=\left(\lambda-\lambda_{1}\right)^{k_{21}}\left(\lambda-\lambda_{2}\right)^{k_{22} \cdots\left(\lambda-\lambda_{r}\right)^{k_{2}}}, \\ d_{n}(\lambda)=\left(\lambda-\lambda_{1}\right)^{k_{n 1}}\left(\lambda-\lambda_{2}\right)^{k_{n 2}} \cdots\left(\lambda-\lambda_{r}\right)^{k_{n+}}, \\ \end{array} d1(λ)=(λ−λ1)k11(λ−λ2)k12⋯(λ−λ,)k12,d2(λ)=(λ−λ1)k21(λ−λ2)k22⋯(λ−λr)k2,dn(λ)=(λ−λ1)kn1(λ−λ2)kn2⋯(λ−λr)kn+,
则其中对应于 k i j ⩾ 1 k_{i j} \geqslant 1 kij⩾1 的那些方幂
( λ − λ j ) k i , k i j ⩾ 1 \left(\lambda-\lambda_{j}\right)^{k_{i}}, \quad k_{i j} \geqslant 1 (λ−λj)ki,kij⩾1
就是 A \boldsymbol{A} A 的全部初等因子.
我们注意不变因子有一个除尽一个的性质,即