05 The Heine-Borel and Bolzano-Weirstrass Theorems
We looked at some consequences
of the axioms for the real numbers. It's time
to start applying the least upper bound axiom,
which is the foundation for a number of important theorems in Calculus. But we start
with the Heine-Borel Theorem, which is most likely new to you and which requires some
preliminary definitions. In Section 1.4, you should pay attention not just to the
theorems, but also to how the least upper bound property is used in proving them.
When the textbook discusses the Heine-Borel Theorm, it uses open intervals. I prefer
to talk about "open sets" instead. Open intervals are open sets, but an open set
can also be an arbitrary union of open intervals. Thus, and
are all open sets.
Definition: An open set in
is a union of open intervals (possibly an infinite union). The empty set is also considered
to be open. If is a subset of
an open cover is a collection of open sets
such that A subcover
for an open cover of is a subset of the open cover that still covers
And a finite subcover is a subcover that contains only finitely
many sets.
There is an important alternative characterization of open sets. A set is open
if whenever it contains a point, it also contains all "nearby" points. More rigorously:
Theorem: A subset of is open if and
only if for every there is an such that
Proof:
Suppose is open and Since is open and non-empty, it is a union of
open intervals. Since is an element of one of those intervals. That
interval must contain for some (Just take to be
smaller than the distance between and the closest endpoint of the interval.)
Since that interval is a subset of it follows that
Conversely, suppose that for every there is an such that
Then
(The union is contained in because each set in the union is a subset of ;
the union contains because every is an element of one of the sets
in the union, namely of )
Since is an open interval, we have written as a union of
open intervals.
Heine-Borel Theorem: Let be a bounded,
closed interval. Every open cover of has a finite subcover.
Proof: Let
be an open cover of Note that for any is an open
cover of Define has a finite subcover for
Since is contained in some has a subcover consisting of a single set.
So and is non-empty. Since is bounded.
Therefore, as a bounded and non-empty set, has a least upper bound
by the least upper bound axiom. Let
We will be done if we can show and since that
will mean by definition of that has a finite subcover for
We first show that Because is an upper bound for we
know that so Since is an open cover of
there is a such that Since is
open, there is an such that
Since there is an such that by the theorem
at the end of the third reading guide.
Note that Since then by defintion of there is a finite
subcover of from
But then, adding to that finite subcover, we get that
is a finite
subcover of And by definition of this means
that
Finally, we must show that We know so suppose, for the
sake of contradiction, that Using the same and as in the
preceding paragraph, Let Then and
is a finite
subcover of from But then by definition of and
the fact that contradicts the fact that is an upper bound for
It is not immediately clear why this theorem should be important, but the property
"every open cover of has a finite subcover" turns out to be useful for proving other
things about
Section 1.4 also proves the Bolzano-Weirstrass Theorem. The idea is that if you
have an infinite set of points in some finite part of then those points must
"bunch up" at some point. The technical term is "accumulate."
Definition: Let
The point is said to be an accumulation point
of if for every there is an such that
(That is, there is some point in other than itself, that is within
distance of )
The Bolzano-Weirstrass Theorem says that every bounded, infinite subset of has
an accumulation point. The textbook proves this using the least upper bound axiom.
I want to give another, prettier proof, using the Heine-Borel Theorem.
Bolzano-Weirstrass Theorem:
Any bounded, infinite subset of has an accumulation point.
Proof:
Let be a bounded, infinte subset of Suppose, for the sake of contradiction
that does not have an accumulation point. That is, for every
there is some such that no point of other than possibly itself,
is within distance of Another way of saying this is that
the open interval is either empty (in the case ) or
contains just the single point (in the case ).
Let be a lower bound for and
let be an upper bound for so that We construct an
open cover of Suppose Let be as in the preceding
paragraph, and let Then is
an open cover of By the Heine-Borel Theorem, there is a finite
subcover, So, we have
But each of the sets
contains at most one point of so can have no more than elements.
The proof could also be stated as proving the contrapositive of the theorem, that is
proving that If is a subset of that does not have an accumulation point,
then is finite. That would probably be nicer than using proof by contradiction.
It might be worth noting that the names "Heine-Borel Theorem" and "Bolzano-Weirstrass Theorem"
are usually used for theorems that are more general than the ones stated here. We will encounter
some of the generalizations when we study metric spaces.
(back to contents)