Captulo 5

Conjuntos conexos
5.1. denicin y ejemplos

Denicin 52. Una separacin en un espacio X es una descomposicin de X en la forma X = A B, donde A y B son abiertos disjuntos. Las dos condiciones X = A B y A B = , equivalen a que A = X \ B y B = X \ A, por lo tanto, en una separacin X = A B, tanto A como B son conjuntos abiertos y cerrados en X. Ejemplo 59. El espacio R\{0} se puede expresar como (, 0)(0, +) que es una separacin ya que cada intervalo es abierto en R y as es un abierto en R intersectado con el subespacio. Si X es discreto cualquier subconjunto A determina una separacin X = A (X \ A). Considerando en espacio Q de los nmeros racionales con la topologa relativa a la topologa usual de R; dado un nmero irracional , sean A = (, ) Q y B = (, +) Q. Entonces Q = A B es una separacin de Q. Todo espacio posee al menos una separacin, a saber, X = X , sta es llamada separacin trivial. Denicin 53 (conjunto conexo). Un espacio mtrico o topolgico se dice conexo si la nica separacin que posee X es la separacin trivial. Un subconjunto C de X es conexo si como subespacio es un espacio conexo. Si un espacio admite una separacin no trivial se dice que es disconexo. Proposicin 5.1. Sea X un espacio mtrico o topolgico. Entonces las siguiente proposiciones son equivalentes: (1) X es conexo. (2) X y son los nicos subconjuntos de X que son abiertos y cerrados. 71

72

CAPTULO 5. CONJUNTOS CONEXOS

(3) Si A X tiene frontera vaca, entonces A = X A = .

Prueba: (1)(2) Sea A X un subconjunto abierto y cerrado, entonces X = A (X \ A) es una separacin de X, como X es conexo, A = X A = . (2)(3) Sea A X tal que (A) = , entonces as, A = int(A) = A, A es abierto y cerrado, por hiptesis A = A = X. (3)(1) Sea X = A B una separacin de X, entonces B = X \ A y como B es abierto, B = int(B) = int(X \ A); como A es abierto, A = int(A), entonces tenemos X = A B = int(A) int(X \ A); pero ya sabemos que X = int(A) (A) int(X \ A). En consecuencia, (A) = , aplicando la hiptesis tenemos, A = X A = ; por tanto, la separacin X = A B es la trivial. Luego, X es conexo. Ejemplo 60. El conjunto R \ {0} es disconexo ya que vimos la separacin R\{0} = (, 0)(0, +). As mismo, el conjunto los nmeros racionales de Q es disconexo, para el irracional 2, Q = [(, 2) Q] [( 2, +) Q] es una separacin. Ms an si C es un subconjunto conexo de Q, entonces C es un conjunto unitario. En efecto, si suponemos que C tiene dos elementos a y b, podemos asumir que a < b y tomamos un nmero irracional tal que a < < b, entonces haciendo A = {x C : x < } y B = {x C : x > } obtenemos una separacin no trivial de C, primero no son vacos pues a A y b B, y son abiertos en C ya que A = (, ) C y B = (, +) C. Ejemplo 61 (R es conexo). Procedamos por reduccin al absurdo. Supongamos que existe una separacin no trivial R = A B. Como ninguno es vaco, sean a A y b B. Sin prdida de generalidad podemos suponer que a < b. Ahora, consideramos el conjunto C = {x A : x < b}; C es no vaco pues a C y claramente b es una cota superior de C; por lo tanto, existe s = sup C. Por propiedades del supremo, tenemos, para todo > 0, existe un elemento x de C (y por tanto de A) tal que s < x s, es decir, toda bola abierta de centro en s intersecta a A, entonces s A; como A es cerrado, A = A y as s A. Ahora, como A tambin es abierto, existe r > 0 tal que (s r, s + r) = B(s; r) A; en particular, todo punto del intervalo (s, s + r) est en A. Como s A y b B, tiene que ser s < b; r > 0 puede ser escogido tal que s+ r < b, entonces el intervalo (s, s+ r) est contenido en C, es decir, hay puntos en C mayores que s = sup C, lo cual es una agrante contradiccin. Luego, no puede existir una separacin no trivial de R y en consecuencia, R es conexo.

