Vous êtes sur la page 1sur 1

UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE

MATHMATIQUES L1-S1

OPRATIONS SUR LES CARDINAUX FINIS (1) Un ensemble est dit quipotent, ou quinumrique, un ensemble ) s'il existe une bijection de dans . Exercice 1. Montrer que pour tous les ensembles , , et , (rflexive) Si , alors (symtrique) Si et , alors (transitive) L'quipotence tant une relation symtrique, si , on peut dire que et quipotents (et non seulement que est quipotent ). De mme, on dira que ont mme cardinal, ce que l'on note , ou . On note l'ensemble des premiers entiers naturels, i.e. sont et (ce que l'on note

Dfinition 1 : on dit que le cardinal d'un ensemble existe une bijection entre et . On note En particulier, . Donc

est (ou que , ou . . et

lments) s'il

Dfinition 2 : Addition de deux entiers naturels Soient et des ensembles disjoints tels que

. On dfinit :

Exercice 2 : Montrer que la dfinition de est indpendante du choix de et . [Autrement dit, si et sont des ensembles disjoints tels que et alors . Exercice 3 : Montrer les proprits suivantes de l'addition : a. L'addition est commutative, i.e., pour tout , , b. L'addition est associative, i.e., pour tout .