Jordan标准型

Jordan(若尔当)标准型知识梳理

Jordan(若尔当)标准型知识梳理

szmike

szmike

Keep curious

已关注

raDar 等 634 人赞同了该文章

本文主要介绍什么是Jordan标准型以及怎么把一个矩阵化为Jordan标准型。

一,Jordan标准型的定义

矩阵 J 除了主对角线和主对角线上方元素之外,其余都是0,且主对角线上方的对角线的系数若不为0只能为1,且这1的左方和下方的系数(都在主对角线上)有相同的值。易知对角矩阵是一种特殊的Jordan标准型矩阵。

Jordan标准型一般形式

二,把矩阵化为Jordan标准型

在介绍具体步骤之前,我们需要了解一些基本概念。

1. 代数重数(algebraic multiplicity,下简称am)和几何重数(geometric multiplicity,下简称gm)

代数重数:矩阵特征多项式 α=0 中某个解的重复次数。

矩阵特征多项式

i1,i2,...,ik 即为对应于 λ1,λ2,...,λk 的代数重数。

几何重数:矩阵某个特征值对应的特征空间 E 的维度。即(A−λI) 的零空间 Nullsp(A−λI) 的维度。

下面举例说明什么是代数重数和几何重数。

矩阵A

矩阵B

αA(s)=αb(s)=(s−1)2(s−3)

因此 amA(1)=amB(1)=2,amA(3)=amB(3)=1 。

接下来求各特征值对应的几何重数。

易知 rank(A−I)=2,rank(B−I)=1,rank(A−3I)=2,rank(B−3I)=2 ,根据线性代数知识(参见同济第五版线性代数第四章定理7)易知若 m×n 矩阵 A 的秩 R(A)=r ,则 n 元齐次线性方程组 Ax=0 的解集的秩 RS=n−r .

因此 gmA(1)=1,gmA(3)=1;gmB(1)=2,gmB(3)=1 。

2. 和定理(Sum Formula)

如果 A=Diag(B,C) ,那么 A 的代数重数和几何重数等于 B,C 的代数和几何重数之和。

即 amA(λ)=amB(λ)+amC(λ);gmA(λ)=gmB(λ)+gmC(λ) 。

推论: 如果 J=Diag(J11,J12,...,Jij) ,那么有以下结论:

gmJ(λ) = 包含特征值 λ 的Jordan块的数量

例:

若有 n 个Jordan块包含 λ ,那么 gmJ(λ) =n。

amJ(λ) =包含特征值 λ 的Jordan块的尺寸之和

例:

若 n 个Jordan块的尺寸分别为 k1×k1,k2×k2,...,km×km ,那么 amJ(λ)=k1+k2+...+km 。

3. 直和(direct sum)

(a) 向量 v=(v1,...,vn)T∈Cn,w=(w1,...,wm)T∈Cm

v⊕w=(v1,...,vn,w1,...,wm)

(b) 子空间 V∈Cn,W∈Cm

V⊕W={v⊕w∈Cm+n:v∈V,w∈W}

⊕ 就被称为直和运算,定义如上所示。

备注:

(a) 如果 v1,...,vr 是V的一组基, w1,...,ws 是W的一组基,那么 v1⊕0m,...,vr⊕0m,0n⊕w1,...,0n⊕ws 是 V⊕W 的一组基。

dim(V⊕W)=dim(V)+dim(W) (dim指维度)

(b)如果 A 为 m 阶方阵, B 为 n 阶方阵,那么对于任意的 v∈Cm,w∈Cn

Diag(A,B)(v⊕w)=(Av)⊕(Bw)

4. 矩阵的特征多项式以及特征空间和对角矩阵块特征多项式以及特征空间的关系

如果 A=diag(B,C) ,那么

(a) αA(s)=αB(s)⋅αC(s)

(b) EA(λ)=EB(λ)⊕EC(λ)

(a)易证,此处略去。对(b)进行证明。