Int(A) A A = int(A) (A) = int(A)

5.2.

Propiedades de los conjuntos conexos

Proposicin 5.2. La imagen de un conjunto conexo mediante una funcin continua es un conjunto conexo.

5.2. PROPIEDADES DE LOS CONJUNTOS CONEXOS

73

Prueba: Sea f : X Y una funcin continua. Primero supongamos que f es sobreyectiva, y que X es conexo, se quiere probar que f(X) = Y es conexo. Si Y = A B es una separacin, entonces f1 (A) y f1 (B) son abiertos y disjuntos por lo que X = f1 (A) f1 (B) es una separacin, como X es conexo, f1 (A) o f1 (B) es vaco y siendo f sobreyectiva, esto implica que A = o B = . En el caso general, dada f : X Y continua y C X ^ conexo, la restriccin f = f/C : C f(C) es continua y sobreyectiva, por lo ^ que f(C) = f(C) es conexo. El siguiente corolario nos muestra la conexidad como un invariante topolgico, es decir, una propiedad que se preserva por homeomorsmos. Corolario 5.3. Si X es conexo y Y es homeomorfo a X, entonces Y tambin es conexo. En virtud de este corolario, se puede armar que no pueden existir dos espacios homeomorfos tales que uno sea conexo y el otro no. Ejemplo 62 (Todo intervalo abierto es conexo). En R, la bola abierta B = x B(0; 1) es el intervalo abierto (1, 1). Sea f denida por: f(x) = 1+|x| , como la funcin valor absoluto es continua (es la norma en R) y 1 + |x| no se anula |x| para todo x R, concluimos que f es continua. Adems, |f(x)| = 1+|x| < 1 por y tanto, f : R B es continua. Denamos ahora g : B R por g(y) = 1|y| . Como |y| < 1 para todo y B, concluimos que g es continua. Fcilmente se verica que f(g(y)) = y para todo y B y que g(f(x)) = x para todo x R. Luego, g = f1 y f es un homeomorsmo. En consecuencia, como R es conexo, tambin el intervalo (1, 1) es conexo. Como se vio en el ejemplo 38 en el captulo 3, en un espacio vectorial normado dos bolas abiertas arbitrarias son homeomorfas, R es, en particular, un espacio vectorial normado y cualquier intervalo abierto acotado (a, b) es una bola abierta de centro a+b y radio ba . Luego, todo intervalo abierto 2 2 acotado en R es conexo. Tambin un intervalo abierto no acotado es homeomorfo a R. En efecto, para el intervalo (a, +) tenemos la funcin f : R (a, +) denida por f(x) = a + ex es continua y tiene inversa f1 : (a, +) R denida por f1 (y) = ln(y a) tambin continua. Finalmente un intervalo abierto no acotado de la forma (, b) es homeomorfo a el intervalo (b, +) mediante el homeomorsmo t t. Luego, todo intervalo abierto en R es conexo por ser homeomorfo a R. Ejemplo 63. La circunferencia unitaria S1 = {(x, y) R2 : x2 + y2 = 1} es un conjunto conexo de R2 ya que es la imagen de la funcin continua f : R S1 f(t) = (cos(t), sen(t)). Proposicin 5.4. La clausura de un conjunto conexo es anexo.

74

CAPTULO 5. CONJUNTOS CONEXOS

