Unit 7, lesson 90

Definition of a Sequence

What a sequence is as a function on the positive integers, how explicit and recursive rules produce its terms, and how to decide whether it is bounded, positive, monotonic or alternating.

  • Theory part 179
  • Practice part 180
  • Sequences

A savings account balance checked once a year, the number of bacteria counted every hour, the decimal approximations 1,1.4,1.41,1.4141, 1.4, 1.41, 1.414 of 2\sqrt{2}. Each is an endless list of numbers in a definite order. That ordered list is a sequence, and before asking where it is heading you need words for how it behaves along the way.

Key terms

Sequence as a function on the natural numbers

Definition A sequence of real numbers is a function aa whose domain is the set of positive integers {1,2,3,… }\{1, 2, 3, \dots\}, or more generally a set of integers {n0,n0+1,n0+2,… }\{n_0, n_0 + 1, n_0 + 2, \dots\}, and whose values are real numbers. Its value at nn is written ana_n instead of a(n)a(n), and the whole sequence is written {an}\{a_n\} or {an}n=1∞\{a_n\}_{n=1}^{\infty}.

In plain words A sequence is a rule that assigns a number to each position 1,2,31, 2, 3 and so on. Unlike a function on an interval, it only has values at whole numbers.

Example The sequence an=1na_n = \frac{1}{n} is the list 1,12,13,14,…1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots. It is the function f(x)=1xf(x) = \frac{1}{x} looked at only at x=1,2,3,…x = 1, 2, 3, \dots.

Terms

Definition The number ana_n is the nnth term of the sequence {an}\{a_n\}, and nn is its index. Two sequences {an}\{a_n\} and {bn}\{b_n\} with the same set of indices are equal when an=bna_n = b_n for every index nn.

In plain words The terms are the entries of the list, and the index says where each one sits.

Example The sequence

an=(−1)nnn+1a_n = (-1)^n \frac{n}{n + 1}

has first terms a1=−12a_1 = -\frac{1}{2}, a2=23a_2 = \frac{2}{3}, a3=−34a_3 = -\frac{3}{4}, a4=45a_4 = \frac{4}{5}. The sequences an=na_n = n and bn=n2b_n = n^2 share the terms 11 and 44 as values, but they are different sequences since a2=2≠4=b2a_2 = 2 \neq 4 = b_2.

Explicit and recursive rules

Definition An explicit rule gives ana_n directly as an expression in nn. A recursive rule gives one or more starting terms and an equation that expresses an+1a_{n+1} through earlier terms, such as an+1=g(an)a_{n+1} = g(a_n) for n≥1n \ge 1. A recursive rule determines a unique sequence once the starting terms are given.

In plain words With an explicit rule you can jump straight to the hundredth term. With a recursive rule you must walk there step by step, but the rule is often the natural way the sequence arises.

Example The rule a1=1a_1 = 1, an+1=2an+1a_{n+1} = 2a_n + 1 gives 1,3,7,15,311, 3, 7, 15, 31. These are one less than powers of 22, which suggests the explicit rule an=2n−1a_n = 2^n - 1. It checks out, since 21−1=12^1 - 1 = 1 and 2(2n−1)+1=2n+1−12(2^n - 1) + 1 = 2^{n+1} - 1.

Bounded sequences

Definition A sequence {an}\{a_n\} is bounded above if there is a number MM with an≤Ma_n \le M for all nn, and bounded below if there is a number mm with an≥ma_n \ge m for all nn. It is bounded if it is both, which is the same as having a number KK with ∣an∣≤K\lvert a_n \rvert \le K for all nn.

In plain words A bounded sequence stays inside some fixed band. It never runs off to ∞\infty or −∞-\infty.

Example For an=nn+1a_n = \frac{n}{n + 1} we have 12≤an<1\frac{1}{2} \le a_n < 1 for every n≥1n \ge 1, so it is bounded. The sequence an=n2a_n = n^2 is bounded below by 11 but not bounded above.

Positive sequences

Definition A sequence is positive if an>0a_n > 0 for every nn, and nonnegative if an≥0a_n \ge 0 for every nn. It is eventually positive if there is an NN with an>0a_n > 0 for all n≥Nn \ge N.

In plain words All the terms are above zero. Many later tests for series only apply to sequences like this, so it is worth checking first.

Example For an=n2−5n+7a_n = n^2 - 5n + 7, the quadratic x2−5x+7x^2 - 5x + 7 has discriminant 25−28<025 - 28 < 0 and opens upward, so it is positive for every real xx. The terms 3,1,1,3,73, 1, 1, 3, 7 confirm it. By contrast bn=n−3b_n = n - 3 is not positive, but it is eventually positive.