证明:假设 B 是 m 阶方阵, C 是 n 阶方阵。对每个 u∈Cm+n 可以写作 u=v⊕m 。

(A−λI)u=Diag(B−λI,C−λI)(v⊕w)=(B−λI)v⊕(C−λI)w

u∈EA(λ)⇔(A−λI)u=0⇔(B−λI)v=0,(C−λI)w=0⇔v∈EB(λ),w∈EC(λ)⇔u=v⊕w∈EB(λ)⊕EC(λ)⇒EA(λ)=EB(λ)+EC(λ)

5. 特征多项式和特征空间的变换不变性

如果 B=P−1AP ,那么 αB=αA,EA(λ)=PEB(λ)={Pv:v∈EB(λ)}

所以 amB(λ)=amA(λ),gmB(λ)=gmA(λ)

证明:

αPAP−1(s)=det(PAP−1−sI)=det(P(A−P−1sIP)P−1)=det(P)det(A−P−1sIP)det(P−1)=det(P)det(A−sIP−1P)det(P−1)=det(P)det(A−sI)det(P−1)=det(A−sI)det(P)det(P−1)=det(A−sI)

我们有 v∈EA(λ)⇔v∈PEB(λ) ,所以 EA(λ)=PEB(λ) ,从而 gmB(λ)=gmA(λ) 。

小结1

由以上知识我们已经可以确定阶次小于等于3的方阵的Jordan标准型了。

因为此时一共只有以下四种情况

(a)  gm(λ1)=1,gm(λ2)=1,gm(λ3)=1am(λ1)=1,am(λ2)=1,am(λ3)=1

三个特征值各对应一个1*1的Jordan块

(b) gm(λ1)=1,gm(λ2)=2am(λ1)=1,am(λ2)=2

某个特征值对应一个1*1的Jordan块,另一个特征值对应2个1*1的Jordan块

(c) gm(λ1)=1,gm(λ2)=1am(λ1)=1,am(λ2)=2

某个特征值对应一个1*1的Jordan块,另一个特征值对应1个2*2的Jordan块

(d) gm(λ1)=1am(λ1)=3

某个特征值对应一个3*3的Jordan块

6. 化为Jordan标准型的条件

任意一个方阵 A 都和一个Jordan标准型矩阵J相似,换句话说,就是存在矩阵 P 使得: P−1AP=J=Diag(J11,...,Jij,...) ,其中 Jij=J(λi,dij) 。 i 代表该Jordan块对应特征值 λi , j 代表对应特征值 λi 的第 j 个Jordan块。其中 λ1,λ2,...,λs 都是 A 的特征值。

备注:

如果 J 和 J′ 有同样数量和形式的Jordan块,但是Jordan块在对角线上的摆放次序不同,那么这两个Jordan标准型矩阵是相似的。例如: J=Diag(A,B),J′=Diag(B,A) 。

证明:

假设 J=Diag(A,B) ,其中 J 为 n 阶方阵, A 为 k1 阶矩阵, B 为 k2 阶矩阵, k1+k2=n 。

令矩阵 P 为:

左下角为 k2阶单位矩阵,右上角为 k1 阶单位矩阵。

易知P的逆矩阵为:

所以 P−1JP 为:

推论:如果矩阵A可以被对角化当且仅当其所有特征值的代数重数和几何重数相等。

易证,此处略去。

接下来介绍如何找到P,使得 P−1AP=J (A的阶次小于等于3)

基本思路:

P−1AP=J⇒AP=PJ

设 P=(v1|...|vn),其中 v1,...vn 为向量,AP=(Av1|...|Avn) 。

例:

易得其只有一个特征值 λ1=−1,am(λ1)=2,gm(λ1)=1 。

所以其Jordan标准型为:

令 P=(v1|v2) ,那么:

即:

除此以外 v1,v2 必须线性无关,否则 P 不可逆。

接下来的步骤就是解向量方程,具体过程略去。

最后介绍如何把一般形式的矩阵化为Jordan标准型。

7. 广义特征空间

