TOPOLOGA

Resumen Curso 2012/2013

Captulo 1 Espacios mtricos

1.1. Medir la proximidad

Sea X un conjunto. Denotaremos por X X al conjunto de los pares de elementos de X . Denicin 1.1.1. Una distancia sobre X es una aplicacin d : X X R cumpliendo: 1. d(x, x ) 0, x, x X , 2. d(x, x ) = d(x , x), x, x X (Propiedad simtrica), 3. d(x, x ) = 0 si y slo si x = x , x, x X , 4. d(x, x ) d(x, x )+d(x, x ), x, x , x X (Propiedad triangular), Al par (X, d) se le llama espacio mtrico. Si la condicin (3) se sustituye por (3 ) d(x, x) = 0, entonces d se llama seudodistancia y el par (X, d) espacio seudomtrico. Denicin 1.1.2. Sea V un espacio vectorial sobre R. Una norma sobre V es una aplicacin || || : V R cumpliendo: 1. ||v || 0, v V , 2. ||v || = || ||v ||, R, v V , 3. ||v || = 0 si y slo si v = 0, v V , 2

CAPTULO 1. ESPACIOS MTRICOS 4. ||v + w || ||v || + ||w ||, v, w V . Al par (V, || ||) se le llama espacio normado.

Proposicin 1.1.3. Si (V, || ||) es un espacio normado, la aplicacin d : V V R dada por d(v, w ) = ||v w || es una distancia sobre V . A (V, d) se le llama espacio mtrico asociado al espacio normado (V, || ||). Denicin 1.1.4. Sea (X, d) un espacio (seudo)mtrico. Dados x X y > 0, se llama bola abierta de centro x y radio a Bd (x, ) = {y X ; d(x, y ) < }. Una bola cerrada de centro x y radio es Bd [x, ] = {y X ; d(x, y ) }. Una esfera de centro x y radio es Sd [x, ] = {y X ; d(x, y ) = }. Proposicin 1.1.5. (Propiedades de las bolas abiertas) Sea (X, d) un espacio (seudo)mtrico. Se cumplen: 1. Dados > 0 y x X , x Bd (x, ). 1. Si 0 < < , entonces Bd (x, ) Bd (x, ). 2. Si y Bd (x, ), donde x, son arbitrarios, entonces existe > 0 con Bd (y, ) Bd (x, ). 3. Si z Bd (x, ) Bd (x , ), entonces existe > 0 tal que Bd (z, ) Bd (x, ) Bd (x , ). Proposicin 1.1.6. (Propiedad de separacin de Hausdor ) Si (X, d) es un espacio mtrico y x = x X , entonces existe > 0 tal que Bd (x, ) Bd (x , ) = .

CAPTULO 1. ESPACIOS MTRICOS

1.2.

Conjuntos que envuelven a sus puntos

Denicin 1.2.1. Sea (X, d) un espacio (seudo)mtrico y A X . Decimos que x X es un punto interior de A si existe > 0 tal que Bd (x, ) A. En tal caso se dice que A es entorno de x en (X, d). Se llama interior de A en (X, d), denotado por intA, a: intA = {x X, x es interior a A}. Un conjunto A X se dice abierto en (X, d) si A = intA. Proposicin 1.2.2. 1. Se cumple que intA A en todo espacio (seudo)mtrico (X, d). 2. Toda bola abierta en un espacio (seudo)mtrico es un conjunto abierto en (X, d). Proposicin 1.2.3. En los espacios mtricos (R2 , de (eucldea)), (R2 , dtaxi ) y (R2 , dmax ), cualquier conjunto A R2 tiene el mismo interior. Por tanto, las familias de los conjuntos abiertos de los tres espacios coinciden. Corolario 1.2.4. Las bolas abiertas de (R2 , de ), son abiertos en (R2 , dtaxi ) y (R2 , dmax ). Anlogamente para el resto de los casos. Proposicin 1.2.5. Sea (X, d) un espacio (seudo)mtrico. Entonces: 1. A X es abierto en (X, d) si y slo si A es entorno de todos sus puntos. 2. N X es entorno de x en (X, d) si y slo si existe un abierto G en (X, d) con x G N . 3. x es un punto interior de A en (X, d) si y slo si existe un abierto G con x G A. Proposicin 1.2.6. (Propiedades del interior) Sea (X, d) un espacio (seudo)mtrico. Entonces: 1. intA A. 2. Si A B , entonces intA intB . 3. int(A1 . . . An ) = intA1 . . . intAn . 4. int(intA) = intA. En particular, intA siempre es abierto.

CAPTULO 1. ESPACIOS MTRICOS

Proposicin 1.2.7. (Propiedades bsicas de los conjuntos abiertos en un espacio (seudo)mtrico). Dado un espacio (seudo)mtrico (X, d), se cumplen: 1. Los conjuntos y X son abiertos en (X, d). 2. Si A1 , . . . , An son abiertos en (X, d), entonces A1 . . . An tambin es abierto. 3. Si {A } es una familia cualquiera de abiertos en (X, d), entonces A tambin lo es.

