# Dominierte Verteilungsklasse

Eine dominierte Verteilungsklasse ist in der mathematischen Statistik eine Menge von Wahrscheinlichkeitsmaßen, die alle absolut stetig bezüglich eines Maßes sind. Statistische Modelle mit dominierten Verteilungsklassen sind einfacher zu handhaben als solche ohne, da die Existenz einer Wahrscheinlichkeitsdichte garantiert ist und damit Methoden wie die Maximum-Likelihood-Methode angewandt werden können. Außerdem existieren für dominierte Verteilungsklassen gut handhabbare Kriterien für Suffizienz und Minimalsuffizienz.

## Definition

Gegeben sei ein Messraum $(\Omega ,\Sigma )$ sowie eine Menge ${\mathcal {P}}$ von Wahrscheinlichkeitsmaßen auf diesem Messraum. Die Menge ${\mathcal {P}}$ heißt dann eine dominierte Verteilungsklasse, wenn ein σ-endliches Maß $\mu$ existiert, so dass für alle $P\in {\mathcal {P}}$ gilt, dass
    $P\ll \mu$
gilt. Jedes $P$ ist also absolut stetig bezüglich $\mu$, das heißt für alle $A\in \Sigma$ mit $\mu (A)=0$ gilt auch $P(A)=0$. Dies wird dann auch mit ${\mathcal {P}}\ll \mu$ notiert.

## Beispiele

* Per Definition ist die Exponentialfamilie eine dominierte Verteilungsklasse, da sie als genau die Verteilungsklasse definiert ist, die eine vorgegebene Dichte bezüglich eines Maßes hat.
* Definiert man als Verteilungsklasse ${\mathcal {P}}$ genau diejenigen Wahrscheinlichkeitsmaße auf $\mathbb {R}$, die eine Wahrscheinlichkeitsdichte besitzen, so ist auch dies eine dominierte Verteilungsklasse. Dominierendes Maß ist hier das Lebesgue-Maß.
* Ist $C$ die Cantor-Verteilung und definiert man mit obigem ${\mathcal {P}}$ die neue Verteilungsklasse als ${\mathcal {P}}^{*}={\mathcal {P}}\cup C$, so ist per se nicht klar, ob ${\mathcal {P}}^{*}$ eine dominierte Verteilungsklasse ist oder nicht. ${\mathcal {P}}^{*}$ wird jetzt nicht mehr durch das Lebesque-Maß dominiert, da die Cantor-Verteilung keine Dichte bezüglich des Lebesgue-Maßes hat. Nicht klar ist aber, ob es ein anderes σ-endliches Maß gibt, dass ${\mathcal {P}}^{*}$ dominiert, oder ob ein solches Maß nicht existieren kann und damit die Verteilungsklasse zu einer nicht dominierten Verteilungsklasse macht.

## Eigenschaften

* Ist ${\mathcal {P}}$ eine dominierte Verteilungsklasse, so wird diese Klasse auch immer durch ein Wahrscheinlichkeitsmaß dominiert. Denn ist $\mu _{\sigma }$ ein σ-endliches Maß, das die Verteilungsklasse dominiert, so lässt sich durch
       $\mu _{W}(A):=\sum _{n=1}^{\infty }{\frac {1}{2^{n}}}{\frac {\mu _{\sigma }(A_{n}\cap A)}{\mu _{\sigma }(A_{n})}}$
    ein Wahrscheinlichkeitsmaß definieren, das die Verteilungsklasse dominiert. Dabei sind die $A_{n}$ eine Zerlegung von $\Omega$ mit $0<\mu _{\sigma }(A_{n})<\infty$, wie in der Definition des σ-endlichen Maßes gefordert wird.
* Ist ${\mathcal {P}}$ eine dominierte Verteilungsklasse, so existiert immer ein $P^{*}$, so dass ${\mathcal {N}}_{\mathcal {P}}={\mathcal {N}}_{P^{*}}$ und $P^{*}$ eine abzählbare Konvexkombination mit echt positiven Koeffizienten von Elementen aus ${\mathcal {P}}$ ist. Es gilt also
    $P^{*}=\sum _{i=1}^{\infty }\alpha _{i}P_{i}{\text{ mit }}\alpha _{i}>0{\text{ und }}\sum _{i=1}^{\infty }\alpha _{i}=1$.
    Dabei bezeichnet ${\mathcal {N}}_{\mathcal {P}}$ die Menge aller ${\mathcal {P}}$-Nullmengen. Dieses $P^{*}$ spielt eine wichtige Rolle im Satz von Halmos-Savage und einigen aus ihm abgeleiteten Ergebnissen.
* Ist ${\mathcal {P}}$ eine dominierte Verteilungsklasse und ist ${\mathcal {P}}^{\otimes n}$ die Klasse der n-fachen Produktmaße, so ist auch ${\mathcal {P}}^{\otimes n}$ dominiert.
* Ist ${\mathcal {P}}$ dominiert durch $\mu$ und ist $f$ eine messbare Funktion und sind alle Bildmaße $P_{f}$ unter $f$ σ-endlich, so ist auch die Verteilungsklasse der Bildmaße ${\mathcal {P}}_{f}$ dominiert von $\mu _{f}$.
* Ist ${\mathcal {P}}$ separabel bezüglich der Totalvariationsmetrik, so ist ${\mathcal {P}}$ dominiert.
* Ist ${\mathcal {P}}_{L}$ die von $P$ erzeugte Lokationsklasse, so ist ${\mathcal {P}}_{L}$ genau dann eine dominierte Verteilungsklasse, wenn $P$ dominiert ist.
* Ist die σ-Algebra ${\mathcal {A}}$ des statistischen Modells separabel und die Verteilungsklasse dominiert, so ist die Verteilungsklasse separabel bezüglich der Totalvariationsmetrik.

## Verwendung

Nach dem Satz von Radon-Nikodým existieren für dominierte Verteilungsklassen immer Wahrscheinlichkeitsdichten bezüglich des dominierenden Maßes. Diese Existenzaussage ermöglicht bei stochastischen Modellen, die mit einer dominierten Verteilungsklasse ausgestattet sind, die Anwendung von Methoden, die auf Wahrscheinlichkeitsdichten beruhen. Ein Beispiel hierfür ist die Maximum-Likelihood-Methode.
Außerdem existieren bei dominierten Verteilungsklassen Kriterien, welche die Überprüfung der Suffizienz von σ-Algebren und Suffizienz von Statistiken erleichtern. Die meisten dieser Kriterien bauen auf dem Satz von Halmos-Savage unter Verwendung des oben konstruierten Maßes $P^{*}$ auf. Eines dieser Kriterien ist das Neyman-Kriterium, das beispielsweise die Suffizienz der Exponentialfamilie liefert.
Aus dem Satz von Halmos-Savage lässt sich auch ableiten, dass für dominierte Verteilungsklassen immer eine minimalsuffiziente σ-Algebra existiert. Sie wird von den Dichten der $P$ bezüglich $P^{*}$ erzeugt.