Frobenius不等式中等号成立的充要条件.pdfVIP

第16卷第4期 高等数学研究 V01．16，No．4 ’2013年7月 STUDIESINCOLLEGEMATHEMATICS Jul．，2013 Frobenius不等式中等号成立的充要条件 马建荣，刘三阳，张鹏鸽 (西安电子科技大学理学院，陕西西安710071) 摘 要 利用分块矩阵初等变换的方法可证明Frobenius不等式中等号成立的一个充要条件，即r(AB)+ 对角化的三个充要条件． 关键词 Frobenius不等式；矩阵的秩；充要条件；对角化 中图分类号 0151．21 文献标识码 A 文章编号 1008—1399(2013)04—0042—04 矩阵的秩是矩阵理论的基本概念，线性方程组 (1) 的求解，矩阵方程的求解，矩阵可逆性的判定，向量 成立的充分必要条件是存在咒×m阶矩阵X与q×P 组线性相关性的判定等都需要矩阵秩的理论和方 阶矩阵l，，使 法．矩阵秩的性质以及有关的等式及不等式是高等 XAB+日Cy=B． (2) 代数，线性代数的重要内容．在本文中，B表示足阶 证明 由于 单位矩阵，r(A)表示矩阵A的秩． 『E—A]『IABo]『．B—C]『o 耳]一 L0 L0 设A、B、C分别为m×，l、，z×P矩阵与P×q矩 E儿B．cJE儿一E口0．J [ABC0] 阵，则有 r(AB)+r(BC)≤r(胱)+r(B)． L 0 B．J’ 这就是著名的Frobenius不等式[1-23．若取B=E。， 阿l l、I l、l l明刀口J迓 L E L0 E L—— 0J 而[Em一，]、[B一-]、[一00 。J 。J E。言]均为可逆。 就得Sylvester不等式[33 矩阵，所以 r(A)+r(C)≤r(AC)+r1． 厂√lB 0] [-ABC0_1 另若AC=0，就有不等式 r(I 1)=r(1 I)= LB BCJ L0 BJ r(A)+r(C)≤7z． r(ABC)+r(B)， 而若C一0，就得不等式 从而式(1)成立的充分必要条件是 r(AB)≤r(B)． 0 厂√▲B 0] I-AB 1 上述不等式都是矩阵秩的重要不等式，它在方 r(1 1)一r(I