对一类矩阵秩恒等式研究证明.docVIP

对一类矩阵秩恒等式研究证明 　　摘要： 在何种条件下，Sylvester不等式化为等式是当前研究的重点。本文利用？姿矩阵及其初等变换对应到分块矩阵diag{A+k1E，A+k2E，…，A+ktE}中，使得当k1，k2，…，kt在满足一定的条件时，有■R（A+kiE）=R■（A+kiE）+（t-1）n. 　　Abstract： Under any conditions， to change the inequality Sylvester into equation is the focus of the current study. This paper used the ？姿 matrix and its elementary transformation to correspond to the partitioned matrix diag{A+k1E，A+k2E，…，A+ktE} ， so that when k1，k2，…，kt meet certain conditions， there are ■R（A+kiE）=R■（A+kiE）+（t-1）n. 　　关键词： 秩；？姿矩阵；初等变换；分块阵 　　Key words： rank；？姿 matrix；elementary transformation；chunkedarray 　　中图分类号：O13 文献标识码：A 文章编号：1006-4311（2012）31-0241-02 　　0 引言 　　目前对Sylvester不等式推广研究的一个重点是如何将不等式化为等式。 　　本文在引入？姿k=1、？姿k=？姿与Ak=E、Ak=A在实数域上分解，并且各自对他们所构成的对角阵进行初等变换后得出定理1这个结果及其他定理和推论。 　　1 预备知识 　　定义1 设P为任意数域，A∈Pm×n，B∈Pn×s，则 　　R（A）+R（B）？燮n+R（AB）。 　　关于Sylvester定理的证明方法很多，我们可以参考文献[1]。 　　？姿矩阵有初等变换.下面变换叫做？姿矩阵的初等变换： 　　（i）矩阵的两行（列）互换位置，记为r[i，j]（c[i，j]）； 　　（ii）矩阵的某行（列）乘非零常数k，记为r[i（k）]（c[i（k）]）； 　　（iii）矩阵的某行（列）加上另一行（列）的？鬃（？姿）倍，记为r[i+j（？鬃（？姿））]（c[i+j（？鬃（？姿））]） 　　而对应分块矩阵的初等变换如下： 　　（i）对调矩阵的两行（列），记为r（i，j）（c[i，j]）： 　　（ii）矩阵分块行（列）乘非退化矩阵K，记为r[i（K）]（c[i（K）]）； 　　（iii）将矩阵的某一行（列）的所有子矩阵左乘一个矩阵K加上另一行（列），记为r[i+j（K）]（c[i+j（K）]）； 　　引理1[1] 任意一个非零的s×n的？姿矩阵A（？姿）都等价于下列形式的矩阵diag{d1（？姿），d2（？姿），…，dr（？姿），0，…，0}，其中r？叟1。 　　推论1 k1，k2，…，kt∈C??当k1，k2，…，kt为两两互异的数时，有diag{？姿+k1，…，？姿+kt}与diag{1，…，1，（？姿+k1）…（？姿+kt）}等价 　　此结论的证明由引理1显然可得。 　　符号说明： 　　（i）R（A）代表矩阵 A的秩； 　　（ii）diag{d1，d2，…，dn}代表对角矩阵 A； 　　2 推导过程 　　北京大学数学系几何与代数小组编的《高等代数》（第三版）中有两道习题： 　　习题1：设A∈Pn×n，则A2=E的充分必要条件是R（A+E）+R（A-E）=n 　　习题2：设A∈Pn×n，则A2=A的充分必要条件是R（A）+R（A-E）=n 　　通过构造？姿-矩阵和分块矩阵并分别对他们进行初等变换如下： 　　证明 （习题1）构造矩阵？姿-1 0 0 ？姿+1和A+E 0 0 A-E，对它进行初等变换，得？姿+1 0 0 ？姿-1■？姿+1 ？姿-1 0 ？姿-1■ 2 ？姿-11-？姿 ？姿-1■ 2 01-？姿 ■■ 　　2 00 ■■1 00 ？姿2-1 　　相对应的，对A+E 0 0 A-E，对它进行初等变换 　　A+E 0 0 A-E■A+E A-E 0 A-E■ 　　2E A-EE-A A-E■ 2E 0E-A ■■ 　　2E 0 0 ■■E 00 A2-E 　　故由R（A+E）+R（A-E）=n+R（A2-E），有 　　当且仅当A2=E，R（A+E）+R（A-E）=n。 　　证明 （习题2）构造矩阵？姿-1 0 0 ？姿和A 00 A-E，对它进行初等变换，得？姿 00 ？姿-1■？姿 ？姿-10 ？姿-1■ 1 ？姿-11-？姿 ？姿-1■ 1 01-？姿 ？姿2-？姿■1 00 ？姿2-