Maths WorkshopMaths problems with full solutions
Exercise 1290Topology › Topology of Mn(ℝ)L1Added 4 Nov 2026

Submultiplicativity of matrix norms

#submultiplicative norms#operator norm#matrix norm

Statement

Define ∥A∥op=sup⁡∥x∥=1∥Ax∥\|A\|_{\mathrm{op}}=\sup_{\|x\|=1}\|Ax\| (for ∥⋅∥\|\cdot\| the Euclidean norm on Rn\mathbb{R}^n). Show that ∥AB∥op≤∥A∥op∥B∥op\|AB\|_{\mathrm{op}}\le\|A\|_{\mathrm{op}}\|B\|_{\mathrm{op}}.

Hint

Write ∥ABx∥≤∥A∥op∥Bx∥≤∥A∥op∥B∥op∥x∥\|ABx\|\le\|A\|_{\mathrm{op}}\|Bx\|\le\|A\|_{\mathrm{op}}\|B\|_{\mathrm{op}}\|x\|.

Show solutionHide solution

Solution

Inequality. For every xx:
∥ABx∥≤∥A∥op∥Bx∥≤∥A∥op∥B∥op∥x∥.\|ABx\|\le\|A\|_{\mathrm{op}}\|Bx\|\le\|A\|_{\mathrm{op}}\|B\|_{\mathrm{op}}\|x\|.
Taking the supremum over ∥x∥=1\|x\|=1: ∥AB∥op≤∥A∥op∥B∥op\|AB\|_{\mathrm{op}}\le\|A\|_{\mathrm{op}}\|B\|_{\mathrm{op}}.

Conclusion. ∥⋅∥op\|\cdot\|_{\mathrm{op}} is a submultiplicative matrix norm.