Corrigé ESSEC 2006 Eco Mathématiques II par Pierre Veuillez
Les deux problèmes sont totalement indépendants, le premier est consacré aux lois de probabilité et
variables aléatoires discrètes. Dans le second on manipule au contraire des lois de probabilité et des
variables aléatoires continues.
Notations : si aet bsont deux nombres réels, on désigne par a^ble plus petit de ces deux nombres.
Tout au long du sujet (;F;P)désignera un espace probabilisé et les variables aléatoires utilisées plus bas
seront toutes dé…nies sur cet espace probabilisé. Sous réserve de son existence, l’espérance mathématique
d’une variable aléatoire réelle Xsera notée E(X)
1Problème 1 Distance en variation et couplage .
1.1 Partie 1 Distance en variation.
Dans cette première partie on considère un ensemble discret Kdont on suppose qu’il est soit …ni soit
égal à l’ensemble des entiers naturels N:Adésigne l’ensemble de toutes les parties de Ket pour tout
A2 A, on note
Ale complémentaire de Adans K.
Soient Pet Qdeux lois de probabilité sur K. (N.B. en fait, ce sont des probabiltiés) Pour tout k2 K
, on pose pk=P(fkg)et qk=Q(fkg). On rappelle que pour tout k2 K; pk0, avec X
k2K
pk= 1.
De plus toute probabilité Pest entièrement déterminée par la donnée de (pk)k2K puisque pour tout
A2 A; P (A) = X
k2A
pk
Lorsque Kest …ni on dé…nit la distance en variation entre les probabilités Pet Qpar
D(P ;Q) = 1
2X
k2K jpkqkj((i))
1. Lorsque K=f0; 1g
on a D(P ;Q) = 1
2(jp0q0j+jp1q1j)
et comme p0+p1= 1 on a donc p0= 1 p1et q0= 1 q1.
Donc D(P ;Q) = 1
2(jq1p1j+jp1q1j) = jp1q1j(car jxj=jxjpour tout xréel )
2. Lorsque K=N,
Pour tout k2 K, on a 0 jpkqkjjpkj+jqkj=pk+qk(inégalité triangulaire)
Comme les séries de terme général pket qkconvergent, celle de terme général pk+qkégalement.
Et par majoration des termes positif d’une série,
Conclusion : la série de terme général jpkqkjconverge.
On étend donc la dé…nition de la distance en variation donnée par (i)au cas où K=N.
3. Pour tout A2 A;on a 0P(A)1et 0Q(A)1
Donc 1P(A)Q(A)1d’où jP(A)Q(A)j 1(équivaut en fait)
Conclusion : jP(A)Q(A)j 2 [0;1].
swp0001 Page 1/ 13