ExerciceMaths Sup – MPSI, chapitre 21 — Dénombrement et probabilités · Dénombrement
Exercice 15
Pour , , on note le nombre de surjections d'un ensemble à éléments sur un ensemble à éléments ; il ne dépend que de et , par la proposition 1 du cours.
1. Calculer pour , puis , et .
2. Calculer .
3. Montrer que pour tous et . On pourra distinguer les surjections de sur selon que leur restriction à est surjective ou non.
4. En déduire un programme Python récursif qui calcule , et justifier qu'il se termine.
5. Retrouver, par récurrence sur , la formule de la proposition 6 du cours, qui s'écrit ici
Corrigé
On note l'ensemble des surjections de sur . Si et sont des bijections, l'application est une bijection de sur (chapitre 2, proposition 6) : c'est pourquoi ne dépend que des cardinaux, et l'on peut raisonner avec et .
1. S'il existe une surjection d'un ensemble à éléments sur un ensemble à éléments, alors (chapitre 2, théorème 2). Pour , les surjections sont les bijections (proposition 1 (iii)), au nombre de (théorème 1). Pour , la seule application est constante, et elle est surjective. Pour , une application de dans est surjective si et seulement si elle n'est pas constante.
2. Soit une surjection de sur . Ses fibres sont non vides, deux à deux disjointes, et recouvrent : leurs cardinaux, tous au moins égaux à , ont pour somme , et exactement une fibre a deux éléments, les autres étant des singletons. On note cette fibre à deux éléments. Fixons une paire : les surjections telles que sont celles qui prennent la même valeur en et en et des valeurs deux à deux distinctes, différentes de celle-là, aux autres points. Elles correspondent aux bijections de l'ensemble à éléments sur : il y en a . Le lemme des bergers, appliqué à , donne Pour , on trouve , en accord avec la question 1 ✓.
3. Soit , , et une surjection de sur ; on note sa restriction à .
• Si est surjective sur , la valeur est quelconque. Réciproquement, toute surjection de sur , prolongée par une valeur quelconque, donne une surjection . Il y a telles surjections (proposition 2 (iv)).
• Si n'est pas surjective, elle manque une valeur ; comme est surjective, est atteinte en , donc , et est la seule valeur manquée. Ainsi est une surjection de sur . Réciproquement, pour et une surjection de sur cet ensemble à éléments, le prolongement de par est une surjection sur dont la restriction n'est pas surjective. Il y a telles surjections .
Les deux cas sont disjoints, et la proposition 2 (i) donne
4. Le programme suit la question 3, avec pour cas de base ceux de la question 1.
def S(n, p): # n >= 1 et p >= 1
if p > n:
return 0
if p == 1:
return 1
return p * (S(n - 1, p) + S(n - 1, p - 1))
print(S(5, 3)) # affiche 150Si un appel , avec et , ne s'arrête pas dans l'un des deux tests, c'est que : il provoque deux appels avec le premier argument et des seconds arguments et , de sorte que l'hypothèse est préservée. Le premier argument diminue de à chaque appel et reste un entier au moins égal à : une chaîne d'appels emboîtés a donc au plus étages, et le programme se termine. Lorsque , on a soit , soit , et l'un des deux tests s'applique. La valeur est celle que la remarque qui suit la proposition 6 a obtenue par la formule ✓.
5. Notons , et montrons par récurrence sur la propriété : pour tout .
Initialisation : Pour , on utilise pour , puis la formule du binôme : qui vaut si et si : c'est par la question 1.
Hérédité : Supposons la propriété vraie au rang , pour un entier . Si , alors . Pour , la question 3 et l'hypothèse de récurrence donnent
avec la convention . Par la formule de Pascal, pour , et ; pour , le coefficient est nul. Ainsi
Conclusion : La formule est vraie pour tous . La proposition 6 obtient la même formule en développant un produit, d'un seul coup ; la récurrence la retrouve sans la formule du crible, mais il faut connaître le résultat pour le démontrer. Les deux expressions ont été comparées à une énumération des surjections pour .