title: Recubrimiento (matemática)
text: # Recubrimiento (matemática)
  
  En matemáticas, se dice que una colección de subconjuntos A de un conjunto X es un recubrimiento, cubrimiento o cubierta de X si y solo si la unión de los elementos de la colección A contiene a X.
  
  El calificativo del recubrimiento hereda en general los calificativos topológicos o métricos que se asumen para los elementos de la colección que constituyen el recubrimiento.
  
  Así, por ejemplo, un recubrimiento abierto está formado por una colección de conjuntos abiertos. Un recubrimiento cerrado está formado por una colección de conjuntos cerrados; y de forma análoga para otras propiedades como: compacto, convexo, conexo, etc.
  
  ## Conceptos relacionados
  
  Finitud
  
  Un recubrimiento de X se dice finito si y solo si está formado por un número finito de elementos.
  
  Un recubrimiento de X se dice localmente finito si y solo si todo punto de X tiene un entorno que interseca solo con un número finito de conjuntos del recubrimiento. Expresado con símbolos, A = ${U_α}$ es localmente finito si para todo x ∈ X, existe un N(x), entorno de x tal que
  
      $\left\{\alpha \in A:U_{\alpha }\cap N(x)\neq \varnothing \right\}$
  
  es finito.
  
  Subrecubrimientos y refinamientos de un recubrimiento
  
  Si C es un recubrimiento de un espacio topológico X, un subrecubrimiento de C es un subconjunto D (formado por tanto por elementos de C) que todavía recubre X.
  
  Un refinamiento de un recubrimiento C de X es un nuevo recubrimiento: D de X , tal que todo conjunto de D esté contenido en algún conjunto de C. En símbolos, $D=V_{\beta \in B}$ es un refinamiento de $U_{\alpha \in A}$ cuando $\forall \beta \ \exists \alpha \ V_{\beta }\subseteq U_{\alpha }$.
  
  Obsérvese que un subrecubrimiento está formado por una selección de elementos del recubrimiento, mientras que un refinamiento está formado por una colección de subconjuntos de los conjuntos del recubrimiento. Así, todo subrecubrimiento es también un refinamiento, pero no viceversa.
  
  Compacidad
  
  Un conjunto X se dice compacto si y solo si todo recubrimiento abierto de X contiene un subrecubrimiento finito.
  
  