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 is dense in .
Hint
The rotation by has finite order iff is rational.
Show solutionHide solution
Solution
Parametrisation. with , and , iff . The map is a continuous surjection .
Finite order. iff . So has finite order iff .
Density. Let and . Rationals are dense, so there is with . Then has finite order and, since is continuous, is arbitrarily close to when is small.
Remark. These are the roots of unity in the unit circle, to which is isomorphic. Finite-order elements are dense but of course not all of (it also contains rotations of infinite order). Lesson. Density in a compact group often comes from torsion elements.