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:
Usando la identidad familiar
Puedo demostrar algebraicamente que
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
lo que daría la definición:
Por supuesto, si hubiera tenido éxito, esperaba convertir este entendimiento en una modificación de la prueba combinatoria para la identidad recursiva, (donde hay dos casos: uno en el que es un singleton y el otro en el que , dónde ).
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
Comience por componer el reclamo usando convenciones estándar. Buscamos demostrar que
La demostración combinatoria es extremadamente sencilla. El lado izquierdo es el número de particiones de un conjunto de elementos distinguibles en subconjuntos indistinguibles. (Grupo de permutación 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 subconjuntos y el elemento con la etiqueta ha entrado en un subconjunto de tamaño . (Hay otros elementos en este subconjunto.) Entonces debemos haber elegido elementos del otro artículos para el otro subconjuntos y los dividió artículos en subconjuntos, dando una contribución de
La demostración algebraica utiliza funciones generadoras exponenciales. Recuerde que las particiones en subconjuntos tienen la siguiente especificación combinatoria:
Observe que la prueba combinatoria y la algebraica son muy similares.
Marko Riedel