Por refinamiento de un recubrimiento de un espacio X se entiende un nuevo recubrimiento del mismo espacio de modo que cada conjunto del nuevo recubrimiento sea un subconjunto de algún conjunto del recubrimiento original.
Un recubrimiento se dice localmente finito si todo punto del espacio tiene un entorno que interseca sólo un número finito de abiertos del recubrimiento.
Algunos autores incluyen la condición de ser Hausdorff en la definición de paracompacidad. Nosotros no la incluiremos en este artículo.
La recta larga es un ejemplo de espacio topológico que verifica todos los axiomas de variedad topológica, salvo la paracompacidad (es de hecho localmente compacta pero no ANII).
Propiedades
La paracompacidad no es productiva ni hereditaria
La paracompacidad es débilmente hereditaria: todo subespacio cerrado de un paracompacto es a su vez paracompacto.
Un producto de espacios paracompactos no es necesariamente paracompacto. Sin embargo, el producto de un espacio paracompacto con uno compacto sí es paracompacto.
Un espacio topológico es metrizable si y sólo si es paracompacto, Hausdorff y localmente metrizable.
Particiones de la unidad
La principal característica de los espacios Hausdorff y paracompactos es que admiten particiones de la unidad subordinadas a cualquier recubrimiento por abiertos.
Esto significa que existe una colección de funciones continuas con valores en el intervalo [0,1] tales que:
para toda función f: X → R de la colección, existe un abierto U del recubrimiento que contiene al soporte de f.
para todo punto x, existe un entorno V de x tal que todas salvo un conjunto finito de funciones son idénticamente nulas, y la suma de las funciones no nulas es idénticamente 1 en V.
Las particiones de la unidad permiten extender construcciones locales a todo el espacio. Por ejemplo, la integral de formas diferenciables en variedades paracompactas se define en primer lugar localmente y se extiende a todo el espacio por medio de particiones de la unidad.
Referencias
Willard, Stephen (1970). General Topology. Reading, Massachusetts: Addison-Wesley. ISBN 0-486-43479-6 (Dover edition).
Datos:Q970119
Agosto 16, 2021
espacio, paracompacto, matemáticas, espacio, paracompacto, espacio, topológico, todo, recubrimiento, abiertos, admite, refinamiento, localmente, finito, refinamiento, recubrimiento, espacio, entiende, nuevo, recubrimiento, mismo, espacio, modo, cada, conjunto,. En matematicas un espacio paracompacto es un espacio topologico en que todo recubrimiento por abiertos admite un refinamiento localmente finito Por refinamiento de un recubrimiento de un espacio X se entiende un nuevo recubrimiento del mismo espacio de modo que cada conjunto del nuevo recubrimiento sea un subconjunto de algun conjunto del recubrimiento original Un recubrimiento se dice localmente finito si todo punto del espacio tiene un entorno que interseca solo un numero finito de abiertos del recubrimiento Algunos autores incluyen la condicion de ser Hausdorff en la definicion de paracompacidad Nosotros no la incluiremos en este articulo Ejemplos y contraejemplos EditarTodo espacio compacto es paracompacto Todo espacio metrico es paracompacto La recta larga es un ejemplo de espacio topologico que verifica todos los axiomas de variedad topologica salvo la paracompacidad es de hecho localmente compacta pero no ANII Propiedades EditarLa paracompacidad no es productiva ni hereditariaLa paracompacidad es debilmente hereditaria todo subespacio cerrado de un paracompacto es a su vez paracompacto Un producto de espacios paracompactos no es necesariamente paracompacto Sin embargo el producto de un espacio paracompacto con uno compacto si es paracompacto Paracompacidad y separacionTodo espacio Hausdorff paracompacto es normal Teorema de metrizacion de SmirnovUn espacio topologico es metrizable si y solo si es paracompacto Hausdorff y localmente metrizable Particiones de la unidadLa principal caracteristica de los espacios Hausdorff y paracompactos es que admiten particiones de la unidad subordinadas a cualquier recubrimiento por abiertos Esto significa que existe una coleccion de funciones continuas con valores en el intervalo 0 1 tales que para toda funcion f X R de la coleccion existe un abierto U del recubrimiento que contiene al soporte de f para todo punto x existe un entorno V de x tal que todas salvo un conjunto finito de funciones son identicamente nulas y la suma de las funciones no nulas es identicamente 1 en V Las particiones de la unidad permiten extender construcciones locales a todo el espacio Por ejemplo la integral de formas diferenciables en variedades paracompactas se define en primer lugar localmente y se extiende a todo el espacio por medio de particiones de la unidad Referencias EditarWillard Stephen 1970 General Topology Reading Massachusetts Addison Wesley ISBN 0 486 43479 6 Dover edition Datos Q970119Obtenido de https es wikipedia org w index php title Espacio paracompacto amp oldid 103652278, wikipedia, wiki, leyendo, leer, libro, biblioteca,
