黃 弘,熊一能
(孝感學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,湖北孝感432000)
一類(lèi)矩陣的秩恒等式
黃 弘,熊一能
(孝感學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,湖北孝感432000)
利用計(jì)算不為0的特征值的個(gè)數(shù)來(lái)計(jì)算矩陣的秩,得到一類(lèi)矩陣秩的幾個(gè)矩陣秩恒等式,并給出它們的應(yīng)用。
矩陣秩;Sylvester公式;Frobenius公式
設(shè)Fm×n為數(shù)域F上所有m×n階矩陣的集合,rankA為A∈Fm×n的秩,E為單位矩陣,f(A)為A的多項(xiàng)式。當(dāng)A∈Fm×n,正整數(shù)m≥2時(shí),如果Am=A,且Ak≠A(k=2,3,…,m-1),稱(chēng)A為m-冪等矩陣;如果Am=A,且Ak≠E(k=1,2,…,m-1),稱(chēng)A為m-對(duì)合矩陣。
矩陣的秩是線性代數(shù)中一個(gè)基本而深刻的概念。關(guān)于矩陣的秩,有一系列的基本不等式,其中Sylvester不等式與Frobenius不等式占有重要的地位。下面是著名的Sylvester與Frobenius不等式:
Sylvester不等式 設(shè)A∈Fm×n,B∈Fn×1,C∈Fl×s,則
rankA+rankB≤rank(AB)+n
Frbenius不等式 rank(AB)+rank(BC)≤rank(AB C)+rank(B)。
關(guān)于矩陣多項(xiàng)式的秩的恒等式,它已成為眾多研究者的研究課題,獲得了不少好的結(jié)果[3-4]。2008年,胡付高等在文獻(xiàn)[4]中討論了矩陣的秩Frobenius公式等號(hào)成立的條件,并給出了下列結(jié)論:
命題1[4]設(shè)A∈Fn×n,f(x),g(x),h(x)∈F[x],(f(x),h(x))=1,則
rank[f(A)g(A)]+rank[g(A)h(A)]=rank[f(A)g(A)h(A)]+rank[g(A)]。
注意到命題1取g(A)=E,便得到文獻(xiàn)[3]矩陣的秩Sylvester公式等號(hào)成立的條件。
命題2[3]設(shè)f(x),g(x)∈F[x],(f(x),g(x))=1,A∈Fn×n,則
rank(f(A))+rank(g(A))=
rank(f(A)g(A))+n。
命題3[3]設(shè)A∈Fn×n,f(x),g(x)是數(shù)域F上的多項(xiàng)式,(f(x),g(x))=1,則f(A)g(A)=O當(dāng)且僅當(dāng)rank[f(A)]+rank[g(A)]=n。
注意這些結(jié)論都是分塊矩陣的初等變換方法得到的。
對(duì)A∈Fn×n,若存在可逆矩陣P,使得PA P-1為上三角矩陣Λh,本文稱(chēng)Λh為A的三角矩陣,記作ΛA。顯然ΛA的對(duì)角線上的元素為A的特征值。記G是一個(gè)Fn×n中的具有交換性的矩陣集,即任意A,B∈G,AB=BA;令
M={A∈G|ΛA的為0特征值所在行的行向量全為0}。
顯然M中任意矩陣A的秩等于其不為0的特征值的個(gè)數(shù),也等于ΛA不為0的行向量的個(gè)數(shù)。例如:設(shè)A∈Fn×n,A2=E,則A+E,A-E∈M。
本文利用求矩陣不為0的特征值的個(gè)數(shù),研究M中矩陣的秩Frobenius公式和Sylvester公式等號(hào)成立的條件,得到幾個(gè)矩陣秩恒等式,并給出它們的應(yīng)用。
引理1[1]設(shè)A,B,C∈Fn×n,且兩兩互換(即AB=BA,AC=CA,BC=CB),則A,B,C存在有一個(gè)公共特征向量。
引理2 設(shè)A,B,C是復(fù)數(shù)域上n級(jí)矩陣,若它們兩兩互換,則存在可逆矩陣P,使得P-1A P,P-1B P,P-1CP均為上三角矩陣。
證明 對(duì)A,B,C的級(jí)數(shù)n用數(shù)學(xué)歸納法。
1)當(dāng)n=1時(shí),結(jié)論顯然成立。
2)設(shè)A,B,C均為n-1級(jí)方陣時(shí),結(jié)論成立。當(dāng)A,B,C均為n級(jí)方陣時(shí),設(shè)σ,τ,θ是復(fù)數(shù)域上n維線性空間V的兩個(gè)線性變換σ,τ,θ在基α1,α2,…αn,下的矩陣,存在公共特征向量β1,使得σ β1=λ1β1,τ β1=μ1β1,θ β1=l1β1,λ1,μ1,l1是復(fù)數(shù),把β1擴(kuò)充為V的基β1,β2,…,βn,則A,B,C在基β1,β2,…,βn下的矩陣分別為其中A1,B1,C1為n-1級(jí)方陣。設(shè)(β1,β2,…,βn)=(α1,α2,…,αn)P1,則
因?yàn)锳,B,C兩兩互換,所以A1,B1,C1兩兩互換,由歸納假設(shè)存在n-1級(jí)方陣P2使得
定理1 設(shè)A,B∈M,rank(A+B)=n,則
rankA+rankB=n+rankAB。
證明 不妨設(shè)F為復(fù)數(shù)域,設(shè)A,B的特征值為α1,α2,…,αn和β1,β2,…,βn。因AB=BA,由引理2(取C為單位矩陣),存在矩陣P使得
于是AB的特征值為λ1μ1,λ2μ2,…,λnμn。
因rank(A+B)=n,故λj,μj不能同時(shí)為0,1≤j≤n。
定義|{x|x∈Q}|為集合Q中元素x的個(gè)數(shù),則rankAB=|{λjμj|λjμj≠0,1≤j≤n}|。
rankA+rankB=|{λj|λj≠0,1≤j≤n}|+|{μj|μj≠0,1≤j≤n}|=|{(λj,μj)|λi≠0且μj=0,1≤j≤n}|+|{(λj,μj)|λi≠0且μj≠0,1≤j≤n}|+|{(λj,μj)|λi=0且μj≠0,1≤j≤n}|+|{(λj,μj|λi≠0且μj≠0,1≤j≤n}|=n+|{(αj,βij)|αi≠0且βij≠0,1≤j≤n}|=n+rankAB
此定理的逆命題不成立。
特別地,有
推論1 設(shè)A,B∈M,rank(A+B)=n,則AB=BA+O當(dāng)且僅當(dāng)rankA+rankB=n。
定理2 設(shè)A,B,C∈M,rank(A+C)=n,則rankAB+rankBC=rankAB C+rankB。
證明 不妨設(shè)F為復(fù)數(shù)域,設(shè)A,B,C的特征值為λ1,λ2,…,λn;μ1,μ2,…,μn和l1,l2,…,ln。因A,B,C兩兩互換,由引理2存在矩陣P使得
于是AB,BC,AB C的特征值為λ1μ1,λ2μ2,…,λnμn;μ1l1,μ2l2,…,μnln;λ1μ1l1,λ2μ2l2,…,λnμnln。由定理1的證明知,因rank(A+C)=n,故λj,l1不能同時(shí)為0,1≤j≤n。
我們考慮當(dāng)μi取不同值時(shí),μi對(duì)rankAB+rankBC和rankAB C+rankB的貢獻(xiàn):
1)當(dāng)μi=0,λi,l1對(duì)rankAB+rankBC和rankAB C+rankB的貢獻(xiàn)均為0;
2)當(dāng)μi≠0,λi,li對(duì)rankAB+rankBC的貢獻(xiàn)取決于λi,li是否為0,當(dāng)它們均不為0時(shí),貢獻(xiàn)為2,否則貢獻(xiàn)為1(因?qū)θ我?≤i≤n,λi,li不會(huì)全為0),此時(shí)λi,li對(duì)rankAB C+rankB的貢獻(xiàn)分別為2和1,故有:
rankAB+rankBC=rankAB C+rankB。
命題4 設(shè)A∈Fn×n,若A3=A,則
rankA+rank(E-A)+rank(E+A)=2n。
證明 A3=A,
A,E-A,E+A∈M
rankE=rank[(E+A)+(E-A)]
由定理1
rank(E+A)+rank(E-A)=n+rank(EA2)
同理
rankA+rank(E-A2)=rankA2+rank(EA2)=n+rank(A-A3)=n
所以
rankA+rank(E-A)+rank(E+A)=2n
下列命題均可依上述方法證明。
命題5[1]設(shè)A∈Fn×n是冪等陣(即A2=A)的充要條件為:
rankA+rank(A-E)=n。
命題6 設(shè)A∈Fn×n是對(duì)合陣(即A2=E)的充要條件為:
rank(A+E)+rank(A-E)=n。
命題7 設(shè)A∈Fn×n,m為正整數(shù),則:
Am+1=A?rankA+rank(A-E)+rank(Am-1+Am-2+…+E)=2n。
充分性可由Sylvester不等式證明。
命題8 設(shè)A∈Fn×n,m為正整數(shù),k,l為任意自然數(shù),則
rankAl+rank(Am-E)k=n,當(dāng)Am+1=A;
rank(A-E)l+rank(Am-1+Am-2+…+E)k=n,當(dāng)Am=E。
[1] 北京大學(xué)數(shù)學(xué)系幾何與代數(shù)研究室代數(shù)小組.高等代數(shù)[M].3版.北京:高等教育出版社,2003.
[2] Horn R A,Johnson C R.Matrix Analysis[M].New York:Academic Press,1991.
[3] 胡付高.一類(lèi)矩陣多項(xiàng)式的秩特征[J].大學(xué)數(shù)學(xué),2007,23(2):164-166.
[4] 胡付高,曾玉娥.一類(lèi)矩陣多項(xiàng)式秩的恒等式與應(yīng)用[J].山東大學(xué)學(xué)報(bào):理學(xué)版,2008,43(8):51-54.
Abstract:The rank of a matrix can be obtained by calculating the number of its eigenvalues which are not 0.In this paper,by calculating the rank of a matrix,several rank identical relations of a class of matrix are obtained and some applications are given.
Key Words:rank of matrix;Sylvester formula;Frobenius formula
The Rank Identities of a Class of Matrix
Huang Hong,Xiong Yineng
(School of Mathematics and Statistics,Xiaogan University,Xiaogan,Hubei432000,China)
O151.12
A
1671-2544(2010)03-0020-03
2009-11-20
黃 弘(1969— ),男,湖北孝昌人,孝感學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院講師,碩士。
(責(zé)任編輯:周 游)