応用上よく用いられると思われる,線形代数における以下の事実について証明を調べたのでメモすることにしました.
事実.
エルミート行列のすべての固有値は実数である.
証明.
のある固有値を
,それに対する固有ベクトルを
とすると,
である.一方,
なので,
である.したがって,
でなければならないから,
は実数である.固有値
は任意にとれるので,事実は示せた.(証明終わり)
以上,ほぼ引用しただけですが,エルミート行列のすべての固有値は実数であることの証明を調べました.
参考文献
[1] 東京学芸大学 気象学研究室のノート http://kishou.u-gakugei.ac.jp/seminars/exercise_2010/math/doc03.pdf