Chapitre 1
Rappels de th´eorie des
ensembles
Nous rappelons dans ce chapitre quelques notions ´el´ementaires de th´eorie
des ensembles.
1.1 Op´erations sur les ensembles
Ensemble, ensemble fini/infini, cardinal. Un ensemble est intuitive-
ment une collection d’´el´ements. Etant donn´es un ensemble Eet un ´el´ement
aon ´ecrit a∈Esi aest un ´el´ement de E. Il existe un unique ensemble ne
contenant aucun ´el´ement ; on le note ∅. On dit qu’un ensemble est fini s’il ne
contient qu’un nombre fini d’´el´ements et infini sinon. Si Aest un ensemble
fini on appelle cardinal de Ale nombre d’´el´ements de Aet on note ce nombre
entier #Aou card A. Si Aest infini, on pose #A=∞.
Inclusion, compl´ementaire. Si Eet Asont deux ensembles on dit que F
est inclus dans Eou que Aest un sous-ensemble de Esi tout ´el´ement de Aest
un ´el´ement de Eet on ´ecrit A⊂E. On peut alors d´efinir le compl´ementaire
de Adans Equi est l’ensemble des ´el´ements de Equi n’appartiennent pas
`a A. On le notera dans ce cours E−A,E\Aou Ac; cette derni`ere notation
cesse d’ˆetre ambig¨ue si l’on suppose Efix´e une fois pour toute.
Ensemble des parties d’un ensemble. Si Eest un ensemble, l’ensemble
constitu´e des sous-ensembles ou parties de Ese note P(E).
Union, intersection. Si (Ai)i∈Iest une collection d’ensembles inclus dans
E, la r´eunion des Aiest l’ensemble Si∈IAides a∈Epour lesquels il existe
i∈Itel que a∈Ai. De mˆeme l’intersection des Aiest l’ensemble Ti∈IAi
des a∈Epour lesquels a∈Aipour tout i∈I. On dit que deux ensembles
sont disjoints si leur intersection est vide. On dit que les ensembles Ai,i∈I
5