若尔当(Jordan)标准形介绍

并不是每个线性变换都有一组基使它在这组基下矩阵为对角形,一般线性变换通过选择基能将它的矩阵变为什么样的简单形状的矩阵,这个问题也等价于:任一方阵经过相似变换能变成什么样的标准形,下面将限制在复数域中讨论。

定义1

形式为J(\lambda_0,k)= \left(\begin{matrix}\lambda_0&0&0&...&0&0&0\\ 1&\lambda_0&0&...&0&0&0\\ \vdots &\vdots &\vdots &&\vdots &\vdots &\vdots \\ 0&0&0&...&1&\lambda_0&0\\ 0&0&0&...&0&1&\lambda_0 \end{matrix} \right )_{k\times k}的矩阵称为一个若尔当块,其中\lambda_0复数。由若干个若尔当块组成的准对角矩阵A= \left(\begin{matrix}J(\lambda_1,k_1)\\ &J(\lambda_2,k_2)\\ &&\ddots \\ &&&J(\lambda_s,k_s) \end{matrix} \right )称为一个若尔当形矩阵,其中\lambda _1,\lambda _2,...,\lambda _s复数,有一些可以相同。

例:J(1,3)= \left(\begin{matrix}1&0&0\\ 1&1&0\\ 0&1&1 \end{matrix}\right),

若尔当(Jordan)标准形介绍_第1张图片都是若尔当形矩阵。

关于若尔当形矩阵的主要结果是:

定理

\mathfrak{A}复数域上n维线性空间V的一个线性变换,则V中一定存在一组基,\mathfrak{A}在这组基下的矩阵是若尔当形矩阵,并且这个若尔当形矩阵除去其中的若尔当块的排列顺序外,由\mathfrak{A}唯一决定,它称为\mathfrak{A}的矩阵的若尔当标准形

推论:每个n级复矩阵A一定与一个若尔当形矩阵相似,这个若尔当形矩阵除去其中若尔当块的排列顺序外由A唯一决定,称为A的若尔当标准形

因为若尔当形矩阵是三角矩阵,故\mathfrak{A}(或A)的若尔当形中主对角线上的元素就是它的特征多项式的全部根(重根按重数计算)。

你可能感兴趣的:(高等代数)