# Proving continuous image of compact sets are compact

How to prove: Continuous function maps compact set to compact set using real analysis?

i.e. if $f: [a,b] \rightarrow \mathbb{R}$ is continuous, then $f([a,b])$ is closed and bounded.

I have proved the bounded part. So now I need some insight on how to prove $f([a,b])$ is closed, i.e. $f([a,b])=[c,d]$. From Extreme Value Theorem, we know that $c$ and $d$ can be achieved, but how to prove that if $c < x < d$, then $x \in f([a,b])$ ?

Thanks!

-
Use the fact that $f$ is continuous plus the Mean Value Theorem (I'm not sure if this is the actual name in english, sorry). – Leonardo Fontoura Mar 12 '11 at 4:38
@Leonardo: The Mean Value Theorem says that if $f$ is continuous on $[a,b]$ and differentiable on $(a,b)$, then there exists $c\in(a,b)$ such that $f'(c)(a-b) = f(a)-f(b)$. I think you mean the Intermediate value theorem, which says that if $f$ is continuous on $[a,b]$, and $f(a)\leq k\leq f(b)$, then there exists $c\in[a,b]$ such that $f(c)=k$. – Arturo Magidin Mar 12 '11 at 4:40
@Lindsay: So you want to show that for every point $k$ between $c$ and $d$, there is a point $c$ in $[a,b]$ such that $f(k)=c$... Sounds like the Intermediate Value Theorem to me... – Arturo Magidin Mar 12 '11 at 5:00
May I ask why you are not trying to prove this using the very definitions of compactness and continuity? E.g., start with an open covering of the image of $f$, pull it back to an open cover of the domain of $f$, extract a finite subcover, and so forth. Isn't this more straightforward than going through (twice!) the Heine-Borel characterization of compact subsets of $\mathbb{R}^n$ as those that are closed and bounded? – Pete L. Clark Mar 12 '11 at 5:21
I agree with Peter (since I just was reviewing my notes on this yesterday). Open cover, then finite subcover. Triangle inequality somewhere in there... – The Chaz 2.0 Mar 12 '11 at 5:35

Lindsay, what you need is the intermediate value theorem, its proof is given in wikipedia.

-

Let $\{V_a\}$ be an open cover of $f(X)$. Since $f$ is continuous, we know that each of the sets $f^{-1}(V_a)$ is open. Since $X$ is compact, there are finitely many indices $a_1,...,a_n$ such that $$X\subset f^{-1}(V_{a_1})\cup ...\cup f^{-1}(V_{a_n}).$$ Since $f(f^{-1}(E))\subset E$ for every $E\subset Y$, the above implies that $$f(X)\subset V_{a_1}\cup...\cup V_{a_n}.$$ Hence, $f(X)$ is compact.

-

I feel using the sequence definition is far easier to understand is much more intuitive, and the proof is nice and clean. But be careful when making the statement that being closed and bounded implies compactness, because this only holds in Euclidean space (see Heine-Borel Theorem for more about this).

Let $f:M\to N$ be a continuous function and $M$ be a compact metric space. Now let $(y_n)$ be any sequence in $f(M)$ (the image of $f$). We need to show that there exists a subsequence $y_{n_{k}}$ that converges to some $y \in f(M)$ as $k\to \infty$.

We choose a sequence $(x_n)\in M$, and since $M$ is compact by definition we have that there exists a subsequence $(x_{n_{k}})$ which converges to some $p\in M$ as $k \to \infty$. Given that a continuous function preserves the convergence of sequences i.e. if $(x_n) \to p$ in $M$, then $f((x_n)) \to f(p)$ in the image, we have that $f((x_{n_{k}})) \to f(p)$. Since $f(p) \in f(M)$, we have that our image is compact and we obtain our desired result.

Hopefully this helps, and feel free to ask any more questions :).

-