Maths WorkshopMaths problems with full solutions
Exercise 2065Topology › Topology of Mn(ℝ) › Applications and the case n = 2M1Added 10 Nov 2026

The operator-norm unit sphere of M_2(R) is a 3-sphere

#operator norm#unit sphere#M_2(R)#radial projection#complex coordinates

Statement

Identify R2\mathbb{R}^2 with C\mathbb{C} and write A∈M2(R)A\in M_2(\mathbb{R}) as Ax=zx+wxˉAx=zx+w\bar x with z=(a+d)+i(c−b)2z=\frac{(a+d)+i(c-b)}2, w=(a−d)+i(b+c)2w=\frac{(a-d)+i(b+c)}2 (the map A↦(z,w)A\mapsto(z,w) is a linear bijection onto C2\mathbb{C}^2, and ∥A∥F2=2(∣z∣2+∣w∣2)\|A\|_F^2=2(|z|^2+|w|^2)). Show that the operator norm is ∥A∥=∣z∣+∣w∣\|A\|=|z|+|w|, and that the unit sphere
Sop={A∈M2(R):∥A∥=1}={∣z∣+∣w∣=1}S_{op}=\{A\in M_2(\mathbb{R}):\|A\|=1\}=\{|z|+|w|=1\}
is homeomorphic to the 33-sphere S3S^3.

Hint

First compute max⁡∣x∣=1∣zx+wxˉ∣\max_{|x|=1}|zx+w\bar x|. For the topology, use radial projection A↦A/∥A∥FA\mapsto A/\|A\|_F onto the Frobenius sphere, which is a round sphere in C2≅R4\mathbb{C}^2\cong\mathbb{R}^4.

Show solutionHide solution

Solution

Idea. Any two norms on a finite-dimensional space have homeomorphic unit spheres via radial projection. The Frobenius sphere is a round sphere, i.e. S3S^3.

Step 1: the operator norm in coordinates. For ∣x∣=1|x|=1, the triangle inequality gives ∣zx+wxˉ∣≤∣z∣+∣w∣|zx+w\bar x|\le|z|+|w|. For equality, choose x=eiφx=e^{i\varphi} so that zx=zeiφzx=ze^{i\varphi} and wxˉ=we−iφw\bar x=we^{-i\varphi} have the same argument, i.e. 2φ≡arg⁡w−arg⁡z(mod2π)2\varphi\equiv\arg w-\arg z\pmod{2\pi} (if z=0z=0 or w=0w=0 any φ\varphi works). Then ∣zx+wxˉ∣=∣z∣+∣w∣|zx+w\bar x|=|z|+|w|. Hence ∥A∥=∣z∣+∣w∣\|A\|=|z|+|w|, and Sop={∣z∣+∣w∣=1}S_{op}=\{|z|+|w|=1\}.

Step 2: the Frobenius sphere is round. Since ∥A∥F2=tr⁡(ATA)=a2+b2+c2+d2\|A\|_F^2=\operatorname{tr}(A^TA)=a^2+b^2+c^2+d^2 and ∣z∣2+∣w∣2=14[(a+d)2+(c−b)2+(a−d)2+(b+c)2]=12(a2+b2+c2+d2)|z|^2+|w|^2=\frac14\bigl[(a+d)^2+(c-b)^2+(a-d)^2+(b+c)^2\bigr]=\frac12(a^2+b^2+c^2+d^2), we get ∥A∥F2=2(∣z∣2+∣w∣2)\|A\|_F^2=2(|z|^2+|w|^2). So
SF={∥A∥F=1}={(z,w)∈C2:∣z∣2+∣w∣2=12}.S_F=\{\|A\|_F=1\}=\{(z,w)\in\mathbb{C}^2:|z|^2+|w|^2=\tfrac12\}.
This is a Euclidean sphere of radius 1/21/\sqrt2 in C2=R4\mathbb{C}^2=\mathbb{R}^4, which is homeomorphic to S3S^3 by scaling by 2\sqrt2.

Step 3: radial projection. Define
Φ:Sop→SF, A↦A∥A∥F,Ψ:SF→Sop, B↦B∥B∥.\Phi:S_{op}\to S_F,\ A\mapsto\frac A{\|A\|_F},\qquad\Psi:S_F\to S_{op},\ B\mapsto\frac B{\|B\|}.
Both maps are well defined and continuous (norms are continuous and do not vanish on these spheres, because A≠0A\neq0 there). For A∈SopA\in S_{op}, Ψ(Φ(A))=A/∥A∥F∥A∥/∥A∥F=A∥A∥=A\Psi(\Phi(A))=\dfrac{A/\|A\|_F}{\|A\|/\|A\|_F}=\dfrac A{\|A\|}=A, and for B∈SFB\in S_F, Φ(Ψ(B))=B/∥B∥∥B∥F/∥B∥=B∥B∥F=B\Phi(\Psi(B))=\dfrac{B/\|B\|}{\|B\|_F/\|B\|}=\dfrac B{\|B\|_F}=B. So Φ\Phi is a homeomorphism.

Conclusion. Sop≅SF≅S3S_{op}\cong S_F\cong S^3. Explicitly, the map A↦(z,w)∣z∣2+∣w∣2A\mapsto\dfrac{(z,w)}{\sqrt{|z|^2+|w|^2}} sends SopS_{op} homeomorphically onto the unit sphere of C2\mathbb{C}^2, with inverse (z,w)↦(z,w)∣z∣+∣w∣(z,w)\mapsto\dfrac{(z,w)}{|z|+|w|}.

Check. II has (z,w)=(1,0)(z,w)=(1,0): ∥I∥=1\|I\|=1 and it goes to (1,0)∈S3(1,0)\in S^3. diag⁡(1,−1)\operatorname{diag}(1,-1) has (z,w)=(0,1)(z,w)=(0,1), also in SopS_{op} (an orthogonal reflection).

Correction of the source. The book writes the Frobenius sphere as {2(∣z∣2+∣w∣2)=2}\{2(|z|^2+|w|^2)=2\}, which is the sphere of Frobenius radius 2\sqrt2, not 11; the sphere ∥A∥F=1\|A\|_F=1 is {2(∣z∣2+∣w∣2)=1}\{2(|z|^2+|w|^2)=1\} as above. The topology is unaffected.

Remark. The set {∣z∣+∣w∣=1}\{|z|+|w|=1\} is the join of two circles, S1∗S1≅S3S^1*S^1\cong S^3, and it is not a smooth round sphere: it has a flat (non-strictly-convex) structure along the circles {w=0}\{w=0\} and {z=0}\{z=0\} corresponding to the orthogonal matrices.

Lesson. Radial projection identifies the unit spheres of any two norms; to identify a sphere with S3S^3, compare it with a Euclidean sphere.