Sigma-Algebras, Measures, and Measurable Functions

⚡ Key Takeaways

One line: A σ-algebra is a collection of subsets closed under countable set operations; a measure assigns consistent "sizes" to those sets; a measurable function pulls back measurable sets to measurable sets. Key result: The triple $(X,\mathcal{A},\mu)$ is the foundational object of modern integration, probability, and analysis — Lebesgue's framework that tames "size" and "average" beyond Riemann's reach. Where it applies: Probability theory, functional analysis, ergodic theory, PDE, mathematical physics, statistics. Who/when: Émile Borel (1898), Henri Lebesgue (1902), Constantin Carathéodory (1918), Andrey Kolmogorov (1933).

💡 The Core Insight

"Size" cannot be defined for every subset without contradiction, so we restrict the domain of the size-function to a structured family of sets (the σ-algebra) closed precisely under the operations — complement and countable union — that calculus and probability require. Countability is the magic ingredient: it is strong enough to permit limits, suprema, and series of functions, yet weak enough to avoid the pathologies of uncountable operations. Everything downstream — integration, expectation, convergence theorems — is built on this single compromise.

Definitionσ-Algebra

Let $X$ be a nonempty set. A collection $\mathcal{A}\subseteq 2^X$ is a σ-algebra on $X$ if:

1

\quad X\in\mathcal{A}

Derivation hint: the whole space is always measurable; combined with closure under complement this gives $\varnothing\in\mathcal{A}$ .

2

\quad A\in\mathcal{A}\;\Longrightarrow\; A^c=X\setminus A\in\mathcal{A}

Derivation hint: closure under complementation — measurability of $A$ and "not $A$ " must coincide.

3

\quad A_1,A_2,\dots\in\mathcal{A}\;\Longrightarrow\;\bigcup_{n=1}^{\infty}A_n\in\mathcal{A}

Derivation hint: countable union; via De Morgan, $\bigcap_n A_n=\big(\bigcup_n A_n^c\big)^c\in\mathcal{A}$ , so countable intersections are also included. Elements of $\mathcal{A}$ are measurable sets, and $(X,\mathcal{A})$ is a measurable space. A collection satisfying [1]–[2] and closure under finite unions is merely an algebra (field).

DefinitionGenerated σ-Algebra and Borel sets

For any family $\mathcal{E}\subseteq 2^X$ , the σ-algebra generated by $\mathcal{E}$ , written $\sigma(\mathcal{E})$ , is the smallest σ-algebra containing $\mathcal{E}$ :

4

\quad \sigma(\mathcal{E})=\bigcap\big\{\mathcal{A}:\mathcal{A}\text{ is a }\sigma\text{-algebra},\ \mathcal{E}\subseteq\mathcal{A}\big\}

Derivation hint: an arbitrary intersection of σ-algebras is a σ-algebra (verify each axiom termwise), and $2^X$ contains $\mathcal{E}$ , so the family is nonempty. When $X$ is a topological space with topology $\tau$ , the Borel σ-algebra is $\mathcal{B}(X)=\sigma(\tau)$ , generated by the open sets.

DefinitionMeasure

Given a measurable space $(X,\mathcal{A})$ , a function $\mu:\mathcal{A}\to[0,\infty]$ is a measure if $\mu(\varnothing)=0$ and it is countably additive (σ-additive): for pairwise disjoint $\{A_n\}_{n\ge1}\subseteq\mathcal{A}$ ,

5

\quad \mu\!\left(\bigsqcup_{n=1}^{\infty}A_n\right)=\sum_{n=1}^{\infty}\mu(A_n)

Derivation hint: this is the defining axiom; the RHS series of nonnegative terms converges in $[0,\infty]$ unconditionally, so order is irrelevant. The triple $(X,\mathcal{A},\mu)$ is a measure space. It is finite if $\mu(X)<\infty$ , a probability space if $\mu(X)=1$ , and σ-finite if $X=\bigcup_n X_n$ with $\mu(X_n)<\infty$ .

TheoremElementary Properties of Measures

Let $(X,\mathcal{A},\mu)$ be a measure space and $A,B,A_n\in\mathcal{A}$ . Then:

6

