Every norm sphere of M_n(R) is a sphere
Statement
Let be any norm on and its unit sphere. Show that is homeomorphic to the Euclidean sphere .
Hint
Compare with the Frobenius sphere by radial projection. Both and are continuous.
Show solutionHide solution
Solution
Setup. , and is the Euclidean norm of this space, so . All norms on a finite dimensional space are equivalent, hence is continuous for the usual topology, and for .
The two maps. Define
They are well defined: is nonzero so , and is nonzero so . They are continuous, being quotients of continuous functions with nonvanishing denominator.
They are inverse to each other. Take and set . Then , so
Symmetrically .
Conclusion. is a homeomorphism .
Remark. The same argument works for every norm on any : all unit spheres are homeomorphic to , and the unit balls are homeomorphic to the closed ball. It also shows that "the" topology of does not depend on the chosen norm.