# Calculus/Definition of a Sequence

## Finite Sequences[edit | edit source]

**Definition: Definition of a Sequence**

A **sequence** is an ordered collection of terms in which repetition is allowed. The number of terms in a sequence is called the **length** of the sequence.

Sequences are often denoted by brackets like . Furthermore if we have a sequence such that then . The subscript must be a non-negative integer. Also notice that starts from one and counts up.

We can describe the terms in this sequence with a formula for all non-negative integers . So under this definition is not defined, and indeed is not in the sequence.

## Infinite sequences[edit | edit source]

**Definition: Definition of an infinite sequence**

An **infinite sequence** is a sequence with an infinite number of elements.

Infinite sequences have infinite terms. For such a sequence, we can again give a formula for any term in the sequence. For our previous sequence , we can say for all non-negative integers . This sequence could also be denoted as where the period of ellipses implies that this sequence is infinite.

## Discrete Functions[edit | edit source]

Earlier, we defined the members of the infinite sequence as for all non-negative integers . This is known as a **discrete function**, **discrete definition**, or **explicit definition**. A discrete function is any function whose domain is not the set of all real or imaginary numbers, but is instead a smaller, countable set like the set of all integers or the set of all rational numbers. Note that a set differs from a sequence, but that is beyond the scope of this discussion.

Discrete functions only take “countable”, discrete domains. The set of all integers is countable, because there are not infinitely many values between two values in the set; there is no extra value between 2 and 1, as 1.5 is not an integer and is not contained in the set. Also note that given a discrete function or explicit definition, as long as the domain is discrete, the range must also be discrete. This means that if the input of a discrete function is countable, the output must also be countable.

### Example 1[edit | edit source]

This is known as an arithmetic sequence. These will be discussed later.

### Example 2[edit | edit source]

This result may be interesting: a sequence does not need to be a collection of integers, indeed it can be any collection, as long as it is countable. Here, we are simply taking the cosine of all integers, and any discrete function must have both a discrete domain *and* range.

## Recursive Functions[edit | edit source]

**Recursive functions**, **recursive formulas**, or **recursive definitions** are formulas in which is defined in terms of . Knowing any term in a recursively defined sequence requires you to know all the terms before it, which means you must know the first term, sometimes denoted or . The first term must be defined in order to have a proper recursive sequence; it cannot be assumed that the first term is 1.

Sometimes, one can have a sequence that is *necessarily* defined by a recursive function. For instance, the recursively defined sequence . This sequence cannot be expressed any other "easy" way and in this kind of situation it is best to use the recursive definition.

### Example 1[edit | edit source]

The sequence

is the same arithmetic sequence mentioned earlier. However, this time it uses a recursive definition which is essentially the same.

### Example 2[edit | edit source]

This is the sequence of cosine mentioned earlier:

### Example 3[edit | edit source]

Notice that this time, instead of saying , we defined in terms of . This definition is still valid.