幾種實正規矩陣的性質

張建剛，申 冉

1.上海師范大學數學系，上海，200234;2.東華大學理學院，上海，201620

?

幾種實正規矩陣的性質

張建剛1，申 冉2

1.上海師范大學數學系，上海，200234;2.東華大學理學院，上海，201620

有針對性地研究了幾種實正規矩陣的部分性質，特別是針對特征值和對角化等方面，得到它們的聯系和區別之處。給出了實正規矩陣(正交矩陣)是實對稱陣(正定矩陣)的充要條件，同時研究了可逆矩陣關于實正規矩陣的分解性質。

正規矩陣；正交矩陣；對稱矩陣;正定矩陣

1 問題提出

正規矩陣是矩陣理論的主要研究對象之一。 正交矩陣、實對稱(反對稱)矩陣以及正定矩陣都是實的正規矩陣。本文通過有針對性地研究這幾類實的正規矩陣的部分性質，特別是針對特征值和對角化等方面，得到它們的聯系和區別之處。

如無特別說明，本文所討論的矩陣都是實數域上的矩陣。實數域上所有n階方陣的集合記作Mn(R)，對任意的A∈Mn(R)，AT表示轉置矩陣，A*表示伴隨矩陣，A-1表示逆矩陣(如果存在)，En表示n階單位陣。

文中所涉及到的其他術語，參見文獻[1]。

2 幾種正規矩陣的性質比較

定義2.1如果A∈Mn(R)，滿足AAT=ATA=En，即AT=A-1，則稱A為正交矩陣[1]298-343。

正交矩陣具有以下性質：

(1)正交矩陣的乘積和正交矩陣的逆矩陣都是正交矩陣。兩個正交矩陣的和未必正交，如令A=E2,B=-E2，則有A+B不是正交矩陣。

(2)正交矩陣的特征值的模等于1，其實的特征值只能為1或-1。

(3)上(下)三角正交矩陣必為對角矩陣，且對角線上的元素只能為1或-1。

定義2.2設A∈Mn(R)且A可逆，則A可以分解為A=QR，其中，Q為正交矩陣，R是一個對角線上全為正數的上三角矩陣，并且這種分解形式是唯一的(上述分解稱為正交三角分解)。

上述分解形式，在研究可逆矩陣的性質時是非常有幫助的。

定義2.3如果A∈Mn(R)，且滿足A=AT，即對任意的i=1,2,…,n;j=1,2,…n，都有aij=aji，則稱A為對稱矩陣[1]298-343。

對稱矩陣的性質：

(1)兩個對稱矩陣的和還是對稱矩陣。兩個對稱矩陣A,B的乘積AB仍是對稱矩陣的充要條件是AB=BA。

(2)實對稱矩陣的特征值都是實數，且屬于不同特征值的特征向量正交。

(3)若A∈Mn(R)為對稱陣，則存在正交陣Q，使得QTAQ為對角矩陣，且對角線上元素為A的全部特征值(稱為實對稱陣的正交對角化)。

由正交陣的定義可知，n階實矩陣A是正交陣當且僅當AAT=En。對于對稱陣，有下面的結論。

命題2.4設A∈Mn(R)，則A是對稱陣當且僅當AAT=A2。

證明必要性是顯然的。下證充分性，首先注意到下面的事實，若B∈Mn(R)，則：

B=0?BBT=0?tr(BBT)=0

另一方面，由條件AAT=A2，有：

tr((A-AT)(A-AT)T)

=tr((A-AT)(AT-A))

=tr(ATA-(AT)2)

=tr(AT(A-AT))

=tr((A-AT)AT)

=tr(AAT-(A2)T)

=tr(AAT)-tr(A2)=0

因此，A-AT=0，即A=AT，A是對稱陣。

由上述命題，容易得到下面正交矩陣和對稱矩陣之間的關系。

命題2.5設A∈Mn(R)，則下列三個條件中任意兩個成立，則另一個也成立。

(1)A是一個對稱矩陣。

(2)A是一個正交矩陣。

