关于庞加莱分离定理的一个注记.pdfVIP

第24卷第2期 纺 织 高 校 基 础 科 学 学 报 Vo1．24．No．2 2011年6月 BASICSCIENCF~JOURNALOFTEXTILEUNIVERSITIES June，2011 文章编号：1006-8341(2011)02-0264-06 关于庞加莱分离定理的一个注记 杜清礼，任芳国 (陕西师范大学 数学与信息科学学院，陕西 西安 710062) 摘要：为了进一步探究矩阵的逆问题，通过分类和转化的思想，运用构造矩阵的方法，研究庞加莱 分离定理等号成立的逆命题，得到等号成立的必要条件．运用这些结论，可以由某些矩阵的特征 值的特性，反过来得出该矩阵的某些性质． 关键词：Hermite阵；酉阵；庞加莱分离定理 ‘ 中图分类号：O151．21 文献标识码：A 1 引言及预备知识 。 (F)表示数域F上全体m行n列矩阵的集合， ．(F)简记为 (F)，其中F为复数域C或实 数域R，表示k阶单位矩阵， 表示复数域C上的n维欧式空间．若aEC，则a表示a的复共轭． 设A E (C)为Hermite矩阵，B ∈ ． 。(C)为列正交阵，即 B= ，则 A一 (A)≤A(‘B’AB)≤Ai(A)，=1，2，…， (1) 其中 A(A)为A的按降序排列的第 i个特征值．这是庞加莱分离定理[14。．设 =(。， ，…以)为酉 阵，其列向量分别为A ≥A2≥…≥A对应的特征向量．记 (I)和 [I】分别为 的前k列和后 列组成 的矩阵．显然，式(1)右边等号对i=l，2，…，k同时成立的一个充分条件是B= ㈨D，而式(1)左边等号 对 =1，2，…，k同时成立的一个充分条件是B= …D，其中J口．为k× 酉阵．下面来分析这些充分条件 是否也是必要条件． 然而，这相当于讨论问题 ：已知A ∈ (C)为Hermite矩阵，BE I(C)为列正交阵，即 B‘= ， ． (a)当曰满足B’AB =diag(AI，A2，…，AI)时，那么是否存在k阶酉阵D，使B= (I)D． (b)当 满足B。AB=diag(A 小A +2，…，A)时，那么是否存在IiI阶酉阵D．，使B= 。【】D． 首先，当k=n，即 是n阶酉阵时，可以给(a)和(b)中的问题以肯定的回答，从而以上所述充分条件 也为必要条件．理由为 记B誊 [JB。 ：，…，J6『]，因为 ’B= ，所以有 r1 一 8。：～8=ILOI’‘一J’ ， ≠工 收稿 日期：2010．12．15 基金项 目：国家 自然科学基金资助项目(1o971123)；陕西省 自然科学基金资助项目(2o11JM10o7)；陕西师范大学重点 基金资助项 目 (995281) 通讯作者：任芳国(1969-)，男，陕西省乾县人，陕西师范大学副教授，博士．E-moll：rfangguo@srmu．edu．crt 第2期 关于庞加莱分离定理的一个注记 265 故JE。『：，…， 是 维欧式空间 的一组标准标准正交基．又因为 ， ：，… 是A的n个标准正交化 特征向量，从而也是 的一组标准正交基．已知n维欧式空间的两组标准正交基之间的过度矩阵是酉阵， 从而存在一个 7／,阶酉矩阵D，使得[l，2，…， ]= 。 ，… ]D，即B= ()D = [ID． 但是，当kn，即B不是方阵时，有例子说明不一定存在k阶酉阵，使B= (I)D或B= [jD． r2 0 o,-1 例1A=Ll010I∈坞(C)，显然A是Hermite阵，