Lebesgue Measure on R^n

⚡ Key Takeaways

Lebesgue measure $\lambda$ on $\mathbb{R}^n$ is the unique complete, translation-invariant, countably additive measure assigning to each box $\prod_{i=1}^n [a_i, b_i]$ its elementary volume $\prod_{i=1}^n (b_i - a_i)$ . It generalizes length, area, and volume to a vast class of "measurable" sets, repairs the failures of Jordan/Riemann content, and underpins modern integration, probability, and analysis. Constructed by Henri Lebesgue (1902); the abstract apparatus is due to Carathéodory (1914).

💡 The Core Insight

Approximate from the outside with countable covers, then keep only the sets that "cut cleanly." Jordan content fails because it allows only finite covers, so it cannot handle sets like $\mathbb{Q}\cap[0,1]$ . Lebesgue's leap is to permit countably infinite covers by boxes — this restores countable additivity. Carathéodory's leap is to define measurability not by approximating the set itself but by demanding that the set partition every test set additively, an idea that needs no topology and generalizes to any outer measure.

DefinitionElementary volume of a box

A box (or rectangle/cell) in $\mathbb{R}^n$ is a product $Q = \prod_{i=1}^n I_i$ where each $I_i$ is a bounded interval with endpoints $a_i \le b_i$ . Its elementary volume is

1

\quad \mathrm{vol}(Q) = \prod_{i=1}^{n} (b_i - a_i).

Derivation hint: This is taken as a definition, motivated by Cavalieri's principle; the product structure encodes that volume is multiplicative across orthogonal dimensions. Open, closed, or half-open boxes give the same value since single points have zero one-dimensional length.

DefinitionLebesgue outer measure

For an arbitrary set $E \subseteq \mathbb{R}^n$ , the Lebesgue outer measure is

2

\quad \lambda^*(E) = \inf\left\{ \sum_{k=1}^{\infty} \mathrm{vol}(Q_k) \;:\; E \subseteq \bigcup_{k=1}^{\infty} Q_k,\ Q_k \text{ boxes} \right\}.

Derivation hint: Cover $E$ by countably many boxes, sum their volumes, and minimize. The infimum over all countable covers is well-defined in $[0,\infty]$ . Using open boxes does not change the value, which gives outer regularity for free.

DefinitionCarathéodory measurability

A set $E \subseteq \mathbb{R}^n$ is Lebesgue measurable if for every test set $A \subseteq \mathbb{R}^n$ ,

3

\quad \lambda^*(A) = \lambda^*(A \cap E) + \lambda^*(A \cap E^c).

On the $\sigma$ -algebra $\mathcal{L}$ of measurable sets, Lebesgue measure is the restriction $\lambda = \lambda^*|_{\mathcal{L}}$ . Derivation hint: Subadditivity gives " $\le$ " automatically for any $E$ ; measurability is exactly the demand that the reverse inequality " $\ge$ " also hold, i.e. that $E$ cuts every $A$ without "leaking" overlap. The collection of such $E$ is a $\sigma$ -algebra and $\lambda^*$ is countably additive on it — Carathéodory's theorem.

TheoremExistence, uniqueness, and core properties

There is a unique measure $\lambda$ on a $\sigma$ -algebra $\mathcal{L} \supseteq \mathcal{B}(\mathbb{R}^n)$ (the Borel sets) satisfying: 1. Box normalization: $\lambda(Q) = \mathrm{vol}(Q)$ for every box. 2. Countable additivity: for disjoint measurable $E_k$ , $\lambda\!\left(\bigsqcup_k E_k\right) = \sum_k \lambda(E_k)$ . 3. Translation invariance: $\lambda(E + x) = \lambda(E)$ for all $x \in \mathbb{R}^n$ , $E \in \mathcal{L}$ . 4. Completeness: every subset of a null set is measurable with measure $0$ . 5. Regularity: for $E \in \mathcal{L}$ ,

4

\quad \lambda(E) = \inf\{\lambda(U): E \subseteq U \text{ open}\} = \sup\{\lambda(K): K \subseteq E \text{ compact}\}.

