Analysis · Concept hubDeep story

Measure and Lebesgue Integration

1902 CE20th-century France (Lebesgue)

Concept

A rigorous foundation for "length" and "area" — Lebesgue's integral generalized Riemann's and underpins probability theory.

Understand it in one breath

Where Riemann integration begins by partitioning the x-axis, Lebesgue integration groups points with similar function values and sums using the measure of those sets. It covers a broader class of measurable functions, but not every function is measurable or has a finite integral. Measure theory provides a common language for modern probability, Fourier analysis, and functional analysis.

At a glance

Riemann integration

Lebesgue integration

Consequence

Partitions the x-axis

Partitions the y-axis (function values)

A change of viewpoint

Works well for continuous functions

A broader class of measurable functions

Integrability conditions still apply

Cannot integrate the Dirichlet function

Integral = 0 (Lebesgue measure)

A decisive advantage of Lebesgue integration

Conditions for interchanging limits and integrals are restrictive

Clear conditions such as the dominated convergence theorem

Interchange under stated conditions

Awkward for general probability spaces

A probability measure has total mass 1

Kolmogorov axioms

Tied to Euclidean domains

Any measure space

Functional analysis, dynamical systems, and information theory

Instead of only slicing the x-axis, Lebesgue integration groups points with the same function value and sums using the size of each set.

Key formula

Xfdμ=sup ⁣{iciμ(Ai)}\int_X f\, d\mu = \sup\!\left\{\sum_i c_i \mu(A_i)\right\}

Key moments

1854 CE

The Riemann integral — a major step

Riemann defined integration through sums over subdivisions of the input axis, a rigorous method that still fails for sufficiently irregular functions.

1902 CE

Lebesgue — Integration, Length and Area

In his doctoral work, Henri Lebesgue reorganized integration by measuring sets of output levels, allowing many functions beyond the reach of Riemann integration.

1933 CE

Kolmogorov — measure-theoretic probability

Kolmogorov used measure theory to axiomatize probability, providing the common foundation of modern probability and stochastic analysis.

Modern applications

Probability measures and σ-algebras, Fourier analysis, Hilbert spaces in quantum mechanics, and rigorous definitions of expectation in machine learning.

Beyond MathVoyage

Loading…