Maths WorkshopMaths problems with full solutions
Exercise 312Topology › Topology of Mn(ℝ) › ConnectednessL2Added 7 Nov 2026

SO(2) is a circle, O(2) has two components

#SO(2)#O(2)#rotations#reflections#path components

Statement

Let Rθ=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)R_\theta=\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix}. Show that SO(2)={Rθ:θ∈R}SO(2)=\{R_\theta:\theta\in\mathbb{R}\} is path connected, and that O(2)O(2) has exactly two path components.

Hint

First prove that every element of SO(2)SO(2) is some RθR_\theta. Then look at the determinant.

Show solutionHide solution

Solution

Step 1: SO(2)={Rθ}SO(2)=\{R_\theta\}. Let U=(abcd)∈SO(2)U=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in SO(2). The first column (a,c)T(a,c)^T is a unit vector, so (a,c)=(cos⁡θ,sin⁡θ)(a,c)=(\cos\theta,\sin\theta) for some θ\theta. The second column is a unit vector orthogonal to the first, so it is ±(−sin⁡θ,cos⁡θ)\pm(-\sin\theta,\cos\theta), and det⁡U=ad−bc=1\det U=ad-bc=1 selects the sign ++. So U=RθU=R_\theta. Conversely RθTRθ=IR_\theta^TR_\theta=I and det⁡Rθ=cos⁡2θ+sin⁡2θ=1\det R_\theta=\cos^2\theta+\sin^2\theta=1.

Step 2: SO(2)SO(2) is path connected. θ↦Rθ\theta\mapsto R_\theta is continuous from [0,2π][0,2\pi] onto SO(2)SO(2), and the continuous image of an interval is path connected.

Step 3: the other half of O(2)O(2). Let S=diag⁡(1,−1)S=\operatorname{diag}(1,-1). If V∈O(2)V\in O(2) with det⁡V=−1\det V=-1, then det⁡(VS)=1\det(VS)=1 so VS=RθVS=R_\theta for some θ\theta, and V=RθS−1=RθSV=R_\theta S^{-1}=R_\theta S. Hence
O(2)∖SO(2)={RθS:θ∈R},O(2)\setminus SO(2)=\{R_\theta S:\theta\in\mathbb{R}\},
the image of [0,2π][0,2\pi] under the continuous map θ↦RθS\theta\mapsto R_\theta S, hence path connected.

Step 4: exactly two components. det⁡:O(2)→{±1}\det:O(2)\to\{\pm1\} is continuous. The two pieces SO(2)=det⁡−1(1)SO(2)=\det^{-1}(1) and O(2)∖SO(2)=det⁡−1(−1)O(2)\setminus SO(2)=\det^{-1}(-1) are disjoint, non-empty, and both open and closed in O(2)O(2). Each is path connected, so they are the two path components.

Remark. The map θ↦Rθ\theta\mapsto R_\theta identifies SO(2)SO(2) with the circle R/2πZ\mathbb{R}/2\pi\mathbb{Z}, a *compact* connected group. This is the basic example for the study of SO(n)SO(n) in the following problems.