This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Law of continuity | |
|---|---|
| Name | Law of continuity |
| Field | Mathematics |
| Introduced by | Augustin-Louis Cauchy |
| Introduced in | 19th century |
| Keywords | continuity, limits, infinitesimals, calculus |
Law of continuity The law of continuity is a historical and mathematical principle asserting that rules valid for finite quantities extend to limiting cases and infinitesimals, linking work from Archimedes to Augustin-Louis Cauchy and beyond. It influenced developments in infinitesimal calculus, real analysis, and the foundations addressed by figures such as Gottfried Wilhelm Leibniz, Isaac Newton, Karl Weierstrass, and Bernhard Riemann. Debates over its status shaped institutions including the French Academy of Sciences and the Royal Society and informed schools associated with École Polytechnique and University of Göttingen.
Origins trace to antiquity with Archimedes using method-of-exhaustion ideas later echoed by Johannes Kepler and Bonaventura Cavalieri. In the 17th century, Gottfried Wilhelm Leibniz formulated principles invoking infinitesimals; contemporaries included Isaac Newton, Blaise Pascal, Pierre de Fermat, and Evangelista Torricelli. The 18th-century legacy reached Joseph-Louis Lagrange and prompted critiques culminating in rigorous reconceptualization by Karl Weierstrass, Bernhard Riemann, Augustin-Louis Cauchy, and Niels Henrik Abel. Institutional responses involved the École Normale Supérieure, debates at the Bureau des Longitudes, and publications in journals like those of the Académie des Sciences. The 19th and 20th centuries saw further formal work by Georg Cantor, Henri Lebesgue, Richard Dedekind, Emmy Noether, and Abraham Robinson, influencing curricula at Princeton University, University of Cambridge, Harvard University, and University of Paris.
Formulations vary: in Leibnizian language, continuity meant infinitesimal transfer rules while in epsilon–delta terms it became a statement about limits formalized by Augustin-Louis Cauchy and perfected by Karl Weierstrass. Modern texts reference formulations by Richard Dedekind and Georg Cantor for completeness and by Emmy Noether for algebraic continuity analogues. Model-theoretic renditions employ tools from Abraham Robinson's nonstandard analysis, with connections to Kurt Gödel and Alfred Tarski in logical foundations. Measure-theoretic and functional-analytic interpretations draw on Henri Lebesgue, Stefan Banach, John von Neumann, Andrey Kolmogorov, and Frigyes Riesz. The formal apparatus uses constructions related to Dedekind cut, Cauchy sequence, epsilon–delta definition, and structures studied at Institute for Advanced Study and Sainte-Geneviève.
The principle underlies differentiation and integration techniques used by Carl Friedrich Gauss, Joseph Fourier, Srinivasa Ramanujan, David Hilbert, and Évariste Galois in analytic and asymptotic work. It informs the treatment of convergence in series as handled by Leonhard Euler, Niels Henrik Abel, Bernhard Riemann, and Gustav Lejeune Dirichlet, and in partial differential equations by Sofia Kovalevskaya, Andrei Kolmogorov, and Jean Leray. Applications appear in singularity analysis exploited by William Rowan Hamilton, Peter Dirac, Paul Dirac, and Arthur Eddington in mathematical physics. Numerical and computational implementations relate to developments at Bell Labs, Los Alamos National Laboratory, Courant Institute, and INRIA and draw on algorithms influenced by John von Neumann and Alan Turing.
Extensions include nonstandard analysis by Abraham Robinson, synthetic differential geometry connected to F. W. Lawvere and Anders Kock, and category-theoretic approaches linked with Saunders Mac Lane and Samuel Eilenberg. Related principles involve uniform continuity as studied by Karl Weierstrass and Vito Volterra, compactness results from Émile Borel and Andrey Kolmogorov, and completeness concepts from Richard Dedekind and Georg Cantor. Algebraic and topological analogues appear in work by Emmy Noether, Hermann Weyl, Jean-Pierre Serre, and Alexander Grothendieck. Logical generalizations draw from Kurt Gödel's model theory, Alfred Tarski's semantics, and later developments at Institute for Advanced Study and CERN-linked collaborations.
Critics include Bishop Berkeley whose empiricist objections to infinitesimals provoked methodological reforms; later formalists like David Hilbert and Hermann Weyl called for arithmetization by Richard Dedekind and Karl Weierstrass. Limitations manifest when naive transfer fails in pathological examples studied by Georg Cantor, Henri Lebesgue, Paul du Bois-Reymond, and Andrey Kolmogorov; counterexamples often involve functions constructed following techniques of Weierstrass and Dirichlet. Philosophical critiques by Ludwig Wittgenstein, Bertrand Russell, and Imre Lakatos questioned foundational claims; practical constraints influenced pedagogy at University of Michigan, Massachusetts Institute of Technology, and University of Oxford.
Classical proofs linking finite rules to limits appear in work by Augustin-Louis Cauchy on continuity and by Karl Weierstrass in epsilon–delta proofs; canonical examples include the convergence tests of Jean Le Rond d'Alembert, Leonhard Euler's analytic continuations, and Bernhard Riemann's mapping theorem. Robinson provided rigorous transfer via hyperreal constructions, echoing ideas from Ernst Zermelo and Abraham Robinson's collaborators. Important case studies include heat-equation solutions by Joseph Fourier, distribution theory developed by Laurent Schwartz, and analytic continuation in Bernhard Riemann's work on the zeta function influencing David Hilbert and G. H. Hardy. Modern expositions appear in texts by Walter Rudin, Elias Stein, Michael Spivak, and treatises from Springer-Verlag and Cambridge University Press.
Category:Mathematical principles