All norms on M_n(R) are equivalent
Statement
Prove that any two norms on are equivalent: if is a norm, there exist with for all .
Hint
Show first that is bounded above by a multiple of , hence continuous for .
Then use compactness of the Frobenius unit sphere.
Show solutionHide solution
Solution
Idea. The Frobenius unit sphere is compact (closed and bounded in ) 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 . By the triangle inequality and Cauchy-Schwarz,
Step 2: continuity. By the reverse triangle inequality, : the function is continuous for the Frobenius topology.
Step 3: lower bound. The Frobenius unit sphere is compact. The continuous function attains its minimum on at some ; and since .
Step 4: homogeneity. For , , hence , i.e. . Together with Step 1 we get , and 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 's) do not depend on the chosen norm, which is why we freely use whichever norm is most convenient.