Vue d'ensemble
Les probabilités conditionnelles formalisent une idée intuitive mais piégeuse : « sachant qu'un événement s'est produit, quelle est la probabilité de ? ». Elles ouvrent la voie aux deux théorèmes les plus utilisés du chapitre — la formule des probabilités totales et la formule de Bayes — et conduisent à la notion d'indépendance, cœur du raisonnement probabiliste. Cette fiche regroupe les 5 théorèmes incontournables, les 4 démonstrations à savoir refaire et les pièges (notamment la confusion indépendance 2 à 2 vs mutuelle) qui font perdre des points en colle comme à l'écrit.
Prérequis
- Espace probabilisé fini : axiomes et additivité finie
- Manipulation des événements : réunion , intersection , complémentaire
- Système complet d'événements : partition de avec
Tu confonds et une fois sur deux ? C'est le piège n°1 du chapitre : il fait chuter 1 élève de PCSI sur 2 sur le test diagnostic médical et les exos de Bayes. Nos mentors alumni X · Centrale · Mines remettent les fondations en place en cours particuliers, avec arbres de probabilités et exos sur-mesure tirés de tes propres DS.
Trouver un mentor PCSI →1. Définitions essentielles
Soient et deux événements d'un espace probabilisé fini tels que . On appelle probabilité conditionnelle de sachant le réel :
Les deux notations et sont rigoureusement équivalentes ; la première met en avant le fait que est elle-même une probabilité (cf. Théorème 2.1).
Une famille finie d'événements de est un système complet d'événements si elle forme une partition de , c'est-à-dire :
- les sont deux à deux incompatibles : ,
- leur réunion couvre : .
On suppose en général que pour tout , afin que les conditionnements soient bien définis.
Deux événements et sont indépendants (pour la probabilité ) si :
Lorsque , cette condition équivaut à (cf. Proposition 4.1) : savoir que est réalisé ne modifie pas la probabilité de .
Une famille finie d'événements est mutuellement indépendante si pour toute sous-partie non vide, on a :
Cette condition doit être vérifiée pour toutes les sous-intersections — pas seulement pour l'intersection totale.
Une famille est indépendante deux à deux si pour tout couple , les événements et sont indépendants : .
2. Théorèmes fondamentaux
2.1 — P_B est une probabilité sur Ω
Soit un événement tel que . L'application définie par est une probabilité sur : elle vérifie et l'additivité finie.
Démonstration (vérification des axiomes)
Soit avec . On vérifie les axiomes d'une probabilité sur l'univers fini .
(i) Positivité et borne supérieure. Pour tout , et , donc . De plus donc , soit . Ainsi .
(ii) Masse totale. .
(iii) Additivité finie. Soient incompatibles (). Alors , donc et sont incompatibles. Par additivité de :
Par récurrence immédiate, on obtient l'additivité pour toute famille finie d'événements deux à deux incompatibles. Donc est bien une probabilité sur .
2.2 — Formule des probabilités composées
Soient deux événements. Si , alors :
Symétriquement, si , . Les deux écritures sont égales — c'est la clé de la formule de Bayes.
Soient des événements tels que . Alors :
C'est la formule qui « descend » naturellement le long d'une branche d'arbre de probabilités.
2.3 — Formule des probabilités totales
Soit un système complet d'événements avec pour tout . Alors, pour tout événement :
Démonstration (partition + additivité)
Comme est un système complet d'événements, et les sont deux à deux incompatibles. On écrit alors :
Les événements sont eux aussi deux à deux incompatibles : si , . Par additivité finie de :
Enfin, pour chaque , permet d'écrire par la formule des probabilités composées, d'où :
- Identifier le système complet pertinent. Le plus souvent , ou « = -ème urne tirée », « = état initial », etc.
- Vérifier pour chaque indice (sinon on conditionne par l'impossible).
- Calculer chaque — c'est généralement direct car le conditionnement fixe la situation.
- Sommer : .
2.4 — Formule de Bayes
Soient un événement avec et un système complet d'événements avec pour tout . Alors, pour tout :
Démonstration (symétrie des probabilités composées + dénominateur via PT)
On part de la double écriture de via la formule des probabilités composées (Théorème 2.2) :
Comme , on isole en divisant par :
Il ne reste qu'à exprimer au dénominateur grâce à la formule des probabilités totales (Théorème 2.4) appliquée au système complet :
En substituant, on obtient bien la formule annoncée.
Le test diagnostic, c'est LE classique où 70 % des PCSI se trompent en première lecture. En 1 séance avec un mentor Majorant alumni de l'X ou Centrale, tu maîtrises Bayes pour de bon : arbre, double écriture des composées, lecture vraisemblance/a priori, et variantes (deux tests successifs, mise à jour itérative).
Réserver une séance ciblée →3. Arbres de probabilités — méthode visuelle
L'arbre est la matérialisation graphique des théorèmes 2.3 (composées généralisées) et 2.4 (probabilités totales). Bien dessiné, il transforme un énoncé verbal en calcul mécanique.
- Racine. On part de (univers).
- Premier niveau. On choisit un système complet d'événements ; on dessine branches étiquetées .
- Deuxième niveau. À l'extrémité de chaque branche , on dessine les sous-branches et étiquetées par les probabilités conditionnelles et .
- Probabilité d'un chemin (probabilités composées). On multiplie les étiquettes le long du chemin : .
- Probabilité d'un événement final (probabilités totales). On somme les probabilités de tous les chemins menant à cet événement : .
4. Indépendance — caractérisations et subtilités
Soient deux événements avec . Alors :
Démonstration (équivalence directe)
Supposons .
(⇒) Si et sont indépendants, alors par définition . En divisant par :
(⇐) Réciproquement, si , alors par définition de :
ce qui est exactement la définition de l'indépendance de et . On a bien l'équivalence.
Si et sont indépendants, alors les couples , et sont eux aussi indépendants.
Démonstration (cas (A, \overline{B}))
Supposons et indépendants. On veut . Or (union disjointe), donc :
soit . Les autres cas s'en déduisent par symétrie.
5. Erreurs classiques en copie (vues par les correcteurs)
Ces erreurs sont relevées chaque année dans les rapports de jury (CCINP, Mines-Ponts, Centrale, X-ENS) sur les épreuves comportant des probabilités conditionnelles. Elles coûtent typiquement entre 1 et 3 points par occurrence.
6. Pour aller plus loin
Les probabilités conditionnelles sont l'infrastructure de tout le programme de probabilités PCSI/MP. Les chapitres qui les réinvestissent directement :
- Variables aléatoires discrètes — les lois conditionnelles sont construites sur le même modèle que . L'indépendance de variables aléatoires se définit via l'indépendance mutuelle des événements .
- Espérance conditionnelle (spé) — calcule la moyenne de sous la probabilité . La formule de l'espérance totale est l'analogue de la formule des probabilités totales pour l'espérance.
- Chaînes de Markov (spé) — les transitions sont précisément des probabilités conditionnelles, et la matrice de transition encode tout le système dynamique.
- Statistique inférentielle — la formule de Bayes est l'outil central de l'inférence bayésienne, qui met à jour des distributions a priori à la lumière de données observées (et qui est partout en data science).
Récap final — Ce qu'il faut absolument retenir
À la veille d'une khôlle ou d'un DS, parcours cette checklist : tu dois pouvoir répondre « oui, sans hésiter » à chaque question.
- Sais-tu écrire la définition de (avec la condition ) sans regarder ?
- Sais-tu démontrer que est une probabilité sur (vérification des trois axiomes) ?
- Sais-tu énoncer et démontrer la formule des probabilités totales (système complet + additivité) ?
- Sais-tu énoncer et démontrer la formule de Bayes à partir de la double écriture ?
- Sais-tu écrire la formule des probabilités composées généralisée pour événements ?
- Sais-tu définir l'indépendance mutuelle d'une famille (toutes les sous-intersections) ?
- Sais-tu donner le contre-exemple de Bernstein (indépendance 2 à 2 ≠ mutuelle) ?
- Sais-tu démontrer l'équivalence ?
- Sais-tu construire et exploiter un arbre de probabilités (composées sur une branche, totales sur les branches sommées) ?
- Sais-tu calculer la valeur prédictive positive d'un test diagnostic avec Bayes (et expliquer le résultat contre-intuitif) ?
- Connais-tu les 5 erreurs classiques en copie et sais-tu les éviter (notamment vs , partition incomplète, indép. 2 à 2 vs mutuelle) ?
Démonstrations à savoir refaire
- P_B est une probabilité sur Ω — vérification des trois axiomes (positivité, masse, additivité)
- Formule des probabilités totales — partition par système complet + additivité finie
- Formule de Bayes — double écriture des composées + dénominateur via probabilités totales
- Équivalence indépendance ⇔ — division par , aller-retour direct