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
[modifier | modifier le code]![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Frechet.jpeg/220px-Frechet.jpeg)
Définition[1] — Un σ-anneau sur un ensemble est un anneau d'ensembles sur 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 , les σ-algèbres sont les σ-anneaux contenant .
- 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 sur un ensemble à deux éléments .
- Sur tout ensemble , le système de parties
fini ou dénombrable est un σ-anneau. Il engendre comme σ-algèbre le système de partiesou fini ou dénombrable Lorsque 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 ci-dessus, ou ne pas en avoir, comme dans l'exemple suivant. Il est facile de voir qu'un anneau d'ensembles a une unité si et seulement si :
Les σ-anneaux sur ayant une unité sont en fait les σ-algèbres sur [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
[modifier | modifier le code]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é une mesure définie sur un σ-anneau 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 engendrée par 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 est un ensemble infini non dénombrable, le σ-anneau des parties finies ou dénombrables de et la mesure nulle, le premier procédé étend en la mesure nulle (sur la tribu de toutes les parties de ) 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
[modifier | modifier le code]- 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, , p. 24.
- Ces remarques sont issues du rapprochement de A. Kolmogorov et S. Fomine, Éléments de la théorie des fonctions et de l'analyse fonctionnelle, Éditions Mir, , 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.
- (en) Karen Saxe, Beginning functional analysis, New York, Springer, , 197 p., relié (ISBN 978-0-387-95224-6, LCCN 00067916, lire en ligne), exercice 3.2.1, p. 69.
- Jean-Paul Pier, Histoire de l'intégration. Vingt-cinq siècles de mathématiques, Masson, , 306 p. (ISBN 978-2-225-85324-1), p. 165, qui renvoie à Maurice Fréchet, « Sur l'intégrale d'une fonctionnelle étendue à un ensemble abstrait », Bull. Soc. Math. France, vol. XLIII, , p. 248-265
- 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, , p. 35 un espace muni d'un σ-anneau, éventuellement sans unité.
- Sterling Berberian, op. cit., p. 35-36
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.