Convergence étroite d'une suite de lois de probabilité sur R vers ...
Convergence étroite d'une suite de lois de probabilité sur R vers ...
Convergence étroite d'une suite de lois de probabilité sur R vers ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Lemme 0.12 Les transformées <strong>de</strong> Fourier d’une <strong>suite</strong> tendue <strong>de</strong> <strong>lois</strong> <strong>de</strong> probabilités sont uniformément<br />
équicontinues.<br />
Théorème 0.13 (théorème <strong>de</strong> Lévy) Si la limite simple ϕ, d’une <strong>suite</strong> <strong>de</strong> transformées <strong>de</strong> Fourier <strong>de</strong><br />
<strong>lois</strong> <strong>de</strong> probabilités (µ n ) n <strong>sur</strong> ( R, B(R) ) est continue en 0, cette limite est en fait la transformée <strong>de</strong> Fourier<br />
d’une loi <strong>de</strong> probabilité <strong>sur</strong> ( R, B(R) ) :<br />
∃µ ∈ M + 1 (R) , tel que : µ n<br />
n→+∞<br />
=====⇒ µ , avec : ϕ = ̂µ<br />
4<br />
Modélisation <strong>de</strong> <strong>lois</strong> <strong>de</strong> probabilité :<br />
Proposition 2 Soit µ une loi <strong>de</strong> probabilité <strong>sur</strong> ( RB(R) ) , <strong>de</strong> fonction <strong>de</strong> répartition F :<br />
∀t ∈ R, F (t) := µ ( ] − ∞, t] )<br />
La fonction T , ”in<strong>vers</strong>e généralisée <strong>de</strong> F ”, définie <strong>sur</strong> ]0, 1[ par la formule :<br />
∀x ∈]0, 1[ , T (x) := inf { t ∈ R ∣ ∣ x ≤ F (t)<br />
}<br />
est une fonction borélienne (en fait croissante) qui, considérée comme variable aléatoire <strong>sur</strong> l’espace probabilisé<br />
: ( ]0, 1[ , B(]0, 1[) , λ ]0,1[<br />
)<br />
est <strong>de</strong> loi µ.<br />
Remarque 2 La fonction croissante T est toujours continue à gauche, elle est continue si et seulement<br />
si la loi µ attribue une masse > 0 à tous les (intervalles) ouverts non vi<strong>de</strong>s.<br />
Théorème 0.14 (Theorème <strong>de</strong> Skorohod) Si µ n ∈ M + 1 (R), <strong>lois</strong> <strong>de</strong> probabilités <strong>sur</strong> ( R, B(R) ) convergent<br />
étroitement <strong>vers</strong> une loi <strong>de</strong> probabilités µ ∈ M + 1 (R) <strong>sur</strong> ( R, B(R) ) , il existe <strong>de</strong>s variables<br />
aléatoires T n et T , toutes définies <strong>sur</strong> un même espace <strong>de</strong> probabilité ( Ω, A, P ) , <strong>de</strong> <strong>lois</strong> respectives µ n et µ<br />
telles que : T n convergent P-presque-sûrement <strong>vers</strong> T .<br />
De façon explicite si F n et F sont les fonctions <strong>de</strong> répartition respectives <strong>de</strong> µ n et µ, leurs ”in<strong>vers</strong>es<br />
)<br />
généralisées respectives ” T n et T variables aléatoires <strong>sur</strong><br />
(]0, 1[, B(]0, 1[), λ ]0,1[ , <strong>de</strong> <strong>lois</strong> respectives µ n<br />
et µ, vérifient :<br />
T n (x) n→+∞ ✲T (x) en tout x point <strong>de</strong> continuité <strong>de</strong> T , donc pour λ-presque tout x ∈]0, 1[