Implies
Implies
(b) implies (a). Let w ¼ sup S. If e > 0 is given, then there are at most finitely many n with w þ e < x .
Therefore w þ e belongs to V and lim sup ðxn Þ ≤ w þ e. On the other hand, there exists a subsequence of ðxnnÞ
converging to some number larger than w — e, so that w — e is not in V, and hence w — e ≤ lim sup ðxn Þ.
Since e > 0 is arbitrary, we conclude that w ¼ lim sup ðxn Þ. Q.E.D.
As an instructive exercise, the reader should formulate the corresponding theorem for the limit inferior of a
bounded sequence of real numbers.
Theorem A bounded sequence ðxn Þ is convergent if and only if lim sup ðxn Þ ¼
lim inf ðxn Þ.
We leave the proof as an exercise. Other basic properties can also be found in the exercises.
14. Let ðxn Þ be a bounded sequence and let s :¼ supfxn : n 2 Ng. Show that if s 2= fxn : n 2 Ng,
then there is a subsequence of ðxn Þ that converges to s.
15. Let ðIn Þbe a nested sequence of closed bounded intervals. For each n 2 N, let xn 2 I n . Use the
Bolzano-Weierstrass Theorem to give a proof of the Nested Intervals Property 2.5.2.
16. Give an example to show that Theorem 3.4.9 fails if the hypothesis that X is a bounded
sequence is dropped.
17. Alternate the terms of the sequences (1 þ 1=n) and (—1=n) to obtain the sequence ðxn Þ given
by ð2; —1; 3=2; —1=2; 4=3; —1=3; 5=4; —1=4; .. .Þ:
Determine the values of lim supðxn Þ and lim infðxn Þ. Also find supfxn g and inffxn g.
18. Show that if ðxn Þ is a bounded sequence, then ðxn Þ converges if and only if lim supðxn Þ ¼
lim infðxn Þ.
19. Show that if ðxn Þ and ðyn Þ are bounded sequences, then
lim supðxn þ yn Þ ≤ lim supðxn Þ þ lim supðyn Þ:
Give an example in which the two sides are not equal.
The Monotone Convergence Theorem is extraordinarily useful and important, but it has
the significant drawback that it applies only to sequences that are monotone. It is
important for us to have a condition implying the convergence of a sequence that does
not require us to know the value of the limit in advance, and is not restricted to monotone
sequences. The Cauchy Criterion, which will be established in this section, is such a
condition.
The significance of the concept of Cauchy sequence lies in the main theorem of this
section, which asserts that a sequence of real numbers is convergent if and only if it is a
Cauchy sequence. This will give us a method of proving a sequence converges without
knowing the limit of the sequence.
However, we will first highlight the definition of Cauchy sequence in the following
examples.