Equivalence of norms in finite dimensions (source code)

= Equivalence of norms in finite dimensions

On a finite-dimensional vector space over a complete valued field, any two norms induce the same topology. Choosing a basis reduces the claim to comparison with the maximum of the absolute values of the coordinates.