Metric topology Created 2026-10-03 Updated 2026-10-14
The metric topology consists of the sets such that, for every , some open ball lies in . Thus open sets describe which sufficiently small changes remain inside a region; they do not specify the numerical size of those changes.
For , the L1 norm, Euclidean norm, and maximum norm satisfy
These bounds make them equivalent norms. For example, : every open ball contains a sufficiently small open ball for either other metric. Hence all three define the same open sets, convergent sequences, and continuous maps. More generally, any two norms on a real or complex finite-dimensional vector space are equivalent norms; see H. A. Priestley, Functional Analysis I, §§0.5–0.7 and Theorem 4.3.
The metric topology therefore does not determine numerical distances. Multiplying a metric by preserves its open sets while multiplying every distance by . Nor does the general equivalence of metrics require constant-factor bounds: that stronger comparison holds for the three norms used here.