Maths WorkshopMaths problems with full solutions
Exercise 1374Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL3Added 6 Nov 2026

SO(n)/SO(n-1) is the sphere

#orbit map#quotient#sphere#compact Hausdorff

Statement

Show that for n≥2n\ge2, SO(n)/SO(n−1)SO(n)/SO(n-1) is homeomorphic to the sphere Sn−1S^{n-1}, where SO(n−1)SO(n-1) is embedded in SO(n)SO(n) as the matrices fixing e1e_1 (that is, (100V)\begin{pmatrix}1&0\\0&V\end{pmatrix} with V∈SO(n−1)V\in SO(n-1)).

Hint

Consider the orbit map U↦Ue1U\mapsto Ue_1, and use that a continuous bijection from a compact space to a Hausdorff space is a homeomorphism.

Show solutionHide solution

Solution

Idea. SO(n)SO(n) acts transitively on the sphere with stabiliser of e1e_1 equal to SO(n−1)SO(n-1).

The map. Let φ:SO(n)→Sn−1\varphi:SO(n)\to S^{n-1}, φ(U)=Ue1\varphi(U)=Ue_1 (the first column). It is continuous and takes values in the unit sphere since UU is orthogonal.

Surjective. Let v∈Sn−1v\in S^{n-1}. Complete vv to an orthonormal basis (v,w2,…,wn)(v,w_2,\dots,w_n) and let U0U_0 be the matrix with these columns, U0∈O(n)U_0\in O(n). If det⁡U0=−1\det U_0=-1, replace wnw_n by −wn-w_n (possible for n≥2n\ge2). Then U0∈SO(n)U_0\in SO(n) and U0e1=vU_0e_1=v.

The fibres are the cosets. Let H={U∈SO(n):Ue1=e1}H=\{U\in SO(n):Ue_1=e_1\}. For U,V∈SO(n)U,V\in SO(n):
Ue1=Ve1  ⟺  V−1Ue1=e1  ⟺  V−1U∈H  ⟺  U∈V⋅H.Ue_1=Ve_1\iff V^{-1}Ue_1=e_1\iff V^{-1}U\in H\iff U\in V\cdot H.
So φ\varphi is constant on left cosets and its fibres are exactly the cosets: it induces a continuous bijection φˉ:SO(n)/H→Sn−1\bar\varphi:SO(n)/H\to S^{n-1}.

The stabiliser. If Ue1=e1Ue_1=e_1 then (by orthogonality, UTe1=e1U^Te_1=e_1 too) U=(100V)U=\begin{pmatrix}1&0\\0&V\end{pmatrix} with V∈O(n−1)V\in O(n-1) and det⁡V=det⁡U=1\det V=\det U=1. So H≅SO(n−1)H\cong SO(n-1). For n=2n=2, H={I}H=\{I\} and the statement reads SO(2)≅S1SO(2)\cong S^1.

Homeomorphism. SO(n)SO(n) is compact (closed and bounded), so SO(n)/HSO(n)/H is compact, Sn−1S^{n-1} is Hausdorff, and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism.

Remark. SO(3)/SO(2)≅S2SO(3)/SO(2)\cong S^2: choosing an axis (a point of the sphere) leaves a rotation about that axis undetermined.