Moreover any translation-invariant Borel measure finite on boxes equals $c\,\lambda$ for some constant $c \ge 0$ . Derivation hint: Existence is the Carathéodory construction from [2]–[3]; properties 1–4 are verified directly. Uniqueness on Borel sets follows from the $\pi$ – $\lambda$ (Dynkin) theorem because boxes form a generating $\pi$ -system on which the two measures agree and which carries a $\sigma$ -finite exhaustion of $\mathbb{R}^n$ .

DefinitionLinear transformation rule

For an invertible linear map $T \in GL_n(\mathbb{R})$ and measurable $E$ ,

5

\quad \lambda(T(E)) = |\det T|\,\lambda(E).

Derivation hint: By uniqueness, $E \mapsto \lambda(T(E))$ is a translation-invariant measure, hence equals $c_T\,\lambda$ . Evaluating on the unit cube gives $c_T = |\det T|$ ; reduce a general $T$ to elementary matrices (shears, scalings, swaps) whose effect on the unit cube is elementary geometry. This is the linear case of the change-of-variables formula.

ProofCarathéodory's criterion yields a complete measure

We sketch the construction proving the theorem. 1. $\lambda^*$ is an outer measure. From [2], $\lambda^*(\varnothing) = 0$ , $\lambda^*$ is monotone, and countably subadditive: given covers of each $E_k$ within $\varepsilon 2^{-k}$ of the infimum, their union covers $\bigcup_k E_k$ and total volume is within $\varepsilon$ of $\sum_k \lambda^*(E_k)$ . 2. Measurable sets form a $\sigma$ -algebra $\mathcal{L}$ . Equation [3] is symmetric in $E, E^c$ , so $\mathcal{L}$ is closed under complements and contains $\varnothing$ . For finite unions, apply [3] twice and use subadditivity. For countable unions, reduce to disjoint sets and use that finite measurability already yields, for disjoint $E_1,\dots,E_m$ ,

\lambda^*\!\Big(A \cap \bigcup_{k\le m} E_k\Big) = \sum_{k \le m}\lambda^*(A\cap E_k),

then pass $m \to \infty$ . 3. $\lambda^*$ is countably additive on $\mathcal{L}$ . Take $A = \bigsqcup_k E_k$ in the disjoint additivity above and let $m\to\infty$ ; combined with subadditivity this forces equality. 4. Boxes are measurable and keep their volume. A box $Q$ cuts any cover of a test set $A$ into the part inside $Q$ and outside; comparing box volumes shows [3] holds. A covering/packing argument shows $\lambda^*(Q) = \mathrm{vol}(Q)$ — the nontrivial direction needs compactness (Heine–Borel) to reduce an infinite cover of a closed box to a finite one. 5. Completeness. If $\lambda^*(N)=0$ and $S\subseteq N$ , then $\lambda^*(A\cap S)\le \lambda^*(N)=0$ , so [3] holds trivially; hence $S\in\mathcal{L}$ . 6. Borel sets are measurable. Half-spaces $\{x_i < c\}$ satisfy [3], they generate the Borel $\sigma$ -algebra, and $\mathcal{L}$ is a $\sigma$ -algebra; thus $\mathcal{B}(\mathbb{R}^n)\subseteq\mathcal{L}$ . $\square$

∎

Figure

Approximating a planar region by an inner packing and outer covering of dyadic squares: inner squares (lower estimate) and outer squares (upper estimate) trap the Lebesgue area between them.

mathematician · Henri Léon Lebesgue | 1875–1941

A French mathematician whose 1902 thesis "Intégrale, longueur, aire" introduced both the measure and integral now bearing his name. Lebesgue reversed Riemann's recipe: instead of partitioning the domain, he partitioned the range of a function and asked how large the preimage of each level set is — a question that demands a flexible notion of size, i.e. measure. His integral exchanges limits and integration far more freely (dominated and monotone convergence) and integrates many functions Riemann cannot. Lebesgue himself was initially skeptical of the heavy set-theoretic machinery that Carathéodory, Borel, and others built around his ideas.

