Lebesgue integral
In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the axis. The Lebesgue integral, named after French mathematician Henri Lebesgue, is one way to make this concept rigorous and to extend it to more general functions.
The Lebesgue integral is more general than the Riemann integral, which it largely replaced in mathematical analysis since the first half of the 20th century. It can accommodate functions with discontinuities arising in many applications that are pathological from the perspective of the Riemann integral. The Lebesgue integral also has generally better analytical properties. For instance, under mild conditions, it is possible to exchange limits and Lebesgue integration, while the conditions for doing this with a Riemann integral are comparatively restrictive. Furthermore, the Lebesgue integral can be generalized in a straightforward way to more general spaces, measure spaces, such as those that arise in probability theory.
The term Lebesgue integration can mean either the general theory of integration of a function with respect to a general measure, as introduced by Lebesgue, or the specific case of integration of a function [|defined] on a sub-domain of the real line with respect to the Lebesgue measure.
Introduction
The integral of a positive real function between boundaries and can be interpreted as the area under the graph of, between and. This notion of area fits some functions, mainly piecewise continuous functions, including elementary functions, for example polynomials. However, the graphs of other functions, for example the Dirichlet function, do not fit well with the notion of area. Graphs like that of the latter, raise the question: for which class of functions does "area under the curve" make sense? The answer to this question has great theoretical 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. Riemann's definition starts with the construction of a sequence of easily calculated areas that converge to the integral of a given function. 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 describes better how and when it is possible to take limits under the integral sign.
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 1 where its argument is rational and 0 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:
The insight is that one should be able to rearrange the values of a function freely, while preserving the value of the 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.
Intuitive interpretation
summarizes the difference between the Riemann and Lebesgue approaches thus: "to compute the Riemann integral of, one partitions the domain into subintervals", while in the Lebesgue integral, "one is in effect partitioning the range of."For the Riemann integral, the domain is partitioned into intervals, and bars are constructed to meet the height of the graph. The areas of these bars are added together, and this approximates the integral, in effect by summing areas of the form where is the height of a rectangle and is its width.
For the Lebesgue integral, the range is partitioned into intervals, and so the region under the graph is partitioned into horizontal "slabs". The area of a small horizontal "slab" under the graph of, of height, is equal to the measure of the slab's width times :
The Lebesgue integral may then be defined by adding up the areas of these horizontal slabs. From this perspective, a key difference with the Riemann integral is that the "slabs" are no longer rectangular, but instead are cartesian products of a measurable set with an interval.
Simple functions
An equivalent way to introduce the Lebesgue integral is to use so-called [|simple functions], which generalize the step functions of Riemann integration. Consider, for example, determining the cumulative COVID-19 case count from a graph of smoothed cases each day.;The Riemann–Darboux approach: Partition the domain into intervals and construct bars with heights that meet the graph. The cumulative count is found by summing, over all bars, the product of interval width and the bar height.
;The Lebesgue approach: Choose a finite number of target values in the range of the function. By constructing bars with heights equal to these values, but below the function, they imply a partitioning of the domain into the same number of subsets. This is a "simple function," as described below. The cumulative count is found by summing, over all subsets of the domain, the product of the measure on that subset and the bar height.
Relation between the viewpoints
One can think of the Lebesgue integral either in terms of slabs or simple functions. Intuitively, the area under a simple function can be partitioned into slabs based on the collection of values in the range of a simple function. Conversely, the collection of slabs in the undergraph of the function can be rearranged after a finite repartitioning to be the undergraph of a simple function.The slabs viewpoint makes it easy to define the Lebesgue integral, in terms of basic calculus. Suppose that is a function, taking non-negative values. Define the distribution function of as the "width of a slab", i.e.,
Then is monotone decreasing and non-negative, and therefore has an Riemann integral over, allowing that the integral can be. The Lebesgue integral can then be defined by
where the integral on the right is an ordinary improper Riemann integral, of a non-negative function.
Most textbooks, however, emphasize the simple functions viewpoint, because it is then more straightforward to prove the basic theorems about the Lebesgue integral.
Measure theory
was initially created to provide a useful abstraction of the notion of length of subsets of the real line—and, more generally, area and volume of subsets of Euclidean spaces. In particular, it provided a systematic answer to the question of which subsets of have a length. As later set theory developments showed, it is actually impossible to assign a length to all subsets of in a way that preserves some natural additivity and translation invariance properties. This suggests that picking out a suitable class of measurable subsets is an essential prerequisite.The Riemann integral uses the notion of length explicitly. Indeed, the element of calculation for the Riemann integral is the rectangle, whose area is calculated to be. The quantity is the length of the base of the rectangle and is the height of the rectangle. Riemann could only use planar rectangles to approximate the area under the curve, because there was no adequate theory for measuring more general sets.
In the development of the theory in most modern textbooks, the approach to measure and integration is axiomatic. This means that a measure is any function defined on a certain class of subsets of a set, which satisfies a certain list of properties. These properties can be shown to hold in many different cases.
Measurable functions
We start with a measure space where is a set, is a σ-algebra of subsets of, and is a measure on defined on the sets of.For example, can be Euclidean -space or some Lebesgue measurable subset of it, is the σ-algebra of all Lebesgue measurable subsets of, and is the Lebesgue measure. In the mathematical theory of probability, we confine our study to a probability measure , which satisfies.
Lebesgue's theory defines integrals for a class of functions called measurable functions. A real-valued function on is measurable if the pre-image of every interval of the form is in :
We can show that this is equivalent to requiring that the pre-image of any Borel subset of be in. The set of measurable functions is closed under algebraic operations, but more importantly it is closed under various kinds of point-wise sequential limits:
are measurable if the original sequence, where, consists of measurable functions.
There are several approaches for defining an integral for measurable real-valued functions defined on, and several notations are used to denote such an integral.
Following the identification in Distribution theory of measures with distributions of order, or with Radon measures, one can also use a dual pair notation and write the integral with respect to in the form