La tribu des évènements

Les questions qu'on se pose sur le résultat d'une expérience sont systématiquement du type suivant: on choisit un sous ensemble de l'espace d'observables et on se demande: le résultat de l'expérience va-t-il tomber dans ou non? Les parties de pour lesquelles on se pose ce genre de question sont appelées des évènements. Un des premiers points délicats de la théorie est que on ne va pas toujours considérer tous les sous ensembles de comme des évènements. Dans l'exemple de la lampe de 100 watts, il parait inintéressant de se demander si sa durée de vie, mesurée en heures, est un nombre irrationnel, et intéressant de se demander si elle tombe dans l'intervalle L'idée de Kolmogorov est que l'ensemble des évènements a une structure de tribu:

Définition Soit un ensemble et soit une partie de . a une structure de tribu si il satisfait aux trois axiomes:

1. Si , alors son complémentaire est aussi dans
2. Si on a une suite finie ou dénombrable d'éléments de , alors leur réunion est aussi dans
3. L'ensemble vide est dans

Tirons quelques conséquences de ces axiomes.

Proposition 1.1 Soit une tribu de parties de l'ensemble Alors De plus, si on a une suite finie ou dénombrable d'éléments de , alors leur intersection est aussi dans

Démonstration En appliquant les axiomes 1 et 3, on a le premier résultat. Pour le second, il suffit de se rappeler que le complémentaire d'une réunion finie ou infinie d'ensembles est l'intersection des complémentaires ("Loi de Morgan"). Donc

Le langage de la théorie des ensembles permet des calculs systématiques sur les évènements. Toutefois, il faut savoir que le langage courant, que nous utilisons dans une première étape pour décrire des évènements a sa traduction ensembliste. Voici un petit dictionnaire :

 Ensemble : 		évènement certain


Ensemble vide: 		évènement impossible

: 		 ou  sont réalisés ("ou" non exclusif)

:		 et  sont réalisés

 et  sont disjoints: 		les évènements  et  sont incompatibles


: 		évènement contraire de 

Le fait que on ne sorte pas de la famille des évènements intéressants à considérer en prenant une intersection ou une réunion d'évènements est raisonnable si ceux ci sont en nombre fini. Le fait de se permettre ceci également quand on en a une infinité est plus subtil: les mathématiques ne maniant que des ensembles finis sont élémentaires mais les résultats exacts auquels elles conduisent sont trop compliqués pour être utilisables. Le passage à l'infini est le passage de l'algèbre à l'analyse, donc à des approximations maniables et à de puissantes techniques issues du calcul différentiel et intégral. Quant au fait que dans ce passage à l'infini, on se limite à une infinité dénombrable d'évènements, c'est un point technique qu'on ne justifiera que dans un cours de 3 ème année d'université. Rappelons qu'un ensemble avec une infinité d'éléments est dit dénombrable si il existe une bijection entre et l'ensemble des entiers positifs: l'ensemble des nombres rationnels est dénombrable, le segment ne l'est pas, comme nous l'avons vu en première année.

Finalement, ce point délicat: "on ne considère pas nécessairement tout sous ensemble de comme un élément de la tribu des évènements" ne jouera pas un grand rôle dans la suite. Typiquement, nous envisagerons deux cas particuliers importants:

• Le cas où lui même est dénombrable, et nous prendrons comme tribu la famille de tous les sous ensembles de .
• Le cas où est la droite réelle . Nous prendrons alors pour tribu la tribu (dite tribu de Borel, dont les éléments sont appelés des boréliens) qui est la plus petite tribu qui contient tous les intervalles de

  On peut laborieusement démontrer que ; toutefois, une description complète des éléments de n'est pas possible, et en fait pas très utile en pratique: les seuls boréliens que nous aurons à manipuler seront les intervalles (attention, ou une demi droite sont aussi des intervalles) ou des réunions finies, ou plus rarement, dénombrables, d'intervalles.

Ce ne sont pas les seuls espaces de probabilité utilisés: on verra le schéma Succès Echec à la section 2 et le cas ou plus tard.

Définition La plus petite tribu qui contient les ouverts de muni de sa topologie canonique est appelée tribu de Borel. Les éléments de cette tribu sont appelés les boréliens de .