show/hide this revision's text 2 mathjax/tex and tag

Let X, Y $X, Y$ be two metric spaces and f $f$ be a continuous bijection (i.e. one-to-one map) from X $X$ to Y. $Y$. Let E $E$ be a G_\delta $G_{\delta}$ subset of X. $X$. I want to know weather the image f(E) $f(E)$ is also a G_\delta $G_{\delta}$ subset of Y. $Y$. Thanks!

show/hide this revision's text 1

On the image of a G_\delta set under a continuous bijection

Let X, Y be two metric spaces and f be a continuous bijection (i.e. one-to-one map) from X to Y. Let E be a G_\delta subset of X. I want to know weather the image f(E) is also a G_\delta subset of Y. Thanks!