🧠 Intuition

Think of measuring a puddle with tiles. Jordan content lets you use only finitely many tiles, so a "puddle" like the rationals in $[0,1]$ — dense but with empty interior — cannot be tiled: any finite inner tiling captures nothing, any finite outer tiling captures the whole interval. Lebesgue's countable covers let you place a tiny tile of width $\varepsilon 2^{-k}$ over the $k$ -th rational, capturing all of them with total width $\le \varepsilon$ . Letting $\varepsilon\to 0$ shows the rationals have measure zero. The deeper Carathéodory idea is to stop describing the set and instead test it: a set is measurable if, for every conceivable probe set $A$ , slicing $A$ by $E$ never loses or creates volume at the boundary. Non-measurable sets fail precisely because their "boundary" is so pathologically diffuse that the outer measure of the inside plus the outside exceeds the whole.

ExampleMeasure of the Smith–Volterra–Cantor "fat Cantor" set

Given: Start with $[0,1]$ . At step $k$ remove an open middle interval of length $4^{-k}$ from each of the $2^{k-1}$ surviving intervals. The intersection $C$ is the fat Cantor set — closed, nowhere dense, uncountable.

Steps:

Total length removed: at step $k$ we remove $2^{k-1}$ intervals each of length $4^{-k}$ :

\sum_{k=1}^{\infty} 2^{k-1}\cdot 4^{-k} = \tfrac12\sum_{k=1}^\infty (1/2)^{k} = \tfrac12 \cdot 1 = \tfrac12.

By countable additivity, $\lambda(C) = 1 - \tfrac12 = \tfrac12$ .
$C$ has empty interior, so its Jordan inner content is $0$ while its Lebesgue measure is $1/2$ — a set Riemann/Jordan theory cannot measure.

Answer: $\boxed{\lambda(C) = \tfrac12}$ (dimensionless length on $\mathbb{R}$ ).

ExampleVolume of a parallelepiped via the linear rule

Given: The image of the unit cube $[0,1]^3$ under

T = \begin{pmatrix} 2 & 1 & 0 \\ 0 & 3 & 1 \\ 1 & 0 & 2 \end{pmatrix}.

Steps:

$\lambda([0,1]^3) = 1$ .
$\det T = 2(3\cdot2 - 1\cdot0) - 1(0\cdot2 - 1\cdot1) + 0 = 2\cdot6 - 1\cdot(-1) = 12 + 1 = 13.$
By [5], $\lambda(T([0,1]^3)) = |\det T|\cdot 1 = 13.$

Answer: $\boxed{\lambda(T([0,1]^3)) = 13}$ (cubic units).

⚠️ Common mistake

