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

Operator norm: submultiplicativity and comparison with Frobenius

#operator norm#submultiplicativity#Frobenius norm

Statement

Let ∥A∥=sup⁡∣x∣=1∣Ax∣\|A\|=\sup_{|x|=1}|Ax| be the operator norm. Show that ∥AB∥≤∥A∥∥B∥\|AB\|\le\|A\|\|B\| and that
∥A∥≤∥A∥F≤n ∥A∥.\|A\|\le\|A\|_F\le\sqrt n\,\|A\|.

Hint

Use the basic inequality ∣Ax∣≤∥A∥∣x∣|Ax|\le\|A\||x| for all xx.

For the two comparisons, write ∣Ax∣2|Ax|^2 using the rows of AA, and ∥A∥F2\|A\|_F^2 using the columns of AA.

Show solutionHide solution

Solution

Idea. Submultiplicativity follows from applying the definition twice. The comparison with ∥⋅∥F\|\cdot\|_F uses Cauchy-Schwarz in one direction and a sum over the nn unit vectors eje_j in the other.

Step 1: the basic inequality. By definition of the supremum, for x≠0x\ne0 we have ∣Ax∣=∣x∣ ∣A(x/∣x∣)∣≤∥A∥∣x∣|Ax|=|x|\,|A(x/|x|)|\le\|A\||x| (and it is trivial for x=0x=0).

Step 2: submultiplicativity. For every xx, ∣ABx∣≤∥A∥∣Bx∣≤∥A∥∥B∥∣x∣|ABx|\le\|A\||Bx|\le\|A\|\|B\||x|. Taking the supremum over unit xx gives ∥AB∥≤∥A∥∥B∥\|AB\|\le\|A\|\|B\|.

Step 3: ∥A∥≤∥A∥F\|A\|\le\|A\|_F. Let rir_i be the rows of AA. Then (Ax)i=⟨ri,x⟩(Ax)_i=\langle r_i,x\rangle and by Cauchy-Schwarz
∣Ax∣2=∑i⟨ri,x⟩2≤∑i∣ri∣2∣x∣2=∥A∥F2∣x∣2.|Ax|^2=\sum_i\langle r_i,x\rangle^2\le\sum_i|r_i|^2|x|^2=\|A\|_F^2|x|^2.
Take ∣x∣=1|x|=1 and the supremum.

Step 4: ∥A∥F≤n∥A∥\|A\|_F\le\sqrt n\|A\|. The columns of AA are the vectors AejAe_j. Hence
∥A∥F2=∑j=1n∣Aej∣2≤∑j=1n∥A∥2∣ej∣2=n∥A∥2.\|A\|_F^2=\sum_{j=1}^n|Ae_j|^2\le\sum_{j=1}^n\|A\|^2|e_j|^2=n\|A\|^2.

Remark. Both bounds are sharp: the first is an equality for rank-one matrices, the second for orthogonal matrices (see the problem on the best constants). One consequence, used constantly: ∥A∥\|A\| is controlled by the entries, e.g. ∥A∥≤∥A∥F≤nmax⁡∣aij∣\|A\|\le\|A\|_F\le n\max|a_{ij}|.