Adloun

Probabilités sur un univers fini

Cours complet · mathématiques MPSI, chapitre 19 · MPSI (classe préparatoire scientifique)

Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre

<i class="fa-solid fa-compass mr-2" style="color:#9A563B"></i>19.1 Introduction et motivation

Ce chapitre, qui a vocation à interagir avec l'ensemble du programme — dénombrement bien sûr, mais aussi sommes (ch. 2), suites (ch. 5), matrices (ch. 9), permutations (ch. 14) —, vise une bonne pratique des variables aléatoires dans le cadre fini. Le point de vue, plus conceptuel qu'au lycée : une situation probabiliste finie est décrite par un -uplet de variables aléatoires, l'univers n'étant qu'une source suffisante d'aléa — on travaille le plus tôt possible avec des événements construits en termes de variables aléatoires , , et la construction explicite de n'est pas un objectif.

Les terrains de jeu suggérés sont riches : marches aléatoires, chaînes de Markov en temps fini, permutations aléatoires, graphes aléatoires, inégalités de concentration. Le programme de l'année s'achève en beauté : une approche non asymptotique de la loi faible des grands nombres, qui justifie l'approche fréquentiste des probabilités.

19.2 Univers, événements, variables aléatoires

Définition 19.1Le dictionnaire probabiliste

Un univers (ici fini) modélise l'ensemble des issues possibles d'une expérience aléatoire. Le vocabulaire des probabilités traduit le vocabulaire ensembliste du chapitre 1 :

ProbabilitésEnsemblesNotation
issue (ou éventualité)élément de
événementpartie de
événement élémentairesingleton
événement certain / impossible /
« et » / « ou »intersection / réunion /
événement contrairecomplémentaire
et incompatibles (disjoints)
système complet d'événementspartition de
Définition 19.2Variable aléatoire

Une variable aléatoire est une application (aucune autre condition dans le cadre fini !). Pour et , on note

Ce sont des événements : toute la pratique consiste à raisonner sur ces événements, sans presque jamais revenir aux .

19.3 Espaces probabilisés finis

Définition 19.3Probabilité, distribution

Une probabilité sur l'univers fini est une application telle que et pour incompatibles. Le couple est un espace probabilisé fini. On note , , les probabilités des événements correspondants.

Une distribution de probabilités sur un ensemble fini est une famille de réels positifs de somme . Une probabilité sur est entièrement déterminée par la distribution : pour tout événement, .

Définition 19.4Probabilité uniforme

La probabilité uniforme sur donne à chaque issue le même poids ; alors

tout calcul de probabilité uniforme est un quotient de deux dénombrements — le chapitre 18 est la salle des machines.

Proposition 19.5Règles de calcul

et la croissance : . (La formule du crible générale est hors programme.)

19.4 Probabilités conditionnelles

Définition 19.6Probabilité conditionnelle

Si , la probabilité conditionnelle de sachant est

on re-normalise l'information « s'est produit ». L'application est elle-même une probabilité sur . Par convention, lorsque .

◆Théorème 19.7Les trois formules fondamentales
  • Probabilités composées : — la formule des arbres : on multiplie le long des branches.
  • Probabilités totales : si est un système complet d'événements,

— on désagrège selon les scénarios .

  • Formule de Bayes : si et ,

— elle renverse le conditionnement : des effets vers les causes.

19.5 Loi d'une variable aléatoire

Définition 19.8Loi

La loi d'une variable aléatoire est la probabilité sur déterminée par la distribution . On note lorsque (même loi — ce qui n'impose pas !). Pour toute fonction , est une variable aléatoire, et . On définit aussi la loi conditionnelle de sachant un événement : la distribution .

Définition 19.9Les trois lois au programme
  • Loi uniforme sur un ensemble fini non vide , notée : pour tout (le dé équilibré).
  • Loi de Bernoulli de paramètre , notée : à valeurs dans avec — le succès d'une expérience (et pour tout événement ).
  • Loi binomiale de paramètres , , notée : à valeurs dans avec

— le nombre de succès en expériences indépendantes (théorème plus bas) ; le coefficient compte les positions des succès (chapitre 18), et la somme des vaut par la formule du binôme.

