陳益智,劉中柱

(惠州學(xué)院數(shù)學(xué)與大數(shù)據(jù)學(xué)院, 廣東 惠州 516007)

廣義m-冪矩陣的等價(jià)條件

陳益智,劉中柱

(惠州學(xué)院數(shù)學(xué)與大數(shù)據(jù)學(xué)院, 廣東 惠州 516007)

利用矩陣的秩和齊次線性方程組解空間的維數(shù),給出了廣義m-冪矩陣的5個(gè)等價(jià)條件,推廣了冪幺矩陣和m次冪等矩陣的相應(yīng)結(jié)論.此外,把廣義m-冪矩陣的這幾個(gè)等價(jià)條件推廣到了廣義m-冪變換中.

廣義m-冪矩陣;等價(jià)條件;廣義m-冪變換

1 引言

設(shè)A是復(fù)數(shù)域上的一個(gè)n階矩陣,若存在正整數(shù)m(m≥2),使Am=A(Am=I,I為n階單位矩陣),則稱A為m次冪等矩陣(冪幺矩陣).

2010年,文獻(xiàn)[1]研究了冪幺矩陣和冪幺變換,并給出了它們的一些充要條件,包括:設(shè)A是n階矩陣,則Am=I當(dāng)且僅當(dāng)

這里ε0,ε1,···,εm?1是m個(gè)m次單位根.

2011年,文獻(xiàn)[2]研究了m(m≥2)次冪等矩陣和m(m≥2)次冪等變換，也給出了它們的一些等價(jià)條件,包括:設(shè)A是n階矩陣,則Am=A(m≥2)當(dāng)且僅當(dāng)

這里ε1,···,εm?1是m?1個(gè)m?1次單位根.

2012年,文獻(xiàn)[3]定義了廣義m-冪矩陣和廣義m-冪變換:復(fù)數(shù)域上的n階矩陣A稱為廣義m?冪矩陣,若它滿足(A?λ1I)(A?λ2I)···(A?λmI)=O(m≥2),這里λ1,λ2,···,λm是m個(gè)兩兩互異的復(fù)數(shù);復(fù)數(shù)域上n維向量空間V的一個(gè)線性變換σ稱為是廣義m-冪變換,若它滿足(σ?λ1ι)(σ?λ2ι)···(σ?λmι)=θ時(shí),這里λ1,λ2,···,λm是m(m≥2)個(gè)兩兩互異的復(fù)數(shù).該文獻(xiàn)還探究了廣義m?冪矩陣和廣義m?冪變換的一些等價(jià)刻畫和性質(zhì),包括:設(shè)A是n階矩陣,則(A?λ1I)(A?λ2I)···(A?λmI)=O(m≥2)當(dāng)且僅當(dāng)

這里λ1,λ2,···,λm是m個(gè)兩兩互異的復(fù)數(shù),從而推廣了m次冪等矩陣(或變換)和冪幺矩陣(或變換)的相關(guān)結(jié)果.

2013年,文獻(xiàn)[4]探討了廣義m-冪矩陣和廣義m-冪變換的一些性質(zhì),從而推廣了m次冪等矩陣及冪幺矩陣的相關(guān)結(jié)果.

本文將繼續(xù)探討廣義m-冪矩陣和廣義m-冪變換.利用矩陣的秩和齊次線性方程組解空間的維數(shù),本文將給出廣義m-冪矩陣A的若干等價(jià)條件,從而推廣冪幺矩陣和m次冪等矩陣的相應(yīng)結(jié)果,包括文獻(xiàn)[1-2,5-6]的一些主要結(jié)論.此外,本文還把廣義m-冪矩陣的等價(jià)條件平行地推廣到廣義m-冪變換中.

對(duì)于本文未提及的概念和術(shù)語,可參看文獻(xiàn)[7-8].

2 主要結(jié)果

引理2.1[8]設(shè)A,B都是n階矩陣,若AB=O,則有r(A)+r(B)≤n.

引理2.2[8]設(shè)A,B都是n階矩陣,則有r(A+B)≤r(A)+r(B).

引理 2.3[9]設(shè)A∈Cn×n,f1(x),f2(x),···,fm(x)∈C[x],且兩兩互素,

定理2.1設(shè)A是n階矩陣,m≥2,λ1,λ2,···,λm是m個(gè)兩兩互異的復(fù)數(shù),則下列條件等價(jià):

1)(A?λ1I)(A?λ2I)···(A?λmI)=O,即A是廣義m-冪矩陣;

2)r(A?λ1I)+r[(A?λ2I)···(A?λmI)]=n;

3)r[g1(A)]+r[g2(A)]+···+r[gm(A)]=n,這里,

4)r(A?λ1I)+r(A?λ2I)+···+r(A?λmI)=(m?1)n;

5)A相似于對(duì)角矩陣diag(λ1,···,λ1,λ2···,λ2,···,λm,···,λm).

證明1)?2)