\quad A\subseteq B\;\Longrightarrow\;\mu(A)\le\mu(B)\quad\text{(monotonicity)}

Derivation hint: write $B=A\sqcup(B\setminus A)$ and apply finite additivity; $\mu(B\setminus A)\ge0$ .

7

\quad \mu\!\left(\bigcup_{n=1}^{\infty}A_n\right)\le\sum_{n=1}^{\infty}\mu(A_n)\quad\text{(countable subadditivity)}

Derivation hint: disjointify via $B_1=A_1,\ B_n=A_n\setminus\bigcup_{k<n}A_k$ ; then $\bigcup A_n=\bigsqcup B_n$ , $B_n\subseteq A_n$ , apply [5] and [6].

8

\quad A_n\uparrow A\;\Longrightarrow\;\mu(A_n)\to\mu(A)\quad\text{(continuity from below)}

Derivation hint: set $C_1=A_1,\ C_n=A_n\setminus A_{n-1}$ ; then $A=\bigsqcup C_n$ and $\mu(A_n)=\sum_{k\le n}\mu(C_k)\to\sum_k\mu(C_k)=\mu(A)$ .

9

\quad A_n\downarrow A,\ \mu(A_1)<\infty\;\Longrightarrow\;\mu(A_n)\to\mu(A)\quad\text{(continuity from above)}

Derivation hint: apply [8] to $A_1\setminus A_n\uparrow A_1\setminus A$ and subtract; the finiteness of $\mu(A_1)$ is essential to justify subtraction.

⚠️ Common mistake

The finiteness hypothesis $\mu(A_1)<\infty$ in [9] cannot be dropped. With Lebesgue measure on $\mathbb{R}$ , take $A_n=[n,\infty)$ . Then $A_n\downarrow\varnothing$ but $\mu(A_n)=\infty$ for all $n$ , so $\mu(A_n)\to\infty\ne0=\mu(\varnothing)$ . Continuity from above genuinely fails for infinite measures.

DefinitionMeasurable Function

Let $(X,\mathcal{A})$ and $(Y,\mathcal{B})$ be measurable spaces. A map $f:X\to Y$ is $(\mathcal{A},\mathcal{B})$ -measurable if

10

\quad f^{-1}(B)\in\mathcal{A}\quad\text{for every }B\in\mathcal{B}

Derivation hint: preimages commute with all set operations ( $f^{-1}(B^c)=(f^{-1}B)^c$ , $f^{-1}(\bigcup B_n)=\bigcup f^{-1}(B_n)$ ), so it suffices to check [10] on a generating family $\mathcal{E}$ of $\mathcal{B}$ . For $Y=\overline{\mathbb{R}}=[-\infty,\infty]$ with the Borel σ-algebra, $f$ is measurable iff for every $a\in\mathbb{R}$ ,

11

\quad \{x: f(x)>a\}=f^{-1}\big((a,\infty]\big)\in\mathcal{A}

Derivation hint: the rays $(a,\infty]$ generate $\mathcal{B}(\overline{\mathbb{R}})$ ; combined with the preimage-commutation principle this single family suffices.

TheoremStability of Measurable Functions

Let $f,g:X\to\overline{\mathbb{R}}$ be measurable and $(f_n)$ a sequence of measurable functions. Then $f+g$ , $fg$ , $cf$ , $|f|$ , $\max(f,g)$ , $\min(f,g)$ are measurable, and so are

12

\quad \sup_n f_n,\quad \inf_n f_n,\quad \limsup_n f_n,\quad \liminf_n f_n.

Derivation hint: $\{\sup_n f_n>a\}=\bigcup_n\{f_n>a\}\in\mathcal{A}$ — a countable union, hence measurable; the others follow since $\inf f_n=-\sup(-f_n)$ and $\limsup f_n=\inf_m\sup_{n\ge m}f_n$ . Arithmetic operations use measurability of continuous maps $\mathbb{R}^2\to\mathbb{R}$ composed with the measurable $(f,g)$ .

🧠 Intuition

