Algèbre des parties d'un ensemble

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 ensembliste et la différence symétrique … L'algèbre de Boole des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article opération ensembliste pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).

Sommaire

Inclusion et égalité

A est inclus dans B, noté
AB (ou AB)

Dans tout l'article les ensembles considérés sont tous supposés inclus dans un ensemble donné U. L'inclusion est une relation d'ordre (partielle) notée « ⊂ » ou « ⊆ », et définie sur l'ensemble des parties de U, noté P(U), par :

AB si et seulement ∀ xU (xAxB).

L'égalité est définie par extensionnalité, deux ensembles sont égaux quand ils ont les mêmes éléments, c'est-à-dire que :

A = B si et seulement ∀ xU (xAxB).

ou encore

A = B si et seulement AB et BA.

Les propriétés qui suivent correspondent donc, pour les égalités, à des équivalences en calcul propositionnel dont elles se déduisent. Elles peuvent être visualisées avec les diagrammes de Venn, une façon schématique de décrire toutes les cas possibles pour l'appartenance d'un élément à un nombre fini (et suffisamment réduit) d'ensembles, et qui peut donc permettre également de décrire des démonstrations d'égalité ou d'inclusion.

De façon similaire, les inclusions se ramènent à des implications.

Réunion et intersection

Réunion de deux ensembles

La réunion de deux ensembles : AB

L'ensemble réunion de A et de B, noté « A U B » ( lire « A union B » ), est l'ensemble des éléments appartenant à A ou à B :

A\cup B=\{x\in \mathrm U|(x\in A)\lor(x\in B)\}

c'est-à-dire que :

xAB   si et seulement si   xA ou xB.

Propriétés

L'ensemble U muni de la réunion a les propriétés suivantes (pour tous sous-ensembles A, B, C de U) :

ABC
  • (associativité) : le résultat de la réunion de plusieurs ensembles ne dépend pas de l'ordre dans lequel les opérations de réunion sont faites :
(A\cup B)\cup C=A\cup(B\cup C)
et on note ABC cet ensemble ;
  • (commutativité) : la réunion de deux ensembles ne dépend pas de l'ordre dans lequel ces deux ensembles sont pris :
A\cup B=B\cup A ;
  • (idempotence) : la réunion d'un ensemble quelconque avec lui-même redonne cet ensemble :
A\cup A=A ;
  • Ø est neutre : la réunion de l'ensemble vide avec un ensemble quelconque redonne cet ensemble :
A\cup\varnothing=A ;
  • U est absorbant : UA = U.

L'ensemble AB est la borne supérieure pour l'inclusion des deux ensembles A et B, c'est-à-dire qu'il contient A et B, et qu'il est contenu dans tout ensemble contenant A et B :

  • AAB,   BAB et   ∀ C [(AC et BC) ⇒ ABC].

Par conséquent l'inclusion se définit à partir de la réunion :

AB   si et seulement si   AB = B.

Intersection de deux ensembles

L'intersection de deux ensembles : AB

L'ensemble intersection de A et de B, noté « AB » ( lire « A inter B » ) est l'ensemble des éléments de A qui sont également éléments de B, soit :

A\cap B=\{x\in \mathrm U|(x\in A)\land(x\in B)\}

c'est-à-dire que :

xAB   si et seulement si   xA et xB.

Deux ensembles qui n'ont aucun élément en commun, c'est-à-dire que leur intersection est vide, sont dits disjoints.

Propriétés

Les propriétés de l'intersection sont similaires à celles de la réunion. On dit qu'elles sont duales de celles--ci, car on les obtient en remplaçant le signe de réunion par celui d'intersection, et si nécessaire en échangeant ∅ et U, l'inclusion et sa réciproque. Pour tous sous-ensembles A, B, C de U on a les propriétés suivantes :

ABC
  • (associativité) : le résultat de l'intersection de plusieurs ensembles ne dépend pas de l'ordre dans lequel les opérations sont faites :
(A\cap B)\cap C=A\cap(B\cap C)
et on note ABC cet ensemble ;
  • (commutativité) : l'intersection de deux ensembles ne dépend pas de l'ordre dans lequel ces deux ensembles sont pris
A\cap B=B\cap A ;
  • (idempotence) : l'intersection d'un ensemble quelconque avec lui-même redonne cet ensemble
A\cap A=A
  • (Ø absorbant) : l'intersection de l'ensemble vide et d'un ensemble quelconque est vide
A \cap\varnothing=\varnothing ;
  • U est neutre : UA = A.

L'ensemble AB est la borne inférieure pour l'inclusion des deux ensembles A et B, c'est-à-dire qu'il est inclus dans A et dans B, et qu'il contient tout ensemble inclus à la fois dans A et dans B :

  • ABA,   ABB   et   ∀ C [(CA et CB) ⇒ CAB].

Ceci permet de définir l'inclusion à partir de l'intersection cette fois :

AB   si et seulement si AB = A.

Distributivité

A ∩ (BC) =
(AB) ∪ (AC)
A ∪ (BC) =
(AB) ∩ (AC)

