Cap tulo 6 Compacidad

6.1 Espacios compactos

El concepto de compacidad est relacionado con la idea intuitiva de acotacin. Se a o considera un espacio topolgico (X, ) y U = {Oi ; i I} una familia de conjuntos o abiertos de X. Se dice que U es un recubrimiento por abiertos de X, o simplemente un recubrimiento, si X = iI Oi . Un subrecubrimiento del recubrimiento U es un subconjunto de U que es tambin un recubrimiento de X. e Denicin 6.1 Decimos que un espacio topolgico (X, ) es compacto si todo reo o cubrimiento por conjuntos abiertos U de X tiene un subrecubrimiento nito, es decir, existe n N tal que X = Oi1 . . . Oin . Un subconjunto A de (X, ) se dice que es compacto si el espacio topolgico (A, |A ) es compacto. o Observemos que la compacidad es un concepto ms fuerte que la propiedad Lindelo, a pues sta aseguraba que de todo recubrimiento por abiertos exist un subrecubrime a iento numerable. Una dicultad cuando se estudia la compacidad de un subespacio topolgico es la o utilizacin de los conjuntos abiertos relativos. Por ello ser de desear tener una o a caracterizacin de la compacidad de un subespacio mediante abiertos del espacio o ambiente. El siguiente resultado nos da una respuesta satisfactoria. o Proposicin 6.2 Sea un espacio topolgico (X, ) y A un subconjunto suyo. Eno tonces A es compacto si y slo si para cualquier familia de abiertos de X, {Oi ; i I}, o 1

CAP ITULO 6.

COMPACIDAD

con A iI Oi , existe n N tal que A Oi1 . . . Oin . Demostracin : Supongamos que A es compacto y que U = {Oi ; i I} es una familia o de abiertos de X tal que A iI Oi . Con la familia U construimos un recubrimiento de A por abiertos de A mediante V = {Oi A; i I}. Por ser A compacto, existe n N tal que A = (Oi1 A) . . . (Oin A). Entonces, A Oi1 . . . Oin . Rec procamente, sea ahora un recubrimiento de A por abiertos relativos de A: A = iI Oi , donde Oi |A . Entonces para cada i I, existe Oi tal que Oi = Oi A. o Entonces A iI Oi y por hiptesis, existe n N tal que A Oi1 . . . Oin . Luego A = Oi1 . . . Oin . Hemos probado pues que A es compacto. q.e.d Estudiamos la compacidad de algunos espacios topolgicos conocidos. o Ejemplo 6.3 1. El intervalo (0, 1) no es compacto. Para ello, consideramos el 1 1 recubrimiento por abiertos U = {( n , 1 n ); n N}. Dado cualquier subrecubrimiento nito, la unin de los correspondientes abiertos es de la forma o 1 1 ( m , 1 m ), que no es el intervalo (0, 1). 2. La recta real R no es compacto, pues la familia de abiertos de R formada por U = {(n, n); n N} es un recubrimiento de R, pero dado cualquier subrecubrimiento nito, la unin de los abiertos del mismo es de la forma o (m, m), m N. 3. Cualquier subconjunto A no acotado del espacio eucl deo no es compacto: consideramos la familia de bolas {Bn (0); n N}, que forma un subrecubrimiento de A, pero de la cual no es posible extraer un subrecubrimiento nito. 4. De forma ms general, un espacio mtrico compacto est acotado (diremos a e a que un espacio mtrico est acotado si est contenido en alguna bola). Para e a a probarlo, sea (X, d) un espacio mtrico compacto y sea p X un punto jo. e Entonces X = nN Bn (p). Por la compacidad, existen n1 , . . . , nk N tales que X Bn1 (p) . . . Bnk (p). Si m = max{n1 , . . . , nk }, entonces X = Bm (p), luego X est acotado. a o o 5. Consideramos una sucesin convergente {xn }nN en un espacio topolgico y sea x un l mite. Entonces A = {x} {xn ; n N} es compacto: si A iI Oi , donde Oi son conjuntos abiertos en (X, ), sea Oi0 un abierto que contenga

6.1. ESPACIOS COMPACTOS

a x. Por la convergencia, existe N tal que si n , xn Oi0 . Por otra parte, si xn Oin , para n = 1, . . . , 1, entonces A (Oi1 . . . Oi1 ) Oi0 . o o 6. Un espacio topolgico discreto (X, D ) es compacto si y slamente si X es un conjunto nito: si X fuera innito, U = {{x}; x X} es un recubrimiento por abiertos de X del cual no se puede extraer uno nito. En el caso de que X sea nito, entonces la topolog es nita, y cualquier recubrimiento por abiertos a de X es nito. 7. Es evidente que cualquier espacio topolgico que tiene una topolog nita, es o a decir, card( ) < , es un conjunto compacto. Un ejemplo lo es un espacio topolgico trivial. o 8. El espacio topolgico de los complementos nitos (X, CF ) es compacto: si o U = {Oi ; i I} es un recubrimiento por abierto de X, sea Oi0 un conjunto abierto concreto del recubrimiento. Entonces X \ Oi0 es nito, es decir, es igual a {x1 , . . . , xn } con xi X. Para cada j = 1, . . . , n, existe ij I tal que xj Oij . Tenemos entonces X = Oi0 Oi1 . . . Oin . Como un aparte, probamos que un intervalo cerrado de R es un conjunto compacto. Teorema 6.4 El intervalo [0, 1] es compacto. Demostracin : Sea U = {Oi ; i I} una familia de abiertos de R tal que [0, 1] o iI Oi . Denimos el siguiente conjunto: A = {x [0, 1]; n N, [0, x] Oi1 . . . Oin }. Dicho conjunto no es vac pues 0 A. De la denicin de A es evidente que si o o x A, entonces para todo y [0, 1] con y x, pertenece a A. Como 0 A, entonces si x A, [0, x] A. Para probar que [0, 1] es compacto es suciente con probar que 1 A. Para ello se va a demostrar que A es un conjunto cerrado y abierto en [0, 1]. Ya que [0, 1] es conexo, entonces A = [0, 1]. Probamos que A es un conjunto cerrado en [0, 1]: sea x A y {xn }nN una sucesin en A que converge a x. Si algn {xn }nN es mayor o igual que x, entonces o u
[0,1]

CAP ITULO 6.

COMPACIDAD

