Calculs de quelques cardinaux usuels

Plan du chapitre "Dénombrements"
Proposition (produit cartésien de deux ensembles finis)
Soit {A,B} deux ensembles finis.
Alors {A\times B} est un ensemble fini et {\text{card}(A\times B)=\text{card}(A)\,\text{card}(B)}.
Démonstration
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Plus généralement, si {A_1,A_2,\ldots,A_n} sont finis, alors :{\text{card}\big(\displaystyle\prod_{k=1}^nA_k\big)=\displaystyle\prod_{k=1}^n\text{card}(A_k)}Si {A} est fini, {\text{card}(A^n)=\text{card}(A)^n} pour tout {n\ge1}.

Proposition (union de deux ensembles finis)
Si {A,B} sont finis disjoints, alors {A\cup B} est fini et :{\text{card}(A\cup B)=\text{card}(A)+\text{card}(B)}Dans le cas général : {\text{card}(A\!\cup\! B)\!=\!\text{card}(A)\!+\!\text{card}(B)\!-\!\text{card}(A\!\cap\! B)}
Démonstration
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Proposition (union d'ensembles finis)
Soit {A_1,\ldots,A_n} des ensembles finis.
Alors {\text{card}(\bigcup\limits_{k=1}^{n}A_k)\le \displaystyle\sum_{k=1}^n\text{card}(A_k)}.
Il y a égalité {\Leftrightarrow} les {A_{k}} sont disjoints deux à deux.
Démonstration
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Page précédente : cardinal d’un ensemble fini
Page suivante : p-listes et combinaisons