You are here
Home ›Polish spaces up to Borel isomorphism
Primary tabs
Polish spaces up to Borel isomorphism
Two topological spaces and are Borel isomorphic if there is a Borel measurable function with Borel inverse. Such a function is said to be a Borel isomorphism. The following result classifies all Polish spaces up to Borel isomorphism.
Theorem.
Every uncountable Polish space is Borel isomorphic to with the standard topology.
As the Borel -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.
1. for some , with the discrete topology.
2. with the discrete topology.
3. 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.
Mathematics Subject Classification
54E50 Complete metric spaces- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new correction: typo? by Filipe
May 22
new question: Linear Algebra Combination Problem! by Aleph Zero
new question: Computation of $\varphi(2000)$ by unlord
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


