Stirling numbers of the first kind: Difference between revisions

Numbers important in combinatorics

In mathematics, especially in combinatorics, Stirling numbers of the first kind arise in the study of permutations. In particular, the Stirling numbers of the first kind count permutations according to their number of cycles (counting fixed points as cycles of length one).

The Stirling numbers of the first and second kind can be understood as inverses of one another when viewed as triangular matrices. This article is devoted to specifics of Stirling numbers of the first kind. Identities linking the two kinds appear in the article on Stirling numbers.

Definitions[edit]

Stirling numbers of the first kind are the coefficients ${displaystyle s(n,k)}$ in the expansion of the falling factorial

${displaystyle (x)_{n}=x(x-1)(x-2)cdots (x-n+1)}$

into powers of the variable ${displaystyle x}$:

${displaystyle (x)_{n}=sum _{k=0}^{n}s(n,k)x^{k},}$

For example, ${displaystyle (x)_{3}=x(x-1)(x-2)=x^{3}-3x^{2}+2x}$, leading to the values ${displaystyle s(3,3)=1}$, ${displaystyle s(3,2)=-3}$, and ${displaystyle s(3,1)=2}$.

Subsequently, it was discovered that the absolute values ${displaystyle |s(n,k)|}$ of these numbers are equal to the number of permutations of certain kinds. These absolute values, which are known as unsigned Stirling numbers of the first kind, are often denoted ${displaystyle c(n,k)}$ or ${displaystyle left[{n atop k}right]}$. They may be defined directly to be the number of permutations of ${displaystyle n}$ elements with ${displaystyle k}$ disjoint cycles. For example, of the ${displaystyle 3!=6}$ permutations of three elements, there is one permutation with three cycles (the identity permutation, given in one-line notation by ${displaystyle 123}$ or in cycle notation by ${displaystyle (1)(2)(3)}$), three permutations with two cycles (${displaystyle 132=(1)(23)}$, ${displaystyle 213=(12)(3)}$, and ${displaystyle 321=(13)(2)}$) and two permutations with one cycle (${displaystyle 312=(132)}$ and ${displaystyle 231=(123)}$). Thus, ${\displaystyle \dots }$