Author by : Elias M. Here the focus is on the development of measure and integration theory, differentiation and integration, Hilbert spaces, and Hausdorff measure and fractals. This book reflects the objective of the series as a whole: to make plain the organic unity that exists between the various parts of the subject, and to illustrate the wide applicability of ideas of analysis to other fields of mathematics and science. After setting forth the basic facts of measure theory, Lebesgue integration, and differentiation on Euclidian spaces, the authors move to the elements of Hilbert space, via the L2 theory. They next present basic illustrations of these concepts from Fourier analysis, partial differential equations, and complex analysis. The final part of the book introduces the reader to the fascinating subject of fractional-dimensional sets, including Hausdorff measure, self-replicating sets, space-filling curves, and Besicovitch sets.
|Published (Last):||26 June 2008|
|PDF File Size:||2.8 Mb|
|ePub File Size:||10.74 Mb|
|Price:||Free* [*Free Regsitration Required]|
Introduction[ edit ] The integral of a positive function f between limits a and b can be interpreted as the area under the graph of f. This is easy to understand for familiar functions such as polynomials , but what does it mean for more exotic functions? In general, for which class of functions does "area under the curve" make sense? The answer to this question has great theoretical and practical importance.
As part of a general movement toward rigor in mathematics in the nineteenth century, mathematicians attempted to put integral calculus on a firm foundation. The Riemann integral —proposed by Bernhard Riemann — —is a broadly successful attempt to provide such a foundation. This definition is successful in the sense that it gives the expected answer for many already-solved problems, and gives useful results for many other problems.
However, Riemann integration does not interact well with taking limits of sequences of functions, making such limiting processes difficult to analyze.
This is important, for instance, in the study of Fourier series , Fourier transforms , and other topics. The Lebesgue integral is better able to describe how and when it is possible to take limits under the integral sign via the powerful monotone convergence theorem and dominated convergence theorem. While the Riemann integral considers the area under a curve as made out of vertical rectangles, the Lebesgue definition considers horizontal slabs that are not necessarily just rectangles, and so it is more flexible.
For this reason, the Lebesgue definition makes it possible to calculate integrals for a broader class of functions. For example, the Dirichlet function , which is 0 where its argument is irrational and 1 otherwise, has a Lebesgue integral, but does not have a Riemann integral. Furthermore, the Lebesgue integral of this function is zero, which agrees with the intuition that when picking a real number uniformly at random from the unit interval, the probability of picking a rational number should be zero.
Lebesgue summarized his approach to integration in a letter to Paul Montel : I have to pay a certain sum, which I have collected in my pocket. I take the bills and coins out of my pocket and give them to the creditor in the order I find them until I have reached the total sum.
This is the Riemann integral. But I can proceed differently. After I have taken all the money out of my pocket I order the bills and coins according to identical values and then I pay the several heaps one after the other to the creditor. This is my integral. This process of rearrangement can convert a very pathological function into one that is "nice" from the point of view of integration, and thus let such pathological functions be integrated.
The Riemann—Darboux approach Divide the base of the mountain into a grid of 1 meter squares. Measure the altitude of the mountain at the center of each square. Folland summarizes the difference between the Riemann and Lebesgue approaches thus: "to compute the Riemann integral of f, one partitions the domain [a, b] into subintervals", while in the Lebesgue integral, "one is in effect partitioning the range of f.
Subscribe to RSS
The Elements of Integration and Lebesgue Measure
Bartle, R. G. The Elements Of Integration And Lebesgue Measure