Lebesgue Measure on R^n

Lebesgue measure rigorously assigns "volume" to subsets of ℝⁿ via outer measure and Carathéodory's measurability criterion, extending elementary box volumes to general sets.
Uniquely defined (up to scaling) as translation-invariant, Borel regular measure assigning finite measure to compact sets—characterizes volume on Euclidean space.
Enables Lebesgue integration theory with superior convergence: Monotone and Dominated Convergence Theorems hold, unlike Riemann integration's limitations with function limits.
Construction follows standard pattern: define outer measure on all subsets, then restrict to σ-algebra of measurable sets satisfying Carathéodory's criterion.
Arises from necessity—Riemann integration fails for limits of integrable functions; Lebesgue's approach of measuring sets instead of partitioning domains solves this.
Prototype for general measure theory; connects to Haar measure on locally compact groups, linking analysis, topology, and algebraic structures.

Lebesgue Measure on R^n

Overview

Lebesgue measure on $R^{n}$ is the canonical way to assign a notion of "volume" to subsets of Euclidean space that extends the elementary notion of volume for boxes while being compatible with the operations of countable unions and translations. While the intuitive idea of volume is ancient, the rigorous construction of a measure that works for sufficiently general sets requires sophisticated machinery developed in the early 20th century. The construction proceeds by first defining an "outer measure" that assigns a size to every subset (though not yet satisfying all desired properties), then restricting attention to the measurable sets—those sets that interact nicely with the outer measure.

The necessity of Lebesgue measure arose from fundamental limitations in Riemann integration. Riemann's theory, while adequate for continuous functions and simple discontinuous ones, fails to handle limit operations gracefully—the limit of Riemann integrable functions need not be Riemann integrable. Lebesgue's revolutionary insight was that by measuring sets rather than partitioning domains, one could develop an integration theory with far superior convergence properties. The Monotone Convergence Theorem and Dominated Convergence Theorem, which follow from Lebesgue's framework, are impossible in Riemann's setting.

From a modern perspective, Lebesgue measure is the unique (up to scalar multiplication) translation-invariant measure on $R^{n}$ that is Borel regular and assigns finite measure to compact sets. This characterization via invariance properties connects to Haar measure on locally compact groups and reveals deep connections between analysis, topology, and algebra. The construction also serves as the prototypical example of measure theory, illustrating the general pattern: outer measure, Carathéodory measurability criterion, and restriction to a sigma-algebra.

Lebesgue measure extends the intuitive notion of $n$ -dimensional volume to a vast class of sets by approximating from the outside with countable coverings of boxes, then restricting to those sets that are "measurable" in the sense that they split every other set additively with respect to outer measure.

Lebesgue Measure on $R^{n}$ : The Lebesgue outer measure

λ^{*} : P (R^{n}) \to [0, \infty]

is defined by

λ^{*} (E) = in f {j = 1 \sum \infty vol (R_{j}) : E \subseteq j = 1 ⋃ \infty R_{j}, each R_{j} a box}

where a box is a product

R = [a_{1}, b_{1}) \times \dots \times [a_{n}, b_{n})

with volume

vol (R) = \prod_{i = 1}^{n} (b_{i} - a_{i})

A set $E \subseteq R^{n}$ is Lebesgue measurable (or $λ$ -measurable) if for every test set $A \subseteq R^{n}$ ,

λ^{*} (A) = λ^{*} (A \cap E) + λ^{*} (A \cap E^{c})

The collection

L (R^{n})

of all Lebesgue measurable sets forms a sigma-algebra, and Lebesgue measure

λ : L (R^{n}) \to [0, \infty]

is the restriction of

λ^{*}

L (R^{n})

Core Theory

Fundamental Properties of Lebesgue Measure

Theorem: Lebesgue measure

λ

R^{n}

satisfies: [1] (Countable Additivity) If

{E_{j}}_{j = 1}^{\infty}

are pairwise disjoint measurable sets, then

λ (⋃_{j = 1}^{\infty} E_{j}) = \sum_{j = 1}^{\infty} λ (E_{j})

. [2] (Translation Invariance) For any measurable set

E

and any

h \in R^{n}

, the translate

E + h = {x + h : x \in E}

is measurable and

λ (E + h) = λ (E)

. [3] (Normalization) For any box

R = [a_{1}, b_{1}) \times \dots \times [a_{n}, b_{n})

, we have

λ (R) = \prod_{i = 1}^{n} (b_{i} - a_{i})

. [4] (Borel Regularity) Every Borel set is Lebesgue measurable. Moreover, for any

E \in L (R^{n})

, there exist Borel sets

B_{1} \subseteq E \subseteq B_{2}

with

λ (B_{2} ∖ B_{1}) = 0

. [5] (Completeness) If

E \in L (R^{n})

with

λ (E) = 0

and

F \subseteq E

, then

F \in L (R^{n})

and

