【引入】
对于 阶方阵,如果没有 个线性无关的特征向量,就无法进行对角化
那么,对于 阶方阵,是否能相似于一个较为简单的上三角分块矩阵?答案是肯定的,这种具较为简单的上三角分块矩阵即 Jordan 标准形
也就是说,任何 阶方阵 在复数域上都相似于一个 Jordan 标准形
【Jordan 矩阵】
称形
的 阶矩阵为基本 Jordan 块矩阵,简称为 Jordan 块
同一特征值的若干 Jordan 块组成的对角块矩阵称为子 Jordan 矩阵,而由若干子 Jordan 矩阵组成的对角矩阵称为 Jordan 矩阵
例如
均为 Jordan 块,
均为 Jordan 矩阵,其中,第一个矩阵由两个 Jordan 块组成,第二、三个矩阵由两个子 Jordan 矩阵组成
【Jordan 标准形】
如果 阶方阵 相似于 Jordan 矩阵,即存在 阶可逆阵 ,使得
其中, 为 Jordan 矩阵,则称 为 的 Jordan 标准形
设 阶方阵 的全部互异的特征值为 ,其代数重数分别为 ,几何重数分别为 ,则 相似于一个 Jordan 阵,即存在可逆阵 ,使得
其中, 是主对角元为 的 阶子 Jordan 阵,且 包含 个 Jordan 块
【行列式因子与不变因子】
行列式因子
若一个矩阵都是关于 的多项式,那么该矩阵称为 阵,或多项式矩阵
设 ,记 ,称 为方阵 的特征矩阵,显然 中的元均为 的零次或一次多项式,故 是一个特殊的 阵
对于 阶方阵 的特征矩阵 ,其中所有非零的 阶子式的首项系数为 的最大公因式 ,称为 的一个 级行列式因子
由于多项式的首项是指多项式的最高次项,通常称首项系数为 的多项式为首一多项式,因此 的各级行列式因子均为首一多项式
不变因子
根据行列式因子的定义,有
因为 可按一行或按一列展开为一系列 级子式的代数和,又 能整除每个 级子式,所以 能整除 ,记为 ,故称下列 个多项式
为 的不变因子
由于特征矩阵 只与 相关,因此 的行列式因子和不变因子也称为矩阵 的行列式因子和不变因子
【Smith 标准形】
直接使用定义去求 的各级行列式因子和不变因子是十分繁琐的,为此可以采用初等变换的方式来求
称下列运算为多项式矩阵 的初等变换:
- 互换 的任意两行或两列
- 用非零常数 乘 的某行或某列
- 用多项式 乘 的某行或某列,然后加到另一行或另一列
由行列式的性质可知,特征矩阵 的行列式因子在初等变换下是不变的,因此,可对 进行初等变换,将 变为如下对角形
其中, 均为首一多项式,且满足
称上式的对角形为特征矩阵 的 Smith 标准形,其主对角线上的各多项式即为 的不变因子
【初等因子】
将 的每个次数大于零的不变因子在复数域内分解为互不相同的一次因式的方幂的乘积,所有这些一次因式的方幂(相同的按出现次数计算)称为 的初等因子
例如,若 的不变因子为
则次数大于零的不变因子有 个,即 ,这三个不变因子共有五个因子组成,故 的全部初等因子为
【Jordan 标准形的构造】
根据多项式矩阵理论,两根同阶方阵 相似的充要条件是它们具有相同的不变因子或初等因子
从这一结论可以推出,若知道方阵 的全部初等因子,那么只要能求出同样具有这些初等因子的 Jordan 阵,这个 Jordan 阵,即为 的 Jordan 标准形
设方阵 的全部初等因子为
其中, 可能是相同的,指数 也可能是相同的,对每个初等因子 构造一个 Jordan 块
则 的 Jordan 标准形为
易知,除去 Jordan 块的排列次序外,方阵 的 Jordan 标准形是由 唯一确定的
例如,若矩阵 的全部初等因子为
故 的 Jordan 标准形为
即存在可逆阵 ,使得
Gitalking ...