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α) and let ∥⋅∥ be the operator norm on M2(R) (induced by the Euclidean norm). Show that ∥Rα−Rβ∥=2sin2α−β(α,β∈R). Deduce the diameter of SO(2) in this norm, and the corresponding distance in the Frobenius norm.
Hint
Factor Rα−Rβ=Rβ(Rα−β−I) and recall that multiplying by an orthogonal matrix does not change the operator norm. Then compute Rγ−I on a unit vector, thinking of R2 as C.
Show solutionHide solution
Solution
Idea. Rotations are multiplications by eiα in C, so the distance between two rotations is the distance between two points of the unit circle.
Step 1: reduce to Rγ−I. Since Rα=RβRα−β (composition of rotations adds angles), Rα−Rβ=RβRα−β−Rβ=Rβ(Rα−β−I). For an orthogonal U and any B we have ∥UB∥=∥B∥ because ∣UBx∣=∣Bx∣ for all x. Hence ∥Rα−Rβ∥=∥Rγ−I∥ with γ=α−β.
Step 2: compute ∥Rγ−I∥. Identify R2 with C, so that Rγx=eiγx and (Rγ−I)x=(eiγ−1)x. Then ∣(Rγ−I)x∣=∣eiγ−1∣∣x∣ for every x: 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⋅2isin2γ, ∣eiγ−1∣=2sin2γ. (Alternatively, ∣eiγ−1∣2=(cosγ−1)2+sin2γ=2−2cosγ=4sin22γ.) This proves the formula.
Consequences. The maximum of 2∣sin2γ∣ is 2 (for γ=π): the diameter of SO(2) in the operator norm is 2, attained by I and −I=Rπ. In the Frobenius norm, Rγ−I=(cosγ−1sinγ−sinγcosγ−1) has ∥⋅∥F2=2((cosγ−1)2+sin2γ)=2⋅4sin22γ, so ∥Rα−Rβ∥F=22sin2α−β, i.e. 2 times the operator-norm distance.
Check.α=2π, β=0: ∥Rπ/2−I∥=2sin4π=2. Indeed Rπ/2−I=(−11−1−1) maps e1↦(−1,1), of length 2.
Remark. The quantity 2∣sin2α−β∣ is the length of the chord of the unit circle subtending the angle α−β; it is at most the arc length ∣α−β∣. So the map α↦Rα is 1-Lipschitz from R (with the usual distance) to (SO(2),∥⋅∥).
Lesson. Use the complex-number model for 2×2 rotations; norms of "complex multiplications" are moduli.