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
- Wilard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.