本文的閱讀等級:中級
對合函數 (involution) 是逆函數等於自身的函數,也就是說,對合函數 的定義域中所有
滿足
。令
為一個定義於
或
的
階矩陣。若
,即
,則
稱為對合 (involutory) 矩陣。換句話說,對合矩陣是單位矩陣的所有平方根。常見的對合矩陣包括:
- 單位矩陣
和
- 反對角 (anti-diagonal) 排列矩陣
- 列交換矩陣,例如,
- 簽名 (signature ) 矩陣
- Householder 矩陣
,其中
(見“特殊矩陣 (4):Householder 矩陣”)。直接計算可驗證
下面我們介紹對合矩陣的構造法以及性質。
冪等矩陣:若不考慮正負號,任一對合矩陣對應唯一的冪等 (idempotent) 矩陣。
若一個 階矩陣
滿足
,則稱之為冪等矩陣。設
為對合矩陣,則
是冪等矩陣,因為
。
相反的,若 為冪等矩陣,則
是對合矩陣,因為
。
稍後我們將證明唯一性 (見譜分解)。
相似性:若 是對合矩陣,且
相似於
,則
是對合矩陣。
若 且
,則
。
對角化:任一對合矩陣可對角化為 。
下面提供三種證明。
(1) 冪等矩陣:給定一個 階對合矩陣
,冪等矩陣
可對角化為
,其中
(證明見“特殊矩陣 (5):冪等矩陣”,性質5)。所以,
可對角化如下:
。
上式中,,即知對合矩陣
的特徵值為
或
。
(2) 最小多項式:顧名思義,最小多項式是次數最小的消滅多項式。因為最小多項式整除任何消滅多項式 (見“最小多項式 (上)”), 表明
的最小多項式
為
,
,或
。不論何種情況,最小多項式
各因式的次數皆為
,這意味
相似於一個對角矩陣,也就是說,
可對角化 (見“最小多項式 (下)”)。若
,則
相似於
,故
。若
,則
相似於
,故
。若
,則
相似於一個簽名矩陣
,
。
(3) Jordan 典型形式:設 階對合矩陣
的 Jordan 典型形式為
,下面證明
,其中
。設
的 Jordan 矩陣為
,
其中 ,
是
階 Jordan 分塊
。
因為 ,可知
,
也就是說,,
。然而,
相似於 Jordan 分塊
(見“Jordan 分塊”,定理二),即
相似於
,推得
。經過適切的分塊主對角排序,對合矩陣
可對角化為
,
。
譜分解:任一對合矩陣 可分解為
,其中
,
,
且
。
將對合矩陣 的對角化表達式改寫為譜分解:
其中 和
是冪等矩陣,並滿足
和
(證明見“可對角化矩陣的譜分解”)。可對角化矩陣有唯一的譜分解,也就是說,
和
唯一存在。寫出
和
,即有
,
。如果不考慮正負號,對合矩陣和冪等矩陣有一對一的對應關係。
子空間與矩陣秩:對於一個 階對合矩陣
,令
表示
的行空間 (column space),
表示
的零空間 (nullspace)。下列性質成立:
,
,
通過對合矩陣與冪等矩陣的互換表達,,套用冪等矩陣性質 (見“特殊矩陣 (5):冪等矩陣”):
,
可證明對合矩陣的性質 (1-4)。對合矩陣 的特徵值為
或
,
是可逆矩陣,性質 (5) 必然成立。
么正矩陣:對合 Hermitian 矩陣是么正 (unitary) 矩陣 (對合實對稱矩陣是正交 (orthogonal) 矩陣)。
若 且
,則
,
是么正矩陣。但相反方向的命題不成立,例如,
,
,
是整數。
最後說明 階對合矩陣的顯式表達。所有的
階對合矩陣
可區分為三類:
,即
;
,即
;
,設
,
,則
例如,設
,可得
。
請問老師有關involutory matrix有建議的教科書或其他參考資料嗎?謝謝!
我沒看過專書involutory matrix的教科書,但上網應可查找到一些資料。