Fact-checked by Grok 2 weeks ago

Measurable space

A measurable space is a pair (X, \mathcal{A}), where X is a nonempty set and \mathcal{A} is a \sigma-algebra of subsets of X, meaning \mathcal{A} contains the empty set \emptyset, is closed under complements (if A \in \mathcal{A}, then X \setminus A \in \mathcal{A}), and is closed under countable unions (if \{A_n\}_{n=1}^\infty \subseteq \mathcal{A}, then \bigcup_{n=1}^\infty A_n \in \mathcal{A}).^[1] The elements of \mathcal{A} are called measurable sets, and this structure ensures that \mathcal{A} is also closed under countable intersections via De Morgan's laws.^[1] Measurable spaces provide the essential foundation for measure theory, a branch of mathematics that generalizes the notions of length, area, and volume to abstract sets by defining measures—nonnegative, countably additive set functions on \mathcal{A}—that assign a "size" to measurable sets while preserving additivity over disjoint unions.^[2] Extending a measurable space by adding such a measure yields a measure space (X, \mathcal{A}, \mu), which enables the rigorous development of integrals, convergence theorems like the monotone convergence theorem, and applications in analysis.^[2] Common examples include the real line \mathbb{R} equipped with the Borel \sigma-algebra generated by open intervals, which supports Lebesgue measure for integration over \mathbb{R}.^[1] In probability theory, measurable spaces are crucial for modeling uncertainty, where a probability measure \mu (with \mu(X) = 1) on (X, \mathcal{A}) defines a probability space, specifying the events in \mathcal{A} to which probabilities can be assigned consistently.^[3] This framework underpins the definition of random variables as measurable functions between measurable spaces, facilitating the study of stochastic processes, limit theorems, and statistical inference.^[3] The choice of \sigma-algebra reflects the available information or observable events in a random experiment, ensuring that only well-defined subsets can be measured probabilistically.^[3]

Core Concepts

Definition

A measurable space is a pair (X, \Sigma), where X is a non-empty set and \Sigma is a \sigma-algebra of subsets of X.^[1] The elements of \Sigma are called measurable sets.^[4] A \sigma-algebra \Sigma on X is a collection satisfying the following axioms: \Sigma contains the empty set \emptyset and the whole set X; it is closed under complements, meaning that if A \in \Sigma, then the complement X \setminus A \in \Sigma; and it is closed under countable unions, meaning that if A_n \in \Sigma for each n \in \mathbb{N}, then \bigcup_{n=1}^\infty A_n \in \Sigma.^[1] Such structures provide the foundational framework for defining measurable functions between measurable spaces, where a function f: (X, \Sigma) \to (Y, \mathcal{T}) is measurable if the preimage f^{-1}(B) \in \Sigma for every B \in \mathcal{T}.^[5] The notation (X, \Sigma) is standard for denoting a measurable space.^[4]

Sigma-Algebra Properties

