Maths WorkshopMaths problems with full solutions
Exercise 669Topology › Topology of Mn(ℝ) › Norms and metric structureL2Added 7 Nov 2026

The diameter of the orthogonal group

#orthogonal group#diameter#triangle inequality

Statement

Show that the diameter of O(n)O(n) is 22 for the operator norm and 2n2\sqrt n for the Frobenius norm, i.e. sup⁡U,V∈O(n)∥U−V∥=2\sup_{U,V\in O(n)}\|U-V\|=2 and sup⁡U,V∈O(n)∥U−V∥F=2n\sup_{U,V\in O(n)}\|U-V\|_F=2\sqrt n.

Hint

Use the triangle inequality for the upper bound, and compare II with −I-I for the lower bound.

Remember that ∥U∥=1\|U\|=1 and ∥U∥F=n\|U\|_F=\sqrt n for every U∈O(n)U\in O(n).

Show solutionHide solution

Solution

Idea. Two points of a "sphere" of radius rr in a normed space are at distance at most 2r2r, with equality for antipodal points. O(n)O(n) lies on the operator-norm sphere of radius 11 and on the Frobenius sphere of radius n\sqrt n, and contains the antipodal pair ±I\pm I.

Step 1: norms of orthogonal matrices. For U∈O(n)U\in O(n), ∣Ux∣=∣x∣|Ux|=|x| for all xx, so ∥U∥=1\|U\|=1. And ∥U∥F2=tr⁡(UTU)=tr⁡I=n\|U\|_F^2=\operatorname{tr}(U^TU)=\operatorname{tr}I=n.

Step 2: upper bounds. For U,V∈O(n)U,V\in O(n),
∥U−V∥≤∥U∥+∥V∥=2,∥U−V∥F≤∥U∥F+∥V∥F=2n.\|U-V\|\le\|U\|+\|V\|=2,\qquad\|U-V\|_F\le\|U\|_F+\|V\|_F=2\sqrt n.

Step 3: attainment. −I-I is orthogonal since (−I)T(−I)=I(-I)^T(-I)=I. Then ∥I−(−I)∥=∥2I∥=2\|I-(-I)\|=\|2I\|=2 and ∥I−(−I)∥F=2∥I∥F=2n\|I-(-I)\|_F=2\|I\|_F=2\sqrt n.

Conclusion. The two diameters are exactly 22 and 2n2\sqrt n.

Remark. For n=1n=1, O(1)={±1}O(1)=\{\pm1\} and the diameter is 22. Note that −I-I lies in SO(n)SO(n) iff nn is even. For odd n≥3n\ge3 the operator-norm diameter of SO(n)SO(n) is still 22: the matrices II and D=diag⁡(−1,−1,1,…,1)∈SO(n)D=\operatorname{diag}(-1,-1,1,\dots,1)\in SO(n) satisfy ∥I−D∥=∥diag⁡(2,2,0,…,0)∥=2\|I-D\|=\|\operatorname{diag}(2,2,0,\dots,0)\|=2, and the upper bound 22 is the same as above. (For the Frobenius norm the value 2n2\sqrt n is no longer attained when nn is odd; we do not need this.)