Dénombrement
Cours complet · mathématiques (PTSI), chapitre 15 · CPGE PTSI (1re année)
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
<i class="fa-solid fa-compass mr-2" style="color:#9A563B"></i>15.1 Introduction et motivation
Compter sans énumérer : tel est l'art du dénombrement. Cette section est introduite essentiellement en vue de son utilisation en probabilités (le chapitre suivant : probabilités sur un univers fini, où tout calcul de probabilité uniforme est un quotient de deux dénombrements) ; rattachée aux mathématiques discrètes, elle interagit aussi avec l'algèbre (coefficients binomiaux du chapitre 2, formule du binôme) et l'informatique (complexité des algorithmes, structures de données).
L'esprit du programme : toute formalisation excessive est exclue. Les propriétés les plus intuitives du cardinal sont admises sans démonstration, et l'utilisation systématique de bijections n'est pas un attendu — on raisonne par principes de comptage (addition, multiplication) et par modèles (listes, tirages, comités).
15.2 Cardinal d'un ensemble fini
Un ensemble est fini s'il a un nombre fini d'éléments ; ce nombre est son cardinal, noté ou (et ). Tout fondement théorique des notions d'entier naturel et de cardinal est hors programme : on s'appuie sur l'intuition du « nombre d'éléments ».
Si avec fini, alors est fini et , avec égalité si et seulement si .
Soient finis de même cardinal et . Alors :
Version contraposée, dite des tiroirs (ou de Dirichlet) : si l'on range chaussettes dans tiroirs, un tiroir contient au moins deux chaussettes — toute application d'un ensemble de cardinal vers un ensemble de cardinal est non injective. Simple et redoutable (exercice 5). On notera l'analogie parfaite avec la dimension finie (chapitre 11) : même énoncé, les cardinaux remplaçant les dimensions.
Soient des parties d'un ensemble fini .
- Union disjointe : si , alors (principe d'addition : on découpe en cas incompatibles) ; plus généralement, pour une partition : .
- Union quelconque : (les éléments de étaient comptés deux fois ; la formule du crible générale à ensembles est hors programme).
- Complémentaire : ; différence : .
- Produit cartésien : (principe de multiplication : choix successifs indépendants).
Soient et finis, , .
- Le nombre d'applications de dans est (pour chacun des éléments de , choix indépendants d'image).
- Le nombre de parties de est (pour chaque élément : dedans ou dehors — une partie, c'est une application de dans ).
15.3 Listes et combinaisons
Soit de cardinal .
- Le nombre de -listes (ou -uplets) d'éléments distincts de (l'ordre compte, pas de répétition) est :
( choix pour le premier, pour le deuxième, etc.).
- Cas : le nombre de permutations de (c'est-à-dire de bijections de sur lui-même) est .
- Le nombre d'applications injectives d'un ensemble de cardinal dans un ensemble de cardinal est ce même nombre : une injection, c'est la -liste (sans répétition) de ses valeurs.
Le nombre de parties à éléments (ou -combinaisons) d'un ensemble de cardinal est :
Démonstration
Comptons les -listes d'éléments distincts de deux façons. Directement : . Ou bien : on choisit d'abord la partie des éléments utilisés ( façons), puis on les ordonne ( façons). D'où , ce qui donne la formule. (Moralité : l'ordre coûte un facteur — diviser par fait passer des listes aux parties.)
Démonstration
Fixons un élément de () et trions les parties à éléments selon qu'elles contiennent ou non — deux cas incompatibles qui recouvrent tout (principe d'addition) :
- celles qui contiennent : il reste à choisir éléments parmi les autres, soit ;
- celles qui ne contiennent pas : on choisit les éléments parmi les autres, soit .
C'est la démonstration combinatoire du triangle de Pascal (chapitre 2 le prouvait par le calcul).
Pour réels ou complexes (ou deux matrices qui commutent, chapitre 7) et :
Démonstration
Développons sans regrouper : chaque terme du développement s'obtient en choisissant, dans chacun des facteurs, soit soit . Le terme apparaît donc autant de fois qu'il y a de façons de choisir l'ensemble des facteurs fournissant un : exactement fois.
Le réflexe à acquérir : identifier l'ordre et la répétition.
| avec répétition | sans répétition | |
|---|---|---|
| ordre compte (listes) | (-listes) | (listes d'élts distincts) |
| [2mm] ordre indifférent (parties) | (hors programme) | (combinaisons) |
Tirages successifs avec remise ; sans remise ; tirage simultané (une poignée) .