x A. Supongamos pues que xn < x para cada n N. Sea i0 I tal que x Oi0 . Entonces existe > 0 tal que (x , x + ) Oi0 . Para este , existe n N tal que xn (x , x + ), luego [0, x] [0, xn ] (x , x + ) [0, xn ] Oi0 y por tanto x A. Probamos que A es un conjunto abierto en [0, 1]. Sea x A y demostramos que existe > 0 tal que (x , x + ) [0, 1] A. Sea i0 I tal que x Oi0 y un nmero positivo tal que (x , x + ) Oi0 . Sea y (x , x + ) [0, 1]. Si y x u y como x A, entonces y A. Si y > x, [0, y] = [0, x] [x, y] [0, x] (x , x + ) [0, x] Oi0 y por tanto y A. q.e.d A continuacin se dan varias caracterizaciones de la compacidad en trminos de o e conjuntos cerrados y de bases de topolog as. Teorema 6.5 Sea un espacio topolgico (X, ). Son equivalentes los siguientes o enunciados: 1. El espacio (X, ) es compacto. 2. Para cualquier familia de cerrados {Fi ; i I} F tal que n N tal que n Fij = . j=1
iI

Fi = , existe

3. Sea una base de abiertos. Entonces de todo recubrimiento de X por elementos de , existe un subrecubrimiento nito. Demostracin : La equivalencia 1 2 y la implicacin 1 3 son evidentes. o o 3 1. Sea X = iI Oi , Oi y denimos V = {B ; i I, B Oi }. Entonces V es un recubrimiento de X por abiertos de la base . Por hiptesis, o existe n N tal que X = Bi1 . . . Bin . Entonces X = Oi1 . . . Oin q.e.d Igual que suced con la propiedad Lindelo, la compacidad se mantiene respecto a de aplicaciones continuas. Razonando como la proposicin ?? se tiene: o

6.1. ESPACIOS COMPACTOS

Proposicin 6.6 Sean dos espacios topolgicos (X, ) y (Y, ) y una aplicacin o o o continua f : X Y . 1. Si X es compacto, entonces f (X) es compacto. 2. La compacidad es una propiedad topolgica. o El apartado 1 de esta proposicin se utiliza para probar que un espacio es compacto, o si fuera la imagen mediante una aplicacin continua de un espacio compacto (de la o misma forma que suced con el concepto de conexin en el corolario ??). Como a o ejemplo, se tiene que el segmento [x, y] determinado por dos vectores x e y de Rn es compacto: basta con darse cuenta que [x, y] = ([0, 1]), donde (t) = (1 t)x + ty. En general, la imagen de cualquier arco de un espacio topolgico es un conjunto o compacto. Otro ejemplo es el siguiente: Corolario 6.7 La circunferencia S1 es compacta. Demostracin : Se dene la aplicacin f : [0, 1] R2 mediante f (t) = (cos (2t), sen (2t)). o o Esta aplicacin es continua, [0, 1] es compacto y S1 = f ([0, 1]). o q.e.d Hay que observar que la imagen inversa mediante una aplicacin continua de un o conjunto compacto no es compacto, como muestra cualquier aplicacin constante o con dominio un espacio que no es compacto. El conjunto (0, 1) no es compacto, y es un subconjunto del espacio compacto [0, 1]. Este ejemplo demuestra que la compacidad tampoco es una propiedad hereditaria. Sin embargo s se hereda a subconjuntos cerrados (la demostracin es anloga a la o a de la proposicin ??). o Proposicin 6.8 Sea un espacio topolgico compacto (X, ) y F X un subcono o junto cerrado. Entonces F es un conjunto compacto. Ser de desear el rec a proco de esta proposicin. Cuando el espacio ambiente es o Hausdor, el resultado sigue siendo cierto. Proposicin 6.9 Sea un espacio topolgico Hausdor (X, ) y A X un subcono o junto compacto. Entonces A es un conjunto cerrado.

CAP ITULO 6.

COMPACIDAD

Demostracin : Se va a demostrar que X \ A es un conjunto abierto. Sea x X \ A. o Para cada y A, y como el espacio es Hausdor, existe U y Ux y existe Vy Uy tal que U y Vy = . Sea Oy satisfaciendo y Oy Vy . Entonces {Oy ; y A} es un recubrimiento por abiertos de A. Por ser A compacto, existe n N tal que A Oy1 . . . Oyn . Llamamos U = U y1 . . . U yn Ux . Entonces U X \ A. q.e.d De esta proposicin, junto con el hecho de que todo espacio mtrico es Hausdor y o e que los conjuntos compactos en un espacio mtrico son compactos, se obtiene: e Corolario 6.10 En un espacio mtrico, todo subconjunto compacto es cerrado y e acotado. Tambin se obtiene como consecuencia el siguiente resultado no trivial: e Corolario 6.11 Sea un espacio topolgico Hausdor (X, ) y A y B dos subcono juntos compactos. Entonces A B es un conjunto compacto. Demostracin : Ya que A y B son compactos, son conjuntos cerrados. Luego A B o es un conjunto cerrado incluido en el compacto A. Por la proposicin 6.8, es un o conjunto compacto. q.e.d Si en la proposicin 6.9 eliminamos la hiptesis Hausdor, entonces el resultado no o o es cierto como muestra el siguiente ejemplo: sea un conjunto con la topolog de a los complementos nitos (X, CF ). Dado x X, el conjunto A = X \ {x} no es un conjunto cerrado de X al no ser nito. Sin embargo, haciendo un razonamiento parecido al que se hizo cuando se prob que (X, CF ) es compacto, el conjunto A es o compacto. Fijmosnos tambin en el siguente ejemplo: e e Ejemplo 6.12 Consideramos el conjunto de los nmero reales R con la topolog u a = {(a, ); a R} {R, }. Este espacio no es compacto, pues el recubrimiento formado por toda la topolog no tiene subrecubrimientos nitos. Los conjuntos a cerrados (, a] no son compactos, pero los conjuntos nitos son compactos y no son cerrados.

6.1. ESPACIOS COMPACTOS Como consecuencia de la proposicin 6.9, se tiene el siguiente teorema: o

