Maths WorkshopMaths problems with full solutions
Exercise 1349Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 6 Nov 2026

The rotation angle of a 3D rotation is continuous

#SO(3)#rotation angle#trace#normal form

Statement

For U∈SO(3)U\in SO(3) define θ(U)=arccos⁡tr⁡U−12∈[0,π]\theta(U)=\arccos\dfrac{\operatorname{tr}U-1}2\in[0,\pi].

  1. Show that this is well defined and continuous on SO(3)SO(3).
  2. Show that θ(U)\theta(U) is the rotation angle of UU (the angle of the rotation about its axis, up to sign).
Hint

Every U∈SO(3)U\in SO(3) is conjugate by an orthogonal matrix to 1⊕Rφ1\oplus R_\varphi, where RφR_\varphi is the plane rotation of angle φ\varphi.

Show solutionHide solution

Solution

Idea. Choose an orthonormal basis adapted to the axis. In that basis UU is block diagonal and its trace is 1+2cos⁡φ1+2\cos\varphi.

Step 1: normal form. By the previous problem there is a unit vector ee with Ue=eUe=e. Since UU is orthogonal, it maps e⊥e^\perp to itself and acts there as an orthogonal map of determinant det⁡U/1=1\det U/1=1, i.e. as a rotation RφR_\varphi of the plane e⊥e^\perp (identified with R2\mathbb{R}^2 via an orthonormal basis (f,g)(f,g)). In the orthonormal basis (e,f,g)(e,f,g),
U∼(100Rφ),Rφ=(cos⁡φ−sin⁡φsin⁡φcos⁡φ).U\sim\begin{pmatrix}1&0\\0&R_\varphi\end{pmatrix},\qquad R_\varphi=\begin{pmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{pmatrix}.

Step 2: trace. The trace is invariant under conjugation, so tr⁡U=1+2cos⁡φ\operatorname{tr}U=1+2\cos\varphi, i.e. tr⁡U−12=cos⁡φ∈[−1,1]\dfrac{\operatorname{tr}U-1}2=\cos\varphi\in[-1,1]. This shows both that arccos⁡\arccos is defined at this number and that arccos⁡(cos⁡φ)=∣φ∣\arccos(\cos\varphi)=|\varphi| (mod 2π2\pi, reduced to [0,π][0,\pi]) is the rotation angle of UU, up to the sign ambiguity coming from the orientation of the axis.

Step 3: continuity. U↦tr⁡UU\mapsto\operatorname{tr}U is linear, hence continuous; x↦arccos⁡xx\mapsto\arccos x is continuous on [−1,1][-1,1]. So θ\theta is continuous on SO(3)SO(3) as a composition.

Check. For U=IU=I: θ=arccos⁡1=0\theta=\arccos1=0. For U=diag⁡(1,−1,−1)U=\operatorname{diag}(1,-1,-1) (rotation by π\pi about the first axis): tr⁡U=−1\operatorname{tr}U=-1, θ=arccos⁡(−1)=π\theta=\arccos(-1)=\pi.

Remark. The angle alone does not determine the rotation (there is also the axis), and the axis direction is not a continuous function on SO(3)SO(3) (it is undefined at II); but the angle is, as shown.

Lesson. Conjugation invariants such as the trace give continuous invariants of the conjugacy class.