定义:设 A 为 m×m 矩阵。如果 p≥1 是一个整数,那么 A 的 p 重广义特征空间可定义为:

对应的广义特征空间的维度为:

备注:

8. 广义特征向量的性质

(a) 如果 A=Diag(B,C) ,那么 EAp(λ)=EBp(λ)⊕ECp(λ),gmAp(λ)=gmBp(λ)+gmCp(λ) 。

(b) 如果 B=P−1AP ,那么 EAp(λ)=PEBp(λ),gmAp(λ)=gmBp(λ) 。

(c) 如果 A 和Jordan标准型矩阵 J=Diag(...,J(λi,kij),...) 相似,那么

gmAp(λi)−gmAp−1(λi) 等于Jordan块 J(λi,kij) 阶次大于等于 p 的Jordan块的数量。

(d) 如果 gmAp+1(λ)=gmAp(λ) ,那么 gmAp+q(λ)=gmAp(λ) 当 q≥1 。

证明:

(a) (A−λI)p=Diag(B−λI,C−λI)p=Diag((B−λI)p,(C−λI)p)

EAp(λ)=Nullsp((A−λI)p)=Nullsp(Diag((B−λI)p,(C−λI)p))=Nullsp((B−λI)p,(C−λI)p)=EBp(λ)⊕ECp(λ)

(b) (B−λI)p=P−1(A−λI)pP

v∈EAp(λ)⇔(A−λI)pv=0⇔P−1(A−λI)pPP−1v=0⇔(B−λI)pP−1v=0⇔P−1v∈EBp(λ)⇒EAp(λ)=EBp(λ),gmAp(λ)=gmBp(λ)

(c) 下式可由(d)的证明导出。

J=Diag(J11,...,Jij,...),Jij=J(λi,kij)gmAp(λi)−gmAp−1(λi)=gmJp(λi)−gmJp−1(λi)=∑jgmJijp−gmJijp−1=∑j∈kij≥p1

(d) 证明这个结论之前,我们需要先证明一个式子 (A−λI)EAp+1(λ)=Im(A−λI)⋂EAp(λ) ,其中 Im(M)={Mv:v∈Cn} ,即为矩阵的相空间。

令 B=A−λI ,则现在我们需要证明 BEAp+1(λ)=Im(B)⋂EAp(λ) 。

若向量 w∈BEAp+1(λ) , 显然取 v∈EAp+1⇒w∈Im(B) 。

又 w∈BEAp+1(λ)⇒Bpw∈BpBEAp+1(λ)=Bp+1EAp+1=0 (注意此处的0是指一个全部元素为0的矩阵)

因此 w∈EAp(λ) 。到这里我们有 w∈BEAp+1(λ)⇒w∈Im(B)⋂EAp(λ) 。

若向量 w∈Im(B)⋂EAp(λ) ,则 w∈Bv,Bpw=0 。

w∈Bv,Bpw=0⇒Bpw∈BpBv=Bp+1v=0 。因此 v∈EAp+1⇒w∈Bv∈BEAp+1

到这里我们有 w∈Im(B)⋂EAp(λ)⇒w∈BEAp+1(λ) 。

综上 w∈Im(B)⋂EAp(λ)⇔w∈BEAp+1(λ) ,因此 BEAp+1(λ)=Im(B)⋂EAp(λ) ,得证。

对上式两边同时进行取维度运算:

这里需要用到rank-nullity theorm:

因为 Nullsp(B)=EA(λ)⊂EAp+1(λ)⇒dim(Nullsp(B)⋂EAp+1(λ))=dimEA(λ)=gmA(λ)

所以 dim(Im(B)⋂EAp+1(λ))=dim(EAp+1(λ))−gmA(λ)=gmAp+1(λ)−gmA(λ)

现在回到对(d)的证明上。因为 gmAp+1(λ)=gmAp(λ) ,所以 EAp+1(λ)=EAp(λ) 。