Prueba: Probaremos primero el caso cuando un conjunto conexo C X sea denso en el espacio X. Sea X = A B una separacin de X, entonces C = (A C) (B C) es una separacin para C; siendo C conexo, (A C) = o (B C) = , como C es denso esto implica que A = o B = , por lo que la nica separacin posible para X es la trivial, y por lo tanto, C es conexo. Para un conjunto conexo arbitrario C tenemos que C es denso en C, as C es conexo. Corolario 5.5. Si X Y X y X es conexo, entonces Y es conexo. Prueba: La clausura de X en Y es X = X Y = Y . Luego, X es denso en Y y por tanto, Y es conexo. Del corolario anterior se deduce que todo intervalo en R cerrado acotado o no es conexo y todos los intervalos de la forma [a, b) (a, b] tambin son conexos. En resumen, todo intervalo en R es conexo. Ejemplo 64. Sea f : M N una funcin continua, entonces la funcin, G = (I, f) : M Gr(f) dada por G(x) = (I(x), f(x)) = (x, f(x)), es continua y su inversa es la restriccin de la proyeccin 1 : M N M al grco de f, Gr(f), la cual es tambin continua. As, el dominio de una funcin continua es homeomorfo a su grco. Por lo tanto, si el dominio de una funcin continua es conexo, el grco tambin es conexo.

Figura 5.1: El grco de cos(1/x) en el intervalo (0, 1) generado con el sistema de lgebra computacional wxMaxima (software libre). Sea C el grco de la funcin f : (0, 1) R denida por f(x) = cos(1/x), ver gura 5.1. Siendo f continua y el intervalo abierto (0, 1) conexo, tenemos que el grco C es conexo. Sea J el intervalo [1, 1] sobre el eje y en R2 , es decir, J = {0} [1, 1]. Todo punto de J es adherente a C, de esta forma, para cualquier subconjunto T de J, tenemos que C CT C. Por el corolario 5.5 anterior, se concluye que C T es conexo. Este ejemplo tiene una relevancia terica evidente ya que aunque los conjuntos C y T nunca se intersectan, su unin es conexo, esto puede chocar un poco con la nocin intuitiva de lo que es un conjunto conexo que es un conjunto de una sola pieza; as que debemos mantener esa idea intuitiva pero con cierta cautela.

5.2. PROPIEDADES DE LOS CONJUNTOS CONEXOS

75

Proposicin 5.6. Sea {C }L una familia de conjuntos conexos en un espacio mtrico o topolgico X. Si todos los C contienen un punto en comn p X, entonces la unin C = L C es conexa. Prueba: Sea C = A B una separacin de C. El punto p pertenece a alguno de los dos conjunto A B. Asumamos que p A. Para cada L, los conjuntos A C y B C son abiertos en C . Luego, C = (A C ) (B C ) es una separacin de C . El elemento p pertenece a cada C por tanto, para todo L, p A C , como C es conexo, esto implica que para todo L, B C = . En consecuencia, B = (B C ) = , es decir, la nica separacin posible para C es la trivial. Luego, C es conexo. Corolario 5.7. Para que un espacio X sea conexo es necesario y suciente que cualquier par de puntos a, b en X estn contenidos en algn conjunto conexo Cab en X. Prueba: Si X es conexo basta tomar Cab = X para cada par. Recprocamente, si se cumple la condicin, se puede escribir X = bX Cab . Ya que para todo b X, a Cab , por proposicin 5.6, X es conexo. Ejemplo 65. Todo espacio vectorial normado E es conexo ya que para a, b en E, el conjunto Lab = {(1 t) a + t b : t R} contiene a a y b y es homeomorfo a R (mediante t a + t (b a)) por lo tanto, es conexo. Parafraseando el ejemplo 62, la funcin f : E B(0; 1) denida por f(x) = 1+xx es un homeomorsmo con inversa f1 (y) = 1yy . Luego, la bola abierta B(0; 1) es conexa. Como dos bolas abiertas cualesquiera son homeomorfas (ejemplo 38), concluimos que toda bola abierta en un espacio vectorial normado es conexa. As mismo, toda bola cerrada es conexa al ser la clausura de una bola abierta. Proposicin 5.8. El producto cartesiano X = C1 C2 Cn es conexo si, y slo si, cada factor Ci es conexo. Prueba: (Slo si) Cada proyeccin i : X Ci es continua y sobreyectiva, por lo tanto, si X es conexo, entonces Ci es conexo.

Figura 5.2: Representacin del producto cartesiano C1 C2

76

CAPTULO 5. CONJUNTOS CONEXOS

