第33卷第5期
COLLEGEMATHEMATICS
大 学 数 学
Vol.33,№.5
Oct.2017
二阶非对称实矩阵合同的充要条件
()合肥工业大学数学学院,合肥230009
摘 要]给出了二阶非对称实矩阵合同判定的充要条件.举例说明此方法简单,实用. [
[关键词]非对称实矩阵;合同;对角化
[()中图分类号]O文献标识码]C [文章编号]1172 [672G1454201705G0052G04
周江涛, 孙胜先
1 引 言
由于非实对称矩阵合同的判定非常复杂,关于非实对称矩阵合同的判定方面的研究较少.]最近文[仅在A给出了判别两非实对称阵A,从文1BB合同的一个充分条件,s,s为正定的前提下,]为便于读者了解本文内容,本文中的记号同文[1.
[]]例中可看出,即使是二阶非对称实矩阵,用文[的方法判定起来也是相当的麻烦.本文在A,11B为二阶非对称实矩阵的情况下,给出了A,此方法简洁明了.B合同的一个充要条件,
A+ATA-AT,A+AT,A-AT,
A=+ A As=ω=
2222
并用记号A≃B表示A与B合同,AA|A|表示A的行列式.s为A的对称部分,ω为A的反对称部分,
2 主要定理及证明
引理1 若A≃B,则ABABs≃s,ω≃ω.
PTAsP-BBPTAωP,s=ω-
等式的左边为对称而右边为反对称,从而有PT此引理为A,AsP=BPTAωP=BB合同的必要而非充s,ω.分条件.
é0aù
ú,引理2 P为二阶实矩阵,则有A=êa为正实数,êúë-ûa0
A,|P|=1,
PTAP=
-A,|P|=-1.
证 A=A若有PT则AB=BBAP=B,s+ω,s+ω,
{
x12ùéxú证 设P=ê则xi=1,2,3,4),i为实数(êú,ëxx34û
a|P|ùA,|P|=1,é0úPTAP=ê=êú
ë-a|P|0û-A,|P|=-1.
{
收稿日期]2修改日期] [017G07G25; [2017G09G13
)基金项目]合肥工业大学«线性代数»平台课程优化建设项目( [KCWT1610
,:作者简介]周江涛(男,讲师,从事运筹决策方向研究. [1978-)Emailcarlzhou27@aliun.comy,:通讯作者]孙胜先(男,副教授,从事矩阵理论研究. [1963-)Email11655410@q.comq
第5期 周江涛,等:二阶非对称实矩阵合同的充要条件同的正负特征值个数.
53
[]2
引理3则A,即相 若A,B为n阶实对称阵,B合同的充要条件为A,B有相同的正负惯性指数,[]2引理4则有正交阵P满足 若A为n阶实对称阵,
λéê1
êλ2
PTAP=Λ, Λ=ê
êêë
其中λi为A的特征值.
ùú
úú,
⋱ú
úλnû
aùλbù13éλéúêú,定理1 设矩阵A=ê则A,B=a,b为正实数,B合同的充要条件为As合同êúêú,
ë-ë-aλbλ2û4û
22
于Bs且bλλaλλ12=34.B合同的充要条件为方程组
xx12ùéTêú,,,,证 先证必要性.合同的充要条件为存在可逆阵满足设则得A,ABPPAP=BP=êú
ëxûx34
22
λxλxλì11+23=3,ïïλxxλxx0,ï112+234=í2
2
ïλxλxλ12+24=4,ïîa(xxxx=b.14-23)
2222
(λλλxλxλxλx34=(11+23)12+24)
22
=(λxxλxxλλxxxx112+234)+12(14-23)
有解,由此得
2b=2λλ12,a22
即b又由引理1知A从而必要性得证.λλaλλ12=34.s必合同于Bs,
é3
êλ1êλ()取C=êiλλ0,λλ0,13>24>
ê0êë
λ0ùλ0ù13éé
êúêú下证充分性.由于A合同于即合同于可分以下几种情况证明.Bssêúêúë0λûëû0λ24
ù
0ú
úT则有CAC=B.ú,λ4ú
úλ2û
éê0
ê
()取C=êiiλλ0,λλ0,14>23>
λ3ê-êëλ2éê0ê
()取C=êiiiλλ0,λλ0,1=4=23>
λ3êêëλ2
λ4ùú
λ1úT则有CAC=B.ú,0úúûbλ2ùú-
aλ3úT则有CAC=B.ú,ú0úû
ù0ú
úT则有CAC=B.ú,λ4ú
úλ2û
é2
êbλ4êaλ()取C=êivλλ0,λλ0,1=3=24>
êê0ëé
êbêa(),取vλ=λ=λ=λ=0C=1234ê
ê0êë
ù
0ú
úT则有CAC=B.ú,búúaû
54大 学 数 学 第33卷
))显然(中C均为可逆阵,从而充分性得证.i~(v定理2 若A,设B为二阶非对称实矩阵,
0aù0bùééêúêú,A B=ω=êωúêú,
ë-ë-a0ûb0û
22
则A,B合同的充要条件为As≃BaBs且bAs=s.
证 因为
aùé0aùé0-úú,即ê正交合同于ê故不妨设a>0,又由于A由引理2,引理4b>0,Bs,s均为实对称阵,êúêúë-ûëûa0a0知存在正交阵P,Q满足
r1↔20aùréêú~êúë-a0ûc1↔2-a0ùcéêú~êë0aúû
0-aùéêú,êëa0úû
λ0ùé0aùéλaù11é
úêúêú,PTAP=ê+=êúêúêúë0λë-a0ûë-aλ2û2ûλ0ùé0bùéλbù33é
êúêúêú,B=+=QQêúêúêúë0λûëûëû-b0-bλ44
T其中λ由定理1知存在可逆阵C,使得λλλB1,2,3,4分别为As,s的特征值.由此得
CT(PTAP)C=QTBQ,
T令D=P则有DT而D显然可逆,所以A合同于B.CAD=B.Q,
T(CTPT)A(PC=B.QQ)
]下面以文[中的两个例子来说明本文判别法的实用性.1é14ùé16ùúú例1 判断矩阵A=êêú与B=êêú是否合同.
ë01ûë01û
因为
B不合同.
2222
所以A与A3,B8,a=2,b=3,bA7,aB2,bAaBs=-s=-s=-2s=-3s≠s,
12ù02ù13ù03ùéééé
êúêúêúêú,,,,A A B As=êω=ês=êω=êúúúë21ûë-20ûë31ûë-30úû
此例也说明了即使A但A,BABB却不一定合同.s≃s,ω≃ω,
é82ù02+2ùé1ê1ú是否合同.ú例2 判断矩阵A=ê与B=êúêúë22ûë2-22û182ù02ùéé
êúêú,,解 A A= a=2,s=êωúêë22ûë-20úûé102ùéê0êú, B= B=sωêêë22úûë-222
显然A所以A所以A,BBaB64,B合同.s,s正定,s,s合同.而bAs=s=
2ùú, b=2.ú
0û
3 结 论
由以上例子可看出,本文关于两矩阵合同的判别方法,简单实用.但在二阶矩阵前提下才成立的引理2是本文结论的关键.对于三阶及三阶以上的矩阵,很难建立类似的结论,在一些特定的条件下,可]以建立判别两矩阵合同的充分条件.文[就是在矩阵A给出了A,1BB合同的充分s,s均正定的前提下,条件.
第5期 周江涛,等:二阶非对称实矩阵合同的充要条件
[参 考 文 献]
[]]():等.非对称实矩阵合同的条件[大学数学,1 李成博,J.2015,31479-82.
[]吴泉水,谢启鸿.高等代数学[上海:复旦大学出版社,2 姚慕生,M].3版.2014:362-429.
55
[]线性代数及其应用[北京:科学出版社,3 天津大学数学系代数教研组.M].2010:253-254.
ANecessarndSufficientConditionsontheConruenceofyag
NonGsmmetricRealMatricesy
(SchoolofMAbstractonGs:WithintheknowleyengyinmeemreitnrgicRs
tuedaelMntsa.tricesarKeyw
ords:nonGsymmetricrZHOUJianhematics,HeFeiUgGtaoniver,sieveonfl.iSnoeamreaelgxeabmraplecsousrhsolmatrices;congruence;SofTUNSechnhoelonggy
G,xiHaenfei230009,China)hNaetcetshseasriymapnledSanudffipcriaecnttCicalmondeittihoondsiosneatshy
eCtobonemg
rueanstceereodgonalizationatity,desfg bNegwteadia
因篇幅问题不能全部显示,请点此查看更多更全内容