ジョルダン標準形

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

ジョルダン標準形(ジョルダンひょうじゅんけい、: Jordan normal form)とは、代数的閉体(例えば複素数)上の正方行列に対する標準形のことである。任意の正方行列は本質的にただ一つのジョルダン標準形と相似である。

定義[編集]

行列[編集]

代数的閉体 K 成分の n正方行列

ジョルダン細胞という[1]。 任意の正方行列 M に対して

となる正則行列 P が存在する[2]。 このとき λiM固有値である。 この行列 PMP−1 のことを行列 Mジョルダン標準形という[3]

線形変換[編集]

代数的閉体 K 上の有限次元線形空間V とし、線形変換 ƒ : VV をとる。 ƒ半単純(semisimple)であるとは、線形空間 Vƒ固有値 λK固有空間 Vλ = { vV | ƒ(v) = λv }直和として表せることである。 また ƒ冪零(nilpotent) であるとは、ある自然数 r が存在して fr = 0 となることである。

任意の線形変換 ƒ : VV に対して、半単純線形変換 ƒs と冪零線形変換 ƒn

を満たすものが一意的に存在する。このとき ƒ = ƒs + ƒn のことを(加法的)ジョルダン分解といい、 ƒsƒ半単純成分ƒnƒ冪零成分という。

線形空間 V基底 が線形変換 ƒジョルダン基底 であるとは、ei0 = 0 とおきたとき

が基底の任意の元 eij について成り立つことである。 ジョルダン基底に関する ƒ の表現行列がジョルダン標準形である。

[編集]

対角行列は次数が1のジョルダン細胞のみからなるジョルダン標準形である。

次の複素成分正方行列 M のジョルダン標準形は次のようになる。

また次で定めるベクトル u, vMu = 3uMv = 3v + u とを満たすので行列 M のジョルダン基底である。

この行列 M の半単純成分 S と冪零成分 N への分解は次のようになる。

この分解は N2 = 0SN = NS が成り立つので、 行列の指数関数冪乗の計算に役立つ。

アルゴリズム[編集]

n正方行列 Aのジョルダン標準形は次のように計算できる[4]。以下では In単位行列を表す。

入力
n 次正方行列 A
出力
P−1AP がジョルダン標準形となる n正則行列 P
アルゴリズム
  1. 行列 A の相異なる固有値 λ1, …, λs を求める
  2. Ai = Aλi I とおく
  3. rank Ai ki = rank Ai ki+1 となる最小の自然数 ki を求める
  4. Wi,j = im Ai jker Ai とおく
  5. 部分空間の増大列 Wi,ki−1 ⊂ … ⊂ Wi,1Wi,0 = ker Ai に沿って ker Ai基底 bi,1, …, bi,ti を求める[5]
  6. bi,jWi,di,j Wi,di,j+1 となる自然数 di,j を求める
  7. 連立一次方程式 Ai di,j xi,j = bi,j の解 xi,j を求める
  8. ei,j = Ai j xi,j とおく
  9. Pi,j = [ei,di,j, …, ei,1, ei,0] とおく
  10. P = [P1,1, …, P1,t1, …, Ps,1, …, Ps,ts] を出力

標準形の存在証明[編集]

定理
 任意の線形変換 に対しジョルダン基底は存在する。

証明は線形空間の次元 についての帰納法で、 ならすべての基底がジョルダン基底だからOK、 までOKとして、 とする。次の明らかな補題が証明の鍵である。

補題
  のジョルダン基底なら、 のジョルダン基底でもある。ここで は任意のスカラー。

この補題により の場合に示せばよい。 このとき とすると、帰納法の仮定で、 のジョルダン基底 がとれる。 番号を なら となるようにとる。 の元で線形独立だから、これらに を加えて の基底を作る。また の元 となるようにとる。このとき 個のベクトル が線形独立であることは容易にわかり、 これらは の基底である。 と番号づけると、これが のジョルダン基底となる。[証明終わり]

が行列 で表されるとき、 なら、 が線形独立としてよい。このとき は行変形で と簡約化される。

命題
 上のとき、 の基底であるが、この基底に関する の表現行列は である。

命題の証明は略するが、これを用いると上のジョルダン基底の存在証明は、同時に行列のジョルダン標準形と変換行列を求めるアルゴリズムにもなっている。

脚注[編集]

  1. ^ 斎藤 1966, p. 187.
  2. ^ 斎藤 1966, 第6章 定理[2.2].
  3. ^ 斎藤 1966, p. 191.
  4. ^ Hogben 2007, 6-5.
  5. ^ つまり 1 ≤ d1d2 ≤ … ≤ ti があって、Wi,ki−1 = 〈 bi,1, …, bi,d1, Wi,ki−2 = 〈 bi,1, …, bi,d2, …, Wi,0 = 〈 bi,1, …, bi,tiとなるように基底をとる

参考文献[編集]

関連項目[編集]