SO(n)/SO(n-1) is the sphere
Statement
Show that for , is homeomorphic to the sphere , where is embedded in as the matrices fixing (that is, with ).
Hint
Consider the orbit map , and use that a continuous bijection from a compact space to a Hausdorff space is a homeomorphism.
Show solutionHide solution
Solution
Idea. acts transitively on the sphere with stabiliser of equal to .
The map. Let , (the first column). It is continuous and takes values in the unit sphere since is orthogonal.
Surjective. Let . Complete to an orthonormal basis and let be the matrix with these columns, . If , replace by (possible for ). Then and .
The fibres are the cosets. Let . For :
So is constant on left cosets and its fibres are exactly the cosets: it induces a continuous bijection .
The stabiliser. If then (by orthogonality, too) with and . So . For , and the statement reads .
Homeomorphism. is compact (closed and bounded), so is compact, is Hausdorff, and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism.
Remark. : choosing an axis (a point of the sphere) leaves a rotation about that axis undetermined.