🏃🏽‍♀️‍➡️Intro to Mathematical Analysis Unit 2 – Sequences and Limits in Mathematical Analysis

Sequences and limits form the foundation of mathematical analysis, providing tools to understand infinite processes and convergence. These concepts are crucial for studying functions, series, and continuity in advanced mathematics. Mastering sequences and limits enables students to analyze complex mathematical behaviors and solve problems in calculus and beyond. Key ideas include convergence criteria, limit theorems, and special types of sequences, which are essential for deeper mathematical understanding.

Key Concepts and Definitions

  • Sequence: An ordered list of numbers, typically denoted as {an}n=1\{a_n\}_{n=1}^{\infty} where ana_n represents the nn-th term
  • Index: The position or subscript of a term in a sequence (e.g., nn in ana_n)
  • Term: An individual number in a sequence, usually represented by a formula or expression involving the index
  • Limit: The value that a sequence approaches as the index approaches infinity, denoted as limnan=L\lim_{n\to\infty} a_n = L
    • If a limit exists, the sequence is said to converge; otherwise, it diverges
  • Bounded sequence: A sequence where all terms lie between two fixed values (upper and lower bounds)
  • Monotonic sequence: A sequence that is either non-increasing (each term is less than or equal to the previous term) or non-decreasing (each term is greater than or equal to the previous term)

Properties of Sequences

  • Uniqueness: If a sequence converges, its limit is unique
  • Boundedness: A convergent sequence is always bounded
    • The converse is not always true; a bounded sequence may not converge (oscillating sequences)
  • Monotonicity: A monotonic and bounded sequence always converges
  • Algebra of limits: If limnan=L\lim_{n\to\infty} a_n = L and limnbn=M\lim_{n\to\infty} b_n = M, then:
    • limn(an+bn)=L+M\lim_{n\to\infty} (a_n + b_n) = L + M
    • limn(anbn)=LM\lim_{n\to\infty} (a_n - b_n) = L - M
    • limn(anbn)=LM\lim_{n\to\infty} (a_n \cdot b_n) = L \cdot M
    • limn(an/bn)=L/M\lim_{n\to\infty} (a_n / b_n) = L / M (provided M0M \neq 0)
  • Squeeze theorem: If anbncna_n \leq b_n \leq c_n for all nn and limnan=limncn=L\lim_{n\to\infty} a_n = \lim_{n\to\infty} c_n = L, then limnbn=L\lim_{n\to\infty} b_n = L

Convergence and Divergence

  • Convergence: A sequence {an}\{a_n\} converges to a limit LL if, for any ε>0\varepsilon > 0, there exists an NN such that anL<ε|a_n - L| < \varepsilon for all n>Nn > N
    • Intuitively, the terms of the sequence get arbitrarily close to the limit as nn increases
  • Divergence: A sequence that does not converge to any finite limit is said to diverge
    • Divergence can occur if the sequence tends to infinity, negative infinity, or oscillates without settling on a specific value
  • Cauchy sequence: A sequence {an}\{a_n\} is Cauchy if, for any ε>0\varepsilon > 0, there exists an NN such that anam<ε|a_n - a_m| < \varepsilon for all n,m>Nn, m > N
    • Every convergent sequence is Cauchy, and in complete metric spaces (like the real numbers), every Cauchy sequence converges
  • Subsequence: A sequence formed by selecting a subset of terms from the original sequence while maintaining their order
    • If a sequence converges, then every subsequence converges to the same limit

Limit Theorems

  • Limit of a constant sequence: If an=ca_n = c for all nn, then limnan=c\lim_{n\to\infty} a_n = c
  • Limit of a multiple of a sequence: If limnan=L\lim_{n\to\infty} a_n = L, then limn(kan)=kL\lim_{n\to\infty} (k \cdot a_n) = k \cdot L for any constant kk
  • Sum rule: If limnan=L\lim_{n\to\infty} a_n = L and limnbn=M\lim_{n\to\infty} b_n = M, then limn(an+bn)=L+M\lim_{n\to\infty} (a_n + b_n) = L + M
  • Difference rule: If limnan=L\lim_{n\to\infty} a_n = L and limnbn=M\lim_{n\to\infty} b_n = M, then limn(anbn)=LM\lim_{n\to\infty} (a_n - b_n) = L - M
  • Product rule: If limnan=L\lim_{n\to\infty} a_n = L and limnbn=M\lim_{n\to\infty} b_n = M, then limn(anbn)=LM\lim_{n\to\infty} (a_n \cdot b_n) = L \cdot M
  • Quotient rule: If limnan=L\lim_{n\to\infty} a_n = L and limnbn=M\lim_{n\to\infty} b_n = M with M0M \neq 0, then limn(an/bn)=L/M\lim_{n\to\infty} (a_n / b_n) = L / M
  • Sandwich (Squeeze) theorem: If anbncna_n \leq b_n \leq c_n for all nn and limnan=limncn=L\lim_{n\to\infty} a_n = \lim_{n\to\infty} c_n = L, then limnbn=L\lim_{n\to\infty} b_n = L

