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.