設(shè)(A?λ1I)(A?λ2I)···(A?λmI)=O,下證條件2)成立.事實(shí)上，一方面,由引理1,

另一方面,由引理2,

記多項(xiàng)式

顯然,h(λ1),h(λ2),···,h(λm)0,此時(shí),矩陣h(A)必可逆.于是,由(2)式,

從而,綜合(1)式,(3)式,條件2)成立.

2)?3)

令f1(x)=x?λ1,f2(x)=(x?λ2)···(x?λm).顯然,(f1(x),f2(x))=1.由引理3,

因?yàn)閞(A?λ1I)+r[(A?λ2I)···(A?λmI)]=n,所以

即(A?λ1I)(A?λ2I)···(A?λmI)=O.

今考慮齊次線性方程組

及

并記其解空間分別為W1,W2,···,Wm及V.此時(shí),結(jié)合剛才所證結(jié)果

不難驗(yàn)證,V=W1⊕W2⊕···⊕Wm,從而有

由于2)成立,所以

于是,

條件3)成立.

3)?4)

令fi(x)=x?λi(i=1,2,···,m).顯然,(fi(x),fj(x))=1(ij).由引理3,

因?yàn)闂l件3)成立,即r[g1(A)]+r[g2(A)]+···+r[gm(A)]=n,所以,

即條件4)成立.

4)?5)

設(shè)r(A?λ1I)+r(A?λ2I)+···+r(A?λmI)=(m?1)n.考慮齊次線性方程組

并記其解空間分別為W1,W2,···,Wm.顯然W1,W2,···,Wm是屬于不同特征值的特征子空間,注意到屬于不同特征值的特征向量線性無關(guān),可得V=W1⊕W2⊕···⊕Wm,從而有

因而,V=Cn.分別選取W1,W2,···,Wm的一個(gè)基,按順序放在一起可構(gòu)成Cn的一個(gè)基,以這n個(gè)基向量為列作一個(gè)矩陣P,則有

從而有

此時(shí),A相似于對(duì)角矩陣diag(λ1,···,λ1,λ2···,λ2,···,λm,···,λm),即條件5)成立.

5)?1)

設(shè)條件5)成立,即存在可逆矩陣P∈Cn×n,使得

從而,

此時(shí),直接驗(yàn)證可知,(A?λ1I)(A?λ2I)···(A?λmI)=O,從而條件1)成立.

現(xiàn)在,在等式(A?λ1I)(A?λ2I)···(A?λmI)=O中,令

為m個(gè)m次單位根,則可立即得到下面的推論.從而定理1推廣了文獻(xiàn)[1]的相關(guān)結(jié)果.

推論 2.1設(shè)A是n階矩陣,m≥2,ε0,ε1,···,εm?1是m個(gè)m次單位根,則下列條件等價(jià):

1)Am=I,即A是冪幺矩陣;

2)r(A?ε0I)+r[(A?ε1I)···(A?εm?1I)]=n;

3)r[g1(A)]+r[g2(A)]+···+r[gm(A)]=n,這里,

4)r(A?ε0I)+r(A?ε1I)+···+r(A?εm?1I)=(m?1)n;

5)A相似于對(duì)角矩陣diag(ε0,···,ε0,ε1···,ε1,···,εm?1,···,εm?1).

相應(yīng)地,在等式(A?λ1I)(A?λ2I)···(A?λmI)=O中,令

為m?1個(gè)m?1次單位根,則也可得到下面的推論.從而定理1推廣了文獻(xiàn)[5-6]的一些相關(guān)結(jié)果.

推論2.2設(shè)A是n階矩陣,m≥2,ε1,···,εm?1是m?1個(gè)m?1次單位根,則下列條件等價(jià):

1)Am=A,即A是m次冪等矩陣;

2)r(A)+r[(A?ε1I)···(A?εm?1I)]=n;

3)r[g0(A)]+r[g1(A)]+···+r[gm?1(A)]=n,這里,

4)r(A)+r(fA?ε1I)+···+r(A?εm?1I)=(m?1)n;

5)A相似于對(duì)角矩陣diag(ε0,···,ε0,ε1···,ε1,···,εm?1,···,εm?1).

3 推廣

在這一節(jié),類似于上一節(jié)的討論,也可得到廣義m?冪變換的若干等價(jià)條件.這些結(jié)果的證明過程我們?cè)诖瞬辉儋樖?

定理3.1設(shè)σ是復(fù)數(shù)域上n維向量空間V的一個(gè)線性變換,m≥2,λ1,λ2,···,λm是m個(gè)兩兩互異的復(fù)數(shù),則下列條件等價(jià):

1)(σ?λ1ι)(σ?λ2ι)···(σ?λmι)=θ,即σ是廣義m-冪變換;

2)dim Im(σ?λ1ι)+dimIm[(σ?λ2ι)···(σ?λmι)]=n;

