Jordan 矩陣
並不是喬丹發明的,翻譯過來一般被稱作若爾當矩陣,或者約當矩陣。
先下結論,一切矩陣均相似於Jordan 矩陣。
以下矩陣均為方陣
定義
Jordan塊:主對角元素都相等且主對角上方斜線中的元素都為1的矩陣
Jordan矩陣:對角元素均為Jordan塊的矩陣即為Jordan矩陣
分三部分講吧
為什麼要搞這麼一個矩陣
這在矩陣計算中,我們會遇到大量的冪次運算,我們一直想搞一個簡單的公式去化簡它,當然我們現在都知道有一種可能是
透過尋找相似矩陣來化簡冪次運算。如果B矩陣是對角矩陣的話,那麼就可以用 進一步簡化冪次預算。但並不是每個矩陣都能相似於對角矩陣。那麼其他矩陣怎麼辦呢。最終Jordan提供了他的方法, 即Jordan矩陣
為什麼一切矩陣都相似於它
1837年的時候Jacobi證明了所有矩陣都能三角化,即消元的形式。還有一個更強的結論,一切矩陣都能被寫成 (Schur三角化定理)
其中B是一個上三角矩陣,而U是一個Unitary Matrix(酉矩陣), 表示 的共軛轉置。可以透過數學歸納法證明。作為Unitary Matrix的一個性質, 。同時對於一個上三角矩陣B,我們可以透過 的形式使部分主對角線外的元素變成0。舉個例子,這裡我先假設大家明白左乘可以看做行變化,右乘是列變換,在講的時候這麼寫在直觀感受上容易理解。
對於初等矩陣(表示方法參考wiki) (有些教材的下標從0開始)它是肯定有逆的(行列式不為0),如果我們想透過 這種方式直接尋找計算 的逆矩陣,首先是P對A進行行遍換,A的第q行加到了第p行,那麼取逆變是,A的第q行減去A的第p行,所以可以直接得到 ,那麼對於一個上三角矩陣而言,比如說下面這個
我們希望設法使 都為0,設 可以使 ,那麼有
我們只要讓 就成了,這個時候的 應該等於 就可以了。而且我們會發現,這樣做不會影響主對角線上的元素順序。但是有一個問題, 怎麼辦,對於下面的矩陣來說好像有一部無法被消滅啊!
不管加還是減都只能是同一個數,無法被1個 線型組成自身也就無法消元。這時我們可以用另外一個初等矩陣 來交換兩行或者兩列,同時有 。對於 就是將第p行和第q行交換,再交換第p列和第q列。結果顯而易見,我們可以透過這種方式將對角線中相同但不相鄰的兩個元素放到一起,那麼最終就會得到一個類似這種形式的矩陣。
當然對於分塊矩陣來說,以上方法同樣適用,就不具體證明了。
現在我們有
其中 為一個分塊上三角矩陣,且各個塊的主對角線元素不同,而塊內的主對角線元素相同。
待續
這個矩陣有什麼特殊的計算技巧
注,中文體系內,貌似稱若而當矩陣為若爾當標準型,而將若爾當矩陣看作若爾當塊
Jordan 矩陣
並不是喬丹發明的,翻譯過來一般被稱作若爾當矩陣,或者約當矩陣。
先下結論,一切矩陣均相似於Jordan 矩陣。
以下矩陣均為方陣
定義
Jordan塊:主對角元素都相等且主對角上方斜線中的元素都為1的矩陣
Jordan矩陣:對角元素均為Jordan塊的矩陣即為Jordan矩陣
分三部分講吧
為什麼要搞這麼一個矩陣
這在矩陣計算中,我們會遇到大量的冪次運算,我們一直想搞一個簡單的公式去化簡它,當然我們現在都知道有一種可能是
透過尋找相似矩陣來化簡冪次運算。如果B矩陣是對角矩陣的話,那麼就可以用 進一步簡化冪次預算。但並不是每個矩陣都能相似於對角矩陣。那麼其他矩陣怎麼辦呢。最終Jordan提供了他的方法, 即Jordan矩陣
為什麼一切矩陣都相似於它
1837年的時候Jacobi證明了所有矩陣都能三角化,即消元的形式。還有一個更強的結論,一切矩陣都能被寫成 (Schur三角化定理)
其中B是一個上三角矩陣,而U是一個Unitary Matrix(酉矩陣), 表示 的共軛轉置。可以透過數學歸納法證明。作為Unitary Matrix的一個性質, 。同時對於一個上三角矩陣B,我們可以透過 的形式使部分主對角線外的元素變成0。舉個例子,這裡我先假設大家明白左乘可以看做行變化,右乘是列變換,在講的時候這麼寫在直觀感受上容易理解。
對於初等矩陣(表示方法參考wiki) (有些教材的下標從0開始)它是肯定有逆的(行列式不為0),如果我們想透過 這種方式直接尋找計算 的逆矩陣,首先是P對A進行行遍換,A的第q行加到了第p行,那麼取逆變是,A的第q行減去A的第p行,所以可以直接得到 ,那麼對於一個上三角矩陣而言,比如說下面這個
我們希望設法使 都為0,設 可以使 ,那麼有
我們只要讓 就成了,這個時候的 應該等於 就可以了。而且我們會發現,這樣做不會影響主對角線上的元素順序。但是有一個問題, 怎麼辦,對於下面的矩陣來說好像有一部無法被消滅啊!
不管加還是減都只能是同一個數,無法被1個 線型組成自身也就無法消元。這時我們可以用另外一個初等矩陣 來交換兩行或者兩列,同時有 。對於 就是將第p行和第q行交換,再交換第p列和第q列。結果顯而易見,我們可以透過這種方式將對角線中相同但不相鄰的兩個元素放到一起,那麼最終就會得到一個類似這種形式的矩陣。
當然對於分塊矩陣來說,以上方法同樣適用,就不具體證明了。
現在我們有
其中 為一個分塊上三角矩陣,且各個塊的主對角線元素不同,而塊內的主對角線元素相同。
待續
這個矩陣有什麼特殊的計算技巧
待續
注,中文體系內,貌似稱若而當矩陣為若爾當標準型,而將若爾當矩陣看作若爾當塊