Vollständiges Maß

Ein vollständiges Maß sowie ein vollständiger Maßraum sind Begriffe aus der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit der Verallgemeinerung von Volumenbegriffen beschäftigt. Ein Maßraum ist vollständig, wenn er alle Teilmengen seiner Nullmengen enthält. Das zum Maßraum zugehörige Maß heißt dann vollständig.

Definition

Ein Maßraum $(\mathrm{\Omega },𝒜,\mu )$ heißt vollständig, wenn

$N\in 𝒜,\mu (N)=0,E\subset N⟹E\in 𝒜$.

Ist der Maßraum vollständig, so nennt man auch das Maß $\mu$ vollständig.

Vervollständigung von Maßräumen

Sei $(\mathrm{\Omega },𝒜,\mu )$ ein Maßraum und

$\widetilde{𝒜}:=\{A:A_1\subset A\subset A_2\text{ wobei }{A}_1,A_2\in 𝒜\text{ und }\mu (A_2\mathrm{\setminus }{A}_1)=0\}$

und ein eindeutiges Maß $\tilde{\mu }:\widetilde{𝒜}\to [0,\mathrm{\infty }]$, sodass

$\tilde{\mu }{|}_{𝒜}=\mu$.

Das Tripel $(\mathrm{\Omega },\widetilde{𝒜},\tilde{\mu })$ ist ein vollständiger Maßraum. Er heißt die Vervollständigung von $(\mathrm{\Omega },𝒜,\mu )$.

Äquivalente Definitionen von $\widetilde{𝒜}$ sind

$\{A\cup N:A\in 𝒜,\text{ und }N\subset B\in 𝒜\text{ für ein }B\text{ sodass }\mu (B)=0\}=\{A\mathrm{△}N:A\in 𝒜,\text{ und }N\subset B\in 𝒜\text{ für ein }B\text{ sodass }\mu (B)=0\}$.

Beispiele

Ist ein äußeres Maß $\nu$ gegeben und ist ${𝒜}_{\nu }$ die σ-Algebra der $\nu$-messbaren Mengen sowie $\mu :=\nu {|}_{{𝒜}_{\nu }}$ das zugehörige Maß, so ist der Maßraum $(\mathrm{\Omega },{𝒜}_{\nu },\mu )$ vollständig. Dies folgt schon aus der Definition der $\nu$-Messbarkeit, da wenn $B\subset A\in {𝒜}_{\nu }$ ist mit $\nu (A)=0$, so folgt aus den Eigenschaften des äußeren Maßes $\nu (B)=0$ und daher $B\in {𝒜}_{\nu }$.

Ein bekanntes Beispiel für eine Vervollständigung ist die Vervollständigung des Lebesgue-Borel-Maßes zum Lebesgue-Maß. Diese Vervollständigung erklärt auch, warum die Menge der Lebesgue-messbaren Mengen größer ist als die der Borel-messbaren Mengen.

Ein Beispiel für einen Maßraum $(\mathrm{\Omega },𝒜,\mu )$, der nicht vollständig ist, ist durch $\mathrm{\Omega }=[0,1]$, $𝒜=\{[0,1),\{1\},\mathrm{\varnothing },\mathrm{\Omega }\}$ und $\mu ={\delta }_1$ mit dem Dirac-Maß in $1$ gegeben. Für $A=[0,1)$ gilt $\mu (A)=0$ und für jede echte Teilmenge $B$ von $A$ gilt $B\notin 𝒜$. Zugleich ist dies ein Beispiel für einen Wahrscheinlichkeitsraum, der nicht vollständig ist.

Literatur

• Otto Forster: Analysis. Band 3: Maß- und Integrationstheorie, Integralsätze im Rⁿ und Anwendungen, 8. verbesserte Auflage. Springer Spektrum, Wiesbaden, 2017, ISBN 978-3-658-16745-5.
• Jürgen Elstrodt: Maß- und Integrationstheorie. 6. Auflage. Springer, Berlin/Heidelberg/New York 2009, ISBN 978-3-540-89727-9.
• Achim Klenke: Wahrscheinlichkeitstheorie. 2. Auflage. Springer, Berlin/Heidelberg 2008, ISBN 978-3-540-76317-8.