Nombre de Bell

Représentation d'une fonction interpolant la suite des nombres de Bell.

En mathématiques, le n-ième nombre de Bell (du nom de Eric Temple Bell) est le nombre de partitions d'un ensemble à n éléments distincts ou, ce qui revient au même, le nombre de relations d'équivalence sur un tel ensemble.

Premières propriétés

• Ces nombres forment la suite d'entiers Modèle:OEIS2C de l'OEIS, dont on peut calculer à la main les premiers termes :$B_0=1,B_1=1,B_2=2,B_3=5,B_4=15,B_5=52,B_6=203,B_7=877,\dots$Le premier vaut 1 car il existe exactement une partition de l'ensemble vide : la partition vide, formée d'aucune partie. En effet, ses éléments (puisqu'il n'y en a aucun) sont bien non vides et disjoints deux à deux, et de réunion vide.
• Les $B_3=5$ partitions de $\{a,b,c\}$ sont $\{\{a\},\{b\},\{c\}\}$, $\{\{a,b,c\}\}$, et les trois partitions du type $\{\{a\},\{b,c\}\}$.
• Les nombres de Bell peuvent aussi se calculer de proche en proche par la relation de récurrence suivante, parfois nommée « relation d'Aitken » et en fait due au mathématicien japonais du Modèle:XVIIIe siècle Yoshisuke Matsunaga:$B_{n+1}=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})B_k,$qui peut se démontrer ainsi :
  Ayant fixé un élément Modèle:Mvar dans un ensemble à Modèle:Mvar + 1 éléments, on trie les partitions suivant le nombre k d'éléments hors de la partie contenant x.
  Pour chaque valeur de Modèle:Mvar de 0 à Modèle:Mvar, il faut donc choisir Modèle:Mvar éléments parmi les Modèle:Mvar éléments différents de Modèle:Mvar, puis s'en donner une partition.
• Les sept plus petits nombres de Bell premiers sont BModèle:Ind = 2, BModèle:Ind = 5, Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr et BModèle:Ind (cf. suites Modèle:OEIS2C et Modèle:OEIS2C de l'OEIS). On ignore s'il en existe d'autres.

Série génératrice

Pour manipuler tous les nombres de Bell, on peut s'intéresser aux séries génératrice et génératrice exponentielle associées, qui sont respectivement :

$G(X)=\sum _n{B}_n{X}^n\text{ et }E(X)=\sum _n\frac{B_n}{n!}{X}^n=1+X+2\frac{X^2}{2!}+5\frac{X^3}{3!}+15\frac{X^4}{4!}+\dots$

La première est par exemple utilisée pour étudier les classes de congruence des $B_n$. Quant à la seconde série formelle, elle satisfait l'équation différentielle $E^{\prime }(X)={\mathrm{e}}^{X}E(X)$ : on le constate en écrivant la formule de récurrence sous la forme

$\frac{B_{n+1}}{n!}=\sum _{k+l=n}\frac{1}{k!}\frac{B_l}{l!}.$

On en déduit qu'elle est égale à ${\mathrm{e}}^{{\mathrm{e}}^X}$ à une constante multiplicative près (qu'on trouve par identification du terme constant) :

$E(X)={\mathrm{e}}^{{\mathrm{e}}^X-1}.$

L'identification des coefficients conduit à la formule de Dobinski :

$B_n=\frac{1}{\mathrm{e}}\sum _{k=0}^{\mathrm{\infty }}\frac{k^n}{k!}$

qui est le moment d'ordre n d'une loi de Poisson de paramètre 1.

D'autres propriétés

Ils satisfont également à la congruence de Touchard : si p est un nombre premier quelconque alors

$B_{p+n}\equiv B_n+B_{n+1}modp.$

Chaque nombre de Bell est une somme des nombres de Stirling de seconde espèce :

$B_n=\sum _{k=0}^{n}S(n,k)=\sum _{k=0}^n\left\{\begin{array}{c}n\\ k\end{array}\right\}.$

Plusieurs formules asymptotiques pour les nombres de Bell sont connues ; l'une d'elles est

$B_n\sim \frac{1}{\sqrt{n}}{\left[\frac{n}{W(n)}\right]}^{n+\frac{1}{2}}{e}^{\frac{n}{W(n)}-n-1},$

où W est la fonction W de Lambert ; on obtient une approximation moins précise, mais plus commode d'emploi, à l'aide de l'encadrement $\ln x-\ln \ln x<W(x)<\ln x$ ; on pourra également remarquer la similitude de l'approximation précédente avec la formule de Stirling.

Voir aussi

• Les nombres de Bell ordonnés, qui dénombrent les partitions ordonnées.
• Le triangle de Bell, qui permet d'obtenir simplement les nombres de Bell
• Les nombres de Stirling de seconde espèce qui dénombrent les partitions d'un ensemble à $n$ éléments en $k$ sous-ensembles.
• Kōdō#Kumikō

Bibliographie

• Modèle:Ouvrage