《矩阵理论与方法》lambda矩阵及Jordan标准形

最近在学习《矩阵理论与方法》这一本书，以此笔记作为学习过程的记录。

一.$\lambda$-矩阵

定义1：设$\lambda$是数域$F$上的一个未定元，$f(\lambda )$，$g(\lambda )$，$...$，是$F$上$\lambda$的多项式。用未定元$\lambda$的多项式为元素组成的矩阵
$$\left[\begin{array}{cccc}{f}_{11}(\lambda )& f_{12}(\lambda )& \cdots & f_{1n}(\lambda )\\ f_{21}(\lambda )& f_{22}(\lambda )& \cdots & f_{2n}(\lambda )\\ ⋮& ⋮& \ddots & ⋮\\ f_{m1}(\lambda )& f_{m2}(\lambda )& \cdots & f_{mn}(\lambda )\end{array}\right]$$
称为$\lambda$-矩阵，记作$(f_{ij}(\lambda ))$。可用$\mathtt{A}(\lambda )$，$\mathtt{B}(\lambda )$，$\mathtt{C}(\lambda )$等来表示$\lambda$-矩阵。

例如，方阵A的特征矩阵 $\lambda \mathtt{I}-\mathtt{A}$ 就是一个$\lambda$-矩阵，数字矩阵当然也可看做$\lambda$-矩阵的特例。

定义2：$\lambda$-矩阵A$(\lambda )$中不为零的子式的最高阶数$r$称为A$(\lambda )$的秩，记作$rank\mathtt{A}(\lambda )=r$，简写成$r[\mathtt{A}(\lambda )]=r$。规定零矩阵的秩为零。

例如，$$rank=\left[\begin{array}{cc}\lambda & 1\\ 0& \lambda \end{array}\right]=2，rank=\left[\begin{array}{cc}\lambda & \lambda -1\\ 0& 0\end{array}\right]=1$$

定义3：对于$n$阶$\lambda$-矩阵$\mathtt{A}(\lambda )$，若有$n$阶$\lambda$-矩阵$\mathtt{B}(\lambda )$，使得
$$\mathtt{A}(\lambda )\mathtt{B}(\lambda )=\mathtt{B}(\lambda )\mathtt{A}(\lambda )={\mathtt{I}}_n$$
则称$\mathtt{A}(\lambda )$为可逆的$\lambda$-矩阵，并称$\mathtt{B}(\lambda )$为$\mathtt{A}(\lambda )$的逆矩阵。

定理1：$n$阶$\lambda$-矩阵$\mathtt{A}(\lambda )$可逆的充分必要条件是$$|\mathtt{A}(\lambda )|=d$$
其中，$d$是一个非零常数。

定义4：若$\lambda$-矩阵$\mathtt{A}(\lambda )$经过有限次数的初等变换，可以化成$\mathtt{B}(\lambda )$，则称$\mathtt{B}(\lambda )$与$\mathtt{A}(\lambda )$等价，记作$\mathtt{A}(\lambda )≌\mathtt{B}(\lambda )$。

$\lambda$-矩阵的等价关系与数字矩阵一样，也满足自反性、对称性和传递性。

若两个$\lambda$-矩阵等价，则它们的秩必定相等。

二.$\lambda$-矩阵的标准型

定义5：对角形$\lambda$-矩阵
$$\mathtt{D}(\lambda )=\left[\begin{array}{ccccccc}{d}_1(\lambda )& & & & & & \\ & d_2(\lambda )& & & & & \\ & & \ddots & & & & \\ & & & d_3(\lambda )& & & \\ & & & & 0& & \\ & & & & & \ddots & \\ & & & & & & 0\end{array}\right]$$