Notice: This page requires JavaScript to function properly.
Please enable JavaScript in your browser settings or update your browser.
学ぶ 固有ベクトルと固有値のイントロダクション | 線形代数の基礎
Pythonによるデータサイエンスのための数学

book固有ベクトルと固有値のイントロダクション

メニューを表示するにはスワイプしてください

Note
定義

固有値と固有ベクトルは、行列が空間内のベクトルをどのように変換するかを表現。固有ベクトルは、行列によって掛けられても方向が変わらないゼロでないベクトルであり、対応する固有値はそのベクトルがどれだけ伸縮されるかを示す値。

固有ベクトルと固有値とは

固有ベクトルは、行列が作用したときに大きさのみが変化し、方向が変わらないゼロでないベクトル。 対応するスカラー値が固有値

Av=λvA\vec{v} = \lambda\vec{v}

ここで:

  • AA は正方行列;
  • λ\lambda は固有値;
  • v\vec{v} は固有ベクトル。

行列の例と設定

次のように仮定:

A=[4123]A = \begin{bmatrix} 4 & 1 \\ 2 & 3 \end{bmatrix}

λ\lambda の値と v\vec{v} のベクトルを求める:

Av=λvA \vec{v} = \lambda \vec{v}

固有方程式

λ\lambda を求めるには、固有方程式を解く:

det(AλI)=0\det(A - \lambda I) = 0

代入:

det[4λ123λ]=0\det \begin{bmatrix} 4-\lambda & 1 \\ 2 & 3-\lambda \end{bmatrix} = 0

行列式の計算:

(4λ)(3λ)2=0(4-\lambda)(3-\lambda) - 2 = 0

解:

λ27λ+10=0λ=5,  λ=2\lambda^2 - 7\lambda + 10 = 0 \\ \lambda = 5, \; \lambda = 2

固有ベクトルの求め方

それぞれの λ\lambda について解く。

λ=5\lambda = 5 の場合:

減算:

(A5I)v=0(A - 5I)\vec{v} = 0 [1122]v=0\begin{bmatrix} -1 & 1 \\ 2 & -2 \end{bmatrix} \vec{v} = 0

解:

v1=v2v_1 = v_2

したがって:

v=[11]\vec{v} = \begin{bmatrix} 1 \\ 1 \end{bmatrix}

λ=2\lambda = 2 の場合:

減算:

(A2I)v=0(A - 2I)\vec{v} = 0 [2121]v=0\begin{bmatrix} 2 & 1 \\ 2 & 1 \end{bmatrix} \vec{v} = 0

解:

v1=12v2v_1 = -\tfrac{1}{2} v_2

したがって:

v=[12]\vec{v} = \begin{bmatrix} -1 \\ 2 \end{bmatrix}

固有対の確認

固有値 λ\lambda と固有ベクトル v\vec{v} を求めたら、次の式を確認:

Av=λvA \vec{v} = \lambda \vec{v}

例:

A[11]=[55]=5[11]A \begin{bmatrix} 1 \\ 1 \end{bmatrix} = \begin{bmatrix} 5 \\ 5 \end{bmatrix} = 5 \begin{bmatrix} 1 \\ 1 \end{bmatrix}
Note
注意

固有ベクトルは一意ではありません。
もし v\vec{v} が固有ベクトルであれば、任意のスカラー倍 cvc \vec{v}c0c \neq 0)も固有ベクトルです。

例:

[22]\begin{bmatrix} 2 \\ 2 \end{bmatrix}

λ=5\lambda = 5 の固有ベクトルです。

対角化(発展)

行列 AAnn 個の線形独立な固有ベクトルを持つ場合、対角化が可能:

A=PDP1A = PDP^{-1}

ここで:

  • PP は固有ベクトルを列に持つ行列
  • DD は固有値を対角成分に持つ対角行列
  • P1P^{-1}PP の逆行列

A=PDP1A = PDP^{-1} を確認することで対角化を検証可能
この性質は AA の累乗計算に有用:

次のようにする:

A=[3102]A = \begin{bmatrix} 3 & 1 \\ 0 & 2 \end{bmatrix}

固有値を求める:

det(AλI)=0\det(A - \lambda I) = 0

解くと:

λ=3,  λ=2\lambda = 3, \; \lambda = 2

固有ベクトルを求める:

λ=3\lambda = 3 の場合:

v=[10]\vec{v} = \begin{bmatrix} 1 \\ 0 \end{bmatrix}

λ=2\lambda = 2 の場合:

v=[11]\vec{v} = \begin{bmatrix} -1 \\ 1 \end{bmatrix}

P,D,P1P, D, P^{-1} を構成:

P=[1101],D=[3002],P1=[1101]P = \begin{bmatrix} 1 & -1 \\ 0 & 1 \end{bmatrix}, \quad D = \begin{bmatrix} 3 & 0 \\ 0 & 2 \end{bmatrix}, \quad P^{-1} = \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix}

計算:

PDP1=[3102]=APDP^{-1} = \begin{bmatrix} 3 & 1 \\ 0 & 2 \end{bmatrix} = A

確認済み。

重要性

AA の累乗 AkA^k を計算する際に有用。DD が対角行列であるため:

Ak=PDkP1A^k = P D^k P^{-1}

これにより行列の累乗計算が大幅に高速化される。

重要なポイント

  • 固有値と固有ベクトルは変換後も方向が変わらないベクトルとその伸縮率
  • λ\lambdav\vec{v} を伸縮させる
  • λ=1\lambda = 1 の場合、v\vec{v} の大きさは変化しない
question mark

特性方程式は何のために使われますか?

正しい答えを選んでください

すべて明確でしたか?

どのように改善できますか?

フィードバックありがとうございます!

セクション 4.  11

AIに質問する

expand

AIに質問する

ChatGPT

何でも質問するか、提案された質問の1つを試してチャットを始めてください

セクション 4.  11
some-alt