The Timpson Lyceum · Real Analysis (2020)
Lecture 8 (Real Analysis 2020)
Overview
This lecture introduces subsequences of a sequence and develops their core properties before using them to define sequential compactness of a set. We prove that every convergent sequence passes its limit on to all of its subsequences, that every sequence (no matter how erratic) contains a monotone subsequence, and that every bounded sequence therefore has a convergent subsequence — the Bolzano–Weierstrass theorem. We close by defining sequentially compact sets and showing, with examples, that exactly the closed bounded intervals are sequentially compact. These tools are the foundation for the convergence and compactness arguments that dominate the rest of real analysis.
Key Concepts
-
Subsequence. Given a sequence and a strictly increasing sequence of natural numbers , the sequence is a subsequence of . Intuitively, you scan left to right through and keep or discard each term; you may never repeat a term or reorder them. The strict increase of the indices is exactly what enforces this "keep order, no repeats" rule. A subsequence still has infinitely many terms.
- Any sequence is a subsequence of itself (take ). Also, the shifted sequence is a subsequence of — it is just with the first term dropped.
- Index fact: for any increasing index sequence, for every (the -th chosen index is at least , since indices start at and strictly increase).
-
Subsequences of a convergent sequence. If , then every subsequence also converges to . Consequently a sequence with two subsequences tending to different limits cannot converge.
-
Peak index. An index is a peak index of if every later term is no larger: A peak index is a property of the index, not of the value at it. A sequence may have zero peak indices (e.g. ), finitely many, or infinitely many (e.g. , where every index is a peak; or , where every even index is a peak).
-
Monotone Subsequence Theorem. Every sequence contains a monotone subsequence. (Proof sketch: if there are infinitely many peak indices, the subsequence on those indices is monotonically decreasing; if there are only finitely many, then past the last peak no index is a peak, so each chosen term can be exceeded by a later one, building a monotonically increasing subsequence.)
-
Bolzano–Weierstrass Theorem. Every bounded sequence has a convergent subsequence. (A bounded sequence has a monotone subsequence; that subsequence is also bounded; and every bounded monotone sequence converges.)
-
Sequential compactness. A set is sequentially compact if every sequence with all terms in has a subsequence converging to a point of . This is a property of the set, not of any one sequence.
- The half-open interval is not sequentially compact: lies in it, but every subsequence converges to .
- The unbounded interval is not sequentially compact: the sequence lies in it but is unbounded, so it has no convergent subsequence at all.
- Closed bounded intervals are sequentially compact. Every is sequentially compact, since a sequence in is bounded (has a convergent subsequence by Bolzano–Weierstrass), and because is closed, the subsequence's limit lies back in .
Worked Example
Prove that the recursive sequence converges, and find its limit.
Step 1 — Show it converges. Every term is positive (sum and quotient of positives), so the sequence is bounded below by . To see it is monotonically decreasing, examine consecutive differences. Algebra gives the key identity:
The denominator is positive, so has the same sign as . Since , induction forces every difference to be negative: the sequence is monotonically decreasing. Bounded below and decreasing it converges to some limit .
Step 2 — Find the limit. Since is a subsequence (shift) of , both sides have the same limit . Passing to the limit in the recursion and solving:
The terms are bounded below by , so the limit cannot be negative. Discarding the negative root,
Summary
- A subsequence is built from a strictly increasing index sequence (), preserving order with no repeats; it satisfies and still has infinitely many terms.
- If , then every subsequence converges to the same ; differing subsequential limits prove divergence.
- A peak index satisfies for all ; splitting on "infinitely vs. finitely many peaks" yields a monotone subsequence inside any sequence.
- Bolzano–Weierstrass: every bounded sequence has a convergent subsequence (bounded monotone subsequence bounded monotone convergent).
- A set is sequentially compact when every sequence in it has a subsequence converging to a point of the set; closed bounded intervals qualify, while (not closed) and (not bounded) do not.