Matemáticas universitarias — Grado 1 · Bachelor Year 1
2Combinatoria
Contar conjuntos finitos suena elemental — y se vuelve sutil enseguida. Este capítulo define correctamente el cardinal (mediante biyecciones, en el espíritu del Capítulo 1), establece el puñado de principios de recuento de los que se sigue todo lo demás y deduce los recuentos clásicos: listas, permutaciones, subconjuntos, coeficientes binomiales.
2.1 Cardinal de un conjunto finito
Definición 2.1 (Conjunto finito, cardinal)
Para , se escribe . Un conjunto es finito cuando o existe una biyección de sobre para algún ; ese es único (Teorema 2.2) y es el cardinal de , escrito (con ).
Teorema 2.2 (El cardinal está bien definido)
Si , no existe ninguna biyección de sobre . Con más precisión: si , no existe ninguna inyección de en .
Demostración. Demostramos por inducción sobre el enunciado: para todo no hay ninguna inyección . Para el conjunto de llegada es vacío y : no existe aplicación alguna. Supongamos el enunciado para y sea una inyección con . Si el valor no se alcanza, es una inyección en , en contra de la hipótesis de inducción. En caso contrario, para exactamente un ; se intercambian y (formalmente: se compone con la transposición de los dos valores), de modo que la nueva inyección cumple . Entonces la restricción de a es una inyección en con — otra contradicción. ∎
Corolario 2.3 (Principio del palomar)
Si , ninguna aplicación es inyectiva: dos elementos de comparten imagen.
Demostración. Escríbase , con , y elíjanse biyecciones y . Si fuese inyectiva, sería una inyección de en (composición de inyecciones, Proposición 1.26), en contra del Teorema 2.2. ∎
Observación 2.4 (Interludio: ¿por qué el intercambio en la demostración?)
La demostración del Teorema 2.2 contiene el primer paso realmente ingenioso del capítulo, que vale la pena repasar despacio. El obstáculo: para aplicar la hipótesis de inducción se quiere borrar el último punto de salida y el último punto de llegada, pero puede enviar otro punto a , y entonces borrar el punto de llegada estropea la aplicación en otro sitio. El remedio: componer con la transposición de los dos valores y — una biyección del conjunto de llegada, con lo que la inyectividad se conserva —, tras lo cual el valor problemático queda en la posición inofensiva y los dos borrados son limpios. Este patrón de «normalizar primero, cortar después» reaparece: es como la recurrencia de los desarreglos redirige en el problema del fin de semana de este capítulo, y como se remiendan las permutaciones en todo el problema del Capítulo 7 sobre el grupo simétrico.
Proposición 2.5 (Inyecciones, sobreyecciones y cardinal)
Sean conjuntos finitos con , y sea . Entonces
Demostración. Supongamos inyectiva. Entonces es una biyección de sobre , luego . Si dejase de alcanzar un punto de , entonces sería una inyección de en , un conjunto de cardinal — imposible por el principio del palomar. Luego : es sobreyectiva y, por tanto, biyectiva.
Supongamos sobreyectiva. Elíjase para cada una imagen recíproca ; entonces , luego es inyectiva (Proposición 1.26). Por el párrafo anterior aplicado a (los cardinales son iguales), es biyectiva. De se obtiene , luego es biyectiva. Por último, una aplicación biyectiva es por definición inyectiva y sobreyectiva, lo que cierra el ciclo de implicaciones. ∎
Ejemplo 2.6 (La finitud es esencial)
Sobre un conjunto finito, la Proposición 2.5 es un atajo poderoso: toda aplicación inyectiva de en sí mismo es automáticamente una permutación de — la mitad de la biyectividad sale gratis. Las dos implicaciones se derrumban en los conjuntos infinitos: es inyectiva de en pero no alcanza , y la aplicación que envía y para es sobreyectiva pero no inyectiva. Siempre que se invoca esta proposición, la hipótesis de finitud está haciendo un trabajo real — un tema que el problema del fin de semana del Capítulo 1 explora desde el otro lado, donde los conjuntos infinitos son precisamente los que admiten tales aplicaciones de un conjunto en sí mismo.
Ejemplo 2.7 (La mitad del trabajo, gratis)
Considérese la aplicación en que envía al resto de la división de por ; su tabla de valores es
¿Es una biyección? Basta con la inyectividad (Proposición 2.5): si y dejan el mismo resto, divide a y, como es primo y no divide a , divide a (lema de Euclides, usado aquí al nivel del volumen anterior y demostrado en el Capítulo 6); con esto obliga a . La sobreyectividad sale gratis — no hace falta resolver para cada , aunque la tabla confirme que cada valor aparece exactamente una vez. El atajo es un caballo de batalla: demuestra la invertibilidad de la multiplicación modular (Capítulo 6), sostiene el emparejamiento del teorema de Wilson y vuelve en álgebra lineal como «un endomorfismo de un espacio de dimensión finita es inyectivo si y solo si es sobreyectivo» (Capítulo 19).
2.2 Los principios de recuento
Proposición 2.8 (Reglas de la suma y del producto)
Sean conjuntos finitos.
Demostración. (1) Se concatenan enumeraciones: si y sin repeticiones, entonces enumera sin repetición (por la disyunción de los dos conjuntos). La inducción lo extiende a trozos.
(2) es la unión disjunta de y , y es la unión disjunta de y ; luego .
(3) es la unión disjunta, para , de los conjuntos , cada uno de cardinal ; aplíquese (1).
(4) Una aplicación de en es exactamente la elección de la -tupla ; esta correspondencia es una biyección, y por (3) e inducción.
(5) Los subconjuntos de se corresponden biyectivamente con las aplicaciones (envíese a su función indicadora); aplíquese (4). ∎
Ejemplo 2.9 (Contar por el complementario)
¿Cuántos códigos PIN de cifras (cifras –, el orden importa, se permiten repeticiones) contienen al menos una cifra repetida? Contarlos directamente obliga a manejar los casos «exactamente una pareja, dos parejas, un trío, un cuarteto» — cinco configuraciones que se solapan. Cuéntese en su lugar el complementario: los códigos son en total (regla del producto) y los códigos con cuatro cifras distintas son (-variaciones), de modo que la respuesta es
Casi la mitad de los PIN repiten alguna cifra. La idea clave: siempre que un recuento se formule con «al menos» o «no todos», pruébese primero con el complementario — la regla de la suma garantiza que , y el complementario suele ser una sola configuración limpia.
Ejemplo 2.10 (Caminos en una cuadrícula)
Cuéntense los caminos más cortos de la esquina a la esquina de una cuadrícula, moviéndose cada vez un paso a la derecha (R) o un paso hacia arriba (A). Todo camino de estos consta exactamente de pasos, de los cuales son R y son A; recíprocamente, toda palabra de longitud en las letras R y A con cuatro R describe exactamente un camino. Los caminos se corresponden, pues, biyectivamente con las elecciones de las posiciones de las R:
La idea clave es la codificación: el recuento se volvió trivial en cuanto cada camino se tradujo a una palabra, es decir, a un subconjunto de posiciones — una instancia más del lema de que un recuento correcto es una biyección disfrazada (Método 2.19).
2.3 Listas, permutaciones, subconjuntos
Definición 2.11 (Variaciones, permutaciones, combinaciones)
Sea un conjunto con y sea .
- Una -variación de es una -tupla inyectiva de elementos de (una selección ordenada sin repetición);
- una permutación de es una biyección de en sí mismo — equivalentemente, una -variación;
- una -combinación es un subconjunto de con elementos (una selección no ordenada y sin repetición). Su número se escribe , que se lee « sobre » .
Teorema 2.12 (Los tres recuentos)
Con y :
- el número de -variaciones de es ;
- el número de permutaciones de es ;
- .
Demostración. (1) Se elige la primera coordenada ( maneras), después la segunda ( elecciones restantes), …, y por último la -ésima ( elecciones). Formalmente, se procede por inducción sobre . Para hay tuplas inyectivas de un término. Supóngase el recuento para . Cada -variación se obtiene a partir de exactamente una -variación — su truncamiento — añadiendo una última coordenada fuera de , para la cual hay exactamente valores disponibles. El truncamiento reparte así las -variaciones en clases de tamaño común indexadas por las -variaciones, y la regla de la suma da
(2) es (1) con .
(3) Cada -subconjunto se ordena de maneras distintas en -variaciones, y toda -variación proviene de exactamente un subconjunto: luego . ∎
Ejemplo 2.13 (Mesas redondas: cocientar por una simetría)
¿De cuántas maneras pueden sentarse invitados alrededor de una mesa redonda, considerando idénticas dos disposiciones cuando cada invitado tiene los mismos vecinos a izquierda y derecha, es decir, salvo rotación? Cada disposición circular corresponde a exactamente disposiciones lineales (córtese el círculo por cualquiera de los lugares), de modo que los órdenes lineales se agrupan en bloques de :
Equivalentemente: siéntese en cualquier sitio a un invitado distinguido (con lo que se elimina la libertad de rotación) y ordénense después los invitados restantes en el sentido de las agujas del reloj. Para : mesas. Las dos soluciones ilustran los dos remedios habituales contra el recuento por exceso: dividir por el número exacto de repeticiones, o romper la simetría fijando un objeto. Ambos exigen que el grupo de repeticiones tenga el mismo tamaño para toda configuración — algo que la demostración anterior de la fórmula también usó, con en lugar de .
Ejemplo 2.14 (Añadir una restricción)
Sigamos con la mesa redonda: entre las mesas de invitados, ¿cuántas sientan separados (no contiguos) a dos invitados dados y ? Cuéntese el complementario. Mesas en las que y se sientan juntos: péguense en un solo bloque — quedan objetos alrededor de la mesa, es decir, disposiciones circulares — y ordénese después la pareja dentro de su bloque ( maneras): mesas con ellos contiguos. Por tanto
mesas los mantienen separados. Comprobaciones: da (alrededor de un triángulo todos se tocan) y da , fáciles de enumerar a mano. El truco del pegado — tratar un bloque forzado como un solo objeto y contar después sus disposiciones internas — es el remedio estándar para las restricciones de contigüidad, lineales o circulares.
Proposición 2.15 (Identidades básicas)
Para :
Demostración. Primera identidad: es una biyección entre los -subconjuntos y los -subconjuntos. Regla de Pascal: fíjese un elemento ; los -subconjuntos se reparten entre los que contienen (elíjanse los restantes: ) y los que evitan (). Tercera identidad: los dos miembros cuentan todos los subconjuntos de , repartidos por tamaño en el de la izquierda (Proposición 2.8 (1) y (5)). ∎
Teorema 2.16 (Teorema del binomio)
Para todos de un anillo conmutativo (por ejemplo o ) y todo :
Demostración. Al desarrollar por distributividad se obtiene un término por cada elección, en cada factor, de o de : el término aparece una vez por cada manera de elegir cuáles de los factores aportan — es decir, veces. (Alternativamente: inducción sobre usando la regla de Pascal.) ∎
Ejemplo 2.17
Dos especializaciones clásicas: recupera ; , da para : entre los subconjuntos de un conjunto no vacío, exactamente la mitad tienen cardinal par.
Ejemplo 2.18 (Una identidad, dos demostraciones)
La especialización , del teorema del binomio dice
He aquí la misma identidad sin nada de álgebra. El miembro derecho cuenta las palabras de longitud sobre el alfabeto (regla del producto). Clasifíquese cada palabra por el conjunto de las posiciones que llevan una letra no nula: elegir con cuesta , y después cada posición de lleva independientemente o : maneras. La regla de la suma sobre da el miembro izquierdo. Más allá del placer de que coincidan, las dos demostraciones tienen virtudes distintas: la algebraica se generaliza a cualquier valor de ; la combinatoria explica la fórmula y se adapta a restricciones (prohibir la letra en la última posición, por ejemplo) que ninguna sustitución captura. Mantener vivas las dos técnicas es la destreza práctica que entrena este capítulo.
Método 2.19 (¿Qué recuento se aplica?)
Antes de calcular, respóndanse dos preguntas sobre la selección: ¿importa el orden?, ¿se permiten repeticiones?
| importa el orden | no importa el orden | |
|---|---|---|
| sin repetición | ||
| [6pt] con repetición | (Ejercicio 2.10) |
Búsquese después una biyección o una partición que reduzca el problema a estos recuentos modelo; un recuento correcto es una biyección disfrazada.
Observación 2.20 (Errores frecuentes al contar)
- Sumar casos no disjuntos. La regla de la suma exige una partición; si una configuración puede cumplir dos casos a la vez, se cuenta dos veces — el remedio es la inclusión–exclusión (Teorema 2.24) o un reparto de casos más fino.
- Ordenado frente a no ordenado. Elegir «un comité de dos» es , no : decídase antes de calcular si la selección lleva un orden y, si el recuento ordenado resulta más fácil, divídase al final por el número de ordenaciones — pero solo cuando cada objeto no ordenado provenga del mismo número de objetos ordenados.
- Elecciones por etapas que no son independientes. La regla del producto exige que el número de opciones de cada etapa no dependa de las elecciones anteriores. «Elíjase un capitán y después un subcapitán distinto» está bien (); «elíjanse dos jugadores que se lleven bien» no es un producto por etapas en absoluto.
- Contar dos veces por construcción. Construir cada objeto dos veces — por ejemplo, contar las manos con al menos un as como (elegir un as) (elegir cartas más) — cuenta de más las manos con dos ases. «Al menos» pide casi siempre el complementario (Ejemplo 2.9).
Ejemplo 2.21 (Un recuento de póquer)
De una baraja de cartas, el número de manos de cartas es . Manos con exactamente un as: elíjase el as ( maneras) y después cartas entre las que no son ases: . La regla del producto se aplica porque la elección se reparte en etapas independientes.
Método 2.22 (Doble recuento)
Para demostrar una identidad entre dos expresiones combinatorias, búsquese un único conjunto finito que ambos miembros cuenten —típicamente un conjunto de pares— y evalúese su cardinal de dos maneras distintas. El prototipo es el lema de los apretones de manos: en una fiesta, cuéntense los pares (persona, mano estrechada). Sumando sobre las personas se obtiene (el número de apretones de cada persona ); sumando sobre los apretones se obtiene el doble del número de apretones (cada uno involucra a dos personas). Luego es par — de modo que el número de personas que dieron un número impar de apretones es siempre par, conclusión nada trivial obtenida sin fórmula alguna. El mismo motor mueve el Ejercicio 2.12 y varias preguntas del problema del fin de semana.
Ejemplo 2.23 (El subconjunto medio)
¿Cuál es el cardinal medio de un subconjunto de un conjunto de elementos, siendo los subconjuntos igualmente probables? Cuéntense dos veces los pares con : sumando sobre los subconjuntos se obtiene , el total buscado; sumando sobre los elementos se obtiene (cada uno de los elementos está exactamente en la mitad de los subconjuntos — emparéjese cada que contiene con ). Por tanto
los subconjuntos están, en promedio, medio llenos — como también predice la simetría (que empareja los tamaños y ). Dos demostraciones, una sola respuesta, y ambas evitan el cálculo directo del Ejercicio 2.5: un emparejamiento bien elegido sustituye a menudo a una identidad.
2.4 Inclusión–exclusión
Teorema 2.24 (Inclusión–exclusión)
Para conjuntos finitos :
Para : .
Demostración. Fíjese un elemento de la unión y cuéntese su contribución al miembro derecho. Sea , de cardinal . El elemento se cuenta una vez en exactamente cuando , con signo ; su contribución total es
por el Ejemplo 2.17. Así pues, cada elemento de la unión se cuenta exactamente una vez. ∎
Ejemplo 2.25 (Contar enteros coprimos)
¿Cuántos enteros de son coprimos con ? Un entero comparte un factor con exactamente cuando es divisible por , o , así que se cuenta el complementario de , donde reúne los múltiplos de . Dentro de , los múltiplos de son siempre que divida a — sin necesidad de partes enteras — y , etc. Inclusión–exclusión:
luego enteros son coprimos con . Es instructivo reagrupar el cálculo como un producto:
desarrollar los tres paréntesis reproduce exactamente los ocho términos con signo de la inclusión–exclusión, uno por cada subconjunto de . Esta forma de producto define la función indicatriz de Euler, cuyo papel aritmético asoma con las congruencias del Capítulo 6 y se desarrolla en el volumen del segundo año.
Ejemplo 2.26 (Desarreglos)
Un desarreglo es una permutación sin puntos fijos. Sea el conjunto de las permutaciones de que fijan ; entonces , y la inclusión–exclusión cuenta las permutaciones con al menos un punto fijo; los desarreglos son
Como (véase el Capítulo 17), alrededor del de todas las permutaciones son desarreglos, sea cual sea .
Observación 2.27 (Dónde se usa este capítulo)
Los coeficientes binomiales son los objetos más reutilizados de este capítulo: mueven el teorema del binomio en el Capítulo 8 (desarrollo de ), la fórmula de Leibniz para la derivada -ésima de un producto en el Capítulo 14 y los coeficientes de los desarrollos de Taylor en el Capítulo 16. Las permutaciones vuelven como grupo — con la signatura construida a partir del recuento de inversiones — en el Capítulo 7, y la signatura define a su vez los determinantes en el Capítulo 22. La inclusión–exclusión y los principios de recuento son el esqueleto finito de la probabilidad discreta, desarrollada en el volumen del segundo año; los números de desarreglos del Ejemplo 2.26 se estudian a fondo en el problema del fin de semana.
2.5 Ejercicios
Ejercicio 2.1 ★
Una matrícula consta de dos letras (A–Z), después tres cifras y después dos letras. ¿Cuántas matrículas son posibles? ¿Y cuántas sin ninguna letra repetida entre las cuatro?
Solución
Solución de Ejercicio 2.1.
Etapas independientes y regla del producto: matrículas. Con las cuatro letras distintas dos a dos, las etapas de letras forman una -variación del alfabeto: maneras, luego matrículas.
Ejercicio 2.2 ★
¿Cuántos anagramas (reordenaciones de las letras, con sentido o sin él) tiene la palabra cuerpo? ¿Y banana?
Solución
Solución de Ejercicio 2.2.
cuerpo tiene letras distintas: anagramas. banana tiene letras con repeticiones ( aes, enes, be): cada anagrama queda determinado por las posiciones de las aes ( elecciones) y después por las de las enes entre los huecos restantes (), ocupando la be el último hueco: anagramas (equivalentemente, ).
Ejercicio 2.3 ★
Se elige un comité de personas entre mujeres y hombres. ¿Cuántos comités hay en total? ¿Cuántos con exactamente mujeres? ¿Cuántos con al menos un hombre?
Solución
Solución de Ejercicio 2.3.
Total: . Exactamente mujeres: se eligen ellas () y hombres (): comités. Al menos un hombre: complementario de «ningún hombre», .
Ejercicio 2.4 ★
Demuéstrese que en cualquier grupo de personas dos comparten mes de nacimiento, y que entre enteros cualesquiera elegidos de hay dos consecutivos. (Palomar las dos veces: nómbrense las cajas.)
Solución
Solución de Ejercicio 2.4.
Cumpleaños: las cajas son los meses; personas en cajas obligan a que dos caigan en la misma (Corolario 2.3).
Enteros consecutivos: las cajas son las parejas , que parten . Al elegir enteros, dos caen en la misma pareja, y los dos elementos de una pareja son consecutivos.
Ejercicio 2.5 ★
Calcúlese . Indicación: derívese , o úsese (demuéstrese).
Solución
Solución de Ejercicio 2.5.
Para ,
Sumando y reindexando con :
por la Proposición 2.15. (Alternativa: derívese y hágase .)
Ejercicio 2.6 ★★
¿Cuántas aplicaciones estrictamente crecientes hay de en ? Dedúzcase el número de aplicaciones crecientes (no necesariamente en sentido estricto). Indicación para el segundo recuento: creciente .
Solución
Solución de Ejercicio 2.6.
Una aplicación estrictamente creciente queda determinada por su imagen, un -subconjunto de (basta listar el subconjunto en orden creciente); recíprocamente, cada -subconjunto da exactamente una aplicación así. Luego hay aplicaciones estrictamente crecientes.
Si es solo creciente, póngase . Entonces es estrictamente creciente (entre dos argumentos consecutivos, gana e gana ) con valores en ; y recupera a partir de cualquier estrictamente creciente en . Es una biyección, luego hay aplicaciones crecientes.
Ejercicio 2.7 ★★
(Vandermonde) Demuéstrese, contando los -subconjuntos de un conjunto repartido en dos bloques de tamaños y :
Dedúzcase .
Solución
Solución de Ejercicio 2.7.
Repártase un conjunto de elementos en dos bloques ( elementos) y ( elementos). Un -subconjunto de contiene elementos de () y de ; para fijo hay subconjuntos así, y los casos parten los -subconjuntos. La regla de la suma da la identidad de Vandermonde.
Con : , usando .
Ejercicio 2.8 ★★
¿Cuántos enteros de son divisibles por , por o por ? (Inclusión–exclusión; cuenta los múltiplos de , etc.)
Solución
Solución de Ejercicio 2.8.
Sea el conjunto de los múltiplos de en , de modo que . Inclusión–exclusión (Teorema 2.24) con , teniendo en cuenta que , etc.:
Luego enteros son divisibles por , o .
Ejercicio 2.9 ★★
Cuéntense las sobreyecciones de un conjunto de elementos sobre un conjunto de elementos; después, sobre uno de elementos. Indicación: cuéntense las aplicaciones no sobreyectivas con inclusión–exclusión sobre los valores no alcanzados.
Solución
Solución de Ejercicio 2.9.
Sobre elementos: todas las aplicaciones salvo las constantes: sobreyecciones.
Sobre elementos: por inclusión–exclusión sobre los valores no alcanzados, el número de aplicaciones de un conjunto de elementos en uno de que dejan de alcanzar al menos un valor es ; aplicaciones en total, ; sobreyecciones: . (Comprobación: una sobreyección de sobre elementos repite exactamente un valor: elíjase el valor repetido (), la pareja que va a él () y una biyección para el resto (): .)
Ejercicio 2.10 ★★
(Estrellas y barras) Demuéstrese que el número de selecciones de objetos entre con repetición, sin tener en cuenta el orden —equivalentemente, el número de con — es . Indicación: codifíquese una solución como una fila de estrellas y barras.
Solución
Solución de Ejercicio 2.10.
Una solución de en se codifica como una fila de estrellas y barras: escríbanse estrellas, una barra, estrellas, una barra, …, terminando con estrellas. Esto es una biyección sobre las palabras de longitud con estrellas y barras, y esas palabras quedan determinadas por las posiciones de las estrellas: . Las selecciones con repetición se corresponden con las soluciones de la ecuación ( = número de copias del objeto ), así que el recuento es el mismo.
Ejercicio 2.11 ★★★
Demuéstrese con detalle la fórmula del Ejemplo 2.26 para y dedúzcase (demuéstrese esta identidad también de forma directa, clasificando las permutaciones por su conjunto de puntos fijos).
Solución
Solución de Ejercicio 2.11.
Con , una permutación de fija todos los y permuta libremente los otros puntos: . Inclusión–exclusión:
pues hay subconjuntos de tamaño . Por tanto
Para la segunda identidad: clasifíquense las permutaciones de por su conjunto de puntos fijos . Para un -subconjunto fijo, las permutaciones con son exactamente los desarreglos del complementario: hay . Sumando sobre las elecciones de para cada : .
Ejercicio 2.12 ★★★
Para , demuéstrese mediante un doble recuento de pares (subconjunto, elemento marcado):
Para la segunda: cuéntense los pares de elementos marcados, iguales o no.
Solución
Solución de Ejercicio 2.12.
Primera identidad. Cuéntense los pares con () y . Por tamaño de : pares. Eligiendo primero el elemento marcado: elecciones para y después cualquier subconjunto de los elementos restantes para completar : pares.
Segunda identidad. Cuéntense las ternas con (posiblemente ). Por tamaño: . Directamente: o bien ( ternas, recuento anterior), o bien ( elecciones ordenadas y después cualquier subconjunto de los otros elementos: ). En total
2.6 Problema: desarreglos, o las cartas mal repartidas
Problema 2.1
Una secretaria mete cartas al azar en sobres con destinatario: ¿qué probabilidad hay de que nadie reciba su carta? Esta pregunta clásica (Montmort, 1708) conduce a los números de desarreglos del Ejemplo 2.26. La fórmula de inclusión–exclusión es solo la jugada de apertura: este problema desarrolla las recurrencias que calculan , dos demostraciones independientes más de la fórmula, el llamativo teorema de que es el entero más próximo a , la distribución completa de los puntos fijos de una permutación aleatoria y la curiosa aritmética de la sucesión . En todo el problema, denota el número de desarreglos (permutaciones sin puntos fijos) de , con el convenio (la permutación vacía no tiene puntos fijos).
Parte I — Casos pequeños y censo de puntos fijos.
- Calcúlense directamente, y enumerando los desarreglos de agrupados según el valor de . (Debe salir .)
- Para , pruébese que el número de permutaciones de con exactamente puntos fijos es .
- Compruébese el censo para : calcúlense y véase que suman . ¿Qué es más probable con cuatro cartas: ningún acierto o exactamente un acierto?
Mediante un doble recuento (Método 2.22) de los pares con , pruébese que
en promedio, una permutación aleatoria tiene exactamente un punto fijo, sea cual sea .
Parte II — Dos recurrencias y dos demostraciones nuevas de la fórmula.
Demuéstrese combinatoriamente, para :
(Clasifíquense los desarreglos de según y después según si ; en el caso , constrúyase una biyección con los desarreglos de redirigiendo hacia la imagen recíproca de .) Compruébese la recurrencia numéricamente hasta .
Poniendo , dedúzcase de la pregunta 5 que , y conclúyase la segunda recurrencia:
A partir de la pregunta 6, demuéstrese por inducción la fórmula del Ejemplo 2.26,
— una demostración totalmente independiente de la inclusión–exclusión.
(Inversión binomial) Sean y dos sucesiones tales que para todo . Demuéstrese que
(Establézcase primero la identidad trinomial y úsese después la suma alternada de una fila del Ejemplo 2.17.)
- Aplíquese la pregunta 8 a la identidad del Ejercicio 2.11 para obtener una tercera demostración de la fórmula de .
Parte III — El entero más próximo a . Admítase en esta parte — la teoría se construye en el Capítulo 17 — que , donde , con la cota estricta de series alternadas para todo .
- Pruébese que para todo .
- Dedúzcase el teorema estrella: para todo , es el entero más próximo a . ¿Por qué necesita el argumento que ?
- Determínese el signo del error: pruébese que exactamente cuando es par. (Localícese el primer término despreciado de la serie alternada.)
- Calcúlense hasta con la recurrencia de la pregunta 5 y compruébese después frente a (, ).
- (La probabilidad del guardarropa) Sea la probabilidad de que una permutación tomada al azar uniformemente sea un desarreglo. Pruébese que y calcúlese con cinco decimales. Coméntese: ¿por qué la respuesta a la pregunta de Montmort es esencialmente independiente de , ya con una docena de cartas?
Parte IV — La distribución de los puntos fijos.
Fíjese . Pruébese que la proporción de permutaciones de con exactamente puntos fijos cumple
(Estos valores límite, que suman , forman la distribución de Poisson de parámetro , objeto central del curso de probabilidad del volumen del segundo año.)
- Mediante un doble recuento de las ternas con fijados ambos por , pruébese que para . Combinado con la pregunta 4: el promedio de es , de modo que la «dispersión» (varianza) del número de puntos fijos vale — de nuevo independiente de , de nuevo acorde con la ley de Poisson.
- Calcúlese la proporción de permutaciones con al menos un punto fijo para (como fracciones y con cuatro decimales) y compárese con .
- Pruébese directamente — sin necesidad de límites — que , y dedúzcase que las probabilidades de la pregunta 14 oscilan: y , decreciendo los valores pares (resp. creciendo los impares) hacia el límite común .
- (Amigo invisible) personas sacan cada una un nombre de una bolsa; si alguien saca su propio nombre, todo el sorteo se repite desde cero. Usando el hecho estándar de que un suceso de probabilidad requiere en promedio intentos, estímese el número medio de sorteos completos necesarios y conclúyase que el procedimiento cuesta en promedio unos sorteos, esencialmente con independencia de .
Parte V — La aritmética de , y una síntesis.
- Refínese la pregunta 5: pruébese que, para fijo, los desarreglos de con son exactamente , independientemente de . Dedúzcase que divide a para todo .
- Demuéstrese que es impar si y solo si es par. (Trabájese módulo en la recurrencia de la pregunta 6.)
- Demuéstrese que para y compruébese la congruencia en la última cifra de .
- Pruébese, a partir de la pregunta 6, que para , de modo que el cociente de dos números de desarreglos consecutivos es casi exactamente ; explíquese en una frase por qué esto es coherente con .
- ¿Dónde ha usado exactamente este problema: (i) las reglas de la suma y del producto; (ii) el doble recuento; (iii) el teorema del binomio; (iv) la cota admitida de series alternadas? Una frase para cada uno.
- Síntesis. La fórmula de tiene ya tres demostraciones (inclusión–exclusión, recurrencia más inducción, inversión binomial). En un párrafo breve, compárese qué explica cada una: cuál calcula más rápido, cuál se generaliza a otros recuentos de puntos fijos y cuál revela por qué aparece en un problema sobre sobres.
Solución
Solución de Problema 2.1.
1. (la única permutación fija ), (el intercambio), (en notación de una línea: y ). Para , agrupando por : con los desarreglos son , , ; con : , , ; con : , , . Tres en cada grupo: .
2. Una permutación con exactamente puntos fijos queda determinada por la elección de su conjunto de puntos fijos ( maneras) junto con su restricción al complementario, que debe ser una permutación de puntos sin ningún punto fijo ( maneras). Las dos elecciones son independientes y la correspondencia es biyectiva: .
3. ; ; ; (tres puntos fijos obligan a un cuarto); . Suma: . Ningún acierto ( casos) gana a exactamente un acierto ( casos) — por poco.
4. Cuéntense los pares con . Para fijo, las permutaciones que fijan son las permutaciones de los otros puntos: hay . Luego el número de pares es , y ese número es también . Dividiendo por el número de permutaciones: el número medio de puntos fijos es exactamente , para todo .
5. Sea un desarreglo de y : valores posibles. Caso : los puntos y se intercambian, y restringido a los puntos restantes es un desarreglo arbitrario de ellos: posibilidades. Caso : sea ; aquí e . Defínase en por para y . Entonces es una permutación de (el valor se ha sustituido por el valor ausente ) y es un desarreglo: , y en los demás puntos. Recíprocamente, a partir de un desarreglo de y del valor se recupera poniendo , y en el resto: una biyección, que da posibilidades. Sumando sobre : . Numéricamente: , .
6. De la pregunta 5, , luego
Como , la inducción da , es decir, para .
7. Inducción sobre . Base: . Paso: suponiendo ,
que es la fórmula. No se ha usado la inclusión–exclusión: solo la recurrencia combinatoria de la pregunta 5.
8. Identidad trinomial, por factoriales:
Sustitúyase ahora e intercámbiense las dos sumas finitas:
La suma interior es el desarrollo de (teorema del binomio, Teorema 2.16): se anula para y vale para . Solo sobrevive , y el miembro derecho es , como se afirmaba.
9. Por la simetría , la identidad del Ejercicio 2.11 se reescribe como . Aplíquese la pregunta 8 con y :
reindexando con : la fórmula por tercera vez.
10. (pregunta 7), luego
11. Para se tiene , y la desigualdad de la pregunta 10 es estricta: está de a distancia , luego es el único entero más próximo. Para la cota solo da distancia , y en efecto la afirmación falla ahí: el entero más próximo a es , mientras que .
12. es una serie alternada de términos estrictamente decrecientes, de modo que su signo es el de su primer término . Por tanto tiene el signo de : para par, y ; para impar, .
13. ; ; ; . Comprobación: , cuyo entero más próximo es — y , como predice la pregunta 12 para par.
14. . Para : (cinco decimales), frente a ; la diferencia queda por debajo de . La cota se desploma tan deprisa que la probabilidad queda fijada con muchos decimales ya para una docena de cartas: la respuesta «alrededor del » es, a todos los efectos prácticos, independiente de — la famosa sorpresa del problema.
15. Por la pregunta 2 y :
cuando con fijo, ya que . Los valores límite () son los pesos de la distribución de Poisson de parámetro .
16. Cuéntense las ternas con , , . Eligiendo primero el par ordenado: maneras; las permutaciones que fijan y son las permutaciones de los puntos restantes: hay . En total: . Sumando en cambio primero sobre se cuentan, para cada , los pares ordenados de puntos fijos distintos: . De ahí la identidad enunciada; dividiendo por , el promedio de es , luego el promedio de es y la varianza es .
17. Las proporciones : para , ; para , ; para , . Todas a menos de un uno por ciento de , oscilando a su alrededor.
18. Directamente:
y el paréntesis es . Para par la diferencia es negativa: , luego ; para impar es positiva: Combinado con la pregunta 12 (los pares por encima de , los impares por debajo) y con la pregunta 14 (la distancia a tiende a ): las dos escaleras aprisionan a entre ellas.
19. Un sorteo completo es una permutación aleatoria uniforme, válida cuando es un desarreglo: probabilidad . Por el hecho citado, el número medio de sorteos hasta el éxito es , y la pregunta 14 da salvo un error ya despreciable para pequeño. Así pues, un amigo invisible con reinicios cuesta en promedio unos sorteos completos — tanto si la oficina tiene personas como si tiene .
20. Fíjese y hágase la clasificación de la pregunta 5 sobre el valor . Si : los puntos restantes llevan un desarreglo arbitrario, maneras. Si : rediríjase hacia la imagen recíproca exactamente como en la pregunta 5; esto es una biyección con los desarreglos de los puntos : maneras. En total , lo mismo para cada . Sumando sobre los valores de : , que exhibe el factor : .
21. Afirmación: es impar si y solo si es par. Inducción usando , es decir, . Base: es par y es impar: la afirmación se cumple. Si es par, es par y : impar, como se afirmaba. Si es impar, entonces es par, luego es impar por hipótesis, y : par. La inducción se cierra.
22. Reducir módulo mata el primer término: . Para : , y en efecto acaba en la cifra .
23. Para se tiene , y dividir la recurrencia de la pregunta 6 por da , con y tendiendo rápidamente a . Coherencia: si , entonces — el factor se cancela en el cociente, y la recurrencia lo confirma con precisión .
24. (i) Las reglas de la suma y del producto sostienen todos los recuentos: las preguntas 2 y 5 parten conjuntos de permutaciones en etapas independientes. (ii) El doble recuento dio la media (pregunta 4) y la varianza (pregunta 16) del número de puntos fijos sin ninguna fórmula para . (iii) El teorema del binomio evaluó la suma interior alternada que hace funcionar la inversión binomial (pregunta 8). (iv) La cota admitida de series alternadas convirtió la suma exacta pero opaca en el enunciado transparente «el entero más próximo a » (preguntas 10–14).
25. La inclusión–exclusión (Ejemplo 2.26 y Ejercicio 2.11) es la demostración conceptual: explica la suma alternada como una corrección del recuento por exceso y se generaliza literalmente al recuento de los elementos que evitan cualquier familia de conjuntos «malos». La vía de la recurrencia (preguntas 5–7) es la que más rápido calcula —tiempo lineal, aritmética entera exacta, sin factoriales— y es la fuente de los hechos aritméticos de la parte V. La inversión binomial (preguntas 8–9) sitúa la fórmula dentro de una transformación general que reaparecerá siempre que se enfrenten dos sistemas triangulares de identidades. Y la aparición de la explica mejor la propia fórmula: la proporción de desarreglos es la suma parcial de la serie de , de modo que los sobres de Montmort ya estaban calculando el número tres décadas antes de la notación de Euler.