What does almost everywhere mean?

A statement holds almost everywhere if the set where it fails has measure zero; the Lebesgue integral cannot detect changes on such sets, so functions equal almost everywhere have the same integral.

Why are the convergence theorems the main payoff?

The monotone and dominated convergence theorems let limits be moved inside integrals under mild hypotheses, which is precisely the flexibility the Riemann integral lacks and which probability and analysis depend on.

Lebesgue Integration

The Lebesgue integral defines the integral of a measurable function by approximating it with simple functions weighted by a measure, yielding an integral that interacts robustly with limits.

Definition

Lebesgue integration defines the integral of a non-negative measurable function as the supremum of integrals of simple functions beneath it, and extends this to signed and complex functions by integrating positive and negative parts, producing an integral defined with respect to any measure.

Scope

This topic covers simple functions and the integral of non-negative measurable functions, the integral of general and complex-valued functions, the monotone convergence theorem, Fatou's lemma, the dominated convergence theorem, almost-everywhere statements, and the comparison with the Riemann integral.

Core questions

How is the integral built up from simple functions and a measure?
Under what conditions can a limit be moved inside an integral?
What does it mean for a property to hold almost everywhere, and why is it the right notion?
How does Lebesgue integration relate to and extend the Riemann integral?

Key theories

Monotone convergence theorem and Fatou's lemma: For non-negative measurable functions, the integral of an increasing limit is the limit of the integrals, and in general the integral of a liminf does not exceed the liminf of the integrals, the basic tools for passing limits through integrals.
Dominated convergence theorem: If functions converge almost everywhere and are bounded in size by a fixed integrable function, the limit of their integrals equals the integral of the limit, the most-used interchange theorem of integration.

Clinical relevance

The Lebesgue integral is the expectation of probability theory and the integral underlying Fourier and functional analysis; its convergence theorems justify exchanging limits, sums, and integrals in derivations throughout physics, statistics, and applied mathematics, and they make the Lp function spaces complete.

History

Lebesgue defined his integral in 1902, and the convergence theorems were established soon after, with Fatou's lemma appearing in his 1906 work on series and Levi's monotone convergence theorem in 1906. These results gave analysis its modern limit-friendly integral.

Key figures

Henri Lebesgue
Pierre Fatou
Beppo Levi

Seminal works

folland1999
axler2020

Frequently asked questions

What does almost everywhere mean?: A statement holds almost everywhere if the set where it fails has measure zero; the Lebesgue integral cannot detect changes on such sets, so functions equal almost everywhere have the same integral.
Why are the convergence theorems the main payoff?: The monotone and dominated convergence theorems let limits be moved inside integrals under mild hypotheses, which is precisely the flexibility the Riemann integral lacks and which probability and analysis depend on.