Gaudino, casier 5 version N1.1
P.C.S.I. 834 Dénombrement Lycée Masséna
I. Ensembles finis
I.1. Définition
d´
efinition 1. Un ensemble non-vide Eest dit fini lorsqu’il existe n∈N∗tel que J1, nKet Esont en bijection. nalors
appelé cardinal de E, noté #A,|A|ou encore card(A).
L’ensemble vide est dit fini de cardinal 0.
Unicité du cardinal.
I.2. Sous-partie
Th´
eor`
eme 1. Soit Fun ensemble fini, et E⊂F.Eest alors fini, et card(E)≤card(F).
On a de plus card(E) = card(F)si et seulement si E=F.
I.3. Lien avec les fonctions
Soient Eet Fdeux ensembles finis.
Th´
eor`
eme 2. 1. Il existe une bijection de Edans Fsi et seulement si card(E) = card(F).
2. Il existe une injection de Edans Fsi et seulement si card(E)≤card(F).
3. Il existe une surjection de Edans Fsi et seulement si card(E)≥card(F).
Th´
eor`
eme 3. Soit Eet Fdeux ensembles finis de même cardinal, et fune fonction de Evers F. On a :
fest bijective ⇐⇒ fest injective ⇐⇒ fest surjective
Remarques sur les cas où un ensemble est infini.
II. Cardinal de quelques ensembles
Eet Fsont deux ensembles finis, de cardinaux respectifs n= card(F) et p= card(E).
II.1. Réunion
Th´
eor`
eme 4. Si Eet Fsont deux ensembles finis alors E∪Faussi et
card(E∪F) = card(E) + card(F)−card(E∩F)
preuve en s’appuyant sur le lemme du cas disjoint (preuve par bijection).
Application au cardinal d’un complémentaire, d’une réunion finie disjointe.
Th´
eor`
eme 5. Soient Eet Fsont deux ensembles finis. card(E∪F) = card(E) + card(F)si et seulement si Eet F
sont disjoints.
II.2. Produit cartésien
Th´
eor`
eme 6. Si Eet Fsont deux ensembles finis alors E×Faussi et
card(E×F) = card(E)×card(F) = np
preuve par réunion disjointe. Cas des produits cartésiens de plusieurs ensembles, des puissances cartésiennes.
remarque sur la notation E×F. Application aux couples, aux x-uplets.
II.3. Fonctions
II.3.1. fonctions quelconques
Th´
eor`
eme 7. Si Eet Fsont deux ensembles finis alors l’ensemble des fonctions de Evers F, noté FEou F(E, F ),
est fini et
card(FE) = card(F)card(E)=np
preuve par le nombre de graphes, preuve intuitive, lien avec les tirages avec remise de boules discernables. p-uplets.
1