Interactive · 2 questions
The Heine-Borel and Bolzano-Weierstrass approaches both rely on the same underlying principle - compactness.
Recall: What does the Heine-Borel theorem say for sets ?
Recall: What does the Bolzano-Weierstrass theorem say for sequences ?
Definition: An open covering of a set is a collection of open subsets such that . The indexing set may be uncountable.
Example: Let . An example of an open cover of is given by for , since .
Definition: A set is compact iff every open covering of has a finite subcover; that is, there is a finite subcollection that also covers .
Non-example: The interval is not compact. Using the cover in the previous example, there is no finite subcover that covers all of . Any finite subcover will only cover for some (fixed) .
The Heine-Borel theorem is pretty clearly related to compactness since it characterizes compact sets in . But what about the Bolzano-Weierstrass theorem? How does that relate to compactness?
It turns out that the Bolzano-Weierstrass property, which is the property that every sequence in has a convergent subsequence in , is equivalent to compactness in . That is:
Theorem: Let . The following are equivalent:
is compact.
is closed and bounded. (Heine-Borel)
Every sequence in has a convergent subsequence in . (Bolzano-Weierstrass property)
We won't provide the proof (see a textbook on real analysis or point-set topology for the proof), but one direction is easy to see: If is compact, then it has the Bolzano-Weierstrass property:
Take to be any closed and bounded set (hence compact by Heine-Borel), and consider any sequence . By the Bolzano-Weierstrass theorem, this sequence has a convergent subsequence since it is bounded. Moreover, since is closed, the subsequence has its limit in .
The proofs of the Extreme Value Theorem using the Heine-Borel and Bolzano-Weierstrass didn't use compactness directly - they used the Heine-Borel theorem and Bolzano-Weierstrass theorem, respectively.
However, we can formulate and prove a more general version of the Extreme Value Theorem just from using the definition of compactness.
Theorem (Extreme Value Theorem): If is compact, a continuous function attains its maximum and minimum.
Proof: Since is compact, so is . Suppose has no maximum; then is an open cover of . (This is since for every , there is some other since is unbounded; then .)
By compactness, there is a finite subcover of . Let be the maximum over . Then is not in the subcover of , a contradiction! Thus must have a maximum. (And having a maximum means there is some for all , so that attains its maximum at .)
For the minimum, apply the same proof or use .
For the Extreme Value Theorem we had before with , we will need to use the Heine-Borel Theorem to know that is compact. But this new version of the Extreme Value Theorem is more general, and applies to any compact set . (Actually, we don't even need , just that is a compact topological space - a term defined in point-set topology.) Nevertheless, we can get rather weird non-interval compact sets , and this more general Extreme Value Theorem applies even to those sets!