Carathéodory's criterion is a result in measure theory that was formulated by Greek mathematician Constantin Carathéodory that characterizes when a set is Lebesgue measurable.
Carathéodory's criterion: Let
denote the Lebesgue outer measure on
denotes the power set of
is Lebesgue measurable if and only if
denotes the complement of
is not required to be a measurable set.
[1] The Carathéodory criterion is of considerable importance because, in contrast to Lebesgue's original formulation of measurability, which relies on certain topological properties of
this criterion readily generalizes to a characterization of measurability in abstract spaces.
Indeed, in the generalization to abstract measures, this theorem is sometimes extended to a definition of measurability.
μ
is an outer measure on a set
denotes the power set of
μ
μ
μ
μ
μ
–measurable subsets is a σ-algebra (so for instance, the complement of a
μ
μ
–measurable, and the same is true of countable intersections and unions of
μ
–measurable sets) and the restriction of the outer measure
μ
to this family is a measure.
This probability-related article is a stub.
You can help Wikipedia by expanding it.