Definition : union des ensembles

Definition

Mathematiques discr`etes
Operations sur les ensembles
Cours 10, MATH/COSC 1056F

Soit A et B des ensembles. Lunion des ensembles A et B, notee

A B, est lensemble qui contient les elements qui sont soit dans
A, soit dans B, ou dans les deux.
A B = {x | (x A) (x B)}.

Julien Dompierre
D
epartement de math
ematiques et dinformatique
Universit
e Laurentienne

U
A

25 septembre 2007, Sudbury

Definition : intersection des ensembles

Definition : ensembles disjoints

Definition
Soit A et B des ensembles. Lintersection des ensembles A et B,
notee A B, est lensemble contenant les elements appartenant `
a
la fois `a A et `a B.

Definition
Deux ensembles sont disjoints ou mutuellement exclusifs si leur
intersection est lensemble vide.

A B = {x | (x A) (x B)}.
U
A
U
A

Principe dinclusion-exclusion

Definition : difference densembles

Definition

Le nombre delements dans lunion de deux ensembles est le

nombre delements du premier ensemble plus le nombre delements
du deuxi`eme ensemble, moins le nombre delements qui ont ete
comptes deux fois, soit ceux dans lintersection des deux ensembles.

Soit A et B des ensembles. La diff

erence de A et B, notee A B,
est lensemble contenant les elements qui se trouvent dans A mais
non dans B.
A B = {x | (x A) (x
/ B)}.

Theorem
U
|A B| = |A| + |B| |A B|

Definition : difference symetrique densembles

Definition
Soit A et B des ensembles. La diff
erence sym
etrique de A et B,
notee A B, est lensemble contenant les elements qui se trouvent
dans A ou dans B, mais pas dans les deux `
a la fois.
A B = {x | (x A) (x B)}.

Definition : complement densembles

Definition
Soit U lensemble universel. Le compl
ement de lensemble A,
c
notee A ou A est lensemble des elements de U qui
nappartiennent pas `a A. En dautres termes, le complement de
lensemble A est la difference U A.
A = {x | x
/ A}.

U
A

U
A

Proprietes des operations sur les ensembles

Proprietes des operations sur les ensembles

Nom
Commutativite

Idempotence

Identite
AB = B A
AB = B A
(A B) C = A (B C )
(A B) C = A (B C )
A (B C ) = (A B) (A C )
A (B C ) = (A B) (A C )

Absorption

AB = AB
AB = AB

Lois de De Morgan

A (A B) = A
A (A B) = A

Complementarite

AA = U
AA =

Loi du complement

(A) = A

Identite
A = A
AU = A
AU = U
A =
AA = A
AA = A

Nom
Identite
Domination

Table dappartenance

Associativite
Distributivite

Definition : union generalisee densembles

On consid`ere chaque combinaison densembles `

a laquelle un
element peut appartenir. Pour indiquer quun element est dans un
ensemble, on utilise 1, et 0 sil nest pas dans cet ensemble. Cela
permet de verifier que deux expressions sont egales.
Exemple : La loi de De Morgan : A B = A B

Definition
Lunion dune collection densembles est lensemble contenant les
elements qui appartiennent `a au moins un ensemble dans la
collection.
On utilise la notation

A
1
1
0
0

B
1
0
1
0

AB
1
1
1
0

AB
0
0
0
1

A
0
0
1
1

B
0
1
0
1

AB
0
0
0
1

A1 A2 An =

n
[

Ai

i =1

pour designer lunion des ensembles A1 , A2 , ..., An .

Exemple dunion generalisee

Definition : intersection generalisee densembles

Ce diagramme de Venn illustre lunion des ensembles A, B et C .

U
A

Definition
Lintersection dune collection densembles est lensemble
contenant les elements qui appartiennent simultanement `a chacun
des ensembles.
On utilise la notation
A1 A2 An =

n
\

Ai

i =1

pour designer lintersection des ensembles A1 , A2 , ..., An .

Exemple dintersection generalisee

Ce diagramme de Venn illustre lintersection des ensembles A, B
et C .
U
A