Andromeda
Note

Infinite Sequences

Definition

An infinite sequence is an ordered, unending list of numbers a1,a2,a3,,an,a_1, a_2, a_3, \dots, a_n, \dots, where each term ana_n is a value of a function f(n)f(n) whose domain is the set of positive integers. It is a discrete mapping from integers to real (or complex) numbers.

Why It Matters

Sequences are the primary tool for modeling processes that unfold over time in discrete steps, like the growth of a population or the iterations of a computer algorithm. They allow us to ask the ultimate long-term question: “Where is this going?” By understanding the limit of a sequence, we can predict the final state of a system without having to simulate every single step of its infinite journey.

Core Concepts

  • Convergence: A sequence {an}\{a_n\} converges to a limit LL (limnan=L\lim_{n \to \infty} a_n = L) if the terms become arbitrarily close to LL as nn increases. Formally, for every ϵ>0\epsilon > 0, there exists NN such that anL<ϵ|a_n - L| < \epsilon for all n>Nn > N.
    • How to read: “The limit as n approaches infinity of a n is equal to L; for every epsilon greater than zero, there exists N such that the absolute value of the quantity a n minus L is less than epsilon for all n greater than N.”
    • Meaning: The tail of the sequence gets trapped in any ϵ\epsilon-neighborhood of LL — the formal ϵ\epsilon-NN definition of convergence.
  • Monotonicity: A sequence is monotonic if it is either non-increasing or non-decreasing.
  • Boundedness: A sequence is bounded if there exist numbers MM and mm such that manMm \leq a_n \leq M for all nn.
  • Sandwich Theorem: If anbncna_n \leq b_n \leq c_n and both {an}\{a_n\} and {cn}\{c_n\} converge to LL, then {bn}\{b_n\} must also converge to LL.
    • How to read: “If a n is less than or equal to b n, which is less than or equal to c n, and both a n and c n converge to L, then b n also converges to L.”
    • Meaning: A sequence squeezed between two convergent sequences must converge to the same limit.

Connected Concepts