Limits (mathematics)

Limits (mathematics)
Name	Limits (mathematics)
Field	Mathematics
Introduced	Antiquity; formalized in 19th century
Notable	Augustin-Louis Cauchy; Karl Weierstrass; Bernard Bolzano

Limits (mathematics) describe the behavior of mathematical objects as they approach a particular point, index, or infinity. Limits underpin analysis, topology, and many applied fields by formalizing notions of convergence, continuity, and boundary behavior. They connect historical work by figures such as Archimedes, Isaac Newton, Gottfried Wilhelm Leibniz, Augustin-Louis Cauchy, Karl Weierstrass, and Bernard Bolzano with modern treatments used in contexts ranging from Évariste Galois-inspired algebraic frameworks to computational methods influenced by institutions like the Kaiser Wilhelm Society.

Definition and basic concepts

A limit formalizes the idea that a quantity approaches a target value. In classical analysis the limit of a sequence {a_n} as n→∞ is L if for every ε>0 there exists N such that |a_n−L|<ε for n≥N; similar ε-δ definitions characterize function limits f(x) as x→c. Foundational contributors include Aristotle-era approximations, later sharpened by Augustin-Louis Cauchy and axiomatized by Karl Weierstrass using the ε-δ framework. Related formal concepts include convergence, divergence, accumulation points, and boundedness as studied by Bernhard Riemann, Georg Cantor, and Henri Lebesgue.

Limits of sequences and series

Sequences and series use limits to define convergence and summation. The limit of a sequence underpins definitions in works by Leonhard Euler and Brook Taylor; convergence tests for series—ratio, root, comparison—were developed in contexts influenced by Joseph Fourier and refined by Augustin-Louis Cauchy. Concepts such as absolute convergence, conditional convergence, and uniform convergence arise in the study of power series connected to Carl Friedrich Gauss and analytic continuation studied by Bernhard Riemann. Summation methods (Cesàro, Abel) link to later developments by Hardy, G. H. and influence applications in spectral theory considered by David Hilbert.

Limits of functions and continuity

Function limits formalize continuity and the behavior near singularities. The ε-δ definition from Karl Weierstrass led to rigorous treatments of continuity, differentiability, and removable, pole, and essential singularities studied by Augustin-Louis Cauchy and Évariste Galois-era algebraists. The interplay between limits and derivatives appears in the fundamental theorem of calculus developed by Isaac Newton and Gottfried Wilhelm Leibniz, and later rigorized by Bernhard Riemann and Henri Lebesgue. Uniform continuity and uniform convergence are central in works by Augustin-Louis Cauchy and Weierstrass, with counterexamples constructed by Georg Cantor and pathological functions exhibited by Bernard Bolzano.

Techniques and theorems for computing limits

Computational techniques include algebraic manipulation, squeeze theorem, L'Hôpital's rule, series expansion, and change of variables. L'Hôpital's rule has historical ties to Guillaume de l'Hôpital and to developments in differential calculus by Isaac Newton and Gottfried Wilhelm Leibniz. The squeeze theorem connects to inequalities studied by Archimedes and later formalized by Augustin-Louis Cauchy. Taylor and Maclaurin expansions, originating with Brook Taylor and Colin Maclaurin, provide asymptotic approximations used with remainder estimates advanced by Joseph Fourier and Pierre-Simon Laplace. The dominated convergence theorem and monotone convergence theorem, developed in measure theory by Henri Lebesgue and later used in functional analysis by Stefan Banach and John von Neumann, enable interchange of limits and integration or summation under specified conditions.

Limits in topology and metric spaces

Topology and metric spaces generalize limits via neighborhood and open-set language. The notion of limit points, closures, and compactness arises in the work of Georg Cantor and informed the topology program advanced by Henri Poincaré and institutions like the École Normale Supérieure. In metric spaces, convergence uses the metric to define ε-balls as in studies by Fréchet; compactness and sequential compactness tie to Heine–Borel results credited to Eduard Heine and Émile Borel. Concepts such as nets and filters, introduced by Eduard Čech and Henri Cartan-era topologists, generalize sequence limits to arbitrary topological spaces and play a role in algebraic topology developed by Henri Poincaré and Leray.

Historical development and applications

Historically, limits evolved from geometric approximations by Archimedes through infinitesimal calculus of Isaac Newton and Gottfried Wilhelm Leibniz to rigorous ε-δ analysis by Augustin-Louis Cauchy and Karl Weierstrass. Later abstraction by Georg Cantor, Bernhard Riemann, and Henri Lebesgue extended limits into set theory, measure theory, and functional analysis; institutions such as University of Göttingen and École Polytechnique were centers for these advances. Applications span differential equations in work by Sofia Kovalevskaya and Joseph Fourier, numerical analysis influenced by Peter Gustav Lejeune Dirichlet and Carl Friedrich Gauss, probability theory formalized by Andrey Kolmogorov, and modern topology and manifold theory used in Albert Einstein-inspired relativity and contemporary research at organizations like the Institute for Advanced Study.

Category:Mathematical analysis