Calculus: Limits and Continuity

Limits are the fundamental language of change, allowing us to describe and predict the behavior of functions with perfect precision, even at points where they seem ambiguous or undefined. Mastering limits is not just a procedural exercise; it is the essential first step in building the twin pillars of calculus—derivatives (instantaneous rate of change) and integrals (accumulation of change).

The Concept and Definition of a Limit

Intuitively, a limit describes the value a function approaches as its input approaches a specific point. Formally, we say the limit of $f(x)$ as $x$ approaches $a$ is $L$, written as ${\lim }_{x\to a}f(x)=L$, if we can make $f(x)$ arbitrarily close to $L$ by taking $x$ sufficiently close, but not equal, to $a$. This definition is powerful because it cares about the trend or intended value, not necessarily the function's actual value at $x=a$.

For example, consider ${\lim }_{x\to 2}\frac{x^2-4}{x-2}$. The function is undefined at $x=2$, but for all other $x$, we can simplify algebraically: $$\frac{x^2-4}{x-2}=\frac{(x-2)(x+2)}{x-2}=x+2,\text{for }x\ne 2$$ As $x$ gets closer to 2, the expression $x+2$ gets closer to 4. Therefore, ${\lim }_{x\to 2}\frac{x^2-4}{x-2}=4$. This process highlights a key evaluation technique: algebraic simplification to resolve indeterminate forms like $0/0$.

Evaluation Techniques and Special Cases

Beyond direct substitution and algebra, several key techniques and special cases are essential. One-sided limits examine the approach from only one direction. The notation ${\lim }_{x\to a^{+}}f(x)$ denotes the limit as $x$ approaches $a$ from the right (values greater than $a$), while ${\lim }_{x\to a^{-}}f(x)$ denotes the approach from the left. The ordinary (two-sided) limit exists only if both one-sided limits exist and are equal.

Infinite limits occur when function values increase or decrease without bound as $x$ approaches $a$. For instance, ${\lim }_{x\to 0^{+}}\frac{1}{x}=\infty$. This does not mean the limit equals a number called "infinity"; it is a concise way to say the function grows arbitrarily large. In contrast, limits at infinity describe a function's end behavior: ${\lim }_{x\to \infty }f(x)=L$ means the function values approach the finite number $L$ as $x$ becomes arbitrarily large. A common technique for rational functions is to divide numerator and denominator by the highest power of $x$ in the denominator.

The Formal Epsilon-Delta Definition

The intuitive idea of "arbitrarily close" is made mathematically rigorous by the epsilon-delta definition of a limit. It states: ${\lim }_{x\to a}f(x)=L$ if, for every number $ϵ>0$, there exists a number $\delta >0$ such that if $0<|x-a|<\delta$, then $|f(x)-L|<ϵ$.

In essence, this is a challenge-response protocol. If you challenge me with any distance $ϵ$ (how close $f(x)$ must be to $L$), I must respond with a distance $\delta$ (how close $x$ must be to $a$) that guarantees your challenge is met. This definition eliminates any vagueness and is the foundation for proving all limit theorems. Constructing an epsilon-delta proof often involves working backwards from the inequality $|f(x)-L|<ϵ$ to find a suitable $\delta$ expressed in terms of $ϵ$.

Continuity and Its Consequences

A function is continuous at a point $x=a$ if three conditions are met:

1. $f(a)$ is defined.
2. ${\lim }_{x\to a}f(x)$ exists.
3. ${\lim }_{x\to a}f(x)=f(a)$.

Graphically, a function is continuous at a point if you can draw it at that point without lifting your pencil. This means there are no holes, jumps, or vertical asymptotes at $x=a$. A function is continuous on an interval if it is continuous at every point in that interval. Most familiar functions (polynomials, rational functions on their domains, trig functions, exponentials) are continuous where defined.

Continuity enables several powerful theorems. The most important for foundational calculus is the Intermediate Value Theorem (IVT). It states that if a function $f$ is continuous on the closed interval $[a,b]$ and $N$ is any number between $f(a)$ and $f(b)$, then there exists at least one number $c$ in $(a,b)$ such that $f(c)=N$. This theorem guarantees, for example, that if a continuous function is negative at one point and positive at another, it must cross zero somewhere in between—a principle used in root-finding algorithms.

How Limits Underpin Calculus

Limits are the operational tool that makes calculus precise. The derivative, defining instantaneous rate of change, is constructed as a limit of average rates of change (difference quotients): $$f^{\prime }(x)=\underset{h\to 0}{\lim }\frac{f(x+h)-f(x)}{h}$$ Similarly, the definite integral, defining the area under a curve, is constructed as a limit of Riemann sums: $${\int }_a^{b}f(x)dx=\underset{n\to \infty }{\lim }\sum _{i=1}^{n}f(x_i^{\ast })\Delta x$$ Without the limit process, these definitions collapse. Continuity, while not strictly required for differentiability, is often a practical prerequisite; a function cannot be differentiable at a point where it is not continuous.

Common Pitfalls

1. Assuming the Limit is the Function Value: The most common error is conflating ${\lim }_{x\to a}f(x)$ with $f(a)$. They are equal only if the function is continuous at $a$. Always check for discontinuities like holes, which affect the limit but not the function's trend.
2. Misapplying Limit Laws: Limit laws (sum, product, quotient) require that the individual limits exist. A classic trap is writing ${\lim }_{x\to a}[f(x)/g(x)]=[\lim f(x)]/[\lim g(x)]$ when the limit of $g(x)$ is zero. This leads to indeterminate forms that require algebraic manipulation, L'Hôpital's Rule, or other advanced techniques.
3. Ignoring One-Sided Behavior: When a function has a jump (like the greatest integer function) or a vertical asymptote, the two-sided limit does not exist. Always consider the graph or evaluate one-sided limits, especially for piecewise functions or functions involving absolute values or roots.
4. Misinterpreting Infinite Limits: Confusing ${\lim }_{x\to a}f(x)=\infty$ with ${\lim }_{x\to \infty }f(x)=L$ is a conceptual error. The first describes unbounded behavior near a finite $x=a$, while the second describes a finite horizontal asymptote as $x$ grows large.

Summary

• The limit ${\lim }_{x\to a}f(x)=L$ formalizes the idea of a function's intended value as its input approaches a specific point, independent of the actual value at that point.
• Key techniques for evaluating limits include direct substitution, algebraic simplification (for indeterminate forms), analysis of one-sided limits, and for limits at infinity, division by the highest power.
• The epsilon-delta definition provides the rigorous mathematical foundation for limits, transforming the intuitive concept of "approaching" into a precise, provable statement.
• A function is continuous at a point if the limit exists and equals the function's value there. Continuity on an interval enables the Intermediate Value Theorem, which guarantees the existence of roots or intermediate values.
• Limits are the indispensable machinery defining both the derivative (as a limit of difference quotients) and the integral (as a limit of Riemann sums), making them the cornerstone of calculus.