ジョルダン標準形
出典: フリー百科事典『ウィキペディア(Wikipedia)』
ジョルダン標準形(ジョルダンひょうじゅんけい)とは、代数的閉体上で定義される一般の行列に対する標準形のことである。任意の行列は、適当に相似変形することによって、ジョルダン標準形に帰着することができる。
という n 次行列を定義すれば、ジョルダン標準形はこの行列を対角線上に配置した、
という形をしている。このとき、行列 Jn(λ) をジョルダン細胞ともいう。また、λi は標準化の対象となる行列の固有値である。
[編集] 標準形の存在証明とアルゴリズム
V を代数的閉体K 上の有限次元ベクトル空間、 f を V の線形変換とする。 V の基底 {eij | i = 1,...,k;j = 1,...,ni}} が f のジョルダン基底 とは、 f(eij) = λieij + eij − 1、ただし ei0 = 0とする、 であることと定義する。ジョルダン基底にかんする f の表現行列がジョルダン標準形である。
定理 任意の f にたいしジョルダン基底は存在する。
証明は n = dimV についての帰納法で、n = 1 ならすべての基底がジョルダン基底だからOK、 n - 1までOKとして、 n = dimV とする。次の明らかな補題が証明の鍵である。
補題 {eij} が f のジョルダン基底なら、f − λ1V のジョルダン基底でもある。ここで λ は任意のスカラー。
この補題により rankf = r < n の場合に示せばよい。 このとき とすると、帰納法の仮定で、 f' のジョルダン基底 {eij} がとれる。 番号を 、i > s ならとなるようにとる。はKerf の元で線形独立だから、これらに を加えて Kerf の基底を作る。またV の元 を となるようにとる。このとき n 個のベクトル が線形独立であることは容易にわかり、 これらは V の基底である。と番号づけると、これが f のジョルダン基底となる。[ 証明終わり]
V = Kn で f が行列 で表されるとき、 rankA = r なら、 が線形独立としてよい。このとき は行変形で と簡約化される。
命題 上のとき、 は V' の基底であるが、この基底に関する f' の表現行列は A11 + RA21 である。
命題の証明は略するが、これを用いると上のジョルダン基底の存在証明は、同時に行列のジョルダン標準形と変換行列を求めるアルゴリズムにもなっている。