ジョルダン標準形

ジョルダン標準形（ジョルダンひょうじゅんけい、）とは、代数的閉体（例えば複素数体）上の正方行列に対する標準形のことである。任意の正方行列は本質的にただ一つのジョルダン標準形と相似である。名前はカミーユ・ジョルダンに因む。
定義.
行列.
次の形の 次正方行列をジョルダン細胞という。
代数的閉体 成分の正方行列 に対して、ある正則行列 を取ると
となる。このとき は の固有値である。この行列 のことを、行列 のジョルダン標準形という。
線形変換.
代数的閉体 上の有限次元線形空間を とし、線形変換 をとる。
 が半単純 (semisimple) であるとは、線形空間 が formula_3 と の固有値 の固有空間 の直和として表せることである。
また が 冪零 (nilpotent) であるとは、ある自然数 が存在して となることである。
線形変換 に対して、半単純線形変換 と冪零線形変換 で
を満たすものが一意的に存在する。このとき のことを（加法的）ジョルダン分解といい、 を の半単純成分、 を の冪零成分という。
線形空間 の基底 formula_5 が線形変換 のジョルダン基底 であるとは、 とおいたとき
が基底の任意の元 について成り立つことである。ジョルダン基底に関する の表現行列がジョルダン標準形である。
特性多項式、最小多項式との関係.
正方行列 のジョルダン標準形 と、特性多項式 formula_7、最小多項式 formula_8 には次のような関係がある。
なお、最小多項式とは となる多項式 のうち、次数が最小で、最高次係数が 1 のもの（モニック）を言う。 となる多項式 は、多項式として formula_8 で割り切れる（多項式としての除算の余りがゼロとなる）という性質がある。ケイリー・ハミルトンの定理により であり、 は多項式として formula_8 で割り切れる。
(1) formula_11 より、
(2) 多項式formula_13 について、formula_14 が言えるため、次が言える。
(3) 特性多項式が formula_22 と因数分解（ は相異なる）される場合、formula_23 であり、 の対角線上には が 個並ぶ。
(4) 最小多項式が formula_24 と因数分解（ は相異なる）される場合、 の固有値 のジョルダン細胞の中で、次数が最大のものの次数は である。
例.
対角行列は次数が1のジョルダン細胞のみからなるジョルダン標準形である。
次の複素成分正方行列 のジョルダン標準形は次のようになる。
また次で定めるベクトル は と とを満たすので行列 のジョルダン基底である。
この行列 の半単純成分 と冪零成分 への分解は次のようになる。
この分解は や が成り立つので、
行列の指数関数や冪乗の計算に役立つ。
アルゴリズム.
次正方行列 のジョルダン標準形は次のように計算できる。以下では 次単位行列を で表す。
標準形の存在証明.
証明は線形空間の次元 formula_43 についての帰納法で、 なら全ての基底がジョルダン基底だからOK、 までOKとして、formula_43 とする。次の明らかな補題が証明の鍵である。
この補題により formula_47 の場合に示せばよい。このとき formula_48 とすると、帰納法の仮定で、 のジョルダン基底 formula_49 が取れる。番号を formula_50、 なら となるようにとる。formula_51 は formula_52 の元で線形独立だから、これらに formula_53 を加えて formula_52 の基底を作る。また の元 formula_55 を formula_56 となるようにとる。このとき 個のベクトル formula_57 が線形独立であることは容易に分かり、これらは の基底である。formula_58 と番号づけると、これが のジョルダン基底となる。[証明終わり]
formula_59 で が行列 formula_60 で表されるとき、 formula_61 なら、formula_62 が線形独立としてよい。このとき formula_63 は行変形で formula_64 と簡約化される。
命題の証明は略するが、これを用いると上のジョルダン基底の存在証明は、同時に行列のジョルダン標準形と変換行列を求めるアルゴリズムにもなっている。