Captulo 2 Espacios topolgicos

En el captulo anterior vimos que distacias distintas podan dar lugar a un mismo ontrol de proximidad". Por tanto debe existir una nocin subyacente a la de distancia que nos lleve a la fundamentacin general de la idea de proximidad. Esta estructura es la de topologa como coleccin de subconjuntos sujetos a las condiciones que se reejan en la propiedades bsicas de los conjuntos abiertos de los espacios (seudo)mtricos en la proposicin ??. El relevo de una (seudo)distancia por la familia de abiertos permite establecer sobre un conjunto una estructura de proximidad sin valores numricos.

2.1.

La proximidad sin distancia

Denicin 2.1.1. Dado un conjunto X cualquiera, se llama topologa sobre X a cualquier familia T de subconjuntos de X cumpliendo: 1. Los conjuntos y X estn en T . 2. Si A1 , . . . , An estn en T , entonces n i=1 Ai tambin est en T . 3. Si {A } est formada por conjuntos en T , entonces A tambin est en T . Al par (X, d) se le llama espacio topolgico. Los conjuntos de T se llaman abiertos del espacio topolgico (X, T ). Nota 2.1.2. Se cumple que Tdeucl = Tdtaxi = Tdmax , es decir, que el dea espacio topolgico asociado a las tres distancias es el mismo.

CAPTULO 2. ESPACIOS TOPOLGICOS

Denicin 2.1.3. Sea (X, d) un espacio topolgico. Si A X y x X , decimos que x es interior a A en (X, T ) si existe un G en T con x G A. En particular, A. Se llama interior del conjunto A en (X, T ) al conjunto intA = {x X ; x es interior a A}. Nota 2.1.4. Observamos que intA A siempre se cumple. Proposicin 2.1.5. El conjunto A est en T si y slo si A = intA. Denicin 2.1.6. Dado N X , decimos que N es entorno de x X en el espacio topolgico (X, T ) si x intN . Proposicin 2.1.7. A est en T si y slo si es entorno de todos sus puntos. Denicin 2.1.8. Dado (X, d) un espacio topolgico, se dice que x A es un punto aislado en A X si existe G en T con x G tal que G A = {x}. En particular, x se dice aislado en X si existe G en T con G = {x}. Si un punto x A no es aislado en A, entonces para todos G en T y x G se cumple que G A = {x}, es decir, que (G {x}) A = . Un punto no aislado se dice punto de acumulacin; esto es Denicin 2.1.9. Dado un espacio topolgico (X, T ) y A X , decimos que x X es punto de acumulacin de A si para todo abierto G en (X, T ) con x G, se cumple que (G {x}) A = . Proposicin 2.1.10. (Caracterizacin de puntos de acumulacin en espacios mtricos) Dados (X, d) un espacio mtrico y A X , el punto x X es de acumulacin de A si y slo si todo abierto G en (X, d) contiene innitos puntos de A. Corolario 2.1.11. Si (X, d) es un espacio mtrico y A = {a1 , . . . , an } es un conjunto nito, todos sus puntos son aislados. Denicin 2.1.12. Dados (X, T ) un espacio topolgico y un conjunto A X , decimos que x X es punto adherente a A si todo abierto G de T con x G cumple G A = . = {x Denicin 2.1.13. Se llama clausura de A al conjunto A X ; x es adherente a A}. . Un conjunto A se Por la nota anterior, siempre se cumple A A llama cerrado en (X, T ) si A = A.

CAPTULO 2. ESPACIOS TOPOLGICOS

Proposicin 2.1.14. Si X es innito, no existe ninguna distancia d sobre X cuyos abiertos sean los conjuntos que aparecen en la topologa de Zariski. Nota 2.1.15. Se deja como ejercicio el demostrar que tampoco existe una seudodistancia d sobre un conjunto innito X para la cual la topologa de Zariski sea la familia de abiertos de (X, d). Denicin 2.1.16. Sea (X, d) un espacio topolgico. Una sucesin {xn }n1 de X se dice que converge a x0 X (o equivalentemente, que x0 es un punto lmite de {xn }n1 ) en (X, T ) si para todo abierto G de (X, T ) con x0 G existe n0 tal que si n n0 , entonces xn G. Proposicin 2.1.17. Sea (X, d) un espacio mtrico. Toda sucesin convergente en (X, d) tiene un nico punto lmite. Denicin 2.1.18. Un espacio topolgico (X, T ) se dice que tiene la propiedad de separacin de Hausdor (o que es un espacio de Hausdor ) si dados x, x X con x = x , existen abiertos G, G en (X, T ) tales que x G, x G y G G = . Proposicin 2.1.19. Si (X, T ) es un espacio topolgico de Hausdor, entonces toda sucesin convergente tiene un nico punto lmite. Proposicin 2.1.20. (Caracterizacin de la clausura en espacios (seudo)mtricos). Sea (X, d) un espacio (seudo)mtrico. Son equivalentes: con x X y A X . 1. x A 2. Dado > 0, existe a A con d(x, a) < . 3. Existe {an }n1 A con {an }n1 convergiendo a x. Corolario 2.1.21. En un espacio (seudo)mtrico, A es cerrado si y slo si para todo x X para el cual exista {an }n1 A convergiendo a x se tiene que x A.

