ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 21 — Dénombrement et probabilités · Dénombrement

Exercice 15

AlgorithmiqueDémonstrationCalcul

Pour nn, p∈ℕ∗p \in \mathbb{N}^{*}, on note S(n,p)S(n, p) le nombre de surjections d'un ensemble à nn éléments sur un ensemble à pp éléments ; il ne dépend que de nn et pp, par la proposition 1 du cours.

1. Calculer S(n,p)S(n, p) pour p>np > n, puis S(n,n)S(n, n), S(n,1)S(n, 1) et S(n,2)S(n, 2).

2. Calculer S(n+1,n)S(n + 1, n).

3. Montrer que S(n,p)=p(S(n−1,p)+S(n−1,p−1))S(n, p) = p\big(S(n - 1, p) + S(n - 1, p - 1)\big) pour tous n⩾2n \geqslant 2 et p⩾2p \geqslant 2. On pourra distinguer les surjections de ⟦1 ,n⟧\llbracket 1\,,n \rrbracket sur ⟦1 ,p⟧\llbracket 1\,,p \rrbracket selon que leur restriction à ⟦1 ,n−1⟧\llbracket 1\,,n - 1 \rrbracket est surjective ou non.

4. En déduire un programme Python récursif qui calcule S(n,p)S(n, p), et justifier qu'il se termine.

5. Retrouver, par récurrence sur nn, la formule de la proposition 6 du cours, qui s'écrit ici S(n,p)=∑k=0p(−1)p−k(pk)kn.S(n, p) = \sum_{k=0}^{p} (-1)^{p-k}\binom{p}{k}k^{n}.

Corrigé

On note Surj(E,F)\mathrm{Surj}(E, F) l'ensemble des surjections de EE sur FF. Si α:E′→E\alpha : E' \to E et β:F→F′\beta : F \to F' sont des bijections, l'application f↦β∘f∘αf \mapsto \beta \circ f \circ \alpha est une bijection de Surj(E,F)\mathrm{Surj}(E, F) sur Surj(E′,F′)\mathrm{Surj}(E', F') (chapitre 2, proposition 6) : c'est pourquoi S(n,p)S(n, p) ne dépend que des cardinaux, et l'on peut raisonner avec E=⟦1 ,n⟧E = \llbracket 1\,,n \rrbracket et F=⟦1 ,p⟧F = \llbracket 1\,,p \rrbracket.

1. S'il existe une surjection d'un ensemble à nn éléments sur un ensemble à pp éléments, alors n⩾pn \geqslant p (chapitre 2, théorème 2). Pour p=np = n, les surjections sont les bijections (proposition 1 (iii)), au nombre de n!n! (théorème 1). Pour p=1p = 1, la seule application est constante, et elle est surjective. Pour p=2p = 2, une application de ⟦1 ,n⟧\llbracket 1\,,n \rrbracket dans {1,2}\{1, 2\} est surjective si et seulement si elle n'est pas constante. S(n,p)=0 si p>n,S(n,n)=n!,S(n,1)=1,S(n,2)=2n−2\boxed{S(n, p) = 0 \text{ si } p > n, \qquad S(n, n) = n!, \qquad S(n, 1) = 1, \qquad S(n, 2) = 2^{n} - 2}

