Fonction de répartition - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Conséquences du théorème de la réciproque

Simulation de variables aléatoires réelles de loi arbitraire

Si \ \scriptstyle U\ désigne une variable aléatoire réelle uniforme sur [0,1], alors \ \scriptstyle X=G(U)\ a pour fonction de répartition \ \scriptstyle F\ .

Ainsi dans tout langage de programmation possédant un générateur de nombres aléatoires, on peut simuler une suite de longueur arbitraire de v.a.r. indépendantes de même fonction de répartition \ \scriptstyle F\ , pourvu que \ \scriptstyle G\ soit connue : il suffit alors d'appeler ce générateur de manière répétée, et d'appliquer la fonction \ \scriptstyle G\ aux nombres produits par ces appels répétés.

Exemples

Exemples
densité de probabilité fonction de répartition réciproque (généralisée) code
Loi de Cauchy \scriptstyle\frac1{\pi(1+x^2)} \scriptstyle F(x)=\frac1{\pi}\left(\frac{\pi}2+\arctan(x)\right) \scriptstyle G(\omega)=\tan\left(\pi(\omega-\frac12)\right) \scriptstyle x\leftarrow\tan\left(\pi(\mathrm{rand()}-\frac12)\right)
Loi exponentielle \scriptstyle \lambda\,e^{-\lambda x}\ 1_{x\ge 0} \scriptstyle F(x)=\left(1-e^{-\lambda x}\right)\ 1_{x\ge 0} \scriptstyle G(\omega)=-\frac1{\lambda}\ \ln(1-\omega) \scriptstyle x\leftarrow\ -\frac1{\lambda}\ \ln(\mathrm{rand()})
Loi uniforme sur [a,b] \scriptstyle \frac{1}{b-a}\ 1_{[a,b]}(x) \scriptstyle F(x)=\frac{x-a}{b-a}\ 1_{[a,b]}(x)\ +\ 1_{]b,+\infty[}(x) \scriptstyle G(\omega)=a+\omega(b-a) \scriptstyle x\leftarrow a+(b-a)\mathrm{rand()}
Loi de Bernoulli \scriptstyle F(x)=(1-p)\ 1_{[0,1[}(x)\ +\ 1_{[1,+\infty[}(x) \scriptstyle G(\omega)=\lfloor p+\omega\rfloor \scriptstyle x\leftarrow \lfloor p+\ \mathrm{rand()}\rfloor
Loi uniforme sur \scriptstyle\{1,2,\dots,n\} \scriptstyle F(x)=\left\lfloor\frac{x}{n}\right\rfloor\ 1_{[0,1]}(x)\ +\ 1_{]1,+\infty[}(x) \scriptstyle G(\omega)=\lceil n\omega\rceil \scriptstyle x\leftarrow \lceil n\ \mathrm{rand()}\rceil
Loi normale, Loi binomiale comme il n'y a pas de formule suffisamment explicite pour la fonction de répartition, et encore moins de formule explicite pour la réciproque de cette dernière, le théorème est alors inopérant.

Autres conséquences du théorème de la réciproque

La réciproque généralisée de \scriptstyle\ F\ est un exemple de v.a.r. dont la fonction de répartition est \scriptstyle\ F\ , mais c'est un exemple privilégié. Ses utilisations sont nombreuses, allant de propriétés de l'ordre stochastique, à des propriétés de la distance de Wasserstein [1], en passant par le théorème de représentation de Skorohod, voir section suivante.

Théorème de la réciproque

Soit \ \scriptstyle F\ une fonction de \ \scriptstyle \mathbb{R}\ dans \ \scriptstyle \mathbb{R}\ satisfaisant les 4 propriétés caractéristiques. Notons \ \scriptstyle G\ la fonction définie pour \ \scriptstyle \omega \in]0,1[\ par

G(\omega)=\inf\left\{x\in\mathbb{R}\ |\ F(x)\ge\omega\right\}.

Alors \ \scriptstyle G\ est une variable aléatoire réelle définie sur l'espace probabilisé \ \scriptstyle \left(\Omega,\mathcal{A},\mathbb{P}\right)\ \ \scriptstyle \left(\Omega,\mathcal{A}\right)=\left(]0,1[,\mathcal{B}(]0,1[)\right)\ et où \ \scriptstyle \mathbb{P}\ désigne la restriction à \ \scriptstyle \mathcal{B}(]0,1[)\ de la mesure de Lebesgue sur \ \scriptstyle \mathbb{R}\ . Le théorème stipule que :

Théorème — Sur l'espace \ \scriptstyle \left(\Omega,\mathcal{A},\mathbb{P}\right)\ , la fonction de répartition de \ \scriptstyle G\ est \ \scriptstyle F\ .

Ainsi toute fonction \ \scriptstyle F\ de \ \scriptstyle \mathbb{R}\ dans \ \scriptstyle \mathbb{R}\ satisfaisant les 4 propriétés caractéristiques est fonction de répartition d'une variable aléatoire réelle (de \ \scriptstyle G\ , par exemple), ou encore d'une mesure de probabilité sur \ \scriptstyle \left(\mathbb{R},\mathcal{B}(\mathbb{R})\right)\ (de la loi de \ \scriptstyle G\ , par exemple).

Remarques.

  • Lorsque \ \scriptstyle F\ est une bijection bicontinue d'un intervalle \ \scriptstyle I\ dans \ \scriptstyle ]0,1[\ (i.e. \ \scriptstyle F\ est continue strictement croissante), \ \scriptstyle G\ est tout simplement la réciproque de \ \scriptstyle F\ (i.e. \ \scriptstyle G\circ F=\text{Id}_I\ et \ \scriptstyle F\circ G=\text{Id}_{]0,1[}\ ). Pour cette raison, \ \scriptstyle G\ est parfois appelée réciproque généralisée de \ \scriptstyle F.
  • L'intérêt pratique de ce Théorème est développé dans l'article Méthode de la transformée inverse, ainsi que dans la section suivante.
Page générée en 0.381 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise