-
Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals
Authors:
Jacques Bair,
Piotr Blaszczyk,
Peter Heinig,
Vladimir Kanovei,
Mikhail G. Katz,
Thomas McGaffey
Abstract:
Like his colleagues de Prony, Petit, and Poisson at the Ecole Polytechnique, Cauchy used infinitesimals in the Leibniz-Euler tradition both in his research and teaching. Cauchy applied infinitesimals in an 1826 work in differential geometry where infinitesimals are used neither as variable quantities nor as sequences but rather as numbers. He also applied infinitesimals in an 1832 article on integ…
▽ More
Like his colleagues de Prony, Petit, and Poisson at the Ecole Polytechnique, Cauchy used infinitesimals in the Leibniz-Euler tradition both in his research and teaching. Cauchy applied infinitesimals in an 1826 work in differential geometry where infinitesimals are used neither as variable quantities nor as sequences but rather as numbers. He also applied infinitesimals in an 1832 article on integral geometry, similarly as numbers. We explore these and other applications of Cauchy's infinitesimals as used in his textbooks and research articles.
An attentive reading of Cauchy's work challenges received views on Cauchy's role in the history of analysis and geometry. We demonstrate the viability of Cauchy's infinitesimal techniques in fields as diverse as geometric probability, differential geometry, elasticity, Dirac delta functions, continuity and convergence.
Keywords: Cauchy--Crofton formula; center of curvature; continuity; infinitesimals; integral geometry; limite; standard part; de Prony; Poisson
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
Cauchy, infinitesimals and ghosts of departed quantifiers
Authors:
Jacques Bair,
Piotr Blaszczyk,
Robert Ely,
Valerie Henry,
Vladimir Kanovei,
Karin U. Katz,
Mikhail G. Katz,
Taras Kudryk,
Semen S. Kutateladze,
Thomas McGaffey,
Thomas Mormann,
David M. Schaps,
David Sherry
Abstract:
Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz's distinction between assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robinson's framework, while Lei…
▽ More
Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz's distinction between assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robinson's framework, while Leibniz's law of homogeneity with the implied notion of equality up to negligible terms finds a mathematical formalisation in terms of standard part. It is hard to provide parallel formalisations in a Weierstrassian framework but scholars since Ishiguro have engaged in a quest for ghosts of departed quantifiers to provide a Weierstrassian account for Leibniz's infinitesimals. Euler similarly had notions of equality up to negligible terms, of which he distinguished two types: geometric and arithmetic. Euler routinely used product decompositions into a specific infinite number of factors, and used the binomial formula with an infinite exponent. Such procedures have immediate hyperfinite analogues in Robinson's framework, while in a Weierstrassian framework they can only be reinterpreted by means of paraphrases departing significantly from Euler's own presentation. Cauchy gives lucid definitions of continuity in terms of infinitesimals that find ready formalisations in Robinson's framework but scholars working in a Weierstrassian framework bend over backwards either to claim that Cauchy was vague or to engage in a quest for ghosts of departed quantifiers in his work. Cauchy's procedures in the context of his 1853 sum theorem (for series of continuous functions) are more readily understood from the viewpoint of Robinson's framework, where one can exploit tools such as the pointwise definition of the concept of uniform convergence.
Keywords: historiography; infinitesimal; Latin model; butterfly model
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
Cauchy's infinitesimals, his sum theorem, and foundational paradigms
Authors:
Tiziana Bascelli,
Piotr Blaszczyk,
Alexandre Borovik,
Vladimir Kanovei,
Karin U. Katz,
Mikhail G. Katz,
Semen S. Kutateladze,
Thomas McGaffey,
David M. Schaps,
David Sherry
Abstract:
Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy's proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy's proof clo…
▽ More
Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy's proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy's proof closely and show that it finds closer proxies in a different modern framework.
Keywords: Cauchy's infinitesimal; sum theorem; quantifier alternation; uniform convergence; foundational paradigms.
△ Less
Submitted 9 May, 2017; v1 submitted 25 April, 2017;
originally announced April 2017.
-
Interpreting the infinitesimal mathematics of Leibniz and Euler
Authors:
Jacques Bair,
Piotr Blaszczyk,
Robert Ely,
Valerie Henry,
Vladimir Kanovei,
Karin U. Katz,
Mikhail G. Katz,
Semen S. Kutateladze,
Thomas McGaffey,
Patrick Reeder,
David M. Schaps,
David Sherry,
Steven Shnider
Abstract:
We apply Benacerraf's distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the 17th and 18th century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass's ghost behind some of the received historiography on Euler's infinitesimal mathematics,…
▽ More
We apply Benacerraf's distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the 17th and 18th century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass's ghost behind some of the received historiography on Euler's infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a "primary point of reference for understanding the eighteenth-century theories." Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler's own.
Euler's use of infinite integers and the associated infinite products is analyzed in the context of his infinite product decomposition for the sine function. Euler's principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler.
We argue that Ferraro's assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler's work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves.
Keywords: Archimedean axiom; infinite product; infinitesimal; law of continuity; law of homogeneity; principle of cancellation; procedure; standard part principle; ontology; mathematical practice; Euler; Leibniz
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Nonstandard techniques and nowhere differentiable functions I: A dense family of generalized blancmange functions
Authors:
Tom McGaffey
Abstract:
We will give an elementary nonstandard proof that the family of generalized blancmange functions are nowhere differentiable. The proof follows from the intuitive characterization of differentiability at a point as almost $δ$ affine along with the transfer of the functional equations these functions satisfy. We also give elementary nonstandard proofs of the uniform density of these functions among…
▽ More
We will give an elementary nonstandard proof that the family of generalized blancmange functions are nowhere differentiable. The proof follows from the intuitive characterization of differentiability at a point as almost $δ$ affine along with the transfer of the functional equations these functions satisfy. We also give elementary nonstandard proofs of the uniform density of these functions among continuous functions. Finally, we discuss work done with the Python programming language in displaying these functions.
△ Less
Submitted 28 June, 2013;
originally announced June 2013.
-
Is mathematical history written by the victors?
Authors:
Jacques Bair,
Piotr Blaszczyk,
Robert Ely,
Valerie Henry,
Vladimir Kanovei,
Karin U. Katz,
Mikhail G. Katz,
Semen S. Kutateladze,
Thomas Mcgaffey,
David M. Schaps,
David Sherry,
Steven Shnider
Abstract:
We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal mathematics in a new light. We also detail several procedures of the historical infinitesimal calculus that were only clarified and formalized with the advent of moder…
▽ More
We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal mathematics in a new light. We also detail several procedures of the historical infinitesimal calculus that were only clarified and formalized with the advent of modern infinitesimals. These procedures include Fermat's adequality; Leibniz's law of continuity and the transcendental law of homogeneity; Euler's principle of cancellation and infinite integers with the associated infinite products; Cauchy's infinitesimal-based definition of continuity and "Dirac" delta function. Such procedures were interpreted and formalized in Robinson's framework in terms of concepts like microcontinuity (S-continuity), the standard part principle, the transfer principle, and hyperfinite products. We evaluate the critiques of historical and modern infinitesimals by their foes from Berkeley and Cantor to Bishop and Connes. We analyze the issue of the consistency, as distinct from the issue of the rigor, of historical infinitesimals, and contrast the methodologies of Leibniz and Nieuwentijt in this connection.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
Magnification Spaces: A nonstandard approach to inverse map** theorems
Authors:
Tom McGaffey
Abstract:
This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse map** theorems for map**s minimally regular at a point. This approach is used first to give a transparent proof of the inverse map** theorem of Behrens and Nijenhuis and then is deployed to prove an inverse map** result for map**s…
▽ More
This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse map** theorems for map**s minimally regular at a point. This approach is used first to give a transparent proof of the inverse map** theorem of Behrens and Nijenhuis and then is deployed to prove an inverse map** result for map**s whose linear part vanishes at the differentiable point. We finish by indicating further possible capacities of this approach.
△ Less
Submitted 19 July, 2012;
originally announced July 2012.
-
Regularity and nearness theorems for families of local Lie groups
Authors:
Tom McGaffey
Abstract:
In this work, we prove three types of results with the strategy that, together, the author believes these should imply the local version of Hilbert's Fifth problem. In a separate development, we construct a nontrivial topology for rings of map germs on Euclidean spaces. First, we develop a framework for the theory of (local) nonstandard Lie groups and within that framework prove a nonstandard resu…
▽ More
In this work, we prove three types of results with the strategy that, together, the author believes these should imply the local version of Hilbert's Fifth problem. In a separate development, we construct a nontrivial topology for rings of map germs on Euclidean spaces. First, we develop a framework for the theory of (local) nonstandard Lie groups and within that framework prove a nonstandard result that implies that a family of local Lie groups that converge in a pointwise sense must then differentiability converge, up to coordinate change, to an analytic local Lie group, see corollary 6.1. The second result essentially says that a pair of map**s that almost satisfy the properties defining a local Lie group must have a local Lie group nearby, see proposition 7.1. Pairing the above two results, we get the principal standard consequence of the above work, corollary 7.2, which can be roughly described as follows. If we have pointwise equicontinuous family of map** pairs (potential local Euclidean topological group structures), pointwise approximating a (possibly differentiably unbounded) family of differentiable (suffi- ciently approximate) almost groups, then the original family has, after appropriate coordinate change, a local Lie group as a limit point. The third set of results give nonstandard renditions of equicontinuity criteria for families of differentiable functions, see theorem 9.1. These results are critical in the proofs of the principal results of this thesis as well as the standard interpretations of the main results here. Following this material, we have a long chapter constructing a Hausdorff topology on the ring of real valued map germs on Euclidean space. This topology has good properties with respect to convergence and composition. See the detailed introduction to this chapter for the motivation and description of this topology.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.
-
Topologizing Rings of Map Germs: An Order Theoretic Analysis of Germs via Nonstandard Methods
Authors:
Tom McGaffey
Abstract:
Using nonstandard analysis we define a topology on the ring of germs of functions: $(mathbb R^n,0)\rightarrow(mathbb R,0)$. We prove that this topology is absolutely convex, Hausdorff, that convergent nets of continuous germs have continuous germs as limits and that, for continuous germs, ring operations and compositions are continuous. This topology is not first countable, and, in fact, we prove…
▽ More
Using nonstandard analysis we define a topology on the ring of germs of functions: $(mathbb R^n,0)\rightarrow(mathbb R,0)$. We prove that this topology is absolutely convex, Hausdorff, that convergent nets of continuous germs have continuous germs as limits and that, for continuous germs, ring operations and compositions are continuous. This topology is not first countable, and, in fact, we prove that no good first countable topology exists. We give a spectrum of standard working descriptions for this topology. Finally, we identify this topological ring as a generalized metric space and examine some consequences.
△ Less
Submitted 3 June, 2012;
originally announced June 2012.
-
Generalized solutions of nonlinear differential equations A nonstandard jets approach
Authors:
Tom McGaffey
Abstract:
Using the rudiments of pde jets theory in a nonstandard setting, we first deepen and extend previous nonstandard existence results for generalized solutions of linear differential equations and second extend the previous results for linear differential equations to a much broader class of nonlinear differential equations.
Using the rudiments of pde jets theory in a nonstandard setting, we first deepen and extend previous nonstandard existence results for generalized solutions of linear differential equations and second extend the previous results for linear differential equations to a much broader class of nonlinear differential equations.
△ Less
Submitted 2 May, 2012;
originally announced May 2012.