Prueba combinatoria para series de números de Stirling y coeficientes binomiales

Estoy luchando con la siguiente pregunta de una tarea para un curso de introducción a la combinatoria.

Muestre, por medio de un argumento combinatorio, que se cumple lo siguiente:

{ norte + 1 k + 1 } = r = k norte ( norte r ) { r k }

Usando la identidad familiar

{ norte k } = { norte 1 k 1 } + k { norte k 1 }

Puedo demostrar algebraicamente que

{ norte + 1 k + 1 } = metro = k norte ( k + 1 ) norte metro { metro k } .

Al hacer esto, esperaba poder introducir coeficientes binomiales para determinar si la definición recursiva del número de Stirling de segunda especie conduciría a una demostración algebraica. Desafortunadamente, los términos exponenciales permanecieron incluso después de sustituir

( k + 1 ) norte metro = i = 1 norte metro ( norte metro i ) k i

lo que daría la definición:

{ norte + 1 k + 1 } = metro = k norte [ i = 1 norte metro ( norte metro i ) k i ] { metro k }

Por supuesto, si hubiera tenido éxito, esperaba convertir este entendimiento en una modificación de la prueba combinatoria para la identidad recursiva, S ( norte , k ) = S ( norte 1 , k 1 ) + k S ( norte 1 , k ) (donde hay dos casos: uno en el que norte es un singleton y el otro en el que norte A , dónde | A | > 1 ).

Si alguien tiene alguna recomendación o sugerencia sobre cómo realizar la prueba combinatoria (o incluso la algebraica, que personalmente me interesa), ¡apreciaría mucho la ayuda!

Gracias

Respuestas (1)

Comience por componer el reclamo usando convenciones estándar. Buscamos demostrar que

{ norte + 1 k + 1 } = metro = k norte ( norte metro ) { metro k } .

La demostración combinatoria es extremadamente sencilla. El lado izquierdo es el número de particiones de un conjunto de norte + 1 elementos distinguibles en k + 1 subconjuntos indistinguibles. (Grupo de permutación S k + 1 y sin posicionamiento en los subconjuntos, un conjunto de conjuntos). El lado derecho cuenta la misma estadística. Supongamos que tenemos una partición en k + 1 subconjuntos y el elemento con la etiqueta norte + 1 ha entrado en un subconjunto de tamaño norte metro + 1 . (Hay norte metro otros elementos en este subconjunto.) Entonces debemos haber elegido metro elementos del otro norte artículos para el otro k subconjuntos y los dividió metro artículos en k subconjuntos, dando una contribución de

( norte metro ) { metro k } .
La suma cuenta todos los tamaños de subconjuntos totales posibles para los subconjuntos que no contienen norte + 1 , a partir de k porque ninguno de los subconjuntos puede estar vacío.

La demostración algebraica utiliza funciones generadoras exponenciales. Recuerde que las particiones en subconjuntos tienen la siguiente especificación combinatoria:

PAG ( PAG 1 ( Z ) ) .
Esto implica inmediatamente que la función generadora de los números de Stirling de segunda clase es
GRAMO ( z , tu ) = Exp ( tu ( Exp ( z ) 1 ) ) .
Ahora tenemos
{ norte + 1 k + 1 } = ( norte + 1 ) ! [ z norte + 1 ] [ tu k + 1 ] Exp ( tu ( Exp ( z ) 1 ) ) = ( norte + 1 ) ! [ z norte + 1 ] ( Exp ( z ) 1 ) k + 1 ( k + 1 ) ! .
Este último término es
( norte + 1 ) ! 1 norte + 1 [ z norte ] ( ( Exp ( z ) 1 ) k + 1 ( k + 1 ) ! ) = norte ! [ z norte ] ( k + 1 ) ( Exp ( z ) 1 ) k ( k + 1 ) ! Exp ( z ) = norte ! [ z norte ] Exp ( z ) ( Exp ( z ) 1 ) k k ! .
Expandiendo el producto de las dos exponenciales esto produce
norte ! metro = 0 norte 1 ( norte metro ) ! [ z metro ] ( Exp ( z ) 1 ) k k ! = metro = 0 norte norte ! metro ! ( norte metro ) ! metro ! [ z metro ] ( Exp ( z ) 1 ) k k ! = metro = 0 norte norte ! metro ! ( norte metro ) ! { metro k } = metro = k norte ( norte metro ) { metro k } .

Observe que la prueba combinatoria y la algebraica son muy similares.

El OP ha escrito la pregunta a partir de ahora.