2.2.

Propiedades de la clausura y el interior

Proposicin 2.2.1. (Propiedades de la clausura y el interior. Anlisis de la posicin) Sea (X, ) un espacio topolgico. Se cumple: 1. Si A X entonces A A.

CAPTULO 2. ESPACIOS TOPOLGICOS 2. Si A B entonces A B . 3. A1 ... An = A1 ... An . 4. A = A. En particular, A siempre es cerrado. Proposicin 2.2.2. (Dualidad abierto-cerrado) Sea (X, ) un espacio topolgico. Dado A X se tiene: 1. A = X int(X A). 2. int(A) = X (X A). En particular, A es abierto si y slo si X A es cerrado.

Proposicin 2.2.3. (Propiedades de los cerrados) 1. y X son cerrados. 2. Si A1 ...An son cerrados, entonces n i=1 Ai es cerrado. 3. Si {A } es una familia de cerrados, entonces A es cerrado. Proposicin 2.2.4. Sea (X, ) un espacio topolgico. Entonces, para todo A X , se tiene: A = (A A ) A donde A = {x X, x es punto de acumulacin}. Denicin 2.2.5. Sea (X, ) un espacio topolgico. Dado A X , decimos que x X es un punto frontera de A si para todo conjunto G abierto de (X, ) con x G, se verica que G A = y (X A) G = . Se llama conjunto frontera de A a F rA = {x X, x punto frontera de A} Proposicin 2.2.6. F rA = A X A Proposicin 2.2.7. Sea (X, ) un espacio topolgico. Entonces, para todo A X , se cumple: A = int(A) F rA Adems, int(A) F rA = . Denicin 2.2.8. Sea (X, ) un espacio topolgico, y A X . Un elemento x X se dice exterior a A si x int(X A). Se dene el exterior de A como: ext(A) = int(X A)

CAPTULO 2. ESPACIOS TOPOLGICOS Proposicin 2.2.9. Sea (X, ) un espacio topolgico, entonces: 1. F rA = F r (X A) 2. X = int(A) F rA ext(A) 3. Los anteriores conjuntos son disjuntos entre s.

10

Denicin 2.2.10. Sea (X, ) un espacio topolgico, A X se dice denso en (X, ) si A = X . Denicin 2.2.11. Sea (X, ) un espacio topolgico, y A X . Sea la familia de subconjuntos de A, A = {A G, G }. Entonces, la familia A es una topologa sobre A, llamada topologa relativa a A (o restriccin). A (A, A ) se le llama subespacio topolgico de (X, ), y se tiene que C A es un cerrado de (A, A ) si y slo si C = {F A, F cerrado de (X, )} Adems, si A abierto de (X, ), entonces todos los abiertos de (A, A ) son abiertos de (X, ). Del mismo modo se tendr para los cerrados. Nota 2.2.12. Si B A X y (X, ) espacio topolgico, denotamos por X A B a la clausura de B en (X, ), y B , a la clausura de B en (A, A ). A X Probar que B = B A. Nota 2.2.13. Sea (X, d) un espacio (seudo)mtrico, y sea d la topologa de los abiertos de (X, d). Dado A X , denotamos por d|A a la distancia restriccin cuyos abiertos forman la topologa d|A , entonces se tiene d|A = (d )A . Se deja como ejercicio comprobar la igualdad (Ayuda: se tiene que para toda a A, Bd|A (a, ) = Bd (a, ) A).

2.3.

Continuidad

Denicin 2.3.1. Sean (X, ) e (Y, ) espacios topolgicos. Una aplicacin f : (X, ) (Y, ) se dice continua si para todo A X , se verica que f (A) f (A). Es decir, si para todo a A, entonces, f (a) f (A). Proposicin 2.3.2. (Caracterizacin de la continuidad por abiertos y cerrados) Sean (X, ) e (Y, ) espacios topolgicos, y sea una aplicacin f : (X, ) (Y, ). Son equivalentes:

CAPTULO 2. ESPACIOS TOPOLGICOS

11

