高等代数理论基础59:若尔当标准形的理论推导

若尔当标准形的理论推导

若尔当块的初等因子

若尔当块

的初等因子为

特征矩阵

显然

即的n级行列式因子

由有一个n-1级子式为

故它的n-1级行列式因子为1,从而它以下各级行列式因子全是1

故它的不变因子

由此可得的初等因子为

若尔当形矩阵的初等因子

设为一个若尔当形矩阵

其中

的初等因子为,故与等价

\begin{pmatrix}1\\&\ddots\\& &1\\& & &(\lambda-\lambda_1)^{k_1}\\& & & &1\\& & & & &\ddots\\& & & & & &1\\& & & & & & &(\lambda-\lambda_2)^{k_2}\\& & & & & & & &1\\& & & & & & & & &\ddots\\& & & & & & & & & &1\\& & & & && & & & & &(\lambda-\lambda_s)^{k_s}\end{pmatrix}等价

故的全部初等因子为

即每个若尔当形矩阵的全部初等因子由它的全部若尔当块的初等因子构成

每个若尔当块完全被它的级数n与主对角线上元素刻画,而这两个数都反映在它的初等因子中,故若尔当块被它的初等因子唯一确定

若尔当形矩阵除去其中若尔当块排列的次序外被它的初等因子唯一确定

定理:每个n级复数矩阵A都与一个若尔当形矩阵相似,这个若尔当形矩阵除去其中若尔当块的排列次序外被矩阵A唯一确定,称为A的若尔当标准形

证明:

注:若尔当形矩阵包括对角矩阵,即由一级若尔当块构成的若尔当形矩阵

定理:复数矩阵A与对角矩阵相似的充要条件为的初等因子全为一次的

注:矩阵A的最小多项式即A的最后一个不变因子

定理:复数矩阵A与对角矩阵相似的充要条件为的不变因子都没有重根

注:每个复数矩阵A都与一个若尔当形矩阵相似

可规定上三角形矩阵

为若尔当块

你可能感兴趣的:(高等代数理论基础59:若尔当标准形的理论推导)