In probability theory, Yan's theorem is a separation and existence result. It is of particular interest in financial mathematics where one uses it to prove the Kreps-Yan theorem.
The theorem was published by Jia-An Yan.[1] It was proven for the L1 space and later generalized by Jean-Pascal Ansel to the case
1\leqp<+infty
Notation:
\overline{\Omega}
\Omega
A-B=\{f-g:f\inA, g\inB\}
IA
A
q
p
Let
(\Omega,l{F},P)
1\leqp<+infty
B+
K\subseteqLp(\Omega,l{F},P)
0\inK
Then the following three conditions are equivalent:
f\in
p(\Omega,l{F},P) | |
L | |
+ |
f ≠ 0
c>0
cf\not\in\overline{K-B+}
A\inl{F}
P(A)>0
c>0
cIA\not\in\overline{K-B+}
Z\inLq
Z>0
\sup\limitsY\inE[ZY]<+infty
L1
H1
L1
H1