Basically, a subsequence is a sequence with some terms missing. We can make it rigorous.
We can make this rigorous.
Definition
Letbe a sqeuence and let
be any sequence of positive integers such that
The sequence
is called a subsequence of
The original order of the remaining terms remains. For example if a-n =n^2 thenis a subsequence of
with every other term deleted.
With subsequences as defined above we can state the following theorems.
Theorem
A sequence converges if and only if each of it's subsequences converges. If every subsequence converges then they and the full sequence all converge to the same limit.
Proof: Assume thatis a sequence that converges to
Choose
then since
converges to
there is a positive integer
such that if
Since
is a subsequence of
and
hence
and
converges to A.
does not converge. The subsequence
converges to 1 and the subsequence
converges to -1 so both these subsequences converge but
if
is even and -1 if
is odd. This subsequence does not converge so the original sequence is not convergent.
Theorem
Supposeis a bounded sequence. If all of it's convergent subsequence have the same limit then the sequence converges.
Proof: Assume that all the convergent subsequences have the same limitIf
does not converge to
then there is
such that for each
there is
such that
The sequence
being bounded will have a convergent subsequence that will converge to something other than
contrary to the condition in the theorem that all convergent subsequences have the same limit. This is a contradiction so the theorem is proved.