20 Sequences
Recall that a sequence is defined as a function with the natural numbers as the domain [1]. When we discussed sequences in the Calculus section, we mentioned that our goal is to determine whether a sequence converges or diverges. If a sequence does converge, we want to know what numerical value it converges to. We also discussed what it means for a sequence to be bounded or monotonic, and we introduced the Monotone Convergence Theorem which says that if a sequence is both bounded and monotonic then it converges. Refer back to Part I: Chapter 6 for a more detailed discussion of these topics. In this section, we will begin by taking a look at Cauchy sequences.
Cauchy Sequences
When we discussed sequences in Calculus, we mentioned that they converged if the limit as approached infinity of existed, where is the function that defines the sequence. We will now introduce the formal definition of convergence as given by Abbott [1].
A sequence converges to a real number if, for every , there exists an such that whenever it follows that .
Now that we have defined convergence, we are ready for the definition of a Cauchy sequence given by Abbott as follows [1].
A sequence is called a Cauchy sequence if, for every , there exists an such that whenever it follows that
This definition looks very similar to the definition of convergence. What the definition of convergence is saying is that if a sequence converges then there exists a point after which every term of the sequence is within a distance of of a real number [1]. A sequence is Cauchy if there exists a point such that for any two terms and after that point, and are within a distance of of each other [1].
Let’s use this information to complete an exercise. The following problem is one I completed as homework for Introduction to Analysis [6].
Show that the sequence is a Cauchy sequence.
Proof.
Let . Choose such that . Let where . So, and , which gives us the following.
and
It then follows that
Thus, for , there exists such that when , Therefore, the sequence is a Cauchy sequence.
There is an interesting result relating to Cauchy sequences that helps us with convergence, known as the Cauchy Criterion. It is stated by Abbot as follows [1].
Theorem IV.16 (Cauchy Criterion)
Now, we not only have the Monotone Convergence Theorem but we also have the Cauchy Criterion to help us determine whether a sequence converges. In the next section, we are going to see yet another way to determine convergence by looking at subsequences.
Subsequences and Convergence
Another way we can tell if a sequence converges or diverges is to look at how its subsequences behave. So, let’s start with the formal definition of a subsequence that comes from Abbott [1].
Let be a sequence of real numbers, and let be an increasing sequence of natural numbers. Then the sequence
is called a subsequence of and is denoted by , where indexes the subsequence.
A subsequence of is a sequence that must satisfy three criteria.
- Every term in a subsequence must appear in the original sequence.
- A term should not appear more often in a subsequence than it does in the original sequence.
- The terms of a subsequence must appear in the same order as the original sequence.
Now that we understand what a subsequence is, we are ready to look at a couple theorems related to them that are stated by Abbott as follows.
Theorem IV.18
Stating this theorem another way, we have, “if a sequence converges to a limit , then all of its subsequences converge to the same limit ,” and the contrapositive of this statement is known as the Divergence Criterion. That is, the Divergence Criterion says, “if at least two subsequences converge to different limits, then the original sequence diverges.” So, using Theorem IV.18 in the form of the Divergence Criterion, we can show that a sequence diverges by finding two subsequences that converge to different limits.
Theorem IV.19 (Bolzano-Weierstrass Theorem)
Notice that the theorem states that the sequence only has to be bounded. It is possible for a sequence not to converge and still contain a convergent subsequence. For example, the sequence
has two converging subsequences,
and
However, because the first subsequence converges to 1 and the other converges to -1, the original sequence does not converge by the Divergence Criterion.
Let’s now look at an example that shows another way Theorem IV.18 can be used. This problem comes from Abbott and is one I completed as homework for Introduction to Analysis [1]. We have not mentioned the Algebraic Limit Theorem, and we will not be discussing it here. But note that the Algebraic Limit Theorem states that
where and [1].
Show that exists for all and find the value of the limit.
Proof.
If and ,
Thus, is monotone, bounded above by , and bounded below by 1. By the Monotone Convergence Theorem, converges to a real number where .
Now consider the subsequence . also converges to by Theorem IV.18. Because , we have
by the Algebraic Limit Theorem. Since , must be -1, 0, or 1. Because , . Therefore, for all .
We have now looked at sequences from both a Calculus perspective and an Analysis perspective and seen how the different views interact with one another. Next, we will look at limits and continuity from the point of view of analysis and see how it compares to that of calcul