Can you summarize the following document?
        
  一個"n" × "n"的矩陣formula_4是可對角化的,當且僅當formula_4滿足下列條件之一:  矩陣的對角化使得研究其性質變為研究相應的對角矩陣的性質,而後者顯然簡單得多。由於不是所有矩陣都滿足上述三個條件之一,有的矩陣是不可對角化的,例如以下的:  計入重數的話,formula_4的特徵值為1, 2, 4, 4。formula_17的核的維數是1,因此formula_4不可對角化。但經過基底變換,formula_4相似於下面的矩陣:  矩陣formula_21近乎對角矩陣,除了第三列第四行係數是1。如果將後兩行和後兩列的部分作為一塊的話,矩陣formula_21就是一個分塊對角矩陣。若爾當標準型的目標就是將更多的矩陣化簡到一類只比對角矩陣稍微複雜的矩陣:若爾當標準型。實際上這是一種簡單的分塊對角矩陣。  這裡的“簡單”是指每小塊矩陣都具備一種很簡單的形狀:  其中主對角線上都是同一個係數,而對角線上方一排全是1。形同以上formula_25的矩陣稱為若爾當矩陣。而矩陣formula_21中每一個這樣的小塊被稱為若爾當塊。  線性代數中有如下的結果:  對任意係數域為formula_3的矩陣formula_4,只要其特徵值都在formula_3中,就存在一個與之相似的若爾當標準型formula_21:formula_31,其中formula_32是一個可逆矩陣。並且滿足:

  

  考慮前面例子中的矩陣"M"。"M"的若爾當標準型可以寫成"P""MP" = "J",即  其中變換矩陣"P"的四個列向量為:"p", "i" = 1,..., 4,於是  也就是:  對於"i" = 1、2、3,formula_43都是某個特徵值所對應的特徵向量:formula_44。然而,當"i"=4時,formula_45並不是特徵值4所對應的特徵向量。儘管如此:  於是formula_47。像formula_48這樣的向量被稱為"M"的廣義特徵向量。  給定一個特徵值formula_49,它對應的若爾當塊formula_50:  對應著一個由廣義特徵向量所張成的子空間,因為對應的基底formula_52滿足:  因此,“所有特徵值在formula_3中的矩陣都相似於某個若爾當標準型”這個命題等價於存在一個由這個矩陣的特徵向量和廣義特徵向量構成的全空間的基底。

  當矩陣"A"為冪零矩陣(即存在"m"使得formula_56)時,可以證明整個空間總是可以分解為若干個"A"-迴圈子空間的直和。所謂的"A"-迴圈子空間就是由某個向量"v"以及基底:formula_57線性張成的子空間。顯然,這樣的子空間是"A"-不變子空間。同時,注意到formula_58是由"A"的特徵向量和廣義特徵向量構成的(formula_59)。因此在這個迴圈子空間裡,"A"在基底formula_60下表示為若爾當塊:  因此"A"在所有這樣的基底下可以表示為由若爾當塊組成的分塊對角矩陣,即若爾當標準型:

  下面用數學歸納法證明:所有特徵值在formula_3中的"n" × "n"的矩陣都相似於某個若爾當標準型。  "n"= 1的情況顯然。對於formula_64考慮"n" × "n"矩陣"A"。對於"A"的一個特徵值λ,設"s"為λ的幾何重數。設線性變換formula_65 的像空間為formula_66,這是關於"A"的一個不變子空間。因為λ是特徵值,formula_66的空間維數"r"嚴格小於"n"。記formula_68為"A"在子空間限制formula_66上的部分。根據歸納假設存在一個基底:{"p",..., "p"}使得formula_68在這個基底上為若爾當標準型。  接下來考慮子空間formula_71,只要能夠證明整個空間可以分為:  由於formula_73是一個"A"-不變子空間,在上面formula_74是冪零矩陣,因此可以寫成若爾當標準型:  而加上formula_76後還是若爾當標準型。因此,"A"在formula_73和formula_66上都能寫成若爾當標準型,從而"A"相似於某個若爾當標準型。  利用歸納法可知所有的"n" × "n"的矩陣都相似於某個若爾當標準型。  下面證明:  設"A"的最小多項式為formula_80,並將其寫成formula_81。於是formula_82和formula_83互素。於是根據裴蜀定理,存在多項式:"a"和"b"使得formula_84。每個向量"u"都可以寫成:  並且formula_86,同樣地formula_87,因此formula_88,也就是說:  另一方面,任意formula_90,formula_91。也就是說:formula_92。綜上所述,  然而formula_94,formula_95,從而formula_96。而根據秩-零化度定理,formula_97和formula_66維數相等,所以兩者完全相等。於是  從而命題得證。

  

  用若爾當標準型以及直接的計算可以得出:如果"n" × "n"矩陣"A"的特徵值為:λ,..., λ,那麼對於多項式:"p",矩陣"p"("A")的特徵值是:"p"(λ),..., "p"(λ)。

  凱萊-哈密爾頓定理斷言任意矩陣"A"都是特徵方程的根:如果"p"是"A"的特徵多項式,那麼"p"("A") = 0。這個定理一樣可以用若爾當標準型直接計算得出。

  方塊矩陣"A"的最小多項式是使得"m"("A") = 0的非常數首一多項式中次數最小者。另一種定義是:所有使得"m"("A") = 0的多項式構成主理想環"C"["x"]的一個理想"I",而"m"則是這個理想的產生子。  對於有若爾當標準型的矩陣"A",其最小多項式以其特徵值為根,並且由若爾當標準型的形狀可以看出,每個特徵值的重數是若爾當標準型中屬於這個特徵值的最大的若爾當塊的維數。  反之已知矩陣"A"的最小多項式並不能知道其若爾當標準型。要確定矩陣"A"的標準型需要用到所謂的初等因子。矩陣"A"的一個初等因子是它的某一個若爾當塊的特徵多項式(或最小多項式,對於若爾當塊兩者一樣)。如果所有的初等因子都是一次多項式,那麼"A"可對角化。

  一個"n" × "n"的矩陣"A"的若爾當標準型是分塊對角矩陣,因此給出了一個將"n"維歐幾里得空間分解為矩陣"A"的不變子空間的具體方法。每個若爾當塊"J"都對應著一個不變子空間:"X"。可以簡記為:  其中的每個"X"都是由若爾當塊"J"對應的廣義特徵向量張成的子空間。  注意到這裡的"k"並不是不同的特徵值的個數,因為屬於同一個特徵值的若爾當塊可以不止一個。如果要將formula_101分解為"l"個不變子空間,其中"l"是不同特徵值的個數的話,可以將屬於同一個特徵值,比如說formula_102的若爾當塊合併:只需使用"A"的最小多項式formula_80中關於formula_102的重根數(代數重數)formula_105,考慮空間:  這就是所有的屬於同一個特徵值formula_102的若爾當塊所對應的"X"所合併後的空間,因為它包含了所有使得經過formula_105次formula_109操作後會清零的向量集合。如果某個"X"中向量沒有被清零,那麼由於這個向量也不會被其他的特徵值formula_110清零,它將不會被formula_111清零,這與formula_112矛盾。  於是"n"維歐幾里得空間也可以被分解為  其中"l"是矩陣"A"的不同的特徵值的個數。  值得注意的是,這裡的指標ν("λ")是使得特徵零空間formula_114“穩定”下來的最小次數:  這也可以作為代數重數的另一個定義。
線上性代數中,若爾當標準型(英語:Jordan normal form)或稱若爾當標準式、喬登正則式(英語:Jordan canonical form)是某個線性對映在有限維向量空間上的特別的矩陣表達形式,稱作若爾當矩陣(Jordan matrix),這矩陣接近對角矩陣:除了主對角線和主對角線上方元素之外,其餘都是零且主對角線上方的對角線的係數若不為零隻能為formula_1,且這formula_1左方和下方的係數(都在主對角線上)有相同的值。譜定理和正規矩陣都是若爾當標準型的特殊情況,因為可以被對角化(diagonalizable)。若爾當矩陣理論說明了任何一個係數域為formula_3的方塊矩陣formula_4如果特徵值都在formula_3中,那麼必然和某個若爾當標準型相似。或者說,如果一個有限維向量空間上的自同態線性對映的特徵值都在係數域formula_3中,那麼它可以在某個基底下表示成若爾當標準型。