A sigma-algebra on a set X exhibits several derived properties that stem directly from its defining axioms of closure under complements and countable unions, ensuring the collection is robust for defining measurable sets in measure theory. These properties highlight the structural stability of sigma-algebras under various set operations, facilitating the construction of measures and integrals.^[6] One fundamental derived property is closure under countable intersections. Specifically, if \{A_n\}_{n=1}^\infty \subset \Sigma, where \Sigma is a sigma-algebra on X, then \bigcap_{n=1}^\infty A_n \in \Sigma. This follows from De Morgan's laws: the countable intersection is the complement of the countable union of the complements, \bigcap_{n=1}^\infty A_n = \left( \bigcup_{n=1}^\infty A_n^c \right)^c. Since each A_n^c \in \Sigma by closure under complements and the union \bigcup_{n=1}^\infty A_n^c \in \Sigma by the countable union axiom, taking the complement yields the intersection in \Sigma.^[7]^[6] As special cases, sigma-algebras are also closed under finite unions and finite intersections. For finite unions, if A_1, \dots, A_n \in \Sigma, then \bigcup_{k=1}^n A_k \in \Sigma, obtained by considering the remaining terms as empty sets, which are in \Sigma. Similarly, finite intersections follow from the countable case by setting subsequent sets to X, which belongs to \Sigma. These finite closures underscore the extension from algebras to sigma-algebras, preserving Boolean algebra structure while accommodating countability.^[6] Another key property is closure under set differences: if A, B \in \Sigma, then A \setminus B \in \Sigma. This is derived as A \setminus B = A \cap B^c, where B^c \in \Sigma by complement closure and the intersection is in \Sigma by the countable intersection property (treating it as a finite case). This operation ensures that sigma-algebras support subtraction-like behaviors essential for partitioning sets in measurable contexts.^[6]^[7] Sigma-algebras also satisfy monotonicity in the sense that they form monotone classes, meaning they are closed under countable increasing unions and countable decreasing intersections. If \{A_n\}_{n=1}^\infty \subset \Sigma with A_1 \subseteq A_2 \subseteq \cdots, then \bigcup_{n=1}^\infty A_n \in \Sigma follows from the countable union axiom. For decreasing sequences A_1 \supseteq A_2 \supseteq \cdots, \bigcap_{n=1}^\infty A_n \in \Sigma holds by the intersection closure. This monotonicity preserves the ordering of sets within the sigma-algebra, reinforcing its role in operations that maintain structural integrity for limits of sequences of measurable sets.^[8] Finally, for any collection \mathcal{C} \subset \mathcal{P}(X) of subsets of X, the sigma-algebra generated by \mathcal{C}, denoted \sigma(\mathcal{C}), is the smallest sigma-algebra containing \mathcal{C}. It is constructed as the intersection of all sigma-algebras on X that contain \mathcal{C}, ensuring minimality while inheriting all the above closure and monotonicity properties. In cases requiring explicit construction, such as for uncountable families, transfinite induction may be employed to iteratively apply complements and countable unions, though the intersection definition suffices for most theoretical purposes.^[6]

Examples

Discrete and Trivial Cases

In a discrete measurable space, the underlying set X is equipped with the power set \Sigma = 2^X as its \sigma-algebra, making every subset of X measurable and providing the finest possible structure for measurement.^[9] This construction satisfies the \sigma-algebra axioms, as the power set is closed under complementation and countable unions.^[10] Such spaces are particularly useful when X is finite or countable, allowing measures to assign values to individual singletons and enabling full granularity in distinguishing events./01%3A_Foundations/1.11%3A_Measurable_Spaces) The trivial measurable space, in contrast, uses the coarsest \sigma-algebra \Sigma = \{\emptyset, X\}, where only the empty set and the entire space X are measurable, limiting the structure to the minimal requirements of a \sigma-algebra.^[9] This setup also fulfills the axioms, with the complement of \emptyset being X and vice versa, and countable unions of these sets yielding only themselves.^[10] It serves as a foundational case, often appearing as the starting point for generating larger \sigma-algebras through operations like unions or intersections./01%3A_Foundations/1.11%3A_Measurable_Spaces) The discrete case offers the advantage of maximal flexibility for modeling scenarios with distinct, atomic outcomes, such as in combinatorial probability where every possible subset must be assignable a measure, though it becomes unwieldy for uncountable X due to the enormous cardinality of $2^X.^[9] Conversely, the trivial \sigma-algebra's minimalism ensures simplicity but restricts measurability severely, making it impractical for detailed event analysis while ideal for trivial or degenerate probability models.^[11] For a concrete illustration, consider X = \{1, 2, 3\}. The discrete measurable space has \Sigma = 2^X consisting of 8 sets: \emptyset, \{1\}, \{2\}, \{3\}, \{1,2\}, \{1,3\}, \{2,3\}, \{1,2,3\}.^[9] The trivial measurable space, however, has only \Sigma = \{\emptyset, \{1,2,3\}\}, with 2 sets.^[10]

Topological Examples

In a topological space (T, \tau), where \tau denotes the collection of open sets, the Borel sigma-algebra \mathcal{B}(T) is defined as the smallest sigma-algebra containing all sets in \tau.^[12] This construction ensures that the measurable sets in the resulting measurable space (T, \mathcal{B}(T)) are generated precisely from the topological structure, making it suitable for capturing properties aligned with continuity.^[13] A prominent example arises in the real line \mathbb{R} equipped with its standard topology, where the open sets are unions of open intervals. The Borel sigma-algebra \mathcal{B}(\mathbb{R}) is then generated by these open intervals, and includes more complex sets through countable unions, intersections, and complements; for instance, the Cantor set, constructed as the intersection of a decreasing sequence of closed intervals, is a closed set and thus belongs to \mathcal{B}(\mathbb{R}).^[14] In Euclidean space \mathbb{R}^n with the standard topology, the Borel sigma-algebra serves as the foundation for the Lebesgue measurable sets, which form the completion of \mathcal{B}(\mathbb{R}^n) with respect to Lebesgue measure—adding all subsets of Borel sets of measure zero to ensure completeness.^[15] However, the Borel sigma-algebra itself remains the primary topological example, as it directly stems from the open sets without invoking measure-theoretic completion.^[16] This topological approach to generating sigma-algebras is essential because it aligns measurability with the notion of continuity, enabling the integration of continuous functions over spaces where topological properties like openness and closedness are preserved under measurable operations.^[17] Such structures underpin much of real analysis and probability, where Borel measurability ensures that random variables and stochastic processes respect continuous mappings.^[18]

