A sequence is an ordered list of terms.
These are commonly maps from natural numbers to real (or complex) numbers.
We can use \(a_i=f(i)\) to denote this.
If \(f(i)\) is defined on all \(i\in \mathbb{N}\) then the sequence is infinite. Otherwise it is finite.
If a sequence is defined on \(n\in \mathbb{N}\) and \(n\ne 0\) then the sequence must be defined on \(n-1\).
For example \(a_0, a_1, a_2,...\) is a sequence, but \(a_1,a_2,...\) is not.
A monotone sequence is one where each element is succeeded ordinally by the next entry.
For example:
\(\) is monotone
\(\) is not monotone
An increasing sequence is one where:
\(\forall m \in \mathbb{N} \forall n\in \mathbb{N} [m > n \leftrightarrow a_m \ge a_n]\)
A strictly increasing sequence is one where:
\(\forall m \in \mathbb{N} \forall n\in \mathbb{N} [m > n \leftrightarrow a_m > a_n]\)
A decreasing sequence is one where:
\(\forall m \in \mathbb{N} \forall n\in \mathbb{N} [m > n \leftrightarrow a_m \le a_n]\)
A strictly decreasing sequence is one where:
\(\forall m \in \mathbb{N} \forall n\in \mathbb{N} [m > n \leftrightarrow a_m < a_n]\)
All strictly decreasing sequences are decreasing, and all strictly increasing sequences are increasing.
A monotone sequence is one which is either increasing or decreasing.
A subsequence of a sequence is the original sequence with some elements of the original removed, not changing the order.
For example:
\(\) is a subsequence of \(\)
A series is the summation of a sequence. For a series \(a_n\) there is a corresponding series:
\(s_n=\sum_{i=0}^na_n\)
Where:
\(\sum_{i=0}^na_i=a_0+a_1+a_2+...+a_n\)
If all members of a sequence are multiplied by a constant, so is each member of the series.
We can take constants out of the series:
\(s_n=\sum_{i=0}^na_i\)
\(s_n=\sum_{i=0}^ncb_i\)
\(s_n=a\sum_{i=0}^nb_i\)
If all elements of a sequence are the same, then the series is a multiple of that constant.
\(s_n=\sum_{i=0}^na_i\)
\(s_n=\sum_{i=0}^nc\)
\(s_n=nc\)
Consider a sequence \(a_i=b_i+c_i\).
\(s_n=\sum_{i=0}^na_i\)
\(s_n=\sum_{i=0}^n(b_i+c_i)\)
We can then split this out.
\(s_n=\sum_{i=0}^nb_i+\sum_{i=0}^nc_i\)
\(\sum_{i=0}^na_i=a_0+\sum_{i=1}^na_i\)
\(\sum^n_{i=0} \sum^m_{j=0} a_i=n\sum^m_{j=0} a_i\)
\(\sum^n_{i=0} \sum^m_{j=0} a_i b_j=\sum^n_{i=0}a_i\sum^m_{j=0}b_i\)
A product is a repeated multiplication of a sequence.
\(p_n=\prod_{i=0}^ns_i\)
We can take constants out of the product.
\(p_n=\prod_{i=0}^nca_i\)
\(p_n=a^{n}\sum_{i=0}^na_i\)
If \(a_i=c\) then the summation is then of the form:
\(p_n=\prod_{i=0}^nc\)
\(p_n=c^{n}\prod_{i=j}^n1\)
\(p_n=c^{n}\)
If a sequence is the product of to other sequences then the product of the sequence is equal to the product of the two individual sequences.
\(p_n=\prod_{i=0}^na_i\)
\(p_n=\prod_{i=0}^nb_ic_i\)
\(p_n=\prod_{i=0}^nb_i\prod_{i=0}^nc_i\)
A factorial is a a product across natural numbers. That is:
\(n!:=\prod^n_{i=0}i\)
Let’s prove that:
\(\sum_{i=0}^n i= \dfrac{n(n+1)}{2}\)
We use the inference rules Modus Ponens, which says that if \(X\) is true, and \(X\rightarrow Y\) is true, then \(Y\) is true.
We know this is true for \(n=0\):
\(0=\dfrac{0(0+1)}{2}\)
\(0=0\)
We can also prove that if it true for \(n\), it is true for \(n+1\).
\(\sum_{i=0}^{n+1} i= \dfrac{(n+1)(n+2)}{2}\)
\((n+1)+\sum_{i=0}^{n} i= \dfrac{n^2 +3n +2}{2}\)
If it is true for \(n\), then:
\((n+1)+\dfrac{n(n+1)}{2}= \dfrac{n^2 +3n +2}{2}\)
\(\dfrac{n^2+3n+2}{2}= \dfrac{n^2 +3n +2}{2}\)
\(1=1\)
So we know that it is true for \(n=0\), and if it is true for \(n\), then it is true for \(n+1\). As a result it is true for all natural numbers.
A function \(f(x)\) on set \(X\) is bounded if:
\(\exists M\in \mathbb{R} [\forall x\in X f(x)\le M]\)
A bounded sequence is a special case of a bounded function where:
\(X=\mathbb{N}\)
That is, a sequence is bounded by \(M\) iff:
\(\forall n\in \mathbb{R} |f(a_n)|\le M\)