Indépendance et les lemmes de Borel-Cantelli

L'indépendance formalise l'idée que la connaissance de certains événements ne fournit aucune information sur d'autres, et les lemmes de Borel-Cantelli transforment la sommabilité des probabilités en des énoncés précis, presque sûrs, concernant la fréquence d'occurrence d'une séquence d'événements.

Definition

Les événements sont indépendants lorsque la probabilité de leur occurrence conjointe se factorise en le produit de leurs probabilités, et les lemmes de Borel-Cantelli relient la convergence ou la divergence de la somme des probabilités d'événements à l'occurrence presque sûre d'une infinité de ces événements.

Scope

Ce sujet aborde l'indépendance des événements, des sigma-algèbres et des variables aléatoires, les lemmes de regroupement et d'approximation qui la sous-tendent, les premier et second lemmes de Borel-Cantelli, la loi du zéro-un de Kolmogorov pour les événements de queue, ainsi que leurs applications à la convergence presque sûre et à la récurrence des événements rares.

Core questions

• Que signifie l'indépendance pour les événements, pour les sigma-algèbres et pour les variables aléatoires, et comment ces notions sont-elles liées ?
• Quand une séquence d'événements ne se produit-elle qu'un nombre fini de fois, et quand se reproduit-elle une infinité de fois ?
• Pourquoi la réciproque du lemme de Borel-Cantelli doit-elle supposer l'indépendance ?
• Pourquoi un événement de queue d'une séquence indépendante a-t-il une probabilité soit de zéro, soit de un ?

Key concepts

• indépendance des événements
• indépendance des sigma-algèbres
• sigma-algèbre de queue
• événement se produisant une infinité de fois
• récurrence presque sûre

Key theories

Premier lemme de Borel-Cantelli

Si la somme des probabilités d'une séquence d'événements est finie, alors avec une probabilité de un, seuls un nombre fini de ces événements se produisent ; aucune indépendance n'est requise, et ce résultat est à la base de nombreux arguments de convergence presque sûre.

Second lemme de Borel-Cantelli

Si les événements sont indépendants et que la somme de leurs probabilités diverge, alors avec une probabilité de un, une infinité de ces événements se produisent, offrant une réciproque précise au premier lemme sous condition d'indépendance.

Loi du zéro-un de Kolmogorov

Tout événement appartenant à la sigma-algèbre de queue d'une séquence de variables aléatoires indépendantes a une probabilité soit de zéro, soit de un ; ainsi, les propriétés asymptotiques, telles que la convergence d'une série de termes indépendants, sont déterministes quant à leur valeur de vérité.

Clinical relevance

Ces résultats sont les piliers des lois fortes des grands nombres et de l'analyse des records, des séries et des événements rares ; en analyse de fiabilité et de risque, ils déterminent si un danger récurrent se produit une infinité de fois, et en théorie des nombres et en théorie ergodique, la loi du zéro-un explique pourquoi de nombreuses propriétés limites sont soit toujours vraies, soit jamais.

History

Borel a démontré la partie concernant la convergence en 1909 dans son étude des nombres normaux, et Cantelli a fourni la réciproque sous condition d'indépendance en 1917. Kolmogorov a par la suite englobé les deux dans sa loi du zéro-un pour les événements de queue, en faisant d'eux des outils centraux de la théorie de la mesure.

Key figures

• Emile Borel
• Francesco Paolo Cantelli
• Andrey Kolmogorov

Seminal works

• durrett2019

Frequently asked questions

Pourquoi le second lemme de Borel-Cantelli exige-t-il l'indépendance alors que le premier ne le fait pas ?

Sans indépendance, des probabilités divergentes peuvent toujours décrire des événements qui se chevauchent si fortement qu'un nombre fini seulement d'événements distincts se produisent ; l'indépendance exclut cette « conspiration » et force une infinité d'occurrences.

Qu'est-ce qu'un événement de queue ?

Un événement de queue est un événement dont l'occurrence ne dépend d'aucun nombre fini des variables aléatoires sous-jacentes, comme la convergence d'une série infinie ; la loi de Kolmogorov stipule que de tels événements ont une probabilité de zéro ou de un lorsque les variables sont indépendantes.