gmAp+2(λ)−gmAp+1(λ)=(gmAp+2(λ)−gmA(λ))−(gmAp+1(λ)−gmA(λ))=dim(Im(B)⋂EAp+1)−dim(Im(B)⋂EAp)=0

所以 gmAp+2(λ)=gmAp+1(λ) ,根据此递推关系(d)得证。

推论: gmAp(λ) 的二阶差分可以确定Jordan块 J(λ,p) 的数量。即:

由(c)很容易得出,证明略去。

小结2

由以上结论,我们已经可以唯一确定任意方阵A对应的Jordan标准型矩阵了。

具体步骤如下:

(a) 计算出矩阵A所有的特征值。

(b) 计算出所有特征值对应的各阶广义代数重数。

(c) 根据广义代数重数计算出各个特征值对应的Jordan块的数量和大小。

例:

V就是前面提到的代数几何重数gm,符号忘记统一,这里就不进行修改了

所以矩阵A的Jordan标准型共有1个2*2的Jordan块,一个3*3的Jordan块。

将 A 化为Jordan标准型的矩阵 P 则可按以下方式确定:

B1,B2,...,Bs 对应 λ1,λ2,...,λs 。 wij 的下标 i 对应 λi , j 对应广义几何重数。


如果大家对证明有问题或者略去的证明有不清楚的欢迎在下面留言。感觉有用的话可以点个赞,码字不容易。

发布于 2022-02-22 08:53・IP 属地英国

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.xdnf.cn/news/145781.html

如若内容造成侵权/违法违规/事实不符,请联系一条长河网进行投诉反馈,一经查实,立即删除!

相关文章

漫步者头戴式耳机怎么样?漫步者、西圣、索尼三大耳机测评对比

自头戴式耳机诞生以来,凭借其出色的音质表现和时尚造型,迅速赢得了音乐爱好者的青睐。头戴式耳机不仅能够带来更加沉浸的听觉体验,还具备较强的降噪功能,让用户在嘈杂环境中依然能专注于音乐世界。 与入耳式耳机相比,…

AIGC生图基础知识

一、引言 AIGC,即AI-Generated Content,是一种利用大型预训练模型如生成对抗网络(GAN)、扩散网络(Diffusion)和语言大模型(Transformer)等人工智能技术,通过对大量数据进…

通过springcloud gateway优雅的进行springcloud oauth2认证和权限控制

代码地址 如果对你有帮助请给个start,本项目会持续更新,目标是做一个可用的快速微服务开发平台,成为接私活,毕设的开发神器, 欢迎大神们多提意见和建议 使用的都是spring官方最新的版本,版本如下&#xff1…

样本册3D翻页电子版和印刷版同时拥有是一种什么体验

​在数字化时代,样本册3D翻页电子版的兴起,让传统印刷版样本册面临着前所未有的挑战。与此同时,许多企业也开始尝试将两者相结合,以满足更多元化的市场需求。那么,拥有一份既具备数字化优势,又保留传统印刷…

生信初学者教程(一):欢迎

文章目录 配套数据R包版本安装包版权答疑在生物信息学(生信)领域,随着高通量测序技术的不断发展,大量数据涌现,为科研工作者提供了丰富的资源。然而,对于初学者而言,如何从海量的数据中挖掘有价值的信息,并开展一个完整的生信项目,仍然是一个挑战。目前,市面上针对初…

PACKMOL 一:手把手教你用Linux安装 packmol

文章目录 1. PACKMOL介绍PACKMOL的主要用途:使用场景:优点: 2. PACKMO安装3. PACKMO验证结束语 1. PACKMOL介绍 PACKMOL 是一个开源软件,用于生成分子动力学模拟所需的初始结构。它的主要功能是根据用户定义的几何约束&#xff0…

Excel--WPS 函数与公式技巧(轻松搞定各类排名)

一、直接按成绩或数值的排序(rank函数轻松搞定) 以上函数非常简单,记住两点: 1.rank排名同分作为同一名次,后面的名次需要占位,如,以上两个70分,同为第8名,那么第9名将被…

局域网变压器市场价值

