Lebesgue measure

Lebesgue measure
Name	Lebesgue measure
Type	Measure
Domain	Euclidean space
Introduced	1902
Introduced by	Henri Lebesgue
Area of mathematics	Measure theory; Real analysis

Lebesgue measure Lebesgue measure is the standard complete translation-invariant measure on Euclidean space used to assign "volume" to subsets of France's Paris-based analytic tradition; it underpins modern Henri Lebesgue's theory and the development of Real analysis and Functional analysis. Introduced in the early 20th century, it interfaces with works by Émile Borel, Georg Cantor, David Hilbert, and John von Neumann and plays a central role in the formulation of the Lebesgue integral, the theory of L^p spaces, and the foundations of Probability theory. Its formulation and applications connect to problems and institutions such as the École Normale Supérieure, the Collège de France, the University of Göttingen, and conferences including the International Congress of Mathematicians.

Definition

Lebesgue measure assigns a nonnegative extended real number to subsets of Euclidean space R^n, agreeing with classical notions of length on intervals studied by Archimedes, area on regions considered by Carl Friedrich Gauss, and volume in the tradition of Isaac Newton. The measure is translation-invariant under the action of the Euclidean group, invariant under rotations from the Special Orthogonal Group, and normalized so that the unit cube has measure one, an idea appearing in work by Stefan Banach and Hermann Minkowski. It is a complete measure on a σ-algebra containing Borel sets, linking foundations developed by Émile Borel, Felix Hausdorff, and Maurice Fréchet.

Construction

One standard construction starts from outer measure: cover a set by countably many intervals (rectangles) as in techniques from Émile Borel and Henri Lebesgue and take infima of total volumes, paralleling coverings used in Georg Cantor's analysis of sets and in Felix Hausdorff's dimension theory. Carathéodory's criterion, introduced by Carathéodory and utilized by John von Neumann and Andrey Kolmogorov, selects measurable sets where the outer measure is additive; this invokes methods associated with David Hilbert's axiomatic approaches and measure extension theorems akin to those in the work of Norbert Wiener. Alternative constructions use completion of the Borel σ-algebra under a premeasure determined on rectangles, an approach linked to early 20th-century developments at institutions like the University of Paris and the University of Göttingen.

Properties

Lebesgue measure is σ-finite, complete, translation-invariant, and regular; these properties were elucidated in correspondence among Henri Lebesgue, Émile Borel, and contemporaries such as Jacques Hadamard and influenced later formalizations by Andrey Kolmogorov and Norbert Wiener. It assigns measure zero to countable sets, a feature connected to Georg Cantor's studies of countability, and interacts with nowhere-dense sets examined by Baire in studies of category. The measure respects Fubini's theorem as formulated by Gustav Fubini and Tonelli's theorem, tools later integrated into the functional-analytic framework of Stefan Banach and John von Neumann for operators and spectral theory. Pathologies such as nonmeasurable sets—constructed via the axiom of choice and techniques introduced by Ernst Zermelo and analyzed by Felix Hausdorff—illustrate dependencies related to set-theoretic results like those by Paul Cohen on independence and Kurt Gödel's work on constructibility.

Measurable sets and Lebesgue integrable functions

The σ-algebra of Lebesgue-measurable sets strictly contains the Borel σ-algebra studied by Émile Borel; completion adds subsets of null sets identified in analyses related to Henri Lebesgue and Felix Hausdorff. Lebesgue integrable functions form the space L^1(R^n), central to the study of L^p spaces and dualities explored by Stefan Banach in the context of Banach spaces and by Marshall Stone in spectral theory. Convergence theorems—dominated convergence, monotone convergence, and Fatou's lemma—were formalized building on work by Henri Lebesgue, Frigyes Riesz, and Francesco Giannattasio and are pivotal in analysis on spaces tied to John von Neumann's ergodic theory and Andrey Kolmogorov's probability foundations. The relationship between pointwise properties, almost everywhere equivalence, and representatives of equivalence classes echoes themes in the work of Norbert Wiener and Paul Lévy.

Relation to other measures and applications

Lebesgue measure relates to Haar measure on locally compact groups such as the Circle group and Euclidean group; Haar's theorem, connected to Alfred Haar, generalizes translation invariance central to Lebesgue measure. In probability, Lebesgue measure underlies continuous distributions like the uniform and Gaussian laws studied by Carl Friedrich Gauss and integrated into frameworks by Andrey Kolmogorov and William Feller. In geometric measure theory, concepts from Herbert Federer and Lars Ahlfors connect Lebesgue measure to rectifiability and Hausdorff measure; applications extend to partial differential equations in the tradition of Jean Leray and Sergei Sobolev and to harmonic analysis initiated by Antoni Zygmund and Norbert Wiener. Computational and applied domains reference Lebesgue measure in numerical analysis developed at institutions like Princeton University and ETH Zurich and in signal processing influenced by Claude Shannon.

Extensions and generalizations

Generalizations include Haar measure on locally compact groups introduced by Alfred Haar, Radon measures studied by Johann Radon, and product measures formalized by Andrey Kolmogorov and Hahn and Sophie Germain-era influences on measure multiplication. Abstract measure-theoretic expansions appear in the work of John von Neumann on operator algebras, in Daniell integrals related to Percy John Daniell, and in the development of noncommutative measure theory tied to Alain Connes and Murray and von Neumann's von Neumann algebras. Set-theoretic alternatives and independence results by Paul Cohen and Kurt Gödel inform existence of pathological sets and influence modern research at centers such as Institute for Advanced Study and the Fields Institute.

Category:Measure theory