もう少しこの話にお付き合いください。復習（記号を少し変えた）。実n次元空間のm次元直交基全体からなるStiefel多様体を とする。直交基が張る部分空間上に実対称行列 を縮退した行列 のRayleigh商は となる。 の固有値を求めるときに、Rayleigh商のについ…