2. Soit ff une surjection de ⟦1 ,n+1⟧\llbracket 1\,,n + 1 \rrbracket sur ⟦1 ,n⟧\llbracket 1\,,n \rrbracket. Ses nn fibres f−1({y})f^{-1}(\{y\}) sont non vides, deux à deux disjointes, et recouvrent ⟦1 ,n+1⟧\llbracket 1\,,n + 1 \rrbracket : leurs cardinaux, tous au moins égaux à 11, ont pour somme n+1n + 1, et exactement une fibre a deux éléments, les autres étant des singletons. On note P(f)P(f) cette fibre à deux éléments. Fixons une paire {i,j}\{i, j\} : les surjections telles que P(f)={i,j}P(f) = \{i, j\} sont celles qui prennent la même valeur en ii et en jj et des valeurs deux à deux distinctes, différentes de celle-là, aux n−1n - 1 autres points. Elles correspondent aux bijections de l'ensemble à nn éléments {{i,j}}∪{{k}∣k≠i,j}\big\{\{i, j\}\big\} \cup \big\{\{k\} \mid k \neq i, j\big\} sur ⟦1 ,n⟧\llbracket 1\,,n \rrbracket : il y en a n!n!. Le lemme des bergers, appliqué à f↦P(f)f \mapsto P(f), donne S(n+1,n)=(n+12) n!=n (n+1)!2\boxed{S(n + 1, n) = \binom{n + 1}{2}\,n! = \frac{n\,(n + 1)!}{2}} Pour n=2n = 2, on trouve 6=23−26 = 2^{3} - 2, en accord avec la question 1 ✓.

3. Soit n⩾2n \geqslant 2, p⩾2p \geqslant 2, et ff une surjection de ⟦1 ,n⟧\llbracket 1\,,n \rrbracket sur ⟦1 ,p⟧\llbracket 1\,,p \rrbracket ; on note gg sa restriction à ⟦1 ,n−1⟧\llbracket 1\,,n - 1 \rrbracket.

• Si gg est surjective sur ⟦1 ,p⟧\llbracket 1\,,p \rrbracket, la valeur f(n)f(n) est quelconque. Réciproquement, toute surjection gg de ⟦1 ,n−1⟧\llbracket 1\,,n - 1 \rrbracket sur ⟦1 ,p⟧\llbracket 1\,,p \rrbracket, prolongée par une valeur quelconque, donne une surjection ff. Il y a p S(n−1,p)p\,S(n - 1, p) telles surjections ff (proposition 2 (iv)).

• Si gg n'est pas surjective, elle manque une valeur yy ; comme ff est surjective, yy est atteinte en nn, donc y=f(n)y = f(n), et yy est la seule valeur manquée. Ainsi gg est une surjection de ⟦1 ,n−1⟧\llbracket 1\,,n - 1 \rrbracket sur ⟦1 ,p⟧∖{f(n)}\llbracket 1\,,p \rrbracket \setminus \{f(n)\}. Réciproquement, pour y∈⟦1 ,p⟧y \in \llbracket 1\,,p \rrbracket et gg une surjection de ⟦1 ,n−1⟧\llbracket 1\,,n - 1 \rrbracket sur cet ensemble à p−1p - 1 éléments, le prolongement de gg par f(n)=yf(n) = y est une surjection sur ⟦1 ,p⟧\llbracket 1\,,p \rrbracket dont la restriction n'est pas surjective. Il y a p S(n−1,p−1)p\,S(n - 1, p - 1) telles surjections ff.

Les deux cas sont disjoints, et la proposition 2 (i) donne S(n,p)=p(S(n−1,p)+S(n−1,p−1))pour n⩾2 et p⩾2\boxed{S(n, p) = p\big(S(n - 1, p) + S(n - 1, p - 1)\big) \quad \text{pour } n \geqslant 2 \text{ et } p \geqslant 2}

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 150

Si un appel S(n,p)S(n, p), avec n⩾1n \geqslant 1 et p⩾1p \geqslant 1, ne s'arrête pas dans l'un des deux tests, c'est que 2⩽p⩽n2 \leqslant p \leqslant n : il provoque deux appels avec le premier argument n−1⩾1n - 1 \geqslant 1 et des seconds arguments p⩾1p \geqslant 1 et p−1⩾1p - 1 \geqslant 1, de sorte que l'hypothèse n,p⩾1n, p \geqslant 1 est préservée. Le premier argument diminue de 11 à chaque appel et reste un entier au moins égal à 11 : une chaîne d'appels emboîtés a donc au plus nn étages, et le programme se termine. Lorsque n=1n = 1, on a soit p>1p > 1, soit p=1p = 1, et l'un des deux tests s'applique. La valeur S(5,3)=150S(5, 3) = 150 est celle que la remarque qui suit la proposition 6 a obtenue par la formule ✓.