λ (F) = 0

We prove [1] and [2]; the others follow from standard measure-theoretic arguments.

Proof of [1]: First, we show finite additivity for outer measure and disjoint sets at positive distance. If

E_{1}, E_{2}

satisfy

dist (E_{1}, E_{2}) = δ > 0

, and

{R_{j}}

covers

E_{1} \cup E_{2}

, we can partition

{R_{j}}

into those that intersect

E_{1}

(collecting to volume

V_{1}

) and those intersecting

E_{2}

(collecting to volume

V_{2}

), with possible overlap contributing at most the boundary terms. Taking infima carefully yields

λ^{*} (E_{1} \cup E_{2}) \geq λ^{*} (E_{1}) + λ^{*} (E_{2})

. The reverse inequality follows from subadditivity of outer measure.

For the general case, let ${E_{j}}_{j = 1}^{\infty}$ be pairwise disjoint measurable sets, and let $F_{n} = ⋃_{j = 1}^{n} E_{j}$ . By the Carathéodory criterion for measurability and induction, $F_{n}$ is measurable and $λ (F_{n}) = \sum_{j = 1}^{n} λ (E_{j})$ . Let $E = ⋃_{j = 1}^{\infty} E_{j}$ .

For any test set $A$ , we have $A \cap E = ⋃_{j = 1}^{\infty} (A \cap E_{j})$ , and by measurability of $F_{n}$ :

λ^{*} (A \cap E) \geq λ^{*} (A \cap F_{n}) = j = 1 \sum n λ (E_{j})

Taking

n \to \infty

gives

λ^{*} (A \cap E) \geq \sum_{j = 1}^{\infty} λ (E_{j})

. The reverse inequality follows from countable subadditivity of

λ^{*}

, giving

λ (E) = \sum_{j = 1}^{\infty} λ (E_{j})

Proof of [2]: We first show translation invariance of outer measure. For any covering

E \subseteq ⋃_{j = 1}^{\infty} R_{j}

by boxes, we have

E + h \subseteq ⋃_{j = 1}^{\infty} (R_{j} + h)

, and each translated box has the same volume. Thus

λ^{*} (E + h) \leq λ^{*} (E)

. Applying the same argument to

E + h

and translation by

- h

gives

λ^{*} (E) \leq λ^{*} (E + h)

, so

λ^{*} (E + h) = λ^{*} (E)

Now suppose $E$ is measurable. For any test set $A$ :

λ^{*} (A) = λ^{*} (A \cap E) + λ^{*} (A \cap E^{c})

Translating by

h

λ^{*} ((A - h)) = λ^{*} ((A - h) \cap E) + λ^{*} ((A - h) \cap E^{c})

. By translation invariance of outer measure:

λ^{*} (A - h) = λ^{*} ((A - h) \cap E) + λ^{*} ((A - h) \cap E^{c})

Substituting

