Finite-dimensional equivalence of norms (source code)

= Finite-dimensional equivalence of norms

Any two norms on a finite-dimensional real or complex vector space are equivalent. Relative to a fixed basis, continuity and positivity of a norm on the compact Euclidean unit sphere give uniform positive lower and finite upper bounds.