How much do we really care about Riemann integration compared to Lebesgue integration?
I have tried to make this point before. Usually I find it best to quote from the "gods," in this case the god-given one:
...
J. Dieudonné, Foundations of Modern Analysis. (Pure and Applied Mathematics, Vol. X) XIV + 316 S. New York 1960. Academic Press Inc.
"Finally, the reader will probably observe the conspicuous absence of the time-honored topic in calculus courses, the `Riemann integral.' It may well be suspected that, had it not been for its prestigious name, this would have been dropped long ago, for (with due reverence to Riemann' s genius) it is certainly quite clear to any working mathematician that nowadays such a "theory'' has at best the importance of a mildly interesting exercise in the general theory of measure and integration.
Only the stubborn conservatism of academic tradition could freeze it into a regular part of the curriculum, long after it had outlived its historical importance. Of course, it is perfectly feasible to limit the integration process to a category of functions which is large enough for all purposes of elementary analysis, but close enough to the continuous functions to dispense with any consideration drawn from measure theory; this is what we have done by defining only the integral of regulated functions. When one needs a more powerful tool there is no point in stopping halfway, and the general theory of (Lebesgue) integration is the only sensible answer."
In all fairness I should point out the case for the defense to be found here:
Regulated Functions: Bourbaki's Alternative to the Riemann Integral,
S. K. Berberian, The American Mathematical Monthly, Vol. 86, No. 3 (Mar., 1979), pp. 208-211.
The fact that continuous functions are Riemann-integrable is implicit in the background of many general results involving integration on locally compact groups. For instance, Haar measure is typically constructed via the Riesz representation theorem by specifying what the integral of a continuous function with compact support should be, and a common way to do this is by a construction very similar to Riemann sums (see, for instance, the construction of Haar measure in Folland's A Course on Abstract Harmonic Analysis, Theorem 2.10). It is also useful in various arguments to know that the integral of a continuous function can be approximated by taking sums of values of the function at finite sets of points that get denser and denser (i.e., Riemann sums).
Of course, these results don't use any heavy theory of the Riemann integral per se (and are in fact usually formulated using the language and methods of measure theory), but they still demonstrate the value of understanding that (some) integrals can be computed as limits of Riemann sums, even for highly theoretical purposes.
As there is an abundance of opinions on the topic raised by our questioner here (and the topic has attracted a few viewers) I can hardly resist adding another answer. This letter was distributed to publishers' representatives at the Joint Mathematics Meetings in San Diego, California, in January 1997.
AN OPEN LETTER
To: The authors of calculus textbooks
From: Several authors of more advanced books and articles -
***-
Robert Bartle, USA <mth [email protected]>
Ralph Henstock, Ireland <[email protected]>
Jaroslav Kurzweil, Czech Republic <[email protected]>
Eric Schechter, USA <[email protected]>
Stefan Schwabik, Czech Republic <[email protected]>
Rudolf Výborný, Australia <[email protected]>
Subject: Replacing the Riemann integral with the gauge integral
It is only an accident of history that the Riemann integral is the one used in all calculus books today. The gauge integral (also known as the generalized Riemann integral, the Henstock integral, the Kurzweil integral, the Riemann complete integral, etc.) was discovered later, but it is a "better" integral in nearly all respects. Therefore, we would like to suggest that in the next edition of your calculus textbook, you present both the Riemann and gauge integrals, and then state theorems mainly for the gauge integral.
This switch would only require altering a few pages in your calculus book. Any freshman calculus book is devoted almost entirely to derivatives and antiderivatives -- how to compute them and how to use them; that material would not change at all. The only changes would be in the more theoretical sections of the book -- i.e., the definitions and theorems -- which take up only a few pages.
The reasons for making this change are twofold: (i) It would actually make some parts of your book more readable. Some definitions and theorems can be stated more simply (and more strongly) if the gauge integral is used instead of the Riemann integral. This is particularly true of the Second Fundamental Theorem of Calculus, discussed below. (ii) It would be a better preparation for the handful of calculus students who will go on to higher math courses. The gauge integral is far more useful than the Riemann integral, as a bridge to more advanced analysis.
The idea of introducing the gauge integral to college freshmen is not entirely new; it was promoted, for instance, in the paper "The Teaching of the Integral" by Bullen and Výborný, Journal of Mathematical Education in Science and Technology, vol. 21 (1990). However, we feel that the idea deserves wider promotion; hence this letter.
Introduction to the integral. If you are not already familiar with the gauge integral, we would recommend the article by Bartle in the American Mathematical Monthly, October 1996; it provides a quick introduction to the subject and gives most of the main references. Perhaps a second introduction would be the book of DePree and Swartz (Introduction to Real Analysis, Wiley, 1988); it is written for advanced undergraduates and is probably the most elementary among the currently available introductions to this subject. Professors Bartle and Schechter have volunteered to make themselves available, at least to some extent, to answer further questions you may have about this subject.
The definition. The gauge integral is a very slight generalization of the Riemann integral. Instead of a constant $\epsilon$ and a constant $\delta$, it uses a constant $\epsilon$ and a function $\delta$. The two definitions can be formulated so that they are nearly identical, and then placed side by side. This would be helpful to the teachers who are using the book and learning about the gauge integral for the first time.
We think that the slight increase in the complexity of the definition will make little difference to the students learning from the book. It has been our experience that, for the most part, freshman calculus students do not fully grasp the definition of the Riemann integral anyway; it is just too complicated for students at that level. The definition of the Riemann integral is included in a calculus book more for completeness and integrity than for teaching. The few students who have enough mathematical maturity to grasp the definition of the Riemann integral will probably have no greater difficulty with the gauge integral, and they will benefit from being exposed to this concept in their calculus book.
Existence and nonexistence of integrals. In recent calculus books it is customary to state without proof that continuous functions and monotone functions on a compact interval are Riemann integrable. The omission of the proofs is unavoidable -- a proof would involve the completeness of the reals, uniform continuity on compact intervals, and other notions that are far beyond the reach of freshmen.
Any Riemann integrable function is also gauge integrable. Many more functions are gauge integrable, as will be evident later in this letter; see especially our remarks about the Dominated Convergence Theorem.
[Remainder of the letter omitted but can be found on the internet. We have since lost Bartle, Henstock, and Schwabik. I hope the others are well.]
Let me turn the floor over to another mathematician who wrote on this subject and published a Monthly article on it. (He is no longer around to have his say and I'd like to remember him here.)
... from Robert G. Bartle's review of the monograph The general theory of integration, by Ralph Henstock. Oxford Mathematical Monographs, Clarendon Press, Oxford, 1991, xi 262pp., ISBN 0-19-853566-X
"In elementary calculus courses we are usually successful in teaching students to evaluate an integral of a suitable function $ f = F'$ on an interval $ [a, b]$, by evaluating $F(b)−F(a)$, but we are often not very successful in connecting this type of integration with Riemann sums and their limits. During their junior/senior year, students who are studying mathematics seriously are then led through a more careful and exhaustive discussion of these ideas. However, they are informed that all of this is only tentative, since when they become graduate students they will replace the outmoded Riemann integral that they have just mastered with the Lebesgue integral.
Of course, it is not completely replaced by this new integral, because there are certain notions, such as 'improper integrals,' that do not fall under this new umbrella and are still of considerable importance; moreover, almost all evaluations of integrals (whether Riemann or Lebesgue) are found by using the $F(b) − F(a)$ method, with a few minor variations. We tell our advanced undergraduates that we would like to introduce them to the Lebesgue integral but cannot do so since it requires a prior study of measure theory and/or topology and is 'too advanced' for them at their present stage of mathematical study. Probably none of us is satisfied by this circuitous procedure.
Suppose that someone came up with an approach to the integral that simultaneously covered the integration of all functions that have antiderivatives, all functions that have Riemann integrals, all functions that have improper integrals, and all functions that have Lebesgue integrals. Moreover, suppose that the definition of this 'superintegral' was only slightly more complicated than that of the Riemann integral, that its development required no study of measure theory, no study of topology, and that this integral had properties that correspond to the Monotone Convergence Theorem and the Lebesgue Dominated Convergence Theorem (among others).
If this mathematical miracle occurred, then wouldn’t this new approach be immediately adopted, at least at the junior/senior level course, and quickly worked into the calculus level? The answer is a resounding: No!
Proof. In fact, such an integral has already been developed and has been around for some time, but its existence has remained largely unknown (except to readers of the Real Analysis Exchange) and it has had very little, if any, educational impact (known to this reviewer)."
See also the article Robert G. Bartle, Return to the Riemann Integral Amer. Math. Monthly 103 (1996), no. 8, 625–632.