Intereting Posts

Find All $x$ values where $f(x)$ is Perfect Square
How to find ${\large\int}_0^1\frac{\ln^3(1+x)\ln x}x\mathrm dx$
Subspace of Noetherian space still Noetherian
What is the explanation for this visual proof of the sum of squares?
A locally compact subset of a locally compact Hausdorff space is locally closed
Generalized rotation matrix in N dimensional space around N-2 unit vector
Is $ 0.112123123412345123456\dots $ algebraic or transcendental?
Characterization convex function.
Counting number of $k$-sequences
$B – A \in S^n_{++}$ and $I – A^{1/2}B^{-1}A^{1/2} \in S^n_{++}$ equivalent?
Is the function $e^{-|x|^k}$ analytic on any interval not containing zero?
Closure of the invertible operators on a Banach space
How many equivalence relations are there on the set $\{1,2,3\}$?
The case of Captain America's shield: a variation of Alhazen's Billard problem
Getting started with Lie Groups

I’ve been trying to prove that every Polish Space is homeomorphic to a $G_\delta$ subspace of the Hilbert Cube. There is a hint saying that given a countable dense subset of the Polish space $\{x_n : n\in\mathbb{N}\}$ define the function $f(x)=(d(x,x_n))_{n\in\mathbb{N}}$ (where $d$ is a metric on the Polish space). I think I’ve shown that $f$ is continuous and $1-1$ but I don’t know how to prove that the converse of the function is continuous and that the image is a $G_\delta$ set. It’s been a really long time since I’ve dealt with topology so I’m having a hard time coming up with any idea and I’m afraid I’ve forgotten some well known topological fact (so maybe it’s something obvious here I’m not seeing). Any help on how to proceed would be kindly appreciated.

- Are compact subsets of $\mathbb{R}$ with the compact complement topology closed?
- Reference for a proof of the Hahn-Mazurkiewicz theorem
- Is this hierarchy of manifolds correct?
- cauchy sequence on $\mathbb{R}$
- Showing that projections $\mathbb{R}^2 \to \mathbb{R}$ are not closed
- Is $2^\infty$ uncountable and is cardinality a continuous function?
- Best book for topology?
- How to complete this proof to show that the metric $d'(x,y) = d(x,y) / (1 + d(x,y))$ gives the same topology as $d(x,y)$ gives?
- Calculate the number $o(\mathbb{R})$ of open subsets of the real line.
- How to prove closure of $\mathbb{Q}$ is $\mathbb{R}$

I take it that you’ve already normalized $d$ such that $0 \leq d \leq 1$ (otherwise replace $d$ by $\frac{d}{1+d}$).

As you’ve said, the function $f: x \mapsto f(x) = (d(x,x_{n}))_{n \in \mathbb{N}}$ is continuous and injective. Let $f(y_{m}) \to f(y)$ be a convergent sequence in $f(X)$. We want to show that $y_{m} \to y$.

By definition of the product topology, we have $d(y_{m},x_{n}) \xrightarrow{m \to \infty} d(y,x_{n})$ for all $n$. Let $\varepsilon > 0$ and pick a point $x_{n}$ such that $d(y,x_{n}) < \varepsilon/3$ by density. Since $d(y_{m},x_{n}) \to d(y,x_{n})$, there is $M$ such that $|d(y_{m},x_{n}) – d(y,x_{n})| < \varepsilon /3$ for all $m \geq M$, so $d(y_{m},x_{n}) < 2 \varepsilon /3$. But then $d(y_{m},y) \leq d(y_{m},x_{n}) + d(x_{n},y)< \varepsilon$ and hence $y_{m} \to y$.

Why is the image a $G_{\delta}$-set? This seems to be much more difficult. I don’t see any easier way than to essentially re-prove two classical results on metric spaces which are much more interesting, so I prefer to explain this:

**Theorem (Kuratowski)**

Let $A \subset X$ be a subset of a metrizable space and let $g: A \to Y$ be a continuous map to a completely metrizable space $Y$. Then $g$ can be continuously extended to a $G_{\delta}$-set containing $A$.

