Изменения
Нет описания правки
*<tex dpi = "180">\left \lbrack{n\atop k} \right \rbrack = \lbrace{-n\atop -k}\rbrace</tex>, <tex dpi = "150">n,k \in \mathbb{Z}</tex>, где <tex dpi = "180">\left \lbrack{n\atop k} \right \rbrack</tex> — [[Числа Стирлинга первого рода|число Стирлинга первого рода]]
*<tex dpi = "180">\sum_sum \limits_{k=0}^n \lbrace{n\atop k}\rbrace = B_n</tex>, где <tex dpi = "180">B_n</tex> — число Белла (число всех неупорядоченных разбиений ''n''-элементного множества)
== Применения ==
* Обозначим как <tex dpi = "180">\lbrace{n\atop k}\rbrace^d</tex> количество всех способов разбиений множества <tex>n</tex> натуральных чисел на <tex>k</tex> подмножеств, в которых расстояния между двумя любыми элементами <tex>i</tex>, <tex>j</tex> не меньше <tex>d</tex> <tex>(|i-j| \geqslant d)</tex>. Тогда <tex dpi = "180">\lbrace{n\atop k}\rbrace^d = \lbrace{n-d+1\atop k-d+1}\rbrace,</tex><tex dpi = "150"> n \geqslant k \geqslant d</tex>
* Также числа Стирлинга II рода можно определить как коэффициенты в разложении обычных степеней на факториальные: <tex dpi = "150">x^n = \sum_sum \limits_{k=0}^n \textstyle \lbrace{n\atop k}\rbrace x^{\underline{k}} = \sum_sum \limits_{k=0}^n \textstyle \lbrace{n\atop k}\rbrace (-1)^{n-k} x^{\overline{k}}</tex>, где <tex dpi = "150">x^{\underline{k}} = x\cdot (x-1)\cdot \ldots\cdot (x-k+1)</tex> — убывающий факториал, <tex dpi = "150">x^{\overline{k}} = x\cdot (x+1)\cdot \ldots\cdot (x+k-1)</tex> — возрастающий факториал. См. также [[Числа Стирлинга первого рода#Связь между числами Стирлинга | связь между числами Стирлинга]].
== Переход от базиса обычных степеней к базису убывающих факториальных степеней ==
Числа Стирлинга II рода образуют матрицу переходов в линейном пространстве полиномов от базиса обычных степеней к базису убывающих факториальных степеней.
|proof=
<tex dpi = "150">x^{\underline{k+1}}=x^{\underline{k}}(x-k)</tex>, отсюда <tex dpi = "150">x\cdot x^{\underline{k}}=x^{\underline{k+1}}+kx^{\underline{k}}</tex>, следовательно, <tex dpi = "150">x\cdot x^{\underline{n-1}}</tex> есть <br> <br> <tex dpi = "150">x\sum_sum \limits_{k=0}^n \textstyle \lbrace{n-1\atop k}\rbrace x^{\underline{k}}=\sum_sum \limits_{k=0}^n \textstyle \lbrace{n-1\atop k}\rbrace x^{\underline{k+1}}+\sum_sum \limits_{k=0}^n \textstyle \lbrace{n-1\atop k}\rbrace kx^{\underline{k}}=</tex> <br> <br> <tex dpi = "150">\sum_sum \limits_{k=0}^n \textstyle \lbrace{n-1\atop k-1}\rbrace x^{\underline{k}}+\sum_sum \limits_{k=0}^n \textstyle \lbrace{n-1\atop k}\rbrace kx^{\underline{k}}= </tex> <br> <br> <tex dpi = "150">\sum_sum \limits_{k=0}^n \textstyle (k\lbrace{n-1\atop k}\rbrace + \lbrace{n-1\atop k-1}\rbrace )x^{\underline{k}}=\sum_sum \limits_{k=0}^n \textstyle \lbrace{n\atop k}\rbrace x^{\underline{k}} </tex>
}}
