Inégalité de Boole

Cet article est une ébauche concernant les probabilités et la statistique.

L'inégalité de Boole est un résultat fondamental en théorie des probabilités et en logique mathématique, qui traite des probabilités d'événements. Elle est souvent utilisée pour établir des bornes sur la probabilité d'un événement en fonction de la probabilité d'autres événements

Inégalité de Boole — Pour une famille au plus dénombrable d'événements A₁, A₂, A₃, …, on a :

ℙ (⋃_{n} A_{n}) \leq \sum_{n} ℙ (A_{n}) .

Démonstration

Première démonstration.

On traite d'abord, par récurrence, le cas d'une famille finie $(A_{1}, \dots, A_{m})$ d'évènements.

Il s'agit de prouver que $ℙ (A_{1} \cup \dots \cup A_{m}) \leq ℙ (A_{1}) + \dots + ℙ (A_{m})$ .

L'inégalité est vraie au rang $m = 1$ . On la suppose vraie à un rang $m$ et l'on considère une famille $(A_{1}, \dots, A_{m + 1})$ de $m + 1$ évènements.

Soit $E = A_{1} \cup \dots \cup A_{m}$ : $ℙ (E) \leq ℙ (A_{1}) + \dots + ℙ (A_{m})$ (hypothèse de récurrence).

Alors : $ℙ (A_{1} \cup \dots \cup A_{m + 1}) = ℙ (E \cup A_{m + 1}) = ℙ (E) + ℙ (A_{m + 1}) - ℙ (E \cap A_{m + 1})$ ,

d'où : $ℙ (A_{1} \cup \dots \cup A_{m + 1}) \leq ℙ (E) + ℙ (A_{m + 1}) \leq ℙ (A_{1}) + \dots + ℙ (A_{m}) + ℙ (A_{m + 1})$ .

On traite maintenant le cas d'une suite dénombrable $(A_{n})_{n \geq 1}$ d'évènements.

Pour tout entier strictement positif $n$ , soit $E_{n} = A_{1} \cup \dots \cup A_{n}$ ; alors $ℙ (E_{n}) \leq \sum_{k = 1}^{n} ℙ (A_{k})$ .

L'inégalité de Boole en découle par passage à la limite sur $n$ ; en effet, $⋃_{n \geq 1} E_{n} = ⋃_{n \geq 1} A_{n}$ et pour tout $n$ , $E_{n} \subset E_{n + 1}$ , donc $lim ℙ (E_{n}) = ℙ (⋃_{n \geq 1} A_{n})$ .

Autre méthode (traitant à la fois le cas fini et le cas dénombrable).

On pose $A'_{1} = A_{1}$ et pour tout $n \geq 2$ , $A'_{n} = A_{n} ∖ (A_{1} \cup \dots \cup A_{n - 1})$ .

Alors $⋃_{n} A_{n} = ⋃_{n} A'_{n}$ , et les évènements $A'_{1}, A'_{2}, \dots$ sont deux à deux incompatibles ;
en outre, pour tout $n, A'_{n} \subset A_{n}$ , donc $ℙ (A'_{n}) \leq ℙ (A_{n})$ (croissance de $ℙ$ ).

De tout ceci, il résulte : $ℙ (⋃_{n} A_{n}) = ℙ (⋃_{n} A'_{n}) = \sum_{n} ℙ (A'_{n}) \leq \sum_{n} ℙ (A_{n})$ .

En termes de la théorie de la mesure, l'inégalité de Boole exprime le fait qu'une mesure de probabilité est σ-sous-additive (comme toute mesure).

Conséquence — L'intersection d'une famille finie ou dénombrable d'évènements presque certains, B₁, B₂, B₃, …, est presque certaine (il suffit d'appliquer l'inégalité de Boole aux complémentaires des B_n).

Inégalités de Bonferroni

Les inégalités de Bonferroni, dues à Carlo Emilio Bonferroni, généralisent l'inégalité de Boole. Elles fournissent des majorants et des minorants de la probabilité d'unions finies d'événements.

Inégalités de Bonferroni — Posons :

S_{1} := \sum_{i = 1}^{n} ℙ (A_{i}),

S_{2} := \sum_{i < j} ℙ (A_{i} \cap A_{j}),

et pour 2 < k ≤ n,

S_{k} := \sum ℙ (A_{i_{1}} \cap \dots \cap A_{i_{k}}),

où la somme est effectuée sur tous les k-uplets strictement croissants d'entiers compris entre 1 et n.

Alors pour tout entier impair k tel que 1 ≤ k ≤ n

ℙ (⋃_{i = 1}^{n} A_{i}) \leq \sum_{j = 1}^{k} (- 1)^{j + 1} S_{j},

et pour tout entier pair k tel que 2 ≤ k ≤ n

ℙ (⋃_{i = 1}^{n} A_{i}) \geq \sum_{j = 1}^{k} (- 1)^{j + 1} S_{j} .

On retrouve l'inégalité de Boole pour k = 1.

Références

Cet article est élaboré à partir d'une traduction de l'article de Wikipédia en anglais, lui-même tiré d'un article de PlanetMath, disponible sous GFDL.

Voir aussi

Portail des probabilités et de la statistique