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] injective images of Baire space (Theorem)

Every uncountable Polish space is, up to a countable subset, an injective image of Baire space $\mathcal{N}$

Theorem   Let $X$ be an uncountable Polish space. Then, there is a one-to-one and continuous function $f\colon\mathcal{N}\rightarrow X$ such that $X\setminus f(\mathcal{N})$ is countable.

Although the inverse $f^{-1}\colon f(\mathcal{N})\rightarrow \mathcal{N}$ will not generally be continuous, it is at least Borel measurable. It can be shown that this is true for all one-to-one and continuous functions between Polish spaces, although here it follows directly from <</A>75#>the construction of $f$ http://planetmath.org/encyclopedia/ProofOfInjectiveImagesOfBaireSpace.html.




"injective images of Baire space" is owned by gel.
(view preamble | get metadata)

View style:

See Also: Baire space is universal for Polish spaces, spaces homeomorphic to Baire space

Keywords:  Polish space

This object's parent.

Attachments:
proof of injective images of Baire space (Proof) by gel
Log in to rate this entry.
(view current ratings)

Cross-references: Borel measurable, inverse, continuous function, one-to-one, subset, countable, Polish space, uncountable
There are 2 references to this entry.

This is version 3 of injective images of Baire space, born on 2009-01-31, modified 2009-02-09.
Object id is 11582, canonical name is InjectiveImagesOfBaireSpace.
Accessed 306 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)