The operator-norm unit sphere of M_2(R) is a 3-sphere
Statement
Identify with and write as with , (the map is a linear bijection onto , and ). Show that the operator norm is , and that the unit sphere
is homeomorphic to the -sphere .
Hint
First compute . For the topology, use radial projection onto the Frobenius sphere, which is a round sphere in .
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. .
Step 1: the operator norm in coordinates. For , the triangle inequality gives . For equality, choose so that and have the same argument, i.e. (if or any works). Then . Hence , and .
Step 2: the Frobenius sphere is round. Since and , we get . So
This is a Euclidean sphere of radius in , which is homeomorphic to by scaling by .
Step 3: radial projection. Define
Both maps are well defined and continuous (norms are continuous and do not vanish on these spheres, because there). For , , and for , . So is a homeomorphism.
Conclusion. . Explicitly, the map sends homeomorphically onto the unit sphere of , with inverse .
Check. has : and it goes to . has , also in (an orthogonal reflection).
Correction of the source. The book writes the Frobenius sphere as , which is the sphere of Frobenius radius , not ; the sphere is as above. The topology is unaffected.
Remark. The set is the join of two circles, , and it is not a smooth round sphere: it has a flat (non-strictly-convex) structure along the circles and corresponding to the orthogonal matrices.
Lesson. Radial projection identifies the unit spheres of any two norms; to identify a sphere with , compare it with a Euclidean sphere.