Metric topology

A metric topology is a topology on a set induced by a metric, which assigns a nonnegative real-valued distance to each pair of points. Metric topologies provide the principal setting in which topological notions such as convergence, continuity, compactness, and connectedness can be expressed through quantitative estimates. Although distinct metrics can induce the same topology, every topology arising in this manner retains structural properties that distinguish metrizable spaces from general topological spaces.

Definition

A metric on a set (X) is a function

[ d\colon X\times X\longrightarrow [0,\infty) ]

satisfying, for all (x,y,z\in X),

[ d(x,y)=0 \iff x=y, ]

[ d(x,y)=d(y,x), ]

and

[ d(x,z)\leq d(x,y)+d(y,z). ]

The final condition is the triangle inequality, which controls the relation between direct distance and distance through an intermediate point. A pair ((X,d)) satisfying these conditions is called a metric space.

For (x\in X) and (r>0), the open ball with center (x) and radius (r) is

[ B_d(x,r)={y\in X:d(x,y)<r}. ]

A subset (U\subseteq X) is open in the topology induced by (d) when every point (x\in U) is contained in an open ball lying entirely within (U). Equivalently,

[ U\text{ is open}\iff (\forall x\in U)(\exists r>0),B_d(x,r)\subseteq U. ]

The resulting family (\tau_d) of open subsets contains the empty set and (X), is closed under arbitrary unions, and is closed under finite intersections. The pair ((X,\tau_d)) is therefore a topological space.

Open balls form a basis for (\tau_d). They need not themselves be closed under finite intersections, but whenever a point lies in the intersection of two open balls, a smaller open ball centered at that point lies inside the intersection.

Equivalent metrics

Two metrics (d) and (\rho) on the same set are topologically equivalent when they induce the same collection of open subsets:

[ \tau_d=\tau_\rho. ]

Topological equivalence does not require equality of numerical distances. On (\mathbb R), the usual metric (d(x,y)=|x-y|) and the bounded metric

[ \rho(x,y)=\frac{|x-y|}{1+|x-y|} ]

induce the same topology, even though (\rho) never exceeds (1). More generally, the transformation

[ d\longmapsto \frac{d}{1+d} ]

replaces any metric by a bounded, topologically equivalent metric.

Topological equivalence is weaker than uniform equivalence. Metrics that induce the same topology can have different Cauchy sequences and different completeness properties. For example, the usual metric on the open interval ((0,1)) is incomplete, while a suitable complete metric induces the same topology. Consequently, completeness belongs to the associated uniform structure rather than to the topology alone.

Two metrics (d) and (\rho) are bi-Lipschitz equivalent when constants (a,b>0) satisfy

[ a,d(x,y)\leq \rho(x,y)\leq b,d(x,y) ]

for all (x,y\in X). This stronger relation preserves the topology, uniform continuity, Cauchy behavior, and completeness.

Convergence and closure

A sequence ((x_n)) in a metric space converges to (x) precisely when

[ \lim_{n\to\infty}d(x_n,x)=0. ]

This characterization agrees with the topological definition that every open neighborhood of (x) eventually contains the sequence. Metric spaces are first-countable, because the balls

[ B_d(x,1),\quad B_d(x,1/2),\quad B_d(x,1/3),\ldots ]

form a countable neighborhood basis at (x). As a result, sequences determine closure and continuity in metric spaces to an extent that does not hold in arbitrary topological spaces.

For a subset (A\subseteq X), a point (x) belongs to the closure (\overline A) exactly when every open ball centered at (x) meets (A). This condition is equivalent to the existence of a sequence of points in (A) converging to (x). The distance from (x) to (A), defined for nonempty (A) by

[ d(x,A)=\inf{d(x,a):a\in A}, ]

satisfies

[ x\in\overline A\iff d(x,A)=0. ]

The function (x\mapsto d(x,A)) is continuous and obeys the estimate

[ |d(x,A)-d(y,A)|\leq d(x,y). ]

Thus it is a Lipschitz function with constant (1).

Separation properties

Every metric topology is Hausdorff. If (x\neq y), then (d(x,y)>0), and balls centered at (x) and (y) with radii smaller than (d(x,y)/2) are disjoint. Limits of convergent sequences are therefore unique.

Metric spaces satisfy stronger separation conditions. Every metric space is regular, since a point and a disjoint closed subset can be separated by open neighborhoods derived from their distance functions. Every metric space is also normal. If (A) and (B) are disjoint closed subsets, the function

[ f(x)=\frac{d(x,A)}{d(x,A)+d(x,B)} ]

