矩阵的分类.docx
- 文档编号:7450990
- 上传时间:2023-01-24
- 格式:DOCX
- 页数:15
- 大小:91.04KB
矩阵的分类.docx
《矩阵的分类.docx》由会员分享,可在线阅读,更多相关《矩阵的分类.docx(15页珍藏版)》请在冰豆网上搜索。
矩阵的分类
合同矩阵(等价矩阵、相似矩阵、置换矩阵、若尔当标准型)
(2012-04-0513:
58:
14)
标签:
分类:
工作篇
校园
合同矩阵
在线性代数,特别是二次型理论中,常常用到矩阵间的合同关系。
两个矩阵和是
合同的,当且仅当存在一个可逆矩阵,使得
对于二次型的矩阵表示来说,做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵。
性质
合同关系是一个等价关系,也就是说满足:
反身性:
对称性:
合同于,则可以推出合同于。
传递性:
合同于,合同于,则可以推出合同于。
由于每个二次型都可以经过线性替换变成若干个平方和的形式,对于矩阵来说,就是每个对称矩阵都合同于一个对角矩阵,后者称为一个标准形。
根据谱定理,替换的过渡矩阵可以是一个正交矩阵。
如果不考虑替换矩阵的正交性,那么在复数域中,每个对称矩阵都合同于一个对角线上元素只由0和1构成的对角矩阵。
对角线上的1的个数等于原来的矩阵的秩。
因此每个可逆的对称矩阵都合同于单位矩阵。
在实数域中,根据惯性定理,每个对称矩阵都合同于一个对角线上元素只由0和正负1构成的对角矩阵。
如果设1的个数是p,-1的个数是q,那么给定(p,q)后,就确定了一个关于合同关系的等价类。
数对(p,q)称为一个对称矩阵(或相应二次型)的惯性指数其中1的个数p称为正惯性指数,J的个数q称为负惯性指数,p-q叫做符号差。
据此可以得出:
合同关
系将所有的对称矩阵分为个等价类。
正定二次型
主条目:
正定二次型
一个二次型被称为半正定的,如果它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵。
如果一个二次型的矩阵在实数域内合同于单位矩阵,那么称其为正定二次型。
一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩;是正定二次型当且仅当它的正惯性指数是no正定二次型必然是可逆矩阵,而且它的行列式大于0。
同样的可以定义半负定、负定和不定的二次型。
参看
相似矩阵
参考资料
北京人学数学系几何与代数教研室前代数小组,《高等代数》,高等教育出版社,2003年。
来自ahttp:
//zh.wikipedia.org/w/index.php?
title=合同矩阵&oldid=17636850M
合同矩阵
定义
在线性代数,特别是二次型理论中,常常用到矩阵间的合同关系。
两个矩阵A和B是合同的,当且仅当存在一个可逆矩阵P,使得
对于二次型的矩阵表示来说,做一次非退化的线性替换相当于将二次型的矩阵变为一个与其合同的矩阵。
性质
合同关系是一个等价关系,也就是说满足:
1、反身性:
任意矩阵都与其自身合同;
2、对称性:
A合同于B,则可以推出B合同于A;
3、传递性:
A合同于B,B合同于C,则可以推出A合同于C:
4、合同矩阵的秩相同。
正定二次型
主条目:
正定二次型
一个二次型被称为半正定的,如果它对应的对称矩阵在实数域内合同到一个一个对角线上元素只由0和1构成的对角矩阵。
如果一个二次型的矩阵在实数域内合同于单位矩阵,那么称其为正定二次型。
一个二次型是半正定二次型当且仅当它的正惯性指数等于它对应的矩阵的秩;是正定二次型当且仅当它的正惯性指数是no正定二次型必然是可逆矩阵,而且它的行列式大于0。
同样的可以定义半负定、负定和不定的二次型。
合同矩阵发展史
1855年,埃米特(C.Hermite,1822-1901)证明了其他数学家发现的一些矩阵类的特征根的特殊性质,如现在称为埃米特矩阵的特征根性质等。
后来,克莱伯施(A.CIebsch,1831-1872)、布克海姆(A.Buchheim)等证明了对称矩阵的特征根性质。
泰伯(H.Taber)引入矩阵的迹的概念并得出了一些有关的结论。
在矩阵论的发展史上,邦罗伯纽斯(G.Frobeniusz1849-1917)的贡献是不可磨灭的。
他讨论了最小多项式问题,引进了矩阵的秩、不变因子和初等因子、正交矩阵、矩阵的相似变换、合同矩阵等概念,以合乎逻辑的形式整理了不变因子和初等因子的理论,并讨论了正交矩阵与合同矩阵的一些重要性质。
1854年,约当研究了矩阵化为标准型的问题。
1892年,梅茨勒(H.Metzler)引进了矩阵的超越函数概念并将其写成矩阵的幕级数的形式。
扩展阅读:
http:
//zh.wikipedia.org/wiki/合同矩阵
等价矩阵
在线性代数和矩阵论中,两个矩阵之间的等价是一种矩阵之间的等价关系。
假设有两个
的矩阵,记作A和B。
它们之间等价当且仅当存在两个可逆的方块矩阵:
的矩阵P以
及的矩阵Q,使得
A=PBQ
这时称两个矩阵A和B是等价矩阵。
矩阵之间的等价和矩阵的相似关系有所不同。
如果两个矩阵A和B相似,那么它们一定是等价矩阵,因为按照矩阵相似的定义,可以找到一个可逆矩阵P,使得
A=PBP1
由于其中的P-1也是可逆的矩阵,所以A和B相似必然推出它们等价。
但是,等价的矩阵不一定是相似的。
首先相似的两个矩阵必须是人小相同的两个方块矩阵,而等价矩阵则没有这个要求。
其次,即使两个等价矩阵都是同样犬小的方阵,A=PBQ中用到的q也不一定是p的逆矩阵。
性质
等价矩阵是矩阵集介Mnvi(R)中的一种等价关系。
两个矩阵等价当且仅当:
其中一者能够经过若干次初等行或列变换变成另一者。
它们有相同的秩。
参见
相似矩阵
合同矩阵
殛这是与数学相关的小作品。
你可以通过编辑或修订扩充其内容。
相似矩阵
在线性代数中,相似矩阵是指存在相似关系的矩阵。
相似关系是两个矩阵之间的一种等价关系。
两个nXn矩阵A与B为相似矩阵当且仅当存在一个nXn的可逆矩阵P,使得:
P'^AP=B^AP=PB
P被称为矩阵A与B之间的相似变换矩阵。
相似矩阵保留了矩阵的许多性质,因此许多对矩阵性质的研究可以通过研究更简单的相似矩阵而得到解决。
严格定义
两个系数域为K的nXn的矩阵A与B为域L上的相似矩阵当且仅当存在一个系数域为L的nXn的可逆矩阵P,使得:
P~aAP=B
这时,称矩阵A与B“相似”。
B称作A通过相似变换矩阵:
P得到的矩阵。
术语相似变换的其中一个含义就是将矩阵A变成与其相似的矩阵Bo
性质
相似变换是矩阵之间的一种等价关系,也就是说满足:
反身性:
任意矩阵都与其自身相似。
对称性:
如果A和B相似,那么B也和A相似。
传递性:
如果A和B相似,B和C相似,那么A也和C相似。
矩阵间的相似关系与所在的域无关:
设K是L的一个子域,A和B是两个系数在K中的矩阵,则A和B在K上相似当且仅当它们在L上相似。
这个性质十分有用:
在判定两个矩阵是否相似时,可以随意地扩张系数域至一个代数闭域,然后在其上计算若尔当标准形。
如果两个相似矩阵A和B之间的转换矩阵P是一个置换矩阵,那么就称A和B“置换相似”。
如果两个相似矩阵A和B之间的转换矩阵P是一个西矩阵,那么就称A和B“西相似”。
谱定理证明了每个正交矩阵都酉相似于某个对角矩阵。
相似变换下的不变性质
两个相似的矩阵有许多相同的性质:
两者的秩相等。
两者的行列式相等。
两者的迹数相等。
两者拥有同样的特征值,尽管相应的特征向量一般不同。
两者拥有同样的特征多项式。
两者拥有同样的初等因子。
这种现象的原因有两个:
两个相似的矩阵可以看做是同一个线性变换的“两面”,即在两个不同的基下的表现。
映射xIP-1XP是从n阶方阵射到n阶方阵的一个双射同构,因为P是可逆的。
因此,在给定了矩阵A后,只要能找到一个与之相似而又足够“简单”的“规范形式”B,那么对A的研究就可以转化为对更简单的矩阵B的研究。
比如说A被称为可对角化的,如果它与一个对角矩阵相似。
不是所有的矩阵都可以对角化,但至少在复数域(或任意的代数闭域)内,所有的矩阵都相似于一些被称为若尔当标准形的简单的矩阵。
另一种标准形:
州罗贝尼乌斯标准形则在任意的域上都适用。
只要查看A和B所对应的标准形是否一致,就能知道两者是否相似。
参见
合同矩阵
正则形式
等价矩阵
参考来源
相似矩阵
相似矩阵及其性质
相似矩阵的特征值矩阵的对角化
置换矩阵
在数学中的矩阵论里,置换矩阵是一种系数只由0和1组成的方块矩阵。
置换矩阵的每一行和每一列都恰好有一个1,其余的系数都是0。
在线性代数中,每个n阶的置换矩阵都代表了一个对n个元素(n维空间的基)的置换。
当一个矩阵乘上一个置换矩阵时,所得到的是原来矩阵的横行(置换矩阵在左)或纵列(置换矩阵在右)经过置换后得到的矩阵。
严格定义
每个n元置换都对应着唯一的一个置换矩阵。
设n为一个n元置换:
7T:
{1,•…,冗}T{1,•…,71}
给出其映射图:
它对应的nXn的置换矩阵Pit是:
在第i横行只有兀(i)位置上系数为1,其余为0。
即可以写做:
P.=
為⑴
Er⑵
其中每个表示正则基中的第j个,也就是一个左起第j个元素为1,其余都是0的n元横排数组。
由于单位矩阵是
置换矩阵也可以定义为单位矩阵的某些行和列交换后得到的矩阵。
性质
=Pg
用置换矩阵Rr左乘一个列向量g所得到的是g的系数经过置换后的向量:
P晶=
曰⑴
6⑵
•
•
91
52
■
■
■
——
%⑴
%⑵
•
•
•
9n
用置换矩阵Hr右乘一个行向量h所得到的是h的系数经过置换后的向量:
%⑴州⑵
■
■
■
dr(71)
置换矩阵与置换
设Sn是n次对称群,由于n置换一共有n!
个,n阶的置换矩阵也有n!
个。
这n!
个置换矩阵构成一个关于矩阵乘法的群。
这个群的单位元就是单位矩阵。
设A是所有n阶的置换矩阵的集合。
映射Sn〜AuGL(n,Z2)是一个群的忠实表示。
对一个置换其对应的置换矩阵P。
是将单位矩阵的横行进行o置换,或者将单位矩阵的横行进行o-l置换得到的矩阵。
置换矩阵是双随机矩阵的一种。
伯克霍夫-冯・诺伊曼定理说明每个双随机矩阵都是同阶的置换矩阵的凸组合,并且所有的置换矩阵构成了双随机矩阵集合的所有端点。
置换矩阵P。
的迹数等于相应置换Q的不动点的个数。
设al.a2、……、ak为其不动点的序号,则eal、ea2、、eak是P。
的特征向量。
由群论可以知道,每个置换都可以写成若干个对换的复合。
由此可知,置换矩阵P。
都可以写成若干个表示两行交换的初等矩阵的乘枳。
P。
的行列式就等于。
的符号差。
例子
给定一个向量g,
'gi
昕⑵
92
昕⑶
加
92
晞⑷
94
6(5).
Er呂=
推广
置换矩阵概念的一个推广是将方阵的情况推广到一般矩阵的情况:
这时一个0-1矩阵是置换矩阵当且仅当它的每一行恰有一个1,每一列至多有一个lo
置换矩阵概念的另一个推广是将每行的1变为一个非零的实数:
一个n阶的方块矩阵P是置换矩阵当且仅当其每一行与每一列都恰好只有一个系数不为零。
这时的置换矩阵P可以看做由0和1组成的置换矩阵Q与一个对角矩阵相乘的结果。
参见
变号矩阵
广义置换矩阵
参考来源
左光纪,置换矩阵的组合合成及其图表示
0-1矩阵与置换矩阵
置换矩阵(英文)
置换矩阵介绍(英文)
张贤达,矩阵分析与应用,清华人学出版社,2004o
若尔当标准型在线性代数中,若尔当标准型(或称若尔当正规型)是矩阵的一类。
若尔当矩阵理论说明了任何一个系数域为1K的方块矩阵Af如果特征值都在DC中,那么必然和某个若尔当标准型相似。
或者说,如果一个线性空间上的自同态特征值都在系数域1K中,那么它可以在某个基底下表示成若尔当标准型。
若尔当标准型几乎是对角矩阵:
除了主对角线和主对角线上方的对角线外系数都是零。
谱定理和正规矩阵都是若尔当标准型的特殊情况。
若尔当标准型得名于十九世纪后期的法国数学家卡米尔・若尔当。
简介
一个nXn的矩阵Af是可对角化的当且仅当Af的所有特征空间的维数之和等于n,或者当且仅当Af有n个线性独立的特征向量(拥有一个由特征向量组成的基底)。
矩阵的对角化使得研究其性质变为研究相应的对角矩阵的性质,而后者显然简单得多。
然而,不是所
有的矩阵都能对角化。
例如以下的:
_5
4
2
1_
A丁——
0
1
-1
-1
2W—
-1
-1
3
0
1
1
-1
2
计入重数的话,M的特征值为1,2,4,4。
M一47的核的维数是1,因此不能对角化。
但经过基底变换,M相似于下面的矩阵:
1000
0200
0041'
0004
矩阵J近乎对角矩阵,除了第三行第四列系数是io如果将后两行和后两列的部分作为一块的话,矩阵』就是一个分块对角矩阵。
若尔当标准型的目标就是将更多的矩阵化简到一类只比对角矩阵稍微复杂的矩阵:
若尔当标准型。
实际上这是一种简单的分块对角矩阵。
'Ji・
J=.
J・p
这里的“简单”是指每小块矩阵都具备一种很简单的形状:
其中主对角线上都是同一个系数,而对角线上方一排全是1O形同以上必的矩阵称为若尔当矩阵。
而矩阵丿中每一个这样的小块被称为若尔当块。
线性代数中有如下的结果:
对任意系数域为K的矩阵只要其特征值都在1K中,就存在一个与之相似的若尔当标准型J:
M=PIP"其中P是一个可逆矩阵。
并且满足:
矩阵J的特征值(计入重数)就是主对角线上的系数。
对于J的一个特征值入i,它的几何重数(特征空间的维数)就是属于特征值入的若尔当
块的个数。
所有属于特征值入§的若尔当块的维数之和是特征值入,的代数重数。
矩阵Af可对角化当且仅当它的每个特征值的几何重数都等于代数重数(一般来说几何重数小于等于代数重数)。
证明
广义特征向量
考虑前面例子中的矩阵m的若尔当标准型可以写成p-imp=j,即
MP=PJ.
其中变换矩阵P的四个列向量为:
pi,21,…,4,于是
1
M\P1P2P3=[PlP2P3P4]q
0
也就是:
(M-1Z)P1=0,(M-2/)p2=0
-4Zj#3=0,一4/)j?
4=卩3
对于i"、2、3,Pi都是某个特征值所对应的特征向量:
Pi€Ker(M一入丿)。
然而,
当i=4时,P4并不是特征值4所对应的特征向量。
尽管如此:
(M-4I)2p4=(M-4I)p3=0
于是P4£Ker(M-AI)\像#4这样的向量被称为m的广义特征向量。
给定一个特征值入,它对应的若尔当块以,加:
对应着一个由广义特征向量所张成的子空间,因为对应的基底匕入XeA,2,••・,€人巾满足:
(M—AJ)eA?
1=0(Af一AJ)e^2=eAji5--•,(Af-A/)ex?
m=ex.m-±
也就是说
(M-Q)仏i=0(M-XlfeXi2=05---,(M-入iymeXim=0
因此,“所有特征值在IK中的矩阵都相似于某个若尔当标准型”这个命题等价于存在一个由这个矩阵的特征向量和广义特征向量构成的全空间的基底。
幕零矩阵的情况
当矩阵A为幕零矩阵(即存在m使得=0)时,可以证明整个空间总是可以分解为若干个A-循环子空间的直和[1]。
所谓的A-循坏子空间就是由某个向量v以及基底:
Bv={空/卩屮叫…}线性张成的子空间。
显然,这样的子空间是A-不变子空间。
同时,注意到乩,是由A的特征向量和广义特征向量构成的
(W»°?
人‘辺GKerx4m)。
因此在这个循坏子空间里,A在基底归乃下表示为若
尔当块:
…0\
…0
/o10
001
人=:
:
OOO
\000
因此A在所有这样的基底下可以表示为由若尔当块组成的分块对角矩阵,即若尔当标准型:
1
0
0
…0\
0
人2
0
…0
J=
■
■
■
■
■
■
■
■
■
•・
•・
B■
0
0
0
人3_10
0
0
0兀丿
一般情况
下面用数学归纳法证明:
所有特征值在1K中的nXn的矩阵都相似于某个若尔当标准型。
n=l的情况显然。
对于?
1>1考虑nXn矩阵A。
对于A的一个特征值入,设s为入的
几何重数。
设线性变换(人一入“的像空间为-XI)3,这是关于a的一个不
变子空间。
因为X是特征值,-入的空间维数r严格小于n。
记.丫为A在子空间限制Ini(A-AJ)5上的部分。
根据归纳假设存在一个基底:
{pl,…,pr}使得川在这个基底上为若尔当标准型。
接下来考虑子空间KeI-入I):
只要能够证明整个空间可以分为:
Cn=Im(A-Xiy®Ker(A-
由于XI)S是一个a-不变子空间,在上面貝一入f是幕零矩阵,因此可以写成
若尔当标准型:
0
0
…0\
J=
0
人2
0
…0
■
■
■
■
■
■
■
•・
•・
■
0
0
•■
0人J
而加上入T后还是若尔当标准型。
因此,a在Ker(A-A/)5和Im(A-XI)s上都能写成若尔当标准型,从而a相似于某个若尔当标准型。
有归纳法可知所有的nXn的矩阵都相似于某个若尔当标准型。
下面证明:
Cn=lm(A-Xiy®Ker(A—XI)S
设A的最小多项式为兀4,并将其写成兀4=〔X—入Z)'・Q。
于是Q和
(X-xiy
互素。
于是根据裴蜀定理,存在多项式:
a和b使得a{x-xry+bQ=io
每个向量U都可以写成:
u=a{A—Aiy(u)+bQ(A)(u)
并且Q⑴M)迪))=(Q(4-.)(咖)=心®)=0,同样地(A-M迤Q(⑴⑹)=(G4-町Q)(迪))=心(町=o,因此
咻-A/)s(u)€Ker(Q(A)),地(艸)€Ker(.4-心也就是说:
Cn=Ker(Q(A))+Ker(.4-XI)S
另一方面,任意f€KerG4-Af)5nKer(Q(A)),
f=a{A-XI)\v)+bQ{A)(v)=0+0=0。
也就是说
Ker(A-AZrnKer(QG4))=0,i综上所述,
Cn=Ker(Q(A))㊉Ker(.4-XI)S
然而WuGIm(A-Xiy,Q(M)(u)=0,从而
Im(-4-A/)sGKer(Q(A))。
而根据秩一零化度定理,Ker(Q(.-l))和
lm(A-XI)s^数相等,所以两者完全相等。
于是
Cn=Im(A-XI)S®Ker(A-XI)S
从而命题得证。
推论
如果矩阵的系数域是一个代数闭域,那么由于其特征值是特征多项式的根,所以也在系数域中。
于是只要系数域是一个代数闭域,所有的矩阵都相似于若尔当标准型。
特别的,所有复系数矩阵都可以简化为若尔当标准型,因为复数域是代数封闭的。
所有的若尔当标准型都可以分解成一个对角矩阵D和一个只有对角线上一排为1的矩阵N的和。
这两个矩阵是可交换的,因为其中一个是对角矩阵。
不仅如此,矩阵N是一个幕零矩阵。
因此,每个相似于若尔当标准型的矩阵都可以写成可交换的一个对角矩阵和一个幕零矩阵的和。
因为与对角矩阵和幕零矩阵相似的矩阵仍然是对角矩阵和幕零矩阵。
换句话说,只要一个矩阵的特征值都在它的系数域里(或者说它的最小多项式或特征多项式可以分解成一次项的乘枳),就可以将这个矩阵分解成一个对角矩阵和一个幕零矩阵的和,而这两个矩阵可以交换。
这个结果被称为丹佛分解(Dunford分解),在计算矩阵的指数时很有用。
谱映射定理
用若尔当标准型以及直接的计算可以得出:
如果nXn矩阵A的特征值为:
XI,…,An,那么对于多项式:
P,矩阵p(A)的特征值是:
p(Xl),…,p(Xn)o
凯莱-哈密尔顿定理
凯莱-哈密尔顿定理断言任意矩阵A都是特征方程的根:
如果p是A的特征多项式,那么p(A)=0o这个定理一样可以用若尔当标准型直接计算得出。
最小多项式
方块矩阵A的最小多项式是使得m(A)=0的非常数首一多项式中次数最小者。
另一种定义是:
所有使得m(A)=0的多项式构成主理想坏C[x]的一个理想I,而m则是这个理想的产生子。
对于有若尔当标准型的矩阵A,其最小多项式以其特征值为根,并且由若而当标准型的形状可以看出,每个特征值的重数是若尔当标准型中属于这个特征值的最人的若尔当块的维数。
反之已知矩阵A的最小多项式并不能知道其若尔当标准型。
要确定矩阵A的标准型需要用到所谓的初等因子。
矩阵A的一个初等因子是它的某一个若尔当块的特征多项式(或最小多项式,对于若尔当块两者一样)。
如果所有的初等因子都是一次多项式,那么A可对角化。
不变子空间分解
一个nXn的矩阵A的若而当标准型是分块对角矩阵,因此给出了一个将n维欧几里得空间分解为矩阵A的不变子空间的具体方法。
每个若尔当块Ji都对应着一个不变子空间:
Xio可以简记为:
fc
—㊉X,
2=1
其中的每个Xi都是由若尔当块Ji对应的广义特征向量张成的子空间。
注意到这里的k并不是不同的特征值的个数,因为属于同一个特征值的若尔当块可以不止一个。
如果要将C"分解为I个不变子空间,其中I是不同特征值的个数的话,可以将属于同一个特征值,比如说兀的若尔当块合并:
只需使用A的最小多项式兀人中关于入的重根数(几何重数)讥人),考虑空间:
X=(人一
这就是所有的属于同一个特征值昭的若尔当块所对应的Xi,p所合并后的空间,因为它包含了所有使得经过"(入i)次儿-月操作后会清零的向量集合。
如果某个Xi中向量没有被清零,那么由于这个向量也不会被其他的特征值入j—A清零,它将不会被"清零,这与兀4(4)=0矛盾。
于是n维欧几里得空间也可以被分解为
㊉K
i=l
其中I是矩阵A的不同的特征值的个数。
值得注意的是,这里的指标v(x)是使得特征零空间Ker(A-稳定”下来的最小
次数:
Ker(A—M严)=Ker(AVm>巩入)
这也可以作为几何重数的另一个定义。
参见
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 矩阵 分类