本文的閱讀等級:高級
理解線性代數各主要變換核心觀念和運算機制的一個有效方法是將研究焦點放在變換的不變性質上。例如,高斯消去法運用基本列運算產生列等價梯形矩陣,其效果等於左乘矩陣 一基本矩陣 ,表示如 (見“特殊矩陣 (10):基本矩陣”)。若一列減去另一列與某數的乘積,矩陣的許多性質維持不變,包括矩陣秩、列空間、零空間,以及行列式。又如相似變換 的基本運算為基底變換,目的是為了化簡矩陣成為對角形式或 Jordan 形式,此過程不改變矩陣秩、行列式、跡數、特徵值和 Jordan 形式 (見“相似變換下的不變性質”)。針對對稱矩陣或 Hermitian 矩陣 ,我們也可以問:二次型 或 的基本運算為何?哪些性質不受此運算改變?
二次型的基本運算為變數變換,目的是為了對角化二次型。設 為 階實對稱矩陣,如果在不使用列交換 (row exchange) 的情形下可以得到 LU 分解式 ,其中 , 為軸元, 為下三角矩陣,, (見“LU 分解”)。因為 , 為可逆矩陣,也就有 。考慮變數變換 (等價的表示式為 ),則二次型可對角化如下:
另一方面,任意對稱矩陣都可以被正交對角化,亦即存在正交矩陣 使得 ,其中 , 為 的實特徵值,因此也有 。設 ,有下面這個對角化結果:
對於一實對稱矩陣 ,二次型對角化過程中的矩陣變換稱為相合變換 (congruence transformation):
其中 為可逆矩陣。上例中,如果使用 LU 分解 ,則 ,使用正交對角化 ,則有 。若 為複數 Hermitian 矩陣,相合變換則表示為
以下我們考慮應用於複矩陣的相合變換。因為 是可逆的,,相合變換不改變矩陣秩。另外,縱使 不為可逆也有 ,相合變換不改變矩陣的對稱性:若 是 Hermitian, 也是 Hermitian;若 是對稱的, 也是對稱的。
相合變換是一種等價關係 (見“矩陣的等價關係”),亦即對於 階矩陣 ,滿足
- 自身性: 相合於 ;
- 對稱性:若 相合於 ,則 相合於 ;
- 傳遞性:若 相合於 且 相合於 ,則 相合於 。
這三個性質的證明十分容易。對於 (1),寫出 。對於 (2),若 , 是可逆的,則 。對於 (3),若 ,,則 。
既然相合是一種等價關係,相合變換可將 階矩陣分為互不相交的等價分類。每個等價分類中的矩陣彼此相合,但屬於不同等價分類的矩陣則不相合。同屬於一個等價分類的相合矩陣理應享有相同的性質,也就是相合變換的不變性質。給定二矩陣,要如何判斷彼此是否相合?這個問題的答案稱為 Sylvester 慣性定律 (law of inertia)。Hermitian 矩陣 的特徵值皆為實數, 的慣性 (inertia) 定義為其正特徵值總數 、負特徵值總數 ,和零特徵值總數 ,表示如下:
如下例,假設 階 Hermitian 矩陣 有特徵值 ,,,,,,則 的慣性為 。
在彼此相合的矩陣集中,我們可以挑選出一個典型形式,此形式完全由矩陣的慣性決定。考慮 階 Hermitian 矩陣 的對角化形式 ,,。在不造成混淆的情況下,我們使用縮寫記號 ,,,假設特徵值依如下方式排序: ,,。我們定義 的慣性矩陣 為包含 個 , 個 ,和 個 的對角矩陣,如下所示:
特徵值矩陣 可寫為 , 其中 。利用上述表達式可聯繫 與其慣性矩陣 :
上式中 為可逆矩陣,故 相合於 。下面我們介紹描述相合關係能否成立的一個主要定理。
Sylvester 定理
設 , 為 階 Hermitian 矩陣。若 相合於 ,則 和 有相同的慣性,也就是說, 和 有相同的正特徵值個數,負特徵值個數與零特徵值個數。反之,若 和 有相同的慣性,則 相合於 。
先證明反向陳述。若 , 的慣性相同,,則其慣性矩陣亦同 。因為 相合於 , 相合於 ,由對稱性和傳遞性可知 相合於 。接著證明正向陳述。若 相合於 ,可知有一可逆矩陣 使得 ,故 。Hermitian 矩陣 是可對角化的,因此特徵值 的幾何重數等於代數重數,這指出零空間的維數等於特徵值 的數目。由秩—零度定理得知 ,既然 和 的有相同的矩陣秩,所以 ,剩下的工作只需證明 。為簡化符號,令 , 為 的單範正交 (orthonormal) 特徵向量,分別對應特徵值 ,又令 ,則 。考慮 中的非零向量 ,就有
將 替換為 可知
因此對於非零向量 ,。因為 是可逆的,。很明顯,子空間 屬於由對應 的正特徵值的特徵向量所擴張的子空間,該子空間的維數是 ,故 。將上面陳述的 , 互換可以得到 ,因此證得 。
上述方法利用子空間關係證明二相合矩陣有相同的慣性。Gilbert Strang 在其著作 Linear Algebra and its Applications (第三版) 採用了拓樸學的同倫 (homotopy) 技巧來證明相合變換不會改變特徵值的正負符號 (同倫指兩個對象間的連續變化)。先假設 是可逆的,但如果 不為可逆,則考慮 和 ,最後再令 。當實對稱矩陣 為可逆時,則相合變換 也是可逆的,因此不需考慮零特徵值。我們想像存在一系列的連續可逆矩陣鏈 ,,聯繫 和一正交矩陣 ,使得 ,。當 從 增大至 , 的特徵值也從 的特徵值漸進改變為 的特徵值。既然 和 都是可逆的, 也是可逆的,則其特徵值不為零, 在連續的改變過程中 的特徵值當然也不可能跨越零。所以 和 的正特徵值個數相同,負特徵值個數也相同。由於 相似於 ,推論 和 有完全相同的特徵值,這也就證明了 和 有相同的慣性。
例一:設 為 Hermitian 矩陣,若 相合於單位矩陣 ,即 ,由 Sylvester 定理可知 的特徵值皆為正數,故 為正定矩陣 (見“特殊矩陣 (6):正定矩陣”)。從相合變換可以確認任意正定矩陣 都可表示為 , 是可逆矩陣,而且任意正定矩陣彼此兩兩相合。
例二:設 為實對稱矩陣,由 的對角化形式 可知 相合於 。考慮在不發生列交換之下的 LU 分解 , 相合於 , 的主對角元包含所有的軸元。根據 Sylvester 定理,相合變換不改變矩陣的慣性,所以 和 的慣性相同,但 的主對角線上的軸元即為 的特徵值。這指出實對稱矩陣的正軸元、負軸元以及零軸元的個數分別與正特徵值、負特徵值及零特徵值的個數相同。