Teorema 6.13 Sean dos espacios topolgicos (X, ) y (Y, ), donde el primero es o compacto y el segundo es Hausdor y sea f : X Y una aplicacin continua. o Entonces: o 1. La aplicacin f es cerrada. 2. Si f es una aplicacin biyectiva, entonces es un homeomorsmo. o 3. Si f es una aplicacin inyectiva, entonces es un embebimiento. o Demostracin : o 1. Sea un conjunto cerrado F X. Entonces F es un conjunto compacto. El conjunto f (F ) es un compacto incluido en Y , que es un espacio Hausdor. Por tanto, es un conjunto cerrado. 2. Por el apartado anterior, la aplicacin f es cerrada, y al ser biyectiva y cono tinua, es un homeomorsmo. 3. Si consideramos f : X f (X), se tiene una aplicacin biyectiva, continua y o el espacio f (X) es Hausdor. Por tanto, es un homeomorsmo. q.e.d Este teorema es de gran utilidad para probar que una aplicacin es cerrada, pues o si los espacios satisfacen las hiptesis anteriores de compacidad y separacin, es o o suciente con demostrar la continuidad de la aplicacin. o Probamos a continuacin que la compacidad es una propiedad productiva. o Teorema 6.14 (Tichono ) Sean dos espacios topolgicos (X, ), (Y, ). Entonces o X e Y son compactos si y slo si X Y es compacto. o Demostracin : Supongamos que X e Y son espacios compactos. Usamos el teorema o 6.5. Consideramos la base de la topolog dada por = y supongamos que a X Y = iI Oi Vi , donde Oi Vi . Ya que Y es compacto, {x} Y Y = es compacto, luego existe nx N tal que
x x x {x} Y (O1 V1x ) . . . (Onx Vnx ).

CAP ITULO 6.

COMPACIDAD

x Suponemos sin perder generalidad que en todos los conjuntos abiertos Oij est el a x x x punto x para j = 1, . . . , nx . Llamamos O = O1 . . . Onx , que es un entorno abierto del punto x. Entonces: x x x Ox Y (O1 V1x ) . . . (Onx Vnx ).

Sea ahora el recubrimiento por abiertos {Ox ; x X} del espacio (X, ). Por ser ste e x1 xk compacto, existe k N tal que X = O . . . O . Se tiene entonces: X Y = (Ox1 . . . Oxk ) Y = (Ox1 Y ) . . . (Oxk Y )
x x x (O1 1 V1x1 ) . . . (On1 1 Vnx11 ) . . . x x x x (O1 k V1xk ) . . . (Onk Vnxk ) X Y. x
k k

Veamos el rec proco. Si X Y es un espacio compacto, X = p1 (X Y ) e Y = p2 (X Y ), donde p1 y p2 son las aplicaciones proyecciones. Como la compacidad se mantiene por aplicaciones continuas (proposicin 6.6), tanto X como Y son compactos. q.e.d o Con una demostracin anloga a la anterior, aunque con una notacin ms complio a o a cada, se demuestra el mismo resultado para un nmero nito de espacios topolgicos. u o En general, el teorema de Tichono es cierto para una familia arbitraria de espacios topolgicos, pero su demostracin es ms dif o o a cil. Una consecuencia inmediata de dicho teorema es el famoso teorema de Heine-Borel que nos caracteriza los subconjuntos compactos de los espacios eucl deos. Recordemos que en un espacio mtrico los conjuntos compactos tienen que ser cerrados y e acotados. En el espacio eucl deo Rn el rec proco tambin es cierto. e Teorema 6.15 (Heine-Borel) Los subconjuntos compactos de Rn son los conjuntos cerrados y acotados. Demostracin : Supongamos que A Rn es un conjunto cerrado y acotado. Por o n estar acotado, existe r > 0 tal que A B = [r, r] . . . [r, r]. Pero B es producto de intervalos cerrados. Por el teorema de Tichono, es compacto. Ya que A es un subconjunto cerrado de dicho compacto, es compacto. q.e.d Como consecuencia de este teorema, los subconjuntos compactos de un subconjunto (A, |A ) de Rn son los conjuntos cerrados y acotados de Rn incluidos en A. Mostramos algunos casos sencillos de espacios compactos.

6.1. ESPACIOS COMPACTOS Corolario 6.16 1. La esfera Sn es un conjunto compacto.

n

2. El toro T n = S1 . . . S1 es compacto. 3. De todas las cudricas del espacio eucl a deo, la unica que es compacta es el elipsoide. Corolario 6.17 Los espacios de matrices O(n) y SO(n) son compactos. Por otro lado, SL(n, R) no es compacto. Demostracin : Ya se ha probado en el ejemplo ?? que O(n) y SO(n) son conjuntos o cerrados de Mnn (R). Por otra parte, para cada A O(n), |A|2 = A, A = traza(AAt ) = n, luego O(n) est acotado y por tanto compacto. Concretamente tenemos que O(n) a 2 es un subconjunto de la esfera Sn 1 ( n). El grupo SO(n) es compacto por ser un subconjunto cerrado de O(n). Por otra parte, SL(n, R) no es compacto matrices dada por n 0 1 0 n An = 0 0 ... ... 0 0 porque no est acotado: la sucesin de a o 0 0 1 ... 0 ... 0 ... 0 ... 0 ... ... ... 1

1 n2

es un conjunto no acotado de SL(n, R) pues |An | =

n2 +

+ (n 2).

q.e.d

Corolario 6.18 Sea un espacio topolgico compacto (X, ) y f : X R una aplio cacin continua. Entonces la aplicacin f est acotada y alcanza un mximo y un o o a a m nimo Demostracin : El conjunto f (X) es un conjunto compacto de R, luego es acotado. o Esto quiere decir que la aplicacin f est acotada. Por tanto, el supremo e o a nmo de f (X), que son puntos adherentes, pertenecen a f (X) al ser ste un conjunto e cerrado, es decir, son mximo y m a nimo respectivamente. q.e.d e Corolario 6.19 Sea un espacio mtrico (X, d), x X y A un subconjunto compacto. Entonces existe a A tal que d(x, A) = d(x, a).

10

CAP ITULO 6.

COMPACIDAD

Demostracin : La aplicacin f : A R dada por f (y) = d(x, y) es continua y o o acotada inferiormente. Por el corolario anterior, la aplicacin f alcanza su m o nimo, es decir, existe a A tal que f (a) = d(x, a) d(x, y), para cada y A. q.e.d Sea A un subconjunto de un espacio mtrico. Se dene el dimetro de A como e a (A) = sup{d(x, y); x, y A}. Este nmero puede ser innito. Pero es evidente que el dimetro de un conjunto A u a es nito si y slo dicho conjunto est acotado. o a Corolario 6.20 Sea A un subconjunto compacto de un espacio mtrico (X, d). Ene tonces existen a, b A tales que (A) = d(a, b). Demostracin : Sea dene la aplicacin f : A A R por f (x, y) = d(x, y). o o Probamos que esta aplicacin es continua. Se considera la distancia producto d1 en o AA d1 ((x, y), (x , y )) = d(x, x ) + d(y, y ). Entonces f es una aplicacin continua pues o |f (x, y) f (x0 , y0 )| = |d(x, y) d(x0 , y0 )| d1 ((x, y), (x0 , y0 )). Ya que A es compacto, A A tambin es compacto, luego la funcin f alcanza su e o mximo. Esto signica que existen a, b A tales que a d(a, b) = f (a, b) f (x, y) = d(x, y) para todo x, y A, es decir, d(a, b) = (A). q.e.d

