Tribu engendrée

Tribu engendrée

Étant donné un ensemble \mathcal C de parties d'un même ensemble X, la tribu engendrée par \mathcal C est la plus petite tribu (au sens de l'inclusion) contenant \mathcal C. On la note \sigma(\mathcal{C}).

Sommaire

Définitions

Tribu engendrée par un ensemble de parties

Proposition et définition — Soit X un ensemble et \mathcal C un ensemble de parties de X. Il existe une plus petite tribu sur X (pour l'inclusion) qui contienne \mathcal C. On l'appelle la tribu engendrée par \mathcal C, et on la note \sigma(\mathcal{C}).

On prouve facilement l'existence de \sigma(\mathcal{C}) en la définissant comme l'intersection de toutes les tribus sur X qui contiennent \mathcal C (cette intersection a un sens, puisqu'au moins une telle tribu existe, à savoir la tribu dite discrète formée de toutes les parties de X)[1].

Tribu engendrée par une famille d'applications

Définition — Soit X un ensemble, I un ensemble d'indices et soit pour chaque i\in I un espace mesurable (X_i,\mathcal{A}_i) et une application f_i\,\colon\,X\to X_i.

On appelle tribu engendrée par la famille (f_i)_{i\in I} la famille engendrée par la réunion des tribus image-réciproques f_i^{-1}(\mathcal{A}_i). On la note \sigma(f_i, i\in I).

On vérifie facilement que :

  • la tribu engendrée est la plus petite tribu qui rende simultanément mesurables toutes les applications fi.
  • en notant \mathcal A=\sigma(f_i, i\in I), pour pour toute application g d'un espace mesurable (Y,\mathcal{B}) vers (X,\mathcal{A}), g est mesurable si et seulement si chaque f_i\circ g l'est[2].

Exemples

  • Soit  A \in \mathcal P(X), A \ne X et A \ne \empty , alors  \sigma (\{A\}) = \{ \empty, A, {}^c A, X \}.
  • Soit  \mathcal L = \{ \{x\} , x \in X \} l'ensemble des singletons de l'univers  X \, . La tribu  \sigma (\mathcal L) est égale à \{ A \in \mathcal P(X), A ou  {}^c A \, dénombrable  \} \,.

Construction transfinie

Un procédé de construction récurrence transfinie permet plus généralement une description de la tribu engendré par une partie \mathcal{C}. Il a été appliqué dès 1898 par Émile Borel pour définir la famille qu'on appelle aujourd'hui tribu borélienne[3].

Pour le décrire posons d'abord une notation : pour \mathcal{F} ensemble de parties d'un ensemble X, on notera \mathcal{F}_{\sigma} l'ensemble des unions dénombrables d'éléments de \mathcal{F} et \mathcal{F}_{\delta} l'ensemble des intersections dénombrables.

Une première idée, non concluante, pourrait être la suivante : on part de l'ensemble \mathcal{F}_0 composé des éléments de \mathcal{C} et de leurs complémentaires. Pour construire de nouveaux éléments de la tribu engendrée, on applique aux parties qui figurent dans la classe \mathcal{F}_0 les opérations d'union dénombrable et d'intersection dénombrable : on obtient ainsi une nouvelle classe \mathcal{F}_1. On recommence l'opération en posant \mathcal{F}_2=(\mathcal{F}_{1})_{\sigma}\cup(\mathcal{F}_{1})_{\delta} et ainsi de suite par récurrence. On pourrait espérer que la réunion de la suite croissante des \mathcal{F}_n réponde à la question : elle n'est évidemment pas vide, chaque \mathcal{F}_n est stable par complémentaire, les opérations de réunion ou d'intersection infinie envoient \mathcal{F}_n dans \mathcal{F}_{n+1}. Mais ce dernier point n'entraîne pas qu'elles envoient la réunion des \mathcal{F}_n dans elle-même : qu'on songe à une possible suite d'ensembles (A_i)_{i\in\N^*} où chaque Ai est un élément de \mathcal{F}_i\setminus\mathcal{F}_{i-1}. Rien ne permet d'assurer que sa réunion ni son intersection sera elle aussi dans l'un des \mathcal{F}_n.

Cette idée peut pourtant être exploitée mais à condition de pousser plus loin la construction en effectuant une récurrence transfinie. On définit pour chaque ordinal α un ensemble de parties de Ω selon la procédure suivante :

  • \mathcal{F}_0 est l'ensemble composé des éléments de \mathcal{C} et de leurs complémentaires. ;
  • pour tout ordinal α, \mathcal{F}_{\alpha+1}=(\mathcal{F}_{\alpha})_{\sigma}\cup(\mathcal{F}_{\alpha})_{\delta} ;

Notons alors ω1 le premier ordinal non dénombrable, on vérifie alors facilement que :

\sigma(\mathcal{C})=\bigcup_{\alpha <\omega_1}F_\alpha.
  • L'inclusion dans le sens \supset est facile - par récurrence transfinie on constate aisément que pour tout ordinal α, \mathcal{F}_{\alpha} est inclus dans \sigma(\mathcal{C}). Dès lors l'ensemble \bigcup_{\alpha <\omega_1}F_\alpha l'est aussi.
  • Pour le sens \subset, on remarque que \mathcal{C}\subset\mathcal{F}_0\subset\bigcup_{\alpha <\omega_1}F_\alpha et qu'il suffit donc de s'assurer que ce dernier ensemble est lui-même une tribu pour garantir qu'il contiendra \sigma(\mathcal{C}). Or il est non vide de façon évidente, stable par complémentarité parce que chaque \mathcal{F}_{\alpha} l'est (récurrence transfinie facile, à l'aide des lois de De Morgan pour le passage à un ordinal successeur), seule la stabilité par réunion dénombrable demande un peu d'attention. Soit donc (A_i)_{i\in\N} une suite d'éléments de \bigcup_{\alpha <\omega_1}F_\alpha ; pour chaque i notons αi le plus petit ordinal tel que A_i\in F_{\alpha_i}, et posons enfin \beta=\bigcup_{i\in\N}\alpha_i. Comme réunion dénombrable d'ordinaux dénombrables, β est lui-même un ordinal dénombrable - il est alors aisé de vérifier que \bigcup_{i\in\N}A_i\in\mathcal{F}_{\beta+1}\subset\bigcup_{\alpha <\omega_1}F_\alpha. La stabilité par réunion dénombrable est prouvée[4].

Lorsque X est un espace topologique métrisable et \mathcal{C} la topologie sur X cette construction admet des variantes. Il n'est ici pas nécessaire d'initialiser la récurrence en mêlant ouverts et fermés comme on le ferait si on suivait le mode d'emploi donné plus haut pour définir \mathcal{F}_0. En effet la métrisabilité garantit que tout fermé est un Gδ (et tout ouvert un Fσ) donc si on initialise la récurrence en prenant \mathcal{F}_0=\mathcal{C} on retrouve les fermés dès \mathcal{F}_1 ; on peut bien sûr symétriquement choisir une initialisation à partir de l'ensemble des fermés. La considération conjointe de ces deux itérations parallèles conduit à l'introduction de notations standardisées, ces familles croissantes de classes jouant un rôle important en théorie descriptive des ensembles : c'est ce qu'on appelle la hiérarchie de Borel[5].

Un résultat de cardinalité

Théorème[4] — Soit (X,\mathcal{A}) un espace mesuré. S'il existe une partie infinie dénombrable de la tribu \mathcal{A} qui engendre celle-ci, alors \mathcal{A} a la puissance du continu.

Démonstration : Notons \mathcal{C} la partie infinie dénombrable de l'énoncé.

Les tribus infinies ont toutes au moins la puissance du continu (voir la section « Cardinalité des tribus » de l'article tribu). \mathcal{A} contenant l'ensemble infini \mathcal{C}, elle est infinie et son cardinal est donc supérieur ou égal à \mathfrak c, cardinal du continu.

Montrons l'inégalité inverse. Avec les notations de la section précédente, la classe \mathcal{F}_0 qui initialise l'induction est infinie dénombrable. On construit une réunion dénombrable de parties de \mathcal{F}_0 à partir de chaque suite d'éléments de \mathcal{F}_0 (étant bien sûr entendu que de nombreuses suites fournissent la même réunion). Le cardinal de (\mathcal{F}_0)_\sigma est donc inférieur ou égal à celui de (\mathcal{F}_0)^\N, qui est \aleph_0^{\aleph_0}=\mathfrak c. Il en est de même avec les intersections et on conclut que le cardinal de \mathcal{F}_1 est inférieur ou égal à \mathfrak c.

En reprenant le même raisonnement, le cardinal de \mathcal{F}_2 est à son tour inférieur ou égal à \mathfrak{c}^{\aleph_0}=\mathfrak{c}.

On montre alors par récurrence transfinie que pour tout α < ω1 :

\mathrm{card}\,\mathcal{F}_\alpha\leq \mathfrak{c}.

Quand α est un ordinal successeur c'est la même méthode que celle explicitée sur le passage de \mathcal{F}_1 à \mathcal{F}_2 ; quand α est un ordinal limite, il est par définition union dénombrable d'ensembles de cardinal inférieur ou égal à \mathfrak c, donc lui-même de cardinal inférieur ou égal à  \aleph_0\,\mathfrak{c}=\mathfrak{c}.

Enfin la tribu \mathcal{Z} est écrite comme une union d'ensembles qui sont tous de la forme \mathcal{F}_\alpha, en utilisant un ensemble d'indices de cardinal \aleph_1. On conclut que  \mathrm{card}\,\mathcal{A}\leq\aleph_1\,\mathfrak{c}=\mathfrak{c}.

CQFD

Ce théorème s'applique notamment à la tribu borélienne sur l'espace \R^n, qui est engendrée par les pavés à coordonnées rationnelles. Plus généralement, sa conclusion est aussi valable sur tout espace de Lusin infini[6].

Extensions de fonctions d'ensembles

Dans les problèmes évoqués dans cette section, on dispose d'informations sur une fonction μ définie sur une classe \mathcal C de parties d'un ensemble X, et on souhaite les propager à toute la tribu engendrée \sigma(\mathcal{C}).

Problèmes d'unicité

Article détaillé : lemme de classe monotone.

Dans cette problématique on sait que μ est la restriction d'une mesure ; on veut s'assurer disposer avec cette restriction d'assez d'informations au sujet pour caractériser complètement μ.

Il s'avère que la connaissance d'une mesure sur une partie génératrice d'une tribu ne permet pas en général sa reconstitution : deux mesures peuvent coïncider sur une classe \mathcal{C} sans pour autant coïncider sur toute la tribu \sigma(\mathcal{C}).

Exemples :

  • Sur Ω = {a} singleton, on donne \mu(\emptyset)=0. La tribu engendrée par \{\emptyset\} est \mathcal{P}(\{1\}) tout entier ; au moins deux prolongements de μ sont-ils envisageables : peut-être est-elle nulle, ou peut-être est-elle l'unique mesure de probabilité sur Ω.
  • Même si on sait que la mesure à reconstituer est une mesure de probabilité sur la tribu engendrée, sa reconstitution n'est pas forcément possible. Soit Ω = {aa,ab,ba,bb} un ensemble à quatre éléments. L'ensemble de parties {{aa,ab},{aa,ba}} est manifestement générateur de la tribu discrète. Pourtant si on sait qu'une mesure de probabilité vérifie les deux conditions P({aa,ab}) = 1 / 2 et P({aa,ba}) = 1 / 2, deux reconstitutions au moins en sont-elles envisageables : peut-être tous les tirages sont-ils équiprobables, ou peut-être seuls les tirages aa et bb sont-ils possibles avec équiprobabilité.

Pour une mesure de probabilité, il existe toutefois une condition suffisante simple garantissant que ses valeurs sur \mathcal{C} la caractérisent : il suffit que \mathcal{C} soit stable par intersection finie (en jargon de théorie de la mesure, on dit que c'est un π-système). Précisément, on a :

Lemme d'unicité des mesures de probabilité —  Deux mesures de probabilité \mathbb{P}\ et \mathbb{Q}\ définies sur l'espace probabilisable (\Omega,\mathcal{A}) et coincidant sur un ensemble d'événements \mathcal{C}\subset \mathcal{A} stable par intersection (finie) coïncident aussi sur la tribu engendrée par \mathcal{C}  :

 \{\forall A\in \mathcal{C},\quad \mathbb{P}(A)=\mathbb{Q}(A)\}\quad\Rightarrow\quad\{\forall A\in \sigma(\mathcal{C}),\quad \mathbb{P}(A)=\mathbb{Q}(A)\}.

La démonstration est immédiate à partir d'un lemme, dit « lemme de classe monotone » ou « théorème lambda-pi de Dynkin » :

Lemme de classe monotone — Soit X un ensemble et \mathcal{C} une partie de \mathcal{P}(X) supposée stable par intersection finie. Alors la tribu \sigma(\mathcal{C}) engendrée par \mathcal{C} peut être décrite comme la plus petite partie de \mathcal{P}(X) qui :

  • contienne X ;
  • soit stable par différence de parties emboîtées : si A \subset B\, y figurent tous deux, B\setminus A doit y figurer aussi ;
  • soit stable par réunion dénombrable croissante.

Un exemple positif d'utilisation des résultats de cette section est la caractérisation des mesures de probabilité par leur fonction de répartition, l'ensemble des intervalles de la forme ]-\infty,x], x\in\R étant générateur de la tribu borélienne et stable par intersection[7].

Problèmes d'existence

Ici le problème est de généraliser dans un cadre abstrait les idées qui ont abouti à la définition de la mesure de Lebesgue sur la droite réelle : étant donné une classe d'ensembles \mathcal{C} sur lesquels une définition de la mesure paraît très naturelle (les rectangles dans le cadre de la mesure de Lebesgue dans le plan), on dispose sur cette classe d'une fonction d'ensembles μ raisonnable (l'aire). Quelles conditions seront-elles suffisantes pour que cette fonction d'ensembles puisse être prolongée à toute la tribu engendrée par \mathcal{C}, y compris les ensembles biscornus qu'elle peut contenir ?

Une réponse est apportée par le théorème d'extension de Carathéodory. En voici un énoncé possible[8] (dans cet énoncé, on entend par « mesure » sur un anneau d'ensembles une application de cet anneau vers [0,+\infty], σ-additive et prenant au moins une valeur finie[9]) :

Théorème — Toute mesure sur un anneau d'ensembles admet au moins un prolongement en une mesure définie sur la tribu engendrée par cet anneau.

Références

  1. Marc Briane & Gilles Pagès, Théorie de l'intégration, Paris, Vuibert, coll. « Les grands cours Vuibert », octobre 2000, 302 p. (ISBN 2-7117-8946-2) , p. 47
  2. Briane-Pagès, op. cit., p. 59
  3. Jean-Paul Pier, Histoire de l'intégration. Vingt-cinq siècles de mathématiques, Masson, 1996 (ISBN 22585324X) , p. 115
  4. a et b D'après Daniel Revuz, Mesure et intégration, Hermann, 1997 (ISBN 2705663509) , p. 110-111
  5. Pour des informations de base sur la hiérarchie de Borel, voir S.M. Srivastava, A course on Borel sets, Springer, 1991, p. 115-117
  6. Sashi Mohan Srivastava, A course on Borel sets, Springer, 1998 (ISBN 9780387984124) , théorème 3-3-18, p. 100
  7. Pour l'ensemble de la section, voir Briane-Pagès, op. cit., p. 66-68
  8. On trouve un énoncé assez simple qui entraîne celui donné ici dans Olav Kallenberg, Foundations of modern probability, Springer, 2002 (ISBN 9780387953137) , p. 26
  9. On trouvera cette définition exposée de façon moins concise à l'article « mesure », section « Généralisation ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Tribu engendrée de Wikipédia en français (auteurs)

Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Tribu (mathématique) — Tribu (mathématiques) En mathématiques, une tribu ou σ algèbre sur un ensemble Ω est un ensemble de parties de Ω contenant la partie vide, stable par complémentarité et par union dénombrable. La notion de σ algèbre est plus forte que celle d… …   Wikipédia en Français

  • Tribu (mathématiques) — Pour les articles homonymes, voir Tribu et Algèbre (homonymie). En mathématiques, une tribu ou σ algèbre (lire sigma algèbre) ou plus rarement corps de Borel[1] sur un ensemble X est un ensemble non vide de parties de X, stable par passage au… …   Wikipédia en Français

  • Tribu borélienne — La tribu borélienne sur un (ou d’un) espace topologique X est la plus petite σ algèbre sur X contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens. Le concept doit son nom à Émile Borel, qui a publié …   Wikipédia en Français

  • Tribu produit — Sommaire 1 Définition 2 Exemple : tribu borélienne produit 3 Produit de n tribus 4 Produit dénombrable de tribus …   Wikipédia en Français

  • Tribu de Lebesgue — Un ensemble Lebesgue mesurable (qu on abrège souvent en mesurable) est une partie de l espace dont la mesure de Lebesgue peut être définie, le concept pouvant être étendu à toute variété différentiable M. On appelle tribu de Lebesgue l ensemble… …   Wikipédia en Français

  • Tribu borelienne — Tribu borélienne La tribu borélienne sur un (ou d un) espace topologique T est la plus petite σ algèbre sur T contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens. La tribu de Borel peut, de manière …   Wikipédia en Français

  • Sigma-algèbre — Tribu (mathématiques) En mathématiques, une tribu ou σ algèbre sur un ensemble Ω est un ensemble de parties de Ω contenant la partie vide, stable par complémentarité et par union dénombrable. La notion de σ algèbre est plus forte que celle d… …   Wikipédia en Français

  • Lemme de classe monotone — Triangle de Sierpiński …   Wikipédia en Français

  • MARTINGALES (THÉORIE DES) — Le mot «martingale» évoque l’idée d’une stratégie pour gagner aux jeux de hasard. Cette notion tient une place essentielle dans toute la théorie des probabilités et s’est révélée être un langage très riche dans de nombreux domaines des… …   Encyclopédie Universelle

  • Indépendance (probabilités) — L indépendance est une notion probabiliste qualifiant de manière intuitive des événements aléatoires n ayant aucune influence l un sur l autre. Il s agit d une notion très importante en statistique et calcul de probabilités. Par exemple, la… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”