Définition 19.10Couples et -uplets

Un couple de variables aléatoires est une variable aléatoire à valeurs dans un produit . Sa loi conjointe est la distribution ; les lois marginales (celles de et de ) s'en déduisent en sommant :

(mais la conjointe ne se déduit pas des marginales en général !). Extension immédiate aux -uplets — le bon cadre pour décrire toute situation probabiliste finie.

19.6 Indépendance

19.6.1 Événements indépendants

Définition 19.11Indépendance d'événements

et sont indépendants si . Lorsque , cela équivaut à : savoir n'apprend rien sur . Une famille finie est indépendante (mutuellement) si pour toute sous-famille, la probabilité de l'intersection est le produit des probabilités.

Attention

L'indépendance deux à deux n'implique pas l'indépendance mutuelle : voir l'exercice 6 (deux lancers de pile ou face et l'événement « même résultat »). Il faut vérifier toutes les sous-familles.

Proposition 19.12

Si et sont indépendants, alors et le sont aussi (et , , etc.) ; extension au cas de événements : on peut remplacer n'importe lesquels par leurs contraires.

19.6.2 Variables aléatoires indépendantes

Définition 19.13Indépendance de variables aléatoires

et sont indépendantes, noté , si pour tous et , les événements et sont indépendants. Caractérisation pratique : il suffit que la loi conjointe soit le produit des marginales,

Extension aux -uplets : la modélisation de expériences indépendantes (lancers successifs, échantillon…) est une suite finie de variables aléatoires indépendantes.

◆Théorème 19.14Somme de Bernoulli indépendantes

Si sont indépendantes de loi , alors

Interprétation : le nombre de succès lors de la répétition de expériences indépendantes de probabilité de succès — la définition concrète de la binomiale.

Démonstration

L'événement est l'union disjointe, sur tous les choix des indices de succès ( choix, chapitre 18), des événements « succès exactement en ces positions », chacun de probabilité par indépendance.

◆Théorème 19.15Fonctions de variables indépendantes, coalitions
  • Si , alors pour toutes fonctions .
  • Lemme des coalitions : si sont indépendantes, alors et sont indépendantes — des paquets disjoints de variables indépendantes restent indépendants, même transformés. Extension à plus de deux coalitions.

19.7 Espérance

Définition 19.16Espérance

L'espérance d'une variable aléatoire réelle (ou complexe) est

la moyenne des valeurs pondérées par leurs probabilités, indicateur de position. est centrée si .

◆Théorème 19.17Propriétés de l'espérance
  • Linéarité : — sans aucune hypothèse d'indépendance ! (Conséquence immédiate de la formule sur les .)
  • Positivité (), croissance, inégalité triangulaire .
  • Espérances usuelles : ;    ;    ;   et le pont fondamental :

  • Formule de transfert : — nul besoin de la loi de ! Elle s'applique en particulier aux couples et aux -uplets : .
  • Si et sont indépendantes : (extension à variables indépendantes). La réciproque est fausse.
iRemarqueLa stratégie des indicatrices

Linéarité indicatrices l'arme absolue : pour compter en moyenne, écrire le compteur comme somme d'indicatrices, , d'où — sans calculer la loi de , et sans indépendance. L'espérance de la binomiale en une ligne : . Voir l'exercice 8 (points fixes d'une permutation aléatoire).

19.8 Variance, écart type, covariance

Définition 19.18Variance et écart type

La variance d'une variable aléatoire réelle est , et l'écart type est : des indicateurs de dispersion autour de la moyenne. Si , la variable est centrée réduite.

◆Théorème 19.19Propriétés de la variance

(formule de Koenig-Huygens, la voie de calcul usuelle)
Définition 19.20Covariance

La covariance de deux variables réelles est

et sont décorrélées si . Indépendantes décorrélées (par ), mais la réciproque est fausse (banque, exercice 28).

◆Théorème 19.21Variance d'une somme

et plus généralement . Cas décorrélé (en particulier indépendant) : la variance est additive, — on retrouve la variance de la binomiale : Bernoulli indépendantes, .

