Tribu (mathématique)

Une tribu ou σ-algèbre \mathcal B sur un ensemble Ω est un ensemble de parties de Ω qui est stable pour des opérations dénombrables d'ensembles ; les tribus sont principalement utilisées afin de définir des mesures sur Ω. Le concept est important en analyse et en théorie des probabilités.

Formellement, \mathcal B est une tribu sur Ω si par définition elle a les propriétés suivantes:

  1. l'ensemble vide est dans \mathcal B,
  2. si A appartient à \mathcal B alors le complémentaire de A dans Ω appartient aussi à \mathcal B,
  3. si (A1, A2, A3...) est une suite d'éléments de \mathcal B alors l'union (dénombrable) de cette suite appartient aussi à \mathcal B.

De 1 et 2 il découle que Ω appartient à \mathcal B ; de 2 et 3 il s'ensuit qu'une tribu est également stable pour l'opération d'intersection dénombrable. Un couple \left(\Omega, \mathcal B\right), où Ω est un ensemble et \mathcal B est une tribu sur Ω, est appelé espace mesurable ou espace probabilisable.

Exemples

Si Ω est un ensemble quelconque, alors l'ensemble formé uniquement de l'ensemble vide et de Ω est une tribu sur Ω, appelée la tribu triviale. Un autre exemple de tribu sur Ω est donné par l'ensemble des parties de Ω appelée tribu discrète.

Si \left(\mathcal B_a\right)_a est une famille de tribu sur Ω, alors l'intersection de toutes les \mathcal B_a est aussi une tribu sur Ω.

Si U est un ensemble arbitraire de parties de Ω alors nous pouvons former une tribu particulière à partir de U, appelée la tribu engendrée par U. Nous la notons σ(U) et la définissons de la manière suivante :

D'abord remarquons qu'il existe une tribu sur Ω qui contient U, la tribu discrète sur Ω. Soit Φ l'ensemble de toutes les tribus sur Ω qui contiennent U (cela signifie qu'une tribu \mathcal B sur Ω appartient à Φ si et seulement si U est un sous-ensemble de \mathcal B.) Alors nous définissons σ(U) comme étant l'intersection de toutes les tribus de Φ. Alors σ(U) est la plus petite tribu sur Ω contenant U ; ses éléments sont tous des ensembles qui peuvent être obtenus à partir des éléments de U en utilisant les opérations d'intersection, de réunion dénombrable, ou de passage au complémentaire transfiniment.

Cela nous mène au plus important exemple : la tribu de Borel sur n'importe quel espace topologique qui est la tribu engendrée par les ensembles ouverts (ou, de manière équivalente, par les ensembles fermés), appelée tribu borélienne. Notons que cette tribu n'est pas en général, l'ensemble de toutes les parties ; par exemple, la tribu borélienne de Rn a la puissance du continu alors que P(Rn) a une puissance strictement supérieure.

Sur l'espace euclidien \mathbb R^n, une autre tribu importante : celle des ensembles Lebesgue-mesurables. Cette tribu contient « plus » d'ensembles qu'une tribu de Borel sur \mathbb R^n et est privilégiée dans la théorie de l'intégration. Elle ne contient pas non plus l'ensemble des parties de \mathbb R^n, mais l'argument de cardinalité ne suffit plus ; voir Ensemble non mesurable.

Voir aussi

See also: Tribu (mathématique), Analyse (mathématiques), Ensemble, Ensemble vide, Espace euclidien, Espace probabilisable, Espace topologique, Intégration, Mesure (mathématiques), Mesure de Lebesgue