A sequence is an ordered list of numbers or other objects. The order matters, and each item in the sequence is called a term. In this section, we learn how to define sequences formally, different types of sequences, and some of their properties.
Motivation
Consider the following list of numbers:
![]()
What can we say about this sequence?
- All its terms are even numbers.
- Each term is obtained by adding
to the previous term. - Terms in the sequence get larger and larger as we continue through the sequence.
- The sequence is infinite.
All of these properties can be defined formally and studying them can reveal interesting phenomena.
Basic Definition
Definition (Sequence): A sequence is an ordered list of numbers. It is conventionally written as a list enclosed in braces:
![]()
A sequence can be compactly represented using the index notation:
![]()
where:
: The absolute first term of the ordered list.
: The general term (or
-th term) located at position index
.
: The position index parameter (
).
We can also have sequences where the first term is
, the second term is
and so on. These are all analogous. Since the parameter
describes a position, it must be a non-negative integer. We do not have to use the letter
for sequences, they could also be
and any kind.
Defining a Sequence Explicitly
Sequences do not necessarily have a general rule or function. However, sometimes they could have. The sequence we showed above of even numbers can be defined as
. Therefore, by replacing different values of
we obtain different terms.
![]()
Thus creating the sequence
In this case, the sequence is said to be defined explicitly. This is because there is a general rule to describe the sequence.
Not every sequence can be defined explicitly using a closed-form formula. For example, we do not have a formula to describe the sequence of all prime numbers:
![]()
Finding the explicit formula is not always easy, or it may even take some trial-and-error. Nonetheless, you are expected to be able to find terms of a sequence defined explicitly and understand other properties which we will discuss in future pages.
Recursive Sequences
A recursive sequence is one where some terms are given, and all the other terms are given by a rule. One of the most famous examples of a recursive sequence is the Fibonacci sequence.
Example: The Fibonacci sequence is a classic recursive sequence where each term is the sum of the two preceding terms. It is defined by the initial conditions
,
, and the recurrence relation rule:
![]()
Show the first 10 terms of the sequence, and demonstrate how terms
,
, and
are explicitly obtained using the recursive rule.
We see that the sequence is defined as follows: The first and second term are 1. Every other term is obtained by adding the two terms before it. Another way to write this (using function notation) is:
![Rendered by QuickLaTeX.com \[F_n=\begin{cases}1\quad\text{ if }n=1,2\\F_{n-2}+F_{n-1}\quad\text{ otherwise}\end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-650317ca82e7e9be50be70ab3b427e68_l3.png)
Here we are saying that to find
Definition (Recursive Sequence): A recursive sequence is a sequence
where subsequent terms are generated using a rule or formula that relies on the values of one or more preceding terms. To completely define a recursive sequence, two distinct structural parameters must be explicitly stated:
1. The Initial Conditions
The starting boundary values that seed the list matrix. This must include at least the first term
, along with any other starting terms required by the specific formula rules.
2. The Recurrence Relation
An algebraic formula that defines the next term
(or
) as a function of the current term
(or past terms like
):
![]()
By combining the initial terms with the recurrence rule, the list
is generated sequentially, step by step.
Let us see another example of recursive sequences and how we find some of their terms using its definition.
Example: A first-order recursive sequence is defined by the initial condition
and the recurrence relation rule:
![]()
Find the exact values of the first 5 terms of this sequence, expressing any fractional results in simplified forms.
The Collatz Sequence
The Collatz sequence is generated from any positive integer by repeatedly applying these rules:
- If the number is even, divide it by 2.
- If the number is odd, multiply it by 3 and add 1.
This process is repeated with each new number.
For example, starting with 6:
![]()
Formally, it can be defined as:
Definition (Collatz Sequence): Starting with any chosen positive integer
, each subsequent term is calculated from the previous term using the function
defined as:
![Rendered by QuickLaTeX.com \[f(n) = \begin{cases} \frac{n}{2} & \text{if } n \text{ is even} \\ 3n + 1 & \text{if } n \text{ is odd} \end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-33c4d9855f47306939ebf29c8906de52_l3.png)
The recurrence relation to generate the next term in the sequence
is given by:
![]()
The Collatz Conjecture asserts that no matter what positive integer is chosen for the first term
, the sequence will always eventually reach the number
, trapping itself in an infinite repeating cycle of
. Try it a few times with any positive integer to see that you end up in the same loop.
Optional – Arithmetic and Geometric Sequences
These sequences you examine more closely in S7. We can still discuss a few examples since they are relatively easy concepts to understand.
An arithmetic sequence is a sequence where every term is obtained from the previous one by adding a constant term called the difference. The sequence given at the beginning of this section
is an example of an arithmetic sequence because we can write it as:
. That is, every term is the result of the previous one being added the number 2. The difference between any two consecutive terms is always
. E.g.:
.
The general formula for an arithmetic sequence is:
. In S7 you discuss these sequences more in detail.
Example: An arithmetic sequence is defined by its first term
and a common difference
. Find the first 5 terms of this sequence.
A geometric sequence is a sequence where every term is obtained from the previous one by multiplying it by a constant term called the ratio (or quotient). The sequence
is not geometric, because the quotient between any two consecutive terms is not constant. E.g.:
.
The general form of geometric sequences is:
. The first term and ratio are given, if we want the second term, we multiply
by
once. If we want the third term, we multiply
by
twice (so by
), and so on.
Example: A geometric sequence is defined by its first term
and a common ratio
. Find the first 5 terms of this sequence, expressing any decimals or fractions clearly.
Exercises
Five sequences are explicitly defined by their general
-th term formulas below for
. For each sequence, calculate the first 3 terms (
,
, and
) by substituting the index parameters, and then determine the next 3 terms (
,
, and
).
![]()
![]()
![]()
![]()
![]()
Three sequences are defined recursively below for
. For each problem, use the given first term (
) and the recurrence rule to calculate the exact values for the next 5 terms (
,
,
,
, and
). Simplify all fractional results completely.
![]()
![]()
![]()
The Collatz sequence is defined by the function
where
:
![Rendered by QuickLaTeX.com \[f(n) = \begin{cases} \frac{n}{2} & \text{if } n \text{ is even} \\ 3n + 1 & \text{if } n \text{ is odd} \end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-33c4d9855f47306939ebf29c8906de52_l3.png)
Consider the arithmetic sequence defined by the ordered list parameter matrix:
Consider the geometric sequence defined by the ordered list format: