Adloun

Dénombrement

Cours · mathématiques MPSI, chapitre 18 · MPSI (classe préparatoire scientifique) · le début du chapitre, la suite sur Adloun

Un arbre de dénombrement : deux choix, puis trois choix, soit six issues.

18.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 (permutations du chapitre 14, coefficients binomiaux du chapitre 2) 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).

18.2 Cardinal d'un ensemble fini

Définition 18.1Cardinal

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 ».

Proposition 18.2Parties d'un ensemble fini

Si avec fini, alors est fini et , avec égalité si et seulement si .

◆Théorème 18.3Injectif, surjectif, bijectif : le cas équicardinal

Soient finis de même cardinal et . Alors :

iRemarqueLe principe des tiroirs

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 12) : même énoncé, les cardinaux remplaçant les dimensions.

◆Théorème 18.4Opérations sur les cardinaux

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).
◆Théorème 18.5Applications et parties

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 ).

18.3 Listes et combinaisons

◆Théorème 18.6Listes d'éléments distincts, permutations, injections

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 est — on retrouve (chapitre 14).
  • 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.
◆Théorème 18.7Combinaisons

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.)

◆Théorème 18.8Formule de Pascal, démonstration combinatoire

Exercices du chapitre

La suite du cours · Tous les exercices du chapitre