λ矩阵学习

$\lambda$矩阵

定义

设$a_{ij}(\lambda )(i=1,2,\dots ,m;j=1,2,\dots ,n)$为数域$P$上的多项式，以$a_{ij}(\lambda )$为元素的$m\times n$矩阵
$$A(\lambda )=\left(\begin{array}{cccc}{a}_{11}(\lambda )& a_{12}(\lambda )& \cdots & a_{1n}(\lambda )\\ a_{21}(\lambda )& a_{22}(\lambda )& \cdots & a_{2n}(\lambda )\\ ⋮& ⋮& & ⋮\\ a_{n1}(\lambda )& a_{n2}(\lambda )& \cdots & a_{nn}(\lambda )\end{array}\right)$$
称为$\lambda$矩阵或多项式矩阵，这样的矩阵的全体记为$P{\left[\lambda \right]}^{m\times n}$

秩

若$\lambda$矩阵$A(\lambda )$至少有一个$r(r\ge 1)$阶子式不是零多项式，而一切$r+1$阶子式（如果有的话）都是零多项式，则称$A(\lambda )$的秩为$r$,记为$rankA(\lambda )$
(这里说的零多项式，是恒等于0，不是$\lambda$取具体的数带进去)

零矩阵的的秩定义为$0$，若$n$阶$\lambda$矩阵的秩为$n$，则称$A(\lambda )$为满秩矩阵或非奇异的

逆

设$A(\lambda )$为$n$阶$\lambda$矩阵,若存在$n$阶$\lambda$矩阵$B(\lambda )$使得
$$A(\lambda )B(\lambda )=B(\lambda )A(\lambda )=I$$
则称$A(\lambda )$为可逆的，$B(\lambda )$为$A(\lambda )$的逆矩阵,记为$A(\lambda {)}^{-1}$

注意$\lambda$矩阵中，可逆和满秩并不等价

可逆充要条件

$n$阶$\lambda$矩阵$A(\lambda )$可逆的充要条件是$A(\lambda )$的行列式为一个非零常数

证明：
必要性：

$A(\lambda )B(\lambda )=B(\lambda )A(\lambda )=I$
两边同取行列式
$$\left|A(\lambda )\right|\left|B(\lambda )\right|=1$$
所以$\left|A(\lambda )\right|,\left|B(\lambda )\right|$均为非零常数

充分性：

设$\left|A(\lambda )\right|=c\ne 0$
$$(\frac{1}{c}adjA(\lambda ))A(\lambda )=I$$
($adj$表示伴随矩阵)
所以$A(\lambda )$可逆

初等变换

（1）对调两行（列）
（2）用一个不为零的数$k$乘任一行（列）
（3）用$\lambda$的多项式$\varphi (\lambda )$乘某行（列）的所有元素，并加到另一行（列）的对应元素上去
上述3种初等变换有相应的3种初等矩阵
记为$I(i,j),I(i(k)),I(j(\varphi ),i)$
显然他们可逆且满秩
$I(i,j{)}^{-1}=I(i,j)$
$I(i(k){)}^{-1}=I(i(\frac{1}{k}))$
$I(j(\varphi ),i{)}^{-1}=I(j(-\varphi ),i)$
左乘或右乘初等矩阵不改变$A(\lambda )$的秩

相抵

貌似也叫等价
如果$A(\lambda )$经过有限次初等变换后变成$B(\lambda )$,记为$A(\lambda )\simeq B(\lambda )$
我曾经以为那个符号是合同
相抵满足自反性，对称性，传递性
所以相抵也是一种等价关系

相抵充要条件

$A(\lambda )\simeq B(\lambda )$的充要条件是存在两个可逆矩阵$P(\lambda ),Q(\lambda )$，使得
$$B(\lambda )=P(\lambda )A(\lambda )Q(\lambda )$$

证明：
根据定义，由有限次初等变换，
所以存在一系列初等矩阵$P_1，P_2,\dots ,P_r$与$Q_1,Q_2,\dots ,Q_t$使得
$$B(\lambda )=P_r{P}_{r-1}\dots P_{1}A(\lambda )Q_1{Q}_2\dots Q_t$$
令$P(\lambda )=P_1，P_2,\dots ,P_r,Q(\lambda )=Q_1,Q_2,\dots ,Q_t$
显然$P(\lambda ),Q(\lambda )$可逆
所以
$$B(\lambda )=P(\lambda )A(\lambda )Q(\lambda )$$

由此可知，矩阵相抵，秩相同，但是反之不成立
矩阵相抵，则行列式差一个非零常数（因为初等矩阵的行列式为$-1,k,1$,同取行列式，就很显然了）

