Matemáticas universitarias — Grado 1 · Bachelor Year 1
2Cálculo
Contar conjuntos finitos suena elemental y rápidamente se vuelve sutil. Este capítulo define cardinalidad correctamente (a través de biyecciones, en el espíritu de Capítulo 1), establece el puñado de conteos principios de los cuales todo se sigue, y deriva el clásico recuentos: listas, permutaciones, subconjuntos, coeficientes binomiales.
2.1 Cardinalidad de conjuntos finitos
Definición 2.1 (Conjunto finito, cardinalidad)
Para , escriba . A conjunto es finito cuando o hay una biyección de a para algunos ; este es único (Teorema 2.2) y es el cardinalidad de , escrito (con ).
Teorema 2.2 (La cardinalidad está bien definida)
Si , no hay biyección de hacia . Más precisamente, si hay sin inyección de en .
Demostración. Probamos por inducción en el enunciado: for all , there is no injection . Para el objetivo está vacío y : no aplicación existe en absoluto. Supongamos que enunciado es y supongamos que es un inyección con . Si no se alcanza el valor , es una inyección en , contradiciendo la hipótesis de inducción. De lo contrario para exactamente un ; intercambiar y (formalmente: componer con la transposición de los dos valores), de modo que la nueva inyección tenga . Entonces la restricción de a es una inyección en con — contradicción nuevamente. ∎
Corolario 2.3 (Principio de encasillamiento)
Si , no aplicación es inyectivo: algunos dos elementos de comparten su imagen.
Demostración. Escribe , con y elige biyecciones. y . Si Si fuera inyectivo, sería una inyección de en (una composición de inyecciones, Proposición 1.26), contradiciendo Teorema 2.2. ∎
Observación 2.4 (Interludio: ¿por qué el intercambio en la demostración del teorema?)
La prueba de Teorema 2.2 contiene la El primer movimiento realmente inteligente del capítulo, que vale la pena repetir lentamente. El obstáculo: para aplicar la hipótesis de la inducción uno quiere eliminar el último punto de la fuente y el último punto del objetivo, pero puede enviar algún otro punto a, y luego eliminar el punto objetivo daña la aplicación. en otro lugar. La cura: componer con la transposición del dos valores y — una biyección de la objetivo, por lo que se preserva la inyectividad — después de lo cual el El valor problemático se encuentra en la posición inofensiva , y Ambas eliminaciones están limpias. Esto "normaliza primero, luego corta" El patrón se repite: así es como la recurrencia del trastorno redirige en el problema de fin de semana de este capítulo, y cómo se parchean permutaciones en todas partes El problema de Capítulo 7 en el grupo simétrico.
Proposición 2.5 (Inyecciones, sobreyecciones y cardinalidad)
Sea conjuntos finitos con y . entonces
Demostración. Supongamos inyectivo. Entonces es una biyección de a, Entonces . Si perdió un punto de , entonces sería una inyección de en , un conjunto de cardinalidad — imposible por el principio de casillero. Entonces : es sobreyectivo, por lo tanto biyectivo.
Supongamos sobreyectivo. Elija para cada un imagen inversa; entonces , entonces es inyectivo (Proposición 1.26). Por el párrafo anterior aplicado a (las cardinalidades son iguales), es biyectivo. Deobtenemos , entonces es biyectivo. Finalmente, un biyectivo aplicación es por definición ambos inyectivo y sobreyectivo, con lo que se cierra el ciclo de implicaciones. ∎
Ejemplo 2.6 (La finitud es esencial)
En un finito conjunto, Proposición 2.5 es un poderoso acceso directo: cualquier inyectivo aplicación de a sí mismo es automáticamente un permutación de — la mitad de la biyectividad viene libre. ambos implicaciones colapsan en infinito conjuntos: es inyectivo de a pero falta y aplicación enviar y para es sobreyectivo pero no inyectivo. Siempre que se invoca esta proposición, la hipótesis de la finitud está haciendo un trabajo real, un tema que el El problema del fin de semana de Capítulo 1 explora desde el otro lado, donde infinitos conjuntos son precisamente los que admiten tal automorfismos.
Ejemplo 2.7 (La mitad del trabajo, libre)
Considere la aplicación en enviando al resto de tras la división por ; su tabla de valores es
¿ es una biyección? La inyectividad por sí sola es suficiente (Proposición 2.5): si y tienen el mismo resto, divide , y como es primo y no divide a , divide a(lema de Euclides, utilizado en Nivel de Bachillerato aquí y acreditado en Capítulo 6); con esto obliga a. Llega la sobrejetividad libre — no es necesario resolver para cada , aunque el La tabla confirma que cada valor aparece exactamente una vez. El atajo es un caballo de batalla: demuestra la invertibilidad de lo modular multiplicación (Capítulo 6), potencia el emparejamiento en teorema de Wilson, y regresa en álgebra lineal como "un el endomorfismo de un espacio de dimensión finita es inyectivo si y solo sobreyectivo” (Capítulo 19).
2.2 Los principios de conteo
Proposición 2.8 (Reglas de suma y producto)
Sea conjuntos finitos.
- Si , entonces ; de manera más general, para un dividir de en pedazos ,.
- En general, .
- .
- El conjunto de todos los aplicaciones desde hasta satisface .
- .
Demostración. (1) Concatenar enumeraciones: si y sin repetición, entonces enumera sin repetición (desarticulación). La inducción extiende esto a piezas .
(2) es la unión disjunta de y , y es la unión disjunta de y ; entonces .
(3) es la unión disjunta, sobre , de los conjuntos , cada uno de cardinalidad ; aplicar (1).
(4) Una aplicación de en es la elección de la -upla . Esa correspondencia es biyectiva, y por (3) e inducción.
(5) Los subconjuntos de se corresponden de modo biyectivo con las aplicaciones (enviar a su función indicadora); aplicar (4). ∎
Ejemplo 2.9 (Conteo del complemento)
¿Cuántos códigos PIN de dígitos (dígitos –, el orden importa, repetición permitida) contienen al menos un dígito repetido? Contarlos directamente obliga a manejar los casos “exactamente un par, dos pares, un triple, un cuádruple” — cinco configuraciones que se solapan. Cuéntese en su lugar el complemento: todos los códigos (regla de producto), los códigos con cuatro distintos número de dígitos (-arreglos), entonces la respuesta es
Casi la mitad de todos los PIN repiten un dígito. La idea: siempre que un cuenta está redactado con "al menos" o "no todos", pruebe el complemento primero — la regla de la suma garantiza que , y el complemento es a menudo una única configuración limpia.
Ejemplo 2.10 (Caminos de celosía)
Cuente los caminos más cortos desde la esquina hasta la esquina de una cuadrícula, moviéndose solo un paso hacia la derecha (R) o un paso hacia arriba (U) a la vez. Cada uno de estos caminos toma exactamente pasos, de los cuales son R y son U; por el contrario, cualquier palabra de longitud en el Las letras R, U con cuatro R describen exactamente un camino. los caminos por lo tanto corresponden biyectivamente a las elecciones de las posiciones de las R:
La idea es la codificación: el conteo se volvió trivial el momento en que cada camino se tradujo a una palabra, es decir, un subconjunto de posiciones — una instancia más de la consigna de que un conteo correcto es una biyección disfrazada (Método 2.19).
2.3 Listas, permutaciones, subconjuntos
Definición 2.11 (Arreglos, permutaciones, combinaciones)
Sea un conjunto con y sea .
- Un -acuerdo de es una tupla inyectivo de elementos de (una selección ordenada sin repetición);
- a permutación de es una biyección de a sí mismo — equivalentemente, un arreglo ;
- a -combinación es un subconjunto de con elementos (una selección desordenada sin repetición). Su número es escrito , lea “ elija ” .
Teorema 2.12 (Los tres cargos)
Con y :
- el número de arreglos de es ;
- el número de permutaciones de es ;
- .
Demostración. (1) Elija la primera coordenada ( caminos), luego la segunda ( opciones restantes), …, luego -ésima (opciones ). Formalmente, incorporación al . Para hay de un término inyectivo tuplas. Suponga el recuento de . cada uno -el arreglo se obtiene exactamente de uno -disposición — su truncamiento — agregando una última coordenada fuera de , para la cual están disponibles exactamente los valores . Los arreglos se dividen así, por truncamiento, en clases de tamaño común indexadas por el arreglos , y la regla de la suma da
(2) es (1) con .
(3) Cada subconjunto ordena en arreglos distintos, y cada arreglo surge exactamente de un subconjunto: entonces . ∎
Ejemplo 2.13 (Mesas redondas: cocientes por simetría)
¿De cuántas maneras pueden sentarse los invitados alrededor de una mesa redonda, dos? Los asientos son idénticos cuando cada invitado tiene el mismo lado izquierdo y derecho. vecinos correctos — es decir, ¿hasta la rotación? Cada asiento circular corresponde exactamente a los asientos lineales (cortar el círculo en cualquier de los lugares ), por lo que las órdenes lineales colapsan en grupos de :
Equivalentemente: sentar a un invitado distinguido en cualquier lugar (matando al libertad de rotación), luego ordene los invitados restantes en el sentido de las agujas del reloj. Para tablas :. Las dos soluciones ilustran Las dos curas estándar para el conteo excesivo: dividir por el número exacto. número de repeticiones, o romper la simetria fijando una objeto hacia abajo. Ambos requieren que el tamaño del grupo de repeticiones sea el lo mismo para cada configuración — que la prueba de la fórmula arriba usado también, con en lugar de .
Ejemplo 2.14 (Agregar una restricción)
Continuando con la mesa redonda: entre las mesas de invitados , ¿cuántos asientos tienen dos invitados dados y aparte? (no adyacente)? Cuente el complemento. Tablas donde y sentarse juntos: pegarlos en un solo bloque — objetos alrededor de la mesa, es decir, arreglos circulares — entonces ordenar el par dentro de su bloque ( formas): adyacente mesas. Por lo tanto
las mesas los mantienen separados. Comprobaciones de cordura: da (alrededor un triangulo, todos tocan a todos) y le da , listado fácilmente a mano. El truco del pegado: tratar un bloque forzado como un objeto, luego cuente sus arreglos internos — es el Cura estándar para restricciones de adyacencia, lineales o circulares.
Proposición 2.15 (Identidades básicas)
Para :
Demostración. Primera identidad: es una biyección entre Subconjuntos y subconjuntos . Regla de Pascal: arreglar un elemento ; los subconjuntos se dividen en aquellos que contienen (elija los otros :) y aquellos que evitan (). Tercera identidad: ambos lados cuentan todos los subconjuntos de , dividido por tamaño a la izquierda (Proposición 2.8 (1) y (5)). ∎
Teorema 2.16 (Teorema del binomio)
Para todos los en un anillo conmutativo (digamos o ) y :
Demostración. Expandir distributivamente produce un término por elección, en cada factor, de o : el término aparece una vez para cada forma de elegir cuál factor de los contribuye — es decir, veces. (Alternativamente: inducir en 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 tiene incluso cardinalidad.
Ejemplo 2.18 (Una identidad, dos pruebas.)
La especialización , del teorema del binomio dice
Aquí está la misma identidad sin ningún álgebra. el lado derecho cuenta las palabras de longitud sobre el alfabeto (regla del producto). Clasifica cada palabra por el conjunto de posiciones llevar una letra distinta de cero: elegir con costos , entonces cada posición de lleva de forma independiente o : formas. La regla de la suma sobre da el lado izquierdo. Más allá del placer del acuerdo, las dos pruebas tienen diferentes virtudes: el algebraico generaliza a cualquier valor de , el combinatoria explica la fórmula y se adapta a restricciones (prohibir la letra en la última posición, digamos) que sin capturas de sustitución. Mantener ambas técnicas activas es la habilidad práctica que este capítulo entrena.
Método 2.19 (¿Qué recuento se aplica?)
Antes de calcular, responda dos preguntas sobre la selección: ¿el orden importa y ¿se permiten repeticiones?
| order matters | order does not matter | |
|---|---|---|
| no repetition | ||
| [6pt] repetition allowed | (Ejercicio 2.10) |
Luego busque una biyección o un dividir que reduzca el problema a estos el modelo cuenta; un recuento correcto es una biyección disfrazada.
Observación 2.20 (Errores comunes al contar)
- Suma de casos no disjuntos. La regla de la suma requiere una dividir; si las configuraciones pueden satisfacer dos casos en una vez, se cuentan dos veces — la cura es inclusión–exclusión (Teorema 2.24) o una división de casos más fina.
- Ordenado versus desordenado. Elegir “un comité de dos” es , no : decida antes informática si la selección lleva un orden, y si un conteo ordenado es más fácil, divídalo por el número de pedidos al final — pero sólo cuando todos los desordenados El objeto surge del número mismo de ordenados.
- Elecciones de varias etapas que no son independientes. La regla del producto necesita la cantidad de opciones en cada etapa. ser independiente de las elecciones anteriores. “Elige un capitán, entonces otro vicecapitán” está bien (); "Elegir dos jugadores que se lleven bien" no es un proceso de dos etapas. producto en absoluto.
- Doble conteo por construcción. Construyendo cada uno objeto dos veces — por ejemplo contando manos con al menos un as como (elige un as) (elige más cards) — cuenta en exceso las manos con dos ases. “Al menos” casi siempre pide el complemento (Ejemplo 2.9).
Ejemplo 2.21 (Recuento estilo poker)
De una baraja de cartas , el número de manos de cartas es . Manos que contienen exactamente un as: elija el as ( formas) y luego las cartas entre las que no son ases: . La regla del producto se aplica porque el La elección se divide en etapas independientes.
Método 2.22 (doble conteo)
Para probar una identidad entre dos expresiones de conteo, encuentre una sola conjunto finito que ambos lados cuentan — típicamente un conjunto de pares — y evaluar su cardinalidad en dos órdenes diferentes. el El prototipo es el lema del apretón de manos: en una fiesta, cuenta los pares. (persona, mano estrechada). La suma de las personas da (cada número de apretones de manos de la persona ); la suma de los apretones de manos da el doble de apretones de manos (cada uno involucra a dos personas). Por lo tanto es par — entonces el número de personas que agitaron un número impar número de manos es siempre par, se obtiene una conclusión no trivial sin fórmula alguna. El mismo motor funciona. Ejercicio 2.12 y varias preguntas del fin de semana problema a continuación.
Ejemplo 2.23 (El subconjunto promedio)
¿Cuál es el promedio cardinalidad de un subconjunto de un elemento conjunto? , ¿todos los subconjuntos son igualmente probables? Cuente dos veces el pares con : la suma de subconjuntos da , el total que queremos; la suma de elementos da (cada uno de los elementos se encuentra exactamente en la mitad de los subconjuntos — empareje cada que contenga con ). Por lo tanto
los subconjuntos están, en promedio, medio llenos — como la simetría (que empareja los tamaños y ) también predice. Dos pruebas, una respuesta y ambas evitan la conexión directa. cálculo de Ejercicio 2.5: a una pareja bien elegida a menudo reemplaza una identidad.
2.4 Inclusión-exclusión
Teorema 2.24 (inclusión–exclusión)
Para conjuntos finitos :
Para : .
Demostración. Fijar un elemento de la unión y contar su contribución al lado derecho. Sea , de cardinalidad. El elemento se cuenta una vez en exactamente cuando , con signo ; su contribución total es
por Ejemplo 2.17. Entonces cada elemento de la unión es contado exactamente una vez. ∎
Ejemplo 2.25 (Contando numeros enteros coprimos)
¿Cuántos números enteros de son coprimos con ? Un número entero comparte un factor con exactamente cuando es divisible por , o , entonces cuenta el complemento de , donde recoge los múltiplos de . Dentro de , los múltiplos de número siempre que divida — no se necesitan funciones de piso — y , etc. Inclusión–exclusión:
por lo que los números enteros son coprimos con respecto a. es instructivo para reagrupar el cálculo como un producto:
expandir los tres paréntesis reproduce exactamente los ocho términos de inclusión-exclusión firmados, uno por subconjunto de . Esta forma de producto define la función totiente de Euler, cuya El papel aritmético aparece con las congruencias de Capítulo 6 y se desarrolla en el volumen del Año 2.
Ejemplo 2.26 (Trastornos)
Un trastorno mental es un permutación sin punto fijo. Deja ser el conjunto de permutaciones de fijando ; luego , y inclusión–exclusión cuenta el permutaciones con al menos un fijo punto; el número de trastornos
Desde (ver Capítulo 17), aproximadamente de todos los permutaciones son trastornos, sea lo que sea .
Observación 2.27 (Dónde se utiliza este capítulo)
Coeficientes binomiales son los objetos más reutilizados de este capítulo: impulsan el teorema del binomio en Capítulo 8 (expansión de ), la fórmula de Leibniz para el -ésimo derivado de un producto en Capítulo 14, y el coeficientes de expansiones de Taylor en Capítulo 16. Permutaciones regresa como grupo — con la firma construida a partir de contando inversiones — en Capítulo 7, y el la firma a su vez define los determinantes en Capítulo 22. Inclusión-exclusión y los principios de conteo son los finito columna vertebral de probabilidad discreta, desarrollada en el volumen del Año 2; los números de trastorno de Ejemplo 2.26 son estudiado en profundidad en el problema del fin de semana a continuación.
2.5 Ceremonias
Ejercicio 2.1 ★
Una matrícula consta de dos letras (A–Z), luego tres dígitos y luego dos letras. ¿Cuántas placas son posibles? cuantos sin repetidos ¿Carta entre las cuatro?
Solución
Solución de Ejercicio 2.1.
Etapas independientes y regla de producto: placas . Con las cuatro letras distintas por pares, las etapas de letras forman una disposición de las alfabeto: formas, entonces Placas .
Ejercicio 2.2 ★
¿Cuántos anagramas (reordenamientos de las letras, significativos o no)? tiene la palabra orange? ¿Y banana?
Solución
Solución de Ejercicio 2.2.
orange tiene letras distintas : anagramas . banana tiene letras con repeticiones (a, n, b): cada anagrama está determinado por las posiciones de las a (opciones ), luego de las n entre los lugares restantes (), la b ocupa el último lugar: anagramas (equivalentemente ).
Ejercicio 2.3 ★
Se elige un comité de personas entre mujeres y hombres. como muchos comités: ¿en total? ¿Con exactamente mujeres? con al menos uno hombre?
Solución
Solución de Ejercicio 2.3.
Total: . Exactamente mujeres: elígelas () y hombres (): comités . Al menos un hombre: complemento de “ningún hombre”, .
Ejercicio 2.4 ★
Demuestre que en cualquier grupo de personas , dos comparten su mes de nacimiento; y que entre cualquier número entero elegido de , dos son consecutivos. (Encasillado en ambas ocasiones: nombre las cajas.)
Solución
Solución de Ejercicio 2.4.
Cumpleaños: las casillas son los meses ; personas en Las cajas obligan a dos en la misma caja. (Corolario 2.3).
Enteros consecutivos: las casillas son los pares , que dividir. Al elegir números enteros se colocan dos en el mismo par y los dos Los elementos de un par son consecutivos.
Ejercicio 2.5 ★
Calcule . Hint: differentiate , or use (prove it).
Solución
Solución de Ejercicio 2.5.
Para ,
Suma y reindexación con :
por Proposición 2.15. (Alternativa: diferenciar y establezca ).
Ejercicio 2.6 ★★
¿Cuántos aplicaciones estrictamente crecientes hay desde hasta ? Deducir el número de aumentando (no necesariamente estrictamente) aplicaciones. Hint for the second count: increasing .
Solución
Solución de Ejercicio 2.6.
Una aplicación estrictamente creciente está determinado por su imagen, un subconjunto de (enumere el subconjunto en orden creciente); por el contrario, cada subconjunto da exactamente uno de esos aplicación. Por lo tanto, aumenta estrictamente aplicaciones.
Si simplemente aumenta, configure . Entonces es estrictamente creciente (entre argumentos consecutivos, gana y gana ) con valores en ; y recupera de cualquier estrictamente creciente en . Esta es una biyección, por lo que hay aumentando aplicaciones.
Ejercicio 2.7 ★★
(Vandermonde) Demuestre, contando subconjuntos de un conjunto dividido en dos bloques de tamaños y :
Deducir .
Solución
Solución de Ejercicio 2.7.
Dividir un conjunto con elementos en bloques (elementos ) y (elementos ). Un subconjunto de contiene algunos elementos de () y de ; para fijo hay dichos subconjuntos, y en los casos dividir los subconjuntos . La regla de la suma le da a Vandermonde identidad.
Con :, usando .
Ejercicio 2.8 ★★
¿Cuántos números enteros en son divisibles por? ¿ o o ? (Inclusión–exclusión; cuenta los múltiplos de , etc.)
Solución
Solución de Ejercicio 2.8.
Sean los múltiplos de en , entonces . Inclusión-exclusión (Teorema 2.24) con , observando etc.:
Entonces los números enteros son divisibles por , o .
Ejercicio 2.9 ★★
Cuente las sobreyecciones de un conjunto de elementos en un conjunto de elementos; luego a un conjunto de elementos . Hint: count the no sobreyectivo aplicaciones with inclusion–exclusion on the missed values.
Solución
Solución de Ejercicio 2.9.
Sobre los elementos : todos los aplicaciones excepto la constante aplicaciones: sobrejecciones.
En elementos : mediante inclusión-exclusión de los valores perdidos, el Al número de aplicaciones de un conjunto a un conjunto le falta al menos un valor es ; total aplicaciones; sobreyecciones:. (Compruebe: una sobreyección de en elementos duplican exactamente un valor: elija el valor duplicado (), el par que se le asigna () y una biyección para el resto ():.)
Ejercicio 2.10 ★★
(Estrellas y barras) Demuestre que el número de selecciones de objetos con repetición, orden ignorada — equivalentemente, el número de con — es . Sugerencia: codifica 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: escribe estrellas, una barra, estrellas, a barra, …, que termina con estrellas . Esta es una biyección sobre el palabras de longitud usando estrellas y barras , y esas palabras están determinadas por las posiciones de las estrellas: . Las selecciones con repetición corresponden a soluciones de la ecuación (= número de copias del objeto ), entonces el conteo es el mismo.
Ejercicio 2.11 ★★★
Demuestre la fórmula de Ejemplo 2.26 para en detalle, y deducir (también probar esta identidad directamente clasificando permutaciones por su punto fijo conjunto).
Solución
Solución de Ejercicio 2.11.
Con , un permutación en arregla cada y permuta el otro puntos libremente:. Inclusión-exclusión:
ya que hay subconjuntos de tamaño . Por lo tanto
Para la segunda identidad: clasificar el permutaciones de por su punto fijo conjunto. por un fijo -subconjunto , el permutaciones con son exactamente los Trastornos del complemento: de ellos. resumiendo el opciones de para cada : .
Ejercicio 2.12 ★★★
Para , pruebe mediante un recuento doble de pares (subconjunto, marcado elemento):
Para el segundo: cuenta pares de elementos marcados, iguales o no.
Solución
Solución de Ejercicio 2.12.
Primera identidad. Cuente los pares donde () y . Por tamaño de : pares. Eligiendo primero el elemento marcado: opciones para , luego cualquier subconjunto de los elementos restantes para completar : pares.
Segunda identidad. Cuéntense los triples con (posiblemente ). Por tamaño: . Directamente: o bien ( triples, recuento anterior), o ( opciones ordenadas, luego cualquier subconjunto de los otros elementos: ). En total
2.6 Problema: Trastornos o cartas sin dirección
Problema 2.1
Una secretaria coloca cartas en sobres con la dirección al azar: ¿Cuál es la probabilidad de que nadie reciba la carta correcta? Esta pregunta clásica (Montmort, 1708) conduce al trastorno números de Ejemplo 2.26. el La fórmula de inclusión-exclusión es sólo el primer paso: este problema desarrolla las recurrencias que calculan , dos más independientes pruebas de la fórmula, el sorprendente teorema de que es el entero más cercano a , la distribución completa de puntos fijos de un permutación aleatorio, y la curiosa aritmética de la secuencia . En todo momento, denota el número de trastornos (punto fijo libre permutaciones) de , con la convención (el permutación vacío no tiene punto fijo).
Parte I — Small cases and the fixed-point census.
- Calcule directamente y enumerando los Trastornos de agrupados por el valor de . (Debería encontrar ).
- Para , muestre que el número de permutaciones de con exactamente arreglado puntos es .
- Verifique el censo para : calcule y verifique que sumen . cual es mas probablemente para cuatro letras: ¿ninguna coincidencia o exactamente una coincidencia?
Por conteo doble (Método 2.22) los pares con , muestran que
en promedio, un permutación aleatorio tiene exactamente uno punto fijo, cualquiera que sea .
Parte II — Two recurrences and two new proofs of the formula.
Demuestre combinatoriamente, para :
(Clasifique los trastornos de por , luego por si ; en En el caso , construya una biyección con el trastornos de redirigiendo la imagen inversa de a.) Verifique la recurrencia numéricamente hasta .
Configuración , deducir de la pregunta 5 que , y concluir la segunda recurrencia:
De la pregunta 6, demuestre por inducción la fórmula de Ejemplo 2.26,
— una prueba totalmente independiente de la inclusión–exclusión.
(Inversión binomial) Sean y dos secuencias tales que para todos . demostrar que
(Primero establezca el revisión del trinomio , entonces utilizar la suma de filas alternas de Ejemplo 2.17.)
- Aplicar la pregunta 8 a la identidad de Ejercicio 2.11 para obtener una tercero prueba de la fórmula para .
Parte III — The nearest integer to . Admitir para esta parte — la teoría está incorporada Capítulo 17 — que donde , con la serie alterna estricta vinculada por cada .
- Mostrar que para todos .
- Deducir el teorema del titular: for every , is the integer nearest to . ¿Por qué el ¿Se necesita argumento ?
- Determine el signo del error: muestre que exactamente cuando es par. (Localice el primer término desatendido de la serie alterna.)
- Calcule hasta con la recurrencia de pregunta 5, luego verifique con (,).
- (La probabilidad de verificación de sombrero) Sea la probabilidad de que un permutación uniformemente aleatorio sea un trastorno. Mostrar y calcule con cinco decimales. Comentario: ¿por qué? la respuesta a la pregunta de Montmort es esencialmente independiente de — ¿ya por una docena de letras?
Parte IV — The distribution of fixed points.
Reparar . Demuestre que la proporción de permutaciones de con exactamente puntos fijos satisface
(Estos valores límite, sumados a , forman el distribución de Poisson del parámetro , una central objeto del curso de probabilidad en el volumen del Año 2.)
- Contando dos veces las tripletas donde están fijadas por , demuestre que para . Combinado con la pregunta 4: el promedio de es , por lo que el “spread” (varianza) del número de puntos fijos es igual a — nuevamente independiente de , coincidiendo nuevamente con la ley de Poisson.
- Calcule la proporción de permutaciones que tiene al menos un punto fijo para (como fracciones y hasta cuatro decimales) y comparar con .
- Muestra directamente — no se necesitan límites — que , y deducir que las probabilidades de pregunta 14 oscilar: y , los valores pares (respectivamente impares) decreciente (o creciente) hacia el límite común .
- (Santa secreto) cada persona saca un nombre de un sombrero; si alguien dibuja su propio nombre, el dibujo entero es reiniciado desde cero. Usando el hecho estándar de que un evento de probabilidad toma en promedio intentos, estimar el número promedio de dibujos completos necesarios, y concluir que el procedimiento cuesta alrededor de dibujos en promedio, esencialmente independientemente de .
Part V — The arithmetic of , and a synthesis.
- Refinar la pregunta 5: mostrar que para fijo, los trastornos de con número exactamente , independientemente de . Deduzca que divide a por cada .
- Demuestre que es impar si y sólo si es par. (trabajo módulo en la recurrencia de la pregunta 6.)
- Demuestre que para , y verifique la congruencia en el último dígito de .
- Demuestre en la pregunta 6 que para , por lo que la relación de los números de trastorno consecutivos son casi exactamente ; explique en una oración por qué esto es consistente con .
- ¿Dónde exactamente se utilizó este problema: (i) el producto y reglas de suma; (ii) doble cómputo; (iii) el binomio teorema; (iv) ¿la serie alterna admitida está limitada? uno frase cada uno.
- Síntesis. La fórmula para ahora tiene tres pruebas. (inclusión-exclusión, recurrencia más inducción, binomio inversión). En un párrafo corto, compara lo que cada prueba explica: cuál calcula más rápido, cuál se generaliza a otros recuentos de punto fijo, y cuál revela por qué aparece en un problema sobre sobres.
Solución
Solución de Problema 2.1.
1. (el único permutación corrige ), (el intercambio), (en notación de una línea: y ). Para , agrupar por : con los trastornos son ,,; con :,, ; con :,,. tres en cada uno grupo: .
2. Un permutación con exactamente puntos fijos es determinado por la elección de su punto fijo conjunto ( maneras) junto con su restricción al complemento, que debe ser un permutación de puntos con punto fijo no ( formas). Las dos opciones son independientes y la La correspondencia es biyectivo: .
3.;;; (tres puntos fijos fuerzan a un cuarto); . Suma:. Ninguna coincidencia (casos ) supera exactamente una coincidencia (casos ) — por poco.
4. Cuente los pares con . Para fijo , el permutaciones que fija son los permutaciones del otros puntos : de ellos. De ahí el número de pares. es , y este número también es . Dividiendo por el número de permutaciones: el número medio de puntos fijos es exactamente , por cada .
5. Sea un trastorno de y : valores posibles. Case : los puntos y de intercambio, y restringido a los puntos restantes es una opción arbitraria. trastorno de ellos: posibilidades. Case : deja ; aquí y . Defina en por para y . Entonces es un permutación de (el valor ha sido reemplazado por el que falta valor ), y es un trastorno:, y en otro lugar. Por el contrario, desde un trastorno de y el valor , se recupera configurando , y en otros lugares: una biyección, dando posibilidades. Resumiendo :. Numéricamente: ,.
6. De la pregunta 5, , entonces
Desde , la inducción da , es decir, para .
7. Inducción en . Base:. Paso: asumiendo ,
cual es la formula. No se utilizó inclusión-exclusión: sólo el Recurrencia combinatoria de la pregunta 5.
8. Revisión de trinomios, por factoriales:
Ahora sustituye e intercambia los dos. finito sumas:
La suma interna es la expansión de (teorema del binomio, Teorema 2.16): desaparece para y es igual a para . Sólo sobrevive , y el lado derecho es , como se afirma.
9. Por la simetría , el La identidad de Ejercicio 2.11 se reescribe como . Aplicar la pregunta 8 con y :
reindexación por : la fórmula por tercera vez.
10. (pregunta 7), entonces
11. Para , y el la desigualdad de la pregunta 10 es estricta: se encuentra a distancia de , por lo que es el entero único más cercano. Para el límite sólo da distancia, y efectivamente el reclamo falla allí: tiene el número entero más cercano , mientras que .
12. es un series alternas con términos estrictamente decrecientes, por lo que su signo es el signo de su primer término . Por lo tanto tiene el signo de : para par, y ; para impar,.
13. ; ; ; . Comprobación: , cuyo entero más cercano es — y , como predice la pregunta 12 incluso para ese .
14. . Para :(cinco decimales), contra ; la brecha está por debajo de . El cota colapsa tan rápido que la probabilidad ya está fijada en muchos decimales para un docena de letras: la respuesta “sobre ” es, por cada propósito práctico, independiente de — la famosa sorpresa de el problema.
15. Por pregunta 2 y :
como con fijo, desde . Los valores límite () son los pesos de los Distribución de Poisson del parámetro .
16. Cuente los triples con , ,. Elegir primero el par ordenado: maneras; el permutaciones que fija tanto como son los permutaciones de los puntos restantes: de ellos. Total: . Sumando primero sobre cuenta, para cada , los pares ordenados de elementos fijos distintos puntos: . De ahí la identidad declarada; dividiendo por , el promedio de es , por lo que el promedio de es y la variación es .
17. Las proporciones : para ,; para ,; para ,. Todo dentro de un porcentaje de , oscilando a su alrededor.
18. Directamente:
y el paréntesis es . Para incluso la diferencia es negativo: , entonces ; para impar es positivo: Combinado con pregunta 12 (pares arriba de , probabilidades abajo) y pregunta 14 (la distancia a tiende a): las dos escaleras se aprietan entre ellos.
19. Un dibujo completo es un permutación aleatorio uniforme, válido cuando se trata de un trastorno: probabilidad . Según el hecho citado, el número promedio de sorteos hasta el éxito es y la pregunta 14 muestra un error en . eso ya es insignificante para el pequeño . Así que un Papá Noel secreto con los reinicios cuestan en promedio alrededor de completos dibujos — ya sea que la oficina tenga personas o .
20. Corrija y ejecute la clasificación de la pregunta 5 en el valor . Si: el resto Los puntos conllevan un trastorno arbitrario, las formas . si : redirigir la imagen inversa a exactamente como en la pregunta 5; esta es una biyección con el Trastornos de los puntos :. maneras. Total , lo mismo para cada . sumando sobre los valores de :, que muestra el factor :.
21. Reclamación: es impar si es par. Inducción usando , es decir . Base: es par, impar: la reclamación se mantiene. Si es par, es par y : impar, como se afirma. Si es impar, entonces es par, por lo que es impar por hipótesis, y : par. La inducción se cierra.
22. Reducción de módulo mata el primer término: . Para : , y de hecho termina en el dígito .
23. Para , y división de La recurrencia de la pregunta 6 por da , con y rápidamente tendiendo a . Consistencia: si , entonces — el factor se cancela en la proporción, y la recurrencia lo confirma con exactitud .
24. (i) Las reglas del producto y la suma subyacen en cada recuento: preguntas 2 y 5 dividir conjuntos de permutaciones en independientes etapas. (ii) El doble conteo dio la media (pregunta 4) y la varianza (pregunta 16) del número de puntos fijos sin fórmula para en absoluto. (iii) El teorema del binomio evaluó la suma interna alterna que hace inversión binomial trabajo (pregunta 8). (iv) El límite de series alternas convirtió el suma exacta pero opaca en el enunciado transparente “entero más cercano a ” (preguntas 10 a 14).
25. Inclusión–exclusión (Ejemplo 2.26 y Ejercicio 2.11) es la prueba conceptual: explica la suma alterna como correcciones de conteo excesivo y generaliza palabra por palabra al conteo elementos evitando cualquier familia de “malos” conjuntos. La ruta de la recurrencia (preguntas 5 a 7) calcula más rápido — tiempo lineal, entero exacto aritmética, sin factoriales — y es la fuente de la aritmética hechos de la Parte V. La inversión binomial (preguntas 8 a 9) coloca el fórmula dentro de una transformación general que reaparecerá dondequiera Dos sistemas triangulares de identidades se enfrentan. y el La apariencia de se explica mejor por la fórmula misma: el La proporción de trastornos es la suma parcial de la serie. para , así eran los sobres de Montmort, tres décadas antes Notación de Euler, calculando ya el número .