Cette bijection est d´efinie de la fa¸con suivante : i1est le plus petit ´el´ement de Xet, si i1< . . . < ijsont d´efinis et
si X\{i1, . . . ,ij}est non vide, alors ij+1 est le plus petit ´el´ement de X\{i1, . . . ,ij}.
On admet aussi la propri´et´e suivante :
Propri´et´e
Soit Aune partie d’un ensemble fini E.
A=E⇔#A= #E
Remarque : Il suffit de la prouver dans le cas de E= [[1,n]] pour n>1. Dans cette situation, cela signifie qu’il
existe une bijection de [[1,m]] dans [[1,n]] si et seulement si m=n.
Comme la r´eciproque d’une bijection en est une aussi, on suppose m6net on montre par r´ecurrence sur nque
s’il existe une bijection de [[1,m]] dans [[1,n]] alors m=n.
On pourra le faire en exercice.
2.1.3 Applications entre deux ensembles finis de mˆeme cardinal
Proposition
Soient Eet Fdeux ensembles finis de mˆeme cardinal net f:E→Fune application.
Les propri´et´es suivantes sont ´equivalentes :
1. fest bijective.
2. fest injective.
3. fest surjective.
D´emonstration :
1⇒2 et 1 ⇒3 sont ´evidents.
Pour 2 ⇒1, on a # Im(f)=#E= #Fd’o`u Im(f) = Fet fest surjective.
Pour 3 ⇒1, par contrapos´ee, si fn’est pas injective, alors du fait qu’il existe deux ´el´ements de Eayant mˆeme
image, on a # Im(f)<#E= #Fdonc fn’est pas surjective.
2.2 Propri´et´es des cardinaux finis
2.2.1 Cardinal d’une r´eunion de deux ensembles disjoints ou non
Proposition
Si Aet Bsont des ensembles finis disjoints, alors A∪Best fini et |A∪B|=|A|+|B|.
D´emonstration On se place dans le cas o`u |A|=m>1 et |B|=n>1
Si ϕ: [[1,m]] →Aet ψ: [[1,n]] →Bsont des bijections, alors θ: [[1,m +n]] →A∪Bd´efinie par θ(i) = ϕ(i) si i6m
et θ(i) = ψ(i−m) si i>mest une bijection (V´erifier).
Proposition
Si Aet Bsont deux ensembles finis, alors :
|A∪B|=|A|+|B|−|A∩B|
En effet A∪Best la r´eunion disjointe de Aet B\Atandis que Best la r´eunion disjointe de A∩Bet de B\A.
Il en r´esulte |A∪B|=|A|+|B\A|et |B|=|A∩B|+|B\A|d’o`u la formule.
Exercice 4
Donner une formule analogue pour une r´eunion de trois parties.
Une id´ee de g´en´eralisation?
2.2.2 Cardinal d’une r´eunion disjointe
Par r´ecurrence sur n, on voit facilement que si A1, . . . ,Ansont des ensembles finis deux `a deux disjoints, alors
n
[
i=1
Ai
=
n
X
i=1
|Ai|.
5