(Si) Basta hacer la prueba para dos factores si C1 y C2 son conexos, su producto cartesiano C = C1 C2 es conexo. Fijemos un punto a = (a1 , a2 ) C1 C2 , para cada x = (x1 , x2 ) en C1 C2 el conjunto Cx = (C1 {a2 })({x1 }C2 ) es conexo ya que es la unin de dos conjuntos conexos (son homeomorfos a C1 y C2 resp.) con un punto en comn (x1 , a2 ), ver la gura 5.2. Observemos que a Cx para todo x en C. Entonces C = C1 C2 = xC Cx , por la proposicin 5.6, C1 C2 es conexo. Corolario 5.9. El espacio Rn es conexo.

5.3.

Conexidad y funciones continuas en R

Proposicin 5.10. Un subconjunto de R es conexo si, y slo si, es un intervalo. Prueba: (Si) Ya se vio en el ejemplo 62 que todo intervalo abierto en R es conexo y mediante el corolario 5.5 que los dems tipos de intervalos tambin son conexos. (Slo si) Sea J R conexo, si J es un conjunto unitario {p} se puede entender como el intervalo degenerado [p, p]. Supongamos que J posee al menos dos puntos digamos a y b. Si c R es tal que a < c < b probaremos que c est en J ya que si no fuese as, obtendramos una separacin de J = [(, c) J] [J (c, +)] que no es la trivial porque a pertenece al primer conjunto y b al segundo. Luego, todo elemento c entre a y b tambin pertenece a J; esta propiedad implica que J es un intervalo de R. Corolario 5.11 (Teorema del valor intermedio). Sea f : [a, b] R continua. Si K es un valor intermedio entre f(a) y f(b), es decir f(a) < K < f(b) f(b) < K < f(a), entonces existe c (a, b) tal que f(c) = K.

Ejemplo 66. Todo polinomio con coecientes reales y grado impar, posee al menos una raz real. Sea p(x) = xn + an1 xn1 + + a1 x + a0 con n impar. El polinomio p es una funcin p : R R, que es continua como se vio en el ejemplo 28 del captulo 3. Para x = 0 se puede escribir: a0 a1 an1 (5.1) + + n1 + n p(x) = xn 1 + x x x Sea k = 1 + |an1 | + + |a0 |. Si se toma |x| > k (en particular, |x| > 1), se obtiene: |an1 | + + |a1 | + |a0 | an1 a0 a1 + + n1 + n <1 x x x |x|

Prueba: La prueba resulta muy sencilla con la teora desarrollada, compare con el problema 6 del problemario No 3. La funcin f es continua y el intervalo [a, b] es conexo (proposicin 5.10), entonces, la imagen o rango de f, f([a, b]), es un conexo en R y por tanto es un intervalo por la misma proposicin 5.10; As, el valor intermedio K pertenece al rango de f, por lo tanto existe c [a, b] tal que f(c) = K. Siendo K = f(c) distinto de f(a) y f(b) tiene que ser c (a, b).

5.3. CONEXIDAD Y FUNCIONES CONTINUAS EN R

77

De aqu se deduce que cuando |x| > k, la expresin entre corchetes en la ecuacin (5.1) es positiva, por lo tanto, el signo de p(x) es igual al signo de xn . Como n es impar, p(x) toma valores tanto positivos como negativos; en otros trminos existen x1 , x2 R tales que p(x1 ) < 0 < p(x2 ), por el teorema del valor intermedio, proposicin 5.11, existe x0 R tal que p(x0 ) = 0 o, lo que es lo mismo, el polinomio p(x) posee alguna raz real. Denicin 54 (monotona). Una funcin f : X R R se dice que es: creciente si para x, y X, x < y f(x) < f(y); no decreciente si para x, y X, x < y f(x) f(y); decreciente si para x, y X, x < y f(x) > f(y); no creciente si para x, y X, x < y f(x) f(y);

Si una funcin satisface alguna de las condiciones de arriba se dice que es montona.

Proposicin 5.12. Sea f : X R R una funcin montona. Si su imagen f(X) es densa en un intervalo J, entonces f es continua.

