Aller au contenu

Nombre de Fubini

Un article de Wikipédia, l'encyclopédie libre.
Les 13 classements avec exæquos possibles des objets a, b, c

En mathématiques, et plus particulièrement en combinatoire, les nombres de Fubini ou nombres de Bell ordonnés dénombrent les partitions ordonnées d'un ensemble E à n éléments, c'est-à-dire les familles finies de parties non vides disjointes de E dont la réunion est égale à E. Par exemple, pour n = 3, il y a 13 partitions ordonnées de  : 6 du type , 3 du type , 3 du type , plus .

Présentation

[modifier | modifier le code]

De manière équivalente, les nombres de Fubini dénombrent les classements de n objets, avec éventuellement des exæquos, comme dans les résultats d'une course de chevaux. Ils sont aussi appelés pour cette raison nombres chevaux[1]. Par exemple, pour n = 3, les 13 classements avec exæquos possibles se répartissent en 6 classements sans exæquos, comme , 3 avec deux premiers exæquos, comme , 3 avec deux seconds exæquos, comme , et 1 avec trois exæquos, [2].

L'appellation « nombres de Fubini » vient de leur introduction par Louis Comtet[3], sous la forme du dénombrement des diverses formes équivalentes d'une somme ou d'un intégrale n-uple, en conséquence du théorème de Fubini. Par exemple, une intégrale double, possède trois formes équivalentes :

.

L'appellation « nombres de Bell ordonnés » provient de celle des nombres de Bell qui dénombrent les partitions non ordonnées.

Les nombres de Fubini forment la suite A000670 de l'OEIS :

,

la notation pouvant porter à confusion avec la notation identique des nombres de Fibonacci, ainsi que ceux de Fermat.

Les nombres de Fubini peuvent être calculés via une formule de sommation impliquant des coefficients binomiaux, ou via une relation de récurrence. Outre les partitions ordonnées, ils dénombrent plusieurs autres types d'objets combinatoires, tels que les partitions multiplicatives ordonnées d'un carré d'entier ou les faces de toutes dimensions d'un permutoèdre (par exemple, le nombre de faces de toutes dimensions de l'hexagone est 1 + 6 + 6 = 13 et celui de l' octaèdre tronqué est 1 + 14 + 36 + 24 = 75 [4] ).

Nombres de Fubini et arbres de Cayley

[modifier | modifier le code]
Les 13 arbres avec des feuilles ordonnées et des chemins racine-feuille de longueurs égales ; les trois espaces entre les feuilles adjacentes sont marqués par la hauteur au-dessus des feuilles de l'ancêtre commun le plus proche. Ceci induit un classement sur ces espaces. Par exemple, « 1 1 2 » indique que les deux premiers espaces sont exæquos et le troisième est deuxième dans le classement.

Les nombres de Fubini apparaissent dans un article de Cayley (1859)[5] ; ce dernier les a obtenus comme dénombrement de certains arbres à n + 1 feuilles, arbres dont les chemins de la racine jusqu'à une feuille sont de même longueur, et dont le nombre de nœuds à la distance i de la racine est strictement inférieur au nombre de nœuds à la distance i + 1. Dans un tel arbre, il y a n paires de feuilles adjacentes, auxquelles on attribue la hauteur de leur plus petit ancêtre commun ; ces derniers nombres déterminent un rang dans un classement avec exæquo de ces paires de feuilles, et inversement ce classement détermine l'arbre.

Expression en fonction des nombres de Stirling de seconde espèce

[modifier | modifier le code]

Ces nombres dénombrant les partitions d'un n-ensemble en k parties, et ces k parties pouvant être permutées de k! façons, on a :

En utilisant la formule explicite des nombres de Stirling, on en déduit la formule close impliquant des coefficients binomiaux suivante [6]:

Expression en fonction des nombres eulériens

[modifier | modifier le code]

Ces nombres A(n,k) dénombrant les permutations de n objets avec k « montées » (ou k « descentes »), on a :

est le polynôme eulérien d'indice n. La démonstration ci-dessous est celle donnée dans [6].

Relation de récurrence

[modifier | modifier le code]

Les nombres de Fubini, en partant de , peuvent être calculés via la relation de récurrence forte :

Cette formule provient de ce qu'une partition ordonnée d'un n-ensemble est obtenue par le choix d'un ensemble non vide à k éléments (la première classe de la partition), puis d'une partition ordonnée sur les n-k éléments restants .

Fonction génératrice exponentielle

[modifier | modifier le code]

La fonction génératrice exponentielle des nombres de Fubini est donnée par

[6]

En écrivant que et en développant , on obtient l’expression des nombres de Fubini comme somme de série :

[6]
expression à mettre en parallèle avec la formule de Dobinski pour les nombres de Bell.

On en déduit aussi que les nombres de Fubini sont les nombres de la première ligne de la matrice infinie , où I est la matrice d'identité et T la matrice de Pascal triangulaire supérieure[7].

Équivalent

[modifier | modifier le code]

En utilisant une intégrale curviligne de et appliquant le théorème des résidus, les nombres de Fubini s'expriment pour par la somme infinie

dont on déduit l'équivalent

Comme ln 2 est inférieur à 1, ceci montre que les nombres de Fubini surpassent les factorielles (qui dénombrent les classements sans exæquo) d'un facteur exponentiel. On en déduit

Récurrence et périodicités modulaires

[modifier | modifier le code]

À l'aide de la relation de récurrence, on montre que ces nombres obéissent à certains modèles périodiques de l'arithmétique modulaire : pour  n assez grand,

et

Plusieurs autres identités modulaires ont été données par Good (1975) [8].

Notes et références

[modifier | modifier le code]
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ordered Bell number » (voir la liste des auteurs).
  1. Jean-Marie DE KONINCK, Ces nombres qui nous fascinent, Paris, Ellipse, (ISBN 978-2-7298-3851-5), p. 4
  2. Ces classements avec exæquos possibles peuvent être formalisés comme relations binaires réflexives et transitives où tout couple est comparable, autrement dit des préordres totaux.
  3. Louis Comtet, Analyse combinatoire, tome second, PUF, , p. 64
  4. 1, 14, 36, 24, est la quatrième ligne de la suite A019538 de l'OEIS.
  5. (en) Arthur Cayley, « On the analytical forms called trees, second part », Philosophical Magazine, Series IV, 18 (121), In Collected Works of Arthur Cayley, p. 112,‎ , p. 374–378 (lire en ligne)
  6. a b c et d R. L. Graham, D. E. Knuth, O. Patashnik, Mathematiques concrètes, exercice 7.44, International Thomson Publishing France, 1998 p. (ISBN 2-84180-981-1), p. 401 et 604
  7. (en) Barry Lewis, « Revisiting the Pascal matrix », American Mathematical Monthly, 117 (1),‎ , p. 50–66. (lire en ligne)
  8. (en) Good, I. J, « The number of orderings of n candidates when ties are permitted », Fibonacci Quarterly, 13,‎ , p. 11–18 (lire en ligne)
  • Le coefficient multinomial qui dénombre les partitions ordonnées de telles que .