Théorie de la mesure/Tribus

Plusieurs notions mathématiques requièrent implicitement l’existence d'une « structure » sur l'espace sous-jacent. Ainsi, la notion de fonction continue requiert l’existence préalable d'une topologie, la notion de complétude d'un ensemble (ou de suite de Cauchy), dépend d'une métrique, la notion de stationnarité ou d'ergodicité en géométrie dépend d'un groupe de transformations.

Pour ce qui est des mesures, la structure sous-jacente est celle de « tribu », ou « σ-algèbre ». C'est un ensemble de parties de $X$ . Un ensemble $X$ muni d'une tribu ${\mathcal {A}}$ est appelé « espace mesurable ». Il est nécessaire de munir un ensemble d'une tribu pour pouvoir effectivement mesurer ses parties, même dans le cas le plus naturel et le plus pratique où l'on veut mesurer des parties de $\mathbb {R}$ .

Comme pour les topologies, il peut y avoir plusieurs tribus sur un ensemble, avec des relations d'inclusion.

Algèbres

Partons de la fin pour définir une tribu, en partant du concept même de mesure. La propriété fondamentale d'une mesure est l'additivité, qui stipule que pour deux ensembles disjoints $A$ et $B$ , $\mu (A\cup B)=\mu (A)+\mu (B)$ . De plus, si $A$ est un sous-ensemble de $B$ et que ces deux ensembles sont mesurables et de mesure finie, on veut définir $\mu (B\setminus A)=\mu (B)-\mu (A)$ . Pour que ces deux égalités aient un sens, il faut imposer de la régularité pour une classe de mesurables :

Définition

On dit qu'un ensemble ${\mathcal {A}}$ de parties de $X$ est une algèbre sur $X$ si :

$\varnothing \in {\mathcal {A}}$ ;
${\mathcal {A}}$ est stable par union finie : $\forall A,B\in {\mathcal {A}}\quad A\cup B\in {\mathcal {A}}$ ;
${\mathcal {A}}$ est stable par complémentation : $\forall A\in {\mathcal {A}}\quad A^{c}\in {\mathcal {A}}$ .

Avec quelques petites manipulations, ces deux propriétés impliquent que $X\in {\mathcal {A}}$ et que ${\mathcal {A}}$ est également stable par intersection finie et par complémentation au sein d'un sous-ensemble (le montrer à titre d'exercice). Cela dit, ces propriétés ne suffisent pas pour définir une tribu, mais arrêtons-nous un instant pour comprendre plus « intuitivement » ce qu'est une algèbre. Les algèbres sont des candidates pour y définir des mesures.

Exemples

L'ensemble ${\mathcal {P}}(X)$ de toutes les parties de $X$ est une algèbre sur $X$ .
L'ensemble $\{\varnothing ,X\}$ également.
L'ensemble des parties de $X$ qui sont finies ou de complémentaire fini est une algèbre.
L'ensemble des droites du plan n'est pas une algèbre, car l'union de deux droites distinctes n'est pas une droite.

Tribus

Définition

Une tribu (ou σ-algèbre) sur un ensemble $X$ est une algèbre ${\mathcal {A}}$ sur $X$ telle que, pour toute famille dénombrable $(A_{n})_{n\in \mathbb {N} }$ d'éléments $A_{n}$ de ${\mathcal {A}}$ , la réunion $\cup _{n\in \mathbb {N} }A_{n}$ soit aussi dans ${\mathcal {A}}$ .

Le couple $\left(X,{\mathcal {A}}\right)$ est alors appelé un espace mesurable.

Il est possible d'y définir une mesure. Naturellement, on définit d'abord la mesure d'un ensemble simple (par exemple la longueur d'un intervalle) puis on étend cette mesure à des objets plus complexes en découpant ces dernier objets en des ensembles simples. Pour recoller les morceaux une manière naturelle est d'en prendre l'union puis de mesurer cette union, il faut donc supposer notre classe stable par union. Mais une barrière fondamentale est la dénombrabilité du nombre de morceaux ; en effet, si l'on est trop gourmand et que l'on n'impose pas un découpage dénombrable on autorise toutes les parties de $X$ donc trop de parties mesurables.

