U NIVERSIDAD D ISTRITAL F RANCISCO J OS DE C ALDAS , M ATEMTICAS

Paracompacidad

Cristhyan Leonardo Naranjo Puertas

3 de febrero de 2016

El concepto de Paracompacidad a mostrado ser una generalizacin del concepto de compacidad

mas til ya que presenta varias aplicaciones en Topologia y en Geometra Diferencial, en este
texto se mostrara algunos de sus teoremas mas relevantes.

1.

D EFINICIONES P REVIAS

Definicin 1 (Refinamiento). Sea A una coleccin de subconjuntos del espacio X. Una coleccin
B de subconjuntos de X se dice que es un refinamiento de A si para cada elemento B de B existe
un elemento A de A que contiene a B. Si los elementos de B son conjuntos abiertos , llamamos a
B un refinamiento abierto de A.
Definicin 2 (Localmente finito). Sea X un espacio topologico. Una coleccin A de subconjuntos
de X se dice que es localmente finita en X si todo punto de X tiene un entorno que intersecta
solo a un numero finito de elementos de A. Una coleccion B de subconjuntos de X se dice que es
numerablemente localmente finita si B puede escribirse como unin numerable de colecciones
localmente finitas Bn

2.

PARACOMPACIDAD

Definicin 3. Un espacio X es paracompacto si todo cubrimiento abierto A de X tiene un refinamiento abierto localmente finito B que recubre a X
Ejemplo 1. el espacio Rn es paracompacto. Sean X = Rn y A un cubrimiento abierto de X. Sea
B0 = y, para cada entero positivo m, sea Bm la bola abierta de radio m centrada en el origen.
Dado m, elijamos una cantidad finita de elementos de A que recubren Bm e intersecan cada uno
al conjunto abierto X B m1 ; denotemos aa esta coleccin finita de conjuntos abiertos por Cm .
S
Entonces la coleccin C = Cm es un refinamiento de A. Claramente es localmente finita ya
que al conjunto abierto Bm interseca solo a una cantidad finita de elementos de C, concretamenS
S
te aquellos elementos que pertenecen a la coleccin C1 Cm . Finalmente , veamos que C
recubre X. Dado x, sea m el menor entero tal que x Bm . Entonces x pertenece a un elemento
de Cm por definicin.1
Teorema 1. Todo espacio compacto es paracompacto
Demostracin. si X es un espacio compacto implica que toda cubierta A de X tiene un refinamiento finito. luego cualquier vecindad Cx de x X interseca a lo mas un numero finito de
elementos del refinamiento B de A
Teorema 2. Todo espacio de Hausdorff paracompacto es normal.
Demostracin. Primero se probara la regularidad. Sean a un punto de X y B un conjunto cerrado
de X disjuntos con a. La condicin de Hausdorff nos permite elegir, para cada b de B, un conjunto abierto Ub que contiene a b y cuya clausura no contiene al punto a. Recubramos X por los
conjuntos abiertos Ub , junto con el conjunto abierto X B. Tomemos un refinamiento abierto
localmente finito C que recubra X. construyamos la subcoleccion D de C consistente en todos
es
los elementos de C que intersecan a B. Entonces D recubre a B. Ademas, si D D entonces D
disjuntos a a. En este caso D interseca a B, por tanto, esta contenido en algn conjunto Ub cuya
clausura es disjunta con a. Sea
[
V=
D D

entonces V es in conjunto abierto en X que contiene a B. Dado que D es localmente finita

V =

D D
1 Topologia

james Munkres , pag 288 esp

de forma que V es disjuntos con a. La regularidad queda as probada. Ahora sean A y B conjuntos cerrados de X, por lo visto anteriormente, la regularidad de X garantiza que podamos
elegir para cada b B un conjunto abierto Ub que contienen a b cuya clausura no interseca a A
recubramos a X por los conjuntos abiertos Ub junto con el abierto X B. Tomemos un recubrimiento abierto localmente finito C tal que recubra a X. construyamos la subcoleccion D de C,
consistente en todos los elementos de C que intersecan a B, luego si D D esta contenido en
algn conjunto Ub cuya clausura es disjunta con A. Ahora sea
[

H=

D D

Entonces H es un conjunto abierto en X que contiene a B, como D es localmente finito

H =

D D

De modo que H es disjuntos con A, quedando la normalidad demostrada.

Teorema 3. Todo subespacio cerrado de un espacio paracompacto es paracompacto.
Demostracin. Sea Y un subespacio cerrado de un espacio paracompacto X. Sea A un cubrimiento de Y por conjuntos abiertos en Y. Para cada A A, elijamos un conjunto abierto A de X tal
T

que A Y = A. Recubramos X por los conjuntos abiertos de A,junto

con el conjunto abierto
X Y. Para este cubrimiento, sea B un refinamiento abierto localmente finito que recubra a x.
Entonces la coleccin
\
C = {B Y|B B }
es el refinamiento abierto localmente finito de A que buscamos.
Lema 1 (Lema de E.Michael). Sea X un espacio regular. Entonces las siguientes condiciones sobre X
son equivalentes. Todo cubrimiento abierto de X tiene un refinamiento que es:
1. Un cubrimiento abierto de X numereablemente localmente finito.
2. Un cubrimiento de X localmente finito.
3. Un cubrimiento cerrado de X localmente finito.
4. Un cubrimiento abierto de X localmente finito.

Demostracin. Es evidente el hecho que (4) (1). Ahora probaremos en orden: (1) (2).
Sea A un cubrimiento abierto de X. Sea B un refinamiento abierto de A que recubra a X y sea
numerable localmente finito. pongamos
B=

Bn

Donde cada Bn es localmente finito. Dado i, pongamos

Vi =

U Bi

Entonces, para cada n Z+ y cada elemento U de Bn , definamos

[

S n (U ) = U

Vi

i <n

Sea
Cn = {Sn (U )|U Bn }
Entonces Cn es un refinamiento de Bn ya que Sn (U )
S
subsetU, para cada U Bn . Sea C = Cn . Afirmamos que C es el refinamiento local infinito de
A que recubre a X requerido.
Sea x un punto de X. Necesitamos probar que X esta contenido en un elemento de C y que x
tiene un entorno que interseca solo a una cantidad finita de elementos de C. Consideremos al
S
cubrimiento B = Bn y sea N el menor entero tal que x esta en un elemento de B N . sea U un
elemento de B N que contiene a x. Primero observemos que , dado que x no pertenece a ningun
elemento de Bi , para i < N, el punto x pertenece al elemento S N (U ) de C. segundo observemos
que, dado que cada coleccin Bn es localmente finita, podemos elegir para cada n = 1, . . . , N
un entorno Wn de x que interseca al elemento sn (V ) de Cn , debe intersecar al elemento V de Bn
porque Sn (V ) V. Por lo tanto , Wn interseca solo a una cantidad finita de elementos de cn ,
para n > N. Como resultado , el entorno
W1

W2

Wn

de x intersecta solo a una cantidad finita de elementos de C.

(2) (3). Sea A un cubrimiento abierto de X. sea B la coleccin de todos los conjuntos abiertos
esta contenido en un elemento de A. por la regularidad, B recubre a X.
U de X tales que U
Utilizando (2) podemos encontrar un refinamiento de C de B que recubra X y sea localmente
finito. sea
D = {c|c C }

Entonces D tambin recubre X, es localmente finito y refina a A.

(3) (4). Sea A un cubrimiento abierto de X. Utilizando (3), elijamos un refinamiento B de

A que recubra X y sea localmente finito. Ahora vamos a ampliar ligeramente cada elemento B
de B a un conjunto abierto, haciendo la extencion lo suficientemente pequea como para que
la coleccin resultante de conjuntos abiertos siga siendo localmente finita y refine a A. Vamos
a introducir un cubrimiento cerrado localmente finito auxiliar C de X y lo utilizaremos para
extender los elementos de B. Para cada punto x de X, existe un entorno que interseca solo a una
cantidad finita de elementos de B. La coleccin de todos los conjuntos abiertos que intersecan
solo una cantidad finita de elementos de B es, por tanto, un cubrimiento abierto de X. Utilizando
(3) de nuevo , sea C un refinamiento cerrado de este cubrimiento que sea localmente finito y
recubra X. Cada elemento de C interseca solo a una cantidad finita de elementos de B. Para cada
elemento B de B , sea
c( B) = {C |C C y C X B}
Entonces definamos E( B) = X cc( B) C Dado que C es una coleccin localmente finita de
conjuntos cerrados, la unin de los elementos de cualquier subcoleccion de C es un cerrado. Por
lo tanto, el conjunto E( B) es un conjunto de abiertos. Ademas, E( B) B por definicin. puede
ocurrir que hayamos extendido demasiado cada conjunto B, la coleccin { E( B)} puede no ser
un refinamiento de A, lo cual puede ser fcilmente remediado. Para cada B B, elijamos un
elemento F ( B) de A que contenga a B. Entonces definamos
S

D = { E( B) F ( B)| B B}
La coleccin D es un refinamiento de A, lo cual puede ser fcilmente remediado para cada B B,
elijamos un elemento F ( B) de A que contenga a B. Entonces definamos
D = { E( B) F ( B)| B B}
La coleccin D es un refinamiento de A. Dado que B ( E( B) F ( B)) y B recubre a X, la
coleccin D tambin recubra a X. Finalmente , tenemos que probar que D es localmente finita.
Dado un punto x de X, escojamos un entorno W de x que interseque solo a una cantidad finita
de elementos de C, pongamos C1 , . . . , Ck . Veamos que W interseca solo a una cantidad finita
de elementos de D. Como C recubre X, el conjunto W esta recubierto por C1 , . . . , Ck . De esta
forma, es suficiente probar que cada elemento de C de C interseca solo a una cantidad finita de
elementos de D. As, si C interseca al conjunto E( B) F ( B) Entonces interseca a E( B), por tanto,
por la definicin de E( B), C no esta contenido en X B. Esto implica que C debe intersecar a

B. Dado que C interseca solo a una cantidad finita de elementos de B, C puede intersecar , a lo
sumo el mismo numero de elementos de la coleccin D.
Teorema 4. Todo espacio metrizable es paracompacto
Demostracin. Sea X un espacio metrizable. Ya sabemos que dado un recubrimiento abierto A
de X, existe un refinamiento abierto del mismo que recubre X y es numerablemente localmente
finito. El lema anterior implica entonces que A admite un refinamiento abierto que recubre X y
es localmente finito.
Teorema 5. Todo espacio regular y de Lindelf es paracompacto.
Demostracin. Sea X regular y de Lindelf. Dado un cubrimiento abierto A de X, existe una
subcoleccion numerable que recubre X.. Esta subcoleccion es de forma automtica numerable
localmente finita. Aplicando el lema anterior , resulta que A admite un refinamiento abierto que
recubre a X y es localmente finito

3.

R EFERENCIAS

Topologia James R. Munkres segunda edicin - 2002