Think of a σ-algebra as the list of "questions you are allowed to ask" about a point $x\in X$ — each measurable set $A$ encodes the yes/no question "is $x\in A$ ?". The axioms say: you may ask the trivial question ( $X$ ), you may negate any question ( $A^c$ ), and you may combine countably many questions with "or" ( $\bigcup A_n$ ). A measure assigns each allowable question a "weight of yes-answers." A measurable function is a quantity whose level sets are askable questions — you can always ask "is $f(x)$ above the threshold $a$ ?". The countable cap is what lets you take limits: a limit involves infinitely many comparisons, but only countably many, so the answer stays askable. Uncountable operations would let you single out individual points and reconstruct every subset, collapsing the whole structure.

Figure

Containment hierarchy: from semiring to measure space, and the action of a measurable function

ExampleLebesgue–Stieltjes measure of an interval

Given. Let $F(x)=\arctan x$ on $\mathbb{R}$ , a bounded increasing right-continuous function. It induces the Lebesgue–Stieltjes measure $\mu_F$ on $\mathcal{B}(\mathbb{R})$ via $\mu_F\big((a,b]\big)=F(b)-F(a)$ .

Step 1. Compute $\mu_F$ of $(0,1]$ :

\mu_F\big((0,1]\big)=\arctan 1-\arctan 0=\tfrac{\pi}{4}-0=\tfrac{\pi}{4}.

Step 2. Total mass: by continuity from below ([8]) with $(-n,n]\uparrow\mathbb{R}$ ,

\mu_F(\mathbb{R})=\lim_{n\to\infty}\big(\arctan n-\arctan(-n)\big)=\tfrac{\pi}{2}-(-\tfrac{\pi}{2})=\pi.

Step 3. Normalize to a probability measure $P=\mu_F/\pi$ . Then the probability of $(0,1]$ is $(\pi/4)/\pi=1/4$ . This is exactly the standard Cauchy distribution on $(0,1]$ .

\boxed{\;\mu_F\big((0,1]\big)=\tfrac{\pi}{4},\qquad \mu_F(\mathbb{R})=\pi,\qquad P\big((0,1]\big)=\tfrac14\;}

ExampleA function and its level sets: measurability of the Dirichlet function

Given. Let $f=\mathbf{1}_{\mathbb{Q}}$ on $X=([0,1],\mathcal{B}([0,1]),\lambda)$ (Lebesgue measure $\lambda$ ), i.e. $f(x)=1$ if $x\in\mathbb{Q}$ , else $0$ .

Step 1. Check [11]. For $a\ge 1$ : $\{f>a\}=\varnothing\in\mathcal{B}$ . For $0\le a<1$ : $\{f>a\}=\mathbb{Q}\cap[0,1]$ , which is countable, hence Borel (a countable union of singletons). For $a<0$ : $\{f>a\}=[0,1]\in\mathcal{B}$ . All level rays are measurable ⇒ $f$ is Borel measurable.

Step 2. Its Lebesgue integral. Since $\lambda(\mathbb{Q}\cap[0,1])=0$ (countable set), $f=0$ $\lambda$ -a.e., so

\int_{[0,1]} f\,d\lambda = 1\cdot\lambda(\mathbb{Q}\cap[0,1]) + 0\cdot\lambda([0,1]\setminus\mathbb{Q}) = 1\cdot 0 + 0\cdot 1 = 0.

Step 3. Contrast: $f$ is not Riemann integrable (upper sums $=1$ , lower sums $=0$ ). The measure-theoretic framework integrates it effortlessly.

\boxed{\;f\text{ is Borel measurable},\qquad \int_{[0,1]} f\,d\lambda = 0\;}

⚠️ Common mistake

"Every subset of $\mathbb{R}$ has a length." False. Assuming the axiom of choice, there exist non-measurable sets (Vitali sets) — no translation-invariant, countably additive extension of length can be defined on all of $2^{\mathbb{R}}$ . This is the reason we restrict to a σ-algebra rather than $2^X$ .

"Measurable means continuous-ish." No. Measurable functions can be wildly discontinuous (e.g. $\mathbf{1}_{\mathbb{Q}}$ ). Conversely Lusin's theorem says a measurable function agrees with a continuous one off a set of small measure, which is the precise sense in which measurability is "almost continuity."

" $\sigma$ -additivity is the same as finite additivity." It is strictly stronger. Finitely additive set functions exist (e.g. via Banach limits / ultrafilters) that are not countably additive; only σ-additivity yields the convergence theorems.