Proposicin 6.21 (Bolzano-Weiertrass) Sea un espacio compacto (X, ). Eno tonces todo subconjunto innito de X posee un punto de acumulacin. o Demostracin : La demostracin se hace por reduccin al absurdo. Sea A un cono o o junto innito sin puntos de acumulacin. Entonces para cada x X existe un o abierto Ox tal que Ox \ {x} no contiene a puntos de A. Se considera el recubrimiento de X dado por {Ox ; x X}. Entonces por ser el espacio compacto, X = Ox1 . . . Oxn . Como Oyx contiene a lo ms un punto de A, el conjunto A es nito, a llegando a una contradiccin. o q.e.d

 6.2. ESPACIOS COMPACTOS Y AXIOMAS DE SEPARACION

11

Corolario 6.22 Todo subconjunto innito y acotado de Rn tiene un punto de acumulacin. o Demostracin : Sea A Rn un conjunto innito y acotado. Por estar acotado, o existe r > 0 tal que A [r, r]n . Entonces A es un conjunto innito de un conjunto compacto, luego posee un punto de acumulacin. o q.e.d

6.2

Espacios compactos y axiomas de separacin o

En la proposicin 6.9 y en el teorema de Heine-Borel, observamos que si a un espacio o compacto le aadimos el axioma de separacin Hausdor, obtenemos resultados n o interesantes. Por ello nos vamos a detener en estudiar cmo afecta los axiomas de o separacin en un espacio compacto. En un espacio Hausdor dos puntos distintos o se pueden separar por conjuntos abiertos. Si el espacio tambin es compacto, dichos e puntos son conjuntos compactos. Podemos generalizar este hecho a dos compactos disjuntos. Lema 6.23 Sean A y B dos subconjuntos compactos y disjuntos de un espacio topolgico (X, ) que es Hausdor. Entonces existen conjuntos abiertos disjuntos o O1 y O2 tales que A O1 , B O2 . Demostracin : Sea a A y lo jamos. Para cada b B, y como el espacio es o Hausdor, existen abiertos disjuntos Ub , Ob , con a Ub , b Ob . Como {Ob ; b B} es un recubrimiento de B, existe un subrecubrimiento nito: B Ob1 . . . Obn . Entonces el entorno de a dado por U a = Ub1 . . .Ubn y el abierto Oa = Ob1 . . . Obn son disjuntos. Consideramos ahora el recubrimiento por abierto del compacto A dado por {U a ; a A. Entonces existe un subrecubrimiento nito: A U a1 . . . U am . Entonces los abiertos O1 = U a1 . . . U am , O 2 = O a1 . . . O am q.e.d

son disjuntos y contienen respectivamente a A y a B. Proposicin 6.24 Un espacio topolgico compacto y Hausdor es normal. o o

Demostracin : Sean F1 y F2 dos conjuntos cerrados disjuntos de un espacio topolgico o o (X, ). Como X es compacto, F1 y F2 son conjuntos compactos. Se aplica ahora el lema 6.23. q.e.d

12

CAP ITULO 6.

COMPACIDAD

Corolario 6.25 Un espacio compacto y Hausdor es regular y satisface el axioma de separacin T4 . o Corolario 6.26 Un espacio topolgico compacto y regular es normal. o Demostracin : Sean dos conjuntos cerrados disjuntos A y B. Para cada x A, o existe un conjunto abierto Ux que contiene a x y un conjunto abierto Ox conteniendo a B tal que Ux Ox = . Se continua ahora de la misma forma que en la demostracin o del lema 6.23. q.e.d

6.3

Compacidad local

Aunque el espacio Rn no es compacto, las bolas cerradas centradas en cada uno de sus puntos es una base de entornos compactos. Denicin 6.27 Un espacio topolgico (X, ) se llama localmente compacto si todo o o punto tiene una base de entornos compactos. Un subconjunto A X se llama localmente compacto si lo es (A, |A ). La denicin es equivalente a que para cada x X y U Ux , existe un entorno o compacto V de x tal que V U . Ejemplo 6.28 1. El espacio eucl deo Rn es localmente compacto.

2. Un espacio topolgico discreto (X, D ) es localmente compacto, pues para cada o x X, x = {{x}} es una base de entornos compactos. En el caso particular de que el conjunto X sea nito, tenemos un ejemplo de un espacio localmente compacto y compacto. 3. El conjunto de los nmeros racionales Q R con la topolog usual no es u a localmente compacto, pues ningn entorno de un punto es un conjunto cerrado u en R, y por tanto, al ser un espacio Hausdor, dicho entorno tampoco es compacto. Con este ejemplo, se muestra que la compacidad local no es una propiedad hereditaria.

6.3. COMPACIDAD LOCAL

13

4. Sea Q el conjunto de los nmeros racionales y su topolog usual. Denimos u a un nuevo espacio topolgico del siguiente modo: el conjunto es X = Q { 2} o y su topolog est denida por = {X}. Entonces X no es localmente a a compacto, pues ningn nmero racional tiene una base de entornos compactos. u u Sin embargo, X es un espacio compacto, pues cualquier recubrimiento por en abiertos de X, el unico abierto que contiene a 2 es el propio conjunto X. Teorema 6.29 Sea (X, ) un espacio topolgico Hausdor. Si todo punto tiene un o entorno compacto, entonces el espacio es localmente compacto. Demostracin : Sea x X y U un entorno suyo compacto. Para probar que X es o localmente compacto, se va a demostrar que para cada entorno V de x, existe un entorno compacto W , tal que W V . Como U es compacto, U es un espacio regular (corolario 6.25). El conjunto V U U es un entorno de x en U , luego existe W Ux tal que W V U . Entonces W es un entorno de x en X y es compacto, por ser un subconjunto cerrado de U . Evidentemente W V . q.e.d Corolario 6.30 Un espacio compacto y Hausdor es localmente compacto. Demostracin : Usando el teorema 6.29, es suciente con tomar como entorno como pacto todo el espacio X. q.e.d Corolario 6.31 Sea (X, ) un espacio Hausdor y A y B dos subconjuntos suyos que son localmente compactos. Entonces A B es localmente compacto. Demostracin : Sea x A B y sean U y V dos entornos de x tales que U A o y V B son conjuntos compactos. Entonces (U A) (V B) es un compacto (corolario 6.11) y es entorno de x en A B. q.e.d Ejemplo 6.32 La recta de Sorgenfrey (R, S ) no es localmente compacta. Para ello vamos a probar que ningn entorno de cada punto es compacto. Sea x R y u sea x = {[x, y); y > x} la base usual de entornos del punto x. Ninguno de estos

14

CAP ITULO 6.

COMPACIDAD
nN 1 [x, y n ) y

entornos de la base es compacto, ya que podemos escribir [x, y) = no se puede extraer un subrecubrimiento nito.

Sea ahora U un entorno de x y supongamos que es compacto. Sea y R tal que [x, y) U . Como [x, y) es un conjunto cerrado y est incluido en un compacto, es a compacto, llegando a una contradiccin. o Tanto en el teorema 6.29, como en el corolario anterior, se puede sustituir el axioma Hausdor por regular. Vemoslo en la siguiente proposicin: a o Proposicin 6.33 Un espacio topolgico regular (X, ) donde todo punto tiene un o o entorno compacto, es localmente compacto. Como consecuencia, un espacio compacto y regular es localmente compacto. o a Demostracin : La demostracin es anloga a la del teorema 6.29: ya que el espacio o es regular y la regularidad es una propiedad hereditaria, siguiendo la misma notacin o que la demostracin de dicho teorema, U es un espacio regular. o q.e.d Teorema 6.34 Sea (X, ) un espacio Hausdor y localmente compacto y A un subconjunto suyo. Entonces A es localmente compacto si y slamente si es interseccin o o de un conjunto abierto y un conjunto cerrado de X. Demostracin : Supongamos primero que (A, |A ) es localmente compacto. Vamos o a probar que A es un conjunto abierto en A. Si demostramos sto, existir O e a tal que A = O A, es decir, A es la interseccin de un conjunto abierto y de un o conjunto cerrado. Sea pues x A. Por ser localmente compacto, existe un entorno compacto U de x en A y ya que X un espacio Hausdor, es un conjunto cerrado en X. Sea O y V Ux tal que x O A V A = U . Como U es un conjunto cerrado en X, O A U y O A es compacto por ser un cerrado de U . A Observemos que O A Ux . Probamos que O A O A: sea y O A y W Uy ; entonces W O Uy y (W V ) A = . Para nalizar, O A O A V A A. Rec procamente, supongamos ahora que A = O F donde O y F F. Ya que A es Hausdor, para probar que es localmente compacto, es suciente con hallar, para cada punto, un entorno en A compacto. Caben varias posibilidades:

6.3. COMPACIDAD LOCAL

15

1. El conjunto A es cerrado. Sea x A. Como X es localmente compacto, sea V Ux un entorno compacto. Llamamos U = V A, que es entorno de x en A. Por ser U interseccin de dos conjuntos cerrados, es cerrado dentro del o compacto V , luego es compacto. 2. El conjunto A es abierto. Sea V Ux compacto tal que x V A. Entonces V es un entorno de x en A y compacto. 3. Si A = OF donde O y F F, entonces A es localmente compacto por ser interseccin de dos espacios Hausdor localmente compactos (corolario 6.31). o q.e.d Corolario 6.35 Los subconjuntos abiertos y cerrados de un espacio localmente compacto y Hausdor son tambin localmente compactos. e A continuacin se estudia el comportamiento de la compacidad local respecto de o aplicaciones continuas y producto topolgico de espacios topolgicos. La aplicacin o o o identidad 1R : (R, D ) (R, S ) entre la topolog discreta y la recta de Sorgenfrey a nos muestra que la compacidad local no se mantiene por aplicaciones continuas. Proposicin 6.36 Sea f : (X, ) (Y, ) una aplicacin sobreyectiva, continua o o y abierta y supongamos que X es localmente compacto. Entonces Y es localmente compacto. Demostracin : Sea f (x) f (X) y U Uf (x) . Por la continuidad y la compacidad o local de X, existe un entorno compacto V de x tal que f (V ) U . Entonces f (V ) es un entorno de f (x) por ser f abierta y es compacto, por serlo V . q.e.d Observemos que la conexin local tampoco se mantiene por aplicaciones continuas, o pero s por aplicaciones continuas y abiertas. Corolario 6.37 La compacidad local es una propiedad productiva. Demostracin : Sean X e Y dos espacios localmente compactos y (x, y) X Y . o Entonces existe x y y bases de entornos compactos de x e y respectivamente.

16

CAP ITULO 6.

COMPACIDAD

Entonces x y es una base de entornos de (x, y) (3.1.3) y son compactos por el teorema de Tichono. Sean ahora dos espacios topolgicos (X, ) e (Y, ) y supongamos que X Y es o un espacio localmente compacto. Entonces X = p1 (X Y ), Y = p2 (X Y ) y la compacidad se mantiene por aplicaciones continuas, sobreyectivas y abiertas. q.e.d Se prob en el corolario 6.25 que un espacio compacto y Hausdor satisfac el o a axioma de separacin T4 . Vamos a obtener ahora un resultado en la misma l o nea para los espacios localmente compactos. Teorema 6.38 Un espacio (X, ) localmente compacto y Hausdor satisface el axioma de separacin T3 . o Demostracin : Slo hay que probar que el espacio es regular. Por hiptesis, todo o o o punto tiene una base de entornos compactos. Ya que X es un espacio Hausdor, estos entornos son cerrados. Por tanto el espacio es regular porque todo punto tiene una base de entornos cerrados (teorema ??). q.e.d Podemos anar ms en el resultado anterior del siguiente modo: a Teorema 6.39 Un espacio localmente compacto y Hausdor es completamente regular. Demostracin : Sea x X y un conjunto cerrado F de X tal que x F . Como o X \ F es un entorno de x, la compacidad local asegura que existe V2 Ux con V2 compacto y x V2 V2 . Usando de nuevo la compacidad local, sea V1 Ux tal que V1 compacto y x V1 V1 V2 V2 X \ F. Ya que V2 es un conjunto compacto dentro de un espacio Hausdor, es un espacio normal, luego existe f : V2 [0, 1] continua tal que f (x) = 0 y f (y) = 1 para cada o y V2 \ V1 . Denimos la siguiente aplicacin: h : (X, ) [0, 1]

 6.4. COMPACTIFICACION DE UN ESPACIO TOPOLOGICO h(x) = f (x) si x V2 1 si x X \ V1 .

17

La aplicacin h es continua y separa x y F : ya que x V2 , h(x) = f (x) = 0; por o otra parte, como F X \ V1 , la funcin h coincide con la funcin constante 1 en F . o o q.e.d

6.4

Compacticacin de un espacio topolgico o o

Como los espacios compactos poseen numerosas propiedades interesantes, ser cona veniente que un espacio que no fuera compacto estuviera embebido en un espacio compacto. El problema de embeber un espacio topolgico no compacto en un espao cio compacto se denomina compacticacin de un espacio y lo estudiamos a contino uacin. Previamente vamos a poner varios ejemplos de cmo introducir un espacio o o topolgico no compacto dentro de uno que s lo es. o Ejemplo 6.40 1. Se considera la proyeccin estereogrca p : Sn \ {N } Rn o a n n n n 1 y f : i p : R S , donde i : S \ {N } S es la aplicacin inclusin. o o Entonces f es un embebimiento de Rn en el espacio compacto Sn . Pero adems, a n n f (R ) es casi todo la esfera, concretamente, la imagen es densa en S . En este caso card(Sn \ f (Rn )) = 1. 2. Consideramos la aplicacin inclusin i : (0, 1) [0, 1]. Entonces i es un o o embebimiento. Adems i((0, 1)) = (0, 1) es un conjunto denso en [0, 1] y a card([0, 1] \ i(0, 1)) = 2. e a o o 3. Podemos tambin considera la apliccin inclusin i : (0, 1) [0, 2]. Esta aplicacin es un embebimiento del intervalo (0, 1) es un espacio compacto. Sin o embargo, y a diferencia del caso anterior, el conjunto [0, 2] \ (0, 1) es grande: podr amos decir que el ejemplo anterior es ms no que ste. a e 4. Se considera un homeomorsmo cualquiera g : R (0, 1) y sea i : (0, 1) [0, 1] la aplicacin inclusin. De nuevo, i g es un embebimiento de R en el o o espacio compacto [0, 1]. Tambin, i g(0, 1) = [0, 1]. Sin embargo, los espacios e 1 los espacios S y [0, 1] no son homeomorfos. Por tanto, adems de saber qu a e es una compacticacin, hay que denir cundo dos compacticaciones son o a iguales.

18

CAP ITULO 6.

COMPACIDAD

Denicin 6.41 Una compacticacin de un espacio topolgico (X, ) es un par o o o ((X , ), f ) donde: 1. El espacio topolgico (X , ) es compacto. o 2. La aplicacin f : (X, ) (X , ) es un embebimiento. o 3. El conjunto f (X) es denso en X . Dos compacticaciones ((X1 , 1 ), f1 ) y ((X2 , 2 ), f2 ) de X son topolgicamente equivo alentes si existe un homeomorsmo h : X1 X2 tal que h f1 = f2 . La equivalencia topolgica es una relacin de equivalencia en el conjunto de todas las o o compacticaciones de un mismo espacio. Se sobreentender que cuando buscamos a distintas compacticaciones de un espacio, lo hacemos salvo dicha equivalencia. Las dos compacticaciones de R dadas en el ejemplo 6.40 no son equivalentes porque S1 y [0, 1] no son espacios homeomorfos. Antes de dar un teorema de existencia (y resultado principal de esta seccin), estuo diamos qu ocurre si intentamos compacticar un espacio compacto. En general, y e bajo adecuadas condiciones de separacin, no tiene sentido compacticar un espacio o compacto. Proposicin 6.42 Toda compacticacin Hausdor de un espacio compacto (X, ) o o es equivalente a ((X, ), 1X ) Demostracin : Sea ((X , ), f ) una compacticacin de (X, ). Entonces f (X) es o o un compacto de X . Ya que X es Hausdor, el conjunto f (X) es cerrado. Por otra parte, f (X) = X . Por tanto f (X) = X y f es un homeomorsmo. Evidentemente f 1 f = 1X . q.e.d Cuando la compacticacin no es Hausdor, no es cierto el anterior resultado, como o muestra el siguiente o Ejemplo 6.43 Sea un espacio topolgico (X, ) y p X. Sea X = X {p} y consideramos la topolog = {X }. Entonces, (X , ) es una compacticacin a o no Hausdor de (X, ), considerando la aplicacin inclusin i : X X . Si el o o

 6.4. COMPACTIFICACION DE UN ESPACIO TOPOLOGICO

19

espacio (X, ) es compacto y Hausdor, X es una compacticacin de X que no es o homeomorfa a X. Como ultima observacin, si f : (X, ) (X , ) es un embebimiento de X en o un espacio compacto X , ((X , ), f ) no tiene porqu ser una compacticacin (la e o imagen de X puede no ser densa en X ). Sin embargo, podemos cambiar X por f (X) y entonces s tener una compacticacin: f (X) es un conjunto cerrado en X y o por tanto compacto. Un ejemplo de esta situacin es la siguiente: sea g : (0, 1) R o la aplicacin dada por g(x) = sen (1/x). Entonces la aplicacin f : (0, 1) [0, 1] o o [1, 1], denida por f (x) = (x, g(x)) es un embebimiento en un espacio compacto. Sin embargo la imagen no es densa. Entonces (f (X), f ) es una compacticacin de o 1 (0, 1). Esta compacticacin no es equivalente ni a S ni a [0, 1]. o Teorema 6.44 Sea un espacio topolgico (X, ) que no es compacto y un objeto o que no pertenece a X. Se dene el conjunto X = X {} y = {O X ; X \ O es cerrado y compacto en X}. Entonces, ((X , ), i) es una compacticacin de X, donde i : X X es la o aplicacin inclusin. o o Dicha compacticacin se llama compacticacin de Alexandrov o compacticacin o o o por un punto. El hecho de llamarse por un punto se debe a que el cardinal del conjunto X \ i(X) es uno. Demostracin : Observemos que el punto slo pertenece a los conjuntos abiertos o o del segundo tipo y, por otra parte, todos los abiertos que no estn en contienen a a . 1. Probamos que es una topolog en X . Es evidente que . Por a otra parte es cerrado y compacto en X, y X = X \ , luego X . Sean O1 , O2 . Si ambos pertenecen a , entonces su interseccin tambin o e pertenece a . Si O1 O2 , entonces X \ O1 , X \ O2 son cerrados y compactos en X, luego su unin es cerrada y compacta en X. Por las leyes o de Morgan, O1 O2 .

20

CAP ITULO 6.

COMPACIDAD

El caso que queda es cuando O1 y O2 y . Entonces O1 O2 . Se concluye que O1 O2 = O1 (O2 \ {}) = O1 (O2 X) = O1 (X \ (X \ O2 )) . Sea ahora {Oi }iI una familia de conjuntos de . Si para cada i I, Oi entonces la unin est en . Supongamos ahora que i0 I tal que o a Oi0 . El conjunto X \ Oi0 es cerrado y compacto en X. Entonces
iI

Oi = (

jJ

Oj ) (

kK

Ok ),

donde Oj , j J y Ok , k K. Entonces X \
I

Oi =

jJ

(X \ Oj )

kK

(X \ Ok ) X \ Oi0 , entonces

es un subconjunto cerrado en X. Como X \ X \ iI Oi es compacto.

iI Oi

2. Probamos que la inclusin i : X X es un embebimiento: esto equivale a o probar que = |X . Sea O , entonces O = O X |X . Por otra parte sea O |X . Entonces existe O tal que O = O X. Caben dos posibilidades: si O , entonces O X . La otra posibilidad es que O . Entonces O = (O \ {}) X = X \ (X \ O ) . 3. Demostramos que (X , ) es compacto. Sea {Oi ; i I} un recubrimiento por abiertos de X . Sea i0 I tal que Oi0 . Entonces X \ Oi0 es un conjunto compacto en X y ya que (X, |X = ), es un compacto en X , existe n N tal que X \ Oi0 Oi1 . . . Oin . Por tanto X = Oi0 Oi1 . . . Oin . 4. Por ultimo se prueba que i(X) = X es denso en (X , ). En caso contrario, existir O tal que O X = . Entonces O e O. Luego a X X \ O, es decir, X = X \ O. Esto quiere decir que X es compacto, lo cual es falso. q.e.d

 6.4. COMPACTIFICACION DE UN ESPACIO TOPOLOGICO

21

Observemos que si el espacio X es Hausdor, entonces todo subconjunto compacto es cerrado. Por tanto la topolog est descrita como a a = {O X ; X \ O es compacto en X}. Ejemplo 6.45 Si tomamos como espacio topolgico la recta eucl o dea R, la compacticacin de Alexandrov de R es la siguiente. Tomamos R = R {}, donde o tiene el mismo signicado dado anteriormente, es decir, un objeto que no pertenece al conjunto R. Una base de es la siguiente: = {(a, b); a < b} {(, a) (b, ) {}; a < b, a, b R} . Teorema 6.46 Sea un espacio topolgico (X, ) no compacto. Entonces (X , ) o es Hausdor si y slo si (X, ) es Hausdor y localmente compacto. o Demostracin : Supongamos que X es un espacio Hausdor. Como esta propiedad o es hereditaria y = |X , el espacio (X, ) es Hausdor. Por otra parte el espacio (X , ) es Hausdor y compacto, luego es localmente compacto. Como X es un conjunto abierto, es localmente compacto (corolario 6.35). Rec procamente, supongamos que (X, ) es un espacio Hausdor y localmente compacto. Probamos que X es Hausdor. Sean x, y X distintos. Caben dos posibilidades: 1. Los puntos x e y pertenecen a X. Ya que X es Hausdor, existen entornos de X, y por tanto de X , que los separan. 2. El caso que queda es que x = . Por ser X Hausdor y localmente compacto, existe un entorno V de y que es compacto y cerrado en X. Por tanto U = X \V es un abierto en X que contiene a que es disjunto con V . q.e.d Teorema 6.47 Sea (X, ) un espacio topolgico no compacto. Entonces o 1. El espacio X admite una compacticacin Hausdor por un punto si y slamente o o si X es Hausdor y localmente compacto.

22

CAP ITULO 6.

COMPACIDAD

2. Si X es un espacio Hausdor y localmente compacto, dos compacticaciones Hausdor por un punto son topolgicamente equivalentes y por tanto equivao lentes a la compacticin de Alexandrov. o o Demostracin : o 1. Consideramos ((X , ), f ) una compacticacin por un punto y Hausdor del espacio (X, ) y = X \f (X). El espacio X es Hausdor, pues es homeomorfo al conjunto f (X) que es Hausdor. Ya que {} es un conjunto cerrado, el conjunto f (X) es un subconjunto abierto en X . Como ste es e Hausdor y localmente compacto, f (X) es localmente compacto (corolario 6.35). Por ultimo, y ya que X es homeomorfo a f (X), es localmente compacto. 2. Sea ahora ((X , ), f ) otra compacticacin por un punto de X, X = f (X) o {}. Se dene la aplicacin h : X X mediante h() = y h(f (x)) = x, o x X. Entonces h es una aplicacin biyectiva y h f = i. Probamos que h o es una aplicacin abierta. Sea O . Si O f (X), entonces O |f (X) = o f ( ), luego existe O tal que f (O) = O . Por tanto h(O ) = O . Si O , el conjunto X \ O es cerrado en X , luego es compacto. Como X \ O f (X), existe un subconjunto K de X que es cerrado y compacto y tal que f (K) = X \ O . Entonces h(O ) = X \ K . Ya que el espacio X es compacto y X es Hausdor, la aplicacin h es cerrada. o Como h es una aplicacin biyectiva, abierta y cerrada, es un homeomorsmo. o q.e.d Corolario 6.48 La unica compacticacin Hausdor por un punto de un espacio o no compacto Hausdor y localmente compacto es la compacticacin de Alexandrov. o De este corolario y del ejemplo 6.40, se obtiene: Corolario 6.49 La esfera Sn es la compacticacin de Alexandrov de Rn . o Ejemplo 6.50 Consideramos el conjunto de los nmeros naturales N con su topolog u a 1 usual y sea X = {0} { n ; n N}. Entonces la compacticacin de Alexandrov de o N es ((X, u )f : N X) donde u es la topolog usual de N y la aplicacin f est a o a denida mediante f (x) = 1/x. Para probarlo, usamos el corolario 6.48. Ya que N es un espacio no compacto, Hausdor y localmente compacto, slo hay que probar o que ((X, u ), f ) es una compacticacin de N. El espacio X es compacto por ser o

 6.4. COMPACTIFICACION DE UN ESPACIO TOPOLOGICO

23

una sucesin convergente junto con su l o mite (ejemplo 6.3). La inyectividad de f es evidente. Por otra parte, la aplicacin f : N f (N) es un homeomorsmo, ya o que ambos espacios N y f (N) tienen la topolog discreta. Por ultimo, el punto 0 es a adherente a f (N) al ser el l mite de la sucesin. Por tanto, f (N) = X. o Ejemplo 6.51 Haciendo un razonamiento anlogo al ejemplo anterior, el intervalo a cerrado [0, 1] es la compacticacin de Alexandrov de [0, 1) con la aplicacin la o o inclusin i : [0, 1) [0, 1]. o En la compacticacin de Alexandrov, el espacio X es un subconjunto abierto en o X . Este hecho se generaliza en el siguiente corolario: o Corolario 6.52 Sea (X, ) un espacio topolgico localmente compacto y Hausdor y consideramos ((X , ), f ) una compacticacin Hausdor de X. Entonces f (X) o . Demostracin : Se ha probado que un subconjunto A localmente compacto en un o espacio Hausdor y localmente compacto (X , ) satisface A A . En nuestro caso, elegimos A = f (X). Ya que A es denso, f (X) . q.e.d Para nalizar esta seccin, mostramos una compacticacin por dos puntos de la o o recta eucl dea R. Ejemplo 6.53 Sean p, q R. En X = R {p, q} se dene la topolog generada a por la base = {(a, b); a < b, a, b R} {(, a) {p}; a R} {(b, ) {q}; b R}. La topolog usual u de R est incluida en . Consideramos la aplicacin inclusin a a o o i : R X. Entonces ((X, ), i) es una compacticacin Hausdor por dos puntos o de R. Empezamos probando que la inclusin es un embebimiento. Basta con probar que o u = |R . La inclusin u |R es evidente. Sea ahora un intervalo de la base o y lo intersecamos con R. Entonces las posibilidades de la interseccin son (, a), o (b, ) o (a, b), con a, b R. En cualquier caso, son conjuntos abiertos de R.

24

CAP ITULO 6.

COMPACIDAD

Probamos que (X, ) es un espacio compacto. Para ello sea {Oi ; i I} un recubrimiento por abiertos bsicos de X. Sean (, a) {p}, (b, ) {q} abiertos a que contengan a p y q respectivamente (podemos suponer que a < b). Entonces [a, b] iI Oi . Ya que el intervalo [a, b] es compacto en X, existe n N tal que [a, b] Oi1 . . . Oin . Entonces X = ((, a) {p}) ((b, ) {q}) Oi1 . . . Oin . Por ultimo, es evidente que R es un conjunto denso en X y que (X, ) es un espacio Hausdor.

6.5

Ejercicios

1. Dado un espacio topolgico (X, ) y dos subconjuntos compactos A, B X, o estudiar si A B y A B son conjuntos compactos. Dar un ejemplo de dos subconjuntos no compactos de R cuya unin sea compacta. o 2. Sea una aplicacin f : X Y entre dos espacios compactos y Hausdor. o Probar que f es continua si y slo si el grafo de f es un conjunto cerrado en o X Y. 3. Sea (X, d) un espacio mtrico, A un subconjunto compacto y B X. Probar e que existe a A tal que d(a, B) = d(A, B). Como consecuencia, si B es cerrado y A B = se tiene que d(A, B) > 0. 4. Consideramos la recta real R con la topolog de los complementos numerables, a CN . Se considera el espacio (R {0, 1}, CN T ), donde T es la topolog a trivial. Probar que todo subconjunto innito posee puntos de acumulacin, o pero el espacio no es compacto. o 5. Estudiar la compacidad y la compacidad local del siguiente espacio topolgico: 1 X = (0, 1) y = {(0, 1 n ); n N} {, X}. Caracterizar los subconjuntos compactos. o 6. Caracterizar los subconjuntos compactos del espacio topolgico (X, ), donde X = [1, 1] y = {O X; 0 O} {O X; (1, 1) O}.

6.5. EJERCICIOS

25

7. Sea (X, ) un espacio Hausdor. Si A es un subconjunto compacto de X, probar que el conjunto de puntos de acumulacin de A tambin es compacto. o e 8. Consideramos el siguiente subconjunto de la esfera S2 :
2 H+ = {(x, y, z) S2 ; z 0}.

Demostrar que es compacto y localmente compacto y probar que la proyeccin o 2 2 p : H+ R , dada por p(x, y, z) = (x, y) es un embebimiento. 9. Estudiar la compacidad y la compacidad local de los siguientes subconjuntos de R:
n+2 (a) A = { n+1 ; n N}.

(b) B = N.
1 (c) C = {(1)n + n ; n N}.

(d) D = { n+1 ; n N} {1}. n 10. Dar un ejemplo de un espacio topolgico (X, ) y de un subconjunto suyo A o satisfaciendo: (a) A no es compacto y A s lo es. (b) A es compacto y A no lo es. (c) A es compacto y A no lo es. (d) A no es compacto y A s lo es. 11. Demostrar que no existe ninguna funcin continua f : [0, 1] Q que satisface o f (x) R \ Q si x Q y f (x) Q si x R \ Q. 12. Sea f : (X, d) (Y, d ) una aplicacin continua entre dos espacios mtricos o e donde el dominio es un espacio compacto. Probar que la aplicacin es unio formemente continua. 13. (Teorema de Sierpinski) Sea X un espacio compacto, conexo y Hausdor. Probar que no es posible encontrar una particin por conjuntos cerrados y o disjuntos dos a dos X = nN Fn , a no ser que todos los cerrados Fn , salvo uno, sean vac os. (Sugerencia: construir una sucesin decreciente de compactos o {Cn } tal que Cn Fn = , para cada n N. Sea el conjunto abierto Om tal que Om Fm y Om A1 = . Sea C1 una componente conexa de On que interseque a Am . Sea ahora {C1 Fk ; k 2} y C1 y repetir el proceso).

26

CAP ITULO 6.

COMPACIDAD

14. Sea un espacio topolgico (X, ) tal que para cada punto existe una base de o entornos cerrados y ninguno de ellos es compacto. Probar que (X, ) no es localmente compacto. 15. Se considera la recta real R con la topolog de los complementos nitos CF . a Probar que es una compacticacin de (R\{0}, CF ) con la aplicacin inclusin. o o o Estudiar si tambin lo es de R \ N. e 16. Sea un espacio topolgico (X, ) Hausdor localmente compacto y no como pacto. Sea ((X , ), f ) una compacticacin Hausdor de (X, ). Probar que o existe una aplicacin continua y sobreyectiva g : X X tal que g f = i. o 17. Probar que la compacticacin de R mediante dos puntos del ejemplo 6.53 es o equivalente a la dada por [0, 1] en el ejemplo 6.40. 18. Sean dos espacios topolgicos (X, ) e (Y, ). Sean ((X1 , 1 ), f ) e ((Y1 , 1 ), g) o dos compacticaciones de X e Y respectivamente. Probar que ((X1 Y1 , 1 1 ), f g) es una compacticacin de X Y . Si ambas son las compactio caciones de Alexandrov por un punto, es X1 Y1 la compacticacin de o Alexandrov por un punto de X Y ? o 19. Sea X = [0, 1) [2, 3) [4, 5) Probar que la compacticacin de Alexandrov por un punto de X es el subconjunto ([1, 1] {0}) ({0} [0, 1]) de R2 .