Captulo 5

Conjuntos conexos
5.1.

definicin y ejemplos

Definicin 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.
Definicin 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

CAPTULO 5. CONJUNTOS CONEXOS

72

(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

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

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,
de los nmeros
racionales
el conjunto
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 flagrante contradiccin.
Luego, no puede existir una separacin no trivial de R y en consecuencia, R
es conexo.


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 homeomorfismos.
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 afirmar 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
, como la
B(0; 1) es el intervalo abierto (1, 1). Sea f definida por: f(x) = 1+|x|
funcin valor absoluto es continua (es la norma en R) y 1 + |x| no se anula
|x|
< 1 por
para todo x R, concluimos que f es continua. Adems, |f(x)| = 1+|x|
y
tanto, f : R B es continua. Definamos ahora g : B R por g(y) = 1|y|
.
Como |y| < 1 para todo y B, concluimos que g es continua. Fcilmente
se verifica 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 homeomorfismo. 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
2
2 . Luego, todo intervalo abierto
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, +) definida por
f(x) = a + ex es continua y tiene inversa f1 : (a, +) R definida 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 homeomorfismo t 7 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.

e = X Y = Y . Luego, X es denso
Prueba:
La clausura de X en Y es X
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 grfico
de f, Gr(f), la cual es tambin continua. As, el dominio de una funcin
continua es homeomorfo a su grfico. Por lo tanto, si el dominio de una
funcin continua es conexo, el grfico tambin es conexo.

Figura 5.1: El grfico de cos(1/x) en el intervalo (0, 1) generado con el sistema

de lgebra computacional wxMaxima (software libre).
Sea C el grfico de la funcin f : (0, 1) R definida por f(x) = cos(1/x),
ver figura 5.1. Siendo f continua y el intervalo abierto (0, 1) conexo, tenemos
que el grfico 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.SSi 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
S
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 suficiente 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. RecproS
camente, 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 7 a + t (b a)) por lo tanto, es conexo.
Parafraseando el ejemplo 62, la funcin f : E B(0; 1) definida por
y
x
es un homeomorfismo con inversa f1 (y) = 1kyk
. Luego, la
f(x) = 1+kxk
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 figura S
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.

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).


Ejemplo 66. Todo polinomio con coeficientes 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 6= 0 se puede escribir:
h
a
a0 i
a1
n1
(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:
a
a0  |an1 | + + |a1 | + |a0 |
a1
 n1
+ + n1 + n 
<1

x
x
x
|x|

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.

Definicin 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
(5.2)

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

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

f(p) f(x) f(p) +

|f(x) f(p)| <

(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,

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

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.


CAPTULO 5. CONJUNTOS CONEXOS

78

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 homeomorfismo 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) 6= f(b). Para fijar 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, f^1 : J I es continua por el corolario anterior, corolario 5.13. Es
decir, f es un homeomorfismo entre I y J.

Corolario 5.15. Sea f : I J una biyeccin entre los intervalos I, J. Para
que f sea un homeomorfismo, es necesario y suficiente 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, definida por f(x) = x + |x|
si x 6= 0 y f(0) = 0. Esta funcin
est definida 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] definida 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 definicin 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.
Definicin 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

final. 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.
Definicin 56 (camino yuxtapuesto). Dados los caminos f, g : [0, 1] M
tales que f(1) = g(0), se define el camino yuxtapuesto f g : [0, 1] M por:

f(2t) si 0 t 1/2
(f g)(x) =
g(2t 1) 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, definido 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 definida por f(t) = (1 t)a + tb es continua y se le
llama camino rectilneo de extremos a, b.

Definicin 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 kx ak < r y ky ak < r. Luego, para

todo t [0, 1],

k(1 t)x + ty ak = k(1 t)(x a) + t(y a)k

(1 t) kx ak + t ky ak
< (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.

Definicin 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 grfico 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
(J), o sea, existira t J tal
fuese degenerado, existira n N tal que 2n
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
grfico de cos(1/x), (x > 0), conexo por caminos.


CAPTULO 5. CONJUNTOS CONEXOS

82

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.
Definicin 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 definicin, 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:

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

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, +).
S
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,
S
se tiene A0 C, entonces C = A0
es una separacin
6=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).