We need first a definition
Definition Letbe a set of real numbers. A real number
is an accumulation point of
if and only if every neighbourhood of
contains infinitely many points of
For example 0 is an accumulation point of the setsince
contains all
for
Note the accumulation point need not belong to the set.
The Bolzano Weierstrass Theorem
Every bounded infinite set of numbers has at least one accumulation point.
Proof: Letbe a bounded infinite set. Since
is bounded, there are real numbers
and %beta such that
If
is the midpoint of this interval, then at least one of the sets
must contain an infinite number of members of
Choose one with this property and call it
If
is the midpoint of this interval, then at least one of the sets
must contain an infinite set of members of
Choose one with this property and call it
Continuing in this fashion we obtain for each positive integer
a closed interval
with the following properties:
-
-
contains infinitely many points of
-
Sincefor all
the set
is bounded. Let
is the desired accumulation point. We need to show that every neighbourhood of
contains infinitely many points of
Let
be any neighbourhood of
then there exists
such that
Now
is not an upper bound for
since
is the least upper bound hence there is a positive number
such that
If
then by the construction above
Each interval
contains infinitely many points of
so the proof would be complete if
could be found such that
As noted above,
for
so it will be enough to choose
large enough so that
and
then
Thus
contains
hence
contains infinitely many members of
and
is an accumulation point of
The boundedness of the set is necessary because for exampleis infinite but has no accumulation points.