Tribus

Soit $\rm X$ un ensemble (par exemple $\rm X=\mathbb R$ ou $\mathbb N$).

Définition : Une famille $\mathcal A$ de sous-ensembles de $\rm X$ est une tribu (ou $\sigma$-algèbre) si :

  • $\rm X\in\mathcal A$
  • $\mathcal A$ est stable par complémentaire : si $\rm A\in\mathcal A$, alors $\rm A^c\in\mathcal A$.
  • $\mathcal A$ est stable par réunion dénombrable, si pour tout $\rm n\geq 1$, $\rm A_n\in\mathcal A$, alors $\rm \cup_ {n\geq 1}A_n\in\mathcal A$.

Exemples :

  • $\{\emptyset,X\}$ est la tribu grossière.
  • $\mathcal{P}\rm X$ (l’ensemble des parties de $\rm X$) est la tribu totale.

Définition : Un ensemble muni d’une tribu $\rm (X,\mathcal A)$ est appelé un espace mesurable.

Les ensembles $\rm A\in\mathcal A$ s’appellent les (ensembles) mesurables.

Définition : Soit $\mathcal M$ une famille de sous-ensembles de $\rm X$ ($\rm \mathcal M\subset \mathcal P(X)$). Soit $\sigma(\mathcal M)$ la plus petite tribu de $\rm X$ (au sens de l’inclusion) contenant $\mathcal M$. $\sigma(\mathcal M)$ est la tribu engendrée par $\mathcal M$.

Définition : La tribu engendrée par la famille des ouverts d’une topologie est la tribu borélienne notée $\rm \mathcal B(X)$.

Les éléments de la tribu borélienne $\rm \mathcal B(X)$ sont les (ensembles) boréliens de $\rm X$.

Remarque : Il s’agit de la plus petite tribu contenant tous les ouverts de $\rm X$.

Exemple : Avec $\rm X=\mathbb R=]-\infty,+\infty[$.

Les boréliens de $\mathbb R$ sont :

  • Tout ouvert, tout fermé
  • Tout intervalle ouvert, fermé, semi-fermé, fini ou infini
  • Tout singleton $\{x\},x\in\mathbb R$
  • Tout ensemble dénombrable $\{x_i,i\in \rm I\}$ avec $\rm I\subset \mathbb N$ et $x_i\in\mathbb R$.

Mesures

Soit $\rm (X,\mathcal A)$ un espace mesurable.

Définition : Une mesure $\mu$ sur $\rm (X,\mathcal A)$ est une application de $\mathcal A\to [0,+\infty]$ telle que :

  • $\mu(\emptyset)=0$
  • Si $\rm (A_n)_{n\geq 1}$ est une suite dénombrable d’ensembles de $\mathcal A$ deux à deux disjoints, alors $\rm \mu(\cup_{n\geq 1}A_n)=\displaystyle\rm \sum_ {n\geq 1}\mu(A_n)$ ($\sigma$-additivité)

Définition : Le triplet $\rm (X,\mathcal A,\mu)$ est un espace mesuré.

Exemple : Sur $\rm (X,\mathcal P(X))$, la mesure de Dirac est définie pour $\rm a\in X$ par :

$\rm \delta_a(A)=1$ si $a\in A$ et $\rm \delta_a(A)=0$ si $\rm a\notin A$.

Définition : Soit $\mu$ une mesure sur $\rm (X,\mathcal A)$.

  • Si $\rm \mu(X)<+\infty$, la mesure $\mu$ est finie.
    • Si $\rm X=\cup_{n\geq 1}X_n$ avec $\rm \mu(X_n)<+\infty$, la mesure $\mu$ est $\bf \sigma$-finie.
    • Si $\rm \mu(X)=1$, la mesure $\mu$ est une mesure de probabilité.
    • La mesure $\mu$ est borélienne si $\rm \mathcal A=\mathcal B(X)$.

Théorème : Mesure de Lebesgue

Il existe une unique mesure $\lambda$ sur $(\mathbb R,\mathcal B(\mathbb R))$ telle que :

  • Pour tout intervalle $\rm [a,b]$ borné, on a : $\rm \lambda([a,b])=\lambda(]a,b[)=b-a$.
  • Pour tout $\rm A\in\mathcal B(\mathbb R)$, $\lambda(\mathrm A+x)= \rm \lambda(A)$ où $\mathrm A+x=\{\mathrm a+x/\rm a\in A\}$ (invariance par translation).

Définition : On note $\mathcal L(\mathbb R)$ la tribu de Lebesgue, qui est la tribu complétée de $\mathcal B(\mathbb R)$.

Proposition : Tout ensemble dénombrable $\rm A$ est de mesure de Lebesgue $\rm \lambda(A)=0$.