Accueil🇫🇷Chercher

Triangle de Bell

En mathématiques, plus précisément en combinatoire, le triangle de Bell est un tableau triangulaire de nombres analogue au triangle de Pascal, dont les termes dénombrent les partitions d'un ensemble dans lesquelles un élément donné forme le singleton de plus grande valeur. Il est ainsi appelé pour sa connexion étroite avec les nombres de Bell, que l'on trouve des deux côtés du triangle. La construction de ce triangle est du reste un moyen simple d'obtenir les premiers nombres de Bell. Le triangle de Bell a été découvert indépendamment par plusieurs auteurs, dont Charles Sanders Peirce[1] en 1880 et Alexander Aitken[2] en 1933 et pour cette raison a également été appelé triangle de Peirce ou tableau d'Aitken .

Construction du triangle de Bell

Ce triangle forme la suite A011971 de l'OEIS.

Construction

On commence par écrire 1 sur la première ligne, puis chaque ligne est obtenue en commençant par le dernier nombre de la ligne précédente et pour obtenir un terme, on additionne le nombre précédent avec celui qui se trouve immédiatement au dessus de celui-ci. Chaque ligne aura ainsi un terme de plus que la ligne précédente.

Définition par récurrence

Notant, pour , le terme de la ligne d'indice n et de la colonne d'indice k, la définition par récurrence s'écrit :

, pour , pour .

Lien avec les nombres de Bell

Les nombres de Bell , dénombrant les partitions d'un n-ensemble ou de manière équivalente les relations d'équivalence sur cet ensemble, apparaissent dans la première colonne et la diagonale : .

La relation: , se démontrant facilement par récurrence, conjointement à la relation définissant les nombres de Bell : , permettent de prouver ce résultat.

On en déduit donc l'expression des termes du triangle de Bell en fonction des nombres de Bell : .

Interprétation combinatoire

Sun & Wu ont donné en 2011 l'interprétation combinatoire suivante des termes du triangle[3] : dénombre les partitions de l'ensemble possédant comme élément, et tel que est le singleton ayant la plus grande valeur parmi les singletons de la partition.

Par exemple, dénombre les partitions de dont est un élément, donc dénombre les partitions de et est bien égal à .

dénombre les partitions de dont est un élément, et n'ayant pas d'autre singleton que ; il existe bien deux partitions de ce type : et .

dénombre les partitions de dont est un élément, et n'ayant pas d'autre singleton que ou ; Il existe bien trois partitions de ce type : , et .

L'interprétation suivante a été donnée par Knuth[4] : dénombre les partitions de dans lesquelles les parties contenant n ne contiennent aucun nombre entre k et n-1.

Par exemple, dénombre les partitions de et est bien égal à . dénombre les partitions de dont le seul élément contenant n est et est bien égal à .

Diagonales et sommes de ligne

La relation montre que chaque diagonale est formée des différences successives des termes de la diagonale située au-dessus.

De cette façon, comme l'a observé Aitken[2], ce triangle peut être interprété comme implémentant la formule d'interpolation de Gregory – Newton, qui trouve les coefficients d'un polynôme à partir de la séquence de ses valeurs à des entiers consécutifs en utilisant des différences successives. Cette formule ressemble étroitement à une relation de récurrence qui peut être utilisée pour définir les nombres de Bell.

Les sommes successives des termes d'une ligne du triangle : 1, 3, 10, 37, ..., forment la même suite des premières différences apparaissant dans la deuxième diagonale à partir de la droite du triangle. Il s'agit de la suite A005493 de l'OEIS. Le n-ième nombre de cette suite dénombre les partitions d'un n-ensemble, où l'un des sous-ensembles se distingue des autres ; par exemple, il existe 10 façons de partitionner trois éléments en sous-ensembles, puis de choisir l'un des sous-ensembles.

Lien externe

Notes et références

  1. (en) C. S Peirce, « On the algebra of logic », American Journal of Mathematics, 3 (1),‎ , p. 48 (lire en ligne)
  2. (en) A. C. Aitken, « A problem in combinations », Mathematical Notes, 28,‎ , p. 18–23 (lire en ligne)
  3. (en) Sun, Yidong , Wu, Xiaojuan, « The largest singletons of set partitions », European Journal of Combinatorics, 32 (3),‎ , p. 369–382 (lire en ligne)
  4. (en) D. E. Knuth, The Art of Computer Programming, vol. 4A, Combinatorial Algorithms, Section 7.2.1.5, p. 418
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.