The convex hull of SO(2) is a flat disc
Statement
Identify with and write as , where and for ( is a linear bijection onto ). Let and . Show that
a closed disc (of dimension ) in the -dimensional space .
Hint
The rotation is multiplication by on , so it has . A linear bijection preserves convex hulls. Then write any with as a convex combination of two opposite points of the unit circle.
Show solutionHide solution
Solution
Idea. Under the linear isomorphism , becomes the unit circle in the plane , and the convex hull of a circle is the closed disc.
Step 1: in coordinates. for . From the entries: , , , so and . Hence
Step 2: linear bijections preserve convex hulls. Let be . is linear and bijective, so it maps convex combinations to convex combinations, and . So we must show .
Step 3: . The set is convex (the closed unit disc is convex, by the triangle inequality ) and contains the circle. So .
Step 4: . Let and write with . Then
Indeed . The two weights are and sum to , and , lie on the unit circle. So is a convex combination of two points of the circle.
Back in matrices. In real terms: , and the matrix with equals .
Remark. This hull is only -dimensional. In contrast, is the whole operator-norm ball , which is -dimensional: the improper rotations are needed to fill it. In particular the matrices of operator norm cannot be written as convex combinations of rotations alone.
Lesson. Convex hulls are invariant under linear isomorphisms, so choose coordinates in which the set is a familiar one (here a circle).