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
| densité de probabilité | fonction de répartition | réciproque (généralisée) | code | |
|---|---|---|---|---|
| Loi de Cauchy |
|
|
|
|
| Loi exponentielle |
|
|
|
|
| Loi uniforme sur [a,b] |
|
|
|
|
| Loi de Bernoulli |
|
|
| |
| Loi uniforme sur
|
|
|
| |
| 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. | |||
La réciproque généralisée de
Soit
Alors
Théorème — Sur l'espace
Ainsi toute fonction
Pour
Donc
Commençons par un cas simple à titre d'entrainement:
Si
donc
Ainsi
Dans le cas général, on a également
et on conclut donc exactement de la même manière que précédemment, mais la démonstration de l'équivalence ci-dessus est moins directe. Tout d'abord, pour
On a, par définition de
La réciproque vient de ce que
Par continuité à droite de
mais également, par définition de
ce qui conduit à
Remarques.