Strict convexity of the Frobenius ball but not of the operator ball
Statement
Let . Show that the unit sphere of the operator norm contains a non-trivial line segment (so the unit ball is not strictly convex), whereas the Frobenius unit sphere contains none.
Hint
For the operator norm, look for two non-equal matrices of norm whose segment stays in the sphere; try and a diagonal matrix.
For the Frobenius norm use the parallelogram law.
Show solutionHide solution
Solution
Idea. A ball is strictly convex if the midpoint of two distinct points of the sphere lies strictly inside the ball. Euclidean balls satisfy this; the operator-norm ball looks like a "cube" in the diagonal directions and has flat faces.
Step 1: the operator norm. Let , so as . For ,
whose operator norm is (norm of a diagonal matrix = largest absolute value of an entry). So the whole segment lies on the sphere and has positive length .
Step 2: the Frobenius norm. Let with . By the parallelogram law, which holds because comes from an inner product,
So the midpoint lies strictly inside the ball; no segment of positive length lies in the sphere (its midpoint would be on it).
Remark. For both norms coincide with and the unit ball is , whose sphere contains no segment, which is why is needed. The lack of strict convexity of the operator ball is linked to its extreme points being just (see "Extreme points"): the flat faces consist of non-extreme points.