Heine-Borel Theorem

students, imagine trying to decide whether a shape on the real line is “small and contained” or whether it stretches out in a way that makes it impossible to fully cover with only a few intervals 📏. The Heine-Borel theorem gives a powerful and elegant answer for subsets of the real line and, more generally, for Euclidean space. In Real Analysis, this theorem connects the ideas of open sets, closed sets, bounded sets, and compact sets into one central result.

Introduction: Why this theorem matters

The Heine-Borel theorem is one of the most important results in the topology of the real line. It tells us exactly when a set is compact. On the real line, compactness has a very concrete meaning: a set is compact if and only if it is closed and bounded.

That is a big deal because compactness often guarantees that nice things happen. For example, continuous functions on compact sets behave especially well: they are bounded and attain their maximum and minimum values. This helps explain why compact sets matter not just in theory, but also in applications like optimization, physics, and economics 💡.

Learning goals

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

• Explain the main ideas and terminology behind the Heine-Borel theorem.
• Apply reasoning about compact sets in $\mathbb{R}$.
• Connect Heine-Borel to open sets, closed sets, and limit points.
• Summarize why the theorem is central to the topology of the real line.
• Use examples and counterexamples to test whether a set is compact.

What compactness means on the real line

To understand the Heine-Borel theorem, we need to know what compact means. In topology, a set $K$ is called compact if every open cover of $K$ has a finite subcover.

That sounds abstract, so let’s unpack it.

An open cover of a set $K$ is a collection of open sets whose union contains $K$. For example, if $K = [0,1]$, then the collection of intervals

$$

$\left($-1, $\tfrac{1}{2}$$\right)$, $\left($$\tfrac{1}{4}$, $\tfrac{3}{4}$$\right)$, $\left($$\tfrac{1}{2}$, $2\right)$

$$

forms an open cover because together these intervals contain every point of $[0,1]$.

A finite subcover means we can choose only finitely many sets from the cover and still cover $K$.

So compactness is a kind of “finite control” property: even if you start with infinitely many open sets, only finitely many are needed to cover the set. Think of it like having many umbrellas over a small area ☔. If the area is compact, a few umbrellas are enough.

On $\mathbb{R}$, compactness turns out to be exactly the same as being closed and bounded. That is the content of the Heine-Borel theorem.

The statement of the Heine-Borel theorem

For subsets of the real line, the theorem says:

$$

K \subseteq \mathbb{R} \text{ is compact } $\iff$ K \text{ is closed and bounded.}

$$

This means both directions are true:

• If $K$ is compact, then $K$ must be closed and bounded.
• If $K$ is closed and bounded, then $K$ must be compact.

This theorem is special to the real line and more generally to finite-dimensional Euclidean spaces. It is not true in every metric space.

Why the terms matter

• A set is bounded if it fits inside some interval $[-M,M]$ for a real number $M>0$.
• A set is closed if it contains all its limit points.
• A limit point of a set is a point where every open interval around it contains points of the set different from the point itself.

These ideas are all connected. Closedness controls what happens at the boundary, boundedness controls how far the set stretches, and compactness combines both into a strong finiteness property.

Why compact sets must be closed and bounded

Let’s first understand why compactness forces closedness and boundedness.

Compact implies bounded

Suppose a set $K \subseteq \mathbb{R}$ were compact but not bounded. Then for every $n \in \mathbb{N}$, the interval $(-n,n)$ would fail to contain all of $K$. One can build an open cover using intervals like

$$

$(-1,1), (-2,2), (-3,3), \dots$

$$

This collection covers all of $\mathbb{R}$, and therefore covers $K$. But no finite number of these intervals can cover an unbounded set. That contradicts compactness.

So compact sets cannot stretch out forever in either direction.

Compact implies closed

If a set is compact, then every sequence in the set has a convergent subsequence whose limit lies in the set. This is one of the standard compactness properties in $\mathbb{R}$. From this, we can show the set contains its limit points, so it is closed.

Another way to think about it is this: if a compact set left out one of its limit points, then an open cover could be designed to avoid that point in a way that prevents any finite subcover from working. The compact set must include all the points it “accumulates” toward.

For example, the interval $[0,1]$ is closed because it contains its endpoints and all its limit points. In contrast, the interval $(0,1)$ is not closed because the points $0$ and $1$ are limit points not included in the set.

Why closed and bounded implies compact

The deeper direction of the Heine-Borel theorem is that every closed and bounded subset of $\mathbb{R}$ is compact.

A classic example is the interval $[0,1]$. It is closed and bounded, so it is compact. That means every open cover of $[0,1]$ has a finite subcover.