5. Notons R(n,p)=∑k=0p(−1)p−k(pk)knR(n, p) = \sum_{k=0}^{p} (-1)^{p-k}\binom{p}{k}k^{n}, et montrons par récurrence sur n⩾1n \geqslant 1 la propriété : S(n,p)=R(n,p)S(n, p) = R(n, p) pour tout p⩾1p \geqslant 1.

Initialisation : Pour n=1n = 1, on utilise k(pk)=p(p−1k−1)k\binom{p}{k} = p\binom{p - 1}{k - 1} pour k⩾1k \geqslant 1, puis la formule du binôme : R(1,p)=∑k=1p(−1)p−k p(p−1k−1)=p∑j=0p−1(−1)p−1−j(p−1j)=p (1−1)p−1,R(1, p) = \sum_{k=1}^{p} (-1)^{p-k}\,p\binom{p - 1}{k - 1} = p\sum_{j=0}^{p-1} (-1)^{p-1-j}\binom{p - 1}{j} = p\,(1 - 1)^{p-1}, qui vaut 11 si p=1p = 1 et 00 si p⩾2p \geqslant 2 : c'est S(1,p)S(1, p) par la question 1.

Hérédité : Supposons la propriété vraie au rang n−1n - 1, pour un entier n⩾2n \geqslant 2. Si p=1p = 1, alors R(n,1)=1n−0n=1=S(n,1)R(n, 1) = 1^{n} - 0^{n} = 1 = S(n, 1). Pour p⩾2p \geqslant 2, la question 3 et l'hypothèse de récurrence donnent S(n,p)=p R(n−1,p)+p R(n−1,p−1),soitS(n, p) = p\,R(n - 1, p) + p\,R(n - 1, p - 1), \qquad\text{soit}

S(n,p)=∑k=0p(−1)p−k p(pk)kn−1−∑k=0p−1(−1)p−k p(p−1k)kn−1=∑k=0p(−1)p−k p((pk)−(p−1k))kn−1,S(n, p) = \sum_{k=0}^{p} (-1)^{p-k}\,p\binom{p}{k}k^{n-1} - \sum_{k=0}^{p-1} (-1)^{p-k}\,p\binom{p - 1}{k}k^{n-1} = \sum_{k=0}^{p} (-1)^{p-k}\,p\bigg(\binom{p}{k} - \binom{p - 1}{k}\bigg)k^{n-1}, avec la convention (p−1p)=0\binom{p - 1}{p} = 0. Par la formule de Pascal, (pk)−(p−1k)=(p−1k−1)\binom{p}{k} - \binom{p - 1}{k} = \binom{p - 1}{k - 1} pour k⩾1k \geqslant 1, et p(p−1k−1)=k(pk)p\binom{p - 1}{k - 1} = k\binom{p}{k} ; pour k=0k = 0, le coefficient est nul. Ainsi S(n,p)=∑k=0p(−1)p−k k(pk)kn−1=R(n,p).S(n, p) = \sum_{k=0}^{p} (-1)^{p-k}\,k\binom{p}{k}k^{n-1} = R(n, p).

Conclusion : La formule est vraie pour tous n,p⩾1n, p \geqslant 1. S(n,p)=∑k=0p(−1)p−k(pk)kn\boxed{S(n, p) = \sum_{k=0}^{p} (-1)^{p-k}\binom{p}{k}k^{n}} 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 n,p⩽7n, p \leqslant 7.

Dans l'édifice

Thèmes

dénombrement, coefficients binomiaux, applications et dénombrement

Notions

cardinal, coefficient binomial

Ouvrir dans l'atlas interactif →