Théorème de Yan

Le théorème de Yan est un résultat mathématique de la théorie des probabilités et un théorème pour l'[[espace Lp|espace Modèle:Math]] et un théorème de séparation et d'existence d'un intérêt particulier pour les mathématiques financières. En mathématiques financières, le théorème peut être utilisé pour la preuve du théorème fondamental de l'évaluation des actifs.

Le théorème porte le nom du mathématicien chinois Jia-An Yan. Yan a prouvé le théorème pour l'espace Modèle:Math, de Jean-Pascal Ansel vient la généralisation au cas $1\le p<+\mathrm{\infty }$.

Théorème de Yan

Soient:

$(\mathrm{\Omega },ℱ,P)$ un espace de probabilité.

$B_{+}$ l'espace des variables aléatoires non négatives et bornées.

$I_A$ une fonction caractéristique de $A\in ℱ$.

$1\le p<+\mathrm{\infty }$ et $K\subseteq L^p(\mathrm{\Omega },ℱ,P)$ un sous-ensemble convexe avec $0\in K$.

$q$ est l'exposant conjugué de $p$, c'est $q^{-1}:=1-p^{-1}$.

$K-B_{+}:=\{f-g:f\in K,g\in B_{+}\}$.

Alors les trois conditions suivantes sont équivalentes :

1. Pour tout $f\in L_{+}^p(\mathrm{\Omega },ℱ,P)$ avec $f\ne 0$ il existe une constante $c>0$ de sorte que $cf\in ̸\overline{K-B_{+}}$.
2. Pour tout $A\in ℱ$ avec $P(A)>0$ il existe une constante $c>0$ telle que $c{I}_A\in ̸\overline{K-B_{+}}$.
3. Il existe une variable aléatoire $Z\in L^q$ telle que $Z>0$ presque sûrement et

$\sup {\mathrm{\backslash limits}}_{Y\in K}𝔼[ZY]<+\mathrm{\infty }$.