A^{'} = A - h

and using

(A^{'} \cap E) + h = A \cap (E + h)

λ^{*} (A^{'}) = λ^{*} (A^{'} \cap (E + h)) + λ^{*} (A^{'} \cap (E + h)^{c})

Thus

E + h

is measurable. □

A common error is assuming that every subset of $R^{n}$ is Lebesgue measurable. In fact, the Axiom of Choice guarantees the existence of non-measurable sets (e.g., Vitali sets). The Carathéodory measurability criterion is not merely a technicality—it's essential for ensuring countable additivity. Without restricting to measurable sets, one cannot have both translation invariance and countable additivity simultaneously for all subsets.

Henri Lebesgue (1902) — In his doctoral thesis, Lebesgue introduced the construction of outer measure and the criterion for measurability, revolutionizing integration theory and laying the foundation for modern measure theory.

Examples and Applications

1

Computing the measure of a closed interval in $R$

Let $E = [a, b] \subseteq R$ . We claim $λ (E) = b - a$ .

Upper bound: The interval

[a, b]

is covered by the single box

[a, b)

(plus the single point

{b}

which has outer measure 0), so

λ^{*} (E) \leq (b - a) + 0 = b - a

. Lower bound: Suppose

E \subseteq ⋃_{j = 1}^{\infty} [a_{j}, b_{j})

is a countable covering. By compactness of

[a, b]

, there exists a finite subcover

E \subseteq ⋃_{j = 1}^{N} [a_{j}, b_{j})

. Order these intervals and observe that to cover

[a, b]

completely, we must have

a_{1} \leq a

and the intervals must have sufficient overlap. By a careful analysis (or by the Heine-Borel theorem), we get

\sum_{j = 1}^{N} (b_{j} - a_{j}) \geq b - a

, hence

\sum_{j = 1}^{\infty} (b_{j} - a_{j}) \geq b - a

Taking the infimum over all coverings: $λ^{*} (E) \geq b - a$ .

Therefore $λ ([a, b]) = b - a$ . Since closed intervals are measurable (as closed sets, they're Borel, hence Lebesgue measurable), this is the Lebesgue measure of $[a, b]$ .

2

The Cantor set has measure zero

The Cantor set $C \subseteq [0, 1]$ is constructed by iteratively removing middle thirds. At stage $n$ , we have $2^{n}$ closed intervals, each of length $3^{- n}$ , with total length $\sum_{k = 1}^{2^{n}} 3^{- n} = (2/3)^{n}$ .

Since $C$ is the intersection of these sets, and outer measure is monotone:

λ^{*} (C) \leq (2/3)^{n} for all n

Taking

n \to \infty

, we get

λ^{*} (C) = 0

This is remarkable: $C$ is uncountable (having the cardinality of $R$ ), yet has Lebesgue measure zero. This shows that "measure zero" is a geometric, not merely cardinality-based, notion. The Cantor set is measurable (being a Borel set) with $λ (C) = 0$ .

Why we cannot measure all subsets

Suppose we could extend Lebesgue measure to all subsets of $[0, 1)$ while maintaining translation invariance (modulo 1) and countable additivity. Define an equivalence relation: $x \sim y$ if $x - y \in Q$ . Using the Axiom of Choice, select one representative from each equivalence class to form a set $V$ (a Vitali set).

For each $q \in Q \cap [0, 1)$ , the translates $V + q (mod 1)$ are pairwise disjoint and their union is $[0, 1)$ . If $V$ were measurable:

1 = λ ([0, 1)) = q \in Q \cap [0, 1) \sum λ (V + q) = q \in Q \cap [0, 1) \sum λ (V)

If $λ (V) = 0$ , the sum is 0 (contradiction). If $λ (V) > 0$ , the sum is $+ \infty$ (contradiction). Thus $V$ cannot be measurable.

This shows that the Carathéodory measurability criterion is necessary—we genuinely cannot measure all sets while preserving the properties we want.

Think of Lebesgue measure as answering: "If I threw darts randomly at $R^{n}$ , what's the probability of hitting set $E$ ?" For this to make sense, we need to approximate $E$ from the outside using simple shapes (boxes) whose volumes we understand intuitively. The outer measure $λ^{*} (E)$ is the "tightest wrapping" we can achieve with countably many boxes.

Not all sets play nicely with this wrapping process. A set is measurable if it doesn't have pathological boundaries that prevent us from consistently determining how it splits other sets. Geometrically, measurable sets are those where the "boundary effects" don't accumulate in measure—the set and its complement interact cleanly with outer measure.

The key conceptual shift from Riemann to Lebesgue: instead of partitioning the domain and asking "what is the function doing on each piece?", we partition the range and ask "where does the function take each value?" This reversal makes limit operations natural and powerful.

Historical Development

The modern theory of Lebesgue measure emerged from Henri Lebesgue's 1902 doctoral thesis "Intégrale, longueur, aire" at the Université de Nancy under the supervision of Émile Borel. Lebesgue was motivated by limitations in Riemann integration, particularly its poor behavior under limiting operations. Émile Borel had earlier (1898) introduced the concept of "measure zero" for certain sets, and Camille Jordan had developed a theory of "content" that worked for simple sets.

Lebesgue's revolutionary contribution was the systematic use of outer measure and the criterion for measurability that now bears his name (though the elegant formulation via Carathéodory came later). His 1904 book "Leçons sur l'intégration et la recherche des fonctions primitives" established the foundations of the theory. Constantin Carathéodory in 1914 provided the abstract framework of outer measures and the Carathéodory criterion, showing how Lebesgue's construction fit into a general pattern applicable to many contexts.

The uniqueness of Lebesgue measure as the translation-invariant measure on $R^{n}$ was established through work of several mathematicians in the 1920s and 1930s. Johann Radon's 1913 work on measures and functionals, along with Maurice Fréchet's abstract space theory, helped place Lebesgue measure in the broader context of measure theory on general spaces. The connection to Haar measure on locally compact groups was developed by Alfréd Haar in 1933, revealing Lebesgue measure as the Haar measure on the group $(R^{n}, +)$ .

Connections to Other Areas

Quantum Mechanics and Spectral Theory: Lebesgue measure is the canonical spectral measure for the position operator in quantum mechanics. In the spectral theorem for self-adjoint operators on Hilbert spaces, the position operator

\overset{x}{^}

L^{2} (R^{n}, λ)

is represented as multiplication by the identity function, and its spectral decomposition is given by integration with respect to Lebesgue measure. The Born rule, which states that

∣ ψ (x) ∣^{2} d x

gives the probability density for finding a particle at position

x

, explicitly uses Lebesgue measure as the reference measure. More abstractly, the Gelfand-Naimark theorem and the theory of von Neumann algebras show that the measure-theoretic structure of quantum observables is deeply tied to integration theory built on measures like Lebesgue's.

Lebesgue Measure on R^n