一般固有空間と固有空間の違いを徹底解説：中学生にも分かる基礎講座

---

一般固有空間と固有空間の違いを理解する基礎講座

線形代数の世界では、空間の性質を理解すると問題を解く道筋が見えるようになります。固有空間は、ある線形変換を受けても方向が崩れず、長さだけが変わる特定のベクトルの集まりです。具体的には、変換を表す行列を A、ある数 λ を固有値とすると、固有ベクトル v は Av = λv を満たすベクトルであり、このときの集合を固有空間 E_λ と呼びます。固有空間は、変換の影響を「方向の観点」でとらえる強力な道具です。
この話を理解するには、まず「線形変換が何をしているのか」を頭の中でイメージすることが大事です。たとえば、ある変換が横方向にだけ長さを変えるとき、横方向に沿ったベクトルの集合が固有空間になることが多いのです。
また、空間という言葉のとおり、固有空間自体もベクトルの形をした“小さな場所”として扱われます。ここで重要なのは、固有空間が1つの固有値 λ に対応するベクトルの集合である点です。様々な固有値に対して別々の固有空間が生まれ、これらを組み合わせると全体の挙動を理解する助けになります。

一方、一般固有空間という言葉は、少し広い視点を与えてくれます。正式には「一般化固有空間」と呼ばれることが多く、(A-λI)^k v = 0 を満たすベクトル v の集合を指します。ここで k は 1 以上の自然数で、固有空間だけでは説明できない場合に現れます。一般固有空間には、一般化固有ベクトルと呼ばれるベクトルも含まれ、ジョルダン標準形の理解や、対角化できないときの問題解決に不可欠です。これを噛み砕くと、同じ固有値 λ をもつ状況でも、複数のベクトルの組み合わせ方が問題の答えを支える、という風に思えるようになります。
つまり、固有空間は「ある倍率で伸縮する方向」を表すのに対し、一般固有空間は「その方向と、それに付随する微妙な変化の組み合わせ」を含む拡張的な空間、という捉え方が自然です。

固有空間とは何か

固有空間は、特定の固有値 λ に対応するベクトルの集合です。Av = λv を満たす非零ベクトル v を集めたものが固有空間 E_λ です。これらのベクトルは、線形変換 A によって方向は変わらず、長さだけが変化します。固有空間の次元は幾何的重複度といい、これが小さいときは空間が狭くなります。一方で、ある λ に対して固有空間が大きくなると、対角化できる可能性が高まります。
固有空間の性質を理解することで、行列を分解したときの役割分担が見えやすくなります。例えば、線形方程式の解を構成する際に、固有空間を基底として使うと話がとてもすっきりします。
この考え方は、機械学習のデータ次元削減や、物理の問題を解くときにも活躍します。

固有空間を使うことで、変換の影響を「どの方向がどう変化するか」という点で整理できます。固有値はその変化の強さを表し、固有ベクトルはその方向を決める軸になります。この組み合わせが、複雑な現象を理解するための基礎になるのです。

一般固有空間とは何か

一般固有空間は、ある固有値 λ に対して (A-λI)^k v = 0 を満たすすべてのベクトルの集合です。ここで k≥1 です。
この定義は、固有空間だけでは説明できない状況、すなわち「対角化できない」場合に現れます。一般固有空間は、一般化固有ベクトルを含み、ジョルダン標準形の理解にも深く関わります。例えば、2×2 のジョルダンブロックを考えると、固有空間は1次元ですが、一般固有空間は2次元になることが多く、ベクトルの取り方によって変換後の振る舞いが異なることが分かります。これにより、行列の挙動をより正確に予測できるようになります。
一般固有空間を学ぶことで、対角化できない問題にも対応できる力が身につき、数理の奥深さを感じられるようになります。

具体例を思い浮かべると理解が進みます。A が λ を固有値に持つとき、(A-λI) はしばしば階段状の具合になります。その結果、(A-λI) の階層を順に適用することで、空間の中に複数の独立したベクトルが入ってくるのです。一般固有空間は、こうした「連携するベクトルたちの集合」として、問題の全体像を描く役割を果たします。
要するに、固有空間が“一本の軸”を指すとすれば、一般固有空間は“同じ軸に沿う複数の層”を含むと考えると分かりやすいです。

固有空間と一般固有空間の違い

要点まとめは次の3つです。
1) 定義の違い：固有空間は Av = λv を満たすベクトルの集合、一般固有空間は (A-λI)^k v = 0 を満たすベクトルの集合です。
2) 次元の扱いの違い：固有空間の次元は通常小さめですが、一般固有空間は行列の構造により大きくなることがあります。
3) 用途や挙動の違い：対角化可能かどうかの判断材料としての役割が異なり、対角化が難しい場合には一般固有空間を使って基底を作る必要が出てきます。
この違いを押さえると、線形代数の問題解法がぐんと分かりやすくなります。
また、実務的には、一般固有空間を使うと、変換の全体像を正確に把握できるようになるため、方程式の解法やデータ解析の設計にも役立ちます。
以下のポイントを覚えておくと、学習が進みやすいです。

• 固有空間は特定の固有値に対応する方向の集合である。
• 一般固有空間はその方向に加えて、追加のベクトル（一般化固有ベクトル）を含む拡張集合である。
• 対角化できるかどうかの判断材料として、固有空間と一般固有空間の両方を見ると良い。

このように、概念の層を順に積み上げると、「なぜこの用語が出てくるのか」が自然と見えてきます。学ぶときは、まず固有空間の感覚を掴み、次に一般固有空間が現れる理由とその使い道を、実際の例で確かめると理解が深まります。

ピックアップ解説

一般固有空間って言葉、初めは難しそうだけど、要は固有空間を“拡張したもの”と捉えるといいんだ。例えば、同じ固有値 λ を持つベクトル群のうち、通常の固有ベクトルだけでなく、(A-λI)を何度もかけて0になるベクトルも含めた集合を考えると、行列の挙動がより詳しく分かる。ジョルダン標準形の話題に進むと、この一般化固有空間の存在が解の構造をきちんと説明してくれる点がよく分かるよ。友達と話すときも、この“拡張された軸”の考え方が出てくると話が盛り上がるんだ。

---