4
$\begingroup$

I know that there is a topological space $X$ which is not compact but such that , for any Hausdorff topological space $Y$ , any continuous function $f:X \to Y$ carries closed sets to closed sets . I would like to ask , Does there exist any non-compact metric space $X$ such that , for any Hausdorff topological space $Y$ , any continuous function $f:X \to Y$ carries closed sets to closed sets ?

$\endgroup$
6
$\begingroup$

We have the following result in Set Topology:

Prop. Let $X$ be a space with the two properties that:
(i) each point has a neighborhood basis of closed neighborhoods ($X$ is regular), and
(ii) every continuous image of it in a Hausdorff space is closed.
Then $X$ is compact.

Proof. Suppose first $X$ is Hausdorff (the case of metric spaces). Let $\{U_i\}$ an open cover of $X$. By (i), every $x\in X$ has an open neighborhood $V^x$ with $\overline{V^x}\subset U_{i(x)}$. Define a Hausdorff space à la Alexandroff: $X^*=X\cup\{\omega\}$ adding to the topology of $X$ the open nbdhs for $\omega$: $$ U^\omega=X^*\setminus\bigcup_{\text{finite}}\overline{V^x}. $$ Then $X^*$ is Hausdorff and by (ii) $X$ is closed in $X^*$. Thus $\omega$ is open, that is $$ \{\omega\}=X^*\setminus\bigcup_{\text{finite}}\overline{V^x}, \quad \text{so that} \quad X=\bigcup_{\text{finite}}\overline{V^x}\subset\bigcup_{\text{finite}}U_{i(x)}. $$ This completes the argument in the compact case.

In the general case, this hint: identify points in $X$ that cannot be separated in this sense: $x\equiv y$ iff every neighborhood of $x$ contains $y$ and every nbhd of $y$ contains $x$. The quotient $\widetilde X$is Hausdorff and all open sets are saturated. Then we can construct $\widetilde X^*$ to conclude. $\ \square$

In our case, $X$ is metric, hence Hausdorff and regular, and (ii) is weaker than every continuous mapping into a Hausdorff space is closed. Hence the answer to your question is no, there is no such a metric space.

$\endgroup$
  • 1
    $\begingroup$ I'll give some hint in the post. By the way, I don't understand the downvote... $\endgroup$ – Jesus RS Apr 13 '15 at 13:15
  • 1
    $\begingroup$ I agree, the downvotes seem unjustified. $\endgroup$ – Jonas Dahlbæk Apr 13 '15 at 13:17
  • 1
    $\begingroup$ It seems that some people enjoy downvote posts of other users without any reason. I find your answer correct and relevant --> upvote. $\endgroup$ – Nicolas Apr 13 '15 at 13:30
  • 1
    $\begingroup$ I'll edit a bit after your comment. $\endgroup$ – Jesus RS Apr 13 '15 at 14:16
  • 4
    $\begingroup$ Spaces with property (ii) are known as $H$-closed spaces, for those wishing to investigate further. $\endgroup$ – Brian M. Scott Apr 13 '15 at 17:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy