Analysis · Concept hubDeep story

Measure and Lebesgue Integration

1902 CE20th-century France (Lebesgue)

Through Measure and Lebesgue Integration: How can instantaneous change and long accumulation become one language?

Follow the languages built to calculate a world that will not stand still, from planets and fluids to waves, optimization, and chaos.

This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.

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.

Concept

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

Key formula

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

Ports in time

This concept was not invented in one instant

Follow the scenes to see problems, notation, standards of proof, and applications changing across different times and places.

1
AD 1854Scene 1 / 3Continue through the world of this year

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.

No reliable place is given, so time continues without an invented pin

Continue through the world of this year
2
AD 1902Scene 2 / 3Paris

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.

The recorded place matches a canonical map anchor

Continue this scene on the map
3
AD 1933Scene 3 / 3Moscow

Kolmogorov — measure-theoretic probability

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

The recorded place matches a canonical map anchor

Continue this scene on the map

Modern applications

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

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.

No concept belongs to one person

Follow people who played different roles

These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.

Number lenses

A concept looks different when its world of numbers changes

These numbers are editorial lenses for the voyage, not required prerequisites.

Concept genealogy

What supports it, and what does it open?

Concepts arriving from before

Current port

Measure and Lebesgue Integration

Concepts opened from here

No direct successor port is curated yet.

Only direct editorial links are shown; this is not a complete learning order or historical influence line.