Hay un par de cosas sucediendo aquí.
- Deberías∑nortek = 0( -1 _)norte - k(nortek)kr
como respuesta final. Esto es porque deberías haber tenido∑nortek = 0( -1 _)norte - k(nortek)mik x
cuando te expandiste(miX− 1)norte
.
- La pregunta, tal como la planteó, no se refiere a los números de Stirling del segundo tipo. Como señala Michael Hardy en un comentario, los números de Stirling del segundo tipo cuentan el número de formas de distribuirr
objetos distintos ennorte
cajas indistinguibles . (A menudo, esto se expresa como "conjuntos" en lugar de "cajas indistinguibles", ya que el primero parece más claro). Su pregunta involucra cajas distintas.
Ampliemos el segundo tema, ya que los dos problemas están claramente relacionados. Dado que existe cierta confusión de notación, dejemosT( r , n )
denote el número de formas de distribuirr
objetos distintos ennorte
cajas distintas sin caja vacía (es decir, su problema), y dejaremosS( r , n )
denote el número de formas de distribuirr
objetos distintos ennorte
cajas indistinguibles sin caja vacía. Entonces tenemos la relaciónT( r , norte ) = norte ! S( r , n )
. Esto se debe a que las casillas indistinguibles se pueden distinguir aplicandonorte
diferentes etiquetas para ellos, y hayn !
formas de asignarnorte
etiquetas anorte
cajas
Esto encaja con sus cálculos anteriores. Sus cálculos (corregidos) han
T( r , norte ) =∑k = 0norte( -1 _)norte - k(nortek)kr.
La fórmula que cita para los números de Stirling del segundo tipo tiene
S( r , norte ) =1n !∑k = 0norte( -1 _)k(nortek) (norte-k)r.
Desde
(nortenorte - k) = (nortek)
, sin embargo, al reindexar la suma obtenemos
S( r , norte ) =1n !∑k = 0norte( -1 _)norte - k(nortek)kr,
de acuerdo con el argumento anterior de que
T( r , norte ) = norte ! S( r , n )
.
GeoffDS
Michael Hardy