統計学に習熟するには線形代数の習得が不可欠である。が、初等的な線形代数ではカバーしきれないような分野も存在する。そこで以下の参考書
を基により高等な線形代数を学ぶ。
4. 行列の因数分解と行列ノルム
4.5 Jordan分解
対角行列でなくとも可能な限り対角行列に近いような、の相似な行列を見つけるための方法が
標準形である。
を取るとき、標準形という。
は唯一の線形独立な固有ベクトルを持ち、それは
の形を取っている。
は、もし
に対して
ならば、
分解定理により
は対角化可能である。しかし
次正方行列
はただ1つの線形独立な固有ベクトルを持つため、
標準形
は
個の線形独立な固有ベクトルを持つ。したがって少なくとも1つの
について
ならば
は対角行列ではない。
が対角行列である場合に限り
は対角化可能である。
4.6 Schur分解
任意の正方行列のスペクトル分解定理のもう1つの一般化として
分解がある。
スペクトル分解定理
で用いた直交行列に焦点を当てる。直交行列に話を限定したとき、
として得られる最も単純な形態はどのようなものか。任意の実正方行列
について、
が三角行列であるような
が見つかることは分かっている。では実ユニタリ行列は直交行列であるようなユニタリ行列に拡張したらどうなるか。それが
分解である。
(
である。ここで次正方行列
である。これらから
の特性方程式は
である。またの固有値は
の固有値と同じであるから、
の固有値は
でなければならない。もし
ならば
は上三角行列になる。また
ならば帰納法により示すことができる。すなわち
次正方行列において結果が成り立つと仮定すると、
は
次正方行列であるから
となるようなユニタリ行列
が存在すると仮定しても良い。ここで
は対角成分が
であるような上三角行列である。
次正方行列
を
と定義する。はユニタリ行列であるから、
もユニタリ行列である。ここで
とすれば
もまたユニタリ行列であり、
が成り立ち、この最後の行列はその対角成分にを持つ上三角行列である。したがって題意は示された。
)