A homeomorphism on a dense set in Hausdorff space

387 Views Asked by At

Let $X$ be a Hausdorff space, $D \subset X$ be a dense set, and $f:X \rightarrow Y$ be a continuous function such that $f|_D:D \rightarrow f(D)$ is a homeomorphism.

Show that $f(X \setminus D) \subset Y \setminus f(D)$.


Here is what I've managed to show so far:

1.

$f(D)$ is dense in $f(X)$: Let $V \subset f(X)$ be an open set. Then $f^{-1}(V)$ is also open by continuity of $f$. $D$ is dense in $X$. Hence, there exists $d \in D \cap f^{-1}(V)$. So $f(d) \in f(D) \cap V$.

2.

$f(D)$ has the Hausdorff (H) property: $D \subset X$ has H in it's topology. By Homeomorphism, $f(D)$ has H as well.

1

There are 1 best solutions below

2
On BEST ANSWER

If $f(x)=f(y)$ for $x\in X-D$, $y\in D$, then $f(x_{\delta})\rightarrow f(x)$ for a net $(x_{\delta})\subseteq D$ such that $x_{\delta}\rightarrow x$, so $f(x_{\delta})\rightarrow f(y)$. Since $f|_{D}$ is a homeomorphism, then $x_{\delta}\rightarrow y$, but $X$ is Hausdorff, so $x=y$, a contradiction.