Namespaces
Variants
Actions

Measurable space

From Encyclopedia of Mathematics
Jump to: navigation, search

$ \newcommand{\R}{\mathbb R} \newcommand{\Om}{\Omega} \newcommand{\A}{\mathcal A} \newcommand{\P}{\mathbf P} $

A set with a distinguished σ-algebra of subsets (called measurable). More formally: a pair $(X,\A)$ consisting of a set $X$ and a σ-algebra $\A$ of subsets of $X$.

Examples: $\R^n$ with the Borel σ-algebra; $\R^n$ with the Lebesgue σ-algebra.

Older terminology

Weaker assumptions on $\A$ were usual in the past. For example, according to [4], $\A$ need not contain the whole $X$, it is a σ-ring, not necessarily a σ-algebra. According to [5], a measurable space is not a pair $(X,\A)$ but a measure space $(X,\A,\mu)$ such that $X\in\A$ (and again, $\A$ is generally a σ-ring).

References

[1] Terence Tao, "An introduction to measure theory", AMS (2011)
[2] David Pollard, "A user's guide to measure theoretic probability", Cambridge (2002)
[3] Richard M. Dudley, "Real analysis and probability", Wadsworth&Brooks/Cole (1989)
[4] Paul R. Halmos, "Measure theory", v. Nostrand (1950)
[5] Walter Rudin, "Principles of mathematical analysis", McGraw-Hill (1953)
How to Cite This Entry:
Measurable space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Measurable_space&oldid=19857
This article was adapted from an original article by V.V. Sazonov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article