# Recubrimiento (matemática)

En matemáticas, y más particularmente en teoría de conjuntos, un recubrimiento (o cubrimiento) de un conjunto $X$ es una familia de subconjuntos de $X$ cuya unión es todo $X$. Más formalmente, si $C=\lbrace U_{\alpha }:\alpha \in A\rbrace$ es una familia indexada de subconjuntos $U_{\alpha }\subset X$ (indexados por el conjunto $A$), entonces $C$ es un recubrimiento de $X$ si $\bigcup _{\alpha \in A}U_{\alpha }\supseteq X$. Por lo tanto, la colección $\lbrace U_{\alpha }:\alpha \in A\rbrace$ es un recubrimiento de $X$ si cada elemento de $X$ pertenece al menos a uno de los subconjuntos $U_{\alpha }$.
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

Los recubrimientos se utilizan comúnmente en el contexto de la topología. Si el conjunto $X$ es un espacio topológico, entonces un recubrimiento $C$ de $X$ es una colección de subconjuntos $\{U_{\alpha }\}_{\alpha \in A}$ de $X$ cuya unión es el espacio entero $X$. En este caso, se dice que $C$ recubre $X$, o que los conjuntos $U_{\alpha }$ recubren $X$.
Además, si $Y$ es un subespacio (topológico) de $X$, entonces un recubrimiento de $Y$ es una colección de subconjuntos $C=\{U_{\alpha }\}_{\alpha \in A}$ de $X$ cuya unión contiene a $Y$, es decir, $C$ es un recubrimiento de $Y$ si
    $Y\subseteq \bigcup _{\alpha \in A}U_{\alpha }.$
Es decir, se puede recubrir $Y$ con conjuntos en el propio $Y$ o con conjuntos en el espacio padre $X$.
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 $x\in X,$ existe algún entorno N(x) de x tal que el conjunto
    $\left\{\alpha \in A:U_{\alpha }\cap N(x)\neq \varnothing \right\}$
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

Un refinamiento de un recubrimiento $C$ de un espacio topológico $X$ es un nuevo recubrimeinto $D$ de $X$ tal que cada conjunto en $D$ está contenido en algún conjunto en $C$. Formalmente,
    $D=\{V_{\beta }\}_{\beta \in B}$ es un refinamiento de $C=\{U_{\alpha }\}_{\alpha \in A}$ si para todo $\beta \in B$ existe $\alpha \in A$ tal que $V_{\beta }\subseteq U_{\alpha }.$
En otras palabras, hay una aplicación de refinamiento $\phi :B\to A$ que satisface $V_{\beta }\subseteq U_{\phi (\beta )}$ para cada $\beta \in B.$. Esta aplicación se utiliza, por ejemplo, en la cohomología de Čech de $X$.
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 $X$ es transitiva y reflexiva.
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 $a_{0}<a_{1}<\cdots <a_{n}$ es $a_{0}<b_{0}<a_{1}<a_{2}<\cdots <a_{n-1}<b_{1}<a_{n}$), 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

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 ${\mathcal {B}}$ una base topológica de $X$ y ${\mathcal {O}}$ un recubrimiento abierto de $X$. Primero, se toma ${\mathcal {A}}=\{A\in {\mathcal {B}}:{\text{there exists }}U\in {\mathcal {O}}{\text{tal que }}A\subseteq U\}.$ Entonces, ${\mathcal {A}}$ es un refinamiento de ${\mathcal {O}}$. A continuación, para cada $A\in {\mathcal {A}},$ se selecciona un $U_{A}\in {\mathcal {O}}$ que contenga a $A$ (requiriendo el axioma de elección). En consecuencia, ${\mathcal {C}}=\{U_{A}\in {\mathcal {O}}:A\in {\mathcal {A}}\}$ es un subrecubrimiento de ${\mathcal {O}}.$ 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

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

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. Si no existe tal n mínimo, se dice que el espacio es de dimensión de recubrimiento infinita.