|
|
| (79 intermediate revisions by 2 users not shown) |
| Line 1: |
Line 1: |
| − | ====The integral====
| + | Each statement of a syllogism is one of 4 types, as follows: |
| | | | |
| − | For the whole of the 18th century and into the 19th, integration had been treated as the inverse of differentiation. Cauchy's definition of the derivative given above makes the following clear:
| + | ::{| class="wikitable" |
| − | * the derivative will not exist at a point for which the function is discontinuous
| + | |- |
| − | * yet the integral may afford no difficulty, since even discontinuous curves may determine a well-defined area.
| + | ! Type !! Statement !! Alternative |
| − | | + | |- |
| − | The fact that the inverse could not always be computed exactly led 18th mathematicians to do much work approximating the values of definite integrals:<ref>Grabiner (1983)</ref>
| + | | style="text-align: center;" | '''A''' || '''All''' $A$ '''are''' $B$ || |
| − | | + | |- |
| − | :Euler treated sums of the form
| + | | style="text-align: center;" | '''I''' || '''Some''' $A$ '''are''' $B$ || |
| − | ::Sum k=0 n f(x_k) (x_k+1 - x_k)
| + | |- |
| − | :as approximations to the integral Int x_0 x_n f(x) dx | + | | style="text-align: center;" | '''E''' || '''No''' $A$ '''are''' $B$ || (= '''All''' $A$ '''are not''' $B$) |
| − | | + | |- |
| − | :Poisson attempted a proof of the following what he called ''the fundamental proposition of the theory of definite integrals'', which he stated as follows:
| + | | style="text-align: center;" | '''O''' || '''Not All''' $A$ '''are''' $B$ || (= '''Some''' $A$ '''are not''' $B$) |
| − | | + | |} |
| − | ::If the integral F is defined as the antiderivative of $f$, and if $b - a = nh$
| |
| − | ::can it be proved that F(b) - F(a) is the limit of the sum
| |
| − | :::$S = hf(a) + hf(a + h) + . . . + hf(a + (n - 1)h)$ | |
| − | ::as $h$ gets small.
| |
| − | | |
| − | In effect, Poisson was the first to attempt a proof of the equivalence of the antiderivative and limit-of-sums conceptions of the integral.
| |
| − | | |
| − | Following this tradition, Cauchy also defined the definite integral in terms of the limit of the integral sums. Then, having defined the integral independently of differentiation, it was necessary for him to prove the usual relation between the integral and the antiderivative, which he accomplished through use of the theorem of mean value.<ref>Boyer, Carl S.</ref>
| |
| − | | |
| − | Cauchy defined the integral as the limit of Euler-style sums for sufficiently small. Assuming explicitly that was continuous on the given interval (and implicitly that it was uniformly continuous), Cauchy was able to show that all sums of that form approach a fixed value, called by definition the integral of the function on that interval. This is an extremely hard proof [28]. Finally, borrowing from Lagrange the mean-value theorem for integrals, Cauchy proved the Fundamental Theorem of Calculus [29].<ref>Grabiner (1983)</ref>
| |
| − | | |
| − | Similar views were developed at about the same time by Bolzano.<ref>Boyer, Carl S.</ref>
| |
| − | | |
| − | As mentioned above, the existence of continuous nowhere differentiable functions, including of course the "pathological" functions of Bolzano and Weierstrass, contributed to the concerns about the foundations of analysis.
| |
| − | | |
| − | Riemann exhibited a function $f(x)$ with the following characteristics:
| |
| − | | |
| − | :it is discontinuous at infinitely many points in an interval and yet its integral exists and defines a continuous function $F(x)$ that, for the infinity of points in question, fails to have a derivative
| |
| − | | |
| − | Cauchy's definition of the integral was guided largely by geometrical feeling for the area under a curve. Riemann's function made clear that the integral required a more careful definition than that of Cauchy. The present-day definition of the definite integral over an interval in terms of upper and lower sums generally is known as the Riemann integral, in honor of the man who gave necessary and sufficient conditions that a bounded function be integrable.<ref>Boyer, Carl S.</ref>
| |
| − | | |
| − | ==Notes==
| |
| − | <references/>
| |
| − | | |
| − | ==Primary sources==
| |
| − | | |
| − | * Cauchy, A.-L. ''Résumé des leçons données à l’école royale polytechnique sur le calcul infinitésimal'', Paris, 1823.
| |
| − | * Lagrange, Traite de la resolution des squations numeriques de tous les degres, 2nd ed., 1808, in [B24, vol. VIII, pp. 46-7, 163].
| |
| − | | |
| − | ==References==
| |