将学习到什么

练习一下如何把一个矩阵化为 Jordan 标准型.

 


将矩阵化为 Jordan 标准型需要三步:

  • 第一步 求出矩阵 \(A \in M_n\) 全部的特征值 \(\lambda_1,\cdots,\lambda_t\), 假设有 \(t\) 个不同的特征值
  • 第二步 Jordan 标准型定理 中的推论告诉我们:\(w_k(A,\lambda)-w_{k+1}(A,\lambda)\) 是以 \(\lambda\) 为特征值且阶恰好为 \(k\) 的 Jordan 块的个数. 我们就利用这个公式计算出以 \(\lambda\) 为特征值,阶为 \(\ell\) 的个数, \(\ell, \ell=1,2,\cdots\) 逐次计算. 以 \(\lambda\) 为特征值的 Jordan 块阶数之和等于特征值 \(\lambda\) 的代数重数,由此可知是否已经找出全部以 \(\lambda\) 为特征值的 Jordan 块
  • 第三步 将所获得的 Jordan 块按任意次序排列成 Jordan 矩阵.

 


例 1

将矩阵

\begin{align}
A=\begin{bmatrix} 2 & 6 & -15 \\ 1 & 1 & -5 \\ 1 & 2 & -6 \end{bmatrix}
\end{align}

化为 Jordan 标准型.

 

第一步:求特征值

矩阵 \(A\) 的特征多项式为
\begin{align}
\lvert \lambda I-A \rvert =\begin{bmatrix} \lambda-2 & -6 & 15 \\ -1 & \lambda-1 & 5 \\ -1 & -2 & \lambda+6 \end{bmatrix} =(\lambda+1)^3
\end{align}

所以它只有一个特征值 \(\lambda_1=-1\), 代数重数为 3.
 

第二步:求 Jordan 块

对 \(\lambda_1=-1\), 令
\begin{align}
B=A-\lambda_1 I = A+I =\begin{bmatrix} 3 & 6 & -15 \\ 1 & 2 & -5 \\ 1 & 2 & -5 \end{bmatrix}, \qquad B^2=0
\end{align}
所以以 \(\lambda_1\) 为特征值阶为 1 的 Jordan 块的个数为
\begin{align}
w_1(A,\lambda_1)-w_2(A,\lambda_1)=[n-r_1(A,\lambda_1)] - [r_1(A,\lambda_1)-r_2(A,\lambda_1)] = [3-1]-[1-0]=1
\end{align}
其中 $r_k(A,\lambda)=\mathrm{rank} (A-\lambda I)^k, \quad r_0(A,\lambda):=n $, \(n\) 为方阵 \(A\) 的大小.
同理,以 \(\lambda_1\) 为特征值阶为 2 的 Jordan 块的个数为
\begin{align}
w_2(A,\lambda_1)-w_3(A,\lambda_1)=[r_1(A,\lambda_1)-r_2(A,\lambda_1)] - [r_2(A,\lambda_1)-r_3(A,\lambda_1)] = [1-0]-[0-0]=1
\end{align}
上面两个 Jordan 块阶数之和为 3,等于 \(\lambda_1\) 的重数,因而不再存在以 \(\lambda_1\) 为特征值的其它 Jordan 块. 因矩阵 \(A\) 没有其它特征值,故 Jordan 块求解完毕.

 

第三步:组成 Jordan 矩阵

只有一个重数为 3 的特征值 \(\lambda_1=-1\),一阶二阶各一个,所以矩阵 \(A\) 的 Jordan 标准型为

\begin{align}
J=\begin{bmatrix} -1 & 0 & 0 \\ 0 & -1 & 1 \\ 0 & 0 & -1\end{bmatrix}
\end{align}

 


例 2

将矩阵
\begin{align}
A=\begin{bmatrix} 3 & -4 & 0 & 2 \\ 4 & -5 & -2 & 4 \\ 0 & 0 & 3 & -2 \\ 0 & 0 & 2 & -1 \end{bmatrix}
\end{align}
化为 Jordan 标准型.

矩阵 \(A\) 的特征多项式为
\begin{align}
\lvert \lambda I-A \rvert =\begin{bmatrix} \lambda-3 & 4 & 0 & -2 \\ -4 & \lambda+5 & 2 & -4 \\ 0 & 0 & \lambda-3 & 2 \\ 0 & 0 & -2 & \lambda+1 \end{bmatrix}= (\lambda+1)^2(\lambda-1)^2
\end{align}

所以它有两个特征值 \(\lambda_1=-1\) 和 \(\lambda_2=1\), 代数重数都为 2.
 

第二步:求 Jordan 块

