Maths WorkshopMaths problems with full solutions
Exercise 1601Calculus › Multivariable calculus › ContinuityL1Added 3 Nov 2026

Image of a compact set under a continuous function

#compactness#continuous image#extrema

Statement

Show that the image of a compact set by a continuous map is compact.

Hint

Use sequential compactness; continuous images of convergent sequences converge.

Show solutionHide solution

Solution

Image of compact. Let KK compact and ff continuous. Fix a sequence yny_n in f(K)f(K). There is xn∈Kx_n \in K such that yn=(f(xn))y_n = (f(x_n)). By compacity of KK, we can extract a subsequence (xnk)⊂(xn)(x_{n_k}) \subset (x_n) such that xnk→x∈Kx_{n_k} \to x\in K. Since ff is continuous, we have ynk=f(xnk)→f(x)∈f(K)y_{n_k} = f(x_{n_k})\to f(x)\in f(K). Any sequence of f(K)f(K) has a converging subsequence, hence f(K)f(K) is compact.