CounterexampleA finitely additive "measure" that is not a measure

On $X=\mathbb{N}$ , take $\mathcal{A}=2^{\mathbb{N}}$ and let $U$ be a free ultrafilter. Define $\nu(A)=1$ if $A\in U$ , else $0$ . Then $\nu$ is finitely additive and $\nu(\mathbb{N})=1$ , but it is not countably additive: writing $\mathbb{N}=\bigsqcup_{n}\{n\}$ gives $\sum_n\nu(\{n\})=\sum_n 0=0\ne 1=\nu(\mathbb{N})$ , because no singleton belongs to a free ultrafilter. Thus finite additivity does not imply [5]; σ-additivity is a genuine extra axiom.

CounterexampleThe Vitali set: non-measurability

Define $x\sim y$ iff $x-y\in\mathbb{Q}$ on $[0,1]$ . Using AC, pick one representative from each class to form $V$ . The translates $\{V+q\bmod 1: q\in\mathbb{Q}\cap[0,1)\}$ are countably many, pairwise disjoint, and cover $[0,1]$ . If $V$ were Lebesgue measurable with measure $m$ , translation invariance forces $\lambda([0,1])=\sum_q m$ , i.e. $1=\sum_q m$ — impossible: the sum is $0$ if $m=0$ and $\infty$ if $m>0$ . Hence $V\notin\mathcal{L}$ , the Lebesgue σ-algebra.

connection

The triple $(X,\mathcal{A},\mu)$ is the launchpad for the Lebesgue Integral, where measurable functions become integrands via the "horizontal slicing" of their level sets. With $\mu(X)=1$ it is a probability space, so Probability Spaces and Random Variables are nothing but measure spaces and measurable functions in disguise (a random variable is a measurable map). The construction of measures from premeasures is governed by Carathéodory's Extension Theorem and outer measures. The interplay of two measures on the same space is captured by Radon-Nikodym Theorem (densities) and by Product Measures and Fubini's Theorem (multivariable integration). Topological refinements live in Borel and Lebesgue Sigma-Algebras and Radon Measures.

🔬 Where this appears

⏳ History

- 1883 — Georg Cantor and others develop content/Jordan measure, exposing limits of "elementary" length and area.

- 1898 — Émile Borel introduces the σ-algebra of Borel sets and countably additive length on them, the first systematic countable-additivity framework.

- 1902 — Henri Lebesgue's thesis Intégrale, longueur, aire defines Lebesgue measure and integral, revolutionizing analysis by integrating far broader classes of functions.

- 1905 — Giuseppe Vitali constructs the first non-measurable set, proving full

2^{\mathbb{R}}

cannot be measured translation-invariantly.

- 1909 — Johann Radon unifies Lebesgue and Stieltjes integration; Radon measures on locally compact spaces emerge.

- 1913–1915 — Maurice Fréchet and others abstract measure to general spaces, divorcing it from

\mathbb{R}^n

.

- 1918 — Constantin Carathéodory formalizes outer measures and the extension theorem, giving the modern construction recipe.

- 1930 — Otton Nikodym and Johann Radon's theorem on densities (Radon–Nikodym) is completed.

- 1933 — Andrey Kolmogorov's Grundbegriffe der Wahrscheinlichkeitsrechnung axiomatizes probability as measure theory, cementing the framework's centrality.

open-problem

Measurable cardinals and the limits of "everything is measurable." Solovay (1970) showed (assuming an inaccessible cardinal) the consistency of a model of ZF + dependent choice in which every subset of $\mathbb{R}$ is Lebesgue measurable — so non-measurable sets are precisely an artifact of full AC. The existence of a nontrivial σ-additive $\{0,1\}$ -valued measure on all subsets of some set is equivalent to the existence of a measurable cardinal, a large-cardinal axiom unprovable in ZFC. Banach's measure problem (does a countably additive, isometry-invariant measure on $2^{\mathbb{R}^n}$ extending Lebesgue measure exist?) connects to these. Practically: the boundary of "what can be measured" is entangled with the foundations of set theory itself, and how much choice and how large the universe is determine the answer.

Sigma-Algebras, Measures, and Measurable Functions

Formal Statement

Why It Holds / Derivation

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also