对 \(\lambda_1=-1\), 令
\begin{align}
B_1=A-\lambda_1 I = A+I &=\begin{bmatrix} 4 & -4 & 0 & 2 \\ 4 & -4 & -2 & 4 \\ 0 & 0 & 4 & -2 \\ 0 & 0 & 2 & 0 \end{bmatrix} \qquad \mathrm{rank}\,B_1=3 \\
B_1^2 &=\begin{bmatrix} 0 & 0 &12 & -8 \\ 0 & 0 & 8 & -4 \\ 0 & 0 & 12 & -8 \\ 0 & 0 & 8 & -4 \end{bmatrix} \qquad \mathrm{rank}\,B_1^2=2 \\
B_1^3 &=\begin{bmatrix} 0 & 0 & 32 & -24 \\ 0 & 0 & 24 & -16 \\ 0 & 0 & 32 & -24 \\ 0 & 0 & 24 & -16 \end{bmatrix} \qquad \mathrm{rank}\,B_1^3=2
\end{align}
所以以 \(\lambda_1\) 为特征值阶为 1 的 Jordan 块的个数为
\begin{align}
w_1(A,\lambda_1)-w_2(A,\lambda_1)=[n-r_1(A,\lambda_1)] - [r_1(A,\lambda_1)-r_2(A,\lambda_1)] = [4-3]-[3-2]=0
\end{align}
以 \(\lambda_1\) 为特征值阶为 2 的 Jordan 块的个数为
\begin{align}
w_2(A,\lambda_1)-w_3(A,\lambda_1)=[r_1(A,\lambda_1)-r_2(A,\lambda_1)] - [r_2(A,\lambda_1)-r_3(A,\lambda_1)] = [3-2]-[2-2]=1
\end{align}
上面第二个 Jordan 块阶数为 2,等于 \(\lambda_1\) 的重数,所以以 \(\lambda_1\) 为特征值的 Jordan 块求解完毕.
 
对 \(\lambda_2=1\), 令
\begin{align}
B_2=A-\lambda_2 I = A-I &=\begin{bmatrix} 2 & -4 & 0 & 2 \\ 4 & -6 & -2 & 4 \\ 0 & 0 & 2 & -2 \\ 0 & 0 & 2 & -2 \end{bmatrix} \qquad \mathrm{rank}\,B_2=3 \\
B_2^2 &=\begin{bmatrix} -12 & 16 & 12 & -16 \\ -16 & 20 & 16 & -20 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix} \qquad \mathrm{rank}\,B_2^2=2 \\
B_2^3 &=\begin{bmatrix} 40 & -48 & -40 & 48 \\ 48 & -56 & -48 & 56 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix} \qquad \mathrm{rank}\,B_2^3=2
\end{align}
所以以 \(\lambda_2\) 为特征值阶为 1 的 Jordan 块的个数为
\begin{align}
w_1(A,\lambda_2)-w_2(A,\lambda_2)=[n-r_1(A,\lambda_2)] - [r_1(A,\lambda_2)-r_2(A,\lambda_2)] = [4-3]-[3-2]=0
\end{align}
以 \(\lambda_2\) 为特征值阶为 2 的 Jordan 块的个数为
\begin{align}
w_2(A,\lambda_2)-w_3(A,\lambda_2)=[r_1(A,\lambda_2)-r_2(A,\lambda_2)] - [r_2(A,\lambda_2)-r_3(A,\lambda_2)] = [3-2]-[2-2]=1
\end{align}
上面第二个 Jordan 块阶数为 2,等于 \(\lambda_2\) 的重数,所以以 \(\lambda_2\) 为特征值的 Jordan 块求解完毕.

Jordan 标准型定理 的式 (6) 知,矩阵 \(B^k\), \(k>2\) 的秩不会再变化了,即次数大于特征值的最大的 Jordan 块的阶数时不再变化,最少为 \(n\) 减去 \(\lambda\) 的最大的 Jordan 块的阶数,这里也就是 2.

 

第三步:组成 Jordan 矩阵

以 \(\lambda_1=-1\) 和 \(\lambda_2=1\)为特征值的 Jordan 块各是一个二阶的,所以矩阵 \(A\) 的 Jordan 标准型为

\begin{align}
J=\begin{bmatrix} -1 & 1 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & 1 & 1 \\ 0&0&0& 1\end{bmatrix}
\end{align}