(3)A2=En(以下稱滿足此條件的矩陣為對合陣)。

例子2.6設A∈Mn(R),且A是對稱矩陣， 若A也是對合陣。證明存在正交矩陣Q，使得：

證明由對稱矩陣的性質(3)，存在正交陣Q，使得QTAQ為對角矩陣，且對角線上元素為A的全部特征值。另一方面，設A的特征值為λ，對應的特征向量為α，則有Aα=λα。結合條件A2=En，容易看到λ2=1，從而A的特征值為1或者-1，所以結論成立。

矩陣A∈Mn(R)可以對角化，當且僅當A的特征值都是實數，且A的所有特征值對應的特征子空間的維數之和等于n。而正交陣的特征值不一定是實數，所以不是所有的正交矩陣都能對角化。但有下面的結論：

命題2.7設A∈Mn(R)，且A為正交矩陣，則A的特征值都是實數，當且僅當A是對稱陣。

由上述結論可知，一般的正交陣未必可以對角化，但如果特征值都是實數，則可以實現對角化。

推論2.8設A∈Mn(R)，且A為正交矩陣，若A的特征值都是實數，則：

(2)rank(A+En)+rank(A-En)=n。

(2)若A的特征值為1，則由(1)可知，A=En。同理，若A的特征值為-1，A=-En。若1,-1都是A的特征值，由于A可以對角化，故dimV1+dimV-1=n，其中V1,V-1分別是1,-1對應的特征子空間。又因為

dimV1=n-rank(En-A)

=n-rank(A-En)

dimV-1=n-rank(-En-A)

=n-rank(A+En)

故得證。

由命題2.5和2.7容易得到下面的結論。

推論2.9設A∈Mn(R)，且A為正交矩陣，則下列命題等價：

(1)A的特征值都是實數。

(2)A是對稱陣。

(3)A為對合陣。

定義2.10設A∈Mn(R)，且A=AT，如果二次型XTAX是正定的，其中X為n維列向量，則稱A為正定矩陣。

正定矩陣的基本性質：

(1)設A,B∈Mn(R)，m∈Z，k是正實數，若A,B都正定，則A-1，A*，Am，A+B，kA都正定。

(2)實對稱陣A是正定矩陣，當且僅當A的特征值都大于零。

(3)實矩陣A是正定矩陣，當且僅當A合同于單位矩陣(即存在實可逆陣C，滿足A=CTC)；當且僅當A正交相似于一個對角陣，且對角線上為其全部(正的)特征值。

命題2.11實(對稱)矩陣A是正定矩陣當且僅當存在可逆上三角矩陣R，滿足A=RTR。

證明充分性由正定矩陣的基本性質(3)易得，下證必要性。由正定矩陣的基本性質(3)，存在可逆陣C， 使得A=CTC；另一方面，由引理2.2，C可以分解為C=QR，其中Q為正交矩陣，R是一個對角線上全為正數的上三角矩陣，則A=(QR)TQR=RTQTQR=RTR。

命題2.12正交矩陣A是正定矩陣，當且僅當A是單位陣。

證明充分性是顯然的，下證必要性。若正交矩陣A是正定矩陣，則A必為實對稱陣，由命題2.5和例子2.6的證明可知，A的特征值只能為1或者-1。又因為正定矩陣的特征值都大于0，故A的特征值只能為1，由正定矩陣的基本性質(3)易得，A正交相似于單位陣，所以A是單位陣。

關于正定矩陣乘積的正定性，有著類似于實對稱矩陣乘積的對稱性的結論。

命題2.13兩個正定矩陣A,B的乘積是正定矩陣的充要條件AB=BA。特別的，正定矩陣的方冪是正定的。

證明必要性為顯然。這是因為正定陣一定是對稱陣，所以如果A,B的乘積是正定矩陣，則AB必為對稱陣，由對稱陣的基本性質(1)，AB=BA。

下證充分性。首先由對稱陣的基本性質，若AB=BA，則AB是對稱陣。因為A,B都是正定矩陣，由正定矩陣的基本性質(3)，分別存在實的可逆陣P,Q，使得A=PTP,B=QTQ，則AB=PTPQTQ。進一步，容易看到：