2024 年全球局域网变压器市场价值为 3.056 亿美元,预计到 2030 年将达到 4.426 亿美元,2024-2030 年的复合年增长率为 5.4%。 局域网变压器市场包括用于改变电信号电压或格式的产品,以改善和简化局域网 (LAN) 上的数据传输。这些变压器对于保…

01_WebRtc_一对一视频通话

文章目录 通话网页的设计客户端实现Web的API 服务端实现 2024-9-20 很久没有写博客啦,回顾总结这段时间的成果, 写下博客放松下(开始偷懒啦)主要内容:实现网页(html)打开摄像头并显示到页面需要…

《 LiteFlow 规则引擎(1) - 入门篇》

📢 大家好,我是 【战神刘玉栋】,有10多年的研发经验,致力于前后端技术栈的知识沉淀和传播。 💗 🌻 CSDN入驻不久,希望大家多多支持,后续会继续提升文章质量,绝不滥竽充数…

品牌力是什么?如何评估企业品牌影响力?

品牌影响力,其实就是指品牌在消费者心智中所占据的位置,以及它对消费者购买决策和行为的影响力。如果一个企业的品牌影响力越强,它在消费者心中的印象就越深刻,能够更有效地驱动消费者的购买行为,形成品牌忠诚度&#…

Windows用管理员运行cmd命令后无法切换盘符

解决方法:在你的切换的盘符前面加上/d,如原本命令是:cd d:\。变为:cd /d d:\。

C++的扩充和封装

作业: 手动封装一个顺序表(SeqList),分文件编译实现 有私有成员:顺序表数组的起始地址 ptr、 顺序表的总长度:size、顺序表的实际长度:len 成员函数:初始化 init(int n) 判空:em…

Zabbix 6.4添加中文语言

/usr/share/zabbix/include/locales .inc .phplocale -agrep “zh_CN" yum install langpacks-zh_CN.noarch y y y

浅谈死锁以及判断死锁的方法

引言 我们在并发情况下见过很多种锁,synchronized,ReentrantLock 等等,这些锁是为了保证线程安全,使线程同步的锁,与今天所要学习的死锁并不相同,死锁并不是一种锁,而是一种现象。 官方定义&a…

【CTF Reverse】XCTF GFSJ1101 Mine- Writeup(反编译+动态调试+Base58编码)

Mine- 运气怎么这么差? 原理 Base58 Base58是用于比特币(Bitcoin)中使用的一种独特的编码方式,主要用于产生Bitcoin的钱包地址。 相比Base64,Base58不使用数字"0",字母大写"O"&…

想要监控电脑?这十款电脑监控软件推荐!

在选择电脑监控软件时,重要的是要明确你的监控目的,并确保所选软件符合法律法规和道德标准。以下是我为你推荐的十款电脑监控软件,它们各自具有不同的特点和功能,适用于不同的场景和需求: 1.安企神: 作为…

从混乱到清晰!借助Kimi掌握螺旋型论文结构的秘诀!

AIPaperGPT,论文写作神器~ https://www.aipapergpt.com/ 写学术论文有时会让人感到头疼,特别是在组织结构和理清思路时,往往觉得无从下手。 其实,找到合适的结构不仅能帮你清晰地表达研究成果,还能让你的论文更有说…

数据建模无法满足复杂业务需求?别慌,数据开发平台可以完美互补!

前言 数据可视化建模无论是对于企业的数字化转型,还是对数据资源的价值开发来说,都是至关重要的工具,小兵在前文《数据可视化建模平台介绍》。中有详细介绍过他的能力,包括面向多源异构的企业数据,为企业提供数据集成…

PCL 读取txt格式点云并可视化

目录 一、概述 1.1原理 1.2实现步骤 1.3应用场景 二、代码实现 2.1关键函数 2.2完整代码 三、实现效果 PCL点云算法汇总及实战案例汇总的目录地址链接: PCL点云算法与项目实战案例汇总(长期更新) 一、概述 1.1原理 TXT格式的点云文…