1 Historical background
Lebesgue measure arose from efforts to give integration a broader and more flexible foundation than the classical Riemann approach. The resulting theory made it possible to assign a rigorous notion of size to many complicated sets and to integrate a much wider class of functions. Its development was closely tied to the growth of modern real analysis in the late nineteenth and early twentieth centuries.
1.1 Origins in measure and integration theory
Before Lebesgue’s work, mathematicians studied length, area, and volume through geometric intuition and through special formulas for regular sets. The Riemann integral handled many familiar functions, but it had limitations when faced with highly irregular behavior or complicated sets of discontinuities. These difficulties encouraged the search for a more general framework in which set size and integration could be treated systematically.
1.2 Lebesgue’s contribution
Henri Lebesgue introduced a theory in which sets could be measured more flexibly and functions could be integrated according to the size of the values they assumed. His approach began with a notion of outer measure and led to a class of measurable sets on which countable additivity holds. This made it possible to define the Lebesgue integral and to prove powerful limit theorems that are central to analysis.
1.3 Development in modern analysis
Lebesgue measure quickly became a standard tool in analysis, partly because it interacts well with limits, limits of sequences of functions, and products of spaces. It was later placed in a broader abstract context through measure spaces, sigma-algebras, and related constructions. Today it remains one of the most important examples in measure theory and an essential model for more general measures.
2 Definition and construction
Lebesgue measure is built in stages. One first defines an outer measure on all subsets of Euclidean space, then identifies the sets for which this outer measure behaves additively in the expected way. Those sets form the measurable sets, and the restriction of the outer measure to them gives Lebesgue measure.
2.1 Lebesgue outer measure
Lebesgue outer measure assigns to every set a number representing the least total length needed to cover it by simple intervals. It is defined for all subsets of the real line and, in higher dimensions, by analogous coverings with boxes or rectangles. This initial step does not require the set to be measurable.
2.1.1 Coverings by intervals
For a set on the real line, one considers countable collections of open intervals whose union contains the set. The total length of a covering is the sum of the lengths of those intervals. By allowing arbitrarily fine coverings, one captures the smallest possible length needed to enclose the set.
2.1.2 Infimum definition
The outer measure of a set is the infimum of the total lengths of all such coverings. If no finite total length is possible, the outer measure may be infinite. This infimum construction gives a consistent size notion even for very irregular sets.
2.2 Measurable sets
Not every set is suitable for direct measurement, but many are. The measurable sets are exactly those for which outer measure behaves additively across a partition into a set and its complement. This criterion singles out a large and well-behaved family of sets.
2.2.1 Carathéodory’s criterion
Carathéodory’s criterion says that a set is measurable if, for every set, the outer measure of the whole equals the sum of the outer measures of its intersections with the set and its complement. In effect, the set does not distort size when used as a partition. This criterion produces a sigma-algebra of measurable sets.
2.2.2 Measurable subsets of the real line
On the real line, measurable sets include intervals, countable unions of intervals, and many sets defined by limits of such constructions. They also include all Borel sets and every subset of a null set. The class is much larger than the family of simple geometric regions used in elementary calculus.
2.3 Extension to Lebesgue measure
Once measurable sets are identified, the outer measure can be restricted to them and becomes a genuine measure. This extension yields a complete measure on a sigma-algebra containing all Borel sets. The resulting measure is what is usually meant by Lebesgue measure.
2.3.1 Sigma-algebra of Lebesgue measurable sets
The Lebesgue measurable sets form a sigma-algebra, meaning they are closed under complements and countable unions. This closure makes the theory stable under common set operations. It also supports the definition of measurable functions and integration.
2.3.2 Completion of Borel measure
Lebesgue measure can be viewed as the completion of Borel measure on Euclidean space. Completion adds all subsets of null Borel sets, ensuring that every subset of a zero-measure set is measurable. This eliminates a number of technical gaps and gives a more robust framework.
3 Basic properties
Lebesgue measure has several structural properties that make it especially useful in analysis. It is compatible with geometric translation, it respects countable decompositions, and it behaves predictably under inclusion and approximation. These features distinguish it from more restrictive notions of size.
3.1 Translation invariance
If a measurable set is shifted by a fixed vector, its measure does not change. This property reflects the geometric idea that length, area, and volume depend on shape and extent, not on position. Translation invariance is one of the defining strengths of Lebesgue measure.
3.2 Countable additivity
When a measurable set is written as a countable union of pairwise disjoint measurable subsets, its measure equals the sum of the measures of those pieces. This property is called sigma-additivity or countable additivity. It is essential for handling limits and infinite decompositions.
3.3 Completeness
Lebesgue measure is complete, meaning every subset of a set of measure zero is measurable and has measure zero. This is a significant refinement over earlier measure constructions. It allows the theory to include many sets that arise naturally in analysis but are too small to affect size computations.
3.4 Monotonicity and subadditivity
If one set is contained in another, its measure is no larger. This monotonicity is a basic consequence of the definition. Lebesgue outer measure also satisfies countable subadditivity, so the measure of a union is at most the sum of the measures of the parts, even before measurability is established.
3.5 Regularity properties
Lebesgue measure is regular in the sense that measurable sets can often be approximated from inside by compact sets and from outside by open sets. This approximation principle connects abstract measure to familiar topological sets. It is one reason Lebesgue measure fits naturally with topology and analysis.
4 Lebesgue measure on the real line
On the real line, Lebesgue measure formalizes the ordinary notion of length. Intervals have the expected length, countable sets have no length, and more complicated sets can still be measured if they meet the criteria of measurability. The one-dimensional case is the most intuitive setting for the theory.
4.1 Measure of intervals
Intervals provide the basic examples from which the measure is calibrated. Their measures match the usual notion of length, regardless of whether the endpoints are included. This agreement anchors the theory in elementary geometry.
4.1.1 Open intervals
The measure of an open interval \((a,b)\) is \(b-a\). This corresponds exactly to its geometric length. Open intervals are among the simplest measurable sets and serve as building blocks for more complicated sets.
4.1.2 Closed and half-open intervals
Closed intervals and half-open intervals have the same measure as the corresponding open interval with the same endpoints. The inclusion or exclusion of endpoints does not affect length. This shows that Lebesgue measure is insensitive to boundary points, which form a set of measure zero.
4.2 Measure of countable sets
Any countable subset of the real line has Lebesgue measure zero. This includes finite sets, the integers, and the rational numbers. The result follows because countable sets can be covered by intervals whose total length is made arbitrarily small.
4.3 Null sets and zero measure sets
A null set is a set of measure zero. Such sets may still be uncountable and structurally complicated, but they are negligible from the viewpoint of Lebesgue measure. Many exceptional sets in analysis are null sets, which makes them mathematically significant even though they have no length.
4.4 Sets of finite and infinite measure
Some measurable sets have finite measure, while others have infinite measure. The whole real line has infinite measure, as do many unbounded sets. Finite measure sets are often easier to study, but the theory accommodates both finite and infinite cases without difficulty.
5 Lebesgue measure in higher dimensions
Lebesgue measure extends naturally from the real line to Euclidean spaces of any finite dimension. In these settings it generalizes length to area, volume, and higher-dimensional analogues. The construction preserves the same basic principles, including translation invariance and countable additivity.
5.1 Euclidean space Rn
In \( \mathbb{R}^n \), Lebesgue measure is the standard notion of \(n\)-dimensional volume. It is defined on measurable subsets of the space and agrees with the expected volume of simple geometric regions. This makes it the natural measure for multivariable analysis.
5.2 Rectangles and boxes
Axis-aligned rectangles, or boxes, are the basic building blocks in higher dimensions. Their measure is given by the product of their side lengths. More general sets are measured by covering them with such boxes and taking appropriate infima, much as in one dimension.
5.3 Geometric interpretation of volume
Lebesgue measure formalizes the intuitive idea that volume should depend on spatial extent rather than on a particular description of a set. It assigns the usual values to cubes, rectangles, and other regular regions. For curved or irregular sets, it still provides a rigorous volume notion when the sets are measurable.
5.4 Product measure and coordinate invariance
Lebesgue measure in higher dimensions can be constructed as a product of one-dimensional measures. This leads to compatibility with iterated integration and coordinate changes under suitable transformations. Its behavior under rotations and translations reflects the geometric symmetry of Euclidean space.
6 Relation to other measures
Lebesgue measure is closely connected to several other fundamental measures. Some are simpler or more specialized, while others generalize its role to broader settings. Comparing them clarifies what is distinctive about Lebesgue measure and where it fits in modern mathematics.
6.1 Borel measure
A Borel measure is defined on the sigma-algebra generated by open sets. Lebesgue measure extends the Borel measure on Euclidean space by adding all subsets of null sets. This completion makes Lebesgue measure strictly richer than the basic Borel measure.
6.2 Jordan measure
Jordan measure applies to bounded sets whose boundaries are sufficiently simple, and it predates the full Lebesgue theory. It works well for elementary geometry but fails for many sets that are natural in analysis. Lebesgue measure extends the scope far beyond the Jordan framework.
6.3 Haar measure on Euclidean groups
Lebesgue measure is an example of Haar measure on the additive group \( \mathbb{R}^n \). Haar measure is the general notion of a translation-invariant measure on a locally compact group. In Euclidean spaces, the Haar measure coincides with Lebesgue measure up to a constant factor.
6.4 Hausdorff measure
Hausdorff measure generalizes the idea of Lebesgue measure to sets of non-integer dimension and to fractal geometry. For integer dimension \(n\), the \(n\)-dimensional Hausdorff measure agrees with Lebesgue measure on \( \mathbb{R}^n \) up to normalization. It is especially useful for studying sets whose dimension is smaller than the ambient space.
7 Measurability and set operations
Measurable sets are stable under many standard set operations. This stability is crucial because analysis often builds complicated sets from simpler ones through unions, intersections, and complements. The theory also interacts smoothly with functions through preimages and, in some settings, images.
7.1 Closure under unions and intersections
The measurable sets are closed under countable unions and countable intersections. This makes them suitable for limiting processes, since many sets of interest arise as increasing unions or decreasing intersections of simpler sets. Finite unions and intersections are included as special cases.
7.2 Complements and differences
If a set is measurable, then so is its complement. Differences of measurable sets are therefore measurable as well, since they can be written using complements and intersections. These closure properties support ordinary algebraic manipulation of sets within the measurable category.
7.3 Images and preimages under functions
Preimages of measurable sets under measurable functions are measurable. This property is fundamental in analysis, because it allows one to transport measurable structure through functions. Images of measurable sets are more delicate and need not be measurable without additional hypotheses.
7.4 Measurable functions and sets
A function is measurable when the preimage of every measurable set, or equivalently every open set in many contexts, is measurable. Such functions are the natural inputs for Lebesgue integration. Measurability ensures that the function’s level sets are compatible with the underlying measure.
8 Integration with respect to Lebesgue measure
Lebesgue measure provides the setting for the Lebesgue integral, which extends the integral beyond the limits of classical Riemann theory. The integral is built from simple functions and then extended to larger classes by approximation. Its flexibility is one of the main reasons Lebesgue measure is so important.
8.1 Simple functions
Simple functions take only finitely many values and are measurable on sets of finite measure. They form the starting point for Lebesgue integration because their integrals are easy to define. More general functions are approximated by sequences of simple functions.
8.2 Nonnegative measurable functions
A nonnegative measurable function can be integrated by taking the supremum of the integrals of simple functions lying below it. This definition makes the integral compatible with increasing approximations. It also avoids the need for pointwise regularity beyond measurability.
8.3 Lebesgue integral
The Lebesgue integral assigns a number to integrable functions by measuring the size of their values on sets of appropriate measure. It is well suited to limit processes and to functions with many discontinuities. For signed functions, the integral is defined by decomposing into positive and negative parts.
8.4 Comparison with Riemann integration
Every Riemann integrable function on a bounded interval is Lebesgue integrable, and the two integrals agree in that case. Lebesgue integration is strictly more general, since it handles many functions with complicated discontinuity sets. It also provides stronger convergence theorems, which are central in modern analysis.
9 Convergence theorems
One of the chief advantages of Lebesgue measure and the Lebesgue integral is the strong behavior of limits. Several convergence theorems give conditions under which integrals can be interchanged with limits. These results are indispensable in analysis, probability, and partial differential equations.
9.1 Monotone convergence theorem
If a sequence of nonnegative measurable functions increases pointwise to a limit, then the integrals converge to the integral of the limit. This theorem formalizes the compatibility between monotone limits and integration. It is often used to build more complicated results from simple approximations.
9.2 Fatou’s lemma
Fatou’s lemma gives an inequality relating the integral of a pointwise lim inf to the lim inf of the integrals. It serves as a foundational estimate when dealing with sequences of nonnegative functions. Many other convergence results are derived from it.
9.3 Dominated convergence theorem
If a sequence of measurable functions converges pointwise and is dominated by an integrable function, then the integrals converge to the integral of the limit. This is one of the most widely used tools in analysis. It allows passage of limits through integrals under a clear and manageable bound.
9.4 Applications in analysis
These theorems are used to justify approximation arguments, interchange limits and integrals, and study families of functions. They are especially valuable in proving continuity properties of integral operators. Their strength illustrates why Lebesgue measure is so effective in modern mathematical analysis.
10 Important examples and nonexamples
Concrete examples show how Lebesgue measure distinguishes between ordinary geometric size and more subtle set-theoretic complexity. Some sets are measurable and have familiar size, while others are not measurable or behave unexpectedly. These examples help clarify both the power and the limits of the theory.
10.1 Cantor set
The Cantor set is an uncountable set of measure zero. It is obtained by repeatedly removing middle thirds from an interval, leaving a compact, nowhere dense set. Despite its intricate structure, it occupies no length in the Lebesgue sense.
10.2 Vitali set
A Vitali set is a nonmeasurable subset of the real line constructed using equivalence classes modulo rational translation. It shows that not every subset of the real line can be assigned a Lebesgue measure consistent with translation invariance and countable additivity. The example highlights the necessity of restricting attention to measurable sets.
10.3 Sets with full measure
A set has full measure in a region if its complement has measure zero. Such sets are large from the standpoint of measure, even if they may omit many individual points. Full-measure sets commonly arise in almost-everywhere statements and limit theorems.
10.4 Sets of measure zero
Sets of measure zero are negligible for integration and many analytic purposes. They can still be dense, uncountable, or topologically complicated. Many theorems in analysis hold “almost everywhere,” meaning outside a set of measure zero.
11 Applications
Lebesgue measure is a foundational tool across analysis and related fields. It provides a rigorous language for size, approximation, and almost-everywhere behavior. Its influence is especially visible wherever limits, integrals, and probabilistic reasoning intersect.
11.1 Real analysis
In real analysis, Lebesgue measure underlies the study of measurable functions, differentiation, and integration on the real line. It enables stronger existence and convergence results than classical methods. Many standard theorems are naturally stated in terms of almost-everywhere behavior.
11.2 Probability theory
Probability theory often treats probability spaces as measure spaces, with total measure one. Lebesgue measure supplies the model for continuous distributions and density functions. It also provides the natural setting for random variables defined on real-valued domains.
11.3 Fourier analysis
Fourier analysis uses Lebesgue measure to define integrals of oscillatory functions and to study convergence of Fourier transforms and series. The theory relies heavily on measurability and on convergence theorems. Lebesgue measure makes it possible to handle a broad class of functions and signals.
11.4 Partial differential equations
In partial differential equations, Lebesgue measure is used to formulate weak solutions and to establish estimates in function spaces such as \(L^p\) spaces. Many PDE methods depend on integration over domains and on almost-everywhere identities. Measure theory provides the language for these arguments.
11.5 Geometric measure theory
Geometric measure theory studies geometric objects using measure-theoretic tools. Lebesgue measure serves as the ambient reference measure in Euclidean space and as a benchmark for dimension and size. It also interacts with surface measures, rectifiability, and the analysis of irregular sets.