Why introduce the Lebesgue integral when the Riemann integral already exists?

The Lebesgue integral can integrate far more functions, and its convergence theorems allow limits and integrals to be interchanged under mild hypotheses, which is essential for analysis, probability, and the completeness of Lp spaces.

What is a sigma-algebra?

A sigma-algebra is the collection of subsets on which a measure is defined; it is closed under complements and countable unions, the closure properties needed for countable additivity and limit operations to make sense.

Measure Theory

Measure theory provides a rigorous notion of size, length, area, volume, and probability for very general collections of sets, and on that foundation builds the Lebesgue integral that powers modern analysis.

Găsește o temă cu PaperMindÎn curândFind papers & topics

Tools & resources

Descarcă prezentarea

Learn & explore

VideoÎn curând

Definition

Measure theory is the branch of mathematical analysis that assigns a consistent measure of size to subsets of a space and uses it to define integration, generalizing length, area, volume, and probability within a single axiomatic framework.

Scope

The area covers sigma-algebras and measures, measurable functions, the construction of Lebesgue measure, the Lebesgue integral and its convergence theorems, the Lp spaces, signed and complex measures with the Radon-Nikodym theorem, and product measures with the Fubini-Tonelli theorem.

Sub-topics

Core questions

How can a notion of size be assigned consistently to a rich family of sets including irregular ones?
How is the Lebesgue integral defined, and why does it behave better under limits than the Riemann integral?
When can limits be interchanged with integrals?
How are two measures compared, and when does one have a density with respect to another?

Key theories

Lebesgue dominated convergence theorem: If integrable functions converge pointwise and are uniformly bounded by a fixed integrable function, then the limit of their integrals equals the integral of the limit, giving the interchange of limit and integral that the Riemann theory lacks.
Radon-Nikodym theorem: If one sigma-finite measure is absolutely continuous with respect to another, it can be written as the integral of a density function against that other measure, providing the rigorous notion of a probability density and conditional expectation.

Clinical relevance

Measure theory is the indispensable foundation of modern probability theory, where measures are probability distributions and the Lebesgue integral is expectation; it also grounds functional analysis through the Lp and Hilbert spaces, harmonic analysis, ergodic theory, and the rigorous treatment of stochastic processes used in finance and statistics.

History

Measure theory began with Borel's measure on the line and was given its decisive form by Lebesgue in his 1902 thesis, which introduced the modern integral. Caratheodory's outer-measure construction, Radon's work on measures on general spaces, and Kolmogorov's 1933 axiomatization of probability established the abstract theory used today.

Key figures

Henri Lebesgue
Emile Borel
Johann Radon
Constantin Caratheodory

Seminal works

folland1999

Frequently asked questions

Why introduce the Lebesgue integral when the Riemann integral already exists?: The Lebesgue integral can integrate far more functions, and its convergence theorems allow limits and integrals to be interchanged under mild hypotheses, which is essential for analysis, probability, and the completeness of Lp spaces.
What is a sigma-algebra?: A sigma-algebra is the collection of subsets on which a measure is defined; it is closed under complements and countable unions, the closure properties needed for countable additivity and limit operations to make sense.