# Absolut stetiges Maß

Der Begriff des absolut stetigen Maßes setzt in der Maßtheorie die Nullmengen verschiedener Maße in Beziehung. Absolut stetige Maße sind eng verwandt mit den absolut stetigen Funktionen der Analysis und den absolut stetigen Verteilungen der Wahrscheinlichkeitstheorie.

## Definition

Es sei $(X,{\mathcal {A}})$ ein Messraum und $\mu$ und $\nu$ zwei (signierte, komplexe oder positive) Maße auf ${\mathcal {A}}$.
    Das Maß $\nu$ heißt absolut stetig bezüglich $\mu$ (auch $\mu$-stetig), in Zeichen $\nu \ll \mu$, wenn jede $\mu$-Nullmenge auch eine $\nu$-Nullmenge ist.
Für jede messbare Menge $A\in {\mathcal {A}}$ folgt also aus $\mu (A)=0$ auch $\nu (A)=0$. Umgekehrt sagt man dann, dass $\mu$ das Maß $\nu$ dominiert. Durch $\ll$ ist eine Quasiordnung auf der Menge aller Maße auf $X$ erklärt.

## Beispiele

Das Nullmaß, das jeder Menge das Maß $0$ zuordnet, wird naturgemäß von jedem Maß dominiert.
Sei $\mu$ das Zählmaß auf den natürlichen Zahlen, genauer auf dem Messraum $(\mathbb {N} ,{\mathcal {P}}(\mathbb {N} ))$. Dann ist jedes Maß auf $\mathbb {N}$ bzgl. $\mu$ absolut stetig, denn die einzige $\mu$-Nullmenge ist die leere Menge $\emptyset$.
Das Wahrscheinlichkeitsmaß $P$ der Standardnormalverteilung besitzt eine Wahrscheinlichkeitsdichte bzgl. des Lebesgue-Maß $\lambda$, denn für jede Lebesgue-messbare Menge $A\subseteq \mathbb {R}$ gilt
    $P(A)=\int _{A}\,{\frac {1}{\sqrt {2\pi }}}e^{-{\frac {x^{2}}{2}}}\ \mathrm {d} \lambda (x)$.
Daraus folgt, dass jeder Lebesgue-Nullmenge von $P$ auch die Wahrscheinlichkeit $0$ zugewiesen wird, also $P\ll \lambda$. Zum Beispiel ist $P(\mathbb {Q} )=0$.
Das letzte Beispiel lässt sich verallgemeinern. Angenommen ein Maß $\nu$ lasse sich durch eine Dichtefunktion $f_{\nu }\colon X\to \mathbb {R}$ bzgl. eines anderen Maßes $\mu$ darstellen, es gelte also $\textstyle \nu (A)=\int _{A}f_{\nu }\ \mathrm {d} \mu$ für jede Menge $A$ aus der σ-Algebra ${\mathcal {A}}$. Dann ist $\nu \ll \mu$, denn das Integral über eine Nullmenge ist immer $0$.
Die Umkehrung gilt im Allgemeinen nicht. So ist das Lebesgue-Maß bzgl. des Zählmaßes auf $\mathbb {R}$ zwar absolut stetig, besitzt aber keine Dichte. Für bestimmte Spezialfälle lässt sich aber eine Umkehrung angeben (s. unten).

## Charakterisierungen

In bestimmten Fällen lassen sich Eigenschaften von Maßen angeben, die äquivalent zur obigen Definition sind. Sei $\mu$ ein positives Maß und $\nu$ ein endliches oder komplexes Maß auf demselben Messraum, insbesondere sei also $|\nu (X)|<\infty$. Es gilt dann folgender Satz:
    Das Maß $\nu$ ist genau dann absolut stetig bzgl. $\mu$, wenn es für jedes $\varepsilon >0$ ein $\delta >0$ gibt, so dass für alle $A\in {\mathcal {A}}$ mit $\mu (A)<\delta$ gilt $|\nu (A)|<\varepsilon$.
