On se donne un espace de probabilités(ΩF0P)et Uneσ-algèbre FF ⊂0. X∈ F0telle queE[|X|]<∞. Espérance conditionnelle de X sachantF: NotéeE[X|F] Définie par:E[X|F] Lest la v.a Y de1(Ω)telle que (i)Y∈ F. (ii)Pour tout A∈ F, on a
E[X1A] =E[Y1A], ou encoreRAX dP=RAY dP.
95
Définition formelle
ét/4sierivUny-ncNalelennoitidnocecna
yT.(Sam)M1-IECN
Interprétation:de manière plus intuitive Freprésente une quantité d’information Yest la meilleure prédiction de X lorsque l’on possède l’information contenue dansF.
Existence:à voir après les exemples.
Remarques
Notation:On utilisera la notationY∈ Fpour dire qu’une variable aléatoireYestF-mesurable.
9/5é5itrsve
Unicité:Si elle existe, l’espérance conditionnelle est unique.
ditieconrancEspéU-innaycllNenoen
noiditnoéparcnceCN)M1-EsamyT.(IES
A≡(Y−Y0>)
0=E[(Y−Y0)1A]≥E[1A] =P(A)
/5é6itrs
Cas particulier:Soit >0, et posons
AlorsA∈ F, et donc
But:Soit Y’ vérifiant (i) + (ii), de mme queY. ,→MontronsY=Y0p.s
Propriété générale:Pour toutA∈ F, on aE[Y1A] =E[Y01A].
Démonstration unicité
⇒P(A) =0
9naNellenevinU-yc
isre/7ét-ycnvinU
on aP(A−) =0.
A−={Y−Y0<0}
Démonstration unicité (2)
59
On an7→A1ncroissante, et donc P(A+) =Pn[>1A1n=nli→m∞P(A1n) =0