矩阵Sylveser不等式与Frobenius不等式等号成立的条件.pdfVIP

第30卷第2期 南 京 气 象 学 院 学 报 Vol.30No.2 2007年4月 JOurnalofNanjingInstituteofMeteorology APr.2007 矩阵Sylvester不等式与Frobenius不等式等号成立的条件 黄卫红，杨兴东，周月军 (南京信息工程大学数理学院，江苏南京 ZllXM4) 摘要:利用矩阵分块，给出了Sylvester不等式等号成立的充要条件和Frobenius不等式等号成立的 充分条件，并给出了判别等号成立的算法算例。 关键词:Sylvester不等式;Frobenius不等式;矩阵分块 中图分类号:0151.21 文献标识码:A 文章编号:1000一2022(2007)02习279一05 ConditionsfortheEqualitySigninSylvester InequalityandFrobeniuslnequality HUANGWei一hong，YANGXing一dong，ZHOUYu e一1111 (SchoolofMathematicsandPhysics，NL几ST，N咧ing 210044，China) Abstract:Byusingmatrix一blocking，thisPapergivesthenecessaryandsufficient l i t i on fofthe m . equatitysignintheSylvesterinequalitv，andthesufficientconditionfortheequatitysign theFrobe- niusinequality，andthecorresPondingalgorithmandexamP1eare aisogiven. Keywords:Sylvesterinequality;Frobeniusinequatity;block一matrix 0 引言 矩阵的秩是矩阵诸多数量特征中既抽象又本质的特征之一，人们已经获得了一系列不等式，其中Syl- vester与Frobenius不等式占有重要地位[4‘]，然而对矩阵秩的等式的研究不多，GroB’〔〕给出了rank A B C X )二rank(，有‘解的充要条件及其解的表达式，史及民J给〔‘出三幂等阵等特殊矩阵之积的秩的等式， 胡付高川通过判定某些矩阵方程有解，给出sylveste:不等式等号成立的充要条件。本文则利用矩阵分块， 给出sylvester不等式等号成立的充要条件及Frobenius不等式等号成立的充分条件，同时给出算法算例。 本文记号为常用记号，如F，”‘表示数域F上mxn矩阵全体，rank(A)二;(A)表示矩阵A的秩，A 表‘示 A的Moore一Penrose逆，1，表示:阶单位矩阵。 1 主要结论 首先给出Sylvester不等式等号成立的充要条件。 定理1设注。尸m”‘，丑。尸”正‘，p，。尸m”‘，Q，，尸2二尸””‘，QZ。尸“几且尸，，Q，(1=1，2)非异，使plAQ，二 I r 0 ‘ 1 ， r z 0 ‘ 、 ， 口 产 . 口 D D 、 ‘ . 0 0 产 ， 凡BQZ一 一 o 0 矛 万 . . . . . ， ，令PZQ，- 一 刀 . . . . 、 、 刀 D 才 上 卜 其中D:为几xr，矩阵，D4为(n一几)x(n一r，)矩阵，则 r(AB)二r(A)+r(B)一n成立的充要条件是D4=0。 证明 首先 B 上 、 月 了 ‘ B 式 、 ! ‘ 月 1 了 . 、 ‘ 几 、 !