Compact Sets

Compact   ⟺  \iff closed + bounded (Heine–Borel): [0,1][0,1] is covered by the first 6 intervals of its open cover, while (0,1](0,1] fails at the gap near 0 and [0,∞)[0,\infty) fails at the infinite tail. Sequential compactness via Bolzano–Weierstrass is proved in full; the open-cover definition's equivalence is shown at the idea level.

K compact   ⟺  K closed and boundedK \text{ compact } \iff K \text{ closed and bounded}
∀ U open cover of K  ∃ U1,…,Un∈U:K⊆⋃k=1nUk\forall\, \mathcal{U} \text{ open cover of } K\; \exists\, U_1,\dots,U_n \in \mathcal{U} : K \subseteq \bigcup_{k=1}^{n} U_k
(an)⊂K⇒∃ (ank)→x∈K(a_n) \subset K \Rightarrow \exists\, (a_{n_k}) \to x \in K

Part of these learning paths

Examples & Exercises

Show that [0,1][0,1] is sequentially compact: every sequence in [0,1][0,1] has a convergent subsequence whose limit stays in [0,1][0,1] (Bolzano–Weierstrass).

(an)⊂[0,1]⇒∃ (ank)→L∈[0,1](a_n) \subset [0,1] \Rightarrow \exists\,(a_{n_k}) \to L \in [0,1]
K compact   ⟺  K closed and bounded(Heine–Borel)K \text{ compact } \iff K \text{ closed and bounded} \quad \text{(Heine--Borel)}
k=6k = 6: the union [−0.18,1.18][-0.18, 1.18] of the first 6 open intervals covers [0,1][0,1] — a finite subcover exists.
Show proof
  1. Let (an)(a_n) be any sequence in [0,1][0,1]. It is bounded, so the Bolzano–Weierstrass theorem gives a convergent subsequence (ank)→L(a_{n_k}) \to L.
  2. Since 0≤ank≤10 \le a_{n_k} \le 1 for every kk, passing to the limit preserves the inequalities, giving 0≤L≤10 \le L \le 1. Hence L∈[0,1]L \in [0,1] — a closed interval never loses a limit point.
  3. Every sequence in [0,1][0,1] therefore has a convergent subsequence with its limit in [0,1][0,1]: [0,1][0,1] is sequentially compact.
  4. In R\mathbb{R}, sequential compactness ⟺ compactness (Heine–Borel: closed + bounded). The open-cover picture tells the same story: the union [−0.18,1.18][-0.18, 1.18] of the first 6 intervals U1,…,U6U_1, \dots, U_6 already covers all of [0,1][0,1] — the whole cover is never needed. (The proof that the open-cover definition is equivalent is shown at the idea level only.)

Show that (0,1](0,1] is not compact: the sequence an=1/na_n = 1/n has no subsequence converging to a point of (0,1](0,1].

an=1n→0,0∉(0,1]a_n = \frac{1}{n} \to 0, \qquad 0 \notin (0,1]
⋃k=1N(1k,2)=(1N,2): the gap (0,1N] is never covered\bigcup_{k=1}^{N} \left(\tfrac{1}{k}, 2\right) = \left(\tfrac{1}{N}, 2\right): \text{ the gap } \left(0, \tfrac{1}{N}\right] \text{ is never covered}
k=8k = 8: even all 8 intervals leave (0,1/8](0, 1/8] uncovered — with 00 missing, no finite subcover exists.
Show proof
  1. Put an=1/na_n = 1/n. Then an∈(0,1]a_n \in (0,1] for every nn, and an→0a_n \to 0.
  2. A subsequence of a convergent sequence converges to the same limit, so every subsequence (ank)(a_{n_k}) of (an)(a_n) also converges to 00.
  3. But 0∉(0,1]0 \notin (0,1], so no subsequence converges to a point of (0,1](0,1]. Hence (0,1](0,1] is not sequentially compact, and not compact.
  4. The open-cover picture shows the same failure: however many intervals we take from the cover — the first NN of Uk=(1k,2)U_k = \left(\frac{1}{k}, 2\right) (k=1,…,8k = 1, \dots, 8) — their union is always of the form (1N,2)\left(\frac{1}{N}, 2\right), leaving the gap (0,1N]\left(0, \frac{1}{N}\right] — at k=8k = 8 that gap is (0,1/8](0, 1/8]. Closing the gap would require the point 00, which is not in the set.

Prove that if KK is compact and ff is continuous on KK, then the image f(K)f(K) is compact.

yn=f(xn),xnk→x∈K⇒f(xnk)→f(x)∈f(K)y_n = f(x_n), \quad x_{n_k} \to x \in K \Rightarrow f(x_{n_k}) \to f(x) \in f(K)
K=[0,1] compact⇒f(K) compact ⇒max⁡f,min⁡f exist (EVT)K = [0,1] \text{ compact} \Rightarrow f(K) \text{ compact } \Rightarrow \max f, \min f \text{ exist (EVT)}
The engine of the Extreme Value Theorem: [0,1][0,1] is compact, so the continuous image f([0,1])f([0,1]) is compact — max and min exist.
Show proof
  1. Let yn∈f(K)y_n \in f(K) be any sequence, and pick xn∈Kx_n \in K with yn=f(xn)y_n = f(x_n) for each nn.
  2. Since KK is compact, (xn)(x_n) has a subsequence (xnk)(x_{n_k}) converging to some x∈Kx \in K (sequential compactness).
  3. Continuity of ff at xx gives f(xnk)→f(x)f(x_{n_k}) \to f(x). So the subsequence ynk=f(xnk)y_{n_k} = f(x_{n_k}) converges to f(x)∈f(K)f(x) \in f(K).
  4. Every sequence in f(K)f(K) therefore has a subsequence converging to a point of f(K)f(K): f(K)f(K) is sequentially compact, hence compact. This is the engine of the Extreme Value Theorem (the evt scene) — for continuous ff on [0,1][0,1], the set f([0,1])f([0,1]) is compact, hence closed and bounded in R\mathbb{R}, so its supremum and infimum are actually attained.

4. Topology