周　濤

(重慶師范大學(xué)涉外商貿(mào)學(xué)院 數(shù)學(xué)與計(jì)算機(jī)學(xué)院, 重慶 401520)

?

次對(duì)合矩陣及其性質(zhì)

周濤

(重慶師范大學(xué)涉外商貿(mào)學(xué)院 數(shù)學(xué)與計(jì)算機(jī)學(xué)院, 重慶 401520)

摘要：根據(jù)次對(duì)合矩陣的定義, 從一個(gè)實(shí)例出發(fā), 討論了實(shí)次對(duì)合矩陣的存在性, 最后給出了次對(duì)合矩陣的若干性質(zhì).

關(guān)鍵詞：次單位矩陣; 次對(duì)合矩陣; 對(duì)角矩陣; 次對(duì)角矩陣; 張量積

1準(zhǔn)備知識(shí)

本文用E表示單位矩陣；Jn表示次對(duì)角線元素為1，其余元素全為0的n階方陣，稱為n階次單位矩陣, 在不引起混亂的情況下,也簡(jiǎn)記為J, 顯然有J-1=J；A*表示矩陣A的伴隨矩陣;A∈Pn×n表示數(shù)域P上的n階方陣; N表示全體自然數(shù)之集;把對(duì)角矩陣

簡(jiǎn)記為diag{λ1,λ2,…,λn}.

定義1[1]對(duì)A∈Pn×n,若A2=E則稱A為對(duì)合矩陣; 若A2=J,則稱A為次對(duì)合矩陣.

定義2[2]設(shè)A是n階方陣，若存在n階矩陣B，使得AB=BA=J，則稱B為矩陣A的次逆，記為A(-1)．

由定義1、2顯然有, 若A是次對(duì)合矩陣, A一定是可逆矩陣. 若A是次可逆矩陣, 則一定有AJ=JA；且容易證明次可逆矩陣一定可逆.

定義3[3]設(shè)矩陣A=(aij)m×n,B=(bij)p×q，則mp×nq矩陣

稱為矩陣A和B的張量積，記為A?B．

引理1[4](Laplace定理)設(shè)在行列式D中任意取定了k(1≤k≤n-1)個(gè)行, 由這k行元素所組成的一切k級(jí)子式與它們的代數(shù)余子式乘積之和等于行列式D.

2實(shí)次對(duì)合矩陣的存在性討論

在文獻(xiàn)[1]中, 給出了一些實(shí)次對(duì)合矩陣的有關(guān)結(jié)論. 但是在討論中, 發(fā)現(xiàn)次對(duì)合矩陣并不像對(duì)合矩陣那么簡(jiǎn)單, 顯然存在任意節(jié)的實(shí)對(duì)合矩陣, 但并不是任意階實(shí)次對(duì)合矩陣都存在, 首先，我們很容易得到下面這個(gè)結(jié)論.

結(jié)論1不存在2階實(shí)次對(duì)合矩陣.

由此可知, 不是任意階實(shí)次對(duì)合矩陣都存在, 那么階數(shù)n滿足什么條件, 才存在實(shí)次對(duì)合矩陣呢?

定理1設(shè)A∈Rn×n(即n階實(shí)方陣), 當(dāng)n=4k+2或n=4k+3(k∈N)時(shí), A一定不是次對(duì)合矩陣, 換句話說, 不存在4k+2,4k+3(k∈N)階實(shí)次對(duì)合矩陣.

證明當(dāng)n=4k+3時(shí), 首先討論n階次單位矩陣J的特征值, J的特征多項(xiàng)式為

由Laplace定理,

若A2=J, 則A的特征值只能為1,-1,i,-i,其中1，-1的個(gè)數(shù)之和是2k+2,i與-i個(gè)數(shù)之和為2k+1, 它們是A的全部特征值, 于是它的特征多項(xiàng)式為

f(λ)=(λ-1)r1(λ+1)(2k+2)-r1(λ-i)r2(λ+i)(2k+1)-r2,

顯然f(λ)不是實(shí)多項(xiàng)式, 而A是實(shí)矩陣,它的特征多項(xiàng)式一定是一個(gè)實(shí)多項(xiàng)式, 矛盾, 所以不存在4k+3階實(shí)次對(duì)合矩陣.

當(dāng)n=4k+2時(shí), 用同樣的方法可得J的特征值為1(2k+1重), -1(2k+1重), 于是,若A2=J,可得到A的特征多項(xiàng)式不是實(shí)系數(shù)多項(xiàng)式, 與A是實(shí)矩陣矛盾.

綜上, 不存在4k+2,4k+3(k∈N)階實(shí)次對(duì)合矩陣.

