I'm trying to think of an example of a continuous function $f:\mathbb{R} \to \mathbb{R}$ such that $f^{-1}(X)$ is not compact but $ X \subset \mathbb{R}$ is compact. Any ideas?
Is the pre-image of a compact space compact?
4
$\begingroup$
general-topology
compactness
-
3$f(x) = \arctan(x)$, $X=[-\pi/2,\pi/2]$. More generally, *any* bounded function will work: if $-M\leq f(x)\leq M$ for every $x\in \mathbb{R}$, then $f^{-1}([-M,M])=\mathbb{R}$ is not compact. – 2012-03-05
-
1http://en.wikipedia.org/wiki/Proper_map – 2012-03-05
-
0@Arturo: this suggests, if I haven't missed something, that a continuous , bounded map:f:X-->Y ; Y metric, with f(X) closed, cannot have a continuous inverse (since continuous image takes compact to compact). – 2012-03-05
-
0@AQP: Depends on what you mean by inverse. If you mean, a map $\mathbb{R}\to \mathbb{R}$ that is a two-sided inverse, you already knew that because a bounded map cannot be onto. – 2012-03-05
-
0@Arturo. Right, I missed that obvious point. – 2012-03-05
3 Answers
27
What about the the constant function $f(x)=0$?
4
Note that if $X$ is compact, it is closed, and so $f^{-1}(X)$ is closed. Now take your favourite set that is closed but not compact, call that $B$, and let $f(x) = \text{dist}(x,B)$. That is a continuous function on $\mathbb R$, and $B = f^{-1}(\{0\})$.
1
Consider the continuous function $\sin x$