The operator-norm ball is the convex hull of O(n)
Statement
Prove that the closed operator-norm unit ball equals the convex hull of the orthogonal group .
Hint
Show because is convex and contains .
For the other inclusion, write each singular value as and expand the product over .
Show solutionHide solution
Solution
Idea. The singular value decomposition reduces the problem to diagonal matrices with entries in , and the cube is the convex hull of its vertices .
Step 1: . Every orthogonal matrix has norm , so . The unit ball of any norm is convex, hence contains the convex hull of .
Step 2: diagonal matrices. Let . Put , so that . For each sign vector define the weight
Then , and . Moreover the -th diagonal entry of is (the weights of the other coordinates sum to ). So
Step 3: general case. Let with SVD , . Then
a convex combination of the orthogonal matrices .
Probabilistic reading. If are independent random signs with , then .
Remark. The hull of is compact (the convex hull of a compact set in finite dimension is compact), so it is automatically *closed*, consistent with the statement. Note that the convex hull of is strictly smaller (every orthogonal matrix of determinant is an extreme point of by the previous problem, so it cannot be a convex combination of elements of other than itself), and the representation above uses orthogonal matrices; by Carathéodory's theorem a representation with at most matrices exists.