Prueba: Supongamos que f es no decreciente. Sea p un punto cualquiera de X el dominio de f y veamos que f es continua en p. Sea > 0 y suponemos primero que f(p) es un punto interior de J, as para algn 0 < r < , (f(p) r, f(p) + r) est contenido en J. Por la densidad de f(X), existen y1 = f(x1 ) y y2 = f(x2 ) en el rango de f, tales que

f(p) < y1 < f(p) < y2 < f(p) + .

(5.2)

Como f es no decreciente, x1 < p < x2 . Tomemos = mn{p x1 , x2 p}. Entonces, para x X

|x p| < p < x < p + x1 < p < x2 y1 f(x) y2

(monotona de f) (por (5.2))

Luego, f es continua en p. Si f(p) es el extremo superior de J. Como f es no decreciente y f(X) J, se sigue que p < x f(x) = f(p). Dado > 0, existe y1 = f(x1 ) en f(X) tal que f(p) < y1 < f(a). Tenemos que x1 < a porque f es no decreciente. Ahora, tomando = p x1 , vemos que para x X, Para el caso en que f(p) sea el extremo inferior de J, se procede en forma similar. Tambin, para los otros tipos de monotona con ligeras adaptaciones se obtiene el resultado.

f(p) f(x) f(p) + |f(x) f(p)| <

|x p| < x1 < x y1 f(x) f(p) |f(x) f(p)| < .

78

CAPTULO 5. CONJUNTOS CONEXOS

Corolario 5.13. Si f : X R R es montona y f(X) es un intervalo, entonces f es continua. Proposicin 5.14. Sea f : I R R continua e inyectiva, donde I es un intervalo. Entonces, (1) f es montona; (2) f es un homeomorsmo de I sobre el intervalo J = f(I). Prueba: Para demostrar (1), supondremos inicialmente que I = [a, b] un intervalo cerrado y acotado. Como f es inyectiva, f(a) = f(b). Para jar ideas, sea f(a) < f(b), en este caso mostraremos que f es creciente. De hecho, si no fuese as, existiran x < y en [a, b] con f(y) < f(x). Hay dos posibilidades: f(a) < f(y) f(y) < f(a). En el primer caso, se tiene que f(a) < f(y) < f(x). Luego, por el teorema del valor intermedio (proposicin 5.11), existe c (a, x) tal que f(c) = f(y) lo que contradice la inyectividad de f. En el segundo caso, tenemos f(y) < f(a) < f(b). El mismo teorema nos da un punto c (y, b) tal que f(c) = f(a), lo que nuevamente contradice la inyectividad de f. Cuando I es cualquier otro intervalo, es fcil ver que f : I R es montona si, y slo si, su restriccin a cada intervalo [a, b] I es montona. Para probar (2) sabemos que f : I R es continua e inyectiva, I es un intervalo y por tanto, es conexo; por la proposicin 5.2 J = f(I) es conexo ^ ^ por lo tanto, J es un intervalo. as f : I J = f(I) (f(x) = f(x)), es una biyeccin . La inversa de una biyeccin montona tambin es montona. ^ Luego, f1 : J I es continua por el corolario anterior, corolario 5.13. Es decir, f es un homeomorsmo entre I y J. Corolario 5.15. Sea f : I J una biyeccin entre los intervalos I, J. Para que f sea un homeomorsmo, es necesario y suciente que sea una funcin montona. Prueba: Ejercicio.

Ejemplo 67. En relacin a la proposicin 5.14 tenemos los siguientes ejemplos donde alguna de las condiciones falla. x Sea f : R R, denida por f(x) = x + |x| si x = 0 y f(0) = 0. Esta funcin est denida en un intervalo, es montona pero es discontinua y su imagen no es un intervalo. Por otra parte, pueden existir biyecciones entre intervalos que no son continuas como la siguiente g : [0, 3] [0, 3] denida por: 1 x si 0 x 1 x si 1 < x < 2 g(x) = 5 x si 2 x 3 Esto sucede porque g no es montona.

5.4. CONEXIDAD POR CAMINOS

79

