Maths WorkshopMaths problems with full solutions
Exercise 292Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL2Added 6 Nov 2026

Every norm sphere of M_n(R) is a sphere

#norms#sphere#homeomorphism#radial projection

Statement

Let NN be any norm on Mn(R)M_n(\mathbb{R}) and SN={A:N(A)=1}S_N=\{A:N(A)=1\} its unit sphere. Show that SNS_N is homeomorphic to the Euclidean sphere Sn2−1S^{n^2-1}.

Hint

Compare SNS_N with the Frobenius sphere SF={∥A∥F=1}S_F=\{\|A\|_F=1\} by radial projection. Both NN and ∥⋅∥F\|\cdot\|_F are continuous.

Show solutionHide solution

Solution

Setup. Mn(R)≅Rn2M_n(\mathbb{R})\cong\mathbb{R}^{n^2}, and ∥⋅∥F\|\cdot\|_F is the Euclidean norm of this space, so SF=Sn2−1S_F=S^{n^2-1}. All norms on a finite dimensional space are equivalent, hence NN is continuous for the usual topology, and N(A)>0N(A)>0 for A≠0A\ne0.

The two maps. Define
φ:SN→SF,  φ(A)=A∥A∥F,ψ:SF→SN,  ψ(B)=BN(B).\varphi:S_N\to S_F,\ \ \varphi(A)=\frac{A}{\|A\|_F},\qquad\psi:S_F\to S_N,\ \ \psi(B)=\frac{B}{N(B)}.
They are well defined: A∈SNA\in S_N is nonzero so ∥A∥F>0\|A\|_F>0, and B∈SFB\in S_F is nonzero so N(B)>0N(B)>0. They are continuous, being quotients of continuous functions with nonvanishing denominator.

They are inverse to each other. Take A∈SNA\in S_N and set B=φ(A)=A/∥A∥FB=\varphi(A)=A/\|A\|_F. Then N(B)=N(A)/∥A∥F=1/∥A∥FN(B)=N(A)/\|A\|_F=1/\|A\|_F, so
ψ(B)=BN(B)=A/∥A∥F1/∥A∥F=A.\psi(B)=\frac{B}{N(B)}=\frac{A/\|A\|_F}{1/\|A\|_F}=A.
Symmetrically φ∘ψ=id\varphi\circ\psi=\mathrm{id}.

Conclusion. φ\varphi is a homeomorphism SN→Sn2−1S_N\to S^{n^2-1}.

Remark. The same argument works for every norm on any Rm\mathbb{R}^m: all unit spheres are homeomorphic to Sm−1S^{m-1}, and the unit balls are homeomorphic to the closed ball. It also shows that "the" topology of Mn(R)M_n(\mathbb{R}) does not depend on the chosen norm.