Sequence
A sequence is one of the earliest and easiest definitions encountered, but I will restate it.
I was taught to denote the sequence [math]\{a_1,a_2,...\}[/math] by [math]\{a_n\}_{n=1}^\infty[/math] however I don't like this, as it looks like a set. I have seen the notation [math](a_n)_{n=1}^\infty[/math] and I must say I prefer it. This notation is inline with that of a tuple which is a generalisation of an ordered pair.
Contents
Definition
Formally a sequence [ilmath](A_i)_{i=1}^\infty[/ilmath] is a function[1][2], [math]f:\mathbb{N}\rightarrow S[/math] where [ilmath]S[/ilmath] is some set. For a finite sequence it is simply [math]f:\{1,...,n\}\rightarrow S[/math]. Now we can write:
- [ilmath]f(i):=A_i[/ilmath]
This naturally then generalises to indexing sets
Subsequence
Given a sequence [ilmath](x_n)_{n=1}^\infty[/ilmath] we define a subsequence of [ilmath](x_n)^\infty_{n=1}[/ilmath][2] as a sequence:
- [ilmath]k:\mathbb{N}\rightarrow\mathbb{N} [/ilmath] which operates on an [ilmath]n\in\mathbb{N} [/ilmath] with [ilmath]n\mapsto k_n:=k(n)[/ilmath] where:
- [ilmath]k_n[/ilmath] is increasing, that means [ilmath]k_n\le k_{n+1} [/ilmath]
We denote this:
- [ilmath](x_{k_n})_{n=1}^\infty[/ilmath]
See also
- Monotonic sequence
- Bolzano-Weierstrass theorem
- Cauchy criterion for convergence
- Convergence of a sequence