(1) f es continua. (2) Si F es un cerrado en (Y, ), entonces f 1 (F ) es cerrado en (X, ). (3) Si G es un abierto en (Y, ), entonces f 1 (G) es abierto en (X, ). Proposicin 2.3.3. (Caracterizacin en espacios (seudo)mtricos) Sea f : (X, d) (Y, d ) una aplicacin entre espacios (seudo)mtricos. Son equivalentes: (1) f es continua (con la caracterizacin por abiertos). (2) Para todo x X y para todo > 0, existe > 0 tal que si d(x, x ) < , entonces, d (f (x), f (x )) < . O equivalentemente, f (Bd (x, )) Bd (f (x), ). Proposicin 2.3.4. (Caracterizacin por convergencia) Sea f : (X, d) (Y, d ) una aplicacin entre espacios (seudo)mtricos. Son equivalentes: (1) f es continua. (2) Si {xn }n1 X y {xn }n1 converge a x0 en (X, d), entonces {f (xn )}n1 converge a f (x0 ) en (Y, d). Proposicin 2.3.5. (Propiedades generales de las aplicaciones continuas) a) Cualquier aplicacin constante es continua. b) La identidad id : (X, ) (X, ) es continua. c) La composicin de aplicaciones continuas es continua. d) La restriccin de una aplicacin continua es continua respecto de la topologa restriccin (o relativa). Notar que b) + d) implica que toda inclusin i : (A, A ) (X, ) : i(a) = a a A, con A X , es continua. Proposicin 2.3.6. Sea f : (X, ) (Y, ) continua, y f : (X, ) (f (X ), |f (X ) ) la restriccin sobre la imagen, dada por f (x) = f (x) x X . Entonces f es continua. Denicin 2.3.7. Una aplicacin f : (X, ) (Y, ) se dice equivalencia topolgica (homeomorsmo) si f es biyectiva, y f y f 1 son continuas.

CAPTULO 2. ESPACIOS TOPOLGICOS

12

Proposicin 2.3.8. Las proyecciones pi : (Rn ,eucldea) (R,eucldea), denidas como pi (x1 , ..., xn ) = xi , para 1 i n son siempre continuas. Proposicin 2.3.9. Una aplicacin f : (X, ) (Rn ,eucldea) es continua si y slo si pi f : f : (X, ) (R,eucldea) es continua para todo 1 i n. Proposicin 2.3.10. Si f : (X, ) (Y, ) es un homeomorsmo y G X es un abierto de (X, ), entonces f (G) es abierto de (Y, ). Se tendr un resultado anlogo para los cerrados. Denicin 2.3.11. Una aplicacin f : (X, ) (Y, ) se dice abierta si para todo abierto G de (X, ), entonces f (G) es abierto de (Y, ). Anlogamente, se dice que f es cerrada si para todo cerrado F de (X, ), entonces f (F ) es cerrado de (Y, ). Proposicin 2.3.12. f es homeomorsmo si y slo si es biyectiva, continua y abierta, si y slo si es biyectiva, continua y cerrada. Proposicin 2.3.13. Todos los intervalos abiertos de R son homeomorfos entre s (incluyendo R). Denicin 2.3.14. Dada f : (R,eucldea) (R,eucldea), se llama grca de f a f = {(x, y ) : y = f (x)} R2 Denicin 2.3.15. Una inmersin es una aplicacin continua e inyectiva f : (X, ) (Y, ), cuya restriccin a la imagen f : (X, ) (f (X ), f (X ) ) es homeomorsmo. Proposicin 2.3.16. Si f es continua, f es una inmersin de (R,eucldea) en (R2 ,eucldea).

Captulo 3 Compacidad
3.1. Denicin y primeros ejemplos

Denicin 3.1.1. Dado un conjunto X y A X , un recubrimiento de A en X es una familia {C } de subconjuntos de X tal que A C . Nota 3.1.2. Si A = X la inclusin es una igualdad: X =

C .

Denicin 3.1.3. Un subrecubrimiento de {C } es una subfamilia {C } con y an A C Denicin 3.1.4. Sea (X, ) un espacio topolgico. Un subconjunto A X se dice compacto en (X, ) si de todo recubrimiento de A por abiertos en (X, ) se puede extraer un subrecubrimiento nito. Nota 3.1.5. Si A = X decimos que (X, ) es un espacio compacto. Lema 3.1.6. A es compacto en (X, ) si y solo si el subespacio (A, A ) es compacto.

3.2.

La compacidad y los conjuntos cerrados

Denicin 3.2.1. Una familia de conjuntos {A } se dice que tiene la Propiedad de Interseccin Finita (PIF) si toda subfamilia nita A1 , . . . , An tiene interseccin A1 An = no vaca. Proposicin 3.2.2. Sea (X, ) un espacio topolgico. Son equivalentes: 1. (X, ) es compacto.

13

CAPTULO 3. COMPACIDAD

14

2. Tada familia de cerrados con la PIF tiene interseccin distinta de vaco. Proposicin 3.2.3. (Los cerrados heredan la compacidad). Sea (X, ) un espacio topolgico y F X cerrado en l. Entonces F es compacto en (X, ). Corolario 3.2.4. En (R, euclidea) si A es cerrado y acotado, entonces A es compacto.

3.3.

Compacidad y propiedad de Haussdor

