A measure space (X, F, μ) consists of a set X, a σ-algebra F, and a measure μ: F → [0,∞] satisfying μ(∅)=0 and countable additivity. This abstract triple unifies length, area, volume, and probability under one framework.
Compare with metric spaces and topological spaces to see the pattern of abstract structures. Work through examples: Lebesgue measure on ℝ, counting measure, probability spaces.
From your study of σ-algebras, you know that not every collection of subsets of a set X is a σ-algebra: a σ-algebra F must be closed under countable unions and complements, and must contain the empty set. The reason for this structure is exactly to support the definition of a measure. A measure space is a triple (X, F, μ), where X is the underlying set, F is a σ-algebra on X, and μ: F → [0,∞] is a function assigning a "size" to each measurable set. The two key requirements are μ(∅) = 0 and countable additivity: if A₁, A₂, … are pairwise disjoint sets in F, then μ(⋃Aₙ) = ΣμAₙ). This single axiom encodes everything we intuitively expect of a notion of size.
The triple structure is necessary because without a σ-algebra, you cannot define μ consistently on all subsets of X. The classical problem — the existence of non-measurable sets, like Vitali sets on the real line — shows that no countably additive measure assigning finite length to intervals can be defined on *all* subsets of ℝ while preserving translation invariance. The σ-algebra solves this by restricting attention to the measurable subsets, the "well-behaved" ones. Measure is defined only on F, not on 2^X.
The framework unifies several very different intuitions. Lebesgue measure on ℝ with its Borel σ-algebra gives the familiar notion of length: μ([a,b]) = b − a. Counting measure on any set X assigns μ(A) = |A|, the number of elements; infinite sets get measure ∞. Probability spaces are measure spaces where μ(X) = 1 — probability is just a normalized measure. The same theorems (including the Dominated Convergence Theorem) apply in all three settings because they only use the abstract axioms, not the particular meaning of "size."
The power of the abstract formulation is portability. When analysts prove a theorem about measure spaces in general, it applies simultaneously to lengths on ℝ, areas in ℝ², probabilities in statistics, and measures on function spaces. Working in the abstract triple strips away irrelevant details and reveals which properties really do the work — and that, in turn, reveals exactly which theorems generalize and which don't. The measure space is the minimal structure needed to make integration and probability rigorous.