Opérations sur les ensembles

Un article de Freepedia.

Cet article est consacré à une première approche des opérations sur les ensembles et de leurs propriétés : réunion, intersection, différence, complémentation, différence symétrique...

Sommaire 1 Réunion 1.1 Définition 1.2 Propriétés 1.3 Ensemble somme 1.3.1 Définition 1.3.2 Propriétés 1.4 Recouvrements 2 Intersection 2.1 Définition 2.2 Propriétés 2.3 Ensemble noyau 2.4 Ensembles disjoints 2.5 Liens avec la réunion 2.6 Partition d'un ensemble 3 Différence 3.1 Définition 3.2 Propriétés 3.3 Complémentaires 3.3.1 Définitions 3.3.2 Propriétés 4 Différence symétrique 4.1 Définition 4.2 Propriétés 5 Exemples 6 Voir aussi

Réunion

Définition

Pour tout ensemble A et tout ensemble B, il existe un ensemble U dont les éléments sont ceux de A et de B (cela découle de l'axiome de la réunion). En notation symbolique :

<math> \forall A, \forall B, \exists U / \,\forall X, (X \in U) \Leftrightarrow [ (X \in A) \vee (X \in B) ] </math>

L'unicité de l'ensemble U est garantie par l'axiome d'extensionnalité. On le note « A U B » (lire « A union B »), et on l'appelle réunion de A et de B.

<math> A \cup B = \{ x | (x \in A) \vee (x \in B) \} </math>

Propriétés

• U1 (commutativité) : la réunion de deux ensembles ne dépend pas de l'ordre dans lequel ces deux ensembles sont pris. En notation symbolique :

<math> \forall A, \forall B, A \cup B = B \cup A </math>

• U2 (Ø élément neutre) : la réunion de l'ensemble vide avec un ensemble quelconque redonne cet ensemble. En notation symbolique :

<math> \forall A, A \cup \empty = A </math>

• U3 (idempotence) : la réunion d'un ensemble quelconque avec lui-même redonne cet ensemble. En notation symbolique :

<math> \forall A, A \cup A = A </math>

• U4 : tout ensemble est inclus dans sa réunion avec un autre ensemble. En notation symbolique :

<math> \forall A, \forall B, A \subseteq A \cup B </math>

• U5 : un ensemble A est inclus dans un ensemble B si et seulement si leur réunion est égale à B. En notation symbolique :

<math> \forall A, \forall B, (A \subseteq B) \Leftrightarrow (A \cup B = B) </math>

• U6 : si la réunion de deux ensembles est vide, alors ils sont vides tous les deux. En notation symbolique :

<math> \forall A, \forall B, [A \cup B = \empty ] \Rightarrow [ (A = \empty) \wedge (B = \empty) ] </math>

• U7 (compatibilité avec l'inclusion) : la réunion de deux sous-ensembles est incluse dans la réunion des deux ensembles dont ils sont sous-ensembles. En notation symbolique :

<math> \forall A, \forall B, \forall C, \forall D, [ (A \subseteq B) \wedge (C \subseteq D) ] \Rightarrow [ (A \cup C) \subseteq (B \cup D) ] </math>

• U8 (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. En notation symbolique :

<math> \forall A, \forall B, \forall C, (A \cup B) \cup C = A \cup (B \cup C) = A \cup B \cup C </math>

• U9 : Plus généralement, il est possible de définir la réunion <math>\bigcup_{i \in I} E_i</math> d'une famille quelconque d'ensembles <math>\ (E_i)_{i \in I}</math> : <math>\bigcup_{i \in I} E_i=\left\{ \, x \; | \; \exist i \in I \; , \; x \in E_i \, \right\} </math>. En particulier, pour une famille vide d'ensembles, <math>\bigcup_{i \in \varnothing} E_i=\varnothing</math>.

Ensemble somme

Définition

Pour tout ensemble E (dont les éléments sont nécessairement eux-mêmes des ensembles), il existe un ensemble S dont les éléments sont ceux des éléments de E (ceci n'est autre que l'Axiome de la réunion). En notation symbolique :

<math> \forall E, \exists S / \,\forall x, (x \in S) \Leftrightarrow [ \ \exists A / \,(A \in E) \wedge (x \in A) ] </math>

L'unicité de l'ensemble S est garantie par l'axiome d'extensionnalité. On le note « UE » (lire « union E »), parfois « U(E) », et on l'appelle ensemble somme de E :

<math> \mathbf{U} E = \begin{matrix}\ \\\cup\\\,^{X\in E}\end{matrix} \ X = \{ x \,| \ \exists Y \in E / \, x \in Y \} </math>

Si E = { A, B, C, ... }, alors :

<math> \mathbf{U} E = A \cup B \cup C \cup \dots = \{ x \,| \ (x \in A) \vee (x \in B) \vee (x \in C) \vee \dots \} </math>

Propriétés

Si E est un sous-ensemble de F, alors l'ensemble somme de E est inclus dans celui de F :

<math> \forall E, \forall F, (E \subseteq F) \Rightarrow ( \mathbf{U} E \subseteq \mathbf{U} F ) </math>

L'ensemble somme de la réunion de deux ensembles est égal à la réunion des ensembles somme de chaque ensemble :

<math> \forall E, \forall F, \mathbf{U}(E \cup F) = \mathbf{U}E \cup \mathbf{U}F </math>

Plus généralement, l'ensemble somme de l'ensemble somme d'un ensemble E est égal à la réunion des ensembles somme des éléments de E ; en d'autres termes, si E = { A, B, C, ... }, alors :

<math> \forall E, \mathbf{U}\mathbf{U}E = \mathbf{U}A \cup \mathbf{U}B \cup \mathbf{U}C \cup \dots </math>

Recouvrements

Un ensemble F est un recouvrement d'un ensemble E si et seulement si l'ensemble somme de F est égal à E. Par exemple, le singleton { E } et l'ensemble des parties <math> \mathfrak{P}(E) </math> sont deux recouvrements de E, ou, en d'autres termes : <math> \mathbf{U}\{ E \} = \mathbf{U}\mathfrak{P}(E) = E </math>. D'après ce qui précède, l'union de deux recouvrements (ou plus) est encore un recouvrement.

Intersection

Définition

Pour tout ensemble A et tout ensemble B, il existe un ensemble S dont les éléments sont ceux communs à A et à B (cela découle de l'axiome de séparation). En notation symbolique :

<math> \forall A, \forall B, \exists S / \,\forall X, (X \in S) \Leftrightarrow [ (X \in A) \wedge (X \in B) ] </math>

L'unicité de l'ensemble S est garantie par l'axiome d'extensionnalité. On le note « A ∩B » (lire « A inter B »), et on l'appelle intersection de A et de B.

<math> A \cap B = \{ x | (x \in A) \wedge (x \in B) \} </math>

Propriétés

• N1 (commutativité) : l'intersection de deux ensembles ne dépend pas de l'ordre dans lequel ces deux ensembles sont pris. En notation symbolique :

<math> \forall A, \forall B, A \cap B = B \cap A </math>

• N2 (Ø élément absorbant) : l'intersection de l'ensemble vide et d'un ensemble quelconque est vide. En notation symbolique :

<math> \forall A, A \cap \empty = \empty </math>

• N3 (idempotence) : l'intersection d'un ensemble quelconque avec lui-même redonne cet ensemble. En notation symbolique :

<math> \forall A, A \cap A = A </math>

• N4 : l'intersection de deux ensembles est incluse dans chacun de ces deux ensembles. En notation symbolique :

<math> \forall A, \forall B, A \cap B \subseteq A </math>

• N5 : un ensemble A est inclus dans un ensemble B si et seulement si leur intersection est égale à A. En notation symbolique :

<math> \forall A, \forall B, (A \subseteq B) \Leftrightarrow (A \cap B = A) </math>

• N6 : l'équivalent de U6 se traduit par une définition, celle des ensembles disjoints (voir ci-dessous).

• N7 (compatibilité avec l'inclusion) : l'intersection de deux sous-ensembles est incluse dans l'intersection des deux ensembles dont ils sont sous-ensembles. En notation symbolique :

<math> \forall A, \forall B, \forall C, \forall D, [ (A \subseteq B) \wedge (C \subseteq D) ] \Rightarrow [ (A \cap C) \subseteq (B \cap D) ] </math>

• N8 (associativité) : le résultat de l'intersection de plusieurs ensembles ne dépend pas de l'ordre dans lequel les opérations sont faites. En notation symbolique :

<math> \forall A, \forall B, \forall C, (A \cap B) \cap C = A \cap (B \cap C) = A \cap B \cap C </math>

• N9 : Plus généralement, il est possible de définir l'intersection <math>\bigcap_{i \in I} E_i</math> d'une famille quelconque d'ensembles <math>\ (E_i)_{i \in I}</math> : <math>\bigcap_{i \in I} E_i=\left\{ \, x \; | \; \forall i \in I \; , \; x \in E_i \, \right\} </math>. En particulier, pour une famille vide d'ensembles, <math>\bigcap_{i \in \varnothing} E_i</math> est la « classe » de tous les ensembles de « l'univers mathématique » donc n'est pas un ensemble.

Ensemble noyau

Pour tout ensemble E (dont les éléments sont nécessairement eux-mêmes des ensembles), il existe un ensemble S dont les éléments sont ceux communs à tous les éléments de E (cela découle de l'Axiome de séparation). En notation symbolique :

<math> \forall E, \exists S / \,\forall x, (x \in S) \Leftrightarrow [ \ \forall A, (A \in E) \Rightarrow (x \in A) ] </math>

L'unicité de l'ensemble S est garantie par l'axiome d'extensionnalité. On le note « ∩E » (lire « inter E »), parfois « ∩(E) », et on l'appelle ensemble noyau ou fonds commun de E :

<math> \cap E = \begin{matrix}\ \\\cap\\\,^{X\in E}\end{matrix} \ X = \{ x \,| \ \forall Y \in E, x \in Y \} </math>

Si E = { A, B, C, ... }, alors :

<math> \cap E = A \cap B \cap C \cap \dots = \{ x \,| \ (x \in A) \wedge (x \in B) \wedge (x \in C) \wedge \dots \} </math>

Si E est un sous-ensemble de F, alors l'ensemble noyau de F est inclus dans celui de E :

<math> \forall E, \forall F, (E \subseteq F) \Rightarrow ( \cap F \subseteq \cap E ) </math>

Ensembles disjoints

Deux ensembles sont disjoints si et seulement si leur intersection est vide, c'est-à-dire s'ils n'ont pas d'éléments en commun. Par exemple, si A = { 1, 2 } et B = { 3, 4 }, alors A ∩B = Ø, et A et B sont donc disjoints.

Il existe deux manières de généraliser cette définition à plus de deux ensembles :

• les éléments d'un ensemble E sont (globalement) disjoints si et seulement si l'ensemble noyau de E est vide : <math> \cap E = \empty </math>;
• les éléments d'un ensemble E sont mutuellement disjoints ou disjoints deux à deux si et seulement si l'ensemble noyau de toute paire de ces éléments est vide, c'est-à-dire si <math> \forall X \in E, \forall Y \in E, X \cap Y = \empty </math>;

Ces deux notions sont différentes : si des ensembles disjoints deux à deux sont globalement disjoints, des ensembles globalement disjoints ne le sont pas nécessairement deux à deux.

Liens avec la réunion

• UN1 (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 :

<math> \forall A, \forall B, \forall C, A \cap (B \cup C) = (A \cap B) \cup (A \cap C) </math>

• UN2 (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 :

<math> \forall A, \forall B, \forall C, A \cup (B \cap C) = (A \cup B) \cap (A \cup C) </math>

Nous pouvons démontrer (UN1) et laisser (UN2) à titre d'exercice. De chaque côté de l'égalité (UN1) figure un ensemble et nous voulons démontrer que ces ensembles sont égaux. Grâce à la proposition 2 sur les sous-ensembles, une stratégie possible est de montrer que chaque côté est un sous-ensemble de l'autre.

1. Prenons un élément x appartenant à l'ensemble de gauche. Alors, par définition de ∩, x est dans A et x est dans B ∪ C; c'est-à-dire, x est dans A et aussi x est dans B ou x est dans C (ou les deux). Dans le premier cas, x est à la fois dans A et dans B, il est donc dans A ∩ B et a fortiori dans (A ∩ B) ∪ (A ∩ C). Dans le second cas, x est à la fois dans A et dans C et donc il est de nouveau dans (A ∩ B) ∪ (A ∩ C). Donc, dans les deux cas, x est dans (A ∩ B) ∪ (A ∩ C). Nous avons montré que tout élément de l'ensemble de gauche est nécessairement dans l'ensemble de droite. Mais cela correspond exactement à l'inclusion de gauche à droite.
2. Prenons un élément de x dans l'ensemble du membre de droite de l'égalité. Alors x est dans A ∩ B ou x est dans A ∩ C (ou les deux). Dans le premier cas, x est dans A et x est dans B; dans le deuxième, x est dans A et x est dans C. Dans les deux cas, x est dans A. Mais dans le premier cas x est dans B et donc dans B ∪ C; dans le deuxième cas, x est dans C et donc encore dans B ∪ C. Nous avons prouvé que quel que soit x, s'il appartient à l'ensemble de droite, alors, il est à la fois dans A et dans B ∪ C et donc par définition il est dans A ∩ (B ∪ C). Nous avons démontré l'inclusion de droite à gauche.

Par la proposition 2, (1) et (2) réunis prouvent que l'ensemble de gauche est égal à l'ensemble de droite, comme prévu.

Partition d'un ensemble

Une partition d'un ensemble E est par définition un recouvrement de celui-ci par des ensembles non vides et disjoints deux à deux. Par exemple, { lundi, mardi }, { mercredi, jeudi } et { vendredi, samedi, dimanche } forment une partition de l'ensemble des jours de la semaine.

Cette notion formalise l'idée intuitive de « découpage » d'un ensemble en plusieurs « morceaux ». L'intérêt de cette notion apparaitra pleinement avec l'étude des relations d'équivalence.

Différence

Définition

Pour tout ensemble A et tout ensemble B, il existe un ensemble D dont les éléments sont ceux de A qui n'appartiennent pas à B (cela découle de l'axiome de séparation). En notation symbolique :

<math> \forall A, \forall B, \exists D / \,\forall X, (X \in D) \Leftrightarrow [(X \in A) \wedge (X \not\in B)] </math>

L'unicité de l'ensemble D est garantie par l'axiome d'extensionnalité. On le note « A \ B » (lire « A moins B »), et on l'appelle différence de A et de B.

<math> A \backslash B = \{ x | (x \in A) \wedge (x \not\in B) \} </math>

« Faire la différence » de deux ensembles A et B se dit aussi « soustraire » B de A.

Propriétés

• D1 (Ø élément neutre à droite) : soustraire l'ensemble vide d'un ensemble redonne cet ensemble :

<math> \forall A, A \backslash \empty = A </math>

• D2 (Ø élément absorbant à gauche) : soustraire un ensemble de l'ensemble vide donne l'ensemble vide :

<math> \forall A, \empty \backslash A = \empty </math>

• D3 (involutivité) : soustraire un ensemble de lui-même donne l'ensemble vide :

<math> \forall A, A \backslash A = \empty </math>

• D4 : soustraire un sur-ensemble d'un ensemble donne l'ensemble vide, ou, en d'autres termes, pour tout A et tout B, la différence de A et de B est vide si et seulement si A est inclus dans B :

<math> \forall A, \forall B, ( A \backslash B = \empty ) \Leftrightarrow ( A \subseteq B ) </math>

• D5 : soustraire un ensemble d'un autre ne redonne cet ensemble que si et seulement si les deux ensembles sont vides :

<math> \forall A, \forall B, ( A \backslash B = B ) \Leftrightarrow ( A = \empty \wedge B = \empty ) </math>

• D6 : les deux ensembles intervenant dans une différence ne sont interchangeables sans modification du résultat que s'ils sont égaux :

<math> \forall A, \forall B, ( A \backslash B = B \backslash A ) \Leftrightarrow ( A = B ) </math>

• D7 : soustraire un ensemble B d'un ensemble A ne redonne A que si et seulement si les deux ensembles sont disjoints :

<math> \forall A, \forall B, ( A \backslash B = A ) \Leftrightarrow ( A \cap B = \empty ) </math>

• D8 : soustraire un ensemble B d'un ensemble A ne donne leur intersection que si et seulement si A est vide :

<math> \forall A, \forall B, ( A \backslash B = A \cap B ) \Leftrightarrow ( A = \empty ) </math>

• D9 : soustraire un ensemble B d'un ensemble A ne donne leur réunion que si et seulement si B est vide :

<math> \forall A, \forall B, ( A \backslash B = A \cup B ) \Leftrightarrow ( B = \empty ) </math>

• D10 : si on soustrait un ensemble B d'un ensemble A, le résultat est un sous-ensemble de A :

<math> \forall A, \forall B, A \backslash B \subseteq A </math>

• D11 (pseudo-distributivité à droite en intersection de la différence par rapport à elle-même) : soustraire successivement deux ensembles B et C d'un ensemble A revient à prendre l'intersection des différences de A et de B, et de A et de C :

<math> \forall A, \forall B, \forall C, ( A \backslash B ) \backslash C = ( A \backslash B ) \cap ( A \backslash C ) </math>

• D12 : soustraire d'un ensemble A la différence de deux ensembles B et C revient à prendre la réunion de la différence de A et de B, et de l'intersection de A et de C :

<math> \forall A, \forall B, \forall C, A \backslash ( B \backslash C ) = ( A \backslash B ) \cup ( A \cap C ) </math>

• D13 : réunir un ensemble C avec la différence de deux ensembles A et B revient à soustraire la différence de B et de C de la réunion de A et de C :

<math> \forall A, \forall B, \forall C, ( A \backslash B ) \cup C = ( A \cup C ) \backslash ( B \backslash C ) </math>

• D14 : soustraire un ensemble C de l'intersection de deux ensembles A et B revient à prendre l'intersection de A avec la différence de B et de C :

<math> \forall A, \forall B, \forall C, ( A \cap B ) \backslash C = A \cap ( B \backslash C ) </math>

• D15 (distributivité à droite de la différence par rapport à l'intersection) : soustraire un ensemble C de l'intersection de deux ensembles A et B revient à prendre l'intersection de la différence de chacun de ces ensembles avec C :

<math> \forall A, \forall B, \forall C, ( A \cap B ) \backslash C = ( A \backslash C ) \cap ( B \backslash C ) </math>

• D16 (distributivité à droite de la différence par rapport à la réunion) : soustraire un ensemble C de la réunion de deux ensembles A et B revient à prendre la réunion de la différence de chacun de ces ensembles avec C :

<math> \forall A, \forall B, \forall C, ( A \cup B ) \backslash C = ( A \backslash C ) \cup ( B \backslash C ) </math>

• D17 (pseudo-distributivité à gauche en réunion de la différence par rapport à l'intersection) : soustraire l'intersection de deux ensembles B et C d'un ensemble A revient à prendre la réunion de la différence de A avec chacun des ensembles B et C :

<math> \forall A, \forall B, \forall C, A \backslash ( B \cap C ) = ( A \backslash B ) \cup ( A \backslash C ) </math>

• D18 (pseudo-distributivité à gauche en intersection de la différence par rapport à la réunion) : soustraire la réunion de deux ensembles B et C d'un ensemble A revient à prendre l'intersection de la différence de A avec chacun des ensembles B et C :

<math> \forall A, \forall B, \forall C, A \backslash ( B \cup C ) = ( A \backslash B ) \cap ( A \backslash C ) </math>

Cette dernière propriété peut en fait se déduire des précédentes. D14 et D15 peuvent être rapprochées, de même que D12 et D17.

Complémentaires

Définitions

Deux ensembles B et C sont complémentaires dans un ensemble A s'ils forment une partition de A.

Pour tout ensemble A et tout ensemble B, si B est inclus dans A, alors A \ B se note plutôt « A - B » (lire encore « A moins B »), et s'appelle complémentaire relatif de B dans A.

<math> A \backslash B = A - B = \{ x \in A | \, x \,\not\in \, B \} </math>

Si Ω désigne un référentiel, et A un ensemble (forcément inclus dans le référentiel), alors Ω - A désigne le complémentaire absolu de A. Il est noté habituellement <math>\bar A</math> (lire « A barre » ou « non A »).

<math> \bar A = \{ x (\in \Omega) | \, x \,\not\in \, A \} </math>

Propriétés

PROPOSITION 4 : B et C sont complémentaires dans A si et seulement si C est le complémentaire relatif de B dans A :

<math> \forall A, \forall B, \forall C, ( C = A - B ) \Leftrightarrow (B \cup C = A \wedge B \cap C = \empty ) </math>

PROPOSITION 5 : Pour tout ensemble universel Ω et sous-ensembles A, B, et C de Ω:

• <math> \overline{\overline{A}} = A </math>;
• <math> B \backslash A = \overline{A} \cap B </math>;
• <math> \overline{B \backslash A} = A \cup \overline{B} </math>;
• <math> ( A \subseteq B ) \Leftrightarrow ( \overline{B} \subseteq \overline{A} ) </math>;
• <math> A \cap \Omega = A </math>;
• <math> A \cup \Omega = \Omega </math>;
• <math> \Omega \backslash A = \overline{A} </math>;
• <math> A \backslash \Omega = \empty </math>;

Différence symétrique

Définition

Pour tout ensemble A et tout ensemble B, il existe un ensemble D dont les éléments sont ceux qui appartiennent soit à A, soit à B, mais pas aux deux à la fois (l'existence de cet ensemble découle de l'axiome de séparation et de l'axiome de la réunion). En notation symbolique :

<math> \forall A, \forall B, \exists D / \,\forall X, (X \in D) \Leftrightarrow [(X \in A) \Leftrightarrow (X \not\in B)] </math>

L'unicité de l'ensemble D est garantie par l'axiome d'extensionnalité. On le note « A Δ B » (lire « A delta B »), et on l'appelle différence symétrique de A et de B.

<math> A \Delta B = \{ x | (x \in A) \Leftrightarrow (x \not\in B) \} = \{ x | (x \in A) \vee\vee (x \in B) \} </math>

( rappel : <math>\vee\vee</math> désigne le ou exclusif logique )

Il existe deux autres définitions équivalentes :

<math>A \Delta B = \{ x | (x \in A \cup B) \wedge (x \not \in A \cap B) \}\,</math>

<math>A \Delta B = \{ x | (x \in A \backslash B) \vee (x \in B \backslash A) \}\,</math>

Cette dernière définition justifie l'appellation de différence symétrique donnée à cette opération.

Propriétés

• DS1 (commutativité) : la différence symétrique de deux ensembles ne dépend pas de l'ordre dans lequel ces ensembles sont pris :

<math> \forall A, \forall B, A \Delta B = B \Delta A </math>

• DS2 (Ø élément neutre) : la différence symétrique de l'ensemble vide et d'un autre ensemble redonne cet ensemble :

<math> \forall A, A \Delta \empty = A </math>

• DS3 (involutivité) : la différence symétrique de tout ensemble avec lui-même donne l'ensemble vide :

<math> \forall A, A \Delta A = \empty </math>

Cette propriété a pour conséquence immédiate :

• DS4 (inversibilité) : pour tout ensemble, il en existe un tel que leur différence symétrique soit vide :

<math> \forall A, \exists B / A \Delta B = \empty </math>

Cette propriété a à son tour pour conséquence :

• DS5 (régularité) : si les différences symétriques d'un ensemble avec deux autres ensembles sont égales entre elles, alors ces deux autres ensembles sont égaux entre eux :

<math> \forall A, \forall B, \forall C, ( A \Delta B = A \Delta C ) \Rightarrow ( B = C ) </math>

• DS6 (Ω élément inverseur) : la différence symétrique d'un ensemble et du référentiel donne le complément absolu de cet ensemble :

<math> \forall A, A \Delta \Omega = \overline{A} </math>

• DS7 : la différence symétrique d'un ensemble et de son complément absolu redonne le référentiel :

<math> \forall A, A \Delta \overline{A} = \Omega </math>

• DS8 : le complément absolu de la différence symétrique de deux ensembles est égal à la différence symétrique de l'un des deux ensembles avec le complément absolu de l'autre ensemble :

<math> \forall A, \forall B, \overline{A \Delta B} = A \Delta \overline{B} </math>

• DS9 : pour tout A et tout B,   A \ B   et   B \ A   forment une partition de   A Δ B :

<math> \forall A, \forall B, [\, A \Delta B = ( A \backslash B ) \cup ( B \backslash A ) \,] \wedge [ \,( A \backslash B ) \cap ( B \backslash A ) = \empty \,] </math>

• DS10 : pour tout A et tout B,   A Δ B   et   A   ∩ B   forment une partition de   A U B :

<math> \forall A, \forall B, [ \,A \cup B = ( A \Delta B ) \cup ( A \cap B ) \,] \wedge [\, ( A \Delta B ) \cap ( A \cap B ) = \empty \,] </math>

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

<math> \forall A, \forall B, ( A \Delta B = \empty ) \Leftrightarrow ( B = A ) </math>

• DS12 : la différence symétrique de deux ensembles est égale à l'un des deux ensembles si et seulement si l'autre ensemble est vide :

<math> \forall A, \forall B, ( A \Delta B = A ) \Leftrightarrow ( B = \empty ) </math>

• DS13 : la différence symétrique de deux ensembles est égale au référentiel si et seulement si les deux ensembles sont complémentaires absolus :

<math> \forall A, \forall B, ( A \Delta B = \Omega ) \Leftrightarrow ( B = \overline{A} ) </math>

• DS14 : la différence symétrique de deux ensembles est égale au complément absolu de l'un d'entre eux si et seulement si l'autre ensemble est le référentiel :

<math> \forall A, \forall B, ( A \Delta B = \overline{A} ) \Leftrightarrow ( B = \Omega ) </math>

• DS15 : la différence symétrique de deux ensembles est égale à leur intersection si et seulement si les deux ensembles sont vides :

<math> \forall A, \forall B, ( A \Delta B = A \cap B ) \Leftrightarrow ( A = B = \empty ) </math>

• DS16 : la différence symétrique de deux ensembles est égale à leur réunion si et seulement s’ils sont disjoints :

<math> \forall A, \forall B, ( A \Delta B = A \cup B ) \Leftrightarrow ( A \cap B = \empty ) </math>

• DS17 : la différence symétrique de deux ensembles est égale à la différence de l'un avec l'autre si et seulement si l'un est inclus dans l'autre :

<math> \forall A, \forall B, ( A \Delta B = A \backslash B ) \Leftrightarrow ( B \subseteq A ) </math>

• DS18 (associativité) : la différence symétrique de trois ensembles ne dépend pas de l'ordre dans lequel les opérations sont effectuées :

<math> \forall A, \forall B, \forall C, ( A \Delta B ) \Delta C = A \Delta ( B \Delta C ) </math>

• DS19 (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 :

<math> \forall A, \forall B, \forall C, A \cap ( B \Delta C ) = ( A \cap B ) \Delta ( A \cap C ) </math>

Exemples

Pour illustrer ces notions, soit A l'ensemble des personnes gauchères, et B l'ensemble des personnes blondes. Alors A ∩ B est l'ensemble de tous les gauchers blonds, alors que A ∪ B est l'ensemble de toutes les personnes qui sont ou gauchères ou blondes, ou les deux. A \ B, en revanche, est l'ensemble de toutes les personnes qui sont gauchères mais pas blondes, alors que B \ A est l'ensemble de toutes personnes blondes mais pas gauchères. Enfin, A Δ B désigne l'ensemble de toutes les personnes soit blondes, soit gauchères, mais pas les deux à la fois.

Maintenant supposons que E soit l'ensemble de tous les êtres humains, et que F l'ensemble de tous ceux qui sont âgés de plus de 1000 ans. Qu'est-ce que E ∩ F dans ce cas? Aucun humain n'a plus de 1000 ans, donc E ∩ F doit être l' ensemble vide : Ø.

Nous avons énuméré sans démonstration plusieurs propriétés simples des opérations sur les ensembles. Ces propriétés peuvent être visualisées avec les diagrammes de Venn .

Voir aussi

• Théorie des ensembles
• Notion d'ensemble
• Sous-ensembles
• Produit cartésien
• Correspondances et Relations