En matemáticas , una cobertura abierta de un espacio topológico es una familia de subconjuntos abiertos que es la unión de todos los conjuntos abiertos. Una buena cobertura es una cobertura abierta en la que todos los conjuntos y todas las intersecciones no vacías de un número finito de conjuntos son contráctiles (Petersen 2006).
El concepto fue introducido por André Weil en 1952 para variedades diferenciables , exigiendo que sean diferenciablemente contráctiles. Una versión moderna de esta definición aparece en Bott & Tu (1982).
Una razón importante para la noción de una buena cobertura es que la secuencia espectral de Leray de un haz de fibras degenera para una buena cobertura, y por lo tanto la cohomología de Čech asociada con una buena cobertura es la misma que la cohomología de Čech del espacio. (Dicha cobertura se conoce como cobertura de Leray ). Sin embargo, para los fines de calcular la cohomología de Čech es suficiente tener una definición más relajada de una buena cobertura en la que todas las intersecciones de un número finito de conjuntos abiertos tengan componentes conexos contráctiles. Esto se desprende del hecho de que los funtores derivados superiores se pueden calcular utilizando resoluciones acíclicas .
La superficie bidimensional de una esfera tiene una cubierta abierta formada por dos conjuntos contráctiles, vecindarios abiertos de hemisferios opuestos. Sin embargo, estos dos conjuntos tienen una intersección que forma una banda ecuatorial no contráctil. Para formar una buena cubierta para esta superficie, se necesitan al menos cuatro conjuntos abiertos. Una buena cubierta se puede formar proyectando las caras de un tetraedro sobre una esfera en la que está inscrito y tomando un vecindario abierto de cada cara. La definición más relajada de una buena cubierta nos permite hacer esto utilizando solo tres conjuntos abiertos. Una cubierta se puede formar eligiendo dos puntos diametralmente opuestos en la esfera, dibujando tres segmentos que no se intersecan y que se encuentran en la esfera que los conecta y tomando vecindarios abiertos de las caras resultantes.
