Lecture 9
Lecture 9
Definition
Let {an }∞
n=1 be a sequence of real numbers. We say that {an } is:
2. if m is a lower bound of the set {an : n ∈ N}, then m is a lower bound of the sequence {an }∞
n=1 .
Quick concept check
True or false?
1. Every sequence is either increasing or non-increasing.
2. A sequence can be both increasing and non-increasing.
3. Every sequence is either increasing or decreasing.
4. A sequence can be both non-decreasing and non-increasing.
5. If a sequence is both increasing and decreasing, then it is monotonic.
6. If a sequence is increasing, then all of its terms must be positive.
7. If a sequence is increasing, then it must diverge to ∞.
8. If a sequence is decreasing, then it must be bounded.
9. If a sequence is non-increasing, then it must be bounded above.
The Monotone Convergence Theorem (MCT)
1. If {an } is a monotone increasing sequence that is bounded above, then {an } converges and its limit is an
upper bound of {an }.
2. If {an } is a monotone decreasing sequence that is bounded below, then {an } converges and its limit is a
lower bound of {an }.
The main point of MCT is that any monotone sequence is convergent if it is bounded. We already know that a
sequence that is not bounded cannot be convergent, so we have: a monotone sequence is convergent if and only
if it is bounded.
Proof of MCT
Moreover, by Part 1, we have −an ≤ L for all n, so an ≥ −L for all n. This proves that −L is a lower bound for
an .
Now, prove Part 1 using the Least Upper Bound Principle.
Application of MCT
Example
√
Consider the sequence defined by a1 = 1, an+1 = an + 7 for all integers n ≥ 1. Use MCT to prove that this
sequence converges.
Here are the first few terms: 1, 2.8284..., 3.1350..., 3.1835..., 3.1911..., 3.1923..., ...
Step 1. Prove that the sequence is bounded above by 4 using induction:
We already showed
√
that the sequence is non-decreasing and a1 = 1 > 0 so the limit must be non-negative. This
rules out 1−2 29 < 0. Hence,
√
1 + 29
lim an = .
n→∞ 2
The Nested Intervals Theorem
Theorem 3
T∞
Let {[an , bn ]}∞
n=1 be a nested sequence of nonempty closed bounded intervals and let X = n=1 [an , bn ] be the
intersection of all of these intervals.
If lim (bn − an ) = 0, then X is a singleton.
n→∞