# Metrizable space

A space whose topology is generated by some metric via the rule: a point belongs to the closure of a set if and only if it lies at zero distance from the set. If such a metric exists, then it is not unique, unless the space is empty or consists of one point only. In particular, the topology of each metrizable space is generated by a bounded metric. In a metrizable space strong separation axioms (cf. Separation axiom) are satisfied: it is normal and even collectionwise normal. Every metrizable space is paracompact. All metrizable spaces satisfy the first axiom of countability. But none of the named conditions, nor any collection of them, is sufficient for a space to be metrizable. A sufficient condition for metrizability was found by P.S. Urysohn (1923): Every normal space (and even every regular space, A.N. Tikhonov, 1925) with a countable base is metrizable. The first general criterion for metrizability of a space was proposed in 1923 by P.S. Aleksandrov and Urysohn (see ). On its basis two subsequent, more precise, criteria for metrizability were developed: 1) a space is metrizable if and only if it is collectionwise normal and has a countable refining set of open coverings; 2) a space is metrizable if and only if has a countable fundamental set of open coverings and satisfies the $T _ {1}$ separation axiom (the Stone–Arkhangel'skii criterion). Here a set $\xi$ of open coverings of a space $X$ is called fundamental if for each point $x \in X$ and each of its neighbourhoods $O _ {x}$ there is a covering $\gamma \in \xi$ and a neighbourhood $O _ {1x}$ of $x$ such that every element of $\gamma$ intersecting $O _ {1x}$ is contained in $O _ {x}$. These criteria are connected with the property of unrestricted divisibility and with the following fundamental property of full normality of metrizable spaces. Every open covering $\gamma$ of a metrizable space $X$ can be refined to an open covering $\gamma ^ \prime$ such that for any $x \in X$ there is an $U \in \gamma$ for which $\cup \{ {W \in \gamma ^ \prime } : {x \in W } \} \subset U$.

Based on another important idea — local finiteness — there is an important general criterion for metrizability. The Nagata–Smirnov criterion: A space $X$ is metrizable if and only if it is regular and has a base decomposing into a countable set of locally finite families (cf. Locally finite family) of sets. Bing's criterion is similar, but instead of locally finite uses discrete families of sets (cf. Discrete family of sets). Convenient versions of the above metrizability criteria are related to the notions of a uniform base and a regular base. A base ${\mathcal B}$ of a space $X$ is called regular (uniform) if for every point $x \in X$ and any of its neighbourhoods $O _ {x}$ there is a neighbourhood $O _ {1x}$ of this point such that the number of elements of the base ${\mathcal B}$ simultaneously intersecting $O _ {1x}$ and the complement of $O _ {x}$ is finite (respectively, if the set $\{ {U \in {\mathcal B} } : {U \ni x, U \subset O _ {x} } \}$ is finite). A space $X$ is metrizable if and only if it is collectionwise normal and has a uniform base. Finally, for a $T _ {1}$- space to be metrizable it is necessary and sufficient that it has a regular base. Regular bases are convenient in that they reveal the mechanism of paracompactness of arbitrary metrizable spaces: In order to inscribe a locally finite open covering inside any open covering $\gamma$ of a space $X$ with a regular base ${\mathcal B}$, it is sufficient to take the collection of all maximal elements of the family

$${\mathcal B} _ \gamma = \ \{ {U \in {\mathcal B} } : {\textrm{ there is a } \ W \in \gamma \textrm{ such that } U \subset W } \} .$$

Metrizability criteria become very simple in a number of special classes of spaces. Thus, for a compactum $X$ to be metrizable, any of the following four conditions is necessary and sufficient: a) $X$ has a countable base; b) $X$ has a point-countable base; c) there is a countable network (cf. Net (of sets in a topological space); Network) in $X$; or d) the diagonal in $X \times X$ is a $G _ \delta$- set. For the metrizability of the space of a topological group it is necessary and sufficient that the group satisfies the first axiom of countability; moreover, the space is then metrizable by an invariant metric (for example, with respect to left multiplication).

A characteristic property of a metrizable space is the coincidence of a number of cardinal characteristics. In particular, in a metrizable space the Suslin number, the Lindelöf number, the density, the character, the spread, and the weight all coincide. The non-coincidence of these numbers is an indication of the non-metrizability of the corresponding space.

Not every metrizable space is metrizable by a complete metric: an example is the space of rational numbers. A space is metrizable by a complete metric if and only if it is metrizable and is a set of type $G _ \delta$ in some compact space containing it. An important topological property of a space metrizable by a complete metric is the Baire property: The intersection of any countable family of everywhere-dense open sets is everywhere dense.

Very close to metrizable spaces in their properties are the so-called Moore spaces, i.e. completely-regular spaces having a countable refining family of open coverings, and lattice spaces.

A broad range of generalizations of the idea of a metrizable space is obtained if the metric axioms are varied, weakening them in some way or other, and by considering the topologies generated by such $v$- metrics. In this way symmetrizable spaces are obtained by abandoning the triangle axiom. Moore spaces fit into this scheme. Another important generalization of the idea of metrizability is related to the discussion of "metrics" with values in semi-fields and other algebraic structures of a general nature.

How to Cite This Entry:
Metrizable space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Metrizable_space&oldid=47833
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article