Recubrimiento (matemática)
En matemáticas, y más particularmente en teoría de conjuntos, un recubrimiento (o cubrimiento) de un conjunto es una familia de subconjuntos de cuya unión es todo . Más formalmente, si es una familia indexada de subconjuntos (indexados por el conjunto ), entonces es un recubrimiento de si . Por lo tanto, la colección es un recubrimiento de si cada elemento de pertenece al menos a uno de los subconjuntos .
Un subrecubrimiento de un recubrimiento de un conjunto es un subconjunto del recubrimiento que también cubre el conjunto. Un recubrimiento se denomina recubrimiento abierto si cada uno de sus elementos es un conjunto abierto.
Recubrimiento en topología
[editar]Los recubrimientos se utilizan comúnmente en el contexto de la topología. Si el conjunto es un espacio topológico, entonces un recubrimiento de es una colección de subconjuntos de cuya unión es el espacio entero . En este caso, se dice que recubre , o que los conjuntos recubren .
Además, si es un subespacio (topológico) de , entonces un recubrimiento de es una colección de subconjuntos de cuya unión contiene a , es decir, es un recubrimiento de si
Es decir, se puede recubrir con conjuntos en el propio o con conjuntos en el espacio padre .
Sea C un recubrimiento de un espacio topológico X. Un subrecubrimiento de C es un subconjunto de C que todavía recubre a X.
Se dcie que C es un recubrimiento abierto si cada uno de sus miembros es un conjunto abierto (es decir, cada Uα está contenido en T, donde T es la topología en X).
Se dice que un recubrimiento de X es localmente finito si cada punto de X tiene un entorno que interseca solo conjuntos finitos del recubrimiento. Formalmente, C = {Uα} es localmente finito si para cualquier existe algún entorno N(x) de x tal que el conjunto
es finito. Se dice que un recubrimiento de X es puntualmente finito si cada punto de X está contenido solo en un número finito de conjuntos del recubrimiento. Un recubrimiento es puntualmente finito si es localmente finito, aunque lo inverso no es necesariamente cierto.
Refinamiento
[editar]Un refinamiento de un recubrimiento de un espacio topológico es un nuevo recubrimeinto de tal que cada conjunto en está contenido en algún conjunto en . Formalmente,
- es un refinamiento de si para todo existe tal que
En otras palabras, hay una aplicación de refinamiento que satisface para cada . Esta aplicación se utiliza, por ejemplo, en la cohomología de Čech de .[1]
Cada subrecubrimiento es también un refinamiento, pero lo opuesto no siempre es cierto. Un subrecubrimiento se genera a partir de los conjuntos que forman parte del recubrimiento, pero omitiendo algunos de ellos; mientras que un refinamiento se hace a partir de cualquier conjunto que sea un subconjunto de los conjuntos del recubrimiento.
La relación de refinamiento en el conjunto de recubrimientos de es transitiva, irreflexiva y asimétrica.
En términos generales, un refinamiento de una estructura dada es otra que en algún sentido la contiene. Se pueden encontrar ejemplos al realizar particiones de un intervalo (un refinamiento de es ), considerando topologías (el topología estándar en el espacio euclídeo es un refinamiento de la topología trivial). Al subdividir complejos simpliciales (la primera subdivisión baricéntrica de un complejo simplicial es un refinamiento), la situación es ligeramente diferente: cada símplex en el complejo más fino es una cara de algún símplex en el más grueso, y ambos tienen poliedros subyacentes iguales.
Otra noción de refinamiento es la de refinamiento en estrella.
Subrecubrimiento
[editar]Una forma sencilla de obtener un subrecubrimiento es omitir los conjuntos contenidos en otro conjunto en el recubrimiento. Considérense específicamente los recubrimientos abiertos. Sea una base topológica de y un recubrimiento abierto de . Primero, se toma Entonces, es un refinamiento de . A continuación, para cada se selecciona un que contenga a (requiriendo el axioma de elección). En consecuencia, es un subrecubrimiento de Por lo tanto, la cardinalidad de un subrecubrimiento de un recubrimiento abierto puede ser tan pequeña como la de cualquier base topológica. Por lo tanto, en particular, la segunda numerabilidad implica que un espacio es de Lindelöf.
Compacidad
[editar]El lenguaje de los recubrimientos se utiliza a menudo para definir varias propiedades topológicas relacionadas con la compacidad. Se dice que un espacio topológico X es:
- Compacto: si cada recubrimiento abierto tiene un subrecubrimiento finito (o, equivalentemente, que cada recubrimiento abierto tiene un refinamiento finito).
- De Lindelöf: si cada recubrimiento abierto tiene un subrecubrimiento numerable (o, equivalentemente, que cada recubrimiento abierto tiene un refinamiento numerable).
- Metacompacto: si cada recubrimiento abierto tiene un refinamiento abierto puntualmente finito.
- Paracompacto: si cada recubrimiento abierto admite un refinamiento abierto localmente finito.
Para ver más variaciones, consúltense los artículos anteriores.
Dimensión de un recubrimiento
[editar]Se dice que un espacio topológico X es de dimensión de recubrimiento de Lebesgue n si cada recubrimiento abierto de X tiene un refinamiento abierto puntualmente finito tal que ningún punto de X está incluido en más de n+1 conjuntos en el refinamiento y si n es el valor mínimo para el cual esto es cierto.[2] Si no existe tal n mínimo, se dice que el espacio es de dimensión de recubrimiento infinita.
Véase también
[editar]Referencias
[editar]- ↑ Bott, Tu (1982). Differential Forms in Algebraic Topology. p. 111.
- ↑ Munkres, James (1999). Topology (2nd edición). Prentice Hall. ISBN 0-13-181629-2.
Bibliografía
[editar]- "Introduction to Topology" (Introducción a la topología), segunda edición, Theodore W. Gamelin y Robert Everist Greene. Dover Publications 1999. ISBN 0-486-40680-6
- "General Topology" (Topología general), John L. Kelley. D. Van Nostrand Company, Inc. Princeton, NJ. 1955. ISBN 1013361210.
- Topology (Topología), James Munkres, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
Enlaces externos
[editar]- Hazewinkel, Michiel, ed. (2001), «Recubrimiento (matemática)», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.