Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Am I right that Stiefel manifold $V_k(\mathbb{R}^n)$ (set of all orthonormal k-frames in $\mathbb{R}^n$) homeomorphic to $O(n)/O(n-k)$?

Sketch of proof: any element of $V_k(\mathbb{R}^n)$ can be obtained from standard basis $\mathbb{R}^n$ $e_1,\ldots , e_n$ by action group $O(n)$ on set $\{e_1,\ldots , e_k\}$, i.e.: $$V_k(\mathbb{R}^n)=\{(e_1,\ldots,e_k)A~|~A\in O(n)\}.$$ And $A\sim B$ iff $(e_1,\ldots,e_k)A=(e_1,\ldots,e_k)B$ $\Leftrightarrow$ $(e_1,\ldots,e_k)AB^{-1}=(e_1,\ldots,e_k)$ $\Leftrightarrow$ $AB^{-1}\in O(n-k)$, and hence $$V_k(\mathbb{R}^n)\approx O(n)/O(n-k).$$ $\blacksquare$


share|cite|improve this question
Yes, this is correct. Voting as too localized, because no further answer seems necessary. – Rasmus Oct 23 '11 at 8:27
I don't agree that "This question is unlikely to help any future visitors". Also, closing it prevents any better or more detailed proofs from being posted. – user127096 Mar 19 '14 at 0:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.