以下に述べるのは私が十数年前に Wikipedia に書いた、ジョルダン基底の存在証明に一意性の証明を加えたものです。具体的な計算のアルゴリズムについては後日書くつもりです。
ジョルダン基底
を体 上の 次元ベクトル空間、 を の線形変換として、 の基底 が のジョルダン基底とは
を満たすことと定義します。この時当然 です。
ジョルダン基底の存在
の固有値が全て に属していれば、 のジョルダン基底が存在する。
証明のアイデアはFilippovによるもので (G.ストラング「線形代数とその応用」 付録B、産業図書、1978.) 次のほとんど自明な補題を用いた帰納法で行います。
Filippov?
が のジョルダン基底なら のジョルダン基底でもある。
実際 なら だから の値が変わるだけです。
この補題により、必要なら の一つの固有値 に対し を考えて、 の時にジョルダン基底が存在することを示せば良いことになります。
なら全ての基底がジョルダン基底です。次元が 以下のベクトル空間の線形変換に対してはジョルダン基底が存在することを仮定して、 として が の である線形変換として、 のジョルダン基底が作れることを示します。
として とすると、 は の線形変換で なので帰納法の仮定により のジョルダン基底 が存在します。この時 です。
番号を取り替えて、 、 なら とします。
この時、 は の一次独立なベクトルで、 なので、 個のベクトル を付け加えて の基底を作ります。
また の 個のベクトル を となるように取ります。
この時 個のベクトル
は一次独立で の基底となることがわかります。実際、
として、これに を作用させると、
となり、 が の基であることより、 に対し 、で に対しては ですが、 より上から順に がわかります。従って元の式は、
となり、 が の基であることより、 がわかり一次独立性が証明できました。
こうして得られた の基底は と番号づけることにより のジョルダン基底となっています。
を のジョルダン基底、 を一つの固有値としては、 の時、大きさの-系列と呼ぶことにし、大きさ の-系列の数をと定義します。
ジョルダン基底のベクトル が、ある -系列に属する必要十分条件は、
で、属さない時は
となります。従って各 -系列の先頭のベクトルの集合はの基底となるので、
となり、また は の基となり、
さらに一般に、 は の基なので、
となります。従って、
で、この式より、
となり、これより次の定理が成り立ちます。
ジョルダン標準形の一意性
のジョルダン標準形では、対角要素が で次数が であるジョルダン細胞の数は次で与えられる。
以上より のジョルダン標準形は存在し、その『形』は、ジョルダン基底の選び方によらず、 によって定まることが証明できました。 が具体的に行列 で与えられた時、ジョルダン基底すなわち変換行列をどのようにして求めるかについては次回述べるつもりです。