Compactness vs. Closed and Bounded in General Spaces 🌍

students, in this lesson you will explore one of the most important ideas in topology: how compactness compares with being closed and bounded. In calculus and familiar geometry, these ideas often seem closely linked. But in general topological spaces, that link can break apart in surprising ways. That makes this topic a key part of Compactness II.

What you will learn

What compactness means in any topological space
Why “closed and bounded” works in some spaces, but not in all spaces
How examples show the difference between compactness and closedness/boundedness
How this topic connects to continuous images and product compactness

By the end, you should be able to explain why compactness is a deeper property than simply being closed and bounded, and why topology cares so much about that difference 👍

Compactness: the big idea

Compactness is a property that describes how a space behaves when it is covered by open sets. A set is compact if every open cover has a finite subcover.

That definition sounds technical, so let’s unpack it.

Suppose a set $K$ is inside a topological space. If you can cover $K$ with many open sets, compactness says that you never need infinitely many of them to still cover $K$. In other words, even if an open cover looks huge, a finite number of open sets is enough.

This matters because compact sets behave in controlled, predictable ways. For example, continuous functions on compact sets often achieve maxima and minima, which is why compactness shows up in many theorems in analysis and topology.

Example: closed interval in the real line

In $\mathbb{R}$ with the usual topology, the interval $[0,1]$ is compact. This is a famous result. It is also closed and bounded, so in that familiar setting the three ideas seem connected:

compact
closed
bounded

But be careful: this relationship is special to $\mathbb{R}^n$ with its usual topology. It is not true in every topological space.

Closed and bounded: what do these mean?

A set is closed if it contains all of its limit points, or equivalently if its complement is open.

A set is bounded in a metric space if all of its points lie within some finite distance of each other. More precisely, there exists a number $M$ such that distances inside the set stay below $M$.

These ideas come from metric spaces, where distance is available. In a general topological space, there may be no notion of distance at all. That means the word bounded may not even make sense unless extra structure is given.

So already we see an important fact: compactness is a topological notion, but closedness and boundedness are not equally fundamental in every setting.

Why students often mix them up

In multivariable calculus, one often learns the result:

in $\mathbb{R}^n$, a set is compact if and only if it is closed and bounded.

This is the Heine–Borel theorem. It is powerful, but it only applies to Euclidean space with its usual topology. students, this theorem is one reason students may think compactness always means closed and bounded. Topology shows that this is not true in general.

Compact does not always mean closed and bounded

Let’s separate the ideas carefully.

Compact does not require boundedness in general spaces

In a general topological space, “bounded” may not even be defined. So compactness cannot depend on boundedness in a universal way.

Even in metric spaces, compactness is stronger than boundedness. A set can be bounded and still fail to be compact.

Example: open interval $\left(0,1\right)$

In $\mathbb{R}$, the interval $\left(0,1\right)$ is bounded, but it is not compact.

Why not? Consider the open cover

$\left\{\left(\frac{1}{n},1\right) : n \in \mathbb{N}\right\}.$

This family covers $\left(0,1\right)$, because every number between $0$ and $1$ is greater than some $\frac{1}{n}$. But no finite subcollection covers all of $\left(0,1\right)$. So the set is not compact.

This shows that boundedness alone is not enough.

Compact does not always require closedness in arbitrary spaces

In many familiar spaces, compact subsets are closed. For example, compact subsets of Hausdorff spaces are closed. But in a general topological space, compact sets need not be closed.

Example idea: non-Hausdorff spaces

In some non-Hausdorff spaces, a compact set may fail to be closed because points cannot always be separated by open sets. This is a good reminder that many facts from Euclidean space depend on extra assumptions such as the Hausdorff property.

So, if students remembers only one thing here, let it be this:

In general topology, compactness is not the same as closedness and boundedness.
The relationship depends heavily on the kind of space being studied.

When compactness and closedness do line up

Although compactness does not always imply closedness, it does in an important class of spaces.

Compact subsets of Hausdorff spaces are closed

