Anneau d'ensembles

Anneau d'ensembles

Un anneau d'ensembles est une classe non vide de parties d'un ensemble X vérifiant deux propriétés de stabilité. Le concept, très voisin de celui d'algèbre d'ensembles, est utilisé en théorie de la mesure pour initialiser les constructions de mesures classiques qu'on étendra ensuite à la tribu engendrée par l'anneau. Vus comme parties de l'anneau de Boole de toutes les parties de X (considéré comme un pseudo-anneau), ils en sont les sous-anneaux (non nécessairement unitaires).

Sommaire

Définition

Définition[1] — Un anneau d'ensembles est un ensemble \mathcal R de parties d'un ensemble X qui vérifie :

  1. \mathcal R n'est pas vide ;
  2. \mathcal R est stable par différence ensembliste ;
  3. \mathcal R est stable par union (finie).

Une minorité de sources exigent également que X ne soit pas vide[2] ; cette hypothèse supplémentaire n'est nulle part utilisée dans le présent article.

Propriétés élémentaires

Soit \mathcal R un anneau d'ensembles. Alors :

  • l'ensemble vide appartient à \mathcal R (l'écrire A\setminus A pour un élément A de l'ensemble non vide \mathcal R) ;
  • \mathcal R est stable par intersection (on peut en effet écrire A\cap B=(A\cup B) \setminus (A\Delta B)) ;

Toute algèbre d'ensembles est un anneau d'ensembles (on peut en effet écrire A\setminus B={}^c({}^cA\cup B), où on note cE le complémentaire d'une partie E). Il existe en revanche des anneaux d'ensembles qui ne sont pas des algèbres d'ensembles, l'exemple le plus simple étant celui de \{\varnothing\}.

Un anneau d'ensembles sur X est une algèbre d'ensembles si et seulement si X appartient à l'anneau.

Utilisations en théorie de la mesure

Dans la généralisation de la construction de la mesure de Lebesgue que synthétise le théorème d'extension de Carathéodory, une mesure est construite sur une σ-algèbre par un procédé d'extension relativement sophistiqué, mais dont la première étape est assez simple : on construit d'abord les valeurs de la mesure sur les éléments d'un anneau d'ensembles \mathcal A. La construction peut avoir été initiée sur un semi-anneau d'ensembles qui engendre lui-même \mathcal A (comme anneau d'ensembles).

Dans l'exemple de la mesure de Lebesgue sur la droite réelle, le semi-anneau qui initie la construction peut être l'ensemble des intervalles bornés de \R, et l'anneau est alors l'ensemble des réunions finies d'intervalles bornés.

Il existe des variantes de cette construction qui font intervenir des variantes de la notion de σ-algèbre : on appelle dans cette optique σ-anneau un anneau stable par réunion dénombrable et δ-anneau un anneau stable par intersection dénombrable.

Anneaux d'ensembles et algèbres de Boole

On peut donner la définition des anneaux d'ensembles sous une forme alternative :

Définition équivalente — Un ensemble \mathcal R de parties d'un ensemble X est un anneau d'ensembles lorsque :

  1. \mathcal R n'est pas vide
  2. \mathcal R est stable par différence symétrique
  3. \mathcal R est stable par intersection (finie).

Les remarques faites plus haut ont montré que la définition initiale entraînait cette caractérisation. Réciproquement, si \mathcal R vérifie les trois hypothèses qui précèdent, il est stable par différence ensembliste (puisque A\setminus B = A\Delta (A\cap B)) et par réunion (puisque A\cup B=(A\Delta B)\Delta(A\cap B)) et est donc un anneau d'ensembles.

On rappelle que l'algèbre de Boole de toutes les parties de l'ensemble X est munie d'une structure d'anneau de Boole, l'addition étant la différence symétrique (de neutre \varnothing) et la multiplication étant l'intersection (de neutre X). Pour cette structure, les anneaux de parties sont donc les sous-groupes additifs stables par la multiplication : ce sont donc les sous-structures pour la structure de pseudo-anneau. Quant aux algèbres de parties, ce sont, pour leur part, les sous-groupes additifs stables pour la multiplication et contenant le neutre de celle-ci : ce sont donc les sous-structures pour la structure d'anneau unitaire[3].

Références

  1. ↑ Paul Halmos, Measure Theory, Van Nostrand, 1950 , p. 19, parmi d'innombrables sources possibles
  2. ↑ Adriaan Zaanen, Integration, North Holland, 1967 , p. 26 ou Ole A. Nielsen, An introduction to integration and measure theory, Wiley-interscience, 1997 (ISBN 978-0-471-59518-2) , p. 125
  3. ↑ La relation entre les anneaux d'ensembles et la structure d'anneau de Boole est exposée dans Halmos, op. cit., p. 21-22

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • 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

  • ENSEMBLES (THÉORIE DES) - Théorie élémentaire — L’algèbre des ensembles et l’étude abstraite des relations sont d’une importance croissante dans toutes les disciplines qui cherchent à s’exprimer dans un cadre rigoureux. En mathématiques, c’est l’interrogation sur les fondements de cette… …   Encyclopédie Universelle

  • Anneau Euclidien — Euclide (Juste de Gand ,vers 1474) En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d anneau commutatif unitaire intègre. Un anneau est dit euclidien s il est… …   Wikipédia en Français

  • Anneau Noethérien — Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une addition et d une… …   Wikipédia en Français

  • Anneau noetherien — Anneau noethérien Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une… …   Wikipédia en Français

  • Anneau Commutatif — Dans la théorie des anneaux, un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. Cela signifie que pour tous les éléments a et b de l’anneau, on a a*b=b*a, en notant * cette loi de multiplication. L’étude des… …   Wikipédia en Français

  • Anneau abélien — Anneau commutatif Dans la théorie des anneaux, un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. Cela signifie que pour tous les éléments a et b de l’anneau, on a a*b=b*a, en notant * cette loi de… …   Wikipédia en Français

  • Anneau à division — Corps (mathématiques) Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des… …   Wikipédia en Français

  • Anneau unitaire — Pour les articles homonymes, voir Anneau. En algèbre générale, un anneau unitaire ou simplement anneau, est un ensemble sur lequel deux opérations satisfont certaines des propriétés de l addition et la multiplication des nombres entiers relatifs …   Wikipédia en Français

  • Anneau euclidien — Euclide (Juste de Gand, vers 1474) En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d anneau intègre. Un anneau est dit euclidien s il est possible d y définir… …   Wikipédia en Français

Share the article and excerpts

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