Maths WorkshopMaths problems with full solutions
Exercise 1355Topology › Topology of Mn(ℝ) › Density and closuresL3Added 6 Nov 2026

Finite-order rotations are dense in SO(2)

#rotations#roots of unity#density

Statement

Show that the set of elements of finite order in SO(2)SO(2) is dense in SO(2)SO(2).

Hint

The rotation by θ\theta has finite order iff θ/2π\theta/2\pi is rational.

Show solutionHide solution

Solution

Parametrisation. SO(2)={Rθ:θ∈R}SO(2)=\{R_\theta:\theta\in\mathbb{R}\} with Rθ=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)R_\theta=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}, and RθRφ=Rθ+φR_\theta R_\varphi=R_{\theta+\varphi}, Rθ=RφR_\theta=R_\varphi iff θ−φ∈2πZ\theta-\varphi\in2\pi\mathbb{Z}. The map θ↦Rθ\theta\mapsto R_\theta is a continuous surjection R→SO(2)\mathbb{R}\to SO(2).

Finite order. Rθm=Rmθ=IR_\theta^m=R_{m\theta}=I iff mθ∈2πZm\theta\in2\pi\mathbb{Z}. So RθR_\theta has finite order iff θ/2π∈Q\theta/2\pi\in\mathbb{Q}.

Density. Let θ∈R\theta\in\mathbb{R} and ε>0\varepsilon>0. Rationals are dense, so there is q∈Qq\in\mathbb{Q} with ∣2πq−θ∣<ε|2\pi q-\theta|<\varepsilon. Then R2πqR_{2\pi q} has finite order and, since θ↦Rθ\theta\mapsto R_\theta is continuous, R2πqR_{2\pi q} is arbitrarily close to RθR_\theta when ε\varepsilon is small.

Remark. These are the roots of unity e2πiqe^{2\pi iq} in the unit circle, to which SO(2)SO(2) is isomorphic. Finite-order elements are dense but of course not all of SO(2)SO(2) (it also contains rotations of infinite order). Lesson. Density in a compact group often comes from torsion elements.