Satz von Kakutani (Maßtheorie)
# Satz von Kakutani (Maßtheorie)

Der Satz von Kakutani ist ein Resultat aus der Maßtheorie über die Äquivalenz und Singularität zweier abzählbar unendlicher Produkte von Wahrscheinlichkeitsmaßen. Seien $\mu$ und $\nu$ die beiden Produktmaße, dann liefert der Satz eine Bedingung, wann die beiden Produktmaße entweder äquivalent $\mu \sim \nu$ (d. h. sie teilen die gleichen Nullmengen) oder singulär $\mu \perp \nu$ sind.
Die Aussage besitzt eine wichtige Bedeutung in der Stochastik in unendlicher Dimension, weil sie eine Bedingung für einen Maßwechsel auf Funktionenräumen liefert. Der Satz wurde 1948 von dem japanischen Mathematiker Shizuo Kakutani bewiesen.

## Satz von Kakutani

Die Grundbegriffe Äquivalenz und Singularität werden nochmals wiederholt, ansonsten sollte man zum Abschnitt Vorbereitung springen.

### Äquivalenz und Singularität

Sei $(\Omega ,{\mathcal {A}})$ ein messbarer Raum und $\mu ,\nu$ zwei Maße darauf. Äquivalenz der Maße ist definiert als
    $\mu \sim \nu \iff \mu \ll \nu$ und $\nu \ll \mu$,
wobei $\ll$ absolute Stetigkeit bedeutet. Singularität der Maße ist definiert als
    $\mu \perp \nu \iff$ falls zwei disjunkte Mengen $A,B$ existieren, so dass $\Omega =A\cup B$ mit $\mu (A)=0$ und $\nu (B)=0$.

### Vorbereitung

Sei $(\Omega _{n},{\mathcal {B}}_{n},\mu _{n},\nu _{n})_{n\in \mathbb {N} }$ eine Folge von Wahrscheinlichkeitsräumen, bestehend aus einer Menge $\Omega _{n}$, einer σ-Algebra ${\mathcal {B}}_{n}$ und zwei Wahrscheinlichkeitsmaßen $\mu _{n}$ und $\nu _{n}$ darauf. Weiter definieren wir nun die abzählbar unendlichen Produkte der vier Komponenten
    $\Omega :=\prod \limits _{n=1}^{\infty }\Omega _{n},\quad {\mathcal {B}}:=\bigotimes _{n=1}^{\infty }{\mathcal {B}}_{n},\quad \mu :=\bigotimes _{n=1}^{\infty }\mu _{n},\quad \nu :=\bigotimes _{n=1}^{\infty }\nu _{n},$
d. h. $\mu ,\nu$ sind beide auf ${\mathcal {B}}$ definiert. Weiter definieren wir folgendes inneres Produkt
    $\varphi (\nu _{n},\mu _{n}):=\int _{\Omega _{n}}{\sqrt {\frac {d\nu _{n}}{d\mu _{n}}}}d\mu _{n},$
welches mit dem Hellinger-Integral übereinstimmt, sowie die logarithmische Transformation
    $\sigma (\nu _{n},\mu _{n}):=\ln(\varphi (\nu _{n},\mu _{n})).$

#### Bemerkung

* Gemeint ist hier, dass wir auch unterschiedliche Wahrscheinlichkeitsräume in der Folge haben können, das heißt zum Beispiel können $\mu _{n}$ und $\mu _{m}$ für $n\neq m$ unterschiedliche Wahrscheinlichkeitsmaße sein.

### Satz von Kakutani

Falls $\nu _{n}\sim \mu _{n},\;$ für alle $n=1,2,\dots ,$ dann gilt entweder
    $\nu \sim \mu \quad$ und $\quad \prod \limits _{n=1}^{\infty }\varphi (\nu _{n},\mu _{n})>0$
oder
    $\nu \perp \mu \quad$ und $\quad \prod \limits _{n=1}^{\infty }\varphi (\nu _{n},\mu _{n})=0.$
Weiter gilt zusätzlich (in beiden Fällen):
    $\varphi (\nu ,\mu )=\prod \limits _{n=1}^{\infty }\varphi (\nu _{n},\mu _{n}),\quad$ und $\quad \sigma (\nu ,\mu )=\sum _{n=1}^{\infty }\sigma (\nu _{n},\mu _{n}).$

#### Erläuterungen

* Die Bedingung $\nu _{n}\sim \mu _{n}$ muss nur für die Wahrscheinlichkeitsmaße auf demselben Raum gelten, allerdings für alle Räume.
* Damit somit $\nu \sim \mu$ gilt, muss zusätzlich auch $\prod \limits _{n=1}^{\infty }\varphi (\nu _{n},\mu _{n})$ konvergieren (d. h. ungleich von Null sein).

## Verallgemeinerungen

Es existieren Verallgemeinerungen für Riesz-Produkte.