n次実対称行列Aの固有値をとする。Rayleigh 商をとおいたときに、 がいわゆる min-max 原理である。ここで最初の最大、最小をとるのは、n次元ベクトル空間のk次元部分空間なので、Grassmann 多様体上の最大、最小と考えてよい。ここではもう少し明示的に、部…