Why not just measure every subset of the line?

Using the axiom of choice one can build sets, such as Vitali sets, that cannot be assigned a size consistent with translation invariance and countable additivity, so measurement is restricted to a sigma-algebra.

What is the role of countable additivity?

Countable additivity, that the measure of a countable disjoint union is the sum of the measures, is what allows measures to interact well with limits and makes the convergence theorems of integration possible.

Sigma-Algebras and Measures

A sigma-algebra fixes which sets can be measured, and a measure assigns each of them a consistent size; together they form the measurable space on which all of integration theory is built.

Etsi aihe työkalulla PaperMindTulossaFind papers & topics

Tools & resources

Lataa diat

Learn & explore

VideoTulossa

Definition

A sigma-algebra is a collection of subsets closed under complements and countable unions, and a measure is a countably additive, non-negative set function on a sigma-algebra; the pair forms a measure space generalizing length, area, volume, and probability.

Scope

This topic covers sigma-algebras and the Borel sigma-algebra generated by open sets, measurable functions, the axioms of a measure with countable additivity, outer measures and the Caratheodory construction, the building of Lebesgue measure, completeness and null sets, and continuity of measures along monotone sequences.

Core questions

Which collections of sets can support a consistent notion of size?
How is Lebesgue measure on Euclidean space constructed from an outer measure?
What does countable additivity contribute that finite additivity cannot?
Why can a measure not be defined on absolutely every subset?

Key theories

Caratheodory extension theorem: An outer measure restricts to a genuine countably additive measure on the sigma-algebra of its measurable sets, the construction that produces Lebesgue measure and measures on abstract spaces from simpler set functions.
Existence of non-measurable sets: Assuming the axiom of choice, there exist subsets of the real line to which no translation-invariant countably additive measure can assign a size, which is why a sigma-algebra rather than all subsets is required.

Clinical relevance

Measure spaces are the formal foundation of probability theory, where the sigma-algebra encodes the observable events and the measure is the probability distribution; the same framework supports integration, the rigorous treatment of randomness in statistics and finance, and the definition of function spaces in analysis.

History

Borel introduced the sigma-algebra of sets built from intervals around 1898, and Lebesgue defined measure on the line in 1902. Caratheodory's outer-measure method generalized the construction to abstract spaces, and Vitali's 1905 example exhibited a non-measurable set.

Key figures

Constantin Caratheodory
Emile Borel
Henri Lebesgue

Seminal works

folland1999
axler2020

Frequently asked questions

Why not just measure every subset of the line?: Using the axiom of choice one can build sets, such as Vitali sets, that cannot be assigned a size consistent with translation invariance and countable additivity, so measurement is restricted to a sigma-algebra.
What is the role of countable additivity?: Countable additivity, that the measure of a countable disjoint union is the sum of the measures, is what allows measures to interact well with limits and makes the convergence theorems of integration possible.