Compact Subsets in Topology

students, imagine trying to pack a backpack for school 🎒. You want to fit everything you need, but without leaving any important item outside. In topology, a compact subset is a set that behaves a bit like a perfectly packed backpack: it is small enough, in a very precise mathematical sense, that it can be controlled by finitely many open sets. This idea is one of the most important parts of Compactness I because it helps mathematicians understand when a space is manageable, bounded, and well-behaved.

Introduction: What You Will Learn

In this lesson, students, you will learn how to think about compact subsets using the language of open covers and topology. By the end, you should be able to:

Explain what a compact subset is and why the definition matters.
Use the open-cover idea to test whether a set is compact.
Recognize compact subsets in familiar spaces like $\mathbb{R}^n$.
Connect compact subsets to the bigger topic of compactness in topology.
Use examples and reasoning to justify when a subset is compact.

Compactness is not just a technical word. It is a powerful tool used in analysis, geometry, and many areas of mathematics. It often turns infinite problems into finite ones, which is a huge advantage 📌.

The Main Definition of a Compact Subset

Let $X$ be a topological space and let $K \subseteq X$. The set $K$ is called compact if every open cover of $K$ has a finite subcover.

This definition uses two important ideas:

An open cover of $K$ is a collection of open sets whose union contains $K$.
A finite subcover is a smaller collection from that cover, but with only finitely many sets, that still covers $K$.

In symbols, if $\{U_\alpha\}_{\alpha \in A}$ is a family of open sets with

$$K \subseteq \bigcup_{\alpha \in A} U_\alpha,$$

then compactness means there exist indices $\alpha_1, \alpha_2, \dots, \alpha_n$ such that

$$K \subseteq U_{\alpha_1} \cup U_{\alpha_2} \cup \cdots \cup U_{\alpha_n}.$$

This is the heart of the topic. The set may be covered by infinitely many open sets, but compactness says a finite number always suffices.

Why is this useful? Because finite collections are easier to handle than infinite ones. If students is trying to prove something about all points in a set, compactness can help reduce the problem to checking only finitely many pieces.

Understanding Open Covers Through Real-World Thinking

Think about a city map 🗺️. Suppose you want to cover every neighborhood in a small region of the city with service zones from several delivery centers. If the region is compact, then whenever the whole region is covered by many open zones, you can always choose only finitely many zones and still cover everything.

That idea is abstract, but the logic is similar:

The set is the region.
The open sets are the service zones.
The finite subcover is a smaller list of zones that still works.

This “finite control” is what makes compact subsets so useful.

A common mistake is to think compactness means the set has only finitely many points. That is false. For example, the closed interval $[0,1]$ in $\mathbb{R}$ is compact, even though it contains infinitely many points. So compactness is not about size in the ordinary sense. It is about how the set interacts with open covers.

Compact Subsets in Euclidean Spaces

In Euclidean spaces, compact subsets have a very friendly description. In $\mathbb{R}^n$, a subset is compact if and only if it is closed and bounded.

This is a major theorem in topology and analysis. It gives a practical way to identify compact subsets in familiar spaces.

What does bounded mean?

A set $K \subseteq \mathbb{R}^n$ is bounded if there exists some real number $M > 0$ such that every point of $K$ lies inside a ball of radius $M$ around the origin. In symbols,

$$K \subseteq \{x \in \mathbb{R}^n : \|x\| \le M\}.$$

So bounded means the set does not stretch off to infinity.

What does closed mean?

A set is closed if it contains all of its limit points. Another way to say this is that its complement is open.

A closed and bounded set is compact in $\mathbb{R}^n$, and every compact subset of $\mathbb{R}^n$ must also be closed and bounded.

Examples

The interval $[0,1]$ is compact in $\mathbb{R}$ because it is closed and bounded.
The interval $(0,1)$ is bounded but not closed, so it is not compact.
The set $[0,\infty)$ is closed but not bounded, so it is not compact.
The circle $\{(x,y) \in \mathbb{R}^2 : x^2 + y^2 = 1\}$ is compact because it is closed and bounded.

These examples show that both conditions matter.

Why Closed and Bounded Matter

