V matematice , zejména v kombinatorice , jsou Bellovy polynomy polynomy tvaru
kde součet přebírá všechny posloupnosti j 1 , j 2 , j 3 , ..., j n − k +1 nezáporných celých čísel tak, že
aBellovy polynomy jsou pojmenovány po matematikovi E. Bellovi .
Součet
někdy nazývaný n-tý kompletní Bellův polynom . Aby se to odlišilo od úplných Bellových polynomů, B n , k polynomy definované výše se někdy označují jako "částečné" Bellovy polynomy.
Kompletní Bellovy polynomy splňují následující podmínky:
Jestliže se v dělení čísla n objeví člen 1 j 1krát , 2 se objeví j 2krát atd., pak je počet oddílů množiny mohutnosti n , ve kterých mohutnosti částí tvoří toto rozdělení n , stejný . na odpovídající koeficient Bellova polynomu.
Pro n = 6, k = 2 máme
protože to je
Rovněž,
protože to je
15 způsobů, jak rozdělit sadu mohutností 6 do podmnožin mohutností 4 + 1 + 1, 60 způsobů, jak rozdělit sadu mohutností 6 na podmnožiny mohutností 3 + 2 + 1 a 15 způsobů, jak rozdělit množinu mohutnosti 6 na podmnožiny mohutnosti 2 + 2 + 2.Hodnota Bellova polynomu B n , k ( x 1 , x 2 , …), kde všechna x i jsou rovna 1, je Stirlingovo číslo druhého druhu :
Součet
je n-té Bellovo číslo (počet oddílů množiny mohutnosti n ).
Pro posloupnost x n , y n , n = 1, 2, … je konvoluce definována :
(Všimněte si, že limity součtu jsou zde 1 an − 1, nikoli 0 an .)
Předpokládejme, že existuje n-tý člen posloupnosti
Pak
Například spočítejme . Protože
pak
Vzorec Faa di Bruno může být formulován pomocí Bellových polynomů takto:
Také můžeme použít Bellovy polynomy if
apak
Zejména úplné Bellovy polynomy se objevují v expanzi exponentu formální mocninné řady
Součet
je n-tý moment rozdělení pravděpodobnosti , jehož prvních n kumulantů se rovná κ 1 , … , κn . Jinými slovy, n-tý moment je roven hodnotě n-tého úplného Bellova polynomu na prvních n kumulantech.
Pro danou posloupnost čísel dáme a 1 , a 2 , a 3 , …
Pak je tato posloupnost polynomů binomického typu , tzn. splňuje binomické podmínky
pro n ≥ 0. Věta: Všechny polynomické posloupnosti binomického typu jsou reprezentovány v této podobě.Pokud vezmeme v úvahu
jako formální mocninná řada, pak pro všechna n ,