Opérations avec les ensembles. Image, image réciproque.
Règles de calcul
Opérations avec les ensembles
a) Nous travaillons dans un ensemble fixé X. L’ensemble de toutes les parties de X est noté P(X).
b) Les parties (sous ensembles) de X sont notées A, B, etc. « A est une partie de X » s’écrit A ⊂ X ou
X ⊃ A.
c) (Ai )i∈I désigne une famille de parties de X, indexée par un ensemble quelconque (donc pas nécessai-
rement fini ou dénombrable) d’indices.
d) Rappelons les opérations usuelles avec les ensembles.
(i) (Union) A ∪ B := {x ∈ X ; x ∈ A ou x ∈ B}.
Plus généralement, ∪i∈I Ai := {x ∈ X ; x ∈ Ai pour au moins un i ∈ I}.
(ii) (Intersection) A ∩ B := {x ∈ X ; x ∈ A et x ∈ B}.
Plus généralement, ∩i∈I Ai := {x ∈ X ; x ∈ Ai pour tous les i ∈ I}.
(iii) (Différence) A \ B := {x ∈ X ; x ∈ A et x 6∈ B}.
(iv) (Différence symétrique)
A4B := (A \ B) ∪ (B \ A) = {x ∈ X ; [x ∈ A et x 6∈ B] ou [x ∈ B et x 6∈ A]}.
(v) (Complémentaire) Ac := X \ A = {x ∈ X ; x 6∈ A}.
(vi) (Produit cartésien) Si X, Y sont des ensembles, alors X × Y := {(x, y) ; x ∈ X et y ∈ Y }.
Plus généralement, X1 × · · · Xk := {(x1 , . . . , xk )) ; xj ∈ Xj , ∀ j ∈ J1, kK}.
e) Rappelons les principales propriétés de ces opérations.
(i) (A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C).
Plus généralement, (∪i∈I Ai ) ∩ C = ∪i∈I (Ai ∩ C) et (∪i∈I Ai ) ∩ (∪j∈J Cj ) = ∪i∈I,j∈J (Ai ∩ Cj ).
(ii) Les règles du point précédent restent valides si nous échangeons ∪ et ∩.
(iii) (Ac )c = A.
(iv) Si A ⊂ B, alors B c ⊂ Ac .
(v) (A ∪ B)c = Ac ∩ B c .
Plus généralement, (∪i∈I Ai )c = ∩i∈I (Ai )c .
(vi) (A ∩ B)c = Ac ∪ B c .
Plus généralement, (∩i∈I Ai )c = ∪i∈I (Ai )c .
(vii) A \ B = A ∩ B c .
(viii) A∆B = Ac ∆B c .
Image, image réciproque
a) (Image réciproque) Pour A ⊂ Y , f −1 (A) := {x ∈ X ; f (x) ∈ A}.
b) (Image, ou encore image directe) Pour B ⊂ X, f (B) := {f (x) ; x ∈ B}.
c) Rappelons les principales propriétés des images (directe et réciproque).
(i) f −1 (∪i∈I Ai ) = ∪i∈I f −1 (Ai ).
(ii) f −1 (∩i∈I Ai ) = ∩i∈I f −1 (Ai ).
(iii) f −1 (Ac ) = (f −1 (A))c .
(iv) f (∪i∈I Ai ) = ∪i∈I f (Ai ).
(v) f (∩i∈I Ai ) ⊂ ∩i∈I f (Ai ).
