Intereting Posts

Is $\sum_{n \ge 1}{\frac{p_n}{n!}}$ irrational?
extended stars-and-bars problem(where the upper limit of the variable is bounded)
Riemann Zeta Function and Analytic Continuation
Why is it important to study combinatorics?
Monte Carlo double integral over a non-rectangular region (Matlab)
Bounded functionals on Banach spaces.
General Continued Fractions and Irrationality
Gödel's Completeness Theorem and logical consequence
Does a function and its Hilbert transform have the same behaviour?
Why is the second derivative of an inflection point zero?
Computing the trace and determinant of $A+B$, given eigenvalues of $A$ and an expression for $B$
In an additive category, why is finite products the same as finite coproducts?
a construction of a continuous function from a normal space to
Why does Friedberg say that the role of the determinant is less central than in former times?
Prove that $E(X) = \int_{0}^{\infty} P(X>x)\,dx = \int_{0}^{\infty} (1-F_X(x))\,dx$.

*Who gave you the epsilon?* is the title of an article by J. Grabiner on Cauchy from the 1980s, and the implied answer is “Cauchy”. On the other hand, historian I. Grattan-Guinness points out in his book that “Weierstrass undoubtedly saw himself as Cauchy’s heir in analysis and so helped to create the belief that Cauchy’s achievements included ideas that were actually his own” (*The development of the foundations of mathematical analysis from Euler to Riemann*, page 120). In fact, Cauchy apparently never gave an epsilon-delta definition of either *limit* or *continuity*. His infinitesimal definition of continuity (“infinitesimal $x$-increment always produces infinitesimal $y$-increment”) is reproduced in a number of secondary studies, for example in J. Gray (*Plato’s Ghost*, page 64). The question is then, who in fact gave you epsilon-delta: Cauchy or Weierstrass? Editors are requested to refrain from answers based purely on opinion, but rather to base themselves on published sources supporting either of the two views. In particular, a primary source in Cauchy giving an epsilon-delta definition of continuity would be welcome.

Note 1. Grabiner’s example cited by @Brian illustrates the issue well. Cauchy infrequently uses preliminary forms of epsilon, delta *arguments* (notice the opening “let delta, epsilon be very small numbers” which would certainly not make it into calculus texts today) in some of his proofs, but he never gave an epsilon, delta *definition*. This example suggests that Cauchy never gave such a definition, for if he did, Grabiner would have likely cited it. Cauchy’s definition of continuity is “infinitesimal $x$-increment always produces an infinitesimal change in $y$”. This is closer to the modern infinitesimal definition of continuity than to the modern epsilon, delta definition; in fact it looks identical to the modern hyperreal definition at the syntactic level.

- Is a function Lipschitz if and only if its derivative is bounded?
- Evaluating $\int_0^{2\pi}\frac{dt}{\sqrt{P(\cos t,\sin t)}}$
- How do I evaluate the integral $\int_0^{\infty}\frac{x^5\sin(x)}{(1+x^2)^3}dx$?
- Closed form for $\prod_{n=1}^\infty\sqrt{\tanh(2^n)},$
- How to prove $\int_{-\infty}^{+\infty} f(x)dx = \int_{-\infty}^{+\infty} f\left(x - \frac{1}{x}\right)dx?$
- Uniform convergence of $\sum_{n=0}^{\infty} \frac{\int_{\sin nx}^{\sin(n+1)x}\sin t^2dt \int_{nx}^{\infty}\frac{dt}{\sqrt{t^4+1}}}{1+n^3x^2}$

- Closed, continuous, surjective map with inverse images compact
- Calculating $\iint (x+y) \, dx \, dy$
- Prove the series $\sum_{n=1}^{\infty}\frac{1}{{5^n}^!}$ converges to an irrational number
- How to prove that $b^{x+y} = b^x b^y$ using this approach?
- Sign of Laplacian at critical points of $\mathbb R^n$
- A continuous surjective function from $(0,1]$ onto $$
- Evaluating $\int_0^{\infty} {\frac{\sin{x}\sin{2x}\sin{3x}\cdots\sin{nx}\sin{n^2x}}{x^{n+1}}}\ dx$
- Is it necessary that every function is a derivative of some function?
- Improper integral of $\int_0^\infty \frac{e^{-ax} - e^{-bx}}{x}\ dx$
- How do you calculate this limit $\lim_{n\to\infty}\sum_{k=1}^{n} \frac{k}{n^2+k^2}$?

