Compléments sur les variables aléatoires réelles
Cours complet · mathématiques approfondies (ECG 2e année), chapitre 6 · prépa ECG, 2e année
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
La première année a traité les variables aléatoires discrètes : celles qui ne prennent qu'un nombre fini ou dénombrable de valeurs. Or beaucoup de grandeurs aléatoires ne sont pas de cette sorte — une durée d'attente, une température, un cours de bourse prennent leurs valeurs dans un intervalle.
Ce chapitre pose le cadre commun aux deux mondes. Il introduit l'objet qui les décrit tous les deux, la fonction de répartition, et un outil de calcul qui reviendra sans cesse : la formule de l'espérance totale, qui permet de calculer une espérance en découpant l'univers.
« Le fait de vérifier qu'une fonction est une variable aléatoire n'est pas un des objectifs du programme. » On ne demandera jamais de démontrer que est un événement : cela sera toujours acquis. De même, « aucune difficulté ne sera soulevée » sur la dénombrabilité.
6.1 Le cadre général
6.1.1 Variable aléatoire réelle
Un espace probabilisé est un triplet où est l'univers, l'ensemble des événements, et une probabilité.
Une variable aléatoire réelle est une application telle que, pour tout réel , l'ensemble soit un événement.
6.1.2 Fonction de répartition
La fonction de répartition de est
est croissante, vérifie
et pour tous réels :
Deux variables aléatoires ayant la même fonction de répartition ont la même loi. C'est ce qui rend si utile : un seul objet décrit une variable discrète comme une variable continue, alors que la « loi » se présente autrement dans les deux cas — par les d'un côté, par une densité de l'autre.
Si et sont des variables aléatoires sur , alors , , et en sont aussi.
Le programme l'admet. Ce qui compte en pratique est la conséquence : on peut combiner des variables aléatoires sans se demander si le résultat en est une.
6.2 Espérance conditionnelle
Soit un événement de probabilité non nulle et une variable aléatoire discrète. L'espérance de sachant , notée , est l'espérance de pour la probabilité conditionnelle :
sous réserve de convergence absolue.
Conditionner par , c'est restreindre l'univers à et renormaliser : on ne regarde plus que les issues de , en donnant à leurs probabilités une somme totale de . L'espérance conditionnelle est alors la moyenne de sur ce sous-univers.
On lance un dé équilibré à six faces, est le résultat, et est l'événement « le résultat est pair ». Alors, sachant , les trois valeurs , , sont équiprobables :
À comparer à : conditionner change la moyenne, et c'est bien tout l'intérêt.
6.3 Formule de l'espérance totale
Une famille d'événements est un système complet si les sont deux à deux incompatibles et si leur réunion est .
Soit une variable aléatoire discrète et un système complet d'événements de probabilités toutes non nulles. Alors admet une espérance si et seulement si
- pour tout , l'espérance conditionnelle existe ;
- la série converge.
Dans ce cas,
On l'emploie quand est difficile à décrire globalement, mais simple une fois qu'on sait dans quel cas on est. On découpe l'univers selon ce « cas », on calcule la moyenne dans chacun, et l'on pondère par les probabilités. C'est l'exact analogue de la formule des probabilités totales, pour les espérances.
Une urne contient deux dés : l'un est équilibré à faces, l'autre à faces. On en tire un au hasard (également probable) et on le lance ; est le résultat.
Posons = « on a pris le dé à faces » et = « celui à ». C'est un système complet, avec . Sachant , est uniforme sur donc ; sachant , uniforme sur donc . Ainsi
On n'a jamais eu besoin de la loi de , qui est pourtant moins simple qu'il n'y paraît.
Python : Vérifier une espérance totale par simulation
import random
def experience():
faces = 6 if random.random() < 0.5 else 4
return random.randint(1, faces)
random.seed(0)
N = 200000
moyenne = sum(experience() for _ in range(N)) / N
print(round(moyenne, 3)) # proche de 3.0
La simulation corrobore le calcul, elle ne le remplace pas : avec tirages, l'écart typique à la vraie valeur est encore de l'ordre de . Une simulation ne prouve jamais une égalité.