Satz von Yan
# Satz von Yan

Der Satz von Yan ist ein mathematisches Resultat aus der Stochastik und ein Trennungs- und Existenzsatz, der von besonderem Interesse in der Finanzmathematik ist. Der Satz kann verwendet werden, um einen anderen wichtigen Trennungssatz zu beweisen, den Satz von Kreps, welcher wiederum für die Beweise der meisten Varianten des Fundamentalsatzes der Arbitragepreistheorie benötigt wird. Da der Satz von Kreps mit Hilfe des Satzes von Yan ohne Separabilität-Annahmen auskommt, wird Kreps Resultat häufig als Satz von Kreps-Yan bezeichnet.
Das Theorem ist nach dem chinesischen Mathematiker Jia-An Yan benannt, der bei Paul-André Meyer promovierte. Yan bewies den Satz für den L$^1$-Raum, von Jean-Pascal Ansel stammt die Verallgemeinerung auf den Fall $1\leq p<+\infty$.

## Satz von Yan

Notation:
    ${\overline {\Omega }}$ bezeichnet die abgeschlossene Hülle von $\Omega$.
    $A-B=\{f-g:f\in A,\;g\in B\}$.
    $I_{A}$ ist die Indikatorfunktion von $A$.
    $q$ ist der konjugierter Index von $p$.

### Aussage

Sei $(\Omega ,{\mathcal {F}},P)$ ein Wahrscheinlichkeitsraum, $1\leq p<+\infty$ und $B_{+}$ der Raum der nicht-negativen und beschränkten Zufallsvariablen. Weiter sei $K\subseteq L^{p}(\Omega ,{\mathcal {F}},P)$ eine konvexe Teilmenge und $0\in K$.
Dann sind folgende drei Bedingungen äquivalent:
* Für alle $f\in L_{+}^{p}(\Omega ,{\mathcal {F}},P)$ mit $f\neq 0$ existiert eine Konstante $c>0$, so dass $cf\not \in {\overline {K-B_{+}}}$.
* Für alle $A\in {\mathcal {F}}$ mit $P(A)>0$ existiert eine Konstante $c>0$, so dass $cI_{A}\not \in {\overline {K-B_{+}}}$.
* Es existiert eine Zufallsvariable $Z\in L^{q}$, so dass $Z>0$ fast sicher und
          $\sup \limits _{Y\in K}\mathbb {E} [ZY]<+\infty$.

### Erläuterungen

Die Implikationen $1\implies 2$ und $3\implies 1$ sind einfach zu zeigen. $2\implies 3$ kann durch Anwendung des Satzes von Hahn-Banach respektive der geometrischen Form des Satzes gezeigt werden.