Definition:Measurable Set/Arbitrary Outer Measure

From ProofWiki
Jump to navigation Jump to search


Let $\struct {X, \Sigma}$ be a measurable space.

Let $\mu^*$ be an outer measure on $X$.

A subset $S \subseteq X$ is called $\mu^*$-measurable if and only if it satisfies the Carathéodory condition:

$\map {\mu^*} A = \map {\mu^*} {A \cap S} + \map {\mu^*} {A \setminus S}$

for every $A \subseteq X$.

The set of $\mu^*$-measurable sets is denoted $\map {\mathfrak M} {\mu^*}$ and is a $\sigma$-algebra over $X$.