En classant les applications de Xn (ensemble de cardinal n) dans Xp (...) je dois montrer que:
p^n= somme de k=1 à p de (k parmi p)* le nombre de surjection de Xn sur Xp
Je ne vois pas comment faire mais déjà qu'est-ce que ça veut dire classer des applications ?
Bonjour
Je pense qu'il faut procéder en plusieurs étapes. Déjà :
1) Combien y a-t-il d'application de Xn dans Xp ?
Il y en a : p.p....p = pn avec p dans N*
2) Supposons p <= n et notons S(n,p) le nombre de partitions d'un ensemble à n éléments en p classes non vide.
Si on considère f une surjection en Xn dans Xp alors P(f) = {f-1({x}),xXp} est une partition de Xn en p classes non vides. On peut définir la relation d'équivalence :
f R g <=> P(f) = P(g)
C'est une relation d'équivalence sur l'ensemble des surjections de Xn vers Xp
Si f R g , g se différencie de f par une permutation de l'ensemble des valeurs prises sur les éléments de P(f) ( = P(g) ). Chaque classe d'équivalence contient donc p! éléments et il y a S(n,p) classes d'équivalence.
Au final, p!.S(n,p) est le nombre de surjection de Xn sur Xp
3) Si f est une application de Xn dans Xp, f(Xn) est de cardinal k avec 1 <= k <= p.
Il y a pour chaque k, k parmis p parties à k éléments. D'après le 2), il y a k!.S(n,k) applications surjections de Xn vers cet ensemble.
Et en dénombrant les applications, on obtient bien :
Sauf erreurs ...
A+
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :