U.P.S. I.U.T. A, D´epartement d’Informatique Ann´ee 2009-2010
Math´
ematiques discr`
etes
Chapitre 2 : Th´eorie des ensembles
1. D´efinitions
D´efinition On appelle ensemble toute collection d’objets caract´eris´es par une propri´et´e commune.
Exemples 1
Les ensembles usuels :
N:Z:
Q:R:
C:
D´efinition Les objets qui constituent un ensemble s’appellent les ´el´ements de cet ensemble. Notation :
xest un ´el´ement de l’ensemble Ese note x∈E.
xn’est pas ´el´ement de l’ensemble Ese note x /∈E.
Attention : le langage courant donne parfois des “d´efinitions” qui ne sont pas pr´ecises et ne sont pas
permises math´ematiquement.
Exemple 2
Le paradoxe de Russell :
Soit E l’ensemble des ensembles qui ne s’appartiennent pas `a eux-mˆemes. On se demande si E
s’appartient `a lui-mˆeme ? Si c’est le cas c’est qu’il ne s’appartient pas `a lui-mˆeme donc il y a une
contradiction. Si ce n’est pas le cas, alors il appartient `a Edonc il y a ´egalement une contradiction.
En fait en th´eorie des ensembles on doit d´efinir des objets en se pliant `a des r`egles tr`es strictes [qui
sont au-del`a du contenu de ce cours], ce qui interdit de consid´erer un ensemble tel que E.
D´efinition : Soit Eun ensemble et Aun autre ensemble. On dit que Aest un sous-ensemble de E, ou
une partie de Esi tout ´el´ement de Aest aussi ´el´ement de E. On note alors
A⊂E, A est inclus dans E.
Exemples 3
N⊂Z⊂Q⊂R⊂C
Propri´et´es :
i) r´eflexivit´e : A⊂A(tout ensemble est inclus dans lui-mˆeme),
ii) antisym´etrie : si A⊂Bet B⊂A, alors A=B,
iii) transitivit´e : si A⊂Bet B⊂C, alors A⊂C.
D´efinitions
•on appelle ensemble vide, et on note ∅, l’ensemble qui ne contient aucun ´el´ement. Par convention, ∅
1