線性代數中，元素屬於域 F 的方陣 A 的弗羅貝尼烏斯標準形或有理規範形是透過 F 上可逆陣的共軛得到的矩陣規範形。它反映了將向量空間最小分解為對 A 迴圈的子空間（由某向量與其在 A 下的重複像張成的子空間）。由於給定矩陣只能給出一種標準形，因此 B 與 A 相似，當且僅當它們有相同的弗羅貝尼烏斯標準形。由於這種形式不涉及任何擴張 F 域時可能變化的運算（即 有理），特別是不需要因式分解多項式，這表明兩個矩陣的相似關係不會因域擴張而改變。這種標準形得名於德國數學家費迪南德格奧爾格弗羅貝尼烏斯。 有些學者所謂 有理規範形 是指另一種略有差別的形式，其更恰當的名稱是初等有理規範形。初等形式反映的不是到迴圈子空間的最小分解，而是最大分解。它也定義於 F 上，但性質略有不同：要得到它需要對多項式進行因式分解，因此初等有理規範形可能會因 F 的擴張而變化。本文介紹的主要是不需要因式分解的標準形，並在提及第二種標準形時註明 初等。 動機 若要研究兩個方陣 A、B 是否相似，一種方法是儘量把各自的向量空間分解為穩定子空間的直和，並比較各自在子空間上的作用。例如，如果方陣都可對角化，則就可分解為特徵空間（其作用僅為一個標量，是最簡單的），便可透過比較特徵值及重數判定相似。在實踐中這常是一種頗有見地的做法，但作為通用方法尚有缺點。首先它需要找到所有特徵值（特徵多項式的根），但可能給不出明確的表示式。其次，完整的特徵值可能只存在於解域的擴張中，就無法證明原域的相似性。最後，A、B 可能在擴張域中也無法對角化，就只能分解為廣義特徵空間或約當塊。 但要判斷矩陣是否相似，並不需要這種精細分解。有理規範形基於直和，分解為儘可能大的穩定子空間，同時又能非常簡單地描述每個子空間上的作用。子空間須由單個非零向量 v 及其透過與矩陣有關的重複線性運算得到的所有像生成；這樣的子空間稱為迴圈子空間（參考迴圈子群），線上性運算下顯然穩定。只要 v 及其連續的像線性獨立，就可以取到這種子空間的基。關於這樣一個基的線性運算的矩陣是一個一元多項式（限於子空間的運算的最小多項式，類似於迴圈子群的階）的相伴矩陣，這個多項式決定了同構意義下運算對迴圈子空間的作用，且與用於生成子空間的 v 向量的選擇無關。 到迴圈子空間的直和分解總是存在，且找到這種分解不需要因式分解。然而，迴圈子空間有可能被分解為更小的迴圈子空間的直和（中國剩餘定理），因此僅將兩個矩陣的空間分解、得到對應的最小多項式，還不足以判定相似。為確保分解完全匹配，還需要條件：在相關最小多項式列表中，每個多項式都要除以下一個多項式（不能使用常數 1，以排除 0 維平凡子空間）。得到的多項式列表稱為矩陣（定義的 K X 模）的不變因子，兩個矩陣的不變因子集合相同時，才是相似的。矩陣 A 的有理規範形是在到迴圈子空間的分解的基礎上得到的，後者的相關最小多項式是 A 的不變因子；當且僅當兩個矩陣的有理規範形相同時，兩者才相似。 例子 在 Q 上的如下矩陣： scriptstyle Abegin pmatrix 1 31 02 0 02 11 1 121 01 26 4 3842 1 1 831 5 2 33 0 0 0 0 0 0 0 1 0 0 0 01 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 4 0 1 0 end pmatrix A 的極小多項式 muX64X42X34X24X1，因此由單個向量的重複像生成的子空間不可能大於 6 維。特徵多項式是 chiX8X75X62X510X42X37X25X1，是極小多項式的 X2X1 倍。一定有向量，其自身生成的迴圈子空間與整個空間上的運算元有相同的極小多項式；其實大多數向量都有這種性質，這時第一標準基向量 e_1 有這種性質：向量 Ak e_1k01ldots5 線性獨立，且張成了極小多項式為 mu 的迴圈子空間。這個迴圈子空間有互補穩定子空間（2 維），由 v34801021top、w54591112top 生成的空間就是一個例子。事實上有 Acdot vw，所以互補子空間是 v 生成的迴圈子空間；其有極小多項式 X2X1。由於 mu 是整個空間的極小多項式，所以很明顯 X2X1 可以除 mu（很容易檢驗），所以我們也就找到了 A 的不變因子 X2X1 和 muX64X42X34X24X1。那麼 A 的有理規範形就是以相應的相伴矩陣為對角塊的分塊對角矩陣，即 scriptstyle Cbegin pmatrix 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 01 0 0 1 0 0 0 04 0 0 0 1 0 0 04 0 0 0 0 1 0 0 2 0 0 0 0 0 1 0 4 0 0 0 0 0 0 1 0 end pmatrix 上面的向量 vw 構成了支援這種形式的基，其次是 Ak e_1k01ldots5；明確地說，這意味著對於 scriptstyle Pbegin pmatrix 3 5 11 0 0 4 0 4 4 0112 35 8 5 0252116 0 9 01 32 0 0 11 0 0 0 1 1 4 0 1 0 0 0 0 1 1 2 1 0 11 0 26 12 0 0 11 42 end pmatrix 可以得到 APCP1。 一般情形與推論 給定基域 F 和其上的有限維向量空間 V；給定多項式 P F X，有伴隨矩陣 CP，其特徵多項式和極小多項式都等於 P。 定理：令 A 為 F 上的方陣，則 V（視為 F X 模，X 作用由 A 給出）允許 F X 模同構 V F Xf1 F Xfk 其中 fi F X 可看作是正階數的首一多項式（因此不是 F X 的可逆元），滿足關係 f1 f2 fk 其中 a b 表示 a 除以 b；這些條件下，多項式 fi 的列表唯一。 證明思路：將主理想域上的有限生成模結構定理應用於 V，將其視為 F X 模。結構定理可以將其分解為迴圈因子，每個因子都是 F X 的真理想的商；零理想不存在，因為由此產生的自由模將是無限維 F 向量空間，而 V 維數有限。對於多項式 fi，可以取各自理想的唯一首一生成子，由於結構定理確保每個理想都包含於前面的理想，因此可得 fi 的可除條件。 給定任意方陣，構造若爾當標準形所用的初等因子不在 F X 上，所以必須轉用上面給出的不變因子 fi。最後一個因子 fk 便是極小多項式，因此所有不變因數都要除以它，不變因子的積就是特徵多項式。這意味著極小多項式可除特徵多項式（哈密爾頓凱萊定理），而且特徵多項式的每個不可約因式也可除極小多項式（重數可能更小）。 每個不變因子 fi 都可求得相伴矩陣 Cfi，由這些塊組成的對角陣也就是 A 的有理規範形。極小多項式和特徵多項式相同時（k1），弗羅貝尼烏斯標準形是特徵多項式的相伴矩陣。由於有理規範形是由與 A 相關的唯一不變因子唯一確定的，後者與基無關，所以當且僅當兩個方陣 A、B 有相同的有理規範形時，它們才相似。 初等有理規範形作為若爾當標準形的推廣 弗羅貝尼烏斯標準形與特徵多項式的因式分解無關，這意味著當 F 被不同的域取代時是不變的（只要包含原矩陣 A 的所有元素）。另一方面，這也使弗羅貝尼烏斯標準形大大不同於其他依賴於特徵多項式因式的標準形，特別是對角形（若 A 可對角化）或若爾當標準形（若特徵多項式可分為線性因子）。例如，對角陣的弗羅貝尼烏斯標準形只是其特徵多項式的相伴矩陣。 還有一種辦法定義標準形，與弗羅貝尼烏斯標準形一樣總是定義在 A 所在的域 F 上，但確實反映了特徵多項式（或等價於極小多項式）到 F 上的不可約因子的因式分解。若分解只含線性因子（對應特徵值），就簡化為若爾當標準形。這種形式 Phani Bhushan Bhattacharya Surender Kumar Jain S R Nagpaul Basic abstract algebra Theorem 54 p423 有時被稱為廣義若爾當標準形或初等有理規範形，其依據是，向量空間可規範地分解為對應不同不可約因子 P 的穩定子空間的直和（參見 Xavier Gourdon Les maths en tête Mathématiques pour M Algèbre 1998 Ellipses Th 1 p 173），每個和的特徵多項式都是相應 P 的冪。這些和式可以不規範地分解為迴圈 F x 模（如上述弗羅貝尼烏斯標準形所做）的直和，每個和的特徵多項式仍是 P 的冪。初等有理規範形是對角分塊矩陣，對應於迴圈模的此種分解。對角塊中有一種稱為廣義約當塊的特殊形式，對應迴圈模之基的特定選擇。這種廣義約當塊本身就是一個形式如下的分塊矩陣 scriptstylebegin pmatrix C0cdots0UCcdots0vdotsddotsddotsvdots0cdotsUCend pmatrix 其中 C 是不可約多項式的相伴矩陣，是矩陣，其唯一非零元是右上角的 1。對於線性不可約因子，這些塊被簡化為單元素、，於是便找到了（轉置的）若爾當塊。在任何廣義約當塊中，主對角線一下的所有元素都是 1。產生這種形式的迴圈模之基可以這樣產生：選擇生成向量（不被零化的生成向量，其中迴圈模的極小多項式是），並取基 vA vA2 vldotsAd1v P Av A P AvldotsAd1P Av P2 Avldots Pk1AvldotsAd1Pk1Av 其中。 另見 史密斯標準形 參考文獻 DF David S Dummit and Richard M Foote Abstract Algebra 2nd Edition John Wiley Sons pp 442 446 452458 外部連結 Rational Canonical Form Mathworld 演算法 An O n3 Algorithm for Frobenius Normal Form An Algorithm for the Frobenius Normal Form pdf A rational canonical form Algorithm pdf Category 線性代數