On a finite-dimensional vector space over , the triangle inequality gives an upper bound by a coordinate maximum norm. The coordinate unit sphere is compact. The other norm is continuous and nonzero there, so has a positive minimum. Scaling by powers of gives the lower bound. The resulting equivalence of norms in finite dimensions proves completeness of finite extensions, and applying the comparison to powers of a field element proves equality of two extending multiplicative absolute values on a field.
Articles by others on the same topic
There are currently no matching articles.