A topological space is Hausdorff if any two distinct points can be separated by disjoint open sets. This separation property is strong enough to make compact sets behave nicely.

In a Hausdorff space, every compact subset is closed.

This theorem is widely used because many common spaces are Hausdorff, including $\mathbb{R}$ and $\mathbb{R}^n$ with the usual topology.

Why this matters

If a set is compact in a Hausdorff space, then it has both of these nice properties:

it is closed
it behaves well under continuous maps

But compactness is still not just “closed and bounded.” The boundedness part is only relevant in metric or normed settings.

Closed and bounded does not always mean compact

This is the other half of the story. In some spaces, a set can be closed and bounded and still fail to be compact.

The role of the ambient space

Whether closed and bounded implies compact depends on the whole space. In $\mathbb{R}^n$, it works because of the special structure of Euclidean space. But in other spaces, the theorem can fail.

Example: infinite-dimensional spaces

In many infinite-dimensional normed spaces, the closed unit ball

$\{x : \|x\| \le 1\}$

is closed and bounded, but not compact.

This is a major difference between finite-dimensional and infinite-dimensional geometry. It shows that compactness is stronger than just having limited size and no missing boundary points.

Example: discrete spaces

In a discrete topological space, every subset is open, and therefore every singleton is closed. A set is compact only if every open cover has a finite subcover. In an infinite discrete space, the whole space is closed and bounded in any naive sense that may be imposed, but it is not compact because the cover by singletons has no finite subcover.

This example makes the point even more strongly: topology does not let us reduce compactness to a simple geometric picture in all spaces.

The real lesson: compactness is topological

Compactness is preserved under continuous functions. That is one reason it is considered a true topological invariant.

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

This fact helps explain why compactness is more flexible and more powerful than closedness or boundedness alone. Continuous images of compact sets remain compact even when the image looks very different geometrically.

Connecting to products

In Compactness II, another major theorem is that products of compact spaces are compact under the appropriate product topology. This shows that compactness behaves well under constructions that are central to topology.

Closedness and boundedness do not have such a clean universal behavior across all spaces. That is another sign that compactness is the more fundamental notion.

How to think about compactness vs. closed and bounded

Here is a useful way to organize your thinking, students:

In $\mathbb{R}^n$, compactness is exactly the same as being closed and bounded.
In a general topological space, boundedness may not be defined.
Compact sets are not always closed unless the space has extra separation properties like being Hausdorff.
Closed and bounded sets need not be compact outside Euclidean space.
Compactness is the concept that survives under continuous maps and products.

A quick comparison table

In $\mathbb{R}^n$: compact $\Leftrightarrow$ closed and bounded
In a Hausdorff space: compact $\Rightarrow$ closed
In general spaces: compactness and closed/bounded are not equivalent

So the slogan “compact means closed and bounded” is helpful only when you remember the space matters.

Conclusion

Compactness is one of the central ideas in topology because it is defined entirely using open covers, not distances or coordinates. In Euclidean spaces, compact sets are exactly the closed and bounded ones, but that beautiful result is special to those spaces.

In general topological spaces, the relationship can change dramatically. A compact set may fail to be closed in non-Hausdorff spaces, and a closed and bounded set may fail to be compact in infinite-dimensional or otherwise unusual spaces. The main lesson is that compactness is a deeper and more flexible idea than closedness plus boundedness.

This is why compactness becomes so important in the rest of Compactness II, especially when studying continuous images and products. It is a property that continues to work even when geometry becomes less familiar 🌟

Study Notes

Compactness means every open cover has a finite subcover.
In $\mathbb{R}^n$, compact $\Leftrightarrow$ closed and bounded.
That equivalence does not hold in general topological spaces.
Boundedness may not even be defined without a metric.
Compact sets in Hausdorff spaces are closed.
Closed and bounded does not always imply compact, especially outside Euclidean spaces.
Compactness is preserved by continuous maps.
Compactness also behaves well under products, which is why it is a central topic in topology.
The key idea: compactness is a topological property, while closedness and boundedness depend more on the kind of space you are studying.