Proof: Heine-Borel Theorem (Detailed)
This is a comprehensive proof of the Heine-Borel Theorem, one of the most important results in real analysis. We establish both directions: compact implies closed and bounded, and closed and bounded implies compact. The proof for the latter direction uses completeness of in a fundamental way.
Statement
A subset is compact if and only if is closed and bounded.
Proof: Compact implies closed and bounded
Suppose is compact. Consider the open cover
Each is an open interval, and , so is an open cover of .
By compactness, there exist finitely many such that
where . Thus is bounded.
We show is open. Let . For each , define
Then and are open, , and . Note that .
The collection is an open cover of . By compactness, finitely many cover :
Define (a finite intersection of open sets, hence open). Then (since for all ).
Claim: .
If , then and . Since , we have for some . But , so . This contradicts .
Thus is an open neighborhood of contained in . Hence is open, so is closed.
Proof: Closed and bounded implies compact
This direction is more subtle and uses completeness.
Suppose is closed and bounded. Since is bounded, for some closed interval .
Lemma: is compact.
Proof of Lemma: Let be an open cover of . Define
We show , which proves the lemma.
Step 1: . Since , there exists such that . Since is open, there exists such that . Thus , so . Hence .
Step 2: is bounded above (by ), so exists by completeness.
Step 3: . Since , there exists such that . Since is open, there exists such that .
Since , there exists with . By definition of , can be covered by finitely many , say . Then
Thus .
Step 4: . Suppose . By Step 3, can be covered by finitely many . Since and is open with , we have
Thus . Since , this contradicts . Hence .
Conclusion: , so can be covered by finitely many . Thus is compact.
Back to the main proof: We've shown is compact. Since and is closed, is a closed subset of a compact set, hence compact.
(Fact: Closed subsets of compact sets are compact. Proof: If is closed and is an open cover of , then is an open cover of . Extract a finite subcover; removing if necessary gives a finite subcover of .)
Summary
The Heine-Borel theorem is proved in two parts:
- Compact closed and bounded: Uses definition of compactness directly.
- Closed and bounded compact: Uses completeness to show is compact, then observes is a closed subset.
This proof is fundamental in analysis and relies crucially on the completeness of . See Compactness for applications.