Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Résumé du colloque
Dénotons par X(m,n) le nombre de fonctions d'un ensemble E de m éléments sur un ensemble F de n éléments et dénotons par Fij (j = 1, 2, …, (n choose i)), les (n choose i) sous-ensembles de F contenant i éléments exactement. Chaque sous-ensemble de F a une représentation unique comme intersection de certains des sous-ensembles Fij. Si S(F') dénote l'ensemble des fonctions de E dans un sous-ensemble F' de F, et si
F' = Fi,j1 ∩ … ∩ Fi,jr (1 ≤ r ≤ n)
alors S(F') = S(Fi,j1) ∩ … ∩ S(Fi,jr).
Il s'ensuit que si N(S(F')) dénote le nombre de fonctions de E dans S(F'),
X(m,n) = N(S(F')) – ⋃ n
j=1 S(Fi,j) (… formules par inclusion-exclusion …)
= m^n – [∑ j=1n N(S(F1,j)) – ∑ j,k=1n N(S(F1,j) ∩ S(F1,k)) + …]
= ∑ (k=0 to n) [(-1)^k × (n choose k) × (n–k)^m].
Si φ(m) dénote le nombre de partitions de l'ensemble E, on déduit alors que
φ(m) = ∑ (n=1 to m) [ X(m,n) / n! ] = ∑ (n=1 to m) ∑ (k=0 to n) [(-1)^k × (n choose k) × (n–k)^m / n!]
= ∑ (n=1 to m) ∑ (k=0 to n) [(-1)^k / k! × (n–k)^m / (n–k)! ]
obtenant ainsi d'une manière élémentaire une formule trouvée par N. S. Mendelsohn (Canadian Journal of Mathematics, Vol. I, no 4, 1949).
Vous devez être connecté pour ajouter un élément à vos favoris.
Veuillez vous connecter ou créer un compte pour continuer.
Outils de citation
Citer cet article :
MLA
APA
Chicago
Ajouter un dossier
Vous pouvez ajouter vos contenus préférés à des dossiers organisés. Une fois le dossier créé,
vous pouvez ajouter un article ou un contenu de la liste ou de la vue détaillée au dossier sélectionné dans la liste.