固有値をマスターする：2x2行列の計算と線形代数の世界

線形代数における「固有値（Eigenvalue）」は、行列の特性を最も端的に表す指標の一つです。物理学、統計学、画像処理、さらにはGoogleの検索アルゴリズムに至るまで、固有値の概念は現代テクノロジーの屋台骨を支えています。特に2x2行列の固有値を理解することは、複素数や対角化、安定性解析といった高度な数学への第一歩となります。

1. 固有値とは何か？その直感的な意味

行列はあるベクトル（向きと長さを持つ量）を別のベクトルへと変換する「ルール」と考えることができます。通常、この変換によってベクトルの向きも長さも変わってしまいますが、特定のベクトルについては「向きが変わらず、長さだけが定数倍される」という現象が起こります。この「向きが変わらない特別なベクトル」を固有ベクトルと呼び、その「引き伸ばされる倍率」こそが固有値です。

数式で表すと、行列を A、固有ベクトルを v、固有値を λ としたとき、以下の関係が成り立ちます。

Av = λv

2. 2x2行列の固有値を求める計算式

2x2行列の固有値を求めるには、「特性方程式（固有多項式）」を解く必要があります。行列 A を以下のように定義します。

A = [ a  b ]
    [ c  d ]
                

この行列の固有値 λ は、以下の二次方程式の解として求められます。

det(A - λI) = 0

これを具体的に展開すると、次のようになります。

λ² - (a + d)λ + (ad - bc) = 0

• (a + d)：行列の「トレース（Tr）」と呼ばれ、対角成分の和です。
• (ad - bc)：行列の「行列式（det）」と呼ばれます。

したがって、この二次方程式 λ² - Tr(A)λ + det(A) = 0 を解の公式で解くことで、最大2つの固有値が得られます。

3. 計算のステップバイステップ

具体的な行列 A = [[2, 1], [1, 2]] を例に考えてみましょう。

1. トレースを計算： 2 + 2 = 4
2. 行列式を計算： (2 × 2) - (1 × 1) = 3
3. 特性方程式を作る： λ² - 4λ + 3 = 0
4. 因数分解・解の公式： (λ - 1)(λ - 3) = 0
5. 結果： 固有値は λ = 1 と λ = 3 です。

4. 実世界での応用例

固有値は抽象的な数学の概念にとどまらず、多岐にわたる分野で利用されています。

• データサイエンス（主成分分析）： 大量のデータの相関行列から固有値を求め、データのばらつきが最も大きい「主成分」を抽出します。
• 物理学（振動解析）： 高層ビルや橋などの構造物がどの周波数で揺れやすいか（固有振動数）を解析する際に行列計算が不可欠です。
• Google PageRank： ウェブページ間のリンク構造を行列で表し、その最大の固有値に対応する固有ベクトルを求めることで、ページの重要度をランク付けしています。
• 量子力学： エネルギースペクトル（エネルギー準位）は、ハミルトニアンという演算子（行列に相当するもの）の固有値として表されます。

5. 固有値の種類と性質（重解・複素数）

二次方程式の判別式 D = Tr(A)² - 4det(A) の値によって、固有値の性質が変わります。

• D > 0： 異なる2つの実数固有値を持ちます。
• D = 0： 重解を持ちます（固有値が1つ）。
• D < 0： 複素数の固有値を持ちます。これは幾何学的には「回転」を伴う変換を意味します。

6. まとめ

2x2行列の固有値をマスターすることは、線形代数のエッセンスを理解することと同義です。本計算機を使うことで、面倒な数式計算の手間を省きつつ、理論的な背景を確認することができます。まずは身近な数字を代入して、行列が持つ「隠れた倍率」を見つけ出してみてください。

執筆者：Kaori Suzuki (Gojikara 数理科学・シミュレーションエンジニア)