3)dimImg1(σ)+dimImg2(σ)+···+dimImgm(σ)=n,這里,

4)dim Im(σ?λ1ι)+dimIm(σ?λ2ι)+···+dimIm(σ?λmι)=(m?1)n;

5)σ在V的某組基下的矩陣為對(duì)角矩陣diag(λ1,···,λ1,λ2···,λ2,···,λm,···,λm).

現(xiàn)在,令σ為冪幺線性變換(即滿足σm=ι,m≥2),則可立即得到下面的推論.從而,定理3.1推廣了文獻(xiàn)[6]的相應(yīng)結(jié)果.

推論 3.1設(shè)σ是復(fù)數(shù)域上n維向量空間V的一個(gè)線性變換,m≥2,ε0,ε1,···,εm?1是m個(gè)m次單位根,則下列條件等價(jià):

1)σm=ι,即σ是冪幺變換;

2)dimIm(σ?ε0ι)+dimIm[(σ?ε1ι)···(σ?εm?1ι)]=n;

3)dimImg0(σ)+dimImg1(σ)+···+dimImgm?1(σ)=n,這里

4)dimIm(σ?ε0ι)+dimIm(σ?ε1ι)+···+dimIm(σ?εm?1ι)=(m?1)n;

5)σ在V的某組基下的矩陣為對(duì)角矩陣diag(ε0,···,ε0,ε1···,ε1,···,εm?1,···,εm?1).

相應(yīng)地,令σ為m次冪等線性變換(即σm=σ,m≥2),則可得下面的推論.

推論 3.2設(shè) σ是復(fù)數(shù)域上 n維向量空間 V的一個(gè)線性變換,m≥2,ε1,···,εm?1是m?1個(gè)m?1次單位根,則下列條件等價(jià):

1)σm=σ,即σ是冪等變換;

2)dimIm(σ)+dimIm[(σ?ε1ι)···(σ?εm?1ι)]=n;

3)dimImg0(σ)+dimImg1(σ)+···+dimImgm?1(σ)=n,這里,

4)dimIm(σ)+dimIm(σ?ε1ι)+···+dimIm(σ?εm?1ι)=(m?1)n;

5)σ在V的某組基下的矩陣為對(duì)角矩陣diag(0,···,0,ε1,···,ε1,···,εm?1,···,εm?1).

參考文獻(xiàn)

[1]唐建國(guó),嚴(yán)青云.冪幺矩陣的充要條件[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2010,40(20):172-176.

[2]陳益智.m-次冪等矩陣的等價(jià)條件[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2011,41(23):190-193.

[3]Ye S H,Chen Y Z,Luo H.On generalized m-power matrices and transformations[J].International Journal of Mathematical Combinatorics,2012(2):71-75.

[4]Ye S H,Chen Y Z.Some Properties and Generalizations of Generalized m-power Matrices[J].Scientia Magna, 2013,9(1):59-64.

[5]龔和林,舒情.關(guān)于冪等矩陣秩的一個(gè)命題的證明和推廣[J].大學(xué)數(shù)學(xué),2009,25(6):126-130.

[6]楊聞起.冪合變換與冪合矩陣[J].科學(xué)技術(shù)與工程,2009,9(3):662-664.

[7]張禾瑞,郝邴新.高等代數(shù)[M].4版.北京:高等教育出版社,1999.

[8]北京大學(xué)數(shù)學(xué)系幾何與代數(shù)教研室小組.高等代數(shù)[M].北京:高等教育出版社,2003.

[9]林國(guó)欽,楊忠鵬,陳梅香.矩陣多項(xiàng)式秩的一個(gè)恒等式及其應(yīng)用[J].北華大學(xué)學(xué)報(bào),2008,9(1):5-8.

Equivalent conditions of generalized m-power matrices

Chen Yizhi,Liu Zhongzhu
(School of Mathematics and Big Data,Huizhou University,Huizhou,Guangdong 516007,China)

In this paper,by using ranks of matrices and dimensions of solution spaces of homogeneous linear systems,five equivalent conditions of generalized m-power matrices are given.Consequently,the corresponding results of unit-ponent matrices and m(m ≥2)times idempotent matrices are generalized. Also,the main results obtained are extended to generalized m-power transformations.

generalized m-power matrices,equivalent conditions,generalized m-power transformations

O152.7

A

1008-5513(2017)02-0122-07

10.3969/j.issn.1008-5513.2017.02.002

2017-02-01.

國(guó)家自然科學(xué)基金(11501237,11401246,11426112);廣東省高校優(yōu)秀青年教師培養(yǎng)計(jì)劃項(xiàng)目(YQ2015155);廣東省自然科學(xué)基金(2014A030310087,2014A030310119,2016A030310099);惠州學(xué)院科研創(chuàng)新團(tuán)隊(duì)培育項(xiàng)目(hzuxl201523).

陳益智(1980-),副教授,研究方向:代數(shù)學(xué).

2010 MSC:15A57