Sequences of Numbers

Sequences

Definition: Sequence

• A sequence of real numbers is a function f: N R. In other words, a sequence can be denoted by f(1), f(2), f(3), ..... Usually, we will denote such a sequence by the symbol , where a_j = f(j).

We want to describe what the long-term behavior, or pattern, of a sequence may be, if any.

Definition: Convergence

• A sequence of real (or complex) numbers is said to converge to a real (or complex) number c if for every > 0 there is an integer N > 0 such that if j > N then | a_j - c | < . The number c is called the limit of the sequence and we sometimes write a_j c.
• If a sequence does not converge, then we say that it diverges.

Example:

• Consider the sequence . It converges to zero. Prove it.
• The sequence does not converge. Prove it.
• The sequence converges to zero Prove it.

We are going to establish several properties of convergent sequences, most of which are probably familiar to you. Many proofs will use an ' argument' as in the proof of the next result. This type of argument is not easy to get used to, but it will appear again and again, so that you should try to get as familiar with it as you can.

Proposition: Convergent Sequences are Bounded

• Let be a convergent sequence. Then the sequence is bounded, and the limit is unique.

Example:

• The Fibonacci numbers are recursively defined as x₀ = 1, x₁ = 1, and for all n > 1 we set x_n = x_{n - 1} + x_{n - 2}. Show that the sequence of Fibonacci numbers {1, 1, 2, 3, 5, ...} does not converge.

Proposition: Algebra on Convergent Sequences

• Suppose and are converging to a and b, respectively. Then
  1. Their sum is convergent to a + b, and the sequences can be added term by term.
  2. Their product is convergent to a * b, and the sequences can be multiplied term by term.
  3. Their quotient is convergent to a / b, provide that b # 0, and the sequences can be divided term by term (if the denominators are not zero).
  4. If a_n b_n for all n, then a b

This theorem states exactly what you would expect to be true. The proof of it employs the standard trick of 'adding zero' and using the triangle inequality. Try to prove it on your own before looking it up.

Note that the fourth statement is no longer true for strict inequalities. In other words, there are convergent sequences with a_n < b_n for all n, but strict inequality is no longer true for their limits. Can you find an example ?

While we now know how to deal with convergent sequences, we still need an easy criteria that will tell us whether a sequence converges. The next proposition gives reasonable easy conditions, but will not tell us the actual limit of the convergent sequence.

First, recall the following definitions:

Definition: Monotonicity

• A sequence is called monotone increasing if a_{j + 1} a_j for all j.
• A sequence is called monotone decreasing if a_j a_{j + 1} for all j.

• Monotone increasing:
  1. a_{j + 1} a_j
  2. a_{j + 1} - a_j 0
  3. a_{j + 1} / a_j 1, if a_j > 0
• Monotone decreasing:
  1. a_{j + 1} a_j
  2. a_{j + 1} - a_j 0
  3. a_{j + 1} / a_j 1, if a_j > 0

Examples:

• Is the sequence monotone increasing or decreasing ?
• Is the sequence monotone increasing or decreasing ?
• Is it true that a bounded sequence converges ? How about monotone increasing sequences ?

• If a sequence is bounded above, then c = sup(x_k) is finite. Moreover, given any > 0, there exists at least one integer k such that x_k > c - , as illustrated in the picture.

   

• If a sequence is bounded below, then c = inf(x_k) is finite. Moreover, given any > 0, there exists at least one integer k such that x_k < c + , as illustrated in the picture.

Proposition: Monotone Sequences

• If is a monotone increasing sequence that is bounded above, then the sequence must converge.

   

• If is a monotone decreasing sequence that is bounded below, then the sequence must converge.

Examples:

• Prove that the sequences and converge. What is their limit?
• Define x₀ = b and let x_n = x_{n - 1} / 2 for all n > 0. Prove that this sequence converges for any number b. What is the limit ?