Ensembles > Logique Voc Ens Tribu N, Z, Q R C, Trigo Polynômes Matrices Matrices carrées Systèmes

Notion de tribu de parties d'un ensemble

Définition

On appelle tribu de parties d'un ensemble $\Omega$ tout sous-ensemble $\mathcal{A}$ de $\mathcal{P}(\Omega)$ vérifiant les propriétés :
$$\Omega\in\mathcal{A}$$$$\forall A\in\mathcal{A},\;\bar{A}\in\mathcal{A}$$$$\ds\forall(A_{n})_{n\in\N}\in\mathcal{A}^{\N},\;\bigcup_{n=0}^{+\infty}{A_{n}}\in\mathcal{A}$$

La dernière propriété est appelée propriété de $\boldsymbol{\sigma}$-additivité (ou de somme infinie) des parties et on dit aussi que $\mathcal{A}$ est une $\boldsymbol{\sigma}$-algèbre.

Remarques

<html

<a name=“proprietes_des_tribus”></a></html>Théorème : Propriétés des tribus>

Soit $\mathcal{A}$ une tribu de parties de $\Omega$. Alors :

  • $\varnothing\in\mathcal{A}$,
  • pour tout couple $(A,B)\in\mathcal{A}^{2}$, on a : $A\cup B\in\mathcal{A}$, $A\cap B\in\mathcal{A}$ et $A\setminus B\in\mathcal{A}$,
  • pour toute suite $(A_{n})_{n\in\N}$ d'éléments de $\mathcal{A}$, $\ds\bigcap_{n=0}^{+\infty}{A_{n}}$ est un élément de $\mathcal{A}$.

<html

<a name=“intersection_de_tribus”></a></html>Théorème : Intersection de tribus>
  • L'intersection d'une famille finie ou infinie de tribus d'un ensemble $\Omega$ est une tribu de $\Omega$.
  • En particulier, l'intersection de toutes les tribus contenant une même famille (finie ou infinie) de parties de $\Omega$ est une tribu et c'est la plus petite tribu contenant cette famille.

Définition

Soit $(A_{n})_{n\in\N}$ une famille (éventuellement finie) de parties de $\Omega$. La plus petite tribu contenant cette famille est appelée tribu engendrée par la famille $\boldsymbol{(A_{n})_{n\in\N}}$.

Remarque
Soit $\Omega=\R$. On appelle tribu des boréliens la tribu $\mathcal{B}$ engendrée par tous les intervalles fermés et bornés de $\R$ (tous les éléments de $\mathcal{B}$ sont alors appelés boréliens). Alors :