Caratheodory's Theorem: Difference between revisions

Revision as of 22:28, 16 December 2020

Consider an out measure $\mu$ on $X$ . Define

${\mathcal {M}}=\{A\subseteq X:A\ {\text{is}}\ \mu -{\text{measurable}}\}$ .

Then ${\mathcal {M}}$ is a $\sigma$ -algebra and $\mu ^{*}$ is a measure on ${\mathcal {M}}$ .

Revision as of 22:28, 16 December 2020 (view source) Andrewgracyk (talk \| contribs) No edit summary ← Older edit		Revision as of 22:28, 16 December 2020 (view source) Andrewgracyk (talk \| contribs) No edit summary Newer edit →
Line 6:		Line 6:

	Then <math> \mathcal{M} </math> is a <math>\sigma</math>-algebra and <math> \mu^* </math> is a measure on <math> \mathcal{M} </math>.		Then <math> \mathcal{M} </math> is a <math>\sigma</math>-algebra and <math> \mu^* </math> is a measure on <math> \mathcal{M} </math>.


	== Proof ==		== Proof ==