Adloun

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

Un arbre pondéré : probabilités de A et de son contraire, puis probabilités conditionnelles de B.

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.

AttentionLe niveau d'exigence

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é

Définition 10.1Espace 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é.

iRemarqueCe qu'ajoute le

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.

◆Théorème 10.2Limite monotone

Soit une suite d'événements.

  • Si est croissante pour l'inclusion : ;
  • si est décroissante : .
Définition 10.3Négligeable, presque sûr

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.

ImportantNégligeable n'est pas impossible

« 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.

◆Théorème 10.4Formules générales

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

Définition 10.5Variable aléatoire discrète, loi

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 .

Définition 10.6Fonction de répartition

La fonction de répartition de est définie sur par

Elle est croissante, tend vers en et vers en .

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

sont mutuellement indépendantes si pour tous :

Exercices du chapitre

La suite du cours · Tous les exercices du chapitre