Math for Non-Geeks/Sequences

{{#invoke:Math for Non-Geeks/Seite|oben}}

The sequence is one of the most important terms in analysis. On the basis of sequences we will define the term of the limit value later. This in turn allows us to introduce all important concepts of analysis like derivative and continuity.

Sequences in "everyday life"

File:Folgen - Quatematik.webm Maybe, you can think of some examples from your everyday life, where "things line up" as a sequence...

All examples have in common that the order of the elements of a sequence is exactly defined. There is an exactly defined order of the sequence elements, which has to be considered. After getting up you should make coffee before drinking it (the reverse order would be suboptimal Template:Smiley).

In addition, one or more objects can appear several times in a sequence. In the sequence of the soccer world champions, some nations appear more than once because they won the soccer world championship more than once. This distinguishes a sequence from a set. For a set it does not make sense to ask how often an element occurs in the set, as it may occur at most once. One can only ask whether an object is an element of a set or not.

Furthermore, you can number the individual sequence members of a sequence. You can say who was the first president of the USA, the second president and so on. So you can assign one or more numbers to each element of a sequence, which indicate at which position this object occurs in the sequence.

Many of the sequences known in everyday life are finite, but infinite sequences are imaginable too. If soccer world championships would be played for all eternity, the sequence of soccer world champions would be infinite.

Formal definition

Let us now turn to the concept of a sequence in mathematics. The big difference to the notion of sequences in everyday life is, that in mathematics a sequence is always infinitely long. In mathematics there are also "finite sequences", but mathematicians call them"tuples" instead of sequences. ("finite = tuple", "infinite = sequence")

A sequence is thus an infinite sequence $(a_1,a_2,a_3,a_4,\dots )$ of objects. Here $a_1$ stands for the object in the first place, $a_2$ for the object in the second place and so on. For sequences there is the abbreviated notation $(a_n{)}_{n\in \mathbb{N}}$. This is the (intuitive) definition of a sequence:

Template:-

This definition is only intuitive, because we did not define the term "infinite ordered arrangement" exactly. This has to be done for an exact (non-intuitive) definition.

Important terms

The single elements $a_n$ of a sequence are mathematically called sequence elements. They are enumerated by a natural number $n$. This natural number is called index. For example, $a_4$ is the sequence element of index $4$.

For a sequence with elements from the set $M$, a sequence elements must be an element of the set $M$. For instance, take the sequence $(1,1,1,2,3,4,5,6,\dots )$. The sequence member $a_1$ is identical to $a_2$ or $a_3$, namely the number $1$.

If you refer to the whole sequence, you write ${\left(a_n\right)}_{n\in \mathbb{N}}$. Two short notations for ${\left(a_n\right)}_{n\in \mathbb{N}}$ are $(a_n{)}_n$ and $(a_n)$. Often the letter $n$ is used as an index variable. But every letter can be used as index variable as long as it has no other meaning in the respective context. For instance, ${\left(a_m\right)}_{m\in \mathbb{N}}$, ${\left(a_i\right)}_{i\in \mathbb{N}}$, ${\left(a_j\right)}_{j\in \mathbb{N}}$ or ${\left(a_k\right)}_{k\in \mathbb{N}}$ are common, as well.

In real analysis, we consider sequences of real numbers. These special sequences are called real-valued sequences. In the following overview and in the following table all essential terms concerning the components of sequences are summarized:

Template:Math

term	notation	definition
sequence	$(a_n{)}_{n\in \mathbb{N}}$ or $(a_n)$	A sequence is an infinite arrangement of objects.
sequence element	$a_n$	A sequence element is one specific element within a sequence, standing at some position.
index	$n$	The index is that position, i.e. a natural number.

Definition as a function

Definition

Above we have intuitively defined the sequence as an infinite arrangement of objects. The term of a function will allow us to make a mathematically precise definition: We take the set of natural numbers and assign to each natural number $n$ an object $a_n$ (where the objects come from some set $M$ in which the sequence takes its values). Thus we get an infinite and numbered arrangement of objects, as the following sketch illustrates:

Template:Math

So a sequence is mathematically a function $\mathbb{N}\to M$For instance, we could write the sequence of Presidents of the US as such a function:

(For English monarchs, the situation is not so easy as there are different houses with different sequences.)

The function assigns to any natural number $n$ the corresponding $n$-th sequence element:

The definition above only uses mathematical terms, so it serves as a mathematically exact definition. Hence, it is used in textbooks as definition for a sequence.

Remarks

For a sequence $(a_n{)}_{n\in \mathbb{N}}$ with sequence elements from the set $M$ the short form $(a_n{)}_{n\in \mathbb{N}}=(a_1,a_2,\dots )$ stands for a function $f:\mathbb{N}\to M,n\mapsto a_n$. So sequences are nothing else than functions.

Let us take the two sequences $(a_n{)}_{n\in \mathbb{N}}=(f:\mathbb{N}\to \mathbb{N},n\mapsto n)$ and $(b_n{)}_{n\in \mathbb{N}}=(g:\mathbb{N}\to ℝ,n\mapsto n)$. Strictly speaking, both sequences are different, because the target sets are $\mathbb{N}$ and $ℝ$ , i.e. different and therefore the functions are different, as well. But their "short spellings" do not differ: $(a_n{)}_{n\in \mathbb{N}}=(1,2,3,4,\dots )$ and $(b_n{)}_{n\in \mathbb{N}}=(1,2,3,4,\dots )$. This distinction becomes obvious, if you call $(a_n{)}_{n\in \mathbb{N}}$ a sequence in the natural numbers and $(b_n{)}_{n\in \mathbb{N}}$ a sequence in the real numbers.

To make clear that a sequence $(a_n{)}_{n\in \mathbb{N}}$ is a mapping from the natural numbers into the set $M$, we say that $(a_n{)}_{n\in \mathbb{N}}$ is a sequence in $M$. Sometimes also the notation $(a_n{)}_{n\in \mathbb{N}}\subseteq M$ is used.

Kinds of sequences

Nested intervals are a sequence of sets.

A sequence of quadratic functions.

Folgen können beliebige Objekte als Folgenglieder besitzen. So sind reelle Folgen Folgen von reellen Zahlen. Dies ist auch der Typ der meisten Folgen, die uns in der Analysis begegnen werden. There is aber auch möglich, Folgen von komplexen Zahlen zu haben, welche komplexe Folgen genannt werden. Aber auch Folgen von Mengen oder Folgen von Funktionen sind möglich.

In den letzten Kapiteln haben wir bereits Intervallschachtelungen kennengelernt. Since Intervalle Mengen sind, sind Intervallschachtelungen Beispiele für Folgen von Mengen. Die folgende Tabelle listet einige Beispiele für Folgen auf:

Sequences can have any objects as sequence elements. There are real-valued sequences , which are sequences in the real numbers. Most sequences, which we encounter in real analysis will be of this type. Taking sequences of complex numbers, we get complex-valued sequences. But also sequences of sets or sequences of functions are possible (see the two figures).

In the last articles, we already learned about nested intervals. Since intervals are sets, nested intervals are an example for sequences of sets. The following table lists some examples of sequences:

kind of sequences	explicit law	the first elements
real sequence $(a_n{)}_{n\in \mathbb{N}}$	$a_n=n^2$	$1,4,9,16,\dots$
complex sequence $(c_n{)}_{n\in \mathbb{N}}$	$c_n=i^n$	$i,-1,-i,1,i,\dots$
sequence of sets $(M_n{)}_{n\in \mathbb{N}}$	$M_n=\{k\in \mathbb{N}|k\le n\}$	$\{1\},\{1,2\},\{1,2,3\},\{1,2,3,4\},\dots$
sequence of intervals $(M_n{)}_{n\in \mathbb{N}}$	$M_n=[-\frac{1}{n},\frac{1}{n}]$	$[-1,1],[-\frac{1}{2},\frac{1}{2}],[-\frac{1}{3},\frac{1}{3}],[-\frac{1}{4},\frac{1}{4}],\dots$
sequence of functions $(f_n{)}_{n\in \mathbb{N}}$	$f_n:ℝ\to ℝ:x\mapsto \frac{x^2}{n}$	$f_1(x)=x^2,f_2(x)=\frac{x^2}{2},f_3(x)=\frac{x^2}{3},f_4(x)=\frac{x^2}{4},\dots$

The explicit law is the formula with which a sequence element can be expressed directly, if just the index is given. There is also a recursive law, which states what an element is in terms of the previous elements. In the next chapter, we will discuss the different laws for sequences in more detail.

{{#invoke:Math for Non-Geeks/Seite|unten}}