Les deux opérations de réunion et d'intersection sont distributives l'une par rapport à l'autre, c'est-à-dire que l'on a les deux propriétés suivantes, pour tous ensembles A, B, C :

  • (distributivité de l'intersection par rapport à la réunion : l'intersection de la réunion de deux ensembles avec un troisième ensemble est égale à la réunion de l'intersection de chacun des deux premiers ensembles avec le troisième :
A\cap(B\cup C)=(A\cap B)\cup(A\cap C) ;
  • (distributivité de la réunion par rapport à l'intersection) : la réunion de l'intersection de deux ensembles avec un troisième ensemble est égale à l'intersection de la réunion de chacun des deux premiers ensembles avec le troisième :
A \cup(B\cap C)=(A\cup B)\cap(A\cup C).

Réunion et intersection : cas général

Il est possible de généraliser la réunion à un nombre fini d'ensembles : on se ramène au cas de deux ensembles par réunion binaires successives et l'associativité de la réunion assure que l'ordre n'a pas d'importance. De même pour l'intersection.

Mais il est possible également de généraliser ces opérations à une famille non nécessairement finie d'ensembles.

La réunion d'une famille d'ensembles \ _{(E_i)_{i \in I}} est définie par :

 \bigcup_{i \in I} E_i = \left \{x \in\mathrm U | \exists\ i \in I ,\ x \in E_i \, \right \}.

Cette définition ne dépend pas de U. La réunion d'une famille vide est l'ensemble vide.

L'intersection d'une famille d'ensembles \ _{(E_i)_{i \in I}} est définie par :

 \bigcap_{i \in I} E_i = \left \{x \in\mathrm U | \forall\ i \in I ,\ x \in E_i \, \right \}.

La définition ci-dessus ne dépend pas de l'ensemble U sauf quand la famille est vide. dans ce dernier cas l'intersection de la famille vide est par définition l'ensemble de référence U, ce qui reste compatible avec les propriétés de l'intersection. On ne peut pas définir « dans l'absolu » (sans ensemble de référence) l'intersection d'une famille vide.

Certains de propriétés de la réunion et de l'intersection binaire se généralise au cas infini. ce ne sont maintenant des propriétés du calcul des prédicats (et plus seulement du calcul proprositionnel) qui sont en jeu. En particulier :

  • l'intersection et la réunion d'une famille \ _{(E_i)_{i \in I}} ne dépendent que de l'ensemble image de la famille, ce qui généralise l'associativité, la commutativité et l'idempotence, et découle directement de la définition ;
  • l'intersection d'une famille d'ensemble (Ei)iI est la borne inférieure de l'ensemble { {Ei | iI} ;
  • la réunion d'une famille d'ensemble (Ei)iI est la borne supérieure de l'ensemble { {Ei | iI} ;
  • l'intersection binaire se distribue sur une réunion quelconque, de même que la réunion binaire sur une intersection quelconque :
A \cap \bigcup_{i\in I} B_{i} = \bigcup_{i\in I} (A \cap B_{i})   ;   A \cup \bigcap_{i\in I} B_{i} = \bigcap_{i\in I} (A \cup B_{i}).

Complémentaire

L'ensemble A
son complémentaire A c

Un ensemble de référence U étant donné, le complémentaire du sous-ensemble A de U (sous-entendu relativement à U) est l'ensemble des élements de U qui n'appartiennenent pas à A; Il est noté U - A, A, Ac, ou encore \complement A :

A^{\mathrm c}=\{x\in \mathrm U|x\notin A\}

c'est-à-dire que

xA c   si et seulement si   xU ou xA.

Le complémentaire de A dépend de l'ensemble de référence U. Il est également caractérisé par les deux égalités :

AAc = ∅   et   AAc = U.

L'opération de passage au complémentaire est involutive c'est-à-dire que   (Ac)c = A.

Lois de De Morgan

Article détaillé : Lois de De Morgan.
(AB)c = AcB c
(AB)c = AcB c

Le passage au complémentaire inverse la relation d'inclusion :

AB   si et seulement si   B cAc

et par conséquent il échange la réunion et l'intersection, qui sont la borne supérieure et la borne inférieure, ce sont les lois de De Morgan :

(AB)c = AcB c ;
(AB)c = AcB c.

Une structure ordonnée qui, comme l'ensemble des parties de U muni des opérations binaires de réunion et d'intersection, de l'opération de passage au complémentaire, et des deux éléments distingués ∅ et U, vérifie les propriétés de ces opérations énumérées jusqu'à présent est appelée algèbre de Boole.

Différence et différence symétrique

La différence
A \ B = AB c
La différence symétrique
A Δ B = (AB c) ∪ (A cB)

La différence ensembliste de A et B notée « A \ B » ( lire « A moins B » ) est l'ensemble des éléments de A qui n'appartiennent pas à B, soit :

A\setminus B=\{x\in A\mid x\notin B\}.

LA différence de A et B dans U se définit à partir du complémentaire par AB c, et alors (AB c)c = A cB.

Si B est inclus dans A, alors A \ B se note aussi « A - B » (lire encore « A moins B »), et s'appelle complémentaire de B dans A (ou relativement à A). On retrouve la notion de complémentaire ci-dessus, qui est le complémentaire relativement à U :

A\setminus B=A-B=\complement_AB=\{x\in A|x\notin B\}

La différence symétrique de A et de B, notée « A Δ B » (lire « A delta B ») est l'ensemble des éléments qui appartiennent soit à A, soit à B, mais pas aux deux à la fois. C'est la différence de AB et de AB. . On peut l'écrire sous diverses formes :

A\Delta B = (A\cup B)\setminus (A\cap B) = (A\setminus B)\cup(B\setminus A) = (A^{\mathrm c}\cap B )\cup (A\cap B^{\mathrm c}) .

On a :

xA Δ B   si et seulement si   ou bien xA ou bien xB (ou exclusif)
xA Δ B   si et seulement si   xAxB

ainsi la différence symétrique de deux ensembles est vide si et seulement si les deux ensembles sont égaux :

A Δ B = ∅   si et seulement si   A = B.

De façon analogue :

xA \ B   si et seulement si   xA et xB
xA \ B   si et seulement si   xAxB

et donc :

A \ B = ∅   si et seulement si   AB.

Propriétés de la différence symétrique

(A Δ B) Δ C = A Δ (B Δ C)

L'ensemble des parties de U muni de l'opération de différence symétrique est un groupe commutatif, avec ∅ pour élément neutre, et où chaque sous-ensemble de U est son propre opposé, c(est-à-dire que pour et tous sous-ensembles A, B, C de U, on a  :

  • (associativité) : la différence symétrique de trois ensembles ne dépend pas de l'ordre dans lequel les opérations sont effectuées :
(A\mathrel{\Delta} B)\mathrel\Delta C=A\mathrel\Delta(B\mathrel\Delta C)
  • (commutativité) : la différence symétrique de deux ensembles ne dépend pas de l'ordre dans lequel ces ensembles sont pris :
A\mathrel\Delta B=B\mathrel\Delta A
  • Ø est élément neutre : la différence symétrique de l'ensemble vide et d'un autre ensemble redonne cet ensemble :
A\mathrel\Delta \varnothing=A
  • Chaque sous-ensemble est son propre opposé : la différence symétrique de tout ensemble avec lui-même donne l'ensemble vide :
A\mathrel\Delta A=\varnothing

Une conséquence est la régularité :   si A Δ B = A Δ C, alors B = C.

A ∩ (B Δ C) =
(AB) Δ (AC)

L'ensemble des parties de U muni, en plus de la différence symétrique, de l'intersection, est un anneau commutatif unitaire, c'est-à-dire qu'en plus des propriétés d'associativité et de commutativité de l'intersection, et de ce que U est élément neutre

  • Distributivité de ∩ par rapport à Δ : l'intersection d'un ensemble avec la différence symétrique de deux autres ensembles est égale à la différence symétrique des intersections du premier ensemble avec chacun des deux autres :
A\cap(B\mathrel\Delta C)=(A\cap B)\mathrel\Delta(A\cap C).

Contrairement à ce qui se passe pour la réunion, il n'y a pas de distributivité de la différence symétrique sur l'intersection.

C'est une propriété générale des algèbres de Boole qu'une opération définie comme la différence symétrique (avec la réunion l'intersection et le passage au complémentaire) permet de définir une structure d'anneau, appelé parfois anneau de Boole. D'autres propriétés, communes à toutes les algèbres de Boole, sont vérifiées comme :

Ac = U Δ A   et donc   Ac Δ A = U.

ou encore   (A Δ B)c = A c Δ B = A Δ B c.

Propriétés de la différence

Les propriétés de la différence s'obtiennent à partir de sa définition et de celles de la réunion de l'intersection et du complémentaire. Par exemple la première qui suit est une suite d'intersections, alors que la seconde utilise une loi de De Morgan et la distributivité de l'intersection sur la réunion.

(A\cap B)\setminus C=A\cap(B\setminus C)=(A\setminus C)\cap(B\setminus C)
A\setminus(B\cap C)=(A\setminus B)\cup(A\setminus C).

Aspects axiomatiques

D'un point de vue axiomatique, en théorie des ensembles tout ce qui précède se développe à partir de l'axiome d'extensionnalité (égalité de deux ensembles), qui garantit en particulier l'unicité des constructions introduites, et du schéma d'axiomes de compréhension, qui garantit leur existence, tous les ensembles introduits étant définis comme sous-ensemble d'un ensemble U donné.

Voir aussi


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Ensemble des parties d'un ensemble — En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité 2.1.1 …   Wikipédia en Français

  • Ensemble Des Parties D'un Ensemble — En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité …   Wikipédia en Français

  • Ensemble des parties — d un ensemble En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité …   Wikipédia en Français

  • Algèbre de Boole (structure) — Pour les articles homonymes, voir « Algèbre de Boole ». En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être… …   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

  • Ensemble puissance — Ensemble des parties d un ensemble En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité …   Wikipédia en Français

  • Ensemble Dénombrable — En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent trop d… …   Wikipédia en Français

  • Ensemble denombrable — Ensemble dénombrable En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire,… …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). 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 …   Wikipédia en Français

Share the article and excerpts

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