3
$\begingroup$

The Urysohn's metrization theorem states that for any second countable and regular $(X,\tau)$ there exists a topological embedding $f:X\to [0,1]^{\mathbb{N}}$.

What puzzles me is not the theorem itself, but why (and if) $f$ can be chosen so that the image $f(X)$ is a Borel subset of $[0,1]^{\mathbb{N}}$. This is something that is not clear to me from the proof itself and I've been looking for some nice arguments of how to show this, if such exists. As Martin pointed out in the comments, if we know that $X$ is also completely metrizable then $f$ can be chosen so that $f(X)$ is Borel. But is $N_{2}$ and $T_{3}$ enough?

If such $f$ would exist, would it follow nicely from some topological arguments? Or do we have to explicitly define the metric in $[0,1]^{\mathbb{N}}$ and work it out with the function $f$? Also, in case the proof is very lengthy, I would really appreciate if you could include the book where I could find the full proof and its details so I can study it. For that reason I included the reference-request tag as well.

Thanks for all in advance.

  • 2
    Is this really true? If you take $X$ to be **any** subset of $[0,1]^{\mathbb N}$, then $X$ is regular and second countable, but you cannot expect it to be Borel... yet, the inclusion map $f: X\hookrightarrow [0,1]^{\mathbb N}$ is certainly an embedding. Maybe $f(X)$ being Borel really comes from the way one usually constructs this embedding $f$? It doesn't seem to be true for any old embedding.2012-12-21
  • 0
    @SamL. Very nice point that you're saying. It also answers one part of my question. Namely, that it does not follow from the topological properties as they stand, but explicitly from the choice of $f$. And the proof that I am looking at uses Urysohn's lemma countably many times appropriately with second countability of $X$, and does not give the explicit function. However, I am looking at some other results in measure theory that use this property quite freely. E.g. when embedding a Polish space to the Hilbert cube and assuming that $f(X)$ is a measurable set respect to a strict Borel measure.2012-12-22
  • 0
    In response to the last sentence of your comment: A subspace of a Polish space is *completely* metrizable if and only if it is a $G_\delta$. So if you have an embedding of a Polish space into the Hilbert cube, its image must be a $G_\delta$. This is a classic consequence of theorems of Kuratowski, Lavrentiev and Marczewski. Here's [a thread](http://math.stackexchange.com/q/19344/) discussing this. In some books this is treated under the heading "absolute $G_\delta$'s" (which was the terminology used by the Polish school).2012-12-22
  • 0
    @Martin. Thanks. I knew the connection of $G_{\delta}$ sets and completely metrizable sets, but it didn't occur to me to use it in this context. This is in fact a very nice a way of proving this. Do you think that $N_{2}$ and $T_{3}$ are alone enough for $f(X)$ to be Borel? I think I will slightly rephrase my question in this thread.2012-12-22
  • 2
    I'm not sure what you mean by $N_2$ and $T_3$. A Borel subset of a Polish space is in particular [analytic](http://en.wikipedia.org/wiki/Analytic_set), which forces your space to be a [Suslin space](http://en.wikipedia.org/wiki/Polish_space#Suslin_spaces). Continuous images of Suslin spaces are analytic (essentially by definition). So, if you take a non-analytic subset of the Hilbert cube (there are such sets for cardinality reasons), then there's no hope to embed it as a Borel set.2012-12-22
  • 0
    @Martin By $N_{2}$ I meant second countability and by $T_{3}$ regularity. And thanks a lot, your comments have been a valuable input to this question.2012-12-22

1 Answers 1