This result is not obvious. The proof usually relies on the completeness of the real numbers, often through the least upper bound property or by using nested intervals. The key idea is that $\mathbb{R}$ has no gaps. Because of that completeness, a closed and bounded set cannot hide an infinite amount of “uncaptured” behavior.

Example: $[0,1]$ is compact

Suppose open intervals cover $[0,1]$. There may be infinitely many of them, and they may overlap in complicated ways. Still, Heine-Borel says we can always choose finitely many that already cover the whole interval. That is a powerful guarantee.

This property is especially useful when studying continuous functions. If $f$ is continuous on $[0,1]$, then $f$ is bounded and reaches both its maximum and minimum values. That is a direct payoff of compactness.

Example: $(0,1)$ is not compact

The interval $(0,1)$ is bounded, but it is not closed. The points $0$ and $1$ are limit points that are missing. This failure means $(0,1)$ is not compact.

A simple open cover showing this is

$$

$\left($$\tfrac{1}{n}$, 1 - $\tfrac{1}{n}$$\right)$ \quad \text{for } n \ge 2.

$$

These intervals cover $(0,1)$, but any finite selection misses points near $0$ or $1$. So there is no finite subcover.

Connecting Heine-Borel to open and closed sets

The theorem sits right in the middle of the topology of the real line.

Open sets are those where every point has a little interval around it still inside the set. Closed sets contain their limit points. Compact sets blend these ideas with boundedness.

Here is the relationship in plain language:

• Open sets describe interior behavior.
• Closed sets describe boundary behavior.
• Compact sets describe sets that are both bounded in size and closed off at the edges.

For students, it helps to remember this mental picture: a compact set on the real line is like a closed container that does not stretch out forever 🧺.

Limit points and closed sets

A point $x$ is a limit point of a set $A$ if every open interval $(x-r, x+r)$ contains a point of $A$ different from $x$, for every $r>0$.

A set is closed exactly when it contains all its limit points.

That makes the Heine-Borel theorem especially meaningful, because compactness on $\mathbb{R}$ is equivalent to being closed and bounded. So compactness can be checked using the more familiar notions of boundaries and size.

Practical ways to use the theorem

When you see a set in $\mathbb{R}$, you can test compactness using Heine-Borel.

Step-by-step method

1. Check whether the set is bounded.
2. Check whether the set is closed.
3. If both are true, the set is compact.
4. If either one fails, the set is not compact.

Example 1: $[-2,5]$

This set is bounded because it lies inside $[-2,5]$ itself, and it is closed because it contains its endpoints and all limit points. So it is compact.

Example 2: $(-2,5]$

This set is bounded, but it is not closed because $-2$ is a limit point not included in the set. Therefore it is not compact.

Example 3: $\{1/n : n \in \mathbb{N}\}$

This set is bounded and has a limit point at $0$, but $0$ is not included. So the set is not closed and therefore not compact.

Example 4: $\{0\} \cup \{1/n : n \in \mathbb{N}\}$

This set is bounded, and it is closed because it includes its only limit point $0$. Therefore it is compact.

These examples show why Heine-Borel is practical: it turns a difficult covering property into simple tests of boundedness and closedness.

Conclusion

students, the Heine-Borel theorem is one of the central results in the topology of the real line because it gives a complete characterization of compact subsets of $\mathbb{R}$:

$$

K \subseteq \mathbb{R} \text{ is compact } $\iff$ K \text{ is closed and bounded.}

$$

This theorem links several major ideas in Real Analysis: open covers, finite subcovers, closed sets, limit points, and boundedness. It also explains why compact sets are so useful in analysis, especially when working with continuous functions.

Whenever you want to know whether a subset of the real line is compact, Heine-Borel gives you a clear and reliable test. That makes it a key tool in understanding the structure of $\mathbb{R}$ and the behavior of functions on it.

Study Notes

• The Heine-Borel theorem says that a set $K \subseteq \mathbb{R}$ is compact if and only if it is closed and bounded.
• A set is compact if every open cover has a finite subcover.
• A set is bounded if it fits inside some interval $[-M,M]$ for some $M>0$.
• A set is closed if it contains all of its limit points.
• Compact sets on $\mathbb{R}$ are always closed and bounded.
• Closed and bounded sets on $\mathbb{R}$ are always compact.
• The interval $[0,1]$ is compact.
• The interval $(0,1)$ is not compact because it is not closed.
• Compactness is important because continuous functions on compact sets behave nicely.
• Heine-Borel is a cornerstone theorem in the topology of the real line and helps connect open sets, closed sets, limit points, and compactness.