|
|
|
|
Polish spaces up to Borel isomorphism
|
(Theorem)
|
|
|
Two topological spaces $X$ and $Y$ are Borel isomorphic if there is a Borel measurable function $f\colon X\rightarrow Y$ with Borel inverse. Such a function is said to be a Borel isomorphism. The following result classifies all Polish spaces up to Borel isomorphism.
As the Borel $\sigma$ algebra on any countable metric space is just its power set, this shows that every Polish space is Borel isomorphic to one and only one of the following.
- $\left\{1,2,\ldots,n\right\}$ for some $n\ge 0$ with the discrete topology.
- $\mathbb{N}=\left\{1,2,\ldots\right\}$ with the discrete topology.
- $\mathbb{R}$ with the standard topology.
In particular, two Polish spaces are Borel isomorphic if and only if they have the same cardinality, and any uncountable Polish space has the cardinality of the continuum.
|
"Polish spaces up to Borel isomorphism" is owned by gel.
|
|
(view preamble | get metadata)
Cross-references: cardinality of the continuum, cardinality, discrete topology, power set, metric space, standard topology, Polish space, uncountable, Borel measurable function, topological spaces
There are 3 references to this entry.
This is version 3 of Polish spaces up to Borel isomorphism, born on 2009-01-27, modified 2009-01-27.
Object id is 11578, canonical name is PolishSpacesUpToBorelIsomorphism.
Accessed 369 times total.
Classification:
| AMS MSC: | 54E50 (General topology :: Spaces with richer structures :: Complete metric spaces) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|