类矩阵秩的恒等式及其推行.pdfVIP

维普资讯 第 27卷第 1期 武 汉 科 技 大 学 学报 (自然 科 学 版 ) Vo1．27，No．1 2004年 3月 J．ofWuhanUni．ofSci．Tech．(NaturalScienceEdition) Mar．2O04 一 类矩阵秩的恒等式及其推广 李书超 ，蒋 君 ，向世斌 ，徐树立 (1．华中师范大学数学与统计学学院，湖北 武汉 ，430079；2．武汉科技大学理学院， 湖北 武汉，430081；3．华中师范大学仙桃学院，湖北 仙桃，433000) 摘要：从 Sylvester公式 出发，发现一个用以刻画矩阵秩的很漂亮的公式。对这一公式进行推广，并猜想它有 更一般的结果。部分地解决了该猜想，并得到了一系列结果。 关键词 ：Sylvester公式；秩 ；矩阵 中围分类号：0151．2 文献标识码：A 文章编号：1672—3090(2004)O1一OO96—03 证明：由k≠f及分块矩阵及其广义初等变换 1 问题的提出 本文所研究的问题是长期以来被人们所忽视 (A A 一A( 三_‘+∞一 但又很重要的问题。众所周知，在线性代数学中， ， 0 E、 Sylvester公式在求矩阵秩的相关问题中处于很重 ＼【((AA++后后))((AA++lE))0J， 要的地位。本文从 Sylvester公式出发，给出了一 得 秩(A+0后4+0)= 系列与其相关的重要而且漂亮的结果，同时提出 了猜想以及公开 问题，期望有兴趣 的读者继续对 ／ 0 E、 其进行研究。在本文 中，表示 n阶单位矩阵，P 秩【(A+后)(Am)0) 表示数域，其他未加说明的概念、术语及符号均见 最口秩 (_4+后 )+秩 (A+f)=n+秩 ((A+kE)(A 文献[1]和文献 [2]。下面就是著名的Sylvester + ))。 公式 ： 由定理 2很容易导出下面的结果： 定理 1 设A∈P～ ，B∈P ，则 命题1 设A∈P ，则A = 甘秩 (_4+E)+ 秩 (A)+秩 (B)≤n+秩 (AB) (1) 秩 (A— )=n。 关于Sylvester定理 的证 明方法很多，读者可 命题 2 设 A∈P ，则A =_4甘秩 (4)+秩 参考文献[1]~[3]。 (A— )=n。 我们对 Sylvester定理感兴趣的是定理中不等 事实上，命题 1和命题 2可以推广到如下更 式何时取等号。事实上，对这一现象，多年来并未 一 般的结论： 引起人们 的注意，我们从最权威 的 《代数学辞 定理 3 设 A∈P ，k，f∈P，k≠f，则 典》 中不难看到这一事实。对于 Sylvester公 秩 (A+后 )+秩 (A+f)=n 式，如果不等式能取等号，这将是一个很漂亮的结 A +(k+f)A+klE =0 (3) 论 ，对此进行研究正是本文的目的。 证明：由定理 2，我们有 秩 (A+后 )+秩 (A+f)=n 2 主要结果 秩 ((A十 )(A+lE))=0 在Sylvester定理中，当A，B分别是形如A+