Connections and Distinctions

Relation to Measure Spaces

A measurable space (X, \Sigma) serves as the foundational structure for a measure space, which extends it by incorporating a measure function to quantify the "size" of measurable sets. Specifically, a measure space is defined as a triple (X, \Sigma, \mu), where X is a set, \Sigma is a \sigma-algebra on X, and \mu: \Sigma \to [0, \infty] is a measure satisfying \mu(\emptyset) = 0 and countable additivity.^[19] The key distinction lies in the absence of the measure \mu in a measurable space, which only specifies the collection of measurable subsets without assigning sizes; in contrast, the measure space introduces \mu to enable the computation of lengths, areas, or probabilities for those subsets. Properties of \mu include finite additivity, where for disjoint measurable sets A, B \in \Sigma with A \cap B = \emptyset, \mu(A \cup B) = \mu(A) + \mu(B), and \sigma-additivity, extending this to countable disjoint unions: if \{A_i\}_{i=1}^\infty \subset \Sigma are pairwise disjoint, then

\mu\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \mu(A_i).[](https://www.math.ucdavis.edu/~hunter/m206/ch0_measure.pdf) These properties ensure that \(\mu

is consistent and allows for the integration of functions over the space, building directly on the measurable structure. For example, the pair (\mathbb{R}, \mathcal{B}(\mathbb{R})), where \mathcal{B}(\mathbb{R}) is the Borel \sigma-algebra generated by the open sets of \mathbb{R}, forms a measurable space; adjoining the Lebesgue measure \lambda: \mathcal{B}(\mathbb{R}) \to [0, \infty], which assigns to each interval its length and extends by \sigma-additivity, yields the measure space (\mathbb{R}, \mathcal{B}(\mathbb{R}), \lambda).^[20] This transition illustrates how measures provide quantitative tools atop the qualitative framework of measurability.^[19]

Borel Sigma-Algebras

In a topological space X, the Borel \sigma-algebra, denoted \mathcal{B}(X), is defined as the smallest \sigma-algebra containing all open sets of X.^[21] This construction ensures that \mathcal{B}(X) is generated by taking countable unions, countable intersections, and complements of open sets, resulting in a rich hierarchy of sets.^[22] Specifically, it includes all closed sets as complements of open sets, G_\delta sets as countable intersections of open sets, and F_\sigma sets as countable unions of closed sets.^[21] In metric spaces, the Borel \sigma-algebra can equivalently be generated by the collection of all open balls, leveraging the fact that open balls form a basis for the topology.^[23] For the real line \mathbb{R} equipped with the standard topology, \mathcal{B}(\mathbb{R}) is generated by the open intervals (a, b) where a < b, or alternatively by half-open intervals [a, b).^[22]^[21] This generation highlights the countable nature of the basis in separable metric spaces like \mathbb{R}, where rational endpoints suffice to produce all Borel sets.^[22] Borel \sigma-algebras are not necessarily complete with respect to a given measure; for instance, on \mathbb{R} with Lebesgue measure, the Borel \sigma-algebra \mathcal{B}(\mathbb{R}) excludes certain sets that are Lebesgue measurable.^[24] A classic example involves subsets of the Cantor set, which has Lebesgue measure zero: while all such subsets are Lebesgue measurable (with measure zero), not all are Borel sets, as the cardinality of \mathcal{B}(\mathbb{R}) is that of the continuum, smaller than the power set of \mathbb{R}.^[24] The Borel \sigma-algebra forms the foundational structure for integration theory in real analysis, particularly as the starting point for Lebesgue integration, where the Lebesgue \sigma-algebra is obtained by completing \mathcal{B}(\mathbb{R}) with respect to Lebesgue measure to include null sets and their subsets.^[24] Continuous functions on \mathbb{R} are Borel measurable, enabling the extension from Riemann integrals (defined on intervals) to Lebesgue integrals over Borel sets.^[25] This framework underpins convergence theorems and the definition of measurable functions in analysis.^[24]

Terminological Ambiguities

In some contexts, particularly descriptive set theory, the term "Borel space" refers specifically to a standard Borel space, defined as a measurable space isomorphic to a Borel subset of a Polish space equipped with its Borel σ-algebra.^[26] This specialized usage contrasts with the broader mathematical meaning of "measurable space," which denotes any pair (X, \Sigma) consisting of a set X and a σ-algebra \Sigma on X.^[27] Such ambiguity arises because "Borel space" can occasionally serve as a synonym for any measurable space in general measure theory, though the descriptive set theory convention predominates in advanced analytic contexts.^[28] The term "measurable space" was standardized in measure theory texts during the 1930s and later, building on Henri Lebesgue's 1902 introduction of measurable sets and Émile Borel's earlier work on Borel sets around 1898–1905.^[29] Prior to this standardization, discussions of measurability were often confined to specific constructions like Borel sets in Euclidean spaces, without the abstract pair (X, \Sigma).^[30] By the mid-20th century, texts such as Paul Halmos's Measure Theory (1950) routinely employed "measurable space" for the general structure.^[31] To resolve these terminological overlaps, contemporary usage reserves "measurable space" for the general (X, \Sigma) without topological assumptions, while "Borel measurable space" explicitly indicates a σ-algebra generated by the open sets of an underlying topology.^[32] Care should also be taken to distinguish measurable spaces from related concepts like probability spaces, which augment (X, \Sigma) with a probability measure (a countably additive function to [0,1] with total mass 1), and non-standard terms such as "σ-space," which lack established usage in the literature.^[33]

References

[1]
[PDF] Measures and Measure Spaces
Definition 2.2.1. A pair (X, A) consisting of a set X together with a σ-algebra A ⊆ P(X) is called a measurable space.A(countably additive) measure on A is ...
[2]
[PDF] Measure Theory 1 Measurable Spaces
A measurable space is a set S, together with a nonempty collection, S, of subsets of S, satisfying the following two conditions:
[3]
11. Measurable Spaces - Random Services
A collection of subsets of a set with certain closure properties. Such collections play a fundamental role, even for applied probability, in encoding the state ...
[4]
https://stats.libretexts.org/Bookshelves/Probability_Theory/Probability_Mathematical_Statistics_and_Stochastic_Processes_(Siegrist)/01:_Foundations/1.11:_Measurable_Spaces
[5]
measurable space in nLab
No readable text found in the HTML.<|separator|>
[6]
[PDF] Chapter 1 Sigma-Algebras - LSU Math
To prove that S is a σ–algebra it will be enough to show that S is closed under countable unions (not just disjoint countable unions). Let A1,A2, ... ∈ S ...Missing: closure | Show results with:closure
[7]
[PDF] Weaver Measure Theory 1. σ-algebras
A σ-algebra of subsets of X is a family of subsets of X which includes ∅ and X and is closed under complements, countable unions, and countable intersections. A ...
[8]
[PDF] Monotone Classes - UBC Math Department
A monotone class is a collection of subsets closed under countable increasing unions and countable decreasing intersections.<|control11|><|separator|>
[9]
275A, Notes 0: Foundations of probability theory
### Definitions and Examples of Discrete and Trivial Measurable Spaces or Sigma-Algebras
[10]
[PDF] 1 Measure theory I - UCSB Math
1 Measure theory I. 1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω . It is called a σ -algebra with the unit element Ω if. (a) ∅, Ω ...
[11]
Measure theory - sigma algebra - GitHub Pages
DISCRETE PROBABILITY SPACES: ... The sample space is countable (finite or infinite), and it will either be Ω={ω1,ω2,⋯,ωn} or Ω={ω1,ω2,⋯}. We can afford to take ...
[12]
Borel σ-algebra - PlanetMath
Mar 22, 2013 · For any topological space X X , the Borel sigma algebra of X X is the σ σ –algebra B ℬ generated by the open sets of X X . In other words, ...
[13]
Borel Sigma-Algebra -- from Wolfram MathWorld
A sigma-algebra which is related to the topology of a set. The Borel sigma -algebra is defined to be the sigma-algebra generated by the open sets.<|control11|><|separator|>
[14]
Borel Set -- from Wolfram MathWorld
A Borel set is an element of a Borel sigma-algebra. Roughly speaking, Borel sets are the sets that can be constructed from open or closed sets by repeatedly ...
[15]
[PDF] 2.4 The Completion of a Measure - Christopher Heil
Fortunately, if we have a incomplete measure µ in hand, there is a way to extend µ to a larger σ-algebra Σ in such a way that the extended measure is complete.
[16]
[PDF] Math 541 Lecture #21 II.14: Borel Sets, Measurable Sets, and ...
The restriction of Lebesgue measure on R to the σ-algebra of Borel sets in R is not a complete measure. Proof. Let D be the Lebesgue measurable set of ...
[17]
[PDF] Measure Theory John K. Hunter - UC Davis Math
Among the most important σ-algebras are the Borel σ-algebras ... Sets of measure zero play a particularly important role in measure theory and integration.
[18]
[PDF] An Introduction to Measure Theory - Terry Tao
Abstract measure spaces. 87. Definition 1.4.16 (Borel σ-algebra). Let X be a metric space, or more generally a topological space. The Borel σ-algebra B[X] of X.
[19]
[PDF] Measures - UC Davis Mathematics
A measurable space (X, A) is a non-empty set X equipped with a σ-algebra A on X. A measure is a countably additive, non-negative, extended real-valued function.
[20]
[PDF] 6.436J / 15.085J Fundamentals of Probability, Lecture 2
On the other hand, it can be verified that the Lebesgue measure is translation- invariant on the Borel σ-algebra, as well as its extension, the Lebesgue σ-.
[21]
[PDF] Sigma Algebras and Borel Sets.
(2) Later on we will construct the Cantor set C, a set with unusual and interesting properties. By comparing the construction of C with the above problem ...
[22]
[PDF] Lecture #5: The Borel Sets of R
Sep 13, 2013 · Our goal for today will be to define the Borel sets of R. The actual construction of the uniform probability will be deferred for several ...Missing: properties | Show results with:properties
[23]
[PDF] Metric Spaces - Biostatistics
When X is a topological space, the smallest σ-field B generated by the open sets is called the Borel σ-field of X. Elements of B are called Borel sets. A ...
[24]
[PDF] Measure Theory John K. Hunter - UC Davis Math
Monotone class theorem. We prove a general result about σ-algebras, called the monotone class theorem, which we will use in proving Fubini's theorem. A ...
[25]
[PDF] The Lebesgue Integral
The σ-algebra. M(F) generated by this collection is known as the Borel σ-algebra and is denoted BX. Note that since. BX is closed under complements, it also ...
[26]
[PDF] A universal characterization of standard Borel spaces - arXiv
Mar 15, 2024 · A standard Borel space is a measurable space (i.e., set equipped with σ-algebra of subsets) which is isomorphic to a Borel subspace of Cantor ...
[27]
Standard Borel space - Encyclopedia of Mathematics
Apr 7, 2018 · A measurable subset of a standard Borel space, treated as a subspace, is a standard Borel space. (It never happens to a nonmeasurable subset, see Theorem 4 ...<|control11|><|separator|>
[28]
[PDF] Some Notes on Standard Borel and Related Spaces - arXiv
A measurable space (X, E) is said to be standard Borel if there exists a metric on X which makes it a complete separable metric space in such a way that E is.
[29]
Henri Lebesgue: the Scientist, the Professor, the Man - MacTutor
Feb 10, 2025 · Lebesgue codified the principles of the measure of linear sets, principles already implemented by Borel. The latter had not conceived that ...
[30]
[PDF] HOW TO DEFINE MEASURE OF BOREL SETS THIERRY ...
One of the first definitions of measure, by Borel, presented a subtle ambiguity problem. We recall here Borel's definition, and in order to simplify the ...
[31]
[PDF] Measure Theory (Graduate Texts in Mathematics)
Halmos, Paul Richard, 1914-. Measure theory. (Graduate texts in mathematics ... A measure space is a measurable space (X9S) and a measure y> on S; just ...
[32]
standard Borel space in nLab
Feb 5, 2025 · A measurable space is called a standard Borel space if it can be written as a Polish space with its Borel sigma-algebra. By analogy, a measure ...
[33]
[PDF] Overview 1 Probability spaces - UChicago Math
Mar 21, 2016 · Definition A probability space is a measure space with total measure one. ... is a Borel measurable function, then Y = g(X) is also a ...