Définition équivalente

Un ensemble ${\mathcal {M}}$ de parties de $X$ est une tribu sur $X$ si (et seulement si) :

$\varnothing \in {\mathcal {M}}$ ;
${\mathcal {M}}$ est stable par union dénombrable ;
${\mathcal {M}}$ est stable par complémentation.

Démonstration

Un tel ensemble est automatiquement stable par union finie car pour tous $A,B\in {\mathcal {M}}$ , en posant, pour tout $k\in \mathbb {N}$ , $A_{2k}=A$ et $A_{2k+1}=B$ on trouve : $A\cup B=\cup _{n\in \mathbb {N} }A_{n}\in {\mathcal {M}}$ .

De même que toute algèbre est stable par intersection finie, toute tribu est stable par intersection dénombrable :

Propriété

Soit ${\mathcal {M}}$ une tribu sur $X$ . Si $(A_{n})_{n\in \mathbb {N} }$ est une suite d'éléments de ${\mathcal {M}}$ alors $\cap _{n\in \mathbb {N} }A_{n}\in {\mathcal {M}}$ .

Démonstration

On utilise que $\cap _{n\in \mathbb {N} }A_{n}=(\cup _{n\in \mathbb {N} }A_{n}^{c})^{c}$ . Chaque complémentaire $A_{n}^{c}$ est dans ${\mathcal {M}}$ ; il s'agit donc d'une union dénombrable d'éléments de ${\mathcal {M}}$ qui est elle-même dans ${\mathcal {M}}$ et par passage au complémentaire on a bien le résultat attendu.

Une tribu sur $X$ est donc un ensemble non vide ${\mathcal {M}}$ de parties de $X$ sur lesquels on peut faire une infinité dénombrable d'opérations, tout en restant dans la tribu ${\mathcal {M}}$ (mais pas une infinité non dénombrable). La liberté dans une tribu ${\mathcal {M}}$ est presque totale : on peut partir d'un ensemble $A_{1}$ dans ${\mathcal {M}}$ , lui adjoindre un ensemble $A_{2}\in {\mathcal {M}}$ , lui retrancher un autre ensemble $A_{3}\in {\mathcal {M}}$ , passer au complémentaire… faire une infinité dénombrable d'opérations, l’ensemble résultant sera toujours dans ${\mathcal {M}}$ .

Exemples

L'ensemble ${\mathcal {P}}(X)$ des parties d'un ensemble $X$ est une tribu sur $X$ appelée tribu discrète ou triviale. C'est la plus grande tribu sur $X$ (au sens de l'inclusion).
L'ensemble $\{\varnothing ,X\}$ est également une tribu, appelée tribu grossière. C'est la plus petite tribu sur $X$ .
En revanche, l'exemple 3 d'algèbre n'est pas une tribu si $X$ est infini.
L'ensemble de toutes les unions dénombrables de carrés du plan est une tribu.

Propriété

Soit ${\mathcal {M}}$ une tribu. Si $(A_{n})_{n\in \mathbb {N} }$ est une suite d'éléments de ${\mathcal {M}}$ alors les deux ensembles

\limsup A_{n}:=\bigcap _{n=0}^{\infty }(\bigcup _{m=n}^{\infty }A_{m})

et

\liminf A_{n}:=\bigcup _{n=0}^{\infty }(\bigcap _{m=n}^{\infty }A_{m})

sont des éléments de ${\mathcal {M}}$ .

Démonstration