Fix a bounded and complete metric on $Y$. For the proof we need the notion of *oscillation* of $g$ at a point $x \in \overline{A}$ (the closure of $A$ in $X$) defined by

$$\displaystyle

\operatorname{osc}_{g}(x) = \inf\{\operatorname{diam}g(U \cap A)\,:\, x \in U, \;U\; \text{open}\}.

$$

The set $B = \{x \in \overline{A}\,:\,\operatorname{osc}_{g}(x) = 0\}$ is a $G_{\delta}$-set. To see this, note that $B_{n} = \{x \in \overline{A} \,:\, \operatorname{osc}_{g}(x) < \frac{1}{n}\}$ is an open subset of the closed set $\overline{A}$ and $B = \bigcap_{n \in \mathbb{N}} B_{n}$. The continuity of $f$ implies that $A \subset B$. Now define $f: B \to Z$ by $f(x) = \lim g(x_{n})$, where $x_{n} \to x$. It is not hard to show that $f$ is well-defined (because $\operatorname{osc}_{g}(x) = 0$ implies that $g(x_{n})$ is a Cauchy-sequence) and clearly $f$ extends $g$ and is continuous.

The second ingredient we need is:

**Theorem (Lavrentiev)**

Let $X$ and $Y$ be completely metrizable spaces and let $g: A \to B$ be a homeomorphism from $A \subset X$ onto $B \subset Y$. Then there exist $G_{\delta}$-sets $G \supset A$ and $H \supset B$ and a homeomorphism $f: G \to H$ extending $g$.

Let $h = g^{-1}$. Choose $G_{\delta}$-sets $G' \supset A$ and $H' \supset B$ and continuous extensions $g': G' \to Y$ and $h': H' \to X$ by Kuratowski’s theorem. Let $Z = \operatorname{graph}(g') \cap \widetilde{\operatorname{graph}}(h') \subset X \times Y$ be the intersection of the graphs (the tilde indicates the ‘switch’ $\widetilde{(y,x)} = (x,y)$ of coordinates) and let $G = \operatorname{pr}_{X} (Z)$ and $H = \operatorname{pr}_{Y}(Z)$. Obviously, $f = g'|_{G}$ is a homeomorphism of $G$ onto $H$. One can check that $H$ (and thus also $G$ by symmetry) is a $G_{\delta}$-set as follows: The graph of $g'$ is closed in $G' \times Y$ and thus it is a $G_{\delta}$-set and $H$ is its preimage under the continuous map $y \mapsto (h'(y),y)$.

**Corollary.** If $Y$ is a completely metrizable space and $X \subset Y$ a completely metrizable subspace then $X$ is a $G_{\delta}$-set.

By Lavrentiev’s theorem, the inclusion $X \subset Y$ extends to a homeomorphism onto its image.

A further corollary of these ideas is that a subset of a Polish space is Polish if and only if it is a $G_{\delta}$.

More detailed information can be found in any decent book on descriptive set theory, for instance Kechris, *Classical descriptive set theory*, or Srivastava, *A course on Borel sets*, both appeared in the Springer Graduate Texts in Mathematics series.

- Symmetry in inequalities.
- Categorical introduction to Algebra and Topology
- The Main Theorems of Calculus
- proof for $ (\vec{A} \times \vec{B}) \times \vec{C} = (\vec{A}\cdot\vec{C})\vec{B}-(\vec{B}\cdot\vec{C})\vec{A}$
- Find formula for number of dominated vectors in partial order
- Prove that a continuous function $f:\mathbb R\to \mathbb R$ is injective if and only if it has no extrema
- How to tile a sphere with points at an even density?
- Why is a set of orthonormal vectors linearly independent?
- Can one differentiate an infinite sum?
- Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.
- nonstandard example of smooth function which fails to be analytic on $\mathbb{R}$
- “The set of all true statements of first order logic”
- Does having a codimension-1 embedding of a closed manifold $M^n \subset \mathbb{R}^{n+1}$ require $M$ to be orientable?
- Form of rational solutions to $a^2+b^2=1$?
- Proving replacement theorem?