Dénombrement
Première année (sup) · MPSI, MP2I
Cadre et notations
Dans toute la fiche, et sont des ensembles finis, et (ou ) désigne le nombre d'éléments de . Pour , a éléments.
Cardinaux
Proposition.
- Si , alors , avec égalité si et seulement si .
- Si , une application est bijective si et seulement si elle est injective, si et seulement si elle est surjective.
Proposition (opérations). Pour des parties et d'un ensemble fini :
et si et sont disjoints. De plus , l'ensemble des applications de dans a éléments, et l'ensemble des parties de en a .
Plus généralement, le cardinal d'une réunion de parties deux à deux disjointes est la somme de leurs cardinaux. La formule du crible, pour une réunion quelconque de plus de deux parties, n'est pas au programme.
Listes et combinaisons
Soient et .
Théorème.
- Le nombre de -listes (ou -uplets) d'éléments de est .
- Le nombre de -listes d'éléments distincts de , c'est-à-dire d'applications injectives de dans , est
- Le nombre de permutations de (bijections de sur ) est .
- Le nombre de parties à éléments (ou -combinaisons) de est .
Démonstrations combinatoires. On retrouve en comptant les parties de selon leur nombre d'éléments. La formule de Pascal s'obtient en fixant et en séparant les parties à éléments qui contiennent de celles qui ne le contiennent pas. La formule du binôme s'obtient en développant : le coefficient de est le nombre de façons de choisir les facteurs qui donnent .
Choisir le bon modèle. Ordre compté et répétitions permises : -listes, . Ordre compté sans répétition : -listes d'éléments distincts. Ordre indifférent sans répétition : parties, .
Exemples : le nombre de mots de lettres sur un alphabet de lettres est ; le nombre de podiums (or, argent, bronze) parmi coureurs est ; le nombre de mains de cartes dans un jeu de est .
Pièges fréquents
- Compter des listes quand l'ordre est indifférent : on compte alors chaque partie fois.
- Oublier les répétitions ou les compter deux fois : un tirage successif avec remise donne des -listes, sans remise des -listes d'éléments distincts.
- Ajouter les cardinaux de deux parties qui ne sont pas disjointes.