固有値と固有ベクトル、対称行列での利用(駆け足で読む統計学のための数学入門30講 22 23)
p次の西方行列についてを満足するスカラー量はの固有値と呼ばれ、最大p個存在する。または固有ベクトルと呼ばれる。がの解を持つためには、でなくてはならず、これを固有方程式と呼ぶ。固有方程式はp次方程式であり、固有方程式の解がp個の異なる解を持つとき、はなる対角行列が存在してとできるようなが存在する。これらはp次連立方程式の線形代数的解法・解釈である
対称行列の固有値が存在するときそれらは実数で、また、異なる固有値に対応する固有ベクトルは相互に直行する。したがって、p次対称行列にp個の異なる固有値が存在するとき、それらに対応するp個の固有ベクトルは、p次ベクトル空間の基底となっている。また、そのような場合、と対角化でき、それぞれの対角成分に対して、長さ1の固有ベクトルを対応させることで、p個の固有ベクトルのセットを得ることができる。Aをp個の固有値とp個の長さ1の固有ベクトルとを用いて、と書き表すことをスペクトル分解と呼ぶ