It was Bernard Bolzano. According to Wikipedia, “In calculus, the (ε, δ)-definition of limit … is a formalization of the notion of limit. It was first given by Bernard Bolzano in 1817, followed by a less precise form by Augustin-Louis Cauchy.”

In fact Grabiner cites an example of Cauchy’s use of the $\epsilon,\delta$ formulation of continuity in a proof. I copy the relevant passage from the original, which may be found here under SEPTIÈME LEÇON:

THÉORÈME. —

Si, la fonction$f(x)$étant continue entre les limites$x=x_0$, $x=X$,on désigne par$A$la plus petite, et par$B$la plus grande des valeurs que la fonction dérivée$f\,'(x)$reçoit dans cet intervalle, le rapport aux différences finies$$\frac{f(X)-f(x_0)}{X-x_0}$$sera nécessairement compris entre$A$et$B$.

Démonstration.— Désignons par $\delta,\epsilon$ deux nombres très petits, le premier étant choisi de telle sorte que, pour des valeurs numériques de $i$ inférieures à $\delta$, et pour une valeur quelconque de $x$ comprise entre les limites $x_0,X$, le rappart $$\frac{f(x+i)-f(x)}i$$ reste toujours supérieur à $f\,'(x)-\epsilon$ et inférieur à $f\,'(x)+\epsilon$.

The proof continues for another three-quarters of a page or so, but that is clearly the familiar formalization.

She notes that he did not incorporate this formalism into his purely verbal definition of limit, but it’s clear from this example that he had it in mind.

To complement Brian M. Scott’s thoughtful answer, I would like to present a view based closely on primary sources in Cauchy, and specifically on his Cours d’Analyse (1821). An analysis of this book suggests a predominance of an infinitesimal approach in Cauchy’s foundations for analysis. Already in the introduction, Cauchy states that he found it impossible to present analysis without infinitesimals. He proceeds to present two definitions of continuity, both based on infinitesimals (and none based on epsilon, delta). Following such definitions, Cauchy presents a detailed discussion including as many as *eight* separate propositions, analyzing the properties of infinitesimals, various degrees of infinitesimals, some structure theorems for infinitesimals of polynomial form with respect to a base infinitesimal, etc.

By comparison, note that the key piece of evidence presented by Brian (following Grabiner) for a beginning of an epsilon, delta approach are buried in “lesson 7” of a later book; the technique appears in a discussion of the derivative rather than being presented as a definition; and moreover such discussions are comparatively infrequent in Cauchy as compared to the predominance of an approach using infinitesimals.

In fact, as late as 1853, in an article on a notion related to uniform convergence, Cauchy again presents his infinitesimal definition of continuity nearly identical to the one given in 1821 (many intermediate works present the same definition, as well).

Note also Cauchy’s definition of limit: ‘When the successively attributed values of the same variable indefinitely approach a fixed value, so that finally they differ from it by as little as desired, the last is called the limit of all the others’. As Grabiner points out, this is very close to definitions appearing from Leibniz onward. To the best of my knowledge, there is no epsilon, delta *definition* of limit anywhere in Cauchy. These issues were studied in a recent text by Borovik and myself here.

The evidence suggests that, while both (A) the beginnings of epsilon, delta arguments and (B) infinitesimal foundations for analysis are present in Cauchy, the latter predominate. This is in contrast with what appears to be a prevailing view in the textbooks as well as historical works by Boyer, Grabiner, and others. Reading the latter, one would never have guessed that Cauchy spoke of infinitesimals at all. The evidence suggests further that, to follow Grattan-Guinness’s comment, the true beginnings of the infuence of the epsilon, delta approach are in Weierstrass (Bolzano having not been influential in any broad sense, according to most historians).

- How many solutions has the equation $\sin x= \frac{x}{100}$ ?
- Expressing a positive integer as a sum of positive integers
- Explicit example of Koszul complex
- Subgroups of finite nonabelian simple groups
- Is there an integral for $\pi^4-\frac{2143}{22}$?
- Distribute small number of points on a disc
- Linear algebra revisited: What do we do when we set a coordinate system?
- What is an example of a second order differential equation for which it is known that there are no smooth solutions?
- Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?
- Dirac delta distribution & integration against locally integrable function
- What are some examples of proofs using the Pythagorean assumption that all segments are commensurable?
- A tiling puzzle/question
- Polar decomposition normal operator
- How to prove for a finite group that $|\langle g \rangle|=o(g)$?
- Visualizing Commutator of Two Vector Fields