Sigma-algèbre

Sigma-algèbre

Tribu (mathématiques)

En mathématiques, une tribu ou σ-algèbre \mathcal B 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'algèbre de Boole, où l'on impose simplement la stabilité par réunion finie. Les tribus sont principalement utilisées afin de définir des mesures sur Ω et ainsi permettre l'intégration telle que Lebesgue l'a créée. Le concept est important en analyse et en théorie des probabilités.

Sommaire

Définition

Soit \Omega \, un ensemble. On appelle tribu (ou σ-algèbre) sur \Omega \, un ensemble \mathcal B de parties de \Omega \, qui vérifie :

  1. l'ensemble vide est dans \mathcal B
  2. \mathcal B est stable par complémentaire
  3. \mathcal B est stable par union dénombrable


Formellement :

  1.  \empty \in \mathcal B
  2.  \forall A \in \mathcal B , {}^c A \in \mathcal B
  3. si  \forall n \in \mathbb{N}, A_n \in \mathcal B alors  \bigcup_{n\in\mathbb{N} } A_n \in \mathcal B

Le couple \left(\Omega, \mathcal B\right) est appelé espace mesurable ou espace probabilisable en fonction du contexte. La notion de mesure est définie à l'intérieur d'un espace mesurable et celle de probabilité à l'intérieur d'un espace probabilisable.

Propriétés

  •  \Omega \in \mathcal B (d'après 1 et 2)
  • une tribu est également stable pour l'opération d'intersection dénombrable (d'après 2 et 3) :
    si  \forall n \in \mathbb{N}, A_n \in \mathcal B alors  \bigcap_{n\in\mathbb{N} } A_n \in \mathcal B
  • Si \left(\mathcal B_a\right)_a est une famille de tribus sur Ω, alors \bigcap_a \mathcal B_a est aussi une tribu sur Ω.

Remarque

Si  \left(\mathcal B_a\right)_a est une famille de tribus sur Ω, alors \bigcup_a \mathcal B_a n'est pas une tribu sur Ω en général.

Par exemple, pour Ω = {1,2,3}, en prenant  \mathcal B_1 engendrée (voir ci-dessous) par {1,2} et {3} et  \mathcal B_2 par {1} et {2,3}, on remarque que {1,2}∩{2,3}={2} n'est pas dans  \mathcal B_1  \bigcup  \mathcal B_2 .

Exemples

  • tribu triviale (aussi appelée discrète) :  \mathcal B = \mathcal P(\Omega) \mathcal P(\Omega) représente l'ensemble de toutes les parties de Ω
  • tribu grossière :  \mathcal B = \{ \empty, \Omega \}

La tribu triviale est la plus grande possible, et la tribu grossière la plus petite possible, au sens de l'inclusion.

  • Si Ω = {a,b,c,d} alors  \mathcal B=\{\empty, \{a\}, \{b, c, d\}, \Omega\} est une tribu sur Ω. C'est la plus petite tribu contenant l'ensemble {a}.

Tribu engendrée

Si U est un ensemble arbitraire de parties de Ω alors il existe une plus petite tribu (au sens de l'inclusion) contenant U, notée σ(U) et appelée la tribu engendrée par U.

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 Φ : σ(U) est la plus petite tribu sur Ω contenant U ; ses éléments sont tous les 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.


Exemples :

  •  \sigma (\{\empty \} ) = \{ \empty, \Omega \}
  • Soit  A \in \mathcal P(\Omega), A \ne \Omega et A \ne \empty , alors  \sigma (\{A\}) = \{ \empty, \Omega, A, {}^c A \}
  • Soit  \mathcal L = \{ \{\omega\} , \omega \in \Omega \} l'ensemble des singletons de l'univers  \Omega \, . On a  \sigma (\mathcal L) = \{ A \in \mathcal P(\Omega), A ou  {}^c A \, dénombrable  \} \,

Tribu borélienne

Cela nous mène à l'exemple le plus important : 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. 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 que la 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.

Tribu produit

Soit \scriptstyle\ (\Omega_1,\mathcal{S}_1)\ et \scriptstyle\ (\Omega_2,\mathcal{S}_2)\ deux ensembles, chacun muni d'une tribu. La tribu-produit \scriptstyle\ \mathcal{S}_1\times\mathcal{S}_2\ est la tribu de parties du produit cartésien \scriptstyle\ \Omega_1\times\Omega_2\ engendrée par les pavés \scriptstyle\ A_1\times A_2,\ \scriptstyle\ A_i\in \mathcal{S}_i,\quad i\in\{1,2\}\ :\

\mathcal{S}_1\times\mathcal{S}_2\ =\ \sigma\left(\left\{A_1\times A_2\ |\ A_1\in \mathcal{S}_1,\ A_2\in \mathcal{S}_2\right\}\right).

Étymologie

Il semble que c'est Nicolas Bourbaki qui ait proposé (chapitre IX de l'opus Topologie générale) l'appellation tribu[1][2] le premier. Il est avancé[1] que Bourbaki n'était pas féru de théorie de la mesure, d'où une certaine propension à nommer avec des noms primitifs les objets de cette théorie (tribu, clan). D'un autre côté, tous les mots synonymes (groupe, corps...) sont déjà pris, il fallait bien trouver un mot qui fasse sens. Dont acte.

Voir aussi

Articles connexes

Liens externes

Bibliographie

Références

  1. a  et b [1], consultée le 26 mai 2009
  2. [2], consultée le 26 mai 2009
  • Portail des mathématiques Portail des mathématiques
  • Portail des probabilités et des statistiques Portail des probabilités et des statistiques
Ce document provient de « Tribu (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Sigma-algèbre de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Algebre de Clifford — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… …   Wikipédia en Français

  • Algèbre De Clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… …   Wikipédia en Français

  • Algèbre de Clifford du plan euclidien) — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… …   Wikipédia en Français

  • Algèbre de clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… …   Wikipédia en Français

  • Algebre stellaire — Algèbre stellaire Une algèbre stellaire ou C* algèbre est l objet d étude de la géométrie non commutative. Cette notion a été formalisée en 1943 par Gelfand et Segal. Les algèbres stellaires sont centrales dans l étude des représentations… …   Wikipédia en Français

  • Algèbre Stellaire — Une algèbre stellaire ou C* algèbre est l objet d étude de la géométrie non commutative. Cette notion a été formalisée en 1943 par Gelfand et Segal. Les algèbres stellaires sont centrales dans l étude des représentations unitaires de groupes… …   Wikipédia en Français

  • Algèbre stellaire — Une algèbre stellaire ou C* algèbre est l objet d étude de la géométrie non commutative. Cette notion a été formalisée en 1943 par Gelfand et Segal. Les algèbres stellaires sont centrales dans l étude des représentations unitaires de groupes… …   Wikipédia en Français

  • Algèbre enveloppante — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, on peut construire l algèbre enveloppante d une algèbre de Lie . Il s agit une algèbre unitaire qui permet de rendre compte de la plupart des propriétés de …   Wikipédia en Français

  • Algèbre de Clifford — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être… …   Wikipédia en Français

  • Sigma-anneau — Un σ anneau (lire sigma anneau) est un système d ensembles dont la définition est un peu plus générale que celle des σ algèbres (ou « tribus »). Il est possible de présenter dans ce formalisme alternatif la théorie de la mesure, aujourd …   Wikipédia en Français

Share the article and excerpts

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