QABQ-1=QPTPQTQQ-1

=QPTPQT=(PQT)TPQT

由正定陣的基本性質，(PQT)TPQT是一個正定陣，所以上式說明AB與一個正定矩陣相似，故AB的特征值都是正數，所以AB也是正定陣。

命題2.14設A是實對稱矩陣，則A正定，當且僅當存在唯一的正定矩陣B，滿足A=B2。

證明充分性由命題2.13為顯然，下面證明必要性。由正定矩陣的正交相似性，存在正交陣U，使得：

UTAU=diag(λ1,λ2,…,λn)

即B=C。

推論2.15設A∈Mn(R)且A可逆，則A可以分解為一個正交陣和一個正定陣之積，也可以分解為一個正定陣與一個正交陣之積。特別地，若A正交，則分解形式唯一。

A=(AT)-1B2=(AT)-1BB

分別記(AT)-1B=P,B1(AT)-1=Q，則A=PB,A=B1Q，下證P,Q分別為正交矩陣。事實上：

PPT=(AT)-1B(AT)-1(B)T

=(AT)-1BBTA-1=(AT)-1B2A-1

=(AT)-1ATAA-1=En

QTQ=(B1(AT)-1)TB1(AT)-1

=A-1AAT(AT)-1=En

故結論成立。特別地，若A正交，設A=PB，其中P是正交陣，B是正定陣，則有P-1A=B。由于P-1A正交而B正定，由命題2.12，B=En。類似的可以證明另一種分解形式也是唯一的。

定義2.16如果A∈Mn(R)，滿足AAT=ATA，則稱A為(實)正規矩陣。

不難看到，上述所討論的正交矩陣，對稱(反對稱)矩陣和正定矩陣都是正規矩陣。

正規矩陣的基本性質：

(1)設A∈Mn(R)是正規矩陣，m∈N，k是任意實數，則AT，Am，kA均是正規矩陣，且A可逆時，A-1,A*也都是正規矩陣。

(2)設A∈Mn(R)是正規矩陣，若A是上三角陣，則A必為對角矩陣。

命題2.17設A∈Mn(R)，且A是正規矩陣，則A的特征值都是實數，當且僅當A是對稱陣。特別地，若特征值都是正實數，當且僅當A是正定矩陣。

證明充分性是顯然的，只需證明必要性。下面利用數學歸納法加以證明。首先，當n=1時，結論顯然成立。假設結論對n-1階矩陣成立，即對任意n-1階的實正規陣，如果特征值都是實數，則它是對稱陣。下面考慮階數為n的情形。

其中，α是n-1維實的行向量，B是一個n-1階實矩陣。記UTAU=C，則CCT=CTC。事實上，因為AAT=ATA，CCT=(UTAU)(UTATU)=UTAATU=UTATAU=(UTATU)(UTAU)=CTC，即有：

特別地，由正定矩陣的基本性質，若A的特征值都是正實數，當且僅當它是正定矩陣。

推論2.18設A∈Mn(R)，且A為正規矩陣，若A的特征值都是實數，則A可以相似對角化。

[1]張禾瑞，郝炳新.高等代數[M].北京：高等教育出版社，2007

[2]楊子胥.高等代數習題集：上[M].濟南：山東科學技術出版社，2000:542-562

[3]楊子胥.高等代數習題集：下[M].濟南：山東科學技術出版社，2001:390-451

[4]陳祥恩，程輝，喬虎生，等.高等代數專題選講[M].北京：中國科學技術出版社，2013：182-201

[5]張建剛，申冉.線性流形的性質[J].大學數學，2015，31(4):90-94

(責任編輯：汪材印)

10.3969/j.issn.1673-2006.2017.05.027

2016-12-20

國家自然科學基金“某些完全正則半群的性質和結構”(11201305)。

張建剛(1977-)，山東禹城人，博士，副教授，研究方向：代數半群理論。

O151.2

：A

：1673-2006(2017)05-0094-04