19.9 Inégalités probabilistes et loi des grands nombres

◆Théorème 19.22Inégalité de Markov

Si est positive et :

Démonstration

(vérifier selon les cas !), et l'on prend l'espérance : .

◆Théorème 19.23Inégalité de Bienaymé-Tchebychev

Pour toute variable aléatoire réelle et tout :

Démonstration

Markov appliquée à la variable positive avec le seuil : l'événement est exactement .

◆Théorème 19.24Loi faible des grands nombres (version non asymptotique)

Soient indépendantes de même loi, d'espérance et de variance , et la moyenne empirique. Alors , , et pour tout :

Démonstration

Linéarité de l'espérance ; additivité de la variance (indépendance !) : ; puis Bienaymé-Tchebychev appliquée à .

ImportantL'approche fréquentiste justifiée

Prenons , indicatrices de l'événement « se réalise à la -ième répétition » : est la fréquence observée de , , et le théorème borne explicitement la probabilité que la fréquence s'écarte de :

La fréquence converge vers la probabilité — non pas comme un acte de foi, mais avec une borne quantitative valable pour chaque (approche non asymptotique) : c'est la justification de l'approche fréquentiste qui fondait l'intuition du lycée, et la conclusion du programme de l'année.

<i class="fa-solid fa-dumbbell mr-2" style="color:#2E7559"></i>19.10 Exercices résolus

Niveau (Application directe du cours)

Exercice 1 : Le modèle uniforme

On lance deux dés équilibrés. Quelle est la probabilité que la somme vaille ? Et qu'elle vaille au moins ?

Démonstration (Solution)

Univers : , , probabilité uniforme (dés équilibrés, lancers distincts).

Somme : les issues favorables sont , soit cas : .

Somme : , soit cas : également. (Tout repose sur le bon univers : les couples ordonnés, pas les sommes — celles-ci ne sont pas équiprobables !)

Exercice 2 : Conditionnement élémentaire

Une famille a deux enfants (filles et garçons équiprobables, sexes indépendants). Sachant qu'il y a au moins un garçon, quelle est la probabilité que ce soient deux garçons ?

Démonstration (Solution)

Univers uniforme . Avec = « au moins un garçon » () et = « deux garçons » :

— et non : l'information « au moins un garçon » ne désigne pas un enfant particulier. (Le conditionnement réduit l'univers aux trois issues , , .)

Exercice 3 : Espérance et variance d'un dé

Soit le résultat d'un dé équilibré, . Calculer et .

Démonstration (Solution)

(sommes du chapitre 2), d'où par Koenig-Huygens :

Niveau (Application avec raisonnement intermédiaire)

Exercice 4 : La formule de Bayes et le test médical

Une maladie touche de la population. Un test la détecte chez des malades, mais se déclenche à tort chez des personnes saines. Une personne est testée positive : quelle est la probabilité qu'elle soit malade ?

Démonstration (Solution)

