Completely metrizable space

Completely metrizable space

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 \mathbb{Q} of rational numbers is an example of a topological space that is metrizable but not completely metrizable.

See also

References

  • Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.