Figura 5.3: Funciones del ejemplo 67 Proposicin 5.16 (Teorema de la aduana). Sean C y V subconjuntos de un espacio mtrico M. Si C es conexo y tiene puntos en V y en M \ V , entonces algn punto de C pertenece a la frontera de V . Prueba: Dado que el conjunto C es conexo, al verlo como subespacio sabemos, por la parte (3) de la proposicin 5.1, que los nicos conjuntos con frontera vaca son y C; por hiptesis C V no es vaco ni es todo C. Por lo tanto su frontera (en C) no es vaca y en consecuencia, existe c C perteneciente a la frontera de C V en C. De esta manera, para todo > 0, existe un punto v C V V con d(c, v) < y existe un punto p C \ (C V) = C \ V M \ V tal que d(c, p) < . En conclusin, c V en M.

Figura 5.4: Teorema de la aduana.

5.4.

Conexidad por caminos

La denicin de espacio conexo como aqul que admite slo una separacin trivial es la expresin matemtica de la idea de un conjunto formado por una sola pieza. Otra forma de expresar la conexidad es decir que se puede pasar de un punto a otro en un movimiento continuo sin salir del espacio. Esto nos lleva a la nocin de espacio conexo por caminos. Denicin 55 (camino). Un camino en un espacio mtrico M es una funcin continua f : [0, 1] M. Los puntos a = f(0) y b = f(1), pertenecientes a M,

80

CAPTULO 5. CONJUNTOS CONEXOS

son llamados extremos del camino f. a es el punto inicial y b es el punto nal. Se dice tambin que el camino f une el punto a al punto b. Cuando a = b se dice que f es un camino cerrado en M. Denicin 56 (camino yuxtapuesto). Dados los caminos f, g : [0, 1] M tales que f(1) = g(0), se dene el camino yuxtapuesto f g : [0, 1] M por:

(f g)(x) =

f(2t) g(2t 1)

si 0 t 1/2 si 1/2 t 1

Figura 5.5: El camino yuxtapuesto f g. Observe que como f(1) = g(0), la funcin f g tiene un mismo valor en 1/2; esto garantiza la continuidad. Si f : [0, 1] M es un camino desde a = f(0) hasta b = f(1), entonces f : [0, 1] M, denido por f (t) = f(1 t) es el mismo conjunto imagen pero desde b hasta a. La relacin a b si y slo si, existe un camino desde a hasta b es una relacin de equivalencia. Un camino trivial es la funcin constante f : [0, 1] M, f(t) = c para todo t [0, 1]. Ejemplo 68. Sea E un espacio vectorial normado. Dados a, b E el segmento de recta de extremos a y b es el conjunto

[a, b] = {(1 t)a + tb : 0 t 1}

y la funcin f : [0, 1] E denida por f(t) = (1 t)a + tb es continua y se le llama camino rectilneo de extremos a, b. Denicin 57 (conjunto convexo). Un subconjunto S de un espacio vectorial se llama convexo cuando para cada par de elementos a, b en S, el segmento [a, b] est contenido en S. Todo subespacio de un espacio vectorial es convexo. Ejemplo 69. Toda bola en un espacio vectorial normado es convexa. Sea B = B(a; r) la bola abierta de centro a y radio r en el espacio vectorial

5.4. CONEXIDAD POR CAMINOS

81

normado E. Dados x, y en B, tenemos x a < r y y a < r. Luego, para todo t [0, 1],

(1 t)x + ty a = (1 t)(x a) + t(y a) (1 t) x a + t y a < (1 t)r + tr = r.

