【補題３】 実対称行列の固有空間は、実ベクトルのみからなる正規直交基底を持つことが出来る。 （証明） を実対称行列とします。その固有ベクトルを、それに対応する固有値をとします。すると となります。 さて、固有値の固有空間は、以下の式で定義されま…