"Measure zero means countable." False: the standard middle-thirds Cantor set is uncountable yet has measure $0$ . Conversely, a measure-zero set can be dense (the rationals) or can have full topological "fatness" failing — measure and cardinality/topology are independent.
"Every subset of $\mathbb{R}^n$ is measurable." False under the Axiom of Choice (Vitali). It is consistent with ZF + Dependent Choice (Solovay's model) that all sets are measurable, so non-measurability is genuinely tied to strong choice.
"Lebesgue measurable = Borel." False: $\mathcal{L}$ is strictly larger. By cardinality, $|\mathcal{B}(\mathbb{R})| = 2^{\aleph_0}$ but $|\mathcal{L}| = 2^{2^{\aleph_0}}$ because every subset of the Cantor null set is measurable.
" $\lambda^*(A\cup B) = \lambda^*(A)+\lambda^*(B)$ for disjoint $A,B$ ." Only for measurable sets; outer measure is merely subadditive, and additivity can fail for disjoint non-measurable pieces.

CounterexampleA non-measurable Vitali set

Define $x \sim y$ iff $x - y \in \mathbb{Q}$ on $[0,1]$ . By the Axiom of Choice pick one representative from each class, forming $V \subseteq [0,1]$ . Enumerate $\mathbb{Q}\cap[-1,1] = \{q_k\}$ . The translates $V + q_k$ are pairwise disjoint and satisfy

[0,1] \subseteq \bigcup_k (V + q_k) \subseteq [-1,2].

If $V$ were measurable, translation invariance gives $\lambda(V+q_k)=\lambda(V)=:c$ for all $k$ . Countable additivity then forces

1 \le \sum_{k=1}^\infty c \le 3.

But $\sum_k c$ is $0$ if $c=0$ (contradicting $\ge 1$ ) and $\infty$ if $c>0$ (contradicting $\le 3$ ). Hence $V \notin \mathcal{L}$ .

connection

Lebesgue measure is the foundation on which Lebesgue Integration is built: $\int f\,d\lambda$ first defines integrals of simple functions via measures of level sets, then extends by monotone limits. It is the prototype produced by the general Carathéodory Extension Theorem from a premeasure on the algebra of finite box unions. Its decomposition theory connects to Radon–Nikodym Theorem (densities of measures absolutely continuous w.r.t. $\lambda$ ) and to Lebesgue Decomposition (splitting into absolutely continuous, singular continuous, and atomic parts). The product structure $\lambda_n = \lambda_1 \otimes \cdots \otimes \lambda_1$ is the model case of Product Measure and underlies Fubini–Tonelli Theorem. Translation invariance generalizes to the Haar Measure on locally compact groups, of which $(\mathbb{R}^n,+)$ is the abelian prototype, and the scaling rule [5] previews Hausdorff Measure and fractal dimension.

🔬 Where this appears

⏳ History

- 1883 — Cantor & Stolz: early notions of content; Cantor constructs his ternary set, foreshadowing measure-zero pathologies.

- 1887–1892 — Peano, Jordan: Peano–Jordan content formalizes finite-cover "measurability," but fails for many sets (e.g.

\mathbb{Q}\cap[0,1]

).

- 1898 — Émile Borel: introduces countably additive measure on what become the Borel sets, insisting on countable operations.

- 1901–1902 — Henri Lebesgue: Comptes Rendus note (1901) and thesis Intégrale, longueur, aire (1902) define outer/inner measure and the Lebesgue integral.

- 1905 — Giuseppe Vitali: constructs the first non-measurable set using the Axiom of Choice.

- 1914 — Constantin Carathéodory: abstract outer-measure criterion [3], freeing the theory from inner measure and topology.

- 1918 — Felix Hausdorff: Hausdorff measures and dimension generalize

\lambda

to fractional dimension; Hausdorff paradox prefigures Banach–Tarski.

- 1924 — Banach & Tarski: the paradoxical decomposition shows no finitely additive, isometry-invariant, total measure on

\mathbb{R}^{\ge 3}

exists — explaining why countable additivity must coexist with non-measurable sets.

- 1970 — Robert Solovay: constructs a model of ZF+DC in which every set of reals is Lebesgue measurable, locating non-measurability precisely within strong choice.

open-problem

Where the theory pushes against the foundations of set theory.

Invariant extensions: Can $\lambda$ be extended to a translation-invariant countably additive measure on all subsets of $\mathbb{R}^n$ ? No — Vitali/Banach–Tarski forbid it. But finitely additive, isometry-invariant extensions to all of $\mathcal{P}(\mathbb{R})$ and $\mathcal{P}(\mathbb{R}^2)$ exist (Banach), and fail for $n\ge 3$ — amenability of the isometry group is the dividing line.
Real-valued measurable cardinals: The question of whether $\lambda$ can be extended to a countably additive measure on all subsets (dropping translation invariance) is equivalent to the existence of a real-valued measurable cardinal — a large-cardinal axiom independent of ZFC (Banach–Ulam, Ulam).
Regularity from determinacy: Under the Axiom of Determinacy (AD), every set of reals is Lebesgue measurable; AD contradicts AC, so the universal measurability of sets is a choiceless luxury. Solovay's model achieves it relative to an inaccessible cardinal.
Constructive content: The non-constructive nature of Vitali sets means non-measurable sets cannot be exhibited explicitly; the boundary between definable and measurable sets is governed by the projective hierarchy and the theory of $\boldsymbol{\Sigma}^1_n$ measurability.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also