9 votos

Números de Stirling de la primera clase - una derivación directa

Generalmente, los números de Stirling de primera especie se definen como los coeficientes de la creciente factorial: $(*) \prod_{i=0}^{n-1}(x+i) = \sum_{i=0}^{n} S(n,i) x^i$.

Con esta definición, una relación recursiva de $S(n,i)$ se deriva, y se puede demostrar que es coincide con la relación recursiva en el número de permutaciones en un n-conjunto con los ciclos y tienen las mismas condiciones iniciales, por lo que coinciden.

1) hay alguna posibilidad de hacerlo al revés, es decir, definir $S(n,i)$ combinatoria y, a continuación, mostrar que $\prod_{i=0}^{n-1}(x+i) = \sum_{i=0}^{n} S(n,i) x^i$ mantiene para $x \in \mathbb{N}$ por algunos combinatoria argumento, y por lo tanto es un polinomio de identidad?

(Para los números de Stirling del segundo tipo, es posible: se puede demostrar que $n^k = \sum_{i=0}^{k} \binom{n}{i} i! S_2(k,i)$ combinatoria ($n^k$ cuenta la función de$[k]$$[n]$).)

2) Además: igualando los coeficientes en $(*)$ muestra que $S(n,i)$ es la escuela primaria, el polinomio simétrico en $n$ variables de grado $n-i$ evaluado en $(0,1,\cdots ,n-1)$. Hay una combinatoria interpretación de esto?

12voto

Matt Dawdy Puntos 5479

Sí. Vamos a contar el número de multisets de tamaño $k$ sobre un conjunto de $n$ elementos de dos maneras. En primer lugar, la costumbre y estrellas y barras argumento muestra que esto es igual a $${n+k-1 \choose k} = \frac{n(n+1)...(n+k-1)}{k!}.$$

Segundo, el grupo simétrico $S_k$ actúa sobre el conjunto de funciones de $[k] \to [n]$ (donde $[n] = \{ 1, 2, ... n \}$) y sus órbitas pueden ser identificados con multisets de tamaño $k$. Por Burnside el lema el número de órbitas es, por tanto, $$\frac{1}{k!} \sum_{\pi \in S_k} \text{Fix}(\pi).$$

Ahora a comprobar si $\pi$ es una permutación con $c$ ciclos, a continuación, se corrige $n^c$ funciones. La conclusión de la siguiente manera.

1voto

waqar ahmad Puntos 71

No sé lo que está pasando pero título de la pregunta es que los laicos. Números de Stirling (1ª clase)

$ 1, 1+1/2, 1+1/2+1/3, 1+1/2+1/3+1/4, ..... $ después de computación lcm da Stirlings en los numeradores y factorial en el denominador.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X