Difference between revisions of "Stirling number"

m (See Also)
 
(One intermediate revision by one other user not shown)
Line 13: Line 13:
  
 
Stirling numbers of the second kind satisfy the [[recursion]]
 
Stirling numbers of the second kind satisfy the [[recursion]]
\[
+
<cmath>S(n + 1, k) = k S(n, k) + S(n, k - 1).</cmath>
S(n + 1, k) = k S(n, k) + S(n, k - 1).
+
 
\]
 
 
(This can easily be shown by considering the cases that <math>n + 1</math> is in a part of size <math>1</math> or size larger than <math>1</math>.)  They can also be calculated using the formula
 
(This can easily be shown by considering the cases that <math>n + 1</math> is in a part of size <math>1</math> or size larger than <math>1</math>.)  They can also be calculated using the formula
 
<cmath> S(n,k) = \frac{1}{k!}\sum_{j=0}^{k}(-1)^j{k \choose j} (k-j)^n. </cmath>
 
<cmath> S(n,k) = \frac{1}{k!}\sum_{j=0}^{k}(-1)^j{k \choose j} (k-j)^n. </cmath>
Line 23: Line 22:
 
== See Also ==
 
== See Also ==
  
[[Category:Combinatorics]]
+
[[Category:Combinatorics]

Latest revision as of 23:50, 14 May 2024

There are two kinds of Stirling numbers: Stirling numbers of the first kind and Stirling numbers of the second kind. They appear in many situations in combinatorics.


Stirling Numbers of the First Kind

The Stirling number of the first kind $c(n, k)$ is the number of permutations of an $n$-element set with exactly $k$ cycles.

For example, $c(4, 2) = 11$ because (writing all our permutations in cycle notation) we have the permutations $\{(1)(234), (1)(243), (134)(2),(143)(2),(124)(3),(142)(3),(123)(4),(132)(4), (12)(34), (13)(24), (14)(23)\}$.

Stirling Numbers of the Second Kind

The Stirling number of the second kind $S(n, k)$ is the number of partitions of an $n$-element set into exactly $k$ non-empty subsets.

For example, $S(4, 2) = 7$ because we have the partitions $\{1 | 234, 2|134, 3|124, 4|123, 12|34, 13|24, 14|23\}$.

Stirling numbers of the second kind satisfy the recursion \[S(n + 1, k) = k S(n, k) + S(n, k - 1).\]

(This can easily be shown by considering the cases that $n + 1$ is in a part of size $1$ or size larger than $1$.) They can also be calculated using the formula \[S(n,k) = \frac{1}{k!}\sum_{j=0}^{k}(-1)^j{k \choose j} (k-j)^n.\]

The total number of partitions of an $n$-element set is $B_n = \sum_{k = 1}^n S(n, k)$ and is called the $n$th Bell number.

See Also

[[Category:Combinatorics]