A subsequence of a sequence is a sequence formed by deleting elements of the to produce a new . This subsequence is usually written as , where is an increasing sequence of positive integers.
Because all the terms of a subsequence are also terms of the original sequence, the properties of the subsequence are closely tied to the properties of the sequence, and so a great deal of information about one can be determined by studying the other. Sequences are objects of central importance in analysis, but they can be difficult to work with, and their simpler subsequences provide a useful tool for understanding them.
The convergence of a sequence can be characterized in terms of the convergence of its subsequences.
A sequence converges to a limit if and only if every subsequence also converges to the limit .
For one direction, suppose that , and consider some subsequence . Because , for every , there is such that Then, for , there must be some such that because the are increasing. But if then so as well. Thus any subsequence converges as well.
For the other direction, suppose that every subsequence of converges, and suppose for the sake of contradiction that does not converge. Then, for every , there is an arbitrarily large such that (if this were not true, then the sequence would converge). Then, taking the that satisfy this for each , choosing them to be increasing, gives a subsequence that does not converge; contradiction.
Does the sequence converge?
Yes. This is a subsequence of the convergent sequence , so it must converge.
A very important theorem regarding the convergence of subsequences of sequences in is the Bolzano-Weierstrass theorem.
Every bounded sequence in has a convergent subsequence.
We claim that every sequence in has a monotone subsequence. Because every bounded monotone sequence converges, the result follows.
Consider a sequence , and call a term a peak if it is larger than every subsequent term in the sequence. Now, if a sequence has infinitely many peaks, the subsequence corresponding to the peaks is monotonically decreasing. If there are only finitely many peaks, suppose that the last peak is at . Then, the term is not a peak, so there is a term after it larger than it. That term is also not a peak, so there is a term after that larger than it. In this way, a monotonically increasing subsequence can be constructed.
Either way, the sequence has a monotone subsequence, and this subsequence will converge, proving the result.
The Bolzano-Weierstrass theorem can be used to give proofs of the Ascoli-Arzela theorem, as well as be applied to various problems in economics.