Maths WorkshopMaths problems with full solutions
Exercise 696Topology › Topology of Mn(ℝ) › Applications and the case n = 2L2Added 10 Nov 2026

The operator-norm distance between two rotations is a chord length

#M2(R)#rotations#operator norm#chord length

Statement

Let Rα=(cos⁡α−sin⁡αsin⁡αcos⁡α)R_\alpha=\begin{pmatrix}\cos\alpha&-\sin\alpha\\\sin\alpha&\cos\alpha\end{pmatrix} and let ∥⋅∥\|\cdot\| be the operator norm on M2(R)M_2(\mathbb{R}) (induced by the Euclidean norm). Show that
∥Rα−Rβ∥=2∣sin⁡α−β2∣(α,β∈R).\|R_\alpha-R_\beta\|=2\left|\sin\frac{\alpha-\beta}2\right|\qquad(\alpha,\beta\in\mathbb{R}).
Deduce the diameter of SO(2)SO(2) in this norm, and the corresponding distance in the Frobenius norm.

Hint

Factor Rα−Rβ=Rβ (Rα−β−I)R_\alpha-R_\beta=R_\beta\,(R_{\alpha-\beta}-I) and recall that multiplying by an orthogonal matrix does not change the operator norm. Then compute Rγ−IR_\gamma-I on a unit vector, thinking of R2\mathbb{R}^2 as C\mathbb{C}.

Show solutionHide solution

Solution

Idea. Rotations are multiplications by eiαe^{i\alpha} in C\mathbb{C}, so the distance between two rotations is the distance between two points of the unit circle.

Step 1: reduce to Rγ−IR_\gamma-I. Since Rα=RβRα−βR_\alpha=R_\beta R_{\alpha-\beta} (composition of rotations adds angles),
Rα−Rβ=RβRα−β−Rβ=Rβ (Rα−β−I).R_\alpha-R_\beta=R_\beta R_{\alpha-\beta}-R_\beta=R_\beta\,(R_{\alpha-\beta}-I).
For an orthogonal UU and any BB we have ∥UB∥=∥B∥\|UB\|=\|B\| because ∣UBx∣=∣Bx∣|UBx|=|Bx| for all xx. Hence ∥Rα−Rβ∥=∥Rγ−I∥\|R_\alpha-R_\beta\|=\|R_\gamma-I\| with γ=α−β\gamma=\alpha-\beta.

Step 2: compute ∥Rγ−I∥\|R_\gamma-I\|. Identify R2\mathbb{R}^2 with C\mathbb{C}, so that Rγx=eiγxR_\gamma x=e^{i\gamma}x and (Rγ−I)x=(eiγ−1)x(R_\gamma-I)x=(e^{i\gamma}-1)x. Then ∣(Rγ−I)x∣=∣eiγ−1∣ ∣x∣|(R_\gamma-I)x|=|e^{i\gamma}-1|\,|x| for every xx: the matrix scales all vectors by the same factor, so its operator norm equals this factor.

Step 3: the modulus. Using eiγ−1=eiγ/2(eiγ/2−e−iγ/2)=eiγ/2⋅2isin⁡γ2e^{i\gamma}-1=e^{i\gamma/2}\bigl(e^{i\gamma/2}-e^{-i\gamma/2}\bigr)=e^{i\gamma/2}\cdot2i\sin\frac\gamma2,
∣eiγ−1∣=2∣sin⁡γ2∣.|e^{i\gamma}-1|=2\left|\sin\frac\gamma2\right|.
(Alternatively, ∣eiγ−1∣2=(cos⁡γ−1)2+sin⁡2γ=2−2cos⁡γ=4sin⁡2γ2|e^{i\gamma}-1|^2=(\cos\gamma-1)^2+\sin^2\gamma=2-2\cos\gamma=4\sin^2\frac\gamma2.) This proves the formula.

Consequences. The maximum of 2∣sin⁡γ2∣2|\sin\frac\gamma2| is 22 (for γ=π\gamma=\pi): the diameter of SO(2)SO(2) in the operator norm is 22, attained by II and −I=Rπ-I=R_\pi. In the Frobenius norm, Rγ−I=(cos⁡γ−1−sin⁡γsin⁡γcos⁡γ−1)R_\gamma-I=\begin{pmatrix}\cos\gamma-1&-\sin\gamma\\\sin\gamma&\cos\gamma-1\end{pmatrix} has ∥⋅∥F2=2((cos⁡γ−1)2+sin⁡2γ)=2⋅4sin⁡2γ2\|\cdot\|_F^2=2\bigl((\cos\gamma-1)^2+\sin^2\gamma\bigr)=2\cdot4\sin^2\frac\gamma2, so ∥Rα−Rβ∥F=22∣sin⁡α−β2∣\|R_\alpha-R_\beta\|_F=2\sqrt2\left|\sin\frac{\alpha-\beta}2\right|, i.e. 2\sqrt2 times the operator-norm distance.

Check. α=π2\alpha=\frac\pi2, β=0\beta=0: ∥Rπ/2−I∥=2sin⁡π4=2\|R_{\pi/2}-I\|=2\sin\frac\pi4=\sqrt2. Indeed Rπ/2−I=(−1−11−1)R_{\pi/2}-I=\begin{pmatrix}-1&-1\\1&-1\end{pmatrix} maps e1↦(−1,1)e_1\mapsto(-1,1), of length 2\sqrt2.

Remark. The quantity 2∣sin⁡α−β2∣2|\sin\frac{\alpha-\beta}2| is the length of the chord of the unit circle subtending the angle α−β\alpha-\beta; it is at most the arc length ∣α−β∣|\alpha-\beta|. So the map α↦Rα\alpha\mapsto R_\alpha is 11-Lipschitz from R\mathbb{R} (with the usual distance) to (SO(2),∥⋅∥)(SO(2),\|\cdot\|).

Lesson. Use the complex-number model for 2×22\times2 rotations; norms of "complex multiplications" are moduli.