謝鳳繁，殷 倩

(武漢科技大學(xué) 理學(xué)院數(shù)學(xué)與統(tǒng)計(jì)系，湖北 武漢 430065)

廣義反埃爾米特矩陣的特征

謝鳳繁*，殷 倩

(武漢科技大學(xué) 理學(xué)院數(shù)學(xué)與統(tǒng)計(jì)系，湖北 武漢 430065)

致力于研究一類重要的、具有特殊性質(zhì)的矩陣——反埃爾米特矩陣。反埃爾米特矩陣A有A=-A*的性質(zhì)，推廣反埃爾米特矩陣概念的一種方式是考察A～-A*的矩陣類。這里我們用幾種方式刻劃了這一類矩陣，通過(guò)研究得出了A相似于-A*的幾個(gè)等價(jià)條件。

埃爾米特矩陣; 反埃爾米特矩陣；相似

反埃爾米特矩陣是一類特殊形式的矩陣,在矩陣?yán)碚摷捌鋺?yīng)用中有著重要的地位。 關(guān)于它的研究有很多文章(見(jiàn)[1],[2],[3]等)，1985年，Roger A.Horn和Charles R.Johnson在矩陣分析這本書(shū)中給出了A～A*時(shí)的幾個(gè)等價(jià)條件(見(jiàn)[4])。本文將探討A～-A*時(shí)的一些情況, 并且給出了幾個(gè)等價(jià)的條件。

下面我們先給出一些必要的符號(hào)和本文論證中需要的引理(見(jiàn)[5],[6])。

本文用R表示實(shí)數(shù)域,用Rk×k表示實(shí)數(shù)域R上所有的n×n矩陣組成的集合，用Mn表示n×n復(fù)矩陣的集合, 用A*表示矩陣A的共軛轉(zhuǎn)置。

引理1: 相似的矩陣具有相同的特征值。

引理2: 設(shè)A是任意的反埃爾米特矩陣, 則A的特征值為0或bi,b∈R。

引理3: 對(duì)任意的實(shí)方陣A∈Rn×n相似于具有形狀

引理4: 對(duì)任意的正規(guī)矩陣A∈Mn, 它的特征值是λ1,…，λr，存在一個(gè)酉矩陣U∈Mn, 使得

二、主要結(jié)果

定理 設(shè)矩陣A∈Mn,則以下各命題彼此等價(jià)：

a) 相似于矩陣iB, 其中B∈Mn(R);

b)A～-A*;

c)A經(jīng)反埃爾米特矩陣相似變換相似于-A*;

d)A=HK,其中H，K∈Mn，一個(gè)為反埃爾米特矩陣, 另一個(gè)為埃爾米特矩陣, 并且H,K中至少有一個(gè)為可逆矩陣;

e)A=HK, 其中H,K∈Mn，一個(gè)為反埃爾米特矩陣, 另一個(gè)為埃爾米特矩陣 。

證明:首先要指出的是a)?b)：如果a)成立，則A～iB～iB*=(-iB)*=-(iB)*～-A*, 這就是說(shuō)，A～-A*，b)成立。

為了證明b)?c)，假定S-IAS=-A*, 且注意到，如果對(duì)任意非零a=reiθ∈C,T=aS, 那么T-1AT=-A*. 因而AT=T(-A*),-AT*=T*A*, 所以A(T-T*)=(T*-T)A*。如果(T-T*)是可逆的,則(T*-T)-1A(T-T*)=-A*。下面只需要找到一個(gè)θ∈[0,2π], 使e-2iθ?σ(S-1S*)結(jié)論成立，即可得證。 因?yàn)門-T*可逆等價(jià)于T-1(T-T*)可逆, 即1?σ(T-1T*), 而T-1T*=e-2iθS-1S*,θ∈[0,2π], 所以總可以找到一個(gè)θ∈[0,2π]使得e-2iθ?σ(S-1S*)成立。 因而b)蘊(yùn)涵c)。

其次，c)?b)顯然成立的。如果c)成立，A通過(guò)一個(gè)反埃爾米特矩陣相似于-A*, 則存在一個(gè)反埃爾米特矩陣S使得S-1AS=-A*.則S-1A=(-A*)S-1,A=S(-A*)S-1, 令A(yù)=S((-A*)S-1), 顯然S是一個(gè)反埃爾米特矩陣,((-A*)S-1)*=(S*)-1(-A)=(-S)-1(-A)=S-1A=(-A*)S-1, 所以(-A*)S-1是埃爾米特矩陣且S是可逆的。同理可以令A(yù)=(S(-A*))S-1, 則S-1是反埃爾米特矩陣,S(-A*)是埃爾米特矩陣。因而d)成立。

d)?b)如果d)成立，且A=HK,不妨設(shè)H是反埃爾米特矩陣且是可逆的,K是埃爾米特矩陣，則H-1AH=H-1HKH=KH,又H*=-H,K=K*,所以KH=-K*H*=-(HK)*=-A*, 所以H-1AH=-A*. 從而b)成立。

顯然d)?e)；我們要證明e)?a)。如果H,K中至少有一個(gè)是可逆的, 則e)?d), d)?b), b)?a),所以e)?a)。

其中K1是埃爾米特矩陣, 所以DK1是埃爾米特矩陣. 假設(shè)歸納DK1相似一個(gè)r階實(shí)矩陣Br, 所以DK1得特征值為實(shí)數(shù)或者成對(duì)出現(xiàn)的共軛復(fù)數(shù). 由引理3可知, -iA相似于一個(gè)實(shí)矩陣B, 則A～iB。

[1] 徐進(jìn),盛興平. 廣義酉矩陣與廣義(斜)Hermite矩陣的約當(dāng)標(biāo)準(zhǔn)型[J]. 合肥工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版), 2006, 29(12): 1 620～1 623.

[2] 程靜,何承源. 廣義酉矩陣與廣義Hermite矩陣的一些性質(zhì)[J]. 重慶師范大學(xué)學(xué)報(bào)(自然科學(xué)版), 2010, 27(3): 58～60.

[3]袁暉坪. 廣義酉矩陣與廣義Hermite矩陣[J]. 數(shù)學(xué)雜志, 2003, 23(3): 375～380.

[4]RogerA.Horn,CharlesR.Johnson.MatrixAnalysis[M].London:CambridgeUniversityPress, 1985.

[5] 王萼芳, 石生明. 高等代數(shù)(第三版)[M]. 北京：高等教育出版社, 2003.

[6] 樊惲. 代數(shù)學(xué)詞典[M]. 武漢: 華中師范大學(xué)出版社, 1994.

2095-4654(2016)12-0001-02

2016-10-31 基金項(xiàng)目: 湖北省教育廳青年基金項(xiàng)目(B20111101); 冶金工業(yè)過(guò)程系統(tǒng)科學(xué)湖北省重點(diǎn)實(shí)驗(yàn)室(Y201316); 武漢科技大學(xué)?；?2012XG011)

謝鳳繁(1978-)，女，湖北省武漢人，武漢科技大學(xué)理學(xué)院數(shù)學(xué)與統(tǒng)計(jì)系副教授，博士，主要研究方向：凸體幾何與積分幾何，E-mail:xiefengfan@wust.edu.cn。

O151.21

A