R^nのベクトルv,wに対して、vとwの内積を(v,w)で表す。1≦k≦nのとき,

X_[n,k]:={(v_1,V_2,...,v_k)∈(R^n)^k|(v_i,v_j)=δ_ij(i,j=1,2,...,k)}

とおく。（δはクロネッカーのδ）X_[n,k]は(R^n)^kの部分空間として
コンパクト集合であることを示して下さい。