Compactness in R
Compactness is one of the most important concepts in analysis. A set is compact if every open cover has a finite subcover. In , the Heine-Borel theorem characterizes compact sets as precisely those that are closed and bounded. Compact sets behave like "finite sets" in many ways — continuous functions attain maxima and minima, sequences have convergent subsequences, and uniform continuity holds.
Definitions
An open cover of a set is a collection of open sets such that
A set is compact if every open cover of has a finite subcover. That is, for every collection of open sets with , there exist finitely many indices such that
Compactness says that no matter how you cover with open sets, you can always extract a finite subcover. This is a finiteness property: compact sets "look finite" from the perspective of covers.
Every finite set is compact. Given an open cover , for each , choose containing . Then .
The closed bounded interval is compact. This is the content of the Heine-Borel theorem (see Heine-Borel Theorem).
The open interval is not compact. Consider the cover . Every point lies in some (choose ), so this is an open cover. But no finite subcover exists: if we take finitely many , their union is where , which does not contain .
is not compact. The cover has no finite subcover (any finite union is bounded).
Heine-Borel Theorem
A subset is compact if and only if is closed and bounded.
The Heine-Borel theorem is special to (and finite-dimensional normed spaces). In infinite-dimensional spaces, closed and bounded sets need not be compact. For example, the closed unit ball in is not compact.
Sequential compactness
A set is sequentially compact if every sequence in has a subsequence converging to a point in .
For subsets of , the following are equivalent:
- is compact (every open cover has a finite subcover).
- is sequentially compact (every sequence has a convergent subsequence in ).
- is closed and bounded.
Sequential compactness is closely related to the Bolzano-Weierstrass theorem: every bounded sequence in has a convergent subsequence. For closed bounded sets, the limit stays in the set (by closedness).
Let be any sequence in . By Bolzano-Weierstrass, has a convergent subsequence . Since for all , taking limits gives , so . Thus is sequentially compact.
Properties of compact sets
If is compact and is closed (in the subspace topology), then is compact.
If is compact and is continuous, then is compact.
Theorem 3.4 immediately implies the Extreme Value Theorem: if is continuous, then is a compact subset of , hence closed and bounded. Thus attains its maximum and minimum on .
Let be . Then is compact. The maximum is (attained at ), and the minimum is (attained at ).
Let be . Then is not compact, and is unbounded (not compact). The function does not attain a maximum on .
Summary
Compactness is a central concept in analysis:
- Compact sets: every open cover has a finite subcover.
- In : compact closed and bounded (Heine-Borel).
- Sequential compactness: every sequence has a convergent subsequence.
- Continuous images of compact sets are compact (Extreme Value Theorem).
See Heine-Borel Theorem for the proof, and Continuity for applications.