Adloun

Dénombrement

Cours complet · mathématiques (PCSI), chapitre 14 · CPGE PCSI (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>14.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).

14.2 Cardinal d'un ensemble fini

Définition 14.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 14.2Parties d'un ensemble fini

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

◆Théorème 14.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 10) : même énoncé, les cardinaux remplaçant les dimensions.

◆Théorème 14.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 14.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 ).

14.3 Listes et combinaisons

◆Théorème 14.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 (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.
◆Théorème 14.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 14.8Formule de Pascal, démonstration combinatoire

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

◆Théorème 14.9Formule du binôme, démonstration combinatoire

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.

ImportantQuel modèle pour quel comptage ?

Le réflexe à acquérir : identifier l'ordre et la répétition.

avec répétitionsans 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) .

Continuer sur Adloun : animation, QCM, fiches, exercices