Yan's theorem explained

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

.[2]

Yan's theorem

Notation:

\overline{\Omega}

is the closure of a set

\Omega

.

A-B=\{f-g:f\inA,g\inB\}

.

IA

is the indicator function of

A

.

q

is the conjugate index of

p

.

Statement

Let

(\Omega,l{F},P)

be a probability space,

1\leqp<+infty

and

B+

be the space of non-negative and bounded random variables. Further let

K\subseteqLp(\Omega,l{F},P)

be a convex subset and

0\inK

.

Then the following three conditions are equivalent:

  1. For all

f\in

p(\Omega,l{F},P)
L
+
with

f0

exists a constant

c>0

, such that

cf\not\in\overline{K-B+}

.
  1. For all

A\inl{F}

with

P(A)>0

exists a constant

c>0

, such that

cIA\not\in\overline{K-B+}

.
  1. There exists a random variable

Z\inLq

, such that

Z>0

almost surely and

\sup\limitsY\inE[ZY]<+infty

.

Literature

References

  1. Jia-An. Yan. 1980. Caracterisation d' une Classe d'Ensembles Convexes de

    L1

    ou

    H1

    . 14. Séminaire de probabilités de Strasbourg. 220–222.
  2. Jean-Pascal. Ansel. Christophe. Stricker. Quelques remarques sur un théorème de Yan. Séminaire de Probabilités XXIV, Lect. Notes Math.. Springer. 1990.