Captulo 6

Espacios conexos
6.1 Conexos
Denici n 6.1.1 (Conjuntos separados). Dado un espacio topol gico (X, ) y dos subconjuntos o o A, B X, diremos que A y B est n separados si a AB =AB = Es evidente que si A y B est n separados, entonces son disjuntos. Sin embargo el recproco no es a cierto como queda de maniesto en los siguientes ejemplos. Ejemplo 6.1.2. (1) En R con la topologa usual, los intervalos (0, 1) y (1, 2) est n separados, pero los intervalos a (0, 1) y [1, 2) no lo est n, a pesar de que son disjuntos. a (2) En (R2 , d2 ) los conjuntos A y B siguientes, est n separados a A = {(x, y) R2 : x2 + y 2 > 1} y B{(x, y) R2 : x2 + y 2 < 1} (3) En R con la topologa usual, Q y R Q no est n separados. a

Denici n 6.1.3 (Espacio topol gico conexo). Diremos que un espacio topol gico (X, ) es o o o conexo si X no es uni n de dos subconjuntos no vacos y separados. En caso contrario diremos o que X es no conexo. Proposici n 6.1.4. Sea (X, ) un espacio topol gico y dos subconjuntos A, B X disjuntos, o o tales que X = A B. Son equivalentes: (a) X es no conexo (A y B est n separados). a 53

54 (b) A y B son cerrados. (c) A y B son abiertos. Demostraci n. o

CAPITULO 6. ESPACIOS CONEXOS

(a)(b) Supongamos que A y B est n separados, es decir que A B = A B = y veamos a que A es cerrado. Podemos poner A = A X = A (A B) = (A A) (A B) = A = A por tanto A = A y es cerrado. An logamente B tambi n es cerrado. a e (b)(c) Suponemos ahora que A y B son cerrados, como A B = X, tenemos que (A B)c = , luego Ac B c = ; esto implica que Ac B y Ac es abierto y como A B = ,, tambi n e c , luego Ac = B y B es abierto. An logamente A tambi n es abierto. es B A a e (c)(a) Supongamos que A y B son abiertos y que A B = X. Tal y como hemos visto, esto quiere decir que Ac B c = , luego Ac B; y como A y B son disjuntos tambi n ocurre que e c luego Ac = B, lo que implica que, B es tambi n cerrado y B = B de lo que obtenemos BA e A B = A B = . An logamente A B = . a Corolario 6.1.5. Un espacio topol gico (X, ) es conexo si, y s lo si los unicos conjuntos abiertos o o y cerrados son X y . Denici n 6.1.6 (Subconjunto conexo). Dado un espacio topol gico (X, ) y un subconjunto o o S X, diremos que S es conexo si (S, S ) con la topologa relativa es conexo. Proposici n 6.1.7. Un subconjunto S de un espacio topol gico (X, ) es no conexo si, y s lo si o o o existen dos subconjuntos A, B X separados, tales que A B = S. Demostraci n. Es una consecuencia inmediata de la denici n de topologa relativa y la proposio o ci n 6.1.4. o Ejemplo 6.1.8. (1) Cualquier espacio topol gico con la topologa trivial es conexo. o (2) Cualquier espacio topol gico con la topologa discreta es no conexo. o Teorema 6.1.9. Sea (X, ) un espacio topol gico y {Ai }iI una familia de subconjuntos conexos o no vacos de X, tales que no est n separados dos a dos. Entonces A = iI Ai es conexo. a Demostraci n. Hagamos la prueba por reducci n al absurdo. Supongamos que A = iI Ai es o o no conexo; entonces existe B A, B = A no vaco que es abierto y cerrado en (A, A ).

6.2. CONEXOS EN R

55

Como B = , existe x B A y como B = A existe y A, y B. Por tanto existen ix , iy I / tales que x Aix e y Aiy . Entonces B Aix = es abierto y cerrado en (Aix , ix ) que es conexo por hip tesis, luego B Aix = Aix lo que implica que Aix B. o De la misma forma (A B)Aiy = es abierto y cerrado e (Aiy , iy ), luego (A B)Aiy = Aiy , lo que implica que Aiy B A. Pero A y B B est n separados en (A, A ) pues son dos abiertos y cerrados no vacos cuya uni n a o es A, lo que lleva consigo que Aix y Aiy tambi n est n separados, en contra de la hip tesis, lo que e a o concluye la prueba. Corolario 6.1.10. Si (X, ) es un espacio topol gico y {Ai }iI es una familia de subconjuntos o conexos no vacos de X tales que Ai Aj = para cada par i, j I. Entonces A = iI Ai es conexo.

6.2 Conexos en R
Lema 6.2.1. Sea (R, u ) y un subconjunto I R. Son equivalentes: (a) I es un intervalo. (b) Para cada x, y I, x y, se verica que [x, y] I. Demostraci n. S lo tenemos que probar que (b) implica (a). En efecto, si se cumple (b), llamemo o os a = inf I y b = sup I teniendo en cuenta que si I no est acotado inferiormente, a = y si I no est acotado a a superiormente, b = +. Vamos a ver que ha de ocurrir que (a, b) I [a, b], cometiendo un peque o abuso de notaci n en el caso de que a = o bien b = +; con lo cu l I ser un n o a a intervalo. Si z (a, b), tenemos que a < z y por la denici n de a como un nmo, existe x I tal que o x < z; de la misma manera tenemos que z < b y por la denici n de b como un supremo, existe o y I tal que z < y, entonces, como x < y con x, y I, por la hip tesis (b), z [x, y] I, o luego (a, b) I. I [a, b] por la propia denici n de a y de b o Teorema 6.2.2 (Conexos en (R, u )). Un subconjunto S si, y s lo si S es un intervalo o un conjunto unitario. o Demostraci n. o R, con la topologa usual, es conexo