Ist dagegen $|\nu (X)|=\infty$, so impliziert der erste Teil nicht mehr den zweiten.
Bezeichne erneut $\lambda$ das Lebesgue-Maß auf der reellen Gerade und $\nu$ ein weiteres Maß auf $\mathbb {R}$. Die Verteilungsfunktion $F_{\nu }$ von $\nu$ ist definiert als $F_{\nu }\colon \mathbb {R} \to [0,\infty ];\,x\mapsto \nu ((-\infty ,x]).$
    Das Maß $\nu$ ist genau dann absolut stetig bzgl. $\lambda$, wenn jede Einschränkung von $F_{\nu }$ auf ein endliches Intervall $I\subset \mathbb {R}$ eine absolut stetige Funktion auf $I$ ist.
Die erste Charakterisierung zeigt, dass es sich bei absoluter Stetigkeit tatsächlich um einen Stetigkeitsbegriff für Maße handelt. Die zweite Charakterisierung motiviert die Bezeichnung.

## Äquivalenz von Maßen

Da $\ll$ eine Quasiordnung ist, lässt sich durch
    $\nu \sim \mu :\Longleftrightarrow \nu \ll \mu \land \mu \ll \nu$
eine Äquivalenzrelation auf der Menge aller Maße auf $X$ definieren. Für äquivalente Maße stimmen die Nullmengen genau überein. Die Äquivalenzklassen werden durch $\ll$ halbgeordnet.
Diese Äquivalenz erklärt viele nützliche Eigenschaften, zum Beispiel von σ-endlichen Maßen, denn es gilt:
    Ist $\mu$ σ-endlich, so ist es zu einem endlichen Maß äquivalent; selbst dann, wenn $\mu (X)=\infty$.
Darüber hinaus gibt es eine $\mu$-integrierbare Funktion $w\in L^{1}(\mu )$, so dass $0<w(x)<1$ für alle $x\in X$. Das äquivalente endliche Maß $\nu$ ist dann durch $\textstyle \nu (A)=\int _{A}w\ \mathrm {d} \mu$ gegeben, d. h. $w$ ist die $\mu$-Dichte von $\nu$. Ist $\mu \not \equiv 0$ nicht das Nullmaß, so lässt sich $w$ so wählen, dass $\textstyle \int _{X}w\ \mathrm {d} \mu =1$. Das Maß $\mu$ ist dann also sogar zu einem Wahrscheinlichkeitsmaß äquivalent.
Tatsächlich lässt sich obiger Satz wie folgt verstärken:
    Ist $\mu$ s-finit und $\mu \not \equiv 0$, so ist es zu einem Wahrscheinlichkeitsmaß äquivalent.
Dies ist eine echte Verallgemeinerung, da σ-endliche Maße stets auch s-finit sind, aber nicht umgekehrt.

## σ-endliche Maße

Auf Grund der oben beschriebenen Äquivalenz wird absolute Stetigkeit häufig im Kontext von σ-endlichen Maßen diskutiert. So werden zum Beispiel in der mathematischen Statistik dominierte Verteilungsklassen behandelt. Eine dominierte Klasse ist dabei die Gesamtheit aller Wahrscheinlichkeitsmaße, die absolut stetig bzgl. eines gemeinsamen σ-endlichen Maßes sind. Des Weiteren gelten die folgenden fundamentalen Sätze für σ-endlichen Maße.

### Satz von Radon-Nikodým

Der Satz von Radon-Nikodým kehrt das obige Beispiel mit der Dichtefunktion um.
    Ist $\mu$ σ-endlich, so gilt $\nu \ll \mu$ für ein weiteres Maß $\nu$ genau dann, wenn $\nu$ eine Dichte bzgl. $\mu$ besitzt.

### Zerlegungssatz von Lebesgue

Der Zerlegungssatz von Lebesgue liefert die Existenz einer Zerlegung eines $\sigma$-endlichen Maßes in einen absolut stetigen und einen singulären Anteil.
    Sind $\mu ,\nu$ zwei σ-endliche Maße, dann gibt es zwei weitere σ-endliche Maße $\nu _{a}$ und $\nu _{s}$ mit $\nu =\nu _{a}+\nu _{s}$, so dass $\nu _{a}\ll \mu$ sowie $\nu _{s}\perp \mu$ gilt.