Compact Sets, An Introduction

Introduction

An open cover for a set S, inside a topological space T, is a collection of open sets whose union contains S. A finite subcover is any finite subcollection of these open sets whose union also contains S. S is compact if every open cover of S admits a finite subcover. If T is a compact set then the space itself is compact.

Let's persue an alternate definition. A collection of sets possesses the finite intersection property if every finite subcollection of these sets has a nonempty intersection. A set S is compact if every collection of closed subsets of S with the finite intersection property has a nonempty intersection. Stated another way, every collection of closed subsets of S with no intersection includes a finite subcollection that also has no intersection. Let's tie these definitions together.

A closed set in S comes from a closed set in T, whose complement is open in T. The open sets form a cover iff the closed sets in S have no intersection. The finite subcover corresponds to a finite subcollection of closed sets with no intersection. This is exactly what we said in the last paragraph, hence the definitions are equivalent.

Subsets, Unions, and Images

Any closed subset Y of a compact set S is compact. Select any open cover for Y, and throw in the complement of Y to cover S. The finite subcover of S, sans the complement of Y, covers Y.

We will see that most compact sets are closed, but this isn't required. In the indiscrete topology, where only the empty set and the entire space are open, every subset of the space is compact.

The finite union of compact sets is compact. Given an open cover for all of them, select a finite subcover for each compact set, and the union of these subcovers remains finite.

Let f be a continuous function on the domain T, and let Y be the image of S. Assume T is compact. An open cover of Y pulls back to an open cover of S. The resulting finite subcover maps forward, through f, to a finite subcover of Y. Thus the continuous image of a compact set is compact.

Compact implies Bounded

If a set is unbounded in a metric space, choose an open cover consisting of concentric spherical shells. One shell might be the points that are between 8 and 10 units away from the origin. The next shell might contain points between 9 and 11 units from the origin. We have an open cover for the set; in fact we have an open cover for the entire space. Since S is unbounded, infinitely many shells are required. Therefore a compact set in a metric space is always bounded.

Round About Approach

So - where do we go from here?

You might think that we should begin by proving that the closed interval [0,1] is compact. Then we can extend this to paths, the continuous image of [0,1]. Next, the product of unit intervals makes unit cubes in n dimensions. We ought to be able to prove those are compact, eh? then any closed set embedded in a hypercube is compact, and we finally have the long sought theorem: a closed bounded set in Rn is compact.

This is the approach I would take, but as it turns out, it's darn hard to prove [0,1] is compact from first principles. It's actually easier to solve a more general problem, then apply the result to a specific case such as the unit interval. That is what we are going to do. We'll see how compact sets behave in a hausdorff space, then a metric space. Related concepts such as countably compact and sequentially compact are necessary stepping stones along the way. Finally, we will characterize compact sets in arbitrary metric spaces, and when this is applied to Rn, the criteria becomes "closed and bounded". Finally, the fact that [0,1] is compact is almost a corollary.

Let's begin with hausdorff spaces.