Avec (malade) et (test positif) : , , . Probabilités totales (système complet , — l'arbre du cours) :

puis Bayes :

Cinq positifs sur six sont de faux positifs : quand la maladie est rare, les faux positifs des de sains écrasent les vrais positifs du de malades. Bayes renverse le conditionnement — et l'intuition.

Exercice 5 : Pratique de la binomiale

Un QCM comporte questions à choix ; un candidat répond entièrement au hasard. Soit son nombre de bonnes réponses. Donner la loi de , , , et calculer et .

Démonstration (Solution)

Chaque question est une épreuve de Bernoulli de succès , les questions étant indépendantes : .

(le passage au contraire évite de sommer dix termes — réflexe du chapitre 18).

Exercice 6 : Deux à deux mais pas mutuellement

On lance deux pièces équilibrées. Soient = « la première donne pile », = « la seconde donne pile », = « les deux donnent le même côté ». Montrer que sont indépendants deux à deux mais pas mutuellement.

Démonstration (Solution)

Univers uniforme à issues. , et

les trois paires sont indépendantes. Mais

pas d'indépendance mutuelle — et c'est naturel : et déterminent . La connaissance par paires ne suffit jamais à conclure globalement.

Exercice 7 : Loi conjointe et marginales

On tire au hasard un nombre puis, indépendamment, , et l'on pose , . Donner la loi conjointe de , puis ses marginales. et sont-elles indépendantes ?

Démonstration (Solution)

Les quatre issues sont équiprobables (). On en déduit le tableau de la loi conjointe de :

toutes les autres cases étant nulles. Marginales : , , ; , .

Indépendance ? alors que : non — et sont liées (connaître la somme renseigne sur le maximum). Une seule case suffit à réfuter.

Niveau (Raisonnement subtil ou plusieurs étapes)

Exercice 8 : Les points fixes d'une permutation aléatoire

On tire une permutation uniformément dans ( invités reprennent leurs chapeaux au hasard). Soit le nombre de points fixes de (invités retrouvant leur chapeau). Calculer .

Démonstration (Solution)

Écrivons comme somme d'indicatrices : où = « ». Par symétrie, (les permutations fixant sont les permutations des autres éléments — chapitres 14 et 18). Par linéarité (aucune indépendance requise — et de fait les ne sont pas indépendants !) :

En moyenne, un seul invité retrouve son chapeau — quel que soit ! (Un calcul direct par la loi de serait laborieux ; la stratégie indicatrices linéarité le rend trivial. On peut montrer de même .)

Exercice 9 : Marche aléatoire et concentration

Un marcheur part de et fait pas indépendants valant ou avec probabilité . Soit sa position finale. Calculer et , puis majorer .

Démonstration (Solution)

et . Par linéarité : ; par additivité de la variance (indépendance) : .

Bienaymé-Tchebychev avec :

Après pas, le marcheur est presque sûrement dans une fenêtre de largeur autour de l'origine — l'écart typique croît comme , pas comme : c'est le phénomène de concentration, cœur de la théorie des marches aléatoires (et de la diffusion en physique).

Exercice 10 : La loi des grands nombres au travail

On veut estimer la probabilité qu'une pièce (peut-être truquée) donne pile, en la lançant fois et en prenant la fréquence observée . Combien de lancers garantissent ?

Démonstration (Solution)

est la moyenne de Bernoulli indépendantes de variance . La version non asymptotique de la loi des grands nombres donne, quel que soit :

Il suffit que , soit lancers. La borne vaut pour chaque (rien d'asymptotique), sans connaître : voilà l'approche fréquentiste justifiée et quantifiée — on sait combien d'observations acheter pour une précision donnée. (Tchebychev est prudente : des inégalités de concentration plus fines réduisent considérablement ce , mais le principe est acquis.)

Synthèse du chapitre (à retenir)
  • Dictionnaire : univers fini , événements parties, incompatibles, système complet partition ; variable aléatoire application , événements , — on raisonne sur les variables, n'est qu'une source d'aléa.
  • Probabilité : déterminée par la distribution (positifs de somme ) ; uniforme : (quotient de dénombrements) ; , union, différence, croissance (crible hors programme).
  • Conditionnement : ( est une probabilité) ; composées (arbres), totales (système complet), Bayes (renverse les conditionnements — test médical !).
  • Lois : déterminée par ; () ; , , avec ; loi conditionnelle ; couples : conjointe marginales (pas l'inverse !), -uplets.
  • Indépendance : ; mutuelle (toutes les sous-familles !) — deux à deux n'implique pas mutuelle ; passage aux contraires ; variables : ; somme de Bernoulli indépendantes ; ; lemme des coalitions.
  • Espérance : ; linéarité sans indépendance ; positivité, croissance ; — indicatrices linéarité compter en moyenne (points fixes : ) ; transfert (couples inclus) ; indépendantes .
  • Variance : (Koenig-Huygens) ; ; centrée réduite ; , ; covariance , décorrélées ; , additive si décorrélées ; indépendantes décorrélées, réciproque fausse.
  • Inégalités : Markov () ; Bienaymé-Tchebychev ; moyenne empirique : et — loi faible des grands nombres non asymptotique, justification fréquentiste ( lancers pour à près).

Continuer sur Adloun : animation, QCM, fiches, exercices