Stirling Number of the Second Kind of 0

Theorem

 * $\displaystyle {0 \brace n} = \delta_{0 n}$

where:
 * $\displaystyle {0 \brace n}$ denotes a Stirling number of the second kind
 * $\delta_{0 n}$ denotes the Kronecker delta.

Proof
By definition of Stirling numbers of the second kind:

$\displaystyle x^{\underline 0} = \sum_k {0 \brace k} x^k$

Thus we have:

Thus, in the expression:
 * $\displaystyle x^0 = \sum_k {0 \brace k} x^{\underline k}$

we have:
 * $\displaystyle {0 \brace 0} = 1$

and for all $k \in \Z_{>0}$:
 * $\displaystyle {0 \brace k} = 0$

That is:
 * $\displaystyle {0 \brace k} = \delta_{0 k}$

Also see

 * Unsigned Stirling Number of the First Kind of 0
 * Signed Stirling Number of the First Kind of 0


 * Particular Values of Stirling Numbers of the Second Kind