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

Strict convexity of the Frobenius ball but not of the operator ball

#strict convexity#unit ball#parallelogram law#operator norm

Statement

Let n≥2n\ge2. 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 11 whose segment stays in the sphere; try II 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 D=diag⁡(1,0,…,0)D=\operatorname{diag}(1,0,\dots,0), so D≠ID\ne I as n≥2n\ge2. For t∈[0,1]t\in[0,1],
tI+(1−t)D=diag⁡(1,t,…,t),tI+(1-t)D=\operatorname{diag}(1,t,\dots,t),
whose operator norm is max⁡(1,t)=1\max(1,t)=1 (norm of a diagonal matrix = largest absolute value of an entry). So the whole segment [D,I][D,I] lies on the sphere {∥A∥=1}\{\|A\|=1\} and has positive length ∥I−D∥=1\|I-D\|=1.

Step 2: the Frobenius norm. Let X≠YX\ne Y with ∥X∥F=∥Y∥F=1\|X\|_F=\|Y\|_F=1. By the parallelogram law, which holds because ∥⋅∥F\|\cdot\|_F comes from an inner product,
∥X+Y2∥F2=∥X∥F2+∥Y∥F22−∥X−Y2∥F2=1−∥X−Y∥F24<1.\Big\|\frac{X+Y}2\Big\|_F^2=\frac{\|X\|_F^2+\|Y\|_F^2}2-\Big\|\frac{X-Y}2\Big\|_F^2=1-\frac{\|X-Y\|_F^2}4<1.
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 n=1n=1 both norms coincide with ∣a∣|a| and the unit ball is [−1,1][-1,1], whose sphere {±1}\{\pm1\} contains no segment, which is why n≥2n\ge2 is needed. The lack of strict convexity of the operator ball is linked to its extreme points being just O(n)O(n) (see "Extreme points"): the flat faces consist of non-extreme points.