Understanding the behavior of sequences as they approach infinity is fundamental to calculus and mathematical analysis. This page explores the concept of limits of sequences, their definitions, properties, and applications.
A sequence is an ordered list of numbers following a specific pattern. Formally, a sequence is a function from the natural numbers to the real numbers, denoted as $a_1, a_2, a_3, \ldots$ or simply $(a_n)_{n=1}^{\infty}$.
Sequences can be:
A sequence $(a_n)$ converges to a limit $L$ if for every positive number $\varepsilon > 0$, there exists a natural number $N$ such that for all $n > N$, the terms of the sequence satisfy $|a_n - L| < \varepsilon$.
We write this as:
$\lim_{n \to \infty} a_n = L$
Intuitively, this means that as $n$ increases, the terms of the sequence get arbitrarily close to $L$. The sequence doesn't need to ever reach $L$ exactly, but the terms must eventually stay within any arbitrarily small distance $\varepsilon$ of $L$.
Visual representation of the limit definition: For any > 0, all terms of the sequence beyond some point N lie within the interval (L-, L+)
A sequence that approaches a finite limit is called convergent. If a sequence does not approach any finite limit, it is divergent.
If $\lim_{n \to \infty} a_n = A$ and $\lim_{n \to \infty} b_n = B$, then $\lim_{n \to \infty} (a_n \pm b_n) = A \pm B$.
If $\lim_{n \to \infty} a_n = A$ and $\lim_{n \to \infty} b_n = B$, then $\lim_{n \to \infty} (a_n \cdot b_n) = A \cdot B$.
If $\lim_{n \to \infty} a_n = A$, $\lim_{n \to \infty} b_n = B$, and $B \neq 0$, then $\lim_{n \to \infty} \frac{a_n}{b_n} = \frac{A}{B}$.
If $a_n \leq b_n \leq c_n$ for all $n$ sufficiently large, and $\lim_{n \to \infty} a_n = \lim_{n \to \infty} c_n = L$, then $\lim_{n \to \infty} b_n = L$.
Every bounded monotonic sequence converges. Specifically:
Every bounded sequence has a convergent subsequence.
The harmonic sequence is defined as $a_n = \frac{1}{n}$. Its limit is $\lim_{n \to \infty} \frac{1}{n} = 0$.
For $a_n = r^n$ where $r$ is a constant:
For any positive integer $k$, $\lim_{n \to \infty} \frac{1}{n^k} = 0$.
For any positive numbers $a > 1$ and $k$, $\lim_{n \to \infty} \frac{n^k}{a^n} = 0$. This shows that exponential growth eventually outpaces polynomial growth.
For any positive number $k$, $\lim_{n \to \infty} \frac{\ln(n)}{n^k} = 0$. This demonstrates that logarithmic growth is slower than any positive power growth.
| Sequence Type | Formula | Limit as n |
|---|---|---|
| Harmonic | $\frac{1}{n}$ | 0 |
| Reciprocal Power | $\frac{1}{n^k}$ ($k>0$) | 0 |
| Geometric (converging) | $r^n$ (|$r$|<1) | 0 |
| Geometric (unit) | $1^n$ | 1 |
| Linear | $n$ | |
| Exponential | $a^n$ ($a>1$) |
Finding the limit of a sequence often requires various techniques:
If the sequence is defined by a continuous function $f$ as $a_n = f(n)$, then $\lim_{n \to \infty} a_n = \lim_{x \to \infty} f(x)$ (if the function limit exists).
For sequences of the form $\frac{f(n)}{g(n)}$ where both $f(n)$ and $g(n)$ approach 0 or infinity, L'Hpital's rule for functions can often be applied.
Sometimes algebraic techniques like rationalization, factoring, or substitution can help simplify the expression to find the limit.
If we can find two sequences that "squeeze" our sequence and both converge to the same limit, then our sequence must also converge to that limit.
Divide numerator and denominator by $n^2$:
$a_n = \frac{2 + \frac{3}{n} - \frac{5}{n^2}}{3 - \frac{7}{n^2}}$
As $n \to \infty$, the terms $\frac{3}{n}$, $\frac{5}{n^2}$, and $\frac{7}{n^2}$ all approach 0.
Therefore, $\lim_{n \to \infty} a_n = \frac{2+0-0}{3-0} = \frac{2}{3}$.
We rewrite this as $\frac{n^2 + 1}{n - 2} = \frac{n^2(1 + \frac{1}{n^2})}{n(1 - \frac{2}{n})} = \frac{n(1 + \frac{1}{n^2})}{1 - \frac{2}{n}}$.
As $n \to \infty$, $\frac{1}{n^2} \to 0$ and $\frac{2}{n} \to 0$, but $n \to \infty$.
Thus, $\lim_{n \to \infty} \frac{n^2 + 1}{n - 2} = \infty$.
A sequence $(a_n)$ is called a Cauchy sequence if for every $\varepsilon > 0$, there exists a natural number $N$ such that for all $m,n > N$, $|a_m - a_n| < \varepsilon$.
In complete metric spaces (such as the real numbers with the usual metric), a sequence converges if and only if it is a Cauchy sequence. This is a powerful characterization of convergence because it doesn't require knowing the limit ahead of time.
The property that every Cauchy sequence converges is called completeness, and the real number system is complete. This is not true in all mathematical spaces (for example, in the rational numbers).
The convergence of an infinite series $\sum_{n=1}^{\infty} a_n$ is determined by the behavior of its partial sums, which form a sequence. Understanding sequence limits is crucial for analyzing series.
The concept of limit is foundational to calculus. Derivatives and integrals are defined in terms of limits, and sequences provide a discrete analog that helps in understanding these continuous concepts.
Many numerical algorithms are designed to produce sequences that converge to a desired solution. Understanding the rate of convergence and stability of these sequences is essential for effective numerical methods.
Recursive sequences often arise in algorithm analysis. Determining whether a recursively defined sequence converges and finding its limit can be crucial for understanding algorithm behavior.
Sequence limits appear in various physical models representing discrete approximations to continuous phenomena. For example, the discretization of differential equations leads to sequences whose limits correspond to solutions of the original continuous equations.
A sequence does not need to reach its limit to be convergent. The terms only need to get arbitrarily close to the limit.
While convergent sequences are always bounded, not all bounded sequences converge. The sequence $(-1)^n$ is bounded but does not converge.
A sequence can diverge without going to infinity. Oscillatory sequences like $(-1)^n$ are divergent but remain bounded.
The limit of a function of a sequence doesn't always equal the function of the limit of the sequence. For example, $\lim_{n \to \infty} (\sin(\frac{1}{n}) \cdot n) = 1$ but $\lim_{n \to \infty} \sin(\frac{1}{n}) \cdot \lim_{n \to \infty} n = 0 \cdot \infty$, which is undefined.
When analyzing sequences in applied mathematics, we often need to understand how quickly a sequence approaches its limit. The rate of convergence measures this speed.
A sequence $(a_n)$ converging to $L$ has linear convergence if there exists $0 < q < 1$ such that $\lim_{n \to \infty} \frac{|a_{n+1} - L|}{|a_n - L|} = q$.
A sequence $(a_n)$ converging to $L$ has quadratic convergence if there exists $M > 0$ such that $\lim_{n \to \infty} \frac{|a_{n+1} - L|}{|a_n - L|^2} = M$.
Sequences can also converge at other rates, with sublinear being slower than linear and superlinear being faster than linear but slower than quadratic.
The rate of convergence is particularly important in numerical analysis, as it determines how many iterations are needed to achieve a desired accuracy.
