Throughout our study of analysis, we have worked with sequences in infinite sets such as (0,1), ℝ, etc. A difficulty is that all the infinite processes—limits, series, integrals—can behave badly. The concept of a compact set is designed precisely to impose enough structure so that infinite processes can be controlled as if they were finite.
Recall the Bolzano–Weierstrass Theorem: every bounded sequence has a convergent subsequence.
The key feature of [0,1] is: it is bounded (so B-W applies) and closed (so limits stay inside). This is exactly what compactness captures!
A set K ⊆ ℝ is called compact if every sequence (an) contained in K has a subsequence (ank) that converges to a limit that is also in K: $$(a_n) \subseteq K \implies \exists\; (a_{n_k}) \text{ with } a_{n_k} \to L \in K.$$
Compactness is a "self-contained" property: not only do convergent subsequences exist, but their limits remain trapped inside K.
(Hint: Can you find an unbounded sequence in K?)
The examples above reveal a pattern: compact sets in ℝ appear to be exactly the sets that are both closed and bounded. Let us record this precisely.
A set A ⊆ ℝ is bounded if there exists M > 0 such that
A set K ⊆ ℝ is compact if and only if it is closed and bounded.
The proof has two parts. We show compactness implies closed and bounded, and then we show that closed and bounded implies compactness.
Proof sketch (⟹): We will prove this implication in two steps.
Step 1: Suppose, for contradiction, that K is compact but not bounded.
Step 2: Now suppose K is compact and (xn) ⊆ K with xn → L.
Proof sketch (⟸): Let K be closed and bounded, and let (an) ⊆ K.
| Set | Bounded? | Closed? | Compact? |
|---|---|---|---|
| [2, 7] | |||
| [2, 7) | |||
| ℤ | |||
| {1/n : n ∈ ℕ} | |||
| [0,1] ∪ [3,5] |
Recall the Nested Interval Property from Chapter 1: a nested sequence of closed intervals [a1,b1] ⊇ [a2,b2] ⊇ ⋯ always has nonempty intersection. Compactness allows us to generalize this property.
If K1 ⊇ K2 ⊇ K3 ⊇ ⋯ is a nested sequence of nonempty compact sets, then $$\bigcap_{n=1}^{\infty} K_n \; \underline{\hspace{2cm}}.$$
Proof: The proof is left as an Exercise. Write down a formal argument on your own.
Consider Fn = [n, ∞). Each Fn is closed, and F1 ⊇ F2 ⊇ ⋯
What is ⋂n=1∞ Fn?
Is the conclusion of the Theorem satisfied?
What hypothesis of the Theorem does the family {Fn} fail?
There is a third, and in many ways most powerful, way to think about compactness. It uses the concept of open covers.
Let A ⊆ ℝ. An open cover for A is a (possibly infinite) collection of open sets {Oλ : λ ∈ Λ} such that $$A \subseteq \bigcup_{\lambda \in \Lambda} O_\lambda.$$ A finite subcover is a finite subcollection {Oλ1, …, Oλn} from the original cover whose union still contains A.
Think of an open cover as a family of "patches" that together cover A. The question is: can we always get away with only finitely many patches?
Let K ⊆ ℝ. The following are equivalent:
The equivalence of (i) and (ii) was established in the previous theorem. Let us examine the implications (iii) ⟹ (ii) and (ii) ⟹ (iii).
Proof that (iii) ⟹ (ii): Suppose K has the finite cover property, that is, every open cover of K has a finite subcover.
Step 1: For each x ∈ K, let Ox = V1(x) = (x−1, x+1). Explain why {Ox : x ∈ K} is an open cover of K.
Step 2: By (iii), there is a finite subcover {Ox1, …, Oxn}. Prove that this implies K is bounded.
Step 1: Suppose (yn) ⊆ K with yn → y. Prove that y ∈ K. Assume for contradiction y ∉ K. For each x ∈ K, let Ox = V|x−y|/2(x). Prove that {Ox : x ∈ K} is an open cover for K.
By (iii), there is a finite subcover {Ox1, …, Oxn}. Let $$\varepsilon_0 = \min\left\{\frac{|x_i - y|}{2} : 1 \leq i \leq n\right\}.$$
The following Exercise shows the power of compactness and connects it to the concepts we studied earlier this semester.
Proof: The following hints will help you prove the result:
1 Why does sup K exist?
2 Use the definition of supremum to justify: for each n ∈ ℕ there exists an ∈ K with $$\sup K - \frac{1}{n} < a_n \leq \sup K.$$
What does the Squeeze Theorem tell you about (an)?3 Use compactness of K to conclude sup K ∈ K.
Follow-up question: Does sup(0,1) belong to (0,1)? Why does the argument break down for open sets?
Sequential: Every sequence has a convergent subsequence with limit in K
⟷ (Thm 1)
Closed & Bounded: K is closed and bounded
⟷ (Heine-Borel)
Finite Cover: Every open cover of K has a finite subcover