岳育英,刘兴祥,白春红
(延安大学 数学与计算机科学学院,陕西 延安 716000)
Sylvester不等式猜想研究
岳育英,刘兴祥,白春红
(延安大学 数学与计算机科学学院,陕西 延安 716000)
从 Sylvester不等式出发,并将其推广到 n个矩阵的情形,其次利用广义初等变换及互素多项式的有关性质及推论给出使 Sylvester不等式猜想成立的充分条件,最后在此充分条件下将所讨论的矩阵推广到更一般的形式并给出了一系列与其相关的重要结果。
Sylvester不等式;互素多项式;广义初等变换;秩;矩阵
引理 1[1](Sylvester不等式)设 A∈Fm×n,B∈Fn×s,则 rank(AB)≥rank(A)+rank(B)-n.
引理 2[2](Frobenius不等式)设 A∈Fm×n,B∈Fn×s,C∈Fs×t,则
rank(ABC)≥rank(AB)+rank(BC)-rank(B).
在引理2中,只须令 B=En,就得到引理1。
这两个不等式最初分别是由 Sylvester和 Frobenius首先证明的[3,4]。目前这两个不等式已成为众多矩阵理论教科书中的经典结论,多是用广义初等变换证明的。
引理 3[5]设 fi(x),gj(x)∈F[x](i=1,2,...,n,j=1,2,...,m),则
引理 4[6]∀m,n∈N+,设 f(x),g(x)∈F[x],若 (f(x),g(x ))=1,则(fm(x),gn(x))=1。
引理 5[6]设A∈Fm×n,B∈Fs×t,则 rank( )A +
推论 1 设 A∈Fm×m,B∈Fn×n,则 rank( )A +
推论 2 设A∈Fm×m,B∈Fm×m,则 rank()A +
我们将用上面几个引理找出Sylvester不等式猜想成立的条件。Sylvester不等式的猜想如下:
猜想 1 设A∈Fn×n,k1,k2,…,kt∈F,当k1,k2,…,kt满足什么条件时,有

引理1和引理2可推广到n个矩阵,于是就有如下两个定理:
定理1 (推广的 Sylvester不等式)
设 n,k1,k2,...,kn∈N+,Ai∈Fki×ki+1(i=1,
2,...,n),则证明 (1)当n=1,2时,不等式成立。(2)假设t(t≥3)时,不等式成立,即

那么当 n=t+1时,令,由引理1就有rank(BAt+1)≥rank(B)+rank(At+1)-kt+1.
有

即对任意的正整数 n,结论成立。
推论 3 设n∈N+,A∈Fn×n,则 rank(Ak)≥k(rank(A))-n(k-1).
定理 2 设 n,k1,k2,...,kn,kn+1∈N+,Ai∈Fki×ki+1(i=1,2,...,n),则n≥3时有

推论 4 设 n∈N+,A∈Fn×n,则rank(Ak)≥(k-1)rank(A2)-(k-2)rank(A).
定理3 设f(x),g(x)∈F[x],若(f(x),g(x))=1,A∈Fn×n,则

证明 由于(f(x),g(x))=1,则存在u(x),v(x)∈F[x],使得f(x)u(x)+g(x)v(x)=1,将矩阵A代入就有 f(A)u(A)+g(A)v(A)=E,

由推论2知

一般地,定理3可推广到 n个互素多项式的情形。
定理4 设A∈Fn×n,fi(x)∈F[x](i=1,2,…,m),如果fi(x)(i=1,2,…,m)两两互素,则

证明 (1)当 n=1,2时上式成立;

而由定理 3知 rank(g(A))+rank(fk+1(A))=n+rank(g(A)fk+1(A)).
由归纳法原理知定理4成立。
现结合以上引理、推论及定理给出猜想1成立的条件。……