Jordan 标准型的实例的更多相关文章

  1. 【线性代数】 06 - Jordan标准型

    现在就来研究将空间分割为不变子空间的方法,最困难的是我们还不知道从哪里着手.你可能想到从循环子空间出发,一块一块地进行分割,但这个方案的存在性和唯一性都不能解决.不变子空间分割不仅要求每个子空间\(V ...

  2. Jordan 标准型的推论

    将学习到什么 从 Jordan 标准型出发,能够获得非常有用的信息.   Jordan 矩阵的构造 Jordan 矩阵 \begin{align} J=\begin{bmatrix} J_{n_1}( ...

  3. Jordan 标准型定理

    将学习到什么 就算两个矩阵有相同的特征多项式,它们也有可能不相似,那么如何判断两个矩阵是相似的?答案是它们有一样的 Jordan 标准型.   Jordan 标准型定理 这节目的:证明每个复矩阵都与一 ...

  4. 线性代数 | Jordan 标准型的笔记

    内容概述: 把方阵 A 的特征多项式 \(c(λ)=|λE-A|\) 展开成 \(c(λ)=\sum_ia_i\lambda^i\) 的形式,然后使用神乎其技的证明,得到 \(c(A)=O\),特征多 ...

  5. [转载] $\mathrm{Jordan}$标准型的介绍

    本文转载自陈洪葛的博客$,$ 而实际上来自xida博客朝花夕拾$,$ 可惜该博客已经失效 $\mathrm{Jordan}$ 标准形定理是线性代数中的基本定理$,$ 专门为它写一篇长文好像有点多余$: ...

  6. [Bilingual] Different proofs of Jordan cardinal form (Jordan标准型的几种证明)

  7. 实 Jordan 标准型和实 Weyr 标准型

    将学习到什么 本节讨论关于实矩阵的实形式的 Jordan 标准型,也讨论关于复矩阵的另外一种形式的 Jordan 标准型,因为它在与交换性有关的问题中很有用.   实 Jordan 标准型 假设 \( ...

  8. Jordan 块的几何

    设 $V$ 是复数域 $\mathbb{C}$ 上的 $n$ 维线性空间, $\varphi$ 是 $V$ 上的线性变换, $A\in M_n(\mathbb{C})$ 是 $\varphi$ 在某组 ...

  9. Jordan标准形

    一.引入 前面已经指出,一切n阶矩阵A可以分成许多相似类.今要在与A相似的全体矩阵中,找出一个较简单的矩阵来作为相似类的标准形.当然以对角矩阵作为标准形最好,可惜不是每一个矩阵都能与对角矩阵相似.因此 ...

随机推荐

  1. 图数据库初探之Neo4j

    图数据库初试之Neo4j 自从进入了移动互联网时代,各种新事物出现的速度都好像坐上了宇宙飞船,几乎隔几天一个新概念.就拿数据库而言,什么Oracle.DB2.SQL Server.MySQL,这些你都 ...

  2. 【WIP】iOS 网络通讯

    创建: 2018/06/05 网络通讯的基础  App Transport Security iOS9以后增加的功能 只允许满足Apple标准的https通信 ● 对ATS进行改动的话发布的审查时有可 ...

  3. codeforces743D 【DFS】

    题意: 给你一棵以1为root的根,然后让你求两棵不相交子树的最大和: 思路: DFS,主要就是你一定得使两棵子树不相交: 对于一个顶点u,维护以u为根的最大子树和. ①:包含u,即所有的结点和. ② ...

  4. autoResizing autoLayout和sizeClass

    原文网址: http://www.cnblogs.com/cxbblog/p/4166876.html 1. autoResizing autoresizing是苹果早期的ui布局适配的解决办法,iO ...

  5. android studio ffmpeg简单使用 (cmake)

    编译ffmpeg android studio 新建项目,勾选上 将编译好的libffmpeg.so库扔到src/main/jniLibs/armeabi下(主要这里我只编译了arm的ffmpeg的库 ...

  6. 利用arguments对象在javaScript中实现重载(overload)

    一些概念: 重载(overload): 什么是: 相同函数名,不同参数列表的多个函数,在调用时,可根据传入参数的不同,自动选择对应的函数调用! 为什么: 减轻调用者的负担,一个函数名,可执行多种操作 ...

  7. 解决XP“不是有效Win32程序” 不是改Platform toolset

    背景 最近在写一个窗口程序,想在Windows XP上也能跑.先用vs 2015的App Wizard生成了一个实例窗口程序,按照网上大部分攻略,将 "Properties - Genera ...

  8. 洛谷1537(bitset+01背包)

    总数是偶数并且其一半可得即可. bitset的移位可替代原本的数组转移. #pragma comment(linker, "/STACK:1024000000,1024000000" ...

  9. 微信支付——基于laravel框架的php实现

    现在经手的几乎每个项目都支持微信支付,简单记录下接入的大致流程. 1.首先商户等申请各种账号,微信支付商户号,APPID,API密钥,Appsecret 2.app端上传支付需要的各个字段 3.后台收 ...

  10. CATIA 各个版本代号详解

    一. 第几代(V-"version")简介 1982—1988年,catia相继发布了第一代—V1版本.第二代—V2版本.第三代—V3版本,并于1993年发布了功能强大的第四代—V ...