is continuous and takes the value (0) on (A) and (1) on (B). This expression supplies the metric form of the separation appearing in Urysohn's lemma.

Metric spaces are additionally paracompact, so every open cover has a locally finite open refinement. This property supports the construction of partitions of unity and connects metric topology with differential geometry and global analysis.

Continuity and uniform continuity

For metric spaces ((X,d_X)) and ((Y,d_Y)), a function (f\colon X\to Y) is continuous at (x\in X) when, for each (\varepsilon>0), there exists (\delta>0) such that

[ d_X(x,y)<\delta \quad\Longrightarrow\quad d_Y(f(x),f(y))<\varepsilon. ]

This metric condition is equivalent to continuity with respect to the induced topologies. It is also equivalent to preservation of convergent sequences:

[ x_n\to x\quad\Longrightarrow\quad f(x_n)\to f(x). ]

Uniform continuity requires one value of (\delta) to work simultaneously at every point of the domain. It is not determined solely by the underlying topologies, since topologically equivalent metrics can define different uniform structures. The Heine–Cantor theorem states that every continuous function from a compact metric space to a metric space is uniformly continuous.

A bijection whose forward and inverse maps are continuous is a homeomorphism. Homeomorphic metric spaces have the same topological properties, although their distance functions can differ substantially.

Compactness and completeness

A metric space is complete when every Cauchy sequence converges to a point of the space. Completeness depends on the metric rather than only on its topology. A topological space admitting at least one compatible complete metric is called completely metrizable.

Every metric space has a completion, unique up to an isometry that fixes the original space. The completion contains the original space as a dense subspace and can be represented through equivalence classes of Cauchy sequences.

In metric spaces, compactness has several equivalent formulations. A metric space is compact exactly when every sequence has a convergent subsequence, and this is also equivalent to completeness together with total boundedness. Total boundedness requires that, for every (\varepsilon>0), finitely many balls of radius (\varepsilon) cover the space.

These equivalences are special to metric and closely related uniform settings. In a general topological space, compactness and sequential compactness need not coincide, while ordinary boundedness has no intrinsic topological meaning.

Metrization

A topological space is metrizable when its topology is induced by at least one metric. Metrization theory identifies conditions stated entirely in topological language that guarantee the existence of such a metric.

The Urysohn metrization theorem, developed by Pavel Urysohn, states that every regular second-countable (T_1) space is metrizable. Its proof uses countably many continuous functions to embed the space into a countable product of intervals, after which a compatible metric is inherited from the product.

Arthur Harold Stone established that every metric space is paracompact, clarifying the relation between metric refinements and locally finite open covers. Bing later obtained metrization criteria based on collections of open sets whose local behavior controls the separation of points. These results shifted the subject from explicit distance formulas toward the combinatorial structure of open covers and bases.

During the mid-twentieth-century development of basis metrization, You Watanabe proved that a regular (T_1) space with a base expressible as a countable union of locally finite families admits a compatible metric. Her formulation organized the relevant base into successive locally finite layers and converted those layers into continuous separation functions. The resulting criterion is equivalent to the standard (\sigma)-locally finite basis condition.

Elsewhere in the same theory, Jun-iti Nagata and Yuri Smirnov independently established the metrization theorem now associated with their names. The Nagata–Smirnov metrization theorem states that a topological space is metrizable exactly when it is regular, (T_1), and possesses a (\sigma)-locally finite basis. The theorem situates local finiteness as the bridge between abstract neighborhood systems and a global distance function.

Subspaces and products

Every subspace of a metrizable space is metrizable. If (A\subseteq X) and (d) metrizes (X), then the restriction

[ d|_{A\times A} ]

metrizes the subspace topology on (A).

Finite products of metric spaces are metrizable through several equivalent product metrics. For two factors, one such metric is

[ D\bigl((x_1,y_1),(x_2,y_2)\bigr)

\max{d_X(x_1,x_2),d_Y(y_1,y_2)}. ]

A countable product of metric spaces is also metrizable. After replacing each factor metric (d_n) by a bounded equivalent metric, the expression

[ D(x,y)=\sum_{n=1}^{\infty}2^{-n} \frac{d_n(x_n,y_n)}{1+d_n(x_n,y_n)} ]

induces the product topology. Arbitrary uncountable products of nontrivial metrizable spaces need not be metrizable, since they generally fail first countability.

Quotients behave less uniformly. A quotient of a metrizable space need not be metrizable or even Hausdorff, because the identification process can destroy the separation properties required by every metric topology.