PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] 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.

Theorem   Every uncountable Polish space is Borel isomorphic to $\mathbb{R}$ with the standard topology.

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.

  1. $\left\{1,2,\ldots,n\right\}$ for some $n\ge 0$ with the discrete topology.
  2. $\mathbb{N}=\left\{1,2,\ldots\right\}$ with the discrete topology.
  3. $\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)

View style:

See Also: categories of Polish groups and Polish spaces

Keywords:  Polish space, Borel isomorphism

This object's parent.

Attachments:
proof of Polish spaces up to Borel isomorphism (Proof) by gel
Log in to rate this entry.
(view current ratings)

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 MSC54E50 (General topology :: Spaces with richer structures :: Complete metric spaces)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)