Probabilités sur un ensemble quelconque
Cours · mathématiques approfondies (ECG 1re année), chapitre 10 · prépa ECG, 1re année · le début du chapitre, la suite sur Adloun
Le premier semestre s'était restreint à un univers fini. On lève ici cette restriction — et l'on découvre deux objets qui n'existaient pas : les lois prenant une infinité de valeurs, et les théorèmes qui décrivent ce qui arrive à la longue, quand on répète une expérience un grand nombre de fois.
Le vocabulaire général est adopté — — mais aucune difficulté théorique sur l'ensemble des événements n'est soulevée, et le mot tribu n'est pas employé. On ne soulève pas davantage les questions d'ordre de sommation ni de dénombrabilité.
10.1 Espace probabilisé
est l'univers, l'ensemble des événements — il contient et est stable par complémentaire, union et intersection dénombrables. Une probabilité est une application , -additive et telle que . Le triplet est un espace probabilisé.
L'additivité finie ne suffit plus : il faut que la probabilité d'une réunion dénombrable d'événements deux à deux incompatibles soit la somme de la série de leurs probabilités. C'est ce passage du fini au dénombrable qui permet de parler d'un premier succès arrivant à un rang quelconque.
Soit une suite d'événements.
- Si est croissante pour l'inclusion : ;
- si est décroissante : .
Un événement de probabilité nulle est dit négligeable ; un événement de probabilité est dit presque sûr. Une propriété vraie sur un événement presque sûr est vraie presque sûrement.
« Obtenir une suite infinie de piles » a une probabilité nulle — et pourtant cet événement n'est pas vide : c'est une issue parfaitement décrite. La probabilité nulle ne signifie pas l'impossibilité ; c'est une distinction que l'univers fini ne permettait pas de faire.
Les probabilités conditionnelles, la formule des probabilités composées et celle des probabilités totales s'étendent aux systèmes complets dénombrables :
et la formule de Bayes s'en déduit. Si , est lui-même un espace probabilisé.
10.2 Variables aléatoires discrètes
est une variable aléatoire discrète si est fini ou dénombrable et si est un événement pour tout . Sa loi est la donnée de et des .
La fonction de répartition de est définie sur par
Elle est croissante, tend vers en et vers en .
sont mutuellement indépendantes si pour tous :
Exercices du chapitre
- Une fonction de répartition en escalier corrigé
- Un événement négligeable qui n'est pas impossible corrigé
- Une loi géométrique corrigé
- Une loi de Poisson corrigé
- L'absence de mémoire corrigé
- Le mode d'une loi de Poisson corrigé