Sigma-anneau

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'hui plus souvent exposée dans le cadre des tribus.

Définition, exemples, propriétés

Maurice Fréchet est en 1915 le premier à utiliser des sigma-anneaux

Définition[1] — Un σ-anneau sur un ensemble X est un anneau d'ensembles sur X stable par union dénombrable.

  • Toute σ-algèbre (on dit aussi « tribu ») est un σ-anneau. De même que les algèbres d'ensembles sont les anneaux d'ensembles contenant X, les σ-algèbres sont les σ-anneaux contenant X.
  • Un anneau d'ensembles sur un ensemble fini est aussi un σ-anneau. Un anneau sur un ensemble fini qui n'est pas une algèbre d'ensembles fournit donc un exemple de σ-anneau qui n'est pas une σ-algèbre : c'est ainsi le cas de \{\varnothing,\{a\}\} sur un ensemble à deux éléments X = {a,b}.
  • Sur tout ensemble X, le système de parties
\{ A \in \mathcal P(X)\,\mid\, A fini ou dénombrable \} \,
est un σ-anneau. Il engendre comme σ-algèbre le système de parties
\{ A \in \mathcal P(X)\,\mid\, A ou {}^c A \, fini ou dénombrable \} \,
Lorsque X est infini non dénombrable, la première classe est strictement contenue dans la seconde, et fournit un deuxième exemple de σ-anneau qui n'est pas une σ-algèbre.
  • Vues comme anneaux de Boole, les algèbres d'ensembles ont une unité, au sens d'un élément neutre pour la deuxième opération de cette structure (à savoir l'intersection). Les anneaux d'ensembles plus généraux (et en particulier les σ-anneaux) peuvent en avoir une, comme dans l'exemple de \{\varnothing,\{a\}\} ci-dessus, ou ne pas en avoir, comme dans l'exemple suivant. Il est facile de voir qu'un anneau d'ensembles \mathcal R a une unité si et seulement si :
\bigcup_{A\in\mathcal R}A\in\mathcal R.
Les σ-anneaux sur X ayant une unité Y sont en fait les σ-algèbres sur Y[2].
  • Tout σ-anneau est un δ-anneau[3], mais la réciproque n'est pas vraie (voir les détails à l'article « δ-anneau »).

Utilisations en théorie de la mesure

En 1915, Maurice Fréchet publie un article qui propose déjà une définition des mesures très voisine de celle admise de nos jours, et qui est le premier à considérer des « ensembles abstraits » sans relation avec les nombres réels. Il y introduit, sans les nommer, les σ-anneaux[4]. Jusqu'au deuxième tiers du XXe siècle, le cadre des σ-anneaux est souvent utilisé en lieu et place de celui des tribus pour exposer la théorie de la mesure[5].

Étant donnée une mesure μ définie sur un σ-anneau \mathcal S qui n'est pas une σ-algèbre, on dispose d'au moins deux stratégies pour l'étendre à une σ-algèbre : on peut considérer le σ-anneau comme un δ-anneau et étendre μ sur la tribu des ensembles localement mesurables par le procédé exposé à l'article « delta-anneau ». On peut aussi étendre μ à la tribu \sigma(\mathcal{S}) engendrée par \mathcal S en donnant la mesure +∞ à toutes les parties où elle n'est pas déjà définie. Les deux procédés ne donnent pas forcément la même extension, même sur la tribu engendrée. Ainsi si X est un ensemble infini non dénombrable, \mathcal S le σ-anneau des parties finies ou dénombrables de X et μ la mesure nulle, le premier procédé étend μ en la mesure nulle (sur la tribu de toutes les parties de X) tandis que le second l'étend en donnant une mesure infinie aux complémentaires d'ensembles finis ou dénombrables[6].

Notes et références

  1. ↑ La définition des σ-anneaux est omniprésente dans les traités de théorie de la mesure ; on la trouve par exemple dans (en) Paul Halmos, Measure Theory, Van Nostrand, 1950, p. 24 
  2. ↑ Ces remarques sont issues du rapprochement de A. Kolmogorov et S. Fomine (en), Éléments de la théorie des fonctions et de l'analyse fonctionnelle, Éditions Mir, 1977 , qui met en avant la condition d'existence d'une unité et de Halmos, op. cit., p. 73, qui écrit cette condition via la réunion des éléments σ-anneau.
  3. ↑ (en) Karen Saxe, Beginning functional analysis, New York, Springer, 2002, relié (ISBN 978-0-387-95224-6) (LCCN 00067916) , exercice 3.2.1, p. 69
  4. ↑ Jean-Paul Pier, Histoire de l'intégration. Vingt-cinq siècles de mathématiques, Masson, 1996 (ISBN 978-2-22585324-1), p. 165 , qui renvoie à Maurice Fréchet, « Sur l'intégrale d'une fonctionnelle étendue à un ensemble abstrait », dans Bull. Soc. Math. France (en), vol. XLIII, 1915, p. 248-265 
  5. ↑ Ainsi Paul Halmos, op. cit., p.73 appelle-t-il « espace mesurable » un espace muni d'un σ-anneau unitaire et (en) Sterling Berberian, Measure and Integration, MacMillan, 1965, p. 35  un espace muni d'un σ-anneau, éventuellement sans unité.
  6. ↑ Sterling Berberian, op. cit., p. 35-36

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Anneau Factoriel — En mathématiques, un anneau factoriel est un cas particulier d anneau commutatif, unitaire et intègre. À l image des nombres entiers, il existe un équivalent du théorème fondamental de l arithmétique pour une telle structure. Tout élément d un… …   Wikipédia en Français

  • Semi-anneau d'ensembles —  Ne doit pas être confondu avec semi anneau. Un semi anneau d ensembles (généralement abrégé en semi anneau) est une classe de parties d un ensemble X à partir de laquelle on construit facilement un anneau d ensembles. C est un cadre commode …   Wikipédia en Français

  • Construction de l’anneau des polynômes — Construction de l anneau des polynômes En algèbre, l anneau des polynômes formels (à une indéterminée) est un ensemble contenant des nombres, comme les entiers, les réels ou les complexes, et un objet supplémentaire, souvent noté X. Tous les… …   Wikipédia en Français

  • Construction de l'anneau des polynômes — En algèbre, l anneau des polynômes formels (à une indéterminée) est un ensemble contenant des nombres, comme les entiers, les réels ou les complexes, et un objet supplémentaire, souvent noté X. Tous les éléments de l anneau de polynômes s… …   Wikipédia en Français

  • Delta-anneau —  Ne doit pas être confondu avec Anneau delta. Un δ anneau (lire delta 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… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   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

  • Mesure Complète — Un espace mesuré (E,T,µ) est dit complet si toute partie µ négligable est élément de T. Nous rappelons ici que A µ négligeable veut dire « A est contenu dans B où µ(B)=0 ». On dit aussi qu une mesure est complète si et seulement si tout …   Wikipédia en Français

  • Mesure complete — Mesure complète Un espace mesuré (E,T,µ) est dit complet si toute partie µ négligable est élément de T. Nous rappelons ici que A µ négligeable veut dire « A est contenu dans B où µ(B)=0 ». On dit aussi qu une mesure est complète si et… …   Wikipédia en Français

  • Groupe Des Classes D'idéaux — En mathématiques, la théorie des corps de nombres fait apparaître un groupe abélien fini construit à partir de chaque tel corps : son groupe des classes d idéaux. Sommaire 1 Histoire et origine du groupe des classes d idéaux 2 Développement… …   Wikipédia en Français

Share the article and excerpts

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