Completely metrizable space: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
A [[topological space]] is said to be '''completely metrizable''' if it arises as the topological space of a [[complete metric space]], viz a metric space in which every Cauchy sequence converges. | A [[topological space]] is said to be '''completely metrizable''' (sometimes, '''topologically complete''') if it arises as the topological space of a [[complete metric space]], viz a metric space in which every Cauchy sequence converges. | ||
==Relation with other properties== | ==Relation with other properties== | ||
Revision as of 22:23, 27 October 2007
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
Definition
A topological space is said to be completely metrizable (sometimes, topologically complete) if it arises as the topological space of a complete metric space, viz a metric space in which every Cauchy sequence converges.