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!
 A: 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 \cdots\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 \cdots\cup V_{a_n}.$$ Hence, $f(X)$ is compact.
A: 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 :).
A: Lindsay, what you need is the intermediate value theorem, its proof is given in wikipedia.
