姜蓮霞，鄧 勇

(喀什大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，新疆 喀什 844006)

設(shè)Mm×n(R)是有單位元e≠0的主理想環(huán)R上的m×n階矩陣集合，GL(n，R)是R上的n階可逆矩陣集合。令I(lǐng)n和0n×k分別表示n階單位矩陣和n×k階零矩陣。設(shè)矩陣對(duì)A，B∈Mn×n(R)，用[A，B]=AB-BA表示其交換子。

稱矩陣對(duì)A，B∈Mn×n(R)可同時(shí)三角化，如果存在可逆矩陣T∈GL(n，R)，使得

均為下三角矩陣。

目前，有單位元的交換環(huán)上的矩陣對(duì)可同時(shí)三角化的問(wèn)題仍未得到徹底解決。我們已經(jīng)知道，在有單位元的交換環(huán)上，矩陣對(duì)可同時(shí)三角化的必要條件是它們的特征多項(xiàng)式能夠分解成一次因式的乘積。文獻(xiàn)[1]研究了在主理想環(huán)上，當(dāng)矩陣對(duì)的特征多項(xiàng)式的最小多項(xiàng)式為二次不可約多項(xiàng)式時(shí)，它們可同時(shí)三角化的問(wèn)題。文獻(xiàn)[2]在交換環(huán)上，建立了二階矩陣族可同時(shí)三角化的充分必要條件。McCoy定理雖然給出了代數(shù)閉域上矩陣對(duì)可同時(shí)三角化的判據(jù)[3]，但是定理的條件卻很難通過(guò)常規(guī)的方法去驗(yàn)證。在復(fù)數(shù)域上，文獻(xiàn)[4-7]給出了將矩陣對(duì)同時(shí)三角化的構(gòu)造方法；文獻(xiàn)[8]給出了對(duì)稱不定矩陣三對(duì)角化約化方法的新的方法；文獻(xiàn)[9-10] 中給出了對(duì)稱矩陣三對(duì)角化的算法設(shè)計(jì)；文獻(xiàn)[11]給出了基于矩陣三對(duì)角化分解的DOA估計(jì)算法；文獻(xiàn)[12]給出了實(shí)對(duì)稱陣三對(duì)角化和二分法的結(jié)構(gòu)優(yōu)化算法。

眾所周知，矩陣A∈Mn×n(R)稱為對(duì)合矩陣，如果A2=In。顯然，對(duì)合矩陣的最小多項(xiàng)式為m(λ)=(λ-e)(λ+e)。因此，A∈Mn×n(R)是對(duì)合矩陣的充分必要條件是(In-A)(In+A)=0n×n?；诖?，在主理想環(huán)上，建立矩陣對(duì)可同時(shí)三角化的充分必要條件。

2 主要結(jié)論及其證明

值得注意的是，當(dāng)R是代數(shù)閉域F時(shí)，矩陣對(duì)A，B∈Mn×n(F)存在共同特征向量的問(wèn)題文獻(xiàn)[13]已徹底解決。但是，當(dāng)R是一般的交換環(huán)時(shí)，矩陣對(duì)A，B∈Mn×n(R)存在共同特征向量的問(wèn)題卻仍未得到有效解決[14]。

假設(shè)矩陣對(duì)A，B∈Mn×n(R)的最小多項(xiàng)式均為二次多項(xiàng)式，并且它們均可分解為一次因式的乘積。下面，建立這種矩陣對(duì)存在共同特征向量的充分必要條件。

定理1 設(shè)矩陣對(duì)A，B∈Mn×n(R)的最小多項(xiàng)式分別為

mA(λ)=(λ-α1)(λ-α2)，α1≠α2

和

mB(λ)=(λ-β1)(λ-β2)，β1≠β2

其中：αi，βj∈R(i，j=1，2)。于是，A和B在R上有共同特征向量當(dāng)且僅當(dāng)交換子[A，B]是一個(gè)奇異矩陣。

證明 必要性顯然。

由定理1可得如下推論：

推論1 對(duì)合矩陣對(duì)A，B∈Mn×n(R)有共同特征向量當(dāng)且僅當(dāng)(A-B)和(A+B)至少有一個(gè)是奇異矩陣。

(?) 設(shè)(A-B)和(A+B)至少有一個(gè)是奇異矩陣。因

(A-B)(A+B)=AB-BA=[A，B]，

故對(duì)合矩陣A和B的交換子[A，B]奇異。由定理1，矩陣A和B有共同特征向量。證畢。

現(xiàn)在，利用定理1的結(jié)果來(lái)建立Mn×n(R)中的矩陣對(duì)可同時(shí)三角化的充分必要條件。

定理2 設(shè)矩陣對(duì)A，B∈Mn×n(R)的最小多項(xiàng)式分別為

mA(λ)=(λ-α1)(λ-α2)，α1≠α2

和

mB(λ)=(λ-β1)(λ-β2)，β1≠β2，

其中αi，βj∈R(i，j=1，2)。于是，A和B在R上可同時(shí)三角化當(dāng)且僅當(dāng)交換子[A，B]是冪零矩陣。

證明 (?)顯然。

(?)設(shè)矩陣對(duì)A，B∈Mn×n(R)的最小多項(xiàng)式分別為

mA(λ)=(λ-α1)(λ-α2)，α1≠α2

和

mB(λ)=(λ-β1)(λ-β2)，β1≠β2，

和

其中A1，B1∈M(n-1)×(n-1)(R)。因交換[A，B]是冪零矩陣，故

和

和

用類似方法，經(jīng)過(guò)有限步后，必可得出結(jié)論：對(duì)矩陣A和B，存在矩陣T∈GL(n，R)，使得TAT-1和TBT-1均為下三角矩陣。證畢。

由定理2可得如下推論

推論2設(shè)矩陣對(duì)A，B∈Mn×n(R)的最小多項(xiàng)式分別為

mA(λ)=(λ-α1)(λ-α2)，α1≠α2

和

mB(λ)=(λ-β1)(λ-β2)，β1≠β2，

其中αi，βj∈R(i，j=1，2)，交換子[A，B]是冪零矩陣。若矩陣A可對(duì)角化，則存在矩陣W∈GL(n，R)，使得WAW-1是對(duì)角矩陣，WBW-1是下三角矩陣。

證明 因?yàn)榻粨Q子[A，B]是冪零矩陣，所以對(duì)矩陣A，B而言，存在矩陣U∈GL(n，R)，使得UAU-1=TA和UBU-1=TB均為下三角矩陣。又因矩陣A可對(duì)角化，故UAU-1可對(duì)角化。 容易看出， 對(duì)矩陣UAU-1， 存在下三角矩陣V∈GL(n，R)， 使得VTAV-1是對(duì)角矩陣，VTBV-1是下三角矩陣。 證畢。

推論3 對(duì)合矩陣對(duì)A，B∈Mn×n(R)可同時(shí)三角化當(dāng)且僅當(dāng)它們的交換子[A，B]是冪零矩陣。

3 結(jié)論

在定理2假設(shè)的條件下，本文得到了主理想環(huán)R上的n×n階矩陣對(duì)A，B可同時(shí)三角化的一個(gè)充分必要條件。根據(jù)定理2的充分性證明，進(jìn)而得到了通過(guò)有限步驗(yàn)證程序，將矩陣對(duì)A，B化簡(jiǎn)為下三角矩陣的一種方法。另外，還需注意到，本文的結(jié)論對(duì)初等除環(huán)上的矩陣對(duì)A，B依然正確。