In mathematics, the integral of a nonnegative function can be regarded in the simplest case as the area between the graph of that function and the x-axis. Lebesgue integration is a mathematical construction that extends the integral to a larger class of functions; it also extends the domains on which these functions can be defined. It had long been understood that for nonnegative functions with a smooth enough graph (such as continuous functions on closed bounded intervals) the area under the curve could be defined as the integral and computed using techniques of approximation of the region by polygons. However, as the need to consider more irregular functions arose (for example, as a result of the limiting processes of mathematical analysis and the mathematical theory of probability) it became clear that more careful approximation techniques would be needed in order to define a suitable integral.

The Lebesgue integral plays an important role in the branch of mathematics called real analysis and in many other fields in the mathematical sciences.

The Lebesgue integral is named for Henri Lebesgue (1875-1941). The pronunciation of his name may be approximated in English as leh BEG.

Introduction

---

The integral of a 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, what is the class of functions for which "area under the curve" makes sense? The answer to this question has great theoretical and practical importance.

As part of a general movement toward rigour in mathematics in the nineteenth century, attempts were made to put the integral calculus on a firm foundation. The Riemann integral, proposed by Bernhard Riemann (1826-1866), is a broadly successful attempt to provide such a foundation for the integral. Riemann's definition starts with the construction of a sequence of easily-calculated integrals which 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 of prime importance, 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. The Lebesgue definition considers a different class of easily-calculated integrals than the Riemann definition, which is the main reason the Lebesgue integral is better behaved. The Lebesgue definition also 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 it does not have a Riemann integral.

In the next section, we discuss the technical definition of the Lebesgue integral. Readers may skip that section and continue on to the Limitations of the Riemann integral section that follows it.

Construction of the Lebesgue integral

---

The discussion that follows parallels the most common expository approach to the Lebesgue integral. In this approach the theory of integration has two distinct parts:

1. A theory of measurable sets and measures on these sets.
2. A theory of measurable functions and integrals on these functions.

Measure theory

Measure theory initially was created to provide a detailed analysis 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 R have a length. As was shown by later developments in set theory (see non-measurable set), it is actually impossible to assign a length to all subsets of R in a way which preserves some natural additivity and translation invariance properties. This suggests that picking out a suitable class of measurable subsets is an essential prerequisite.

Of course, the Riemann integral uses the notion of length implicitly. Indeed, the element of calculation for the Riemann integral is the rectangle b × d, whose area is calculated to be (b-a)(d-c). The quantity b-a is the length of the base of the rectangle and d-c 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 (after 1950), the approach to measure and integration is axiomatic. This means that a measure is any function μ defined on certain subsets X of a set E which satisfies a certain list of properties. These properties can be shown to hold in many different cases.

The theory of measurable sets and measure (including definition and construction of such measures) is discussed in other articles. See measure.

Integration

We will work in the following abstract setup: μ is a (non-negative) measure on a sigma-algebra X of subsets of E. For example, E can be Euclidean n-space Rⁿ or some Lebesgue measurable subset of it, X will be the sigma-algebra of all Lebesgue measurable subsets of E, and μ will be the Lebesgue measure. In the mathematical theory of probability μ will be a probability measure on a probability space E.

In Lebesgue's theory, integrals are limited to a class of functions called measurable functions. A function f is measurable if the pre-image of any closed interval is in X:

$f^\{-1\}(*)\; \backslash in\; X$

It can be shown that this is equivalent to requiring that the pre-image of any Borel subset of R be in X. We will make this assumption from now on. The set of measurable functions are closed under algebraic operations, but more importantly the class is closed under various kinds of pointwise sequential limits:

$\backslash liminf\_\{k\; \backslash in\; \backslash mathbb\{N\}\}\; f\_k,\; \backslash quad\; \backslash limsup\_\{k\; \backslash in\; \backslash mathbb\{N\}\}\; f\_k$

are measurable if the original sequence {f_k}, where k ∈ N, consists of measurable functions.

We build up an integral

