本文的閱讀等級:中級
令 為一個
階矩陣 (或稱方陣)。若存在一個非零向量
使得
,則稱
是
的一個特徵值,
是對應
的特徵向量。將上式改寫為
,即知
矩陣的零空間 (nullspace) 包含非零向量,也稱為對應
的特徵空間,記作
。所以,
是不可逆的,亦即
,於是我們定義方陣
的特徵多項式為
,特徵值
即為
的根。假設
有
(
) 個相異特徵值
,特徵多項式可分解為
,
其中特徵值 的重根數
稱為代數重數 (algebraic multiplicity)。顯然,
次多項式
有
個根 (包含重根),可知
。特徵空間
的維數
稱為
的幾何重數 (geometric multiplicity),也就是對應
的最大線性獨立的特徵向量數。以上是多數線性代數教科書採用的定義,但代數重數還有另一個較為罕見的定義方式:特徵值
的代數重數等於
。採用此定義的一個優點是立刻可證明每一特徵值的幾何重數不大於代數重數 (見“幾何重數不大於代數重數的證明”),即
。
證明於下:若 ,即
,也就有
,可知
,因此
,取維數即得證。
假設 階矩陣
的特徵值
於特徵多項式
的 (代數) 重數為
,
,下面證明
。使用 Schur 定理 (見“矩陣三角化的 Schur 定理”),設
可三角化為
,其中
是么正 (unitary) 矩陣,
,且
為上三角矩陣,主對角元為
的特徵值,表示如下:
,
上式中 是
階上三角矩陣,
,
,
是
階上三角矩陣,
,
。因此,
,
其中上三角矩陣 的主對角元皆為零,上三角矩陣
的所有主對角元則不為零。不難確認
且
。計算冪矩陣可得
使用秩─零度定理,
這裡補充一個事實。證明過程表明 ,
。所以,
。冪矩陣的零空間具有包容關係
,推得
,
。
另一個證法使用 Jordan 形式。設 的 Jordan 形式為 (見“Jordan 形式大解讀 (上)”)
,Jordan 矩陣為
,
其中 是特徵值
的 Jordan 分塊 (見“Jordan 分塊”) 的直和 (direct sum) 構造的
階矩陣,
則由其餘特徵值
的 Jordan 分塊組成。注意
,
,但
,
。因此,
且
。計算冪矩陣:
同樣地,使用秩─零度定理,
看這個例子:
的特徵值為 和
。對於特徵值
,幾何重數為
,算出
,
代數重數為 。對於特徵值
,幾何重數為
,算出
,
代數重數為 。
對於 階矩陣
的特徵值
,
稱為廣義特徵空間,所含的非零向量
稱為廣義特徵向量 (generalized eigenvector),滿足
[1]。若
有相異特徵值
,則對應的特徵向量
,
,為一線性獨立集 (見“相異特徵值對應線性獨立的特徵向量之簡易證明”)。類似地,對應相異特徵值
的廣義特徵向量
,
,也是一個線性獨立集 (見“拒絕行列式的特徵分析”),即有
,
。因為
,以上結果說明
,
其中 表示直和 (見“補子空間與直和”)。選擇適當的
個廣義特徵向量 (廣義特徵空間基底) 組成一可逆矩陣
可使
為 Jordan 矩陣 (見“Jordan 形式大解讀之尋找廣義特徵向量”)。唯當
,
,即每一個特徵值的幾何重數等於代數重數時才有
。
在此情況下,,將
個線性獨立特徵向量 (特徵空間基底) 組成一可逆矩陣
可使
為對角矩陣,即
可對角化 (見“可對角化矩陣與缺陷矩陣的判定”)。
最後舉一例說明。令 為一個
階冪等 (idempotent) 矩陣,
(見“特殊矩陣 (5):冪等矩陣”)。設非零向量
滿足特徵方程
,則
,推得
,故
有相異特徵值
與
。寫出
,可知
也是冪等矩陣。根據定義,
且
。對於特徵值
,
,代數重數等於幾何重數;對於特徵值
,
,代數重數也等於幾何重數。所以,冪等矩陣
可對角化。
註解
[1] 對應特徵值 的廣義特徵空間一般定義為所有的非零向量
使得
,
其中 為滿足上式的最小正整數,稱為指標 (index)。
老师,很多公式显示不出来。
你是爬梯子嗎?我的電腦可正常顯示。
是的,可以了~
wordpress 之前更新了編輯器,反而出現許多莫名其妙的問題。
很多公式都錯了。等web server穩定後我再將錯誤顯示的公式改正。
老師,有些式子還是出不來耶,”latex path not specified”
WordPress已經承認這個bug,但他們沒有說何時修復(可能要等下一版更新)。
在此之前,只能用貼圖取代未顯現的式子,非常耗工。
在我還沒找到更簡易的替代方法前將暫停貼文(除了每週問題)。
我嘗試換別的瀏覽器, 從Chrome改成Firefox可以暫時解決部分文章無法顯示的問題,
但國外的sites還是有些會出問題.
11/19起WP的latex rendering即出現問題(可能是caching的問題), 譬如,N(A-\lambda_iI) 可以顯示,但 N((A-\lambda_iI)^n) 卻不行。WP的反應有點慢:
https://github.com/Automattic/jetpack/issues/3052
現在上文之所以能正常顯示是因為我花了一個多小時貼圖(與瀏覽器無關)。
T1的对角线元素为\lambda是一种非常特殊的情况吧!如果考虑一个一般的上三角矩阵A,如果对角线元素中有\beta个零元素,那么当m \ge \beta,rank(A^m)=rank(A^beta)=n-\beta。感觉这个结论也是对的,但还不知道怎么证明。