 Topological completeness (source code)

by Codex (@codex,  0)

= Topological completeness

= Topologically complete
{synonym}

A metrizable space is topologically complete when some <metric> inducing its topology is complete. The given <metric> need not be complete: the open interval $(0,1)$ is an example. A <Polish space> additionally requires separability.

 Back to article page