$\backslash int\_E\; f\; d\; \backslash mu\; \backslash quad$

for measurable real-valued functions f defined on E in stages:

Indicator functions: To assign a value to the integral of the indicator function of a measurable set S consistent with the given measure μ, the only reasonable choice is to set:

$\backslash int\; 1\_S\; d\; \backslash mu\; =\; \backslash mu\; (S)$

Simple functions: We extend by linearity to the linear span of indicator functions:

$\backslash int\; \backslash bigg(\backslash sum\_k\; a\_k\; 1\_\{S\_k\}\backslash bigg)\; d\; \backslash mu\; =\; \backslash sum\_k\; a\_k\; \backslash int\; 1\_\{S\_k\}d\; \backslash mu$

where the sum is finite and the coefficients a_k are real numbers. Such a finite linear combination of indicator functions is called a simple function. Even if a simple function can be written in many ways as a linear combination of indicator functions, the integral will always be the same.

Non-negative functions: Let f be a non-negative measurable function on E which we allow to attain the value +∞, in other words, f takes values in the extended real number line. We define

$\backslash int\_E\; f\backslash ,d\backslash mu\; :=\; \backslash sup\backslash left\backslash \{\backslash ,\backslash int\_E\; s\backslash ,d\backslash mu\; :\; s\backslash le\; f,\backslash \; s\backslash \; \backslash mbox\{simple\}\backslash ,\backslash right\backslash \}$

We need to show this integral coincides with the preceding one, defined on the set of simple functions. There is also the question of whether this corresponds in any way to a Riemann notion of integration. It is not hard to prove that the answer to both questions is yes.

We have defined the integral of f for any non-negative extended real-valued measurable function on E. For some functions ∫f will be infinite.

Signed functions: To handle signed functions, we need a few more definitions. If f is a function of the measurable set E to the reals (including ± ∞), then we can write

$f\; =\; f^+\; -\; f^-,\; \backslash quad$

where

Note that both f⁺ and f⁻ are non-negative functions. Also note that

$|f|\; =\; f^+\; +\; f^-.\; \backslash quad$

If

then f is called Lebesgue integrable. In this case, both integrals satisfy

and it makes sense to define

$\backslash int\; f\; d\; \backslash mu\; =\; \backslash int\; f^+\; d\; \backslash mu\; -\; \backslash int\; f^-\; d\; \backslash mu$

It turns out that this definition gives the desirable properties of the integral.

Complex valued functions can be similarly integrated, by considering the real part and the imaginary part separately.

Intuitive interpretation

To get some intuition about the different approaches to integration, let us imagine that it is desired to find a mountain's volume (above sea level) and that the mountain's boundaries are marked out clearly (they are the boundaries of integration).

The Riemann-Darboux approach: Cut the mountain up into vertical slices, each one having a square base at sea-level. Pick a pair of points inside this square, one where elevation is highest and one where elevation is lowest. Associated to these two elevations are an upper volume and lower volume obtained by multiplying the elevations by the area of the square. The upper Riemann sum is the sum of the upper volumes of all the slices, and similarly for the lower Riemann sum. The Riemann integral exists if the upper and lower Riemann sums converge as the thickness of the slices decreases to 0.

The Lebesgue approach: Draw a contour map of the mountain. For each contour (or set of contours) with the lowest height, find the total area enclosed (within the map) by this set of contours, i.e. find the "measure" of this set of contours. Multiply this measure by the height represented by the set of contours: the product will be one summand of a "Lebesgue sum".

Then find a contour, or set of contours, which are at one step higher in height (lowest height of the remaining contours). Calculate the measure of the area enclosed by them. Multiply the measure by the difference in height (from the previous step), and the product will be another summand of the "Lebesgue sum".

Repeat this process for successive higher levels of contours, until the highest set of contours has been processed. The resulting sum is the linear span: each contour corresponding to an indicator function.

The sum can be refined by adding intermediate contours to the map: halving the difference between successive heights, then recomputing the sum. The Lebesgue integral is the limit of this process.

Example

