Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Give an example of a non compact $X$ and sets $C$ and $U$ such that there is no $V$ satisfying the following

Let $X$ and $Y$ be metric spaces, with $X$ compact, and $f: X \to Y$ continuous. Let $C$ be a closed subset of $Y$. Then for any open neighboorhood $U$ of $f^{-1}(C)$, there is an open neighborhood $V$ of $C$ such that $f^{-1}(V) \subset U$.

This is a sequel of this question.

When $X$ is not compact, $f(U^c)$ may be open.
I can't find a concret example.

share|cite|improve this question
up vote 1 down vote accepted

HINT: Let $X=\left\{\langle x,y\rangle\in\Bbb R^2:y>0\right\}$ and $Y=\Bbb R$, and define $f:\Bbb R^2\to\Bbb R$ by $f\big(\langle x,y\rangle\big)=x$. Let $C=\{0\}$. Clearly $f^{-1}[C]$ is the positive $y$-axis in the plane. If $V$ is an open nbhd of $0$ in $\Bbb R$, $f^{-1}[V]$ contains a set of the form $(a,b)\times(0,\to)$, where $a<0<b$. Can you find an open nbhd of the positive $y$-axis that does not contain any set of the form $(a,b)\times(0,\to)$ with $a<0<b$? (Think about the graph of $y=\frac1{x^2}$.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.