由定理1知, 不存在4k+2,4k+3(k∈N)階實(shí)次對(duì)合矩陣, 那么對(duì)于其他階數(shù)的方陣,實(shí)次對(duì)合矩陣是不是存在？下面以4階為例, 說明這樣的實(shí)次對(duì)合矩陣是存在的.

例1求一個(gè)4階實(shí)次對(duì)合矩陣.

則有T-1JT=diag{1,1,-1,-1}.

另一方面,容易得到

于是記

則A2=J, 即A即是一個(gè)4階實(shí)次對(duì)合矩陣.

由此可得以下定理:

定理2一定存在4k+1,4k+4(k∈N)階實(shí)次對(duì)合矩陣.

以上兩個(gè)定理不僅給出了實(shí)次對(duì)合矩陣的存在性, 并給出了在存在的情況下, 次對(duì)合矩陣的求法, 顯然如果在復(fù)數(shù)域內(nèi), 次對(duì)合矩陣的存在性變得更簡(jiǎn)單了, 即存在任意階復(fù)次對(duì)合矩陣. 3次對(duì)合矩陣有如下性質(zhì).

性質(zhì)1若A是次對(duì)合矩陣, 則AT,A-1都是次對(duì)合矩陣.

證明 (AT)2=(A2)T=JT=J;(A-1)2=(A2)-1=J-1=J.

性質(zhì)2 設(shè)A是n階方陣, 若n=4k,4k+1時(shí), A*也是次對(duì)合矩陣.

所以A*是次對(duì)合矩陣.

性質(zhì)3若A是次對(duì)合矩陣，T是次可逆矩陣，則B=T-1AT是次對(duì)合矩陣.

證明由T可逆知: TJ=JT, 又因?yàn)锳是次對(duì)合矩陣, 所以A2=J. 于是B2=(T-1AT)2=T-1A2T=T-1JT=T-1TJ=EJ=J,所以B是次對(duì)合矩陣.

性質(zhì)4設(shè)A,B都是n階方陣, 且AB=BA,

1)若A,B都是次對(duì)合矩陣, 則AB是對(duì)合矩陣;

2)若A是次對(duì)合矩陣, B是對(duì)合矩陣, 則AB是次對(duì)合矩陣.

證明1)、2)證明方法相同, 這里只證1), 由條件知: A2=J,B2=J,且AB=BA,于是

(AB)2=A(BA)B=A(AB)B=(AA)(BB)=J2=E,

所以AB是對(duì)合矩陣.

推論設(shè)A,B都是n階方陣, 且AB=BA,

1)若A,B都是次對(duì)合矩陣, 則(AB)k(k為正整數(shù))是對(duì)合矩陣;

2)若A是次對(duì)合矩陣, B是對(duì)合矩陣, 則ABk(k為正整數(shù))是次對(duì)合矩陣.

性質(zhì)5設(shè)A,B分別是m,n級(jí)次對(duì)合矩陣，則A?B是mn級(jí)次對(duì)合矩陣.

證明因?yàn)锳2=Jm,B2=Jn，于是(A?B)2=A2?B2=Jmn，故A?B是mn級(jí)次對(duì)合矩陣.

參考文獻(xiàn)

[1]陳湘赟. 次對(duì)稱矩陣的一些性質(zhì)[J]. 鹽城工學(xué)院學(xué)報(bào)，2007，20 (4):17-18.

[2]劉玉, 陳創(chuàng)鑫. 次可逆矩陣及其性質(zhì)[J]. 大學(xué)數(shù)學(xué),2010,26(3): 177-180.

[3]許甫華, 張賢科. 高等代數(shù)解題方法[M]. 2版.北京：清華大學(xué)出版社，2014：504-505.

[4]北京大學(xué)數(shù)學(xué)系幾何與代數(shù)教研室前代數(shù)小組.高等代數(shù)[M].3版. 王萼芳, 石生明，修訂.北京：高等教育出版社， 2007：89-92.

Sub-involutory Matrix and Its Properties

ZHOU Tao

(School of Mathematics and Computer, Foreign Trade and Business College of ChongqingNormalUniversity,Chongqing401520,China)

Abstract:According to the definition of sub-involutory matrix and on the basis of an example, discuss the existence of the sub-involutory matrix, and give some properties of sub-involutory matrix.

Key words:sub-identity matrix; sub-involutory matrix; diagonal matrix; sub-diagonal matrix; tensor product

收稿日期：2015-11-15

作者簡(jiǎn)介：周濤(1986—)，男，河南駐馬店人，重慶師范大學(xué)涉外商貿(mào)學(xué)院數(shù)學(xué)與計(jì)算機(jī)學(xué)院講師.

doi：10.3969/j.issn.1007-0834.2016.02.003

中圖分類號(hào)：O151.21

文獻(xiàn)標(biāo)志碼：A

文章編號(hào)：1007-0834(2016)02-0010-03