Vollständiges Maß
# 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 $(\Omega ,{\mathcal {A}},\mu )$ heißt vollständig, wenn

$N\in {\mathcal {A}},\quad \mu (N)=0,\quad E\subset N\quad \Longrightarrow E\in {\mathcal {A}}$.

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

## Vervollständigung von Maßräumen

Sei $(\Omega ,{\mathcal {A}},\mu )$ ein Maßraum und

    ${\tilde {\mathcal {A}}}:=\{A:A_{1}\subset A\subset A_{2}{\text{ wobei }}A_{1},A_{2}\in {\mathcal {A}}{\text{ und }}\mu (A_{2}\backslash A_{1})=0\}$

und ein eindeutiges Maß ${\tilde {\mu }}:{\tilde {\mathcal {A}}}\to [0,\infty ]$, sodass

    ${\tilde {\mu }}\vert _{\mathcal {A}}=\mu$.

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

Äquivalente Definitionen von ${\tilde {\mathcal {A}}}$ sind

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

## Beispiele

Ist ein äußeres Maß $\nu$ gegeben und ist ${\mathcal {A}}_{\nu }$ die σ-Algebra der $\nu$-messbaren Mengen sowie $\mu :=\nu |_{{\mathcal {A}}_{\nu }}$ das zugehörige Maß, so ist der Maßraum $(\Omega ,{\mathcal {A}}_{\nu },\mu )$ vollständig. Dies folgt schon aus der Definition der $\nu$-Messbarkeit, da wenn $B\subset A\in {\mathcal {A}}_{\nu }$ ist mit $\nu (A)=0$, so folgt aus den Eigenschaften des äußeren Maßes $\nu (B)=0$ und daher $B\in {\mathcal {A}}_{\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 $(\Omega ,{\mathcal {A}},\mu )$, der nicht vollständig ist, ist durch $\Omega =[0,1]$, ${\mathcal {A}}=\{[0,1),\{1\},\emptyset ,\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 {\mathcal {A}}$. Zugleich ist dies ein Beispiel für einen Wahrscheinlichkeitsraum, der nicht vollständig ist.

