CONJUNTOS COMPACTOS

Denicin. Se dice que un conjunto K es compacto si siempre que est contenido en la unin o e o

de una coleccin g = {G } de conjuntos abiertos, tambin esta contenido en la unin de o e o algn nmero nito de conjuntos en g. u u Una coleccin g de conjuntos abiertos cuya o unin contiene a K con frecuencia se llama cuo bierta de K. De modo que el requisito para que K sea compacto es que toda cubierta g de K se pueda sustituir por una cubierta nita g de K.

Ejemplo.- Sea k = {x1 , x2 , ..., xm } un subconjunto nito de Rn si G = {G } es una coleccin o

de abiertos tal que k {G } y si todo punto de k pertenece a algn subconjunto de {G } u entonces cuando ms m subconjuntos de {G } k k es un subconjunto compacto de a Rn .
Ejemplo.- Considere al subconjunto H = {x R|x 0}. Sea Gn = (1, n) n N de tal

manera que {Gn |n N} sea una coleccin de subconjuntos abiertos de R cuya union o o contenga a H. Si {Gn1 , Gn2 , ..., Gnk } es una subcoleccin nita de {Gn |n N}. Sea M = sup{n1 , n2 , ..., nk } de tal manera que Gnj Gnk de aqui deducimos que GM es la union de {Gn1 , Gn2 , ..., Gnk }. Sin embargo el nmero real M no pertenece a GM y por lo tanto u no pertenece a
k j=1

Gnj . En consecuencia, ninguna unin nita de {Gn |n N} puede o

contener a H H no es compacto
Ejemplo.- Todo recubrimiento abierto del intervalo cerrado y acotado [a, b] posee un subre-

cubrimiento nito
Demostracin. Sea R un recubrimiento de [a, b]. Sea S el conjunto de puntos x [a, b] o

tal que [a, x] esta cubierto por un nmero nito de conjuntos de R queremos probar u 1

que b S. 1) S = pues [a, a] = {a} pertenece a algn conjunto de R u 2) S esta acotado superiormente pues S [a, b]. Sea = supS como S [a, b] a b como [a, b] y R recubre a [a,b] existir A R tal que A con a A abierto entonces > 0 tal que [ , ] A como = supS x S tal [x, ]. Si x S el intervalo [a, ] esta

que x < ponemos [a, ] = [a, x]

cubierto por un nmero nito de conjuntos de R y por otro lado [x, ] [ , ] u est cubierto por A, luego [a, ] esta cubierto por un nmero nito de conjuntos de a u R S. tenemos que ver que = b suponemos que < b como A y A es abierto x tal que [, x] A y [, x] estar cubierto por un nmero nito de a u conjuntos de R luego x S y x >

=b

Proposicin.- Demuestrese que todo intervalo cerrado [a, b] de R es compacto. o Demostracin. Supongamos un recubrimiento abierto [a, b] tal que no admite subreo

cubrimiento nito. Entonces tampoco existe un subrecubrimiento nito para [a, c] [c; b] con c punto medio. Sea [a1 , b1 ] = [a, c] el intervalo para el cual no existe el subrecubrimiento nito. Sea p el punto de interseccin y sea U el recubrimiento que contiene a p y sea o

Siguiendo esta construccin obtenemos una o sucesin de intervalos [an , bn ] [an1 , bn1 ] de o longitudes [bn , an ] =
ba 2n

tales que ninguno de

ellos admite un subrecubrimiento nito. [p , p + ] U . Entonces existe r N tal que n > r,

ba 2n

< y n r [an , bn ] U

ya que

ningun [ak , bk ] admit un subrecubrimiento nito. a

1 Ejemplo.- Sea H = (0, 1) en R. Si Gn = { n , 1

1 } n

para n > 0 entonces la coleccin o

{Gn1 , Gn2 , ..., Gnk } es una subcoleccin nita de {Gn |n > 2}. Sea M = sup{n1 , ..., nk } de o tal manera que Gnj GM se iere que GM es la unin de {Gn1 , Gn2 , ..., Gnk } sin embargo o el nmero real u
1 m

pertenece a H pero no pertenece a GM ninguna subcoleccin nita o

de Gn |n > 2 puede formar una subcoleccin nita para H H no es compacto o

Teorema. Sean X, Y compactos. Demuestrese que X Y es compacto. Demostracin. Sea {ui }iI un recubrimiento abierto de X Y . Entonces para todo p o

X Y existe i I tal que p Ui y existen unicos Vp y Wp en X, Y respectivamente tales que p vp wp .

La familia {vp wp }pXY forma un recubrimiento abierto de X Y . Para todo punto x0 X se verica que {x0 } Y es homeomorfo a Y luego {x0 } Y es compacto. La familia {Vp Wp }pXY forma un recubrimiento abierto de {x0 } Y luego existe un subrecubrimiento nito Vx1 , . . . , Vxn para cada Vxi sean Vxi Wyi1 , . . . Vxi Wyim los abiertos correspondientes en el recubrimiento {xi } Y entonces la familia {Vxi Wyi } forman un recubrimiento nito de X Y y como para cada uno de ellos existe Ux del recubrimiento primitivo resulta que existe un subrecubrimiento nito de dicho recubrimiento.
Teorema. Los subconjuntos cerrados de conjuntos compactos son compactos. Demostracin. Sea F un conjunto cerrado y K un conjunto compacto tal que F K o

Rn . Sea {G } una cubierta abierta de F , entonces {G } {F c } es una cubierta abierta 3

de K, como K es compacto entonces {G F c } tiene subcubierta nita que cubren a F . Podemos quitar F c y se sigue cubriendo a F . As obtenemos un renamiento nito de cualquier cubierta abierta de F . F es compacto.

Teorema. Si E K Rn , donde E es un conjunto innito y K es compacto, entonces E tiene

un punto de acumulain en K. o
Teorema: Heine - Borel . Todo subconjunto cerrado y acotado es compacto.

1. K compacto implica que K es cerrado.

Demostracin: Sea x K c y sea Gm = {y Rn | y x > o
1 ,m m

N} entonces

y ExtB(, m ) cada Gm es abierta, la unin de todas las Gm consta de todos x 1 o los puntos de Rn excepto x. Dado que x K cada punto de K pertenece a algn Gm . Debido a la compacidad u
m

de K, se inere que existe M N tal que K

1

Gi . Dado que los conjuntos

1 } m

Gm incrementan con m, K Gm de donde la vecindad {z Rn | z x < no intercepta a K demostrando que K c es abierto. K es cerrado.

2. K compacto implica K es acotado.

Demostracin: Sea Hm = {x Rn | x o

< m todo el espacio Rn y por tanto K m N. Dado que

est contenido en la unin de los conjuntos crecientes, Hm a o

K es compacto existe M N tal que K Hm por lo que K esta acotado.

Para completar la demostracin de este teorema se necesita probar que si K o es un subconjunto cerrado y acotado contenido en la unin de una coleccin o o g = {G } de conjuntos abiertos en Rn , entonces est contenido en la unin de a o algn nmero nito de conjuntos de g. u u

Dado que K esta acotado, encontramos un punto de acumulacin de K, como K es cerrado o y K y esta en alguna celda abierta, por lo tanto existe > 0 tal que para cada w con y w < en la celda abierta y si suponemos que g = {G } no admite un subrecubrimiento nito llegamos a una contradiccin. o

Hallamos asi una celda [ak , bk ] . . . [aki , bki ] que esta contenia en una vecindad del punto de acumulacin y y adems [ak , bk ] . . . [aki , bki ] admite un subrecubrimiento nito o a