A triple (X, Σ, μ) where X is a set, Σ is a sigma-algebra of subsets of X, and μ: Σ → [0,∞] is a countably additive measure defined on Σ.

Principle

A measure space formalizes size or weight for possibly very complicated sets by requiring measurability (membership in a sigma-algebra) and countable additivity so that disjoint unions add up consistently.

Demonstration

Lebesgue measure on R with Σ the Lebesgue sigma-algebra and μ assigning length to intervals is a canonical measure space. The counting measure on any set X (μ(A)=number of elements of A, possibly ∞) and a Dirac measure concentrated at a point are simple demonstrations.

Misapplication

Assuming every subset of X is measurable (the power set need not be a sigma-algebra relative to a given measure), or assuming countable additivity can be relaxed to finite additivity without changing fundamental consequences of integration and convergence theorems.

Consequence

Measure spaces provide the foundation for integration, L^p spaces, and convergence theorems; once a measure is fixed one can define measurable functions, integrals, and study almost-everywhere properties and null sets.

Reversal

A measurable space without a measure (X, Σ) lacks the numeric size information given by μ; a finitely additive set function or an outer measure may fail countable additivity and so not yield a genuine measure space.

Boundary

Requires a sigma-algebra and countable additivity; excludes finitely additive measures, capacities, or nonmeasurable set constructions. Measures may be finite, σ-finite, or infinite—these distinctions shape which theorems apply.

Semantic Tension

Measure space versus measurable space: the latter supplies only the sigma-algebra without a measure. There is also tension between abstract measure spaces and concrete Borel/Lebesgue constructions tied to topology or geometry.

Synthesis

Measure Space = (X, Σ, μ) combining a domain of measurable sets and a countably additive size assignment, forming the basic structure for integration, functional spaces, and probabilistic modeling when μ is normalized.