Proposicin 3.3.1. (Separacin de punto y compacto) Sea (X, ) un espacio topolgico con la propiedad de Haussdor. Sea F X compacto y x F. Entonces existen abiertos U y V de (X, ) con x U, F V y U V = . Nota 3.3.2. La proposicin anterior vale para cualquier espacio mtrico. Corolario 3.3.3. Todo compacto en un espacio con la propiedad de separacin de Hausdor (en particular en un espacio mtrico) es siempre cerrado. Proposicin 3.3.4. (Separacin de compactos) Sea (X, ) un espacio topolgico con la propiedad de separacin de Hausdor. Sean F1 , F2 X compactos disjuntos. Entonces existen abiertos U y V de (X, ) con F1 U, F2 V y U V = . Nota 3.3.5. La proposicin anterior vale para todos los espacios mtricos.

3.4.

Compacidad y continuidad

Proposicin 3.4.1. (La continuidad preserva la compacidad) Sea f : (X, ) (Y, ) una aplicacin continua entre espacios topolgicos. Si A X es compacto en (X, ) entonces f (A) lo es en (Y, ). Proposicin 3.4.2. (Continuidad entre espacios de Hausdor compactos). Sean (X, ) e (Y, ) espacios topolgicos compactos con la propiedad de Hausdor. Toda f : (X, ) (Y, ) continua es tambin cerrada.

CAPTULO 3. COMPACIDAD

15

Nota 3.4.3. En la demostracin slo se ha usado la compacidad de (X, ) y la propiedad de Hausdor de (Y, ). Corolario 3.4.4. Toda aplicacin biyectiva y continua, f : (X, ) (Y, ) entre espacios compactos y de Hausdor es un homeomorsmo.

3.5.

Compacidad en espacios productos. Caracterizacin de la compacidad en los espacios eucldeos.

Sean (X1 , d1 ) . . . (Xn , dn ) espacios (seudo)mtricos. Sobre el producto cartesiano X1 X2 Xn podemos considerar las siguientes taxi taxi max max seudo(distancias) n = n (d1 , . . . , dn ), n = n (d 1 , . . . , d n ) y euclidea euclidea n = n (d1 , . . . , dn ), dadas por taxi n ((x1 , . . . , xn ), (x1 , . . . , xn )) = n i=1 di (xi , xi ), max n ((x1 , . . . , xn ), (x1 , . . . , xn )) = max{d1 (x1 , x1 ), . . . , d(xn , xn )}, y n euclidea 2 n ((x1 , . . . , xn ), (x1 , . . . , xn )) = i=1 di (xi , xi ) , respectivamente. Obsrvese que si X1 = X2 = = Xn = R y d1 = d2 = = dn = taxi max euclidea eucldea sobre R entonces n = dtaxi , n = dmax y n = deuclidea n sobre R . Adems, extendiendo la Nota ??, se puede comprobar (ejercicio) que las tres generan los mismos conjuntos abiertos. Por tanto, sus espacios topolgicos subyacentes son el mismo y, como consecuencia, la compacidad se puede estudiar con cualquiera de estas (seudo)distancias. Proposicin 3.5.1. Sean (X1 , d1 ) . . . (Xn , dn ) espacios (seudo)mtricos, taxi max euclidea y sea cualquiera de las (seudo)distancias n , n o n . Si Ai Xi , 1 i n compacto en (Xi , di ), entonces A1 An es compacto en (X1 Xn , ). Corolario 3.5.2. El paralelogramo (producto de intervalos) [a1 , b1 ] [an , bn ] es compacto en (Rn , dmax ) (o equivalentemente (Rn , dtaxi ) o (Rn , deuclidea)) Nota 3.5.3. Generalizacin a espacios topolgicos: Si (X1 , T1 ) y (X2 , T2 ) espacio topolgico. Se dene sobre X1 X2 la topologa producto, T1 T2 = { y G X1 X2 , tales que para todo (x, y ) G existen U y V abiertos de T1 y T2 con (x, y ) U V G}. Se puede demostrar, con una demostracin similar a la de ?? que si A1 y A2 son compactos de (X1 , T1 ) y (X2 , T2 ), respectivamente, entonces A1 A2 es un compacto de (X1 X2 , T1 T2 ).

CAPTULO 3. COMPACIDAD

16

Proposicin 3.5.4. Sea (X, d) espacio (seudo)mtrico. Entonces, todo C X compacto est acotado. Proposicin 3.5.5. (Teorema de Heine-Borel). A R es compacto en (Rn , eucldea) si y slo si A es cerrado y acotado. Nota 3.5.6. ) Es vlida para todo espacio mtrico.

3.6.

Compacidad en espacios mtricos

