本文的閱讀等級:中級
實對稱矩陣滿足 ,是所有實矩陣中應用最廣泛的特殊矩陣。實對稱矩陣的特徵值皆為實數,且存在完整的單範正交的 (orthonormal) 實特徵向量。據此,實對稱矩陣可正交對角化為 ,其中 是特徵值構成的對角矩陣, 是特徵向量構成的正交矩陣 (orthogonal matrix),滿足 。複矩陣也存在與實對稱矩陣相應的美好矩陣,稱為 Hermitian 矩陣或共軛對稱矩陣,也叫自共軛矩陣。關於複矩陣的基礎介紹,請見“從實數系到複數系”。
對應實矩陣的轉置運算 ,複矩陣則為共軛轉置,也就是包含共軛和轉置兩個運算 ,常記作 或 。例如,
,
的共軛轉置為
。
若 ,我們稱它是 Hermitian 矩陣,下為一例:
。
注意,Hermitian 矩陣 的主對角元為實數,因為 ,非主對角元 和 則為一組共軛複數,。很明顯,實 Hermitian 矩陣就是實對稱矩陣。法國數學家埃爾米特 (Charles Hermite) 於1855年證明若 ,則 的特徵值皆為實數 (見下面性質二),今天我們便稱這類矩陣為 Hermitian。
下面討論 Hermitian 矩陣最重要的四個性質,這些性質為擴展 Hermitian 矩陣的應用提供強大的火力支援。
性質一:若 是 Hermitian 矩陣,對於任意向量 , 是實數。
先掌握這個重點: 是一個純量,可視為一個 階矩陣。使用已知條件 ,計算
。
既然 與其共軛相等,可推論 必為實數。
考慮下例:
,
展開 :
,
其中來自於主對角元的前面兩項 和 皆是實數,而來自非主對角元的後面兩項互為共軛,該兩項之和消去虛部,故亦為實數。
值得注意的是,性質一的反向陳述也為真,亦即若對於任意 , 是實數,則 是 Hermitian 矩陣。證明於下。根據假設條件,對於任意 ,下式為實數:
,
又 是實數,剩下的證明步驟利用 是實數。令 ,其中第 元為 ,其餘各元皆為 。若 且 ,則 為實數,即 。 若 且 ,則 為實數,即 。合併以上結果,可推得 ,因為 和 是任意的,也就有 。
性質二:Hermitian 矩陣的特徵值皆為實數。
由性質一可推得性質二。假設特徵方程式為 ,,等號兩側左乘 ,就有 。利用性質一,可知上式等號左邊 是實數,等號右邊 是非零向量 的長度平方,故為一正數。因此, 是實數。
上例 Hermitian 矩陣 有特徵多項式:
得知特徵值為 與 。
性質三:Hermitian 矩陣對應相異特徵值的特徵向量互為正交。
設 Hermitian 矩陣 有相異實特徵值 和 ,對應的特徵向量分別為 和 。在 同時左乘 ,就有
。
在 同時右乘 ,
,
並利用 ,上面兩式等號左邊相等,所以
。
但已知 ,必定有 , 正交於 。
上例中,對應特徵值 和 的特徵向量分別是
,
直接計算確認
。
性質四:Hermitian 矩陣的特徵值的代數重數等於幾何重數。
此性質等同於 Hermitian 矩陣不存在廣義特徵向量 (這個主題較為艱深,詳見“Jordan 形式大解讀之尋找廣義特徵向量”)。假設廣義特徵向量 滿足 ,我們想要證明 ,也就是說, 是一般特徵向量。若 ,則有 ,左乘 ,可得
,
故 。使用歸納法。寫出
。
令 。上式等於 ,使用先前結果可知 ,也就是 。重複歸納步驟即證得 。
使用性質二、三和四,我們可以推論 Hermitian 矩陣是可正交對角化的 (見“特殊矩陣 (2):正規矩陣”)。以前例說明,先將特徵向量 , 予以正規化,使其長度等於 1。令
,
。
定義 矩陣的行向量由單範正交特徵向量組成,如下:
。
矩陣 滿足 ,即 ,稱為么正矩陣或酉矩陣 (unitary matrix)。又設對角特徵值矩陣為
。
由於 是可逆矩陣,特徵方程式的矩陣形式 可寫為分解式 或 ,這說明 Hermitian 矩陣是可么正對角化的 (unitarily diagonalizable)。