Definition
A measure space is a mathematical structure consisting of a set $X$, a σ‑algebra $\Sigma$ of subsets of $X$, and a measure $\mu$ that assigns a non‑negative extended real number to each set in $\Sigma$. Formally, it is the ordered triple $(X, \Sigma, \mu)$ where:
- $X$ is a non‑empty set, called the underlying set or universe;
- $\Sigma\subseteq\mathcal{P}(X)$ is a σ‑algebra, i.e., a collection of subsets of $X$ that contains $X$ itself, is closed under complementation, and closed under countable unions;
- $\mu:\Sigma\rightarrow[0,\infty]$ is a measure, a function satisfying $\mu(\varnothing)=0$ and countable additivity (σ‑additivity): for any countable collection ${A_i}{i=1}^{\infty}$ of pairwise disjoint sets in $\Sigma$, $\mu\bigl(\bigcup{i=1}^{\infty}A_i\bigr)=\sum_{i=1}^{\infty}\mu(A_i)$.
Overview
Measure spaces provide the foundational framework for integration theory, probability, and many branches of analysis. By abstracting the notion of “size” or “volume” beyond Euclidean spaces, they enable the rigorous treatment of concepts such as length, area, probability, and mass in highly general settings. Classical examples include:
- The Lebesgue measure on $\mathbb{R}^n$ with the Borel σ‑algebra;
- Counting measure on any set, where each subset’s measure equals its cardinality (or $\infty$ if infinite);
- Probability spaces, where $\mu(X)=1$; and
- Dirac measure concentrated at a point $x_0$, assigning measure 1 to sets containing $x_0$ and 0 otherwise.
Etymology/Origin
The term combines “measure,” from the Latin mensura (“a measuring”), with “space,” reflecting the set‑theoretic context. The modern axiomatization of measure spaces originated in the early 20th century through the work of Henri Lebesgue, who formalized the Lebesgue measure and integral (1902). Subsequent contributions by Émile Borel, Constantin Carathéodory, and others refined the σ‑algebra concept and the abstract definition of a measure.
Characteristics
| Feature | Description |
|---|---|
| σ‑algebra | Guarantees closure under operations needed for countable additivity, enabling consistent measure assignment. |
| Countable additivity | Central axiom distinguishing measures from finitely additive set functions; essential for defining integrals (Lebesgue integral). |
| Completeness (optional) | A measure space is complete if every subset of a null set (set of measure 0) is also in $\Sigma$ and has measure 0. Completion can be obtained by extending $\Sigma$. |
| Finite vs. σ‑finite | A measure space is finite if $\mu(X)<\infty$. It is σ‑finite if $X$ can be expressed as a countable union of measurable sets each having finite measure. Many theorems require σ‑finiteness. |
| Probability measure | When $\mu(X)=1$, the measure space is a probability space, linking measure theory to probability theory. |
| Product measure | Given two measure spaces $(X_1,\Sigma_1,\mu_1)$ and $(X_2,\Sigma_2,\mu_2)$, a product measure $\mu_1\times\mu_2$ exists on the product σ‑algebra, enabling multivariate integration. |
Related Topics
- σ‑algebra – the collection of measurable sets that underlies a measure space.
- Measure theory – the broader mathematical discipline studying measures, integration, and related concepts.
- Lebesgue integral – an integration theory built on measure spaces, extending the Riemann integral.
- Probability space – a measure space with total measure 1, foundational to probability theory.
- Outer measure – a set function defined on all subsets of $X$ that precedes the construction of a σ‑algebra via Carathéodory’s criterion.
- Radon measure – a measure defined on locally compact Hausdorff spaces that is inner regular and locally finite.
- Haar measure – a translation‑invariant measure on locally compact groups, crucial in harmonic analysis.