Proposicin 3.6.1. Sea (X, d) espacio mtrico y {xn }n1 X una sucesin sin subsucesiones convergentes. Entonces: 1. El conjunto A = {x1 , x2 , x3 , . . . , xn , . . . } es innito. 2. El conjunto de puntos de acumulacin de A, A = , es vaco. Corolario 3.6.2. (Propiedad de Bolzano-Weierstrass). Si (X, d) es un espacio mtrico compacto entonces toda sucesin en X posee una subsucesin convergente. Proposicin 3.6.3. (Teorema de Bolzano-Weierstrass) El recproco tambin es cierto, es decir, un espacio mtrico (X, d) es compacto si y slo si posee la propiedad de Bolzano-Weierstrass. Proposicin 3.6.4. Sea (X, d) espacio mtrico con la propiedad de BolzanoWeierstrass. Entonces para cualquier > 0, X se puede cubrir con una cantidad nita de bolas de radio . Proposicin 3.6.5. (Lema de Lebesgue) Sea (X, d) un espacio mtrico con la propiedad de Bolzano-Weierstrass, entonces dado cualquier recubrimiento U = {U } de X existe > 0 (llamado nmero de Lebesgue de U ) tal que para cada bola abierta de radio , Bd (x, ) existe 0 con Bd (x, ) U0 Nota 3.6.6. El lema de Lebesgue implica que si A X es cualquier conjunto con dimetro (A) < , entonces A U0 para algn 0 . 2 En efecto, si a A, (A) < implica que A Bd (a, ) y esta bola est 2 contenida en algn U por el lema de Lebesgue. Denicin 3.6.7. Sea f : (X, d) (Y, d ) entre espacios (seudo)mtricos. Decimos que f es uniformemente continua si dado > 0, > 0 tal que si d(x, x ) < , entonces d (f (x), f (x )) < .

CAPTULO 3. COMPACIDAD

17

Proposicin 3.6.8. (Teorema de Heine). Sea f : (X, d) (Y, d ) con (X, d) espacio mtrico compacto. Entonces, si f es continua, f es uniformemente continua. Denicin 3.6.9. Sea (X, d) un espacio (seudo)mtrico. Una sucesin {xn }n1 X se dice de Cauchy si dado > 0, n0 con d(xn , xn ) < para todo n, n n0 . Proposicin 3.6.10. Toda sucesin convergente es de Cauchy. Denicin 3.6.11. Un espacio (seudo)mtrico (X, d) se dice completo si toda sucesin de Cauchy en (X, d) es convergente. Proposicin 3.6.12. Los espacios eucldeos (Rn , eucldea) son completos. Proposicin 3.6.13. Todo espacio mtrico compacto (X, d) es completo.

3.7.

Compacidad local

Denicin 3.7.1. Un espacio topolgico (X, ) se dice localmente compacto si x X y cualquier entorno N de x existe otro entorno N de x con N N y N compacto. Proposicin 3.7.2. Sea (X, d) un espacio (seudo)mtrico. Son equivalentes: 1. (X, d) es localmente compacto. 2. Dado x X existe una bola cerrada Bd [x, ] que es compacta. 3. Todo x X posee un entorno N en (X, ) que es compacto. Proposicin 3.7.3. Sea (X, d) un espacio (seudo)mtrico localmente compacto. 1. Si A X es cerrado, (A, d|A ) es localmente compacto. 2. Si B X es cerrado, (B, d|B ) es localmente compacto.

Captulo 4 Conexin
4.1. Conexin por caminos

Denicin 4.1.1. Dado (X, T ) un espacio topolgico, un camino entre dos elementos x, y X es una aplicacin continua : ([0, 1], eucldea) (X, T ) tal que (0) = x y (1) = y . Denicin 4.1.2. Un espacio topolgico (X, T ) se dice conexo por caminos si x, y X existe un camino entre x e y . Ms generalmente, A X se dice conexo por caminos si lo es (A, T /A ). La siguiente proposicin muestra que todos los espacios conexos por caminos tienen slo al espacio total y el vaco como conjuntos simultneamenta abiertos y cerrados. Proposicin 4.1.3. Si (X, T ) es conexo por caminos, entonces los nicos conjuntos abiertos y cerrados de (X, T ) son X y . Para los intervalos de R el recproco de la proposicin anterior tambin es cierto y ello nos permite determinar todos los conjuntos conexos por caminos de la recta eucldea. Explcitamente, Proposicin 4.1.4. (Caracterizacin de los conjuntos conexos por caminos de la recta eucldea) En (R,eucldea), las siguientes propiedades son equivalentes para cualquier A R. 1. A es conexo por caminos. 2. Los nicos conjuntos que son a la vez abiertos y cerrados en (A,eucldea) son A y . 18

CAPTULO 4. CONEXIN 3. Si a b con a, b A, entonces [a, b] A. 4. A es un intervalo.

19

Proposicin 4.1.5. Sea f : (X, T ) (Y, T ) continua. Si A X es conexo por caminos f (A) tambin. Consecuencia: Si f es homeomorsmo y (X, T ) es conexo por caminos, entonces (Y, T ) tambin lo es. Proposicin 4.1.6. Sean (X1 , d1 ) y (X2 , d2 ) e. (seudo)mtricos conexos m ax por caminos. Entonces (X1 X2 , 2 ) es conexo por caminos, donde
m ax 2 (d1 , d2 )((x1 , x2 ), (x1 , x2 )) = m ax{d1 (x1 , x1 ), d2 (x2 , x2 )}