Increasing and decreasing

Definition A sequence {an}\{a_n\} is increasing if an<an+1a_n < a_{n+1} for all nn, and decreasing if an>an+1a_n > a_{n+1} for all nn. With non-strict inequalities, an≤an+1a_n \le a_{n+1} or an≥an+1a_n \ge a_{n+1}, it is called nondecreasing or nonincreasing. Some books use increasing for the non-strict version, so read the definition in use.

In plain words Increasing means each term is bigger than the one before. You can check the sign of an+1−ana_{n+1} - a_n, compare an+1/ana_{n+1}/a_n with 11 when the terms are positive, or, when an=f(n)a_n = f(n) for a function ff differentiable on [1,∞)[1, \infty), show that f′(x)>0f'(x) > 0 for all x≥1x \ge 1.

Example For an=nn+1a_n = \frac{n}{n + 1},

an+1−an=n+1n+2−nn+1=(n+1)2−n(n+2)(n+1)(n+2)=1(n+1)(n+2)>0,a_{n+1} - a_n = \frac{n + 1}{n + 2} - \frac{n}{n + 1} = \frac{(n + 1)^2 - n(n + 2)}{(n + 1)(n + 2)} = \frac{1}{(n + 1)(n + 2)} > 0,

so the sequence is increasing.

Monotonic sequences

Definition A sequence is monotonic if it is nondecreasing or nonincreasing. It is eventually monotonic if this holds for all n≥Nn \ge N for some NN.

In plain words A monotonic sequence never changes direction. It may stand still for a step but never turns back.

Example For an=2n/n!a_n = 2^n / n! the terms are positive and

an+1an=2n+1(n+1)!⋅n!2n=2n+1,\frac{a_{n+1}}{a_n} = \frac{2^{n+1}}{(n + 1)!} \cdot \frac{n!}{2^n} = \frac{2}{n + 1},

which equals 11 for n=1n = 1 and is less than 11 for n≥2n \ge 2.

nn1122334455
ana_n222243\frac{4}{3}23\frac{2}{3}415\frac{4}{15}

So the sequence is nonincreasing, hence monotonic, and it is strictly decreasing from n=2n = 2 on.

Alternating sequences

Definition A sequence is alternating if consecutive terms have opposite signs, that is, anan+1<0a_n a_{n+1} < 0 for all nn. Equivalently an=(−1)nbna_n = (-1)^n b_n for all nn or an=(−1)n+1bna_n = (-1)^{n+1} b_n for all nn, with bn>0b_n > 0.

In plain words The signs flip at every step, plus, minus, plus, minus. An alternating sequence is never monotonic.

Example Since cos⁡(nπ)=(−1)n\cos(n\pi) = (-1)^n, the sequence

an=cos⁡(nπ)n=(−1)nna_n = \frac{\cos(n\pi)}{n} = \frac{(-1)^n}{n}

is −1,12,−13,14,…-1, \frac{1}{2}, -\frac{1}{3}, \frac{1}{4}, \dots. It has the form (−1)nbn(-1)^n b_n with bn=1/n>0b_n = 1/n > 0, so it alternates.

Check yourself

  1. Write the first four terms of a1=3a_1 = 3, an+1=an2+1a_{n+1} = \frac{a_n}{2} + 1, and check that an=2+21−na_n = 2 + 2^{1-n} fits them.
Show the answer

The terms are 3,52,94,1783, \frac{5}{2}, \frac{9}{4}, \frac{17}{8}. The explicit rule gives 2+12 + 1, 2+122 + \frac{1}{2}, 2+142 + \frac{1}{4}, 2+182 + \frac{1}{8}, the same numbers.

  1. Is an=(n−3)2a_n = (n - 3)^2 monotonic? Is it bounded?
Show the answer

The terms are 4,1,0,1,4,9,…4, 1, 0, 1, 4, 9, \dots, which go down and then up, so it is not monotonic, though it is increasing from n=3n = 3 on. It is bounded below by 00 but not bounded above, so it is not bounded.

  1. Is an=(−1)nna_n = \frac{(-1)^n}{n} bounded? Is it monotonic?
Show the answer

It is bounded, since ∣an∣≤1\lvert a_n \rvert \le 1. It alternates in sign, so it is not monotonic.

How this lesson connects

It also uses Functions of integers and sequences.