The Timpson Lyceum seal

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 [a,b][a,b] are sequentially compact. These tools are the foundation for the convergence and compactness arguments that dominate the rest of real analysis.

Key Concepts

Worked Example

Prove that the recursive sequence a1=1, an+1=1+an2+ana_1 = 1,\ a_{n+1} = \dfrac{1 + a_n}{2 + a_n} 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 00. To see it is monotonically decreasing, examine consecutive differences. Algebra gives the key identity:

an+2−an+1=1+an+12+an+1−1+an2+an=an+1−an (2+an+1)(2+an) .\begin{aligned} a_{n+2} - a_{n+1} &= \frac{1+a_{n+1}}{2+a_{n+1}} - \frac{1+a_n}{2+a_n} \\ &= \frac{a_{n+1} - a_n}{\,(2+a_{n+1})(2+a_n)\,}. \end{aligned}

The denominator is positive, so an+2−an+1a_{n+2}-a_{n+1} has the same sign as an+1−ana_{n+1}-a_n. Since a2−a1=23−1=−13<0a_2 - a_1 = \tfrac{2}{3} - 1 = -\tfrac13 < 0, induction forces every difference to be negative: the sequence is monotonically decreasing. Bounded below and decreasing ⇒\Rightarrow it converges to some limit aa.

Step 2 — Find the limit. Since an+1a_{n+1} is a subsequence (shift) of ana_n, both sides have the same limit aa. Passing to the limit in the recursion and solving:

a=1+a2+aa(2+a)=1+aa2+a−1=0a=−1±1+42=−1±52.\begin{aligned} a &= \frac{1 + a}{2 + a} \\ a(2 + a) &= 1 + a \\ a^2 + a - 1 &= 0 \\ a &= \frac{-1 \pm \sqrt{1 + 4}}{2} = \frac{-1 \pm \sqrt{5}}{2}. \end{aligned}

The terms are bounded below by 00, so the limit cannot be negative. Discarding the negative root, a=−1+52.a = \frac{-1 + \sqrt{5}}{2}.

Summary