Probabilités sur un ensemble fini
Cours · mathématiques approfondies (ECG 1re année), chapitre 6 · prépa ECG, 1re année · le début du chapitre, la suite sur Adloun
Ce chapitre met en place un cadre simplifié mais formalisé : on s'y restreint à un univers fini, ce qui permet de mener tous les calculs sans difficulté théorique. Le second semestre lèvera cette restriction ; tout ce qui s'écrit ici y restera vrai.
est fini, et l'ensemble des événements est — le mot tribu n'est pas employé. Le programme demande aussi d'éviter un usage avancé de la combinatoire : on privilégie le vocabulaire probabiliste sur les dénombrements virtuoses.
6.1 Événements
Une expérience aléatoire a des résultats connus mais imprévisibles. L'ensemble de ces résultats est l'univers ; toute partie de est un événement. Deux événements sont incompatibles (ou disjoints) lorsque leur intersection est vide.
traduit « ou », traduit « et », traduit la négation. De Morgan s'y lit directement : dit que « ni ni » équivaut à « pas et pas ».
Une famille finie est un système complet d'événements lorsque les sont deux à deux incompatibles et que leur réunion vaut : exactement une des situations se réalise.
6.2 Probabilité
Une probabilité sur est une application à valeurs dans , additive — pour et incompatibles — et vérifiant .
; ; et entraîne .
Lorsque tous les événements élémentaires ont même probabilité,
Elle traduit une symétrie de l'expérience, elle ne va jamais de soi. Sur la somme de deux dés, les onze résultats ne sont pas équiprobables — c'est en revenant aux couples qu'on la retrouve.
6.3 Probabilités conditionnelles
Si , la probabilité de sachant est
est elle-même une probabilité sur : toutes les formules établies s'y appliquent.