Consider the indicator function of the rational numbers, 1_Q. It is known 1_Q is nowhere continuous.

• 1_Q is not Riemann-integrable on No matter how the set [0,1 is partitioned into subintervals, each partition will contain at least one rational and at least one irrational number, since rationals and irrationals are both dense in the reals. Thus the upper Darboux sums will all be one, and the lower Darboux sums will all be zero.

• 1_Q is Lebesgue-integrable on ^*: Indeed it is the indicator function of the rationals so by definition

$\backslash int\_\{1\_\{\backslash mathbf\{Q\}\}\; \backslash ,\; d\; \backslash mu\; =\; \backslash mu(\backslash mathbf\{Q\}\; \backslash cap\; [0,1)\; =\; 0,$

since Q is countable.

Limitations of the Riemann integral

---

Here we discuss the limitations of the Riemann integral and the greater scope offered by the Lebesgue integral. We presume a working understanding of the Riemann integral.

With the advent of Fourier series, many analytical problems involving integrals came up whose satisfactory solution required exchanging infinite summations of functions and integral signs. However, the conditions under which the integrals

$\backslash sum\_k\; \backslash int\; f\_k(x)\; dx,\; \backslash quad\; \backslash int\; \backslash biggf\_k(x)\; \backslash biggdx$

are equal proved quite elusive in the Riemann framework. There are some other technical difficulties with the Riemann integral. These are linked with the limit taking difficulty discussed above.

Failure of monotone convergence. As shown above, the indicator function 1_Q on the rationals is not Riemann integrable. In particular, the monotone convergence theorem fails. To see why, let {a_k} be an enumeration of all the rational numbers in ^* (they are countable so this can be done.) Then let

0 & \mbox{otherwise} \end{matrix} \right.

Then let

$f\_k\; =\; g\_1\; +\; g\_2+\; \backslash ldots\; +\; g\_k.\; \backslash quad$

The function f_k is zero everywhere except on a finite set of points, hence its Riemann integral is zero. The sequence f_k is also clearly non-negative and monotonously increasing to 1_Q, which is not Riemann integrable.

Unsuitability for unbounded intervals. The Riemann integral can only integrate functions on a bounded interval. The simplest extension is to define

$\backslash int\_\{-\backslash infty\}^\{+\backslash infty\}\; f(x)\; dx\; =\; \backslash lim\_\{a\; \backslash rightarrow\; \backslash infty\}\; \backslash int\_\{-a\}^\{+a\}\; f(x)\; dx$

whenever the limit exists. However, this breaks the desirable property of translation invariance: if f and g are zero outside some interval b and are Riemann integrable, and if f(x) = g(x + y) for some y, then ∫ f = ∫ g. With this definition of the improper integral (this definition is sometimes called the improper Cauchy principal value about zero), the functions f(x) = (1 if x > 0, −1 otherwise) and g(x) = (1 if x > 1, −1 otherwise) are translations of one another, but their improper integrals are different.

$\backslash int\; f(x)\; dx\; =\; 0,\; \backslash quad\; \backslash int\; g(x)\; dx=\; -2\; .\; \backslash quad$

Basic theorems of the Lebesgue integral

---

The Lebesgue integral does not distinguish between functions which only differ on a set of μ-measure zero. To make this precise, functions f, g are said to be equal almost everywhere (or equal a.e.) if and only if

$\backslash mu(\backslash \{x\; \backslash in\; E:\; f(x)\; \backslash neq\; g(x)\backslash \})\; =\; 0$

• If f, g are non-negative functions (possibly assuming the value +∞) such that f = g almost everywhere, then

$\backslash int\; f\; d\; \backslash mu\; =\; \backslash int\; g\; d\; \backslash mu.$

• If f, g are functions such that f = g almost everywhere, then f is integrable if and only if g is integrable and the integrals of f and g are the same.

The Lebesgue integral has the following properties:

Linearity: If f and g are integrable functions and a and b are real numbers, then af + bg is integrable and

$\backslash int\; (a\; f\; +\; bg)\; d\; \backslash mu\; =\; a\; \backslash int\; f\; d\backslash mu\; +\; b\; \backslash int\; g\; d\backslash mu$

Monotonicity: If f ≤ g, then

$\backslash int\; f\; d\; \backslash mu\; \backslash leq\; \backslash int\; g\; d\; \backslash mu.$

Monotone convergence theorem: Suppose {f_k}_{k ∈ N} is a sequence of non-negative measurable functions such that

$f\_k(x)\; \backslash leq\; f\_\{k+1\}(x)\; \backslash quad\; \backslash forall\; k\backslash in\; \backslash mathbb\{N\},\; \backslash forall\; x\; \backslash in\; E.$

Then

$\backslash lim\_k\; \backslash int\; f\_k\; d\; \backslash mu\; =\; \backslash int\; \backslash sup\_k\; f\_k\; d\; \backslash mu.$

Note: The value of any one the integrals is allowed to be infinite.

Fatou's lemma: If {f_k}_{k ∈ N} is a sequence of non-negative measurable functions and if f = liminf f_k, then

$\backslash int\; f\; d\; \backslash mu\; \backslash leq\; \backslash liminf\_k\; \backslash int\; f\_k\; d\; \backslash mu.$

Again, the value of any one the integrals may be infinite.

Dominated convergence theorem: If {f_k}_{k ∈ N} is a sequence of measurable functions with pointwise limit f, and if there is an integrable function g such that |f_k| ≤ g for all k, then f is integrable and

$\backslash lim\_k\; \backslash int\; f\_k\; d\; \backslash mu\; =\; \backslash int\; f\; d\; \backslash mu.$

Proof techniques

---

To illustrate some of the proof techniques used in Lebesgue integration theory, we sketch a proof of the above mentioned Lebesgue monotone convergence theorem:

Let {f_k}_{k ∈ N} be a non-decreasing sequence of non-negative measurable functions and put

$f\; =\; \backslash sup\_\{k\; \backslash in\; \backslash mathbb\{N\}\}\; f\_k$

By the monotonicity property of the integral, it is immediate that:

$\backslash int\; f\; d\; \backslash mu\; \backslash geq\; \backslash lim\_k\; \backslash int\; f\_k\; d\; \backslash mu$

and the limit on the right exists, since the sequence is monotonic.

We now prove the inequality in the other direction (which also follows from Fatou's lemma), that is

$\backslash int\; f\; d\; \backslash mu\; \backslash leq\; \backslash lim\_k\; \backslash int\; f\_k\; d\; \backslash mu.$

It follows from the definition of integral, that there is a non-decreasing sequence g_n of non-negative simple functions which converges to f pointwise almost everywhere and such that

$\backslash lim\_k\; \backslash int\; g\_k\; d\; \backslash mu\; =\; \backslash int\; f\; d\; \backslash mu.$

Therefore, it suffices to prove that for each k ∈ N,

$\backslash int\; g\_k\; d\; \backslash mu\; \backslash leq\; \backslash lim\_j\; \backslash int\; f\_j\; d\; \backslash mu.$

We will show that if g is a simple function and

$\backslash lim\_j\; f\_j(x)\; \backslash geq\; g(x)$

almost everywhere, then

$\backslash lim\_j\; \backslash int\; f\_j\; d\; \backslash mu\; \backslash geq\; \backslash int\; g\; d\; \backslash mu.$

By breaking up the function g into its constant value parts, this reduces to the case in which g is the indicator function of a set. The result we have to prove is then

Suppose A is a measurable set and {f_k}_{k ∈ N} is a nondecreasing sequence of measurable functions on E such that

$\backslash lim\_n\; f\_n\; (x)\; \backslash geq\; 1$

for almost all x ∈ A. Then

$\backslash lim\_n\; \backslash int\; f\_n\; d\backslash mu\; \backslash geq\; \backslash mu(A).$

To prove this result, fix ε > 0 and define the sequence of measurable sets

$B\_n\; =\; \backslash \{x\; \backslash in\; A:\; f\_n(x)\; \backslash geq\; 1\; -\; \backslash epsilon\; \backslash \}.$

By monotonicity of the integral, it follows that for any n ∈ N,

$\backslash mu(B\_n)\; (1\; -\; \backslash epsilon)\; =\; \backslash int\; (1\; -\; \backslash epsilon)$

1_{B_n} d \mu \leq \int f_n d \mu

By assumption,

$\backslash bigcup\_i\; B\_i\; =\; A,$

up to a set of measure 0. Thus by countable additivity of μ

$\backslash mu(A)\; =\; \backslash lim\_n\; \backslash mu(B\_n)\; \backslash leq\; \backslash lim\_n\; (1\; -\; \backslash epsilon)^\{-1\}\; \backslash int\; f\_n\; d$

\mu.

As this is true for any positive ε the result follows.

Alternative formulations

---

If f is non-negative, then ∫f dμ is precisely the area under the curve as measured by the product measure μ × λ where λ is the Lebesgue measure for R.

One can try to circumvent measure theory entirely. The Riemann integral exists for any continuous function f of compact support. Then we use functional analysis to obtain the integral for more general functions. Let C_c be the space of all real-valued compactly supported continuous functions of R. Define a norm on C_c by

$\backslash |f\backslash |\; =\; \backslash int\; |f(x)|\; dx$

Then C_c is a normed vector space (and in particular, it is a metric space.) All metric spaces have completions, so let L¹ be its completion. This space is isomorphic to the space of Lebesgue integrable functions (modulo sets of measure zero). Furthermore, the Riemann integral ∫ defines a continuous functional on C_c which is dense in L¹ hence ∫ has a unique extension to all of L¹. This integral is precisely the Lebesgue integral.

The problem with this approach is that integrable functions are represented as elements of an abstractly defined completion and showing how these abstractly defined elements are represented as functions is non-trivial. In particular, the relation between pointwise limits of sequence of functions and the integral is hard to prove.

Another approach is offered by the Daniell integral or the Bourbaki variant of the Daniell integral, often referred to as the Radon measure approach to integration.

See also

---

• null set
• integration
• measure
• sigma-algebra
• Lebesgue measure
• Lebesgue space

References

---

• Dudley, R. M., 1989. Real Analysis and Probability. Wadsworth & Brookes/Cole. Very thorough treatment, particularly for probabilists with good notes and historical references.
• Folland, G. B., 1999. Real Analysis: Modern Techniques and Their Applications. John Wiley & Sons.
• Paul Halmos, Measure Theory, D. van Nostrand Company, Inc. 1950. A classic, though somewhat dated presentation.
• Loomis, L. H., 1953. An Introduction to Abstract Harmonic Analysis. Van Nostrand Company, Inc. Includes a presentation of the Daniell integral.
• Henri Lebesgue, 1972. Oeuvres Scientifiques. L'Enseignement Mathématique.
• Munroe, M. E., 1953. Introduction to Measure and Integration, Addison Wesley. Good treatment of the theory of outer measures.
• Royden, H. L., 1988. Real Analysis, 3rd. ed. Prentice Hall.
• Walter Rudin, 1976. Principles of Mathematical Analysis, 3rd. ed. McGraw-Hill. Known as Little Rudin, contains the basics of the Lebesgue theory, but does not treat material such as Fubini's theorem.

• ---

  --, 1966. Real and Complex Analysis. McGraw-Hill. Known as Big Rudin. A complete and careful presentation of the theory. Good presentation of the Riesz extension theorems. However, there is a minor flaw (in the first edition) in the proof of one of the extension theorems, the discovery of which constitutes exercise 21 of Chapter 2.
• Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0486635198. Emphasizes the Daniell integral.

Definitions of mathematical integration | Measure theory

Lebesgue-Integral | Intégrale de Lebesgue | Integrale di Lebesgue | אינטגרל לבג | ルベーグ積分 | Całka Lebesgue'a | Интеграл Лебега | Integrasi Lebesgue | 勒貝格積分