線形代数を学んでいると、行列の対角化可能性を判定する重要な定理として「固有空間の次元の和が行列の次数と一致する」という条件に出会います。この定理は大学1、2年次の線形代数で非常に重要な内容ですが、どの本でどのように扱われているのか、また証明がどのように構成されているのか気になる人も多い分野です。この記事では、対角化可能性の条件の意味や証明の考え方、線形代数の教科書での扱われ方について解説します。
行列の対角化とは何か
正方行列Aの対角化とは、ある正則行列Pを用いて、
P^{-1}AP=D
のようにAを対角行列Dへ変換することをいいます。
対角行列は計算が非常に簡単な形をしているため、行列のべき乗や線形変換の解析などで大きな利点があります。そのため、線形代数では「どのような行列が対角化できるのか」という問題が重要になります。
対角化できるかどうかは、単に固有値が存在するかではなく、十分な数の独立した固有ベクトルを持つかどうかで決まります。
固有空間の次元と対角化可能性の条件
n次正方行列Aが持つ異なる固有値をλ1、λ2、…、λrとします。それぞれの固有値に対応する固有空間をW(λi)とすると、対角化可能であるための条件は、
dim(W(λ1))+dim(W(λ2))+…+dim(W(λr))=n
となることです。
これは、すべての固有空間に含まれる固有ベクトルを合わせることで、n次元空間全体を作れることを意味しています。
つまり、n次正方行列を対角化するには、n本の一次独立な固有ベクトルが必要であり、そのためには固有空間の次元の合計がnにならなければなりません。
なぜ固有空間の次元の和がnならば対角化できるのか
対角化では、行列Aの固有ベクトルを並べた行列Pを作ります。
P=(v1,v2,…,vn)
として、これらのベクトルが一次独立ならばPは正則行列になります。
固有空間の次元の合計がnということは、異なる固有値ごとの固有ベクトルを集めることでn個の一次独立なベクトルを得られるということです。
そのため、それらを基底として利用すれば、Aはその基底に関して対角行列として表現できます。これが対角化可能になる理由です。
教科書によって定理の書き方が異なる理由
線形代数の教科書では、同じ内容でも表現方法が異なることがあります。
例えば、ある本では「固有空間の次元の総和がnであること」を条件として書き、別の本では「n個の一次独立な固有ベクトルが存在すること」を条件として書く場合があります。
しかし、これらは数学的には同じ内容を表しています。
固有空間の次元とは、その固有空間内で選べる一次独立な固有ベクトルの最大数です。そのため、固有空間の次元の和がnになることと、n個の独立な固有ベクトルが存在することは同値です。
線形代数の標準的な教科書での扱い
大学の線形代数の代表的な教科書では、対角化可能性の条件は重要な定理として扱われています。
ただし、証明をどの程度詳しく掲載するかは本によって異なります。数学科向けの本では、固有値・固有空間の理論から丁寧に証明することが多く、工学系向けの教科書では結果を中心に説明する場合もあります。
例えば、斎藤正彦著の線型代数系の教科書でも、固有値、固有ベクトル、固有空間、標準形に関する議論の中で、対角化可能性について扱われています。
ただし、定理番号や章構成は版によって異なるため、特定の定理番号だけで探すよりも、「固有ベクトルによる基底」「固有空間の直和」「対角化」という項目を確認すると見つけやすくなります。
対角化の定理を学ぶときに重要な考え方
この定理を暗記するだけではなく、「なぜ固有空間の次元を足すのか」を理解すると、線形代数全体の理解が深まります。
行列は単なる数表ではなく、ベクトル空間上の線形変換です。対角化とは、その線形変換を最も扱いやすい基底へ変更する作業だと考えると理解しやすくなります。
例えば、3次元空間で3本の独立な固有ベクトルが存在すれば、その3本を新しい座標軸として利用できます。その座標では変換の働きが単純な伸縮として表されるため、対角行列になります。
まとめ
行列が対角化可能であるための条件「異なる固有値に対応する固有空間の次元の和がnになる」という定理は、線形代数における中心的な結果の一つです。
この条件は、行列がn個の一次独立な固有ベクトルを持つことと同じ意味であり、十分な数の固有ベクトルによって基底を作れることを示しています。
教科書によって定理の表現や証明方法は異なりますが、根本にある考え方は共通しています。対角化を理解するには、公式として覚えるよりも、固有空間がベクトル空間をどのように構成しているのかを意識して学ぶことが重要です。
コメント