Using subsequences to prove convergence

1. Introduction

This page continues the work in a previous page about subsequences. and concentrates on how to use subsequences to prove a sequence does converge.

First, note that the Theorem on Subsequences shows that a subsequence of a convergent sequence does converge, and it can be used in this way.

Example.

The sequence (₎ defined by ₌₁₂ is a subsequence of the null sequence (₎ defined by ₌₁. Hence (₎ is also a null sequence by the Theorem on Subsequences.

These arguments are easy to write down and quite convenient, but they are all very easy in the sense that the new sequence could have been proved convergent in exactly the same way as the original sequence was. This web pages addresses the use of subsequences to prove new sequences that we didn't previously know converged do in fact converge. The main result here concerns "covering a sequence by subsequences". If you use this result, please be very careful that you apply it correctly and that you do not confuse it with the Theorem on Subsequences (which is normally used to prove a sequence does not converge). It is very easy to make mistakes in this area.

2. Using subsequences to prove convergence

The idea of "covering a sequence by subsequences" is to split all the terms of a sequence (₎ into two subsequences and prove these two subsequences tend to the same limit. Often a sequence is split into its odd-numbered and its even-numbered terms. But it is essential to consider all the terms of the original sequence and ensure both subsequences tend to the same limit. Just knowing a sequence (₎ has a convergent subsequence says nothing about the convergence of the whole sequence (₎.

Theorem on covering by subsequences.

Suppose a sequence (₎ is given, and _=₍₎ and _=₍₎ are subsequences, where , are increasing functions . Suppose also that

= () ()

and (₎ and ( ₎ both converge to the same limit . Then (₎ converges to .

Proof.

We have a number of assumptions here, which we shall write down formally in terms of (₎, and .

0 _()
-

= () ()

and are increasing functions .

Remark.

We have to prove 0 _- so we start by letting 0 be arbitrary, use the convergence of (₎ and ( ₎ to define a suitable and then let be arbitrary. All this is as usual. The definition of is the tricky bit.

Subproof.

Let 0 be arbitrary.

Let ₁ satisfy _{1

_()
-} .

Let ₂ satisfy _{2

_()
-} .

Let =(( _{1),(
₂₎₎} .

Subproof.

Let be arbitrary.

Since = () () we have =() or =() for some . For the moment, assume the first, that =() .

Since =() and ( ₁₎ , and is increasing, we must have ₁ ; this is because ₁ would imply () ( ₁₎ .

It follows from the choice of ₁ that _()
- and hence _- .

The case when =() is handled by an identical argument, using the choice of ₂ and the fact that is increasing.

Hence _- .

Hence 0 _- , as 0 was arbitrary.

One application of this result is given in an exercise sheet. We give one further example here.

Example.

The sequence

1,1+12,1+12+12 ,1+12+12+12 ,1+12+12+12+12 ,1+12+12+12+12+12 ,

defined by ₁₌₁ and

+1 =1+11+

is called the continued fraction for 2 . As the name suggests, this sequence converges to 2.

Proof.

Full details are left as an exercise (or may be given in lectures). Only a sketch is given here.

The idea is to define subsequences _=

2-1 and _=

2 . It will turn out in a moment that the subsequence (₎ is increasing, ( ₎ is decreasing, and both converge to 2.

By some algebra (exercise!) you should be able to show that consecutive terms of _, are given by the formula +2 = 4+3 3+2 .

Now by straightforward algebra (writing down expressions for +2 - and +2 2-2) we can prove that

2 2 +2 and +2 ²²

and

2 2 +2 and +2 ²²

for each . The same algebra also shows that

2- +2 ² 125 2-_²

By computing 2-_1² and 2- 1 ² and using induction, it follows from this that

2- ² 1 25 -1

and

2- ² 14 1 25 -1

hence the sequences converge to 2 since, by the difference of two squares,

_-2 = ^2-2 ₊₂ 1 25 -1

and

_-2 = ^2-2 ₊₂ 14 1 25 -1

The conclusion that ₂ now follows by the theorem above.

3. Summary

A subsequence of a sequence is an infinite selection of terms from the sequence taken in the same order. You have seen how to notate and handle subsequences here. If the original sequences converges, then all subsequences converge to the same limit. This result is principally used to show a given sequence does not converge.

Occasionally, a sequence can be proved convergent by considering subsequences separately, and a general result to this effect was proved. However care must be taken in using this result and checking all its conditions. An example was given, and other examples are studied in the exercises.