Polish space: Difference between revisions
No edit summary |
No edit summary |
||
| Line 12: | Line 12: | ||
* [[Completely metrizable space]] | * [[Completely metrizable space]] | ||
* [[Second-countable space]] | * [[Second-countable space]] | ||
==Facts== | |||
Any two uncountable Polish spaces are Borel-isomorphic, and hence, have the cardinality of the continuum. | |||
{{further|[[Borel isomorphism theorem]]}} | |||
Revision as of 20:13, 11 December 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 Polish space is a separable completely metrizable topological space.
Relation with other properties
Weaker properties
Facts
Any two uncountable Polish spaces are Borel-isomorphic, and hence, have the cardinality of the continuum.
Further information: Borel isomorphism theorem