logo

エルミート行列の異なる固有値の固有ベクトルは互いに直交する。 📂行列代数

エルミート行列の異なる固有値の固有ベクトルは互いに直交する。

정리

AAを大きさがn×nn \times nエルミート行列としよう。AAの異なる二つの固有値λ,μ\lambda , \muに対する固有ベクトルをx\mathbf{x}y\mathbf{y}とする。つまり

Ax=λxAy=μy \begin{align*} A \mathbf{x} =& \lambda \mathbf{x} \quad \\ A \mathbf{y} =& \mu \mathbf{y} \end{align*}

すると、二つの固有ベクトルは互いに直交する。

xy \mathbf{x} \perp \mathbf{y}

説明

エルミート行列は固有値が全て実数であるという性質だけでなく、それらに対応する固有ベクトルが互いに直交するという性質を持っている。こういう性質があれば、どこかの証明で役立てられることがあるだろう。元々固有値の概念を考えれば当然のように思えるが、定義をよく見れば必ずしもそうではない。

証明

x\mathbf{x}λ\lambdaの固有ベクトル、y\mathbf{y}μ\muの固有ベクトルだとする。Ax=λxA \mathbf{x} = \lambda \mathbf{x}の両辺の左にy\mathbf{y}^{\ast}を掛けると、次のようになる。

yAx=λyx \begin{equation} \mathbf{y}^{\ast} A \mathbf{x} = \lambda \mathbf{y}^{\ast} \mathbf{x} \label{lambda} \end{equation}

同様に、Ay=μyA \mathbf{y} = \mu \mathbf{y}の両辺の左にx\mathbf{x}^{\ast}を掛けると、次のようになる。

xAy=μxy \mathbf{x}^{\ast} A \mathbf{y} = \mu \mathbf{x}^{\ast} \mathbf{y}

μ\muは実数であり、AAはエルミート行列だから、式の両辺に共役転置^{\ast}を取ると、次のようになる。

(xAy)=(μxy)    yAx=μyx    yAx=μyx \begin{align} && \left( \mathbf{x}^{\ast} A \mathbf{y} \right)^{\ast} =& \left( \mu \mathbf{x}^{\ast} \mathbf{y} \right)^{\ast} \notag{} \\ \implies && \mathbf{y}^{\ast} A^{\ast} \mathbf{x} =& \mu^{\ast} \mathbf{y}^{\ast} \mathbf{x} \notag{} \\ \implies && \mathbf{y}^{\ast} A \mathbf{x} =& \mu \mathbf{y}^{\ast} \mathbf{x} \label{mu} \end{align}

すると、(lambda)\eqref{lambda}(mu)\eqref{mu}により、次の式が成り立つ。

λyx=yAx=μyx \lambda \mathbf{y}^{\ast} \mathbf{x} = \mathbf{y}^{\ast} A \mathbf{x} = \mu \mathbf{y}^{\ast} \mathbf{x}

左辺にまとめると、次のようになる。

(λμ)yx=0 (\lambda - \mu ) \mathbf{y}^{\ast} \mathbf{x} = 0

仮定によりλ\lambdaμ\muは異なる実数なので、

yx=0    yx=0 \mathbf{y}^{\ast} \mathbf{x} = 0 \implies \mathbf{y} \cdot \mathbf{x} = 0

したがって、

xy \mathbf{x} \perp \mathbf{y}

同じく見て