56

CAPITULO 6. ESPACIOS CONEXOS

Supongamos que S es conexo y que no es unitario ni es un intervalo; entonces existen x, y S tales que [x, y] no est contenido en S, es decir, existe z (x, y) tal que z S. Consideremos los a / conjuntos A = (, z) S y B = (z, +) S. Entonces S = A B, siendo A y B separados, en contra de que S es conexo. Supongamos ahora que S es un intervalo y que es no conexo, esto quiere decir que existen A, B R, no vacos y separados tales que S = A B, sean x A, y B y supongamos que x < y. Como S es un intervalo, por el lema anterior, [x, y] S. Consideremos el conjunto C = [x, y] A, que es no vaco (x A) y est acotado superiormente a por y; por tanto existe = sup C. Tenemos entonces que x y, es decir, [x, y] S. Por tanto, o bien A o bien B, pero no a los dos. Supongamos que A, esto implica que < y. Como A es abierto en S, por denici n de topologa relativa, existir G abierto en (X, ) tal que A = G S, luego o a G, que por ser abierto es entorno de y para alg n > 0 ( , + ) G, adem s < y, u a luego podemos tomar > 0 tal que + < y, luego + S y por tanto + G S = A, en contra de que es supremo. De forma an loga se ve que no puede ser de B. a Corolario 6.2.3. R con la topologa usual, es un espacio conexo. Ejemplo 6.2.4. En R con la topologa usual, S = [0, 1) [2, 3] es no conexo.

6.3 Conexi n y continuidad o

Teorema 6.3.1. Sean (X ) e (Y, ), dos espacios topol gicos, f : X Y una aplicaci n o o continua y S X un subconjunto conexo en X. Entonces f (S) es conexo en Y . Demostraci n. Supongamos que f (S) es no conexo, entonces existen A, B Y no vacos y o separados tales que f (S) = A B. Como f : S f (S) es continua y A y B son abiertos y cerrados en f (S) con la topologa relativa, tendremos que f 1 (A) y f 1 (B) ser n abiertos y a cerrados en S con la topologa relativa a (X, ), que adem s son no vacos, disjuntos y cumplen a S = f 1 (f (S)) = f 1 (A B) = f 1 (A) f 1 (B) con lo que S sera no conexo. Corolario 6.3.2. Sean (X, ) y (Y, ) dos espacios topol gicos homeomorfos. Entonces (X, ) o es conexo si, y s lo si (Y, ) es conexo. o

 6.3. CONEXION Y CONTINUIDAD

57

Corolario 6.3.3. Un espacio topol gico (X, ) es conexo si, y s lo si cualquier aplicaci n contino o o ua entre X y el espacio discreto {0, 1} es constante f (x) = 0 para todo x X, o bien f (x) = 1 para todo x X). Lema 6.3.4. Si (X, ) es un espacio topol gico no conexo, existe f : X {0, 1} continua y no o constante. Demostraci n. Si (X, ) es no conexo entonces X = A B con A y B abiertos y cerrados o disjuntos. Denimos f (x) = 0 si x A y f (x) = 1 si x B. esta aplicaci n es continua puesto o 1 ({0}) es abierto y cerrado y lo mismo ocurre para {1}. que f Teorema 6.3.5 (de los valores intermedios). Un espacio topol gico (X, ) es conexo si, y s lo si o o cada aplicaci n continua f : X R cumple que si x, y X y c R tal que f (x) c f (y), o existe z X tal que f (z) = c. Demostraci n. o Si X es conexo, f (X) es conexo en R y por tanto es un intervalo. Supongamos que X fuera no conexo, entonces X = A B con A y B no vacos y separa dos. Consideramos una funci n g : X {0, 1} continua como la del lema anterior y tal que o g(A) = {0} y g(B) = {1}. Consideremos la composici n de g con la inclusi n i, de {0, 1} en R. o o Tendremos una aplicaci n g i continua de X en R, que no cumple las hip tesis. o o Teorema 6.3.6. Sea (X, ) un espacio topol gico, se verican: o (a) Si H X es un subconjunto conexo y S X tal que H S H, entonces S es conexo. (b) Si S es un subconjunto conexo de X, entonces S es conexo. Demostraci n. o (a)Si S es no conexo, existe f : S {0, 1} no constante y continua. Como H es conexo, la restricci n de f a H ser constante, por ejemplo f (H) = {0}. o a Sea s S, tal que f (s) = 1, como {1} es abierto en {0, 1} y f es continua,f 1 ({1}) es abierto en S, luego ser f 1 ({1}) = S A, para alg n A abierto en (X, ). Entonces s A abierto y a u como s H, tendremos por la denici n de adherencia, que A H = , luego si x A H o ser f (x) = 0, pero tambi n f (x) = 1, ya que x H A S A = f 1 ({1}), lo cu l es una a e a contradicci n. o (b) Es una consecuencia inmediata de (a).