1.
Notion d'ensemble
La notion d'ensemble est considérée comme primitive. Retenons que la caractérisation d'un ensemble E doit être nette, c'est-à-dire que, pour tout élément x, on
doit pouvoir affirmer ou bien qu'il est dans E (x ∈ E), ou bien qu'il n'y est pas
(x /
∈ E).
On note ∅ l'ensemble vide, c'est-à-dire l'ensemble qui ne contient aucun élément.
E et F étant des ensembles, on dit que E est inclus dans F si, et seulement si, tous
les éléments de E appartiennent aussi à F. On note E ⊂ F.
On dit aussi que E est une partie de F, ou que F contient E.
L'ensemble des parties de E se note P(E). Dire que A ∈ P(E) signifie que
A ⊂ E.
2. Opérations dans P(E)
Soit E un ensemble. A et B étant des parties de E, on définit :
• le complémentaire de A dans E : A = {x ∈ E ; x /
∈ A} ;
• l'intersection de A et de B : A ∩ B = {x ∈ E ; x ∈ A et x ∈ B} ;
Si A ∩ B = ∅ , c'est-à-dire s'il n'existe aucun élément commun à A et B, on dit
que les parties A et B sont disjointes ;
• la réunion de A et de B : A ∪ B = {x ∈ E ; x ∈ A ou x ∈ B} .
Ce « ou » a un sens inclusif c'est-à-dire que A ∪ B est l'ensemble des éléments x
de E qui appartiennent à l'une au moins des parties A et B.
• la différence : A \ B = {x ∈ E ; x ∈ A et x /
∈ B} = A ∩ B ;
• la différence symétrique :
AB = (A ∪ B) \ (A ∩ B) = (A ∩ B) ∪ (A ∩ B) .
AB est l'ensemble des éléments qui appartiennent à une, et une seule, des parties A et B.
© Dunod – La photocopie non autorisée est un délit.
123
Algèbre générale
38
Ensembles
1 re année
9782100549245-fredon-C37-51.qxd 18/06/10 10:33 Page 123