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.

• 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 𝒫(X)\mid A$ fini ou dénombrable $\}$est un σ-anneau. Il engendre comme σ-algèbre le système de parties$\{A\in 𝒫(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 $ℛ$ a une unité si et seulement si :$\bigcup _{A\in ℛ}A\in ℛ.$Les σ-anneaux sur $X$ ayant une unité $Y$ sont en fait les σ-algèbres sur $Y$.
• Tout σ-anneau est un δ-anneau, 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. Jusqu'au deuxième tiers du Modèle:S-, le cadre des σ-anneaux est souvent utilisé en lieu et place de celui des tribus pour exposer la théorie de la mesure.

Étant donné une mesure $\mu$ 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 $\mu$ sur la tribu des ensembles localement mesurables par le procédé exposé à l'article « delta-anneau ». On peut aussi étendre $\mu$ à la tribu $\sigma (𝒮)$ 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 $X$ est un ensemble infini non dénombrable, $𝒮$ le σ-anneau des parties finies ou dénombrables de $X$ et $\mu$ la mesure nulle, le premier procédé étend $\mu$ 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.