The diameter of the orthogonal group
Statement
Show that the diameter of is for the operator norm and for the Frobenius norm, i.e. and .
Hint
Use the triangle inequality for the upper bound, and compare with for the lower bound.
Remember that and for every .
Show solutionHide solution
Solution
Idea. Two points of a "sphere" of radius in a normed space are at distance at most , with equality for antipodal points. lies on the operator-norm sphere of radius and on the Frobenius sphere of radius , and contains the antipodal pair .
Step 1: norms of orthogonal matrices. For , for all , so . And .
Step 2: upper bounds. For ,
Step 3: attainment. is orthogonal since . Then and .
Conclusion. The two diameters are exactly and .
Remark. For , and the diameter is . Note that lies in iff is even. For odd the operator-norm diameter of is still : the matrices and satisfy , and the upper bound is the same as above. (For the Frobenius norm the value is no longer attained when is odd; we do not need this.)