本記事は数学の徹底解説シリーズに含まれます。
初学者の分かりやすさを優先するため，多少正確でない表現が混在することがあります。もし致命的な間違いがあればご指摘いただけると助かります。
目次
実対称行列の性質＜固有ベクトルの直交＞
$n$次元実対称行列$A$は以下の性質をもつ。
- 異なる固有値に対応する固有ベクトルは直交する
併せて実対称行列の性質もおさえましょう。
証明
実内積空間におけるテプリッツの定理より，ただちに上の主張は示されます。
別解
$n$次実対称行列$A$の固有値の一つを$\lambda$とし，$\lambda$に属する固有ベクトルを$\vx\in\mR^{n}$とします。このとき，標準内積$(\cdot|\cdot)$に対し，内積の公理より
\begin{align}
(A\vx\mid\vx) = (\lambda\vx|\vx)=\overline{\lambda}(\vx|\vx)
\end{align}
(A\vx\mid\vx) = (\lambda\vx|\vx)=\overline{\lambda}(\vx|\vx)
\end{align}
が成り立ちます。一方，実対称行列の定義より$A^{\ast}=A^{T}=A$ですので，
\begin{align}
(A\vx\mid\vx) = (\vx|A^{\ast}\vx)=(\vx|A\vx)=(\vx|\lambda\vx)=\lambda(\vx|\vx)
\end{align}
(A\vx\mid\vx) = (\vx|A^{\ast}\vx)=(\vx|A\vx)=(\vx|\lambda\vx)=\lambda(\vx|\vx)
\end{align}
が成り立ちます。すなわち，
\begin{align}
\overline{\lambda}(\vx|\vx) &=\lambda(\vx|\vx)
\end{align}
\overline{\lambda}(\vx|\vx) &=\lambda(\vx|\vx)
\end{align}
が成り立ちます。いま，内積の定義より$\vx\neq 0$に対して$(\vx|\vx)>0$となるため，$\overline{\lambda}=\lambda$が得られます。すなわち，$\lambda$は実数となります。
コメント
コメント一覧 （2件）
お世話になっております。
(x|y)=x*yで定義されていると思うのですが、(1)と(2)の一番右側は逆になりませんか？
ご指摘ありがとうございます。
おっしゃる通りですので本文を修正しました。
$(cu|v)=c(u|v)$とする流派もあるので問題等に応じて使い分けてくださいませ。