Completely metrizable space

From Wikipedia, the free encyclopedia

In mathematics, a completely metrizable space (complete topological space or topologically complete space) is a topological space (X, T) for which there exists at least one metric d on X such that (X, d) is a complete metric space and d induces the topology T. This is equivalent to the condition that X is a Gδ in its Stone–Čech compactification βX.

See also: Metrizable space

[edit] References