If $f: X \to Y$ is continuous and $E \subseteq X$ is closed and bounded, $f(E)$ is closed and bounded?

2.1k Views Asked by At

I'm trying to think of a counterexample to the claim if $f: X \to Y$ is continuous and $E \subseteq X$ is closed and bounded $f(E)$ is closed and bounded. Here, $X$ and $Y$ are metric spaces. Obviously, in Euclidean spaces this would be true, since continuity preserves compactness and compactness is equivalent to closed and bounded by Heine-Borel.

Help is appreciated.

2

There are 2 best solutions below

2
On

Let $X=Y=\Bbb{R}$ and $f$ be the identity. Equip $Y$ with the standard metric and $X$ with the bounded metric $d(x,y)=\min(|x-y|,1)$. Then $f$ is continuous, and $X$ is closed and bounded (as a subset of itself) but its image $Y$ is not bounded.

More examples: $X=(0,1)$, $Y=\Bbb{R}$, $f(x)=1/x$, $E=X$. Here the image is neither closed nor bounded.

$X=(0,1)$, $Y=\Bbb{R}$, $f(x)=x$, $E=X$. Here the image is bounded but not closed.

4
On

Actually you need a stronger condition on the metric space, namely total boundedness. This property says that for every $\epsilon>0$, there exists finitely many balls of radius $\epsilon$ such that their union covers the whole space. The proof is this:

Let $(M,d_1)$ total bounded metric space, and $f:M\rightarrow N$ a uniformly continuous function, and $E\subseteq M$ closed and bounded, choose a finite set of pairs $(x_i,\epsilon_i)$ with $x_i\in f(E)$ and $\epsilon_i>0$, in a way that the set of open sets $f^{-1}(B(x_i,\epsilon_i))$ cover $E$, it can be done for the condition of total boundedness and uniformly continuity. This says that $f(E)$ is bounded.

But as Chris Eagle showed, the set $f(E)$ need not be closed.