Forum de Mathématiques: Maths-Forum

J'ai fait quelques recherches sur cette commande FiniteSetMaps, est-ce que je dois fabriquer l'ensemble de toutes les cartes de {1, 2, ..., n} à {1, 2, ..., n'} ? Ou le fait de devoir fabriquer l'ensemble des surjections implique une autre précision dans la commande ?

Bonsoir, Après pas mal de boulot et de recherches, j'ai réussi à démontrer que le nombre d'applications surjectives d'un ensemble à n éléments vers un ensemble à n' éléments est : S(n,n') = \sum_{k=0}^{n'} (-1)^{k} \binom{n'}{k} (n'-k)^{n} Malheureusement, et là est le pr...