En matemáticas , un sistema de cobertura (también llamado sistema de residuos completo ) es una colección
de un número finito de clases de residuos
cuya unión contiene cada número entero.
El concepto de sistema de cobertura fue introducido por Paul Erdős a principios de los años 1930.
Los siguientes son ejemplos de sistemas de cobertura:
Un sistema de cobertura se llama disjunto (o exacto ) si no hay dos miembros que se superpongan.
Un sistema de cobertura se llama distinto (o incongruente ) si todos los módulos son diferentes (y mayores que 1). Hough y Nielsen (2019) [1] demostraron que cualquier sistema de cobertura distinto tiene un módulo divisible por 2 o 3.
Un sistema de cobertura se llama irredundante (o mínimo ) si se requieren todas las clases de residuos para cubrir los números enteros.
Los dos primeros ejemplos son disjuntos.
El tercer ejemplo es distinto.
Un sistema (es decir, un conjunto múltiple desordenado)
de un número finito de clases de residuos se denomina cobertura si cubre cada número entero al menos veces, y cobertura exacta si cubre cada número entero exactamente veces. Se sabe que para cada uno hay portadas exactas que no pueden escribirse como una unión de dos portadas. Por ejemplo,
es una 2-cubierta exacta que no es una unión de dos cubiertas.
El primer ejemplo anterior es una cobertura 1 exacta (también llamada cobertura exacta ). Otra cobertura exacta de uso común es la de números pares e impares , o
Este es sólo un caso del siguiente hecho: para cada módulo entero positivo , existe una cobertura exacta:
El teorema de Mirsky-Newman, un caso especial de la conjetura de Herzog-Schönheim , establece que no existe un sistema de cobertura distinto y disjunto. Este resultado fue conjeturado en 1950 por Paul Erdős y demostrado poco después por Leon Mirsky y Donald J. Newman . Sin embargo, Mirsky y Newman nunca publicaron su prueba. Harold Davenport y Richard Rado también encontraron la misma prueba de forma independiente . [2]
Los sistemas de cobertura se pueden utilizar para encontrar secuencias sin primos , secuencias de números enteros que satisfacen la misma relación de recurrencia que los números de Fibonacci , de manera que los números consecutivos en la secuencia son primos relativos pero todos los números en la secuencia son números compuestos . Por ejemplo, una secuencia de este tipo encontrada por Herbert Wilf tiene términos iniciales
En esta secuencia, las posiciones en las que los números de la secuencia son divisibles por un primo p forman una progresión aritmética; por ejemplo, los números pares de la secuencia son los números a i donde i es congruente con 1 mod 3. Las progresiones divisibles por diferentes primos forman un sistema de cobertura, lo que muestra que cada número de la secuencia es divisible por al menos un primo.
Paul Erdős preguntó si para cualquier N arbitrariamente grande existe un sistema de cobertura incongruente cuyo mínimo de módulos sea al menos N. Es fácil construir ejemplos donde el mínimo de los módulos en dicho sistema sea 2 o 3 (Erdős dio un ejemplo donde los módulos están en el conjunto de los divisores de 120; una cobertura adecuada es 0(3), 0( 4), 0(5), 1(6), 1(8), 2(10), 11(12), 1(15), 14(20), 5(24), 8(30), 6( 40), 58(60), 26(120) ) D. Swift dio un ejemplo donde el mínimo de los módulos es 4 (y los módulos están en el conjunto de los divisores de 2880). SLG Choi demostró [3] que es posible dar un ejemplo para N = 20, y Pace P Nielsen demuestra [4] la existencia de un ejemplo con N = 40, que consta de más que congruencias.
La pregunta de Erdős fue resuelta negativamente por Bob Hough. [5] Hough utilizó el lema local de Lovász para demostrar que existe un máximo N <10 16 que puede ser el módulo mínimo en un sistema de cobertura.
¿Existe un sistema de cobertura con módulos distintos impares?
Hay una famosa conjetura sin resolver de Erdős y Selfridge : un sistema de cobertura incongruente (con el módulo mínimo mayor que 1) cuyos módulos sean impares, no existe. Se sabe que si existe un sistema de este tipo con módulos libres de cuadrados, el módulo total debe tener al menos 22 factores primos. [6]