Carathéodory's Theorem (Measure Theory)

From ProofWiki
Jump to navigation Jump to search

This proof is about Carathéodory's Theorem in measure theory. For other uses, see Carathéodory's Theorem.


Let $X$ be a set, and let $\mathcal S \subseteq \mathcal P \left({X}\right)$ be a semi-ring of subsets of $X$.

Let $\mu: \mathcal S \to \overline{\R}$ be a pre-measure on $\mathcal S$.

Let $\sigma \left({\mathcal S}\right)$ be the $\sigma$-algebra generated by $\mathcal S$.

Then $\mu$ extends to a measure $\mu^*$ on $\sigma \left({\mathcal S}\right)$.


Suppose there exists an exhausting sequence $\left({S_n}\right)_{n \in \N} \uparrow X$ in $\mathcal S$ such that:

$\forall n \in \N: \mu \left({S_n}\right) < +\infty$

Then the extension $\mu^*$ is unique.


Source of Name

This entry was named for Constantin Carathéodory.