Algèbre d'ensembles

Algèbre d'ensembles
Page d'aide sur l'homonymie Pour les articles homonymes, voir Algèbre (homonymie).

Définition — Une algèbre d'ensembles est un ensemble \mathcal B de parties d'un ensemble X qui vérifie :

  1. \mathcal B n'est pas vide
  2. \mathcal B est stable par complémentation
  3. \mathcal B est stable par union (finie).

Le concept intervient dans l'exposition des bases de la théorie de la mesure, sous des noms assez variés dans les sources en français : outre algèbre d'ensembles[1], et sa variante corps d'ensembles[2], on trouve aussi algèbre de Boole de parties[3], ou plus brièvement algèbre de Boole[4], voire simplement algèbre[5], et encore anneau booléen unitaire[6] ou clan unitaire[7].

Cette définition évoque celle d'une tribu ; en les rapprochant on constate immédiatement qu'un ensemble de parties d'un ensemble est une tribu si et seulement si c'est une algèbre d'ensembles stable par réunion dénombrable. Dans l'esprit de la théorie de la mesure, un exemple significatif d'algèbre d'ensembles est l'algèbre composée des unions finies d'intervalles de la droite réelle (tous types d'intervalles, bornés ou non) ; ce n'est pas une tribu.

En quelques manipulations, on se convainc que la définition donnée plus haut équivaut à exiger les cinq propriétés suivantes :

  1. \varnothing\in\mathcal B
  2. X\in\mathcal B
  3. \mathcal B est stable par complémentation
  4. \mathcal B est stable par union (finie)
  5. \mathcal B est stable par intersection (finie).


En d'autres termes, les algèbres d'ensembles sont les sous-algèbres de Boole de l'algèbre de Boole de toutes les parties d'un ensemble.

Si on considère l'algèbre de Boole de toutes les parties à travers la structure d'anneau de Boole associée à sa structure d'algèbre de Boole, on remarque que les algèbres d'ensembles en sont exactement les sous-anneaux (étant entendus que les anneaux sont unitaires : on exige du sous-anneau de contenir X, qui est le neutre de la multiplication de l'anneau, qui est l'intersection). Lorsqu'on relâche cette condition sur le neutre multiplicatif, l'objet mathématique similaire est appelé un anneau d'ensembles. Il est facile de trouver des exemples d'anneaux d'ensembles qui ne sont pas des algèbres d'ensembles (\{\varnothing\} est le plus simple), ainsi l'ensemble des unions finies d'intervalles bornés de la droite réelle.

Références

  1. Mentionné dans le glossaire de Alain Michel, Constitution de la théorie moderne de l'intégration, Vrin, 1992 (ISBN 9782711610648) , p. 303
  2. Saunders MacLane et Garrett Birkhoff, Algèbre 2. Les grands théorèmes, Gauthier-Villars, 1971 , traduit de l'américain par J. Weil, p. 190
  3. Daniel Revuz, Mesure et intégration, Hermann, coll. « Méthodes », 1997, 2e éd. (ISBN 2-7056-6350-9) , p. 29
  4. Jacques Neveu, Bases mathématiques du calcul des probabilités, Masson, 1964  ou Albert Tortrat, Calcul des probabilités et introduction aux processus aléatoires, Masson, 1971 , p. 27
  5. Daniel Revuz et Albert Tortat signalent tous deux ce raccourci, banal dans la littérature en anglais (algebra)
  6. Paul Krée, Intégration et théorie de la mesure : Une approche géométrique, Ellipses, coll. « Mathématiques pour le 2e cycle », 1997 (ISBN 2-7298-6718-X) 
  7. Alain Michel

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • 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

  • Algèbre des parties d'un ensemble — En théorie des ensembles, l ensemble des parties d un ensemble, muni des opérations d intersection, de réunion, et de passage au complémentaire possède une structure d algèbre de Boole. D autres opérations s en déduisent, comme la différence… …   Wikipédia en Français

  • Algèbre (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot « algèbre » vient de l arabe ’al ǧabr (« réduction »), désignant une technique de chirurgie des membres puis une technique de… …   Wikipédia en Français

  • Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… …   Wikipédia en Français

  • Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… …   Wikipédia en Français

  • ALGÈBRE — L’algèbre au sens moderne, à savoir l’étude des structures algébriques indépendamment de leurs réalisations concrètes, ne s’est dégagée que très progressivement au cours du XIXe siècle, en liaison avec le mouvement général d’axiomatisation de… …   Encyclopédie Universelle

  • ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… …   Encyclopédie Universelle

  • Algebre relationnelle — Algèbre relationnelle L algèbre relationnelle est un concept mathématique de la théorie des ensembles qui consiste à définir des opérations sur les relations. Sommaire 1 Au sujet de l algèbre relationnelle 2 Eléments du modèle relationnel 2.1 …   Wikipédia en Français

  • Algèbre Relationnelle — L algèbre relationnelle est un concept mathématique de la théorie des ensembles qui consiste à définir des opérations sur les relations. Sommaire 1 Au sujet de l algèbre relationnelle 2 Eléments du modèle relationnel 2.1 …   Wikipédia en Français

  • Algebre generale — Algèbre générale L algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l étude des structures algébriques et de leurs relations. L appellation algèbre générale s oppose à celle d algèbre… …   Wikipédia en Français

Share the article and excerpts

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