Mathematics · Glossary

What is Subsequence?

Definition 11.13 University Mathematics — Year 1 · Chapter 11 — Sequences

A subsequence of (un)(u_n) is a sequence (uφ(n))(u_{\varphi(n)}) where φ ⁣:NN\varphi \colon \N \to \N is strictly increasing (note φ(n)n\varphi(n) \geq n, by induction).

Examples

Example 11.15 (Subsequential limits)

For un=(1)nnn+1u_n = (-1)^n \frac{n}{n+1}: the even subsequence tends to 11, the odd one to 1-1, so the sequence diverges — but it does so in an organized way, clustering around the two values ±1\pm 1. For un=cos2πn3u_n = \cos\frac{2\pi n}{3}: the three subsequences of indices 3k3k, 3k+13k + 1, 3k+23k + 2 are constant, equal to 11, 12-\frac12, 12-\frac12; the set of subsequential limits is {1,12}\{1, -\frac12\}. The closing insight: a bounded sequence converges exactly when it has a single subsequential limit (Exercise 11.8); divergence of a bounded sequence always means at least two clusters, and Bolzano–Weierstrass below guarantees there is at least one.

Read in context →