$\lambda$矩阵在相抵下的标准型

引理

设$\lambda$矩阵中左上角元素$a_{11}(\lambda )\ne 0$,$A(\lambda )$至少有一个元素不能被它整除，则一定可以找到与$A(\lambda )$相抵的矩阵$B(\lambda )$，他的左上角元素也不为0，但是次数比$a_{11}(\lambda )$的次数低

证明：
case 1:
若在$A(\lambda )$的第1列中有元素$a_{i1}(\lambda )$不能被$a_{11}(\lambda )$整除，即
$$a_{i1}(\lambda )=a_{11}(\lambda )q(\lambda )+r(\lambda )$$
其中$r(\lambda )\ne 0$，且次数比$a_{11}(\lambda )$低
此时$B(\lambda )=I(1,i)I(1(q(\lambda ),i)A(\lambda )$，其左上角元素为$r(\lambda )$
满足条件
case2:
若在$A(\lambda )$的第1行中有元素$a_{1i}(\lambda )$不能被$a_{11}(\lambda )$整除

作法与case1 差不多

case3:
$A(\lambda )$中第1行，第1列都可以被$a_{11}(\lambda )$整除，但是$a_{ij}(\lambda )(i>1,j>1)$不能被$a_{11}(\lambda )$整除

不妨设$a_{i1}(\lambda )=a_{11}(\lambda )\varphi (\lambda )$
$C(\lambda )=I(i(1),1)I(1(-\varphi (\lambda )),i)A(\lambda )$
此时$c_{1j}=a_{ij}(\lambda )+(1-\varphi (\lambda ))a_{1j}(\lambda )$
因为$a_{11}(\lambda )\mid a_{1j}(\lambda )$，$a_{11}(\lambda )\nmid a_{ij}(\lambda )$,所以$a_{11}(\lambda )\nmid c_{1j}(\lambda )$
然后就转成了case2

施密特标准形

设$A(\lambda )\in P{\left[\lambda \right]}^{m\times n}$,且$rank(A(\lambda ))=r$,
则$A(\lambda )$相抵于如下对角形，称为$A(\lambda )$的施密特标准形
$$A(\lambda )\simeq \left(\begin{array}{ccccccc}{d}_1(\lambda )& & & & & & \\ & d_2(\lambda )& & & & & \\ & & \ddots & & & & \\ & & & d_r(\lambda )& & & \\ & & & & 0& & \\ & & & & & \ddots & \\ & & & & & & 0\end{array}\right)$$
其中$r\le min(m,n),d_i(\lambda )(i=1,2,\dots )$是首1的多项式（最高次的系数为1）
且$d_{i-1}(\lambda )\mid d_i(\lambda )(i=2,3,\dots ,r)$

证明：
不妨设$a_{11}(\lambda )\ne 0$,否则可以通过初等变换，使得左上角元素不为0

如果$a_{11}(\lambda )$不能整除$A(\lambda )$的所有元素,
根据引理，可以找到一个与$A(\lambda )$相抵的矩阵$B_1(\lambda )$,他的左上角元素$b_1(\lambda )\ne 0$,且次数比$a_{11}(\lambda )$低
如果$b_1(\lambda )$不能整除$B(\lambda )$的所有元素，可以继续根据引理操作。
因为左上角元素次数越来越低，总是可以在有限次操作后得到$\lambda$矩阵$B_s(\lambda )$，他的左上角元素$b_s(\lambda )\ne 0$而且可以整除$B_s(\lambda )$的所有元素
即$b_{ij}(\lambda )=b_s(\lambda )q_{ij}(\lambda )$
通过初等变换，
$$B_s(\lambda )\simeq \left(\begin{array}{cc}{b}_s(\lambda )& 0^T\\ 0& A_1(\lambda )\end{array}\right)$$
显然$A_1(\lambda )$的元素是$b_{ij}(\lambda )$的组合，也是$b_s(\lambda )$的组合
也就是说，$b_s(\lambda )$可以整除$A_1(\lambda )$中的所有元素

接着如果$A_1(\lambda )\ne 0$，则可以继续作上面的操作
直到$A_t(\lambda )=0$
证毕

不变音为与初等因子

不变因子

$\lambda$矩阵$A(\lambda )$化为施密特标准形后，其对角元素$d_1(\lambda ),\dots ,d_r(\lambda )$称为$A(\lambda )$的不变因子

行列式因子

设$A(\lambda )$的秩为$r$，对于正整数$k(1\le k\le r)$,$A(\lambda )$中必有非零的$k$阶子式，把$A(\lambda )$的全部$k$阶子式的最大公因式称为$A(\lambda )$的$k$阶行列式因子，记为$D_k(\lambda )$

引理

$$\left|\begin{array}{cccc}{a}_{11}+b_{11}& a_{12}+b_{12}& \cdots & a_{1n}+b_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ \cdots & \cdots & \cdots & \cdots \end{array}\right|=\left|\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ \cdots & \cdots & \cdots & \cdots \end{array}\right|+\left|\begin{array}{cccc}{b}_{11}& b_{12}& \cdots & b_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ \cdots & \cdots & \cdots & \cdots \end{array}\right|$$
证明：
慢慢数归

相抵的$\lambda$矩阵具有相同的秩和相同的各阶行列式因子

相抵的$\lambda$矩阵具有相同的秩和相同的各阶行列式因子

证明：
只要证明$\lambda$矩阵经过一次初等变换后，秩和行列式因子不变

设$\lambda$矩阵$A(\lambda )$经过一次初等行变换变成了$B(\lambda )$,
$f(\lambda )$与$g(\lambda )$分别是$A(\lambda )$与$B(\lambda )$的行列式因子，
针对3种初等变换来证明$f(\lambda )=g(\lambda )$

case1:
交换$A(\lambda )$的两行得到$B(\lambda )$，此时$B(\lambda )$的每个$k$阶子式要么等于$A(\lambda )$的某一个$k$阶子式，要么等于$A(\lambda )$的某一个$k$阶子式的$-1$倍，因此$f(\lambda )\mid g(\lambda )$

case2:
用非零的数$a$乘$A(\lambda )$的某一行得到$B(\lambda )$，这时此时$B(\lambda )$的每个$k$阶子式要么等于$A(\lambda )$的某一个$k$阶子式，要么等于$A(\lambda )$的某一个$k$阶子式的$a$倍，因此$f(\lambda )\mid g(\lambda )$

case3:
将$A(\lambda )$第$j$行的$\varphi (\lambda )$倍加到第$i$行得到$B(\lambda )$,这时$B(\lambda )$的$k$阶子式有四种情况，
（1）包含$i$行，包含$j$行
（2）包含$i$行但是不包含$j$行
（3）包含$j$行但是不包含$i$行
（4）不包含$i$行，不包含$j$行
第（1），（3），（4）种情况不改变原来的$k$阶子式
第（2）种根据引理，为原来的$k$阶子式$\pm \varphi (\lambda )\ast$原来的$k$阶子式
因此$f(\lambda )\mid g(\lambda )$

综上所述$f(\lambda )\mid g(\lambda )$

由可逆性，设$\lambda$矩阵$B(\lambda )$经过一次初等行变换变成了$A(\lambda )$
所以$g(\lambda )\mid f(\lambda )$,所以$f(\lambda )=g(\lambda )$

如果$A(\lambda )$的$k$阶子式全为0，则$f(\lambda )=0$，进而$g(\lambda )=0$,$B(\lambda )$的$k$阶子式全为0，反之亦然，即有相同的行列式因子和秩

证毕

推论

利用$A(\lambda )$的施密特标准形
$$\{\begin{array}{l}{D}_1(\lambda )=d_1(\lambda )\\ D_2(\lambda )=d_1(\lambda )d_2(\lambda )\\ \cdots \\ D_r(\lambda )=d_1(\lambda )d_2(\lambda )\cdots d_r(\lambda )\end{array}$$
于是
$$\{\begin{array}{l}{D}_1(\lambda )\mid D_2(\lambda ),D_2(\lambda )\mid D_3(\lambda ),\cdots ,D_{r-1}(\lambda )\mid D_r(\lambda )\\ d_1(\lambda )=D_1(\lambda ),d_2(\lambda )=\frac{D_2(\lambda )}{D_1(\lambda )},\cdots ,d_r(\lambda )=\frac{D_r(\lambda )}{D_{r-1}(\lambda )}\end{array}$$

施密特标准形是唯一的

$\lambda$矩阵的$A(\lambda )$的施密特标准形是唯一的

证明：
因为各阶行列式因子是唯一的，所以不变因子是唯一的，所以施密特标准形是唯一的

相抵的充分必要条件

设$A(\lambda ),B(\lambda )\in P{\left[\lambda \right]}^{m\times n}$,
则他们相抵的充要条件是他们有相同的行列式因子或不变因子

证明：
不变因子和行列式因子可以互相确定

必要性：
由前面的定理，成立
充分性：
如果他们有相同的不变因子，则他们的施密特标准形是相同的，根据相抵的传递性，成立

初等因子

当$A(\lambda )$的秩为$r$时，$r$个不恒等于0的$d_i(\lambda )$在复数域总可以分解为一次多项式因子的幂积，即
$$\{\begin{array}{l}{d}_1(\lambda )=(\lambda -{\lambda }_1{)}^{e_{11}}(\lambda -{\lambda }_1{)}^{e_{12}}\cdots (\lambda -{\lambda }_1{)}^{e_{1s}}\\ d_2(\lambda )=(\lambda -{\lambda }_1{)}^{e_{21}}(\lambda -{\lambda }_1{)}^{e_{22}}\cdots (\lambda -{\lambda }_1{)}^{e_{2s}}\\ \dots \\ d_r(\lambda )=(\lambda -{\lambda }_1{)}^{e_{r1}}(\lambda -{\lambda }_1{)}^{e_{r2}}\cdots (\lambda -{\lambda }_1{)}^{e_{rs}}\end{array}$$
其中${\lambda }_1,{\lambda }_2,\dots ,{\lambda }_s$是$d_r$中一切相异的根
根据整除关系
$$0\le e_{1j}\le e_{2j}\le \cdots \le e_{rj}(j=1,2,\dots ,s)$$

当$e_{ij}\ne 0$，
因子$(\lambda -{\lambda }_j{)}^{eij}(i=1,2,\dots ,r,j=1,2,\dots ,s)$的全体叫做$A(\lambda )$的初等因子

所以
$$\text{不变因子}\Rightarrow \text{初等因子}$$
$$\text{初等因子}+\text{秩}\Rightarrow \text{不变因子}$$

块对角矩阵

设$\lambda$矩阵为块对角矩阵
$$A(\lambda )=\left(\begin{array}{cccc}{A}_1(\lambda )& & & \\ & A_2(\lambda )& & \\ & & \ddots & \\ & & & A_m(\lambda )\end{array}\right)$$
则$A_i(\lambda )(i=1,2,\dots ,m)$的所有初等因子的集合是$A(\lambda )$的全部初等因子

证明：
利用数学归纳法
当m=2时
$$A_1(\lambda )\simeq diag(d_1(\lambda ),d_2(\lambda ),\dots ,d_{r_1}(\lambda ),0,\dots ,0)$$
$$A_2(\lambda )\simeq diag({\overline{d}}_1(\lambda ),{\overline{d}}_2(\lambda ),\dots ,{\overline{d}}_{r_2}(\lambda ),0,\dots ,0)$$
显然$A(\lambda )$的秩为$r=r_1+r_2$，把$d_i(\lambda )$和${\overline{d}}_j$ 分别表示为不同的一次因子的幂积，即
$$d_i(\lambda )=(\lambda -{\lambda }_1{)}^{e_{i1}}(\lambda -{\lambda }_2{)}^{e_{i2}}\cdots (\lambda -{\lambda }_s{)}^{e_{is}}(i=1,2,\dots ,r_1)$$
$${\overline{d}}_j=(\lambda -{\lambda }_1{)}^{h_{j1}}(\lambda -{\lambda }_2{)}^{h_{j2}}\cdots (\lambda -{\lambda }_s{)}^{h_{js}}(j=1,2,\dots ,r_2)$$
因此$A_1(\lambda )$的初等因子形如
$$(\lambda -{\lambda }_1{)}^{e_{i1}},(\lambda -{\lambda }_2{)}^{e_{i2}},\cdots ,(\lambda -{\lambda }_s{)}^{e_{is}}$$
中不为常数的多项式
$A_2(\lambda )$的初等因子形如
$$(\lambda -{\lambda }_1{)}^{h_{j1}},(\lambda -{\lambda }_2{)}^{h_{j2}},\cdots ,(\lambda -{\lambda }_s{)}^{h_{js}}$$
中不为常数的多项式

将$(\lambda -{\lambda }_1)$的幂指数$e_{11},e_{21},\dots ,e_{r_{1}1},h_{11},h_{21},\dots ,h_{r_{2}1}$从小到大排列，
令为$c_1,c_2,\dots ,c_r$即
$$0\le c_1\le c_2\le \cdots \le c_r$$

$$A(\lambda )\simeq diag(d_1(\lambda ),\dots ,d_{r_1}(\lambda ),{\overline{d}}_1(\lambda ),\dots ,{\overline{d}}_{r_2}(\lambda ),0,\dots ,0)$$
同时
$A(\lambda )\simeq diag((\lambda -{\lambda }_1{)}^{c_1}{\varphi }_1(\lambda ),\cdots ,(\lambda -{\lambda }_1{)}^{c_r}{\varphi }_r(\lambda ),0,\cdots ,0)$
其中${\varphi }_i(\lambda )$不含$(\lambda -{\lambda }_1)$的因式

设$A(\lambda )$的各阶行列式因子为$D_1^{\ast }(\lambda ),\dots ,D_r^{\ast }(\lambda )$,
这些行列式因子中因式$(\lambda -{\lambda }_1)$的最高幂指数分别等于$c_1,{\sum }_{i=1}^2{c}_i,\cdots ,{\sum }_{i=1}^r{c}_i$
不变因子$d_1^{\ast }(\lambda ),\cdots ,d_r^{\ast }(\lambda )$中因式$\lambda -{\lambda }_1$的最高幂指数分别为$c_1,c_2,\dots ,c_r$
也就是说$A(\lambda )$中与$\lambda -{\lambda }_1$相应的初等因子是由下列因子
$$(\lambda -{\lambda }_1{)}^{c_1},(\lambda -{\lambda }_1{)}^{c_2},\cdots ,(\lambda -{\lambda }_1{)}^{c_r}$$
中$c_j\ne 0$的那些幂$(\lambda -{\lambda }_1{)}^{c_j}$组成的，因为就是$A_1(\lambda ),A_2(\lambda )$中与$\lambda -{\lambda }_1$相应的全部初等因子。
$\lambda -{\lambda }_2,\cdots ,\lambda -{\lambda }_s$也有同样的结论
所以$A_1(\lambda ),A_2(\lambda )$的全部初等因子都是$A(\lambda )$的初等因子

下面证明$A(\lambda )$没有其他的初等因子
设$(\lambda -a{)}^k$是$A(\lambda )$的一个初等因子,于是$(\lambda -a{)}^k$一定是包含在某一个初等因子$d_i^{\ast }(\lambda )$中$\lambda -a$的最高次幂
所以$(\lambda -a{)}^k\mid d_r^{\ast }(\lambda )\Rightarrow (\lambda -a{)}^k\mid D_r^{\ast }(\lambda )\Rightarrow D_r^{\ast }(a)=0$
$$D_r^{\ast }(\lambda )\equiv d_1(\lambda )\cdots d_{r_1}(\lambda ){\overline{d}}_1(\lambda )\cdots {\overline{d}}_{r_2}(\lambda )$$
$d_i(\lambda )\mid d_{r_1}(\lambda )(i=1,2,\cdots ,r_1)$
${\overline{d}}_j(\lambda )\mid {\overline{d}}_{r_2}(\lambda )(j=1,2,\cdots ,r_2)$
所以
$$d_{r_1}(a){\overline{d}}_{r_2}(a)=0$$
所以$a$必然是${\lambda }_1,\cdots ,{\lambda }_s$中的一个
所以$(\lambda -a{)}^k$是与某个$(\lambda -{\lambda }_i)$相应的初等因子
即$(\lambda -a{)}^k$一定是某一个$(\lambda -a{)}^{e_{it}}$或$(\lambda -a{)}^{h_{jt}}$
其中$i=1,\cdots ,r_1,j=1,\cdots ,r_2,t=1,2,\cdots ,s$
这就证明了除$A_1(\lambda )$与$A_2(\lambda )$的全部初等因子外，$A(\lambda )$没有别的初等因子

后面的由数学归纳法，成立

例子

若尔当块

$n$阶若尔当块
$$J_i={\left(\begin{array}{ccccc}{\lambda }_i& 1& & & \\ & {\lambda }_i& 1& & \\ & & \ddots & \ddots & \\ & & & {\lambda }_i& 1\\ & & & & {\lambda }_i\end{array}\right)}_{n\times n}$$
则
$\lambda I-J_i$
行列式因子$$D_1(\lambda )=D_2(\lambda )=\cdots =D_{n-1}=1$$
而$D_n=(\lambda -{\lambda }_i{)}^n$
不变因子
$$d_1(\lambda )=d_2(\lambda )=\cdots =d_{n-1}(\lambda )=1$$
$$d_n(\lambda )=(\lambda -{\lambda }_i{)}^n$$

初等因子只有一个$(\lambda -{\lambda }_i{)}^n$

若尔当标准形

$$J={\left(\begin{array}{cccc}{J}_1& & & \\ & J_2& & \\ & & \ddots & \\ & & & J_t\end{array}\right)}_{n\times n}$$
其中$J_i$为若尔当块
则$\lambda I-J$的初等因子为
$$(\lambda -{\lambda }_1{)}^{m_1},\cdots ,(\lambda -{\lambda }_t{)}^{m_t}$$
其中${\sum }_{i=1}^t{m}_i=n$