Luego, [x, y] B por tanto, B es convexa. De forma similar se prueba que una bola cerrada tambin es convexa. Denicin 58 (conexidad por caminos). Un espacio mtrico M se llama conexo por caminos si para cada par de puntos existe un camino que los une contenido en M. Un conjunto se dice conexo por caminos si como subespacio es conexo por caminos. Es claro que todo conjunto convexo de un espacio vectorial es conexo por caminos. Proposicin 5.17. Si un espacio mtrico es conexo por caminos, entonces es conexo. Prueba: El rango o conjunto imagen de un camino : [0, 1] M es un conjunto conexo por la proposicin 5.2. Luego, dos puntos cualesquiera, estn contenidos en un conjunto conexo. Por el corolario 5.7, M es conexo. Ejemplo 70. La conexidad no implica la conexidad por caminos. Sea G R2 el grco de la funcin f : [0, +) R, dada por f(x) = cos(1/x) si x > 0 y f(0) = 0. se sigue del ejemplo 64 que G es conexo. Mostremos que G no es conexo por caminos, probando que si : [0, 1] G fuese un camino con (0) = (0, 0), entonces es constante. En efecto, dado , podemos escribir, para todo t [0, 1], (t) = ((t), f((t))) donde = 1 . Sea A = {t [0, 1] : (t) = 0}. Queremos probar que A = [0, 1]. Ahora, A = 1 ({0}) como es continua, A es cerrado en [0, 1] y es no vaco porque 0 A. Resta probar que A tambin es abierto en [0, 1]. Tomemos un punto a A. De la continuidad de obtenemos una bola abierta J de centro a en [0, 1] tal que, t J |(t)| < 1. Como J es un intervalo, (J) es un intervalo que contiene a 0. si (J) no 1 fuese degenerado, existira n N tal que 2n (J), o sea, existira t J tal 1 1 1 que (t) = 2n , lo que implica que (t) = ( 2n , cos(2n)) = ( 2n , 1), lo que contradice el hecho de que |(t)| < 1 para todo t J. Este ejemplo muestra tambin que la proposicin 5.4 no es vlida para la conexidad por caminos, pues Gr(cos(1/x)) G Gr(cos(1/x), siendo el grco de cos(1/x), (x > 0), conexo por caminos.

82

CAPTULO 5. CONJUNTOS CONEXOS

5.5.

Componentes conexas

Las componentes conexas en un espacio son los pedazos que lo componen, es decir, son los subconjuntos conexos maximales del mismo. Denicin 59 (componenete conexa). Sea X un espacio y x un punto de X. La componente conexa de x en X es la unin Cx de todos los subconjuntos conexos de M que contienen a x. Todo punto x pertenece a al menos un conjunto conexo, a saber: {x}. As, Cx es no vaca y como la unin de conexos con un punto en comn es conexo (proposicin 5.6), cada componente conexa es un conjunto conexo. Por denicin, la componente conexa de x, Cx es el conexo ms grande que contiene a x. Las componentes conexas en un espacio son las clases de equivalencia de la siguiente relacin en X:

que fcilmente se prueba que se trata de una relacin de equivalencia. La familia de las componentes conexas de un espacio, es el conjunto cociente de la relacin , por lo tanto, constituyen una particin del espacio en partes disjuntas. Adems, cada subconjunto conexo no vaco de X est contenido en una nica componente conexa. Por otra parte, toda componente conexa es un subconjunto cerrado, ya que si C es una componente conexa, C es un conjunto conexo y por tanto, C es un conjunto conexo. Si no fuese C = C, C no sera un conexo maximal. Ejemplo 71. Las componentes conexas de R \ {0} son los intervalos (, 0) y (0, +). En general, si M = L A es una unin disjunta de conjuntos de M que son no vacos, conexos y simultneamente abiertos y cerrados, entonces cada A es una componente conexa de M. En efecto, solo falta probar que cada A es un conexo maximal. Si C es un conjunto conexo y para algn 0 L,

x y Existe un conjunto conexo de X conteniendo a x y y;

se tiene A0 C, entonces C = A0 es una separacin =0 (A C) de C (abiertos en C); como C es conexo y A0 es no vaco, para todo (A C) = , es decir, C = A0 . El siguiente ejemplo muestra que no siempre las componentes conexas de un espacio mtrico son conjuntos abiertos.

Ejemplo 72. En el espacio mtrico Q, de los nmeros racionales, cada componente conexa es un conjunto unitario. Equivalentemente, ningn conjunto conexo de Q puede tener dos puntos distintos (ver ejemplo 60).