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

All norms on M_n(R) are equivalent

#equivalence of norms#compactness#finite dimension

Statement

Prove that any two norms on Mn(R)M_n(\mathbb{R}) are equivalent: if ∥⋅∥′\|\cdot\|' is a norm, there exist 0<c≤C0<c\le C with c∥A∥F≤∥A∥′≤C∥A∥Fc\|A\|_F\le\|A\|'\le C\|A\|_F for all AA.

Hint

Show first that ∥⋅∥′\|\cdot\|' is bounded above by a multiple of ∥⋅∥F\|\cdot\|_F, hence continuous for ∥⋅∥F\|\cdot\|_F.

Then use compactness of the Frobenius unit sphere.

Show solutionHide solution

Solution

Idea. The Frobenius unit sphere is compact (closed and bounded in Rn2\mathbb{R}^{n^2}) and any norm is continuous and positive on it, so it has a positive minimum and a finite maximum. Homogeneity extends the bounds to all matrices.

Step 1: upper bound. Write A=∑aijEijA=\sum a_{ij}E_{ij}. By the triangle inequality and Cauchy-Schwarz,
∥A∥′≤∑i,j∣aij∣∥Eij∥′≤(∑i,j∥Eij∥′2)1/2∥A∥F=:C∥A∥F.\|A\|'\le\sum_{i,j}|a_{ij}|\|E_{ij}\|'\le\Big(\sum_{i,j}\|E_{ij}\|'^2\Big)^{1/2}\|A\|_F=:C\|A\|_F.

Step 2: continuity. By the reverse triangle inequality, ∣∥A∥′−∥B∥′∣≤∥A−B∥′≤C∥A−B∥F\big|\|A\|'-\|B\|'\big|\le\|A-B\|'\le C\|A-B\|_F: the function ∥⋅∥′\|\cdot\|' is continuous for the Frobenius topology.

Step 3: lower bound. The Frobenius unit sphere S={∥A∥F=1}S=\{\|A\|_F=1\} is compact. The continuous function ∥⋅∥′\|\cdot\|' attains its minimum cc on SS at some A0∈SA_0\in S; and c=∥A0∥′>0c=\|A_0\|'>0 since A0≠0A_0\ne0.

Step 4: homogeneity. For A≠0A\ne0, A/∥A∥F∈SA/\|A\|_F\in S, hence c≤∥A/∥A∥F∥′=∥A∥′/∥A∥Fc\le\|A/\|A\|_F\|'=\|A\|'/\|A\|_F, i.e. c∥A∥F≤∥A∥′c\|A\|_F\le\|A\|'. Together with Step 1 we get c∥A∥F≤∥A∥′≤C∥A∥Fc\|A\|_F\le\|A\|'\le C\|A\|_F, and c≤Cc\le C is automatic.

Remark. The compactness of the unit sphere is where finite dimension enters; in infinite dimension the unit sphere is not compact and the statement fails. The result implies that all the topological notions (open, closed, compact, convergence, continuity of maps between MnM_n's) do not depend on the chosen norm, which is why we freely use whichever norm is most convenient.