Overview

In mathematics the limit of a function describes the value that f(x) approaches as x gets arbitrarily close to a particular input. Limits formalize the intuitive idea of approaching a value and are foundational in calculus. The underlying object is a function, but the notion applies more broadly in analysis and topology. Limits are used to define continuity, derivatives and integrals and to study asymptotic or singular behavior.

Formal definition

Informally we write lim_{x→a} f(x) = L to mean that as x approaches a (possibly excluding a itself) the values f(x) become arbitrarily close to L. The rigorous epsilon–delta formulation states: for every epsilon > 0 there exists delta > 0 such that whenever 0 < |x−a| < delta we have |f(x)−L| < epsilon. This precise condition captures the idea of closeness without reference to the value f(a).

One-sided and infinite limits

One-sided limits examine approach from the left or right and are written lim_{x→a^-} f(x) and lim_{x→a^+} f(x). If these differ, the two-sided limit does not exist. Limits can also describe unbounded behavior, for example lim_{x→a} f(x) = ∞ means f(x) grows without bound as x approaches a, and limits as x→∞ describe end behavior.

Common techniques for evaluation

  • Algebraic simplification: factorization, rationalization, cancellation of common factors.
  • Continuity substitution: if f is continuous at a then lim_{x→a} f(x) = f(a).
  • Squeeze (sandwich) theorem: use bounding functions with known limits.
  • L'Hôpital's rule: apply derivatives to evaluate indeterminate forms such as 0/0 or ∞/∞ when hypotheses hold.
  • Series expansion: use Taylor or Maclaurin series to approximate near a point.

Properties and distinctions

Limits obey algebraic rules: the limit of a sum, product, or quotient (when the denominator limit is nonzero) equals the corresponding combination of limits. Importantly, a limit concerns the behavior near a point and may exist even if the function is undefined or has a different value at that point. Discontinuities are classified by limits as removable (limit exists but differs from function value), jump (left and right limits differ), or essential/oscillatory.

Examples and applications

Classic examples include lim_{x→0} sin(x)/x = 1 and limits of rational functions at infinity found by comparing leading terms. Limits underpin the derivative, defined as lim_{h→0} (f(x+h)−f(x))/h, and the Riemann integral as a limit of sums. They are essential for convergence tests, asymptotic analysis, and the study of stability in solutions of differential equations. They also connect to integration when exchanging limits and integrals under appropriate theorems.

History and generalizations

The epsilon–delta formalism was developed in the 19th century to provide rigor to calculus; contributors include Cauchy and Weierstrass. The notion generalizes beyond real-valued functions to metric and topological spaces, where limits and continuity are defined by neighborhoods and open sets. For introductory material see standard texts on calculus and on the concept of function.