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 [1]). 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 separation axiom (the Stone–Arkhangel'skii criterion). Here a set
of open coverings of a space
is called fundamental if for each point
and each of its neighbourhoods
there is a covering
and a neighbourhood
of
such that every element of
intersecting
is contained in
. 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
of a metrizable space
can be refined to an open covering
such that for any
there is an
for which
.
Based on another important idea — local finiteness — there is an important general criterion for metrizability. The Nagata–Smirnov criterion: A space 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
of a space
is called regular (uniform) if for every point
and any of its neighbourhoods
there is a neighbourhood
of this point such that the number of elements of the base
simultaneously intersecting
and the complement of
is finite (respectively, if the set
is finite). A space
is metrizable if and only if it is collectionwise normal and has a uniform base. Finally, for a
-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
of a space
with a regular base
, it is sufficient to take the collection of all maximal elements of the family
![]() |
Metrizability criteria become very simple in a number of special classes of spaces. Thus, for a compactum to be metrizable, any of the following four conditions is necessary and sufficient: a)
has a countable base; b)
has a point-countable base; c) there is a countable network (cf. Net (of sets in a topological space); Network) in
; or d) the diagonal in
is a
-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 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 -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.
References
[1] | A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian) |
[2] | R. Engelking, "General topology" , Heldermann (1989) |
[3] | M.Ya. Antonovskii, V.G. Boltyanskii, T.A. Sarymsakov, "Metric spaces over semi-fields" , Tashkent (1961) (In Russian) |
Comments
The topology of a metrizable space is described here in terms of the closure operation. It is somewhat more common to use the open balls: If for and
,
denotes the set of points at distance less than
from
(the
-ball around
), then one calls a set
open if and only if for every
there is an
such that
.
Metrizability criterion 1) is due to R.H. Bing [a1]. A countable refining family of open coverings is also called a development, see (the comments to) Moore space for the definition and more information.
A fundamental collection is sometimes called locally starring. A fully-normal space is also called a star-normal space (every open covering admits a star refinement), especially in the (translated) Russian literature. A regular topological space is fully normal if and only if it is paracompact.
Unrestricted divisibility is a property defined in [a4]; it is analogous to full normality, which is defined above, but not apparently equivalent.
For a survey (and, in part, a survey of surveys) of generalized metrizable spaces, see [a3]. For metrizable spaces, see [a5], especially pages 244-360.
References
[a1] | R.H. Bing, "Metrization of topological spaces" Canad. J. Math. , 3 (1951) pp. 175–186 |
[a2] | D.K. Burke, "Covering properties" J. Barwise (ed.) , Handbook of Set-Theoretic Topology , North-Holland (1984) pp. Chapt. 9; pp. 347–422 |
[a3] | "Generalized metric spaces" J. Barwise (ed.) , Handbook of Set-Theoretic Topology , North-Holland (1984) pp. 423–501 |
[a4] | P.S. Aleksandrov, V.I. Ponomarev, "Some classes of ![]() |
[a5] | J.-I. Nagata, "Modern general topology" , North-Holland (1985) |
Metrizable space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Metrizable_space&oldid=16210