Satz von Feldman-Hájek
# Satz von Feldman-Hájek

Der Satz von Feldman-Hájek ist ein mathematischer Satz aus der Stochastik und ein wichtiger Satz aus der Theorie der gaußschen Maße. Er ist eines der Dichotomie-Resultate für das gaußsche Maß und sagt, dass zwei gaußsche Maße auf demselben lokalkonvexen Raum entweder äquivalent oder singulär zueinander sind. Ein ähnliches Resultat lieferte der Satz von Kakutani von 1948 für abzählbar-unendliche Produkträume und allgemeine Wahrscheinlichkeitsmaße.
Der Satz von Feldman-Hájek wurde unabhängig von dem Amerikaner Jacob Feldman (1958) und dem Tschechen Jaroslav Hájek (1959) für Hilbert-Räume gezeigt.
Das Theorem spielt allgemein eine wichtige Rolle in der Analysis auf unendlich-dimensionalen Räumen, da man dort häufig als Referenzmaß ein gaußsches Maß an Stelle des Lebesgue-Maßes nimmt.

## Satz von Feldman-Hájek

Sei $X$ ein lokalkonvexer Raum, $X\,'$ der dazugehörige topologische Dualraum und ${\mathcal {E}}(X,X\,')$ die zylindrische σ-Algebra.
Seien $\mu$ und $\nu$ zwei gaußsche Maße auf $(X,{\mathcal {E}}(X,X\,'))$, dann gilt entweder Äquivalenz $\mu \sim \nu$ oder Singularität $\mu \perp \nu$.

### Bemerkung

* Singularität ist eine symmetrische Relation, das heißt aus $\mu \perp \nu$ folgt auch $\nu \perp \mu$.
* Der Satz liefert keine Bedingung dafür, welcher der Fälle auftritt. Betrachtet man einen abzählbaren Produkt-Raum, so liefert der Satz von Kakutani eine Bedingung über das Hellinger-Integral, welche sagt, ob die beiden Maße äquivalent oder singulär sind.

## Beweis-Skizze

Es existiert eine Zerlegung $\mu =\mu _{a}+\mu _{s}$, so dass $\mu _{s}$ singulär zu $\nu$ und $\mu _{a}$ absolutstetig bezüglich $\nu$ ist, d. h. $\mu _{a}=\mu |_{A}\ll \nu$ für ein $A\in {\mathcal {E}}(X,X\,')$. Sei $\varphi \in \mathbb {R}$ ein beliebiger Winkel, so dass $\varphi \neq 2k\pi /3$ für alle $k\in \mathbb {Z}$ gilt. Definiere den Operator $T_{\varphi }:X^{3}\to X^{3}$ durch
    $T_{\varphi }={\begin{pmatrix}a&b&c\\c&a&b\\b&c&a\end{pmatrix}},\qquad a:={\tfrac {1}{3}}+{\tfrac {2}{3}}\cos \varphi ,\quad b:={\tfrac {1}{3}}-{\tfrac {1}{3}}\cos \varphi -{\tfrac {1}{\sqrt {3}}}\sin \varphi ,\quad c:={\tfrac {1}{3}}-{\tfrac {1}{3}}\cos \varphi +{\tfrac {1}{\sqrt {3}}}\sin \varphi .$
Beachte, dass $a+b+c=1$. Ein Resultat aus der Theorie der gaußschen Maße sagt nun, dass alle unter $T_{\varphi }$ invarianten Maße dreifache Produktmaße $\lambda ^{3}=\lambda \otimes \lambda \otimes \lambda$ gaußscher Maße $\lambda$ sind. Falls $\mu (A)>0$, dann ist $\mu _{a}/\mu (A)$ unter $T_{\varphi }$ invariant und deshalb ein gaußsches Maß. Ein weiteres Resultat zeigt nun, dass wenn $\mu _{a}/\mu (A)$ gaußsch ist, dann muss $\mu (A)=1$ gelten und somit $\mu _{a}=\mu$ und $\mu \ll \nu$. Das gleiche Argument gilt für $\nu \ll \mu$. Falls $\mu (A)=0$, dann ist $\mu \perp \nu$.