Nota 4.1.7. La proposicin anterior es vlida tambin para las (seutaxi euclidea do)distancias 2 y 2 ; ver Seccin ??. Ms generalmente, la proposicin es vlida para (X1 X2 , T1 T2 ) donde T1 T2 es la topologa producto en ??. Igualmente se puede generalizar a un nmero cualquiera de factores (X1 , d1 ), ..., (Xn , dn ) con n 2. Proposicin 4.1.8. La relacin estar conectados por un camino en (X, T ).es de equivalencia. La denotaremos por . Proposicin 4.1.9. Sea {C } familia de conexos por caminos en (X, T ). Supongamos que 0 tal que C C0 = . Entonces C0 = C es conexo por caminos.

Proposicin 4.1.10. Variante: Si tambin es conexo por caminos.

C = entonces C0 =

Denicin 4.1.11. Sea (X, T ) un espacio topolgico. Se llama componente conexa por caminos de x X al mayor conexo por caminos Cx X con x Cx . Proposicin 4.1.12. Cx coincide con la clase de equivalencia de x respecto a la relacin estar conectado por un camino. Proposicin 4.1.13. (Propiedades de componentes conexas por caminos) Sea (X, T ) un espacio topolgico. Se cumplen: 1. x Cx .

CAPTULO 4. CONEXIN 2. Cx es conexo por caminos.

20

3. Cx es la clase de x por la relacin estar conectado por un camino en (X, T )". 4. Cx Cy = Cx = Cy . Es decir, las componentes conexas por caminos forman una particin de X . Denicin 4.1.14. Un espacio topolgico (X, T ) se dice localmente conexo por caminos si dado x X y cualquier entorno de N de x, existe otro entorno N de x con N N y N es conexo por caminos. Proposicin 4.1.15. Si (X, T ) es localmente conexo por caminos, la componente conexa por caminos (Cx ) es abierto y cerrado x X . Proposicin 4.1.16. (Invarianza del nmero de componentes conexas por caminos) Sea f : (X, T ) (Y, T ) un homeomorsmo. Si Cx es la componente conexa por caminos de x, entonces f (Cx ) lo es de f (x). Consecuencia: f induce una biyeccin entre las familias de componentes conexas por caminos de (X, T ) y de (Y, T ). Nota 4.1.17. Algunas observaciones: 1. No siempre la clausura de un conexo por caminos es conexo por caminos. 2. No siempre las componentes conexas por caminos son cerradas.

4.2.

Puntos de Corte

Denicin 4.2.1. Sea (X, T ) un espacio topolgico. Un punto x X se dice un punto de corte de (X, T ) si X {x} no es conexo por caminos. Al nmero de componentes conexas por caminos de X {x} se le llama orden de corte de x. Denicin 4.2.2. Sea (X, T ) un espacio topolgico. Un punto x X se dice un punto de corte local de orden n de (X, T ) si para todo entorno N de x existe otro N N tal que N {x} tiene n componentes conexas por caminos.

CAPTULO 4. CONEXIN

21

Proposicin 4.2.3. (Invarianza de los puntos de corte) Sea f : (X, T ) (Y, T ) un homeomorsmo: a) x es punto de corte de orden n de (X, T ) si y slo si f (x) lo es de (Y, T ). b) x es punto de corte local de orden n de (X, T ) si y slo si f (x) lo es de (Y, T ).

4.3.

La conexin topolgica. Denicin y primeras propiedades

Recordemos que la recta eucdea y todos los espacios conexos por caminos tienen la propiedad de que la familia de los conjuntos abiertos y cerrados a la vez en cualquiera de ellos se reduce al espacio total y el conjunto vaco. Por tanto, esta propiedad generaliza la conexin por caminos y vamos ahora a estudiarla con ms detalle en esta seccin. Comenzamos probando que es equivalente a la siguiente propiedad que llamaremos conexin topolgica. Denicin 4.3.1. Un espacio topolgico (X, T ) se dice disconexo si existen dos abiertos U y V de (X, T ), distintos del vaco tales que U V = y X = U V . En caso contrario se dir que es topolgicamente conexo o, por abreviar, conexo. En general, un subconjunto A X se dice conexo en (X, T ) si (A, T /A ) es conexo. Proposicin 4.3.2. Un espacio topolgico (X, T ) es conexo si y slo si los nicos conjuntos que son abiertos y cerrados a la vez son y X . La Proposicin ?? nos permite rescribir la Proposicin ?? como sigue. De esta manera se caracterizan los conjuntos conexos de la recta eucldea adems de establecerse que en ella la conexin es equivalente a la conexin por caminos. Proposicin 4.3.3. (Caracterizacin de los conexos de la recta eucldea) En (R,eucldea) las siguientes propiedades son equivalentes para un conjunto A R. 1. A es conexo por caminos. 2. A es conexo. 3. Si a b con a, b A, entonces [a, b] A.