students, it helps to understand why compact subsets in $\mathbb{R}^n$ must be closed and bounded.

Why compact sets are bounded

If a set were not bounded, it would spread out forever. Then one can build open covers that keep chasing the set farther and farther away, and no finite group of open sets could trap everything at once. That is one reason unbounded sets fail to be compact.

Why compact sets are closed

If a set were compact but not closed, then it would miss some limit points. In Euclidean spaces, compactness forces limit points to stay inside the set. This is closely connected to convergence and continuity.

A very important idea is that compact sets behave well under limits. If a sequence stays in a compact subset of $\mathbb{R}^n$, then it has a convergent subsequence whose limit is still in the set. This property is one of the reasons compactness appears so often in calculus and analysis.

Examples and Non-Examples

Let’s look at a few more cases to build intuition.

Example 1: A closed disk

The set

$$D = \{(x,y) \in \mathbb{R}^2 : x^2 + y^2 \le 1\}$$

is compact because it is closed and bounded. Geometrically, this is the filled-in circle, including its boundary.

Example 2: An open disk

The set

$$\{(x,y) \in \mathbb{R}^2 : x^2 + y^2 < 1\}$$

is bounded but not closed. It does not include the boundary circle, so it is not compact.

Example 3: A finite set

Any finite subset of a topological space is compact. Why? Because if you cover each point with open sets, only finitely many points need to be covered, so a finite subcover can always be chosen.

For example, the set $\{1,3,7\} \subseteq \mathbb{R}$ is compact.

Example 4: A convergent sequence with its limit

The set

$$K = \{1, \tfrac{1}{2}, \tfrac{1}{3}, \dots\} \cup \{0\}$$

is compact in $\mathbb{R}$. It is closed and bounded. Even though it has infinitely many points, its only accumulation point is $0$, and $0$ is included.

Non-example: The same sequence without the limit

The set

$$\{1, \tfrac{1}{2}, \tfrac{1}{3}, \dots\}$$

is bounded but not closed, because it misses its limit point $0$. So it is not compact.

These examples show a useful pattern: in Euclidean spaces, adding the limit points often changes a non-compact set into a compact one.

How Compact Subsets Fit Into Compactness I

Compact subsets are the building blocks of the topic Compactness I. The general compactness definition comes first, and compact subsets are where that definition becomes useful in practice.

You can think of the topic like this:

Learn the open-cover definition of compactness.
Apply it to subsets of spaces.
Recognize compact subsets in Euclidean spaces using closed and boundedness.
Use compactness in later results about continuity, sequences, and extreme values.

Compact subsets matter because many important theorems use them. For example, a continuous function on a compact set behaves especially nicely. In $\mathbb{R}$, a continuous function on a compact interval like $[a,b]$ always reaches a maximum and a minimum. This is one reason compact sets are so important in real-life modeling and optimization.

If a company wants to maximize profit or minimize cost over a limited range of possibilities, compactness can guarantee the best answer actually exists. That is a strong mathematical advantage 💡.

Conclusion

Compact subsets are sets that can always be covered by finitely many open sets whenever they are covered by open sets at all. This open-cover definition is the core idea behind compactness. In Euclidean spaces, compactness becomes easier to recognize because a subset is compact exactly when it is closed and bounded. students, this topic is important because it connects abstract topology to concrete results in analysis, geometry, and applications. Compactness turns infinite behavior into something that can often be managed with finite reasoning, which is why it is such a central idea in topology.

Study Notes

A subset $K$ is compact if every open cover of $K$ has a finite subcover.
An open cover is a collection of open sets whose union contains the set.
In $\mathbb{R}^n$, a subset is compact exactly when it is closed and bounded.
Compact sets can be infinite; for example, $[0,1]$ is compact.
A bounded open interval like $(0,1)$ is not compact because it is not closed.
A closed but unbounded set like $[0,\infty)$ is not compact.
Every finite subset of any topological space is compact.
Compactness helps control limits, sequences, and continuous functions.
In Euclidean spaces, compact subsets are central to many important theorems.
Compact subsets are a key part of Compactness I and prepare you for deeper results later.