Special Types of Sequences

  • Arithmetic sequence: A sequence where the difference between consecutive terms is constant (common difference)
    • Example: {an}={2,5,8,11,14,}\{a_n\} = \{2, 5, 8, 11, 14, \ldots\} with common difference d=3d = 3
  • Geometric sequence: A sequence where the ratio between consecutive terms is constant (common ratio)
    • Example: {an}={2,6,18,54,162,}\{a_n\} = \{2, 6, 18, 54, 162, \ldots\} with common ratio r=3r = 3
  • Harmonic sequence: A sequence of the form {an}={1/n}n=1\{a_n\} = \{1/n\}_{n=1}^{\infty}
    • The harmonic sequence converges to 0 but its series (the harmonic series) diverges
  • Fibonacci sequence: A sequence where each term is the sum of the two preceding terms, starting with 0 and 1
    • Example: {an}={0,1,1,2,3,5,8,13,}\{a_n\} = \{0, 1, 1, 2, 3, 5, 8, 13, \ldots\}
  • Alternating sequence: A sequence where the signs of the terms alternate between positive and negative
    • Example: {an}={1,1,1,1,1,1,}\{a_n\} = \{1, -1, 1, -1, 1, -1, \ldots\}

Techniques for Finding Limits

  • Direct substitution: If the limit of a sequence can be evaluated by simply substituting the limiting value of nn into the expression for ana_n, use this method
    • Example: limn2n+13n4=23\lim_{n\to\infty} \frac{2n+1}{3n-4} = \frac{2}{3} (substitute n=n=\infty)
  • Algebraic manipulation: Simplify the expression for ana_n using algebraic properties before attempting to find the limit
    • Example: limnn2+2n3n21=limn1+2n31n2=13\lim_{n\to\infty} \frac{n^2+2n}{3n^2-1} = \lim_{n\to\infty} \frac{1+\frac{2}{n}}{3-\frac{1}{n^2}} = \frac{1}{3}
  • Squeeze theorem: If the sequence is bounded above and below by two sequences with the same limit, the original sequence converges to that limit
  • Monotone convergence theorem: If a sequence is monotonic and bounded, it converges
    • To find the limit, evaluate the supremum (for non-decreasing) or infimum (for non-increasing) of the sequence
  • Cauchy criterion: Prove that a sequence is Cauchy to show convergence without finding the limit explicitly

Applications in Analysis

  • Continuity: A function ff is continuous at a point aa if limxaf(x)=f(a)\lim_{x\to a} f(x) = f(a)
    • Sequences can be used to prove or disprove continuity by considering the limit of f(xn)f(x_n) for any sequence {xn}\{x_n\} converging to aa
  • Differentiability: A function ff is differentiable at a point aa if limh0f(a+h)f(a)h\lim_{h\to 0} \frac{f(a+h)-f(a)}{h} exists
    • Sequences can be used to prove or disprove differentiability by considering the limit of the difference quotient for any sequence {hn}\{h_n\} converging to 0
  • Riemann integration: The Riemann integral of a function ff over an interval [a,b][a,b] is defined as the limit of Riemann sums
    • Sequences of partitions and sample points are used to define and evaluate Riemann integrals
  • Power series: A power series is an infinite series of the form n=0an(xc)n\sum_{n=0}^{\infty} a_n (x-c)^n
    • The convergence of power series is determined by the limit of the terms an(xc)na_n (x-c)^n as nn approaches infinity

Common Pitfalls and Misconceptions

  • Assuming that a bounded sequence always converges
    • Counterexample: The sequence {an}={(1)n}\{a_n\} = \{(-1)^n\} is bounded but oscillates between 1 and -1, thus diverging
  • Misapplying limit theorems when the required conditions are not met
    • Example: Attempting to use the quotient rule when the limit of the denominator is 0
  • Confusing the limit of a sequence with the limit of its series
    • Example: The harmonic sequence {1/n}\{1/n\} converges to 0, but the harmonic series n=11n\sum_{n=1}^{\infty} \frac{1}{n} diverges
  • Incorrectly assuming that a sequence converges to a specific value without proof
    • Always use the definition of convergence or appropriate theorems to rigorously prove the limit
  • Forgetting to consider the absolute value when using the definition of convergence
    • The condition anL<ε|a_n - L| < \varepsilon ensures that the terms get close to LL from both above and below
  • Misinterpreting the index nn as a real number instead of a natural number
    • Sequences are defined for nNn \in \mathbb{N}, not for all real numbers


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.