injective images of Baire space

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 the construction of $f$ (http://planetmath.org/ProofOfInjectiveImagesOfBaireSpace).

单词	InjectiveImagesOfBaireSpace
释义	injective images of Baire space 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 the construction of $f$ (http://planetmath.org/ProofOfInjectiveImagesOfBaireSpace).
随便看	EquilateralTriangle equilateral triangle EquilibriumPoint equilibrium point EquitableMatricesOfOrder2 equitable matrices of order 2 EquitableMatrix equitable matrix EquitableMatrixForMoneyExchange equitable matrix for money exchange EquivalenceBetweenTheMinorAndTopologicalMinorOfK5OrK33 equivalence between the minor and topological minor of K_5 or K_{3,3} equivalence between the minor and topological minor of K_5 or K_{3,3} EquivalenceBetweenTheMinorAndTopologicalMinorOfK5OrK331 EquivalenceClass equivalence class EquivalenceClassOfEquinumerousSetsIsNotASet equivalence class of equinumerous sets is not a set EquivalenceOfDefinitionsOfCalgebra equivalence of definitions of C^*-algebra EquivalenceOfForcingNotions equivalence of forcing notions EquivalenceOfFormClassGroupAndClassGroup equivalence of form class group and class group EquivalenceOfHausdorffsMaximumPrincipleZornsLemmaAndTheWellorderingTheorem