Polish space: Difference between revisions
No edit summary |
m (2 revisions) |
||
| (One intermediate revision by the same user not shown) | |||
| 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]]}} | |||
Latest revision as of 19:57, 11 May 2008
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