CAPTULO 4. CONEXIN 4. A es un intervalo.

22

En general, la Proposicin ?? muestra que la conexin topolgica generaliza a la conexin por caminos. Ambas propiedades no son equivalentes como se observa a continuacin. Veamos una condicin suciente para que un espacio conexo sea conexo por caminos. Proposicin 4.3.4. Sea (X, T ) localmente conexo por caminos. Entonces (X, T ) es conexo si y slo si (X, T ) es conexo por caminos. Proposicin 4.3.5. Sea f : (x, T ) (Y, T ) continua y A X conexo. Entonces f (A) es conexo. En particular, si f es homeomorsmo y (X, T ) es conexo, entonces (Y, T ) tambin. Proposicin 4.3.6. Sea (X, T ) un espacio topolgico y A X conexo, entonces todo B X tal que A B A es conexo. En particular A es siempre conexo.

4.4.

Otras caracterizaciones y propiedades de los espacios conexos

Comenzamos observando que la Proposicin ?? permite demostrar que la conexin de un espacio es equivalente a que toda aplicacin de ese espacio en la recta eucldea cumpla el Teorema del Valor Intermedio de Bolzano en la Proposicin ??. Esto es, Proposicin 4.4.1. Sea (X, T ) un espacio topolgico. Son equivalentes a) (X, T ) es conexo. b) Si f : (X, T ) (R, eucldea) y a, b f (X ) con a b entonces [a, b] f (X ) c)(Teorema de Bolzano) Si f : (X, T ) (R, eucldea) es continua y x1 , x2 X con f (x1 ) < 0 y f (x2 ) > 0, entonces x0 X con f (x0 ) = 0. Denicin 4.4.2. Un espacio topolgico (X, T ) se dice discreto si todos los conjuntos unitarios {x} son abiertos. Proposicin 4.4.3. Sea (X, T ) espacio topolgico discreto. Entonces A X es conexo si y slo si A = {x} tiene un slo elemento. Proposicin 4.4.4. Sea (X, T ) cualquier espacio topolgico. Son equivalentes: a) (X, T ) es conexo. b) Toda f : (X, T ) (Y, T ) continua con (Y, T ) discreto es constante.

CAPTULO 4. CONEXIN

23

Proposicin 4.4.5. Sea (X, T ) cualquier espacio topolgico. Son equivalentes: a) (X, T ) es conexo. b) Dados a, b X , C X conexo tal que a, b C . Proposicin 4.4.6. Sea (X, T ) un espacio topolgico. Sea {C } con C X conexo . Supongamos que existe 0 con C C0 = (*). Entonces C = C es conexo.

Proposicin 4.4.7. (Variante 1) Supongamos que en vez de () en ?? se tiene C C = , entonces C sigue siendo conexo. Proposicin 4.4.8. (Variante 2) Sean C1 , C2 , ..., Cn una sucesin con

Ci Ci+1 = i 1. Entonces C =
n=1

Cn es conexo.

Proposicin 4.4.9. Sean (X1 , d1 ) y (X2 , d2 ) espacios (seudo)mtricos max conexos. Entonces (X1 X2 , 2 ) con
max 2 ((x1 , x2 )(x1 , x2 )) = m ax{d1 (x1 , x1 ), d2(x2 , x2 )}

es conexo. Nota 4.4.10. La proposicin anterior es vlida tambin para las (seutaxi euclidea do)distancias 2 y 2 . De hecho, todo lo indicado en ?? permanence vlido para si cambiamos la conexin por caminos por la conexin topolgica.

4.5.

Componentes conexas

Denicin 4.5.1. Dado (X, T ) un espacio topolgico y x X llamamos componente conexa de X al mayor conjunto conexo Cx X que contiene a x. Proposicin 4.5.2. (Propiedades bsicas de las componentes conexas) Sea (X, T ) un espacio topolgico. Si Cx es la componente conexa de x X , se cumplen: 1. x Cx 2. Cx es conexo.

CAPTULO 4. CONEXIN 3. Cx es cerrado en (X, T ).

24

4. Si Cx Cy = Cx = Cy . Es decir, las componentes conexas forman una particin de X . Denicin 4.5.3. Un espacio topolgico (X, T ) se dice localmente conexo si dado cualquier x X y cualquier entorno N de x en (X, T ) entonces existe otro entorno N de x que es conexo y N N . Proposicin 4.5.4. Si (X, T ) es localmente conexo entonces toda componente Cx es un conjunto abierto (y por tanto abierto y cerrado). Proposicin 4.5.5. (Invarianza del nmero de componentes conexas) Sea f : (X, T ) (Y, T ) un homeomorsmo, entonces si Cx es componente de x se tiene que f (Cx ) es componente conexa de f (x). Consecuencia: Existe una biyeccin entre las componentes conexas de (X, T ) y las de (Y, T ).