$B_{n}=\bigcup _{m=n}^{\infty }A_{m}$ est une union dénombrable d'éléments de ${\mathcal {M}}$ donc $B_{n}\in {\mathcal {M}}$ . On a donc $\bigcap _{n=0}^{\infty }(\bigcup _{m=n}^{\infty }A_{m})=\bigcap _{n=0}^{\infty }B_{n}$ , or une intersection dénombrable d'éléments de ${\mathcal {M}}$ est un élément de ${\mathcal {M}}$ .

Pour la deuxième affirmation, le raisonnement est identique.

Opérations sur les tribus

Propriété de stabilité par intersection

L'intersection d'une famille non vide de tribus sur un ensemble $X$ est encore une tribu sur $X$ .

Démonstration

Soit $({\mathcal {A}}_{i})_{i\in I}$ une famille de tribus sur $X$ , avec $I\neq \varnothing$ . Notons ${\mathcal {A}}=\cap _{i\in I}{\mathcal {A}}_{i}$ , l'intersection de ces tribus. Puisque $\varnothing$ appartient à chacun des ${\mathcal {A}}_{i}$ , il appartient à l'intersection.

Soit $A\in {\mathcal {A}}$ ; pour tout $i\in I$ , $A\in {\mathcal {A}}_{i}$ et donc $A^{c}\in {\mathcal {A}}_{i}$ d'où $A^{c}\in {\mathcal {A}}$ .

De même pour une union dénombrable.

Propriété

Soit ${\mathcal {A}}$ un ensemble de parties de $X$ . Il existe une plus petite tribu sur $X$ (au sens de l'inclusion) contenant ${\mathcal {A}}$ .

Démonstration

Notons $M({\mathcal {A}})$ l'ensemble de toutes les tribus sur $X$ qui contiennent ${\mathcal {A}}$ .

$M({\mathcal {A}})$ est non vide car il contient la tribu discrète.

Posons ${\mathcal {M}}_{0}=\cap _{{\mathcal {M}}\in M({\mathcal {A}})}{\mathcal {M}}$ .

${\mathcal {M}}_{0}$ est donc une tribu, comme intersection d'une famille non vide de tribus.

${\mathcal {M}}_{0}$ contient clairement ${\mathcal {A}}$ et par définition est incluse dans toute tribu contenant ${\mathcal {A}}$ .

Définition

On appelle tribu engendrée (sur $X$ ) par ${\mathcal {A}}$ , la plus petite tribu (sur $X$ ) contenant ${\mathcal {A}}$ et on la note $\sigma ({\mathcal {A}})$ .

Exemples

Pour tout sous-ensemble $A$ de $X$ , $\sigma \left(\{A\}\right)=\{\varnothing ,A,A^{c},X\}$ .
En particulier, $\sigma \left(\varnothing \right)=\sigma \left(\{\varnothing \}\right)=\sigma \left(\{X\}\right)=\{\varnothing ,X\}$ .
La tribu sur $X$ engendrée par l'ensemble ${\mathcal {A}}=\{\{x\}\mid x\in X\}$ de tous les singletons de $X$ est l'ensemble des parties $A$ de $X$ telles que $A$ ou son complémentaire soit au plus dénombrable.

Propriété : image réciproque d'une tribu

Soient $E$ et $F$ deux ensembles, $f$ une application de $E$ dans $F$ et ${\mathcal {M}}$ une tribu sur $F$ , alors :

f^{-1}({\mathcal {M}})=\{f^{-1}(A)\mid A\in {\mathcal {M}}\}

est une tribu sur $E$ appelée image réciproque de ${\mathcal {M}}$ par $f$ .

Démonstration

On a $E=f^{-1}(F)$ , or $F\in {\mathcal {M}}$ donc $E\in f^{-1}({\mathcal {M}})$
Soit $(A_{n})_{n\in \mathbb {N} }$ une suite d'éléments de $f^{-1}({\mathcal {M}})$ , donc pour tout $n\in \mathbb {N}$ , il existe $B_{n}\in {\mathcal {M}}$ tel que $A_{n}=f^{-1}(B_{n})$ . Or on a $\cap _{n\in \mathbb {N} }A_{n}=f^{-1}(\cap _{n\in \mathbb {N} }B_{n})$ . Mais $\cap _{n\in \mathbb {N} }B_{n}\in {\mathcal {M}}$ donc $\cap _{n\in \mathbb {N} }A_{n}\in f^{-1}({\mathcal {M}})$
Soit $A\in f^{-1}({\mathcal {M}})$ donc il existe $B\in {\mathcal {M}}$ tel que $A=f^{-1}(B)$ . On a $A^{c}=f^{-1}(B^{c})$ or $B^{c}\in {\mathcal {M}}$ donc $A^{c}\in f^{-1}({\mathcal {M}})$ .

Corollaire : lemme de transport

Soient $X$ et $Y$ deux ensembles, $f:X\to Y$ une application et ${\mathcal {E}}\subset {\mathcal {P}}\left(Y\right)$ un ensemble de parties de $Y$ . Alors, l'image réciproque de la tribu engendrée par ${\mathcal {E}}$ est la tribu engendrée par l'image réciproque de ${\mathcal {E}}$ , c'est-à-dire :

f^{-1}\left(\sigma \left({\mathcal {E}}\right)\right)=\sigma \left(f^{-1}\left({\mathcal {E}}\right)\right)

.

Démonstration

On montre l'égalité par double inclusion :

$\supset$ : $f^{-1}\left(\sigma \left({\mathcal {E}}\right)\right)$ est une tribu et contient $f^{-1}\left({\mathcal {E}}\right)$ (car $\sigma \left({\mathcal {E}}\right)$ contient ${\mathcal {E}}$ ). Elle contient donc la tribu engendrée $\sigma \left(f^{-1}\left({\mathcal {E}}\right)\right)$ .
$\subset$ : on vérifie que l'ensemble ${\mathcal {S}}:=\{B\in {\mathcal {P}}(Y)\mid f^{-1}(B)\in \sigma \left(f^{-1}\left({\mathcal {E}}\right)\right)\}$ est une tribu sur $Y$ et que ${\mathcal {E}}\subset {\mathcal {S}}$ . On a donc $\sigma \left({\mathcal {E}}\right)\subset {\mathcal {S}}$ et par suite $f^{-1}\left(\sigma \left({\mathcal {E}}\right)\right)\subset f^{-1}\left({\mathcal {S}}\right)$ , or $f^{-1}\left({\mathcal {S}}\right)\subset \sigma \left(f^{-1}\left({\mathcal {E}}\right)\right)$ par définition de ${\mathcal {S}}$ .

Si $X\subset Y$ , en appliquant la propriété ci-dessus (image réciproque d'une tribu) à l'injection canonique $f:X\to Y,\ x\mapsto x$ , on obtient :

Définition

Soient $X$ un sous-ensemble de $Y$ et ${\mathcal {M}}$ une tribu sur $Y$ . La famille :

{\mathcal {M}}_{X}=\{M\cap X\mid M\in {\mathcal {M}}\}

est une tribu sur $X$ appelée tribu trace ou tribu induite par ${\mathcal {M}}$ sur $X$ .

Définition

Soient $(E,{\mathcal {E}})$ et $(F,{\mathcal {F}})$ deux espaces mesurables, on dit que $f:E\to F$ est mesurable lorsque

\forall B\in {\mathcal {F}}\quad f^{-1}(B)\subset {\mathcal {E}}.

On note que la définition de mesurabilité dépend des deux tribus considérées et que si $f$ est mesurable alors elle l'est aussi en remplaçant ${\mathcal {E}}$ par n'importe quelle tribu plus grosse sur $E$ . Lorsqu'il y a confusion possible sur les tribus considérées pour la mesurabilité on dira que $f$ est ${\mathcal {E}}-{\mathcal {F}}$ mesurable.

On remarque que $f$ est mesurable si et seulement si

f^{-1}({\mathcal {F}})\subset {\mathcal {E}}

de sorte que $f^{-1}({\mathcal {F}})$ est la plus petite tribu sur $E$ rendant mesurable $f$ .

Le lemme de transport offre un premier exemple de la puissance de la notion de tribu et des économies qu'elles permettent. En effet, dans le cas où la tribu ${\mathcal {F}}$ à l'arrivée est engendrée par une classe ${\mathcal {C}}$ , on a par le lemme de transport que $f^{-1}({\mathcal {F}})=f^{-1}(\sigma ({\mathcal {C}}))=\sigma (f^{-1}({\mathcal {C}}))$ , et pour montrer que $f$ est mesurable, il suffit en fait de montrer l'axiome de mesurabilité seulement pour la classe ${\mathcal {C}}$ . Cette remarque est beaucoup utilisée en pratique puisque les espaces mesurables usuels sont munis de tribus engendrée par des classes avec de très bonnes propriétés, comme le montre l'exemple suivant. On cherchera toujours à générer une tribu par des ensembles simples, maniables et en nombre restreint.

Définition

Soit $(X,\Theta )$ un espace topologique, la tribu borélienne sur $X$ , notée ${\mathcal {B}}(X)$ , rend mesurable les applications continues. C'est à dire que si $(Y,{\mathcal {T}})$ est un autre espace topologique on veut que toute application $f:X\to Y$ continue soit ${\mathcal {B}}(X)-{\mathcal {B}}(Y)$ mesurable.

Puisque les fonctions continues préservent les ouverts par leurs images réciproques,

\forall f\in C^{0}(X,Y)\quad f^{-1}({\mathcal {T}})\subset \Theta

et le lemme de transport permet de voir que la définition ${\mathcal {B}}(X)=\sigma (\Theta )$ est suffisante.

Dans le cas important où l'espace topologique $(X,\Theta )$ admet une base topologique dénombrable, sa tribu borélienne est engendrée par une famille dénombrable de parties de $X$ . Dans le cas encore plus important où $X$ est un espace vectoriel réel de dimension finie et que la topologie provient d'une norme, on sait que les ouverts sont engendrés par les boules à rayons rationnels et dont les centres ont des coordonnées rationnels.

En conséquence, on sait exhiber des classes génératrice faciles à manipuler en exploitant les propriétés topologiques de l'espace $(X,\Theta )$ : la classe des ouverts de $\mathbb {R}$ est engendrée par les intervalles réels, les intervalles de la forme $]a,b[$ ou encore ceux de la forme $]-\infty ,a]$ . L'espace ${\bar {\mathbb {R} }}$ muni de sa topologie usuelle vérifie les mêmes propriétés.

Définition

On introduit ici la notion de tribu produit. On se donne un ensemble non vide $I$ , une famille $((E_{i},{\mathcal {E}}_{i}))$ d'espaces mesurables indexée par $I$ et on défini la tribu produit sur $E:=\prod _{i}E_{i}$ comme la plus petite tribu rendant mesurable les projections canoniques $p_{i}:E\to E_{i}$ . C'est à dire,

\otimes _{i}{\mathcal {E}}_{i}:=\sigma (\cup _{i}p_{i}^{-1}({\mathcal {E}}_{i})).

Propriété

La tribu produit est engendrée par les classes

l'ensemble des parties $B\times \prod _{i\neq i_{0}}E_{i}$ où $i_{0}\in I$ et $B\in {\mathcal {E}}_{i_{0}}$
les cylindres élémentaire, i.e. les ensembles de la forme $(\prod _{j\in J}B_{i})\times (\prod _{j\not \in J}E_{j})$ où $J$ est un sous-ensemble fini de $I$ et pour tout $j\in J$ on a $B_{j}\in {\mathcal {E}}_{j}$

Une conséquence remarquable de cette définition est que si $f:F\to E$ est une application elle est mesurable pour la tribu cylindrique si et seulement si ses projections, les applications coordonnées $f_{i}$ , sont mesurables.

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.