## [Paracompacidad](/es/node/62192) Definición Un espacio es paracompacto si toda cubierta abierta admite un refinamiento abierto que es localmente finito (cada punto tiene un vecindario que sólo intersecta finitamente muchos miembros del refinamiento). ## Principio Principio La idea organizadora es que las cubiertas pueden refinarse en piezas manejables localmente: la finitud local impide la acumulación de demasiados conjuntos de la cubierta en torno a cualquier punto, permitiendo construcciones que requieren control punto por punto. ## Demostración Demostración Todo espacio métrico es paracompacto: dada cualquier cubierta abierta, se puede construir un refinamiento localmente finito (por ejemplo usando bolas de radios decrecientes y un procedimiento de selección estándar), paso clave para probar la existencia de particiones de la unidad en tales espacios. ## Aplicación incorrecta Aplicación incorrecta Confundir paracompacidad con compacidad es un error: la compacidad produce subcubiertas finitas, mientras que la paracompacidad produce refinamientos localmente finitos; asimismo, la paracompacidad es más fuerte que la metacompacidad pero más débil que ciertas condiciones de finitud de cubiertas. ## Consecuencia Consecuencia Los espacios paracompactos y de Hausdorff admiten particiones de la unidad subordinadas a cualquier cubierta abierta, lo que tiene consecuencias importantes en topología diferencial y construcciones geométricas; la paracompacidad asegura además que muchos argumentos locales-a-globales funcionan ordenadamente. ## Inversión Inversión Un espacio no paracompacto (por ejemplo algunas construcciones tipo línea larga o ciertos productos topológicos) posee cubiertas abiertas sin refinamiento abierto localmente finito, lo que impide particiones de la unidad y muchas técnicas analíticas estándar. ## Límite Límite La paracompacidad se define sin axiomas de separación pero alcanza sus consecuencias más potentes combinada con Hausdorff o regularidad; no se preserva en general bajo productos arbitrarios ni en todas las operaciones de cociente. ## Tensión semántica Tensión semántica Existe tensión semántica entre paracompacidad, metacompacidad (existencia de refinamientos con intersección puntual finita) y σ-paracompacidad (unión numerable de subespacios paracompactos): nociones relacionadas pero distintas que suelen confundirse. ## Síntesis Síntesis La paracompacidad formaliza la capacidad de refinar cubiertas globales en familias localmente finitas y bien controladas; esa finitud local es la palanca técnica que permite las particiones de la unidad y muchas construcciones locales-a-globales en topología y geometría.