Continuous Images of Compact Spaces

Introduction: Why compactness matters 🌟

students, in this lesson you will learn one of the most useful facts in topology: if a space is compact, then its continuous image is also compact. This idea appears all over mathematics because it lets us move from a space we understand to another space built from it, while keeping a powerful property. Compactness often acts like a “safety net” that guarantees good behavior, such as the existence of maxima and minima in familiar settings. 📌

By the end of this lesson, you should be able to:

explain what it means for a space to be compact,
state the theorem about continuous images of compact spaces,
use the theorem in examples,
understand why this result is important in the broader study of compactness in topology.

A simple real-world picture helps: imagine a compact space like a neatly packaged set of points. A continuous map is like gently stretching or bending that package without tearing it. The image may look very different, but compactness survives the process.

What compactness means

To understand the theorem, students, we first need the meaning of compactness. A topological space $X$ is compact if every open cover of $X$ has a finite subcover.

That means: if we cover all of $X$ by open sets, then only finitely many of those open sets are needed to still cover $X$.

Here is the formal idea:

X \text{ is compact if whenever } X \subseteq \bigcup_{i \in I} U_i \text{ with each } U_i \text{ open, there exist } i_1,$\dots$,i_n $\in$ I \text{ such that } X \subseteq U_{i_1} \cup $\cdots$ \cup U_{i_n}.

This definition works in any topological space, not just in the real numbers. In $\mathbb{R}^n$, compactness is closely related to being closed and bounded, but that is a special fact for Euclidean space, not for all spaces.

Example: the closed interval $[0,1]$ is compact in the usual topology on $\mathbb{R}$. If you try to cover it with open intervals, finitely many will always be enough. This fact is one reason $[0,1]$ is so important in calculus and analysis.

The main theorem: continuous images preserve compactness

Now to the central result.

If $f : X \to Y$ is continuous and $X$ is compact, then $f(X)$ is compact.

In words: the continuous image of a compact space is compact. This is one of the most important preservation properties in topology. It tells us compactness is stable under continuous maps.

Let’s write the theorem clearly:

\text{If } X \text{ is compact and } f : X $\to$ Y \text{ is continuous, then } f(X) \text{ is compact.}

Why it is true

students, here is the key idea behind the proof.

Suppose $\{V_i\}_{i \in I}$ is an open cover of $f(X)$. Then every point of $f(X)$ lies in some $V_i$. Because $f$ is continuous, the preimage $f^{-1}(V_i)$ is open in $X$ for each $i$.

Also, the sets $f^{-1}(V_i)$ cover $X$, because every point $x \in X$ maps to $f(x) \in f(X)$, and that point must lie in some $V_i$.

So we get an open cover of $X$:

$X \subseteq \bigcup_{i \in I} f^{-1}(V_i).$

Since $X$ is compact, there are finitely many indices $i_1,\dots,i_n$ such that

X \subseteq f^{-1}(V_{i_1}) \cup $\cdots$ \cup f^{-1}(V_{i_n}).

Applying $f$, this means

f(X) \subseteq V_{i_1} \cup $\cdots$ \cup V_{i_n}.

So the original open cover of $f(X)$ has a finite subcover, which proves that $f(X)$ is compact.

This argument is elegant because it uses continuity exactly where it is needed: to turn open sets in $Y$ into open sets in $X$.

Examples that make the theorem feel real

Example 1: A stretched circle 🎯

Let $X$ be the unit circle in the plane, and let $f$ be a continuous map that sends each point on the circle to its $x$-coordinate. Then $f(X) = [-1,1]$.

The circle is compact because it is closed and bounded in $\mathbb{R}^2$. Since $f$ is continuous, its image $[-1,1]$ is compact in $\mathbb{R}$.

This matches what you already know from calculus: continuous functions on closed intervals behave nicely, and here we see a similar idea from a more general point of view.

Example 2: A constant map

Let $X$ be any compact space, and define $f : X \to Y$ by $f(x) = y_0$ for some fixed point $y_0 \in Y$.

The image is just the one-point set $\{y_0\}$. Any singleton set is compact, because every open cover of a single point has a finite subcover immediately. So the theorem holds in a very simple way.

Example 3: Projection from a product

If $X$ and $Y$ are spaces, the projection map $\pi_X : X \times Y \to X$ defined by $\pi_X(x,y) = x$ is continuous. If $X \times Y$ is compact, then $X$ is compact because $X$ is the continuous image of $X \times Y$ under $\pi_X$.

This is one reason continuous images matter so much: they let us transfer compactness from a bigger space to a smaller one.

How to use the theorem in problem solving

When you see a compactness question, students, ask yourself two things:

Is there a compact space in the problem?
Is there a continuous map from that space to the space you care about?

If the answer to both is yes, then the image is compact.

A common strategy is:

identify a known compact space,
verify the function is continuous,
describe the image,
conclude the image is compact.

For example, suppose $g : [0,1] \to \mathbb{R}$ is continuous. Then $g([0,1])$ is compact. Since compact subsets of $\mathbb{R}$ are closed and bounded, this tells us $g([0,1])$ must be closed and bounded.

That gives a powerful version of the Extreme Value Theorem: a continuous function on $[0,1]$ achieves a maximum and minimum because its image is compact.

Common misconceptions to avoid

A few ideas can be confusing at first.

Misconception 1: The image of a compact set under any map is compact

This is false. The map must be continuous. Without continuity, a compact set can be sent to a non-compact set.

Misconception 2: Compactness always means closed and bounded

That is only true in $\mathbb{R}^n$ with the usual topology. In general topological spaces, compactness must be defined using open covers.

Misconception 3: A continuous image must preserve every property

Continuity preserves compactness, but not everything. For example, continuity does not automatically preserve injectivity, openness, or closedness in full generality.

Keeping these distinctions clear will help you solve topology problems more accurately.

Conclusion

The theorem about continuous images of compact spaces is one of the most useful tools in topology. If $X$ is compact and $f : X \to Y$ is continuous, then $f(X)$ is compact. The proof works by pulling back open covers through continuity and using the compactness of $X$.

students, this result connects compactness to many later ideas in the topic of Compactness II, including products of compact spaces and comparisons with closed and bounded sets. It is a foundational fact because it lets us move compactness through continuous maps and still keep the property intact. 🌍

Study Notes

A space $X$ is compact if every open cover of $X$ has a finite subcover.
If $f : X \to Y$ is continuous and $X$ is compact, then $f(X)$ is compact.
The proof uses preimages of open sets: continuity turns open covers of $f(X)$ into open covers of $X$.
Compactness is preserved under continuous images, but not under arbitrary maps.
In $\mathbb{R}^n$, compact means closed and bounded, but that is special to Euclidean spaces.
If $g : [0,1] \to \mathbb{R}$ is continuous, then $g([0,1])$ is compact, so it is closed and bounded.
The theorem helps explain why continuous functions on compact sets often have maxima and minima.
Continuous images of compact spaces are a core idea in Compactness II and are used in later results about products and related properties.