Completely metrizable space

From formulasearchengine
Jump to navigation Jump to search

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.

The set of rational numbers is an example of a topological space that is metrizable but not completely metrizable.

See also


  • {{#invoke:citation/CS1|citation

|CitationClass=book }}