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

The max-entry norm is not submultiplicative

#max norm#submultiplicativity#counterexample

Statement

Let n≥2n\ge2. Show that ∥A∥max⁡=max⁡i,j∣aij∣\|A\|_{\max}=\max_{i,j}|a_{ij}| is a norm on Mn(R)M_n(\mathbb{R}) which is not submultiplicative.

Hint

Check the norm axioms entry by entry.

For the counterexample, try the all-ones matrix JJ and compute J2J^2.

Show solutionHide solution

Solution

Idea. ∥⋅∥max⁡\|\cdot\|_{\max} is the sup-norm on Rn2\mathbb{R}^{n^2}, so it is automatically a norm; but multiplication of matrices adds up nn products, which can exceed the product of the maxima.

Step 1: it is a norm.
- Definiteness: max⁡∣aij∣=0\max|a_{ij}|=0 iff all entries vanish.
- Homogeneity: max⁡∣λaij∣=∣λ∣max⁡∣aij∣\max|\lambda a_{ij}|=|\lambda|\max|a_{ij}|.
- Triangle inequality: ∣aij+bij∣≤∣aij∣+∣bij∣≤∥A∥max⁡+∥B∥max⁡|a_{ij}+b_{ij}|\le|a_{ij}|+|b_{ij}|\le\|A\|_{\max}+\|B\|_{\max} for every (i,j)(i,j).

Step 2: the counterexample. Let JJ be the matrix whose entries are all equal to 11. Then ∥J∥max⁡=1\|J\|_{\max}=1 and
(J2)ij=∑k=1n1⋅1=n,soJ2=nJ,∥J2∥max⁡=n.(J^2)_{ij}=\sum_{k=1}^n1\cdot1=n,\quad\text{so}\quad J^2=nJ,\quad\|J^2\|_{\max}=n.
Since n≥2n\ge2, ∥J2∥max⁡=n>1=∥J∥max⁡2\|J^2\|_{\max}=n>1=\|J\|_{\max}^2.

Fix. The rescaled norm n∥A∥max⁡n\|A\|_{\max} is submultiplicative: n∣(AB)ij∣≤n∑k∣aik∣∣bkj∣≤n⋅n∥A∥max⁡∥B∥max⁡n|(AB)_{ij}|\le n\sum_k|a_{ik}||b_{kj}|\le n\cdot n\|A\|_{\max}\|B\|_{\max}, i.e. ∥AB∥′≤∥A∥′∥B∥′\|AB\|'\le\|A\|'\|B\|' for ∥A∥′=n∥A∥max⁡\|A\|'=n\|A\|_{\max}.

Remark. For n=1n=1 the statement fails (the norm is ∣a∣|a|, which is multiplicative). Being submultiplicative is exactly what is needed to write ∥Ak∥≤∥A∥k\|A^k\|\le\|A\|^k and to use geometric series.