TEMA III (PRIMERA PARTE): CONEXION

FRANCISCO J. LOPEZ

1. C ONEXI ON TOPOL OGICA

La conexion es uno de los invariantes topologicos mas importantes. A nivel intuitivo, un ob-
jeto es conexo si consta de un solo trozo, y disconexo si esta compuesto de varias componentes
o trozos independientes. No obstante, esta formulacion tan simple requiere de una elaboracion
formal muy cuidadosa, como vamos a ver a continuacion.
Definicion 1.1. Un espacio topologico ( X, ) se dice conexo si y solo si (def)
A, B 6=

A B 6=
A, B X tales que A B = X se tiene que o
AB = B A 6=

Un subconjunto Y X se dice conexo en ( X, ) si y solo si (Y, Y ) es conexo.

Como consecuencia de la Definicion 1.1, ( X, ) no es conexo si y solo si

A, B 6=


A, B X tales que AB = X
AB = BA =

El siguiente teorema nos ofrece algunas caracterizaciones utiles de la conexion de un espacio.

Teorema 1.2. Sea ( X, ) un espacio topologico. Son equivalentes:
(a) ( X, ) es conexo.
(b) Si O1 , O2 , O1 O2 = y O1 O2 = X = {O1 , O2 } = {, X }.
(c) Si A X es abierto y cerrado entonces A {, X }.
(d) Si f : ( X, ) ({0, 1}, d ) es continua = f es constante.
(e) Para todo conjunto Y, si f : ( X, ) (Y, d ) es continua = f es constante.

Dem: (a) = (b) Sean O1 , O2 tales que O1 O2 = y O1 O2 = X, y supongamos que

{O1 , O2 } 6= {, X }, esto es, que O1 , O2 6= . Como ( X, ) es conexo, usando la Definicion 1.1
para la eleccion A = O1 y B = O2 deducimos que O1 O2 6= o O2 O1 6= . Sin embargo,
como O1 = X O2 y O2 = X O1 ambos conjuntos son cerrados. Por tanto, O j = O j , j = 1, 2,
contradiciendo que O1 O2 = .
(b) = (c) Si A X es abierto y cerrado, O1 = A y O2 = X A son dos abiertos en las
condiciones de (b), por lo que {O1 , O2 } = {, X }, esto es, A {, X }.
(c) = (d) Dada f : ( X, ) ({0, 1}, d ) continua, el conjunto A = f 1 ({0}) es abierto (ima-
gen inversa por f de un abierto en ({0, 1}, d )) y cerrado (imagen inversa por f de un cerrado en
({0, 1}, d )). De nuestras hipotesis A {, X }, esto es, f es constante.
(d) = (e) Sea f : ( X, ) (Y, d ) continua. Tomemos x0 X un punto arbitrario y con-
struyamos la aplicacion

0 si y 6= f ( x0 )
h : (Y, d ) ({0, 1}, d ), h(y) =
1 si y = f ( x0 )
2 F.J. LOPEZ

Claramente h es continua, de donde f h es continua. Por hipotesis h f es constante (y necesari-

amente h f 1), de donde f ( x ) = f ( x0 ) para todo x X. Esto prueba que f es constante.
(e) = (a) Razonemos por reduccion al absurdo, y supongamos que A, B X son subconjun-
tos no vacos tales que A B = B A = y A B = X. Observese que bajo nuestras hipotesis
A = A = X B y B = B = X A. Elijamos Y = {0, 1} y consideremos la aplicacion

0 si x A
f : ( X, ) ({0, 1}, d ), f ( x ) =
1 si x B
La aplicacion f es continua y no constante, contradiciendo (e) y probando el teorema. 

Como comentabamos en la introduccion del tema, la conexion es un invariante topologico. Este

hecho es consecuencia del siguiente:
Teorema 1.3. Si ( X, ) es conexo y f : ( X, ) (Y, 0 ) es continua entonces ( f ( X ), f0 (X ) ) es conexo.

Dem: Si h : ( f ( X ), f0 (X ) ) ({0, 1}, ) es continua entonces h f : ( X, ) ({0, 1}, ) es tambien

continua. Como ( X, ) es conexo, el Teorema 1.2 nos dice que h f es constante, de donde h es
constante. Pero de nuevo por el Teorema 1.2 deducimos que ( f ( X ), f0 (X ) ) es conexo. 

Corolario 1.4. Si ( X, ) es conexo y f : ( X, ) (Y, 0 ) es un homeomorfismo entonces (Y, 0 ) es

conexo.

Uno de los objetivos de este tema sera demostrar la conexion de algunos espacios topologicos
relevantes. Para ello el siguiente criterio resultara de gran utilidad.
Proposicion 1.5. Sea ( X, ) un espacio topologico, y supongamos existe una familia { F : } de
subconjuntos de X satisfaciendo:
F = X y F F 6= para cualesquiera , .
F es conexo en ( X, ) para todo .
Entonces ( X, ) es conexo.

Dem: Sea A X un subconjunto no vaco abierto y cerrado en ( X, ). Teniendo en cuenta el

Teorema 1.2, es suficiente con probar que A = X.
En efecto, como F = X y A 6= , la familia 0 := { : F A 6= } 6= .
Veamos que F A para todo 0 . En efecto, como A F es abierto y cerrado en ( F , F )
y A F 6= , el Teorema 1.2 nos dice que A F = F , esto es, F A. Como A es cerrado en
( X, ), deducimos que de hecho F A.
Para acabar, comprobemos que = 0 . En efecto, asumamos por un momento que existe
0 , esto es, tal que F A = . Como 0 6= , sabemos existe tal que F A 6= y
por tanto F A. Pero la hipotesis F F 6= implicara A F 6= , una contradiccion.
Por tanto = 0 , de donde por lo visto anteriormente F A para todo y A = X. 

Este resultado suele ser utilizado bajo condiciones particulares:

Corolario 1.6. Sea ( X, ) un espacio topologico. Bajo cualquiera de las condiciones que se relacionan a
continuacion, el espacio ( X, ) es conexo:
(a) Existe una familia { F : } de subconjuntos conexos en ( X, ) satisfaciendo F = X y
F 6= (o de forma mas general, F 6= ).
 CONEXION 3

(b) Para cualesquiera x, y X, existe un subconjunto conexo A x,y en ( X, ) tal que { x, y} A x,y .
(c) Existe una familia { An : n N} de subconjuntos conexos en ( X, ) satisfaciendo An An+1 6=
n N y nN An = X.

Dem: La prueba de (a) es trivial por la Proposicion 1.5.

La prueba de (b) se sigue de la Proposicion 1.5 aplicada a la familia { A x0 ,x : x X }, donde
x0 X es un punto fijo.
Para comprobar (c), demostremos primero por induccion en n que Fn = nj=1 A j es conexo
en ( X, ), n N. En efecto, si n = 1 el resultado se sigue de nuestras hipotesis: F1 = A1 es
conexo en ( X, ). Admitamos que Fn es conexo en ( X, ) y probemos lo mismo para Fn+1 . Para
ello, observemos que { Fn , An+1 } es una familia de conexos no vacos en en ( X, ), y por tanto en
( Fn+1 , Fn+1 ), satisfaciendo que Fn An+1 = Fn+1 y Fn An+1 6= . Una aplicacion directa de
la Proposicion 1.5 para el espacio topologico ( Fn+1 , Fn+1 ) y la familia de conexos { Fn , An+1 } nos
dice que ( Fn+1 , Fn+1 ) es conexo y cierra la induccion.
La prueba de (c) se sigue de la Proposicion 1.5 aplicada a la familia { Fn : n N} en el espacio
topologico ( X, ). 

Una de las aplicaciones mas interesantes de la Proposicion 1.5 nos la proporciona el siguiente
teorema.
Teorema 1.7. Dados dos espacios topologicos ( X j , j ), j = 1, 2,
( X1 X2 , (1 2 )) es conexo ( X j , j ) es conexo, j = 1, 2.

Dem: =) Como la proyeccion pj : ( X1 X2 , (1 2 )) ( X j , j ) es continua y ( X1 X2 , (1

2 )) es conexo, p j ( X1 X2 ) = X j es conexo con la topologa j , ver el Teorema 1.3.
=) Supongamos que ( X j , j ) es conexo, j = 1, 2. Para cada ( x1 , x2 ) X1 X2 definamos
A( x1 ,x2 ) := ({ x1 } X2 ) ( X1 { x2 }) X1 X2 .
Comprobemos que A( x1 ,x2 ) es conexo en ( X1 X2 , (1 2 )). Como ({ x1 } X2 ) ( X1 { x2 }) 6=
ya que contiene al punto ( x1 , x2 ), por el Corolario 1.6 (o directamente por la Proposicion 1.5) es
suficiente con probar que { x1 } X2 y X1 { x2 } son conexos. Trataremos el caso de { x1 } X2 ,
el de X1 { x2 } es analogo.
Consideremos la aplicacion inyectiva
ix1 : ( X2 , 2 ) ( X1 X2 , (1 2 )), i x1 ( x ) = ( x 1 , x ).
Como las aplicaciones p j ix1 : ( X2 , 2 ) ( X j , j ) son continuas, j = 1, 2, la aplicacion ix1 es con-
tinua, de donde la aplicacion restriccion al codominio bix1 : ( X2 , 2 ) bix1 ( X2 ) ({ x1 } X2 , 0 )
es continua y biyectiva; aqu 0 es la topologa inducida por (1 2 ) en { x1 } X2 . Como
bi 1 0 b1
x1 : ({ x1 } X2 , ) ( X2 , 2 ) no es sino la restriccion p2 |{ x1 } X2 , la aplicacion ix1 es continua
tambien y por tanto bix1 es un homeomorfismo. Al ser ( X2 , 2 ) conexo, el Corolario 1.4 nos garan-
tiza que { x1 } X2 es conexo en ( X1 X2 , (1 2 )) como queramos demostrar.
Como consecuencia de los anteriores comentarios, A( x1 ,x2 ) es conexo en ( X1 X2 , (1 2 ))
para todo ( x1 , x2 ) X1 X2 . Por otra parte, es claro que A( x1 ,x2 ) A(y1 ,y2 ) 6= para cualesquiera
o ( x1 , x2 ), (y1 , y2 ) X1 X2 . Para ello tengase en cuenta que ( x1 , y2 ) o (y1 , x2 ) estan en es in-
terseccion. La Proposicion 1.5 aplicada al espacio topologico ( X1 X2 , (1 2 )) y la familia de
conexos { A( x1 ,x2 ) : ( x1 , x2 ) X1 X2 } prueba que ( X1 X2 , (1 2 )) es conexo. 

Tambien es interesante resalta que el espacio cociente de un conexo es conexo:

4 F.J. LOPEZ

Teorema 1.8. Sea f : ( X1 , 1 ) ( X2 , 2 ) una identificacion topologica, donde ( X1 , 1 ) es un espacio

conexo. Entonces ( X2 , 2 ) es conexo.
En particular, si ( X, ) es conexo y R es una relacion de equivalencia en X entonces ( X/R, /R) es
conexo.

Dem: Como f es continua y sobreyectiva, el resultado se sigue del Teorema 1.3. 

El siguiente resultado se mostrara util para probar la conexion de algunos espacios topologicos.
Teorema 1.9. Sea ( X, ) un espacio topologico, y supongamos existe un subconjunto D X denso y
conexo en ( X, ). Entonces ( X, ) es conexo.

Dem: Sea A X un subconjunto abierto, cerrado y no vaco en ( X, ). Por el Teorema 1.2-(c)

hemos de probar que A = X. En efecto, A D es no vaco (por ser A D denso en ( X, )),
abierto y cerrado en ( D, D ). Como ( D, D ) es conexo, A D = D y por tanto D A. En partic-
ular, X = D A = A X, lo que prueba que A = X. 

Corolario 1.10. Si A es un subconjunto conexo de un espacio topologico ( X, ) y B es otro subconjunto

de X satisfaciendo A B A, entonces B es conexo en ( X, ).
En particular, si A es conexo en ( X, ) entonces A es conexo en ( X, ).
B
Dem: Como A B A entonces A = A B = B, esto es, A es denso en ( B, B ). Como por
hipotesis ( A, A ) es conexo, el Teorema 1.9 nos garantiza que ( B, B ) es conexo. 

1.1. Componentes conexas de un espacio topologico. Intuitivamente, comentabamos que un es-

pacio topologico es conexo si esta disenado de una pieza. En el caso de que no sea conexo, parece
natural pensar que su estructura topologica responde a la idea de un objeto compuesto de varios
pedazos o componenentes conexas. Vamos a formalizar esta idea a continuacion.
Definicion 1.11. Sea ( X, ) un espacio topologico. Un subconjunto C X se dice una componente
conexa de ( X, ) si
C es un subconjunto conexo de ( X, ).
Si C 0 X es un subconjunto conexo de ( X, ) y C C 0 = C 0 = C.
En otras palabras, las componentes conexas de ( X, ) son los subconjuntos conexos maximales de
( X, ).

La siguiente proposicion nos dice que todo subconjunto conexo de ( X, ) esta contenido en
una componente conexa.
Proposicion 1.12. Si ( X, ) un espacio topologico y A X un subconjunto conexo no vaco de ( X, ),
existe una unica componente conexa C A de ( X, ) tal que A C A .

Dem: Llamemos C A = { B X : A B y ( B, B ) es conexo}. Notese que A C A 6= .

Definamos C A := BC A B y comprobemos que satisface las condiciones de la proposicion.
En efecto, como A B1 B2 6= para todo B1 , B2 C A , la Proposicion 1.5 nos garantiza que
C A es conexo. Obviamente A C A , y si C 0 es un conexo tal que A C 0 por definicion C 0 C A y
C 0 C A . Esto prueba que C A es una componente conexa de ( X, ) conteniendo a A.
 CONEXION 5

Para probar la unicidad, supongamos que C0 es otra componente conexa de ( X, ) conteniendo

a A. Como C0 es conexo tenemos que C0 C A , y por tanto C0 C A . Como C0 es una componente
conexa y C A es conexo, deducimos que C0 = C A concluyendo la prueba. 

Definicion 1.13. Dado un espacio topologico ( X, ) y un subconjunto A X conexo en ( X, ),

diremos que C A es la componente conexa de A. Si A = { x }, x X, escribiremos simplemente Cx
para representar a la componente conexa del punto x.
Llamaremos
C := {C X : C es componente conexa de ( X, )}
a la familia de las componentes conexas de ( X, ).

Las propiedades basicas de las componentes conexas de un espacio esta recogidas en el sigu-
iente:
Teorema 1.14. Sea ( X, ) un espacio topologico, y denotemos por C la familia de todas sus componentes
conexas. Los siguientes enunciados son ciertos:
(a) La familia C de las componentes conexas de ( X, ) determina una particion de X, esto es,
X = CC C.
si C1 , C2 C satisfacen C1 C2 6= = C1 = C2 .
En particular, si A1 , A2 son conexos en ( X, ) tales que A1 A2 6= , entonces C A1 = C A2 .
(b) Toda componente C C es un subconjunto cerrado de ( X, ).
(c) Si A X es un subconjunto no vaco, conexo, abierto y cerrado en ( X, ) entonces A C .
(d) Si C constan de un numero finito de elementos, entonces toda componente C C es abierta y cerrada.
(e) Si {O : } es una particion de X por abiertos conexos no vacos en ( X, ), entonces C =
{O : } .
(f) Si {C , : } es una familia de componentes conexas de ( X, ) y A := X C es conexo,

entonces A es componente conexa de ( X, ) y C = { A} {O : }.

Dem: Probemos (a). Como { x } es conexo en ( X, ) y x Cx para todo x X, X = CC C. Por

otra parte, si C1 , C2 C y C1 C2 6= , el conjunto C1 C2 es conexo en ( X, ) (union de dos
conexos con interseccion no vaca, ver la Proposicion 1.5). Ademas, como Cj es una componente
conexa de ( X, ) contenida en C1 C2 , deducimos que Cj = C1 C2 , j = 1, 2, y por tanto que
C1 = C2 .
Demostremos ahora (b). Si C C , la conexion de C implica la conexion de C; ver el Corolario
1.10. Pero al ser C una componente conexa y C C necesariamente C = C, de donde C es cerrado
en ( X, ).
Para comprobar (c), consideremos A X no vaco, conexo, abierto y cerrado en ( X, ). Sea C A
la componente conexa de A, y observemos que A es un subconjunto no vaco, conexo, abierto y
cerrado en (C A , CA ). Como (C A , CA ) es conexo por definicion, A = C A y hemos acabado.
Para demostrar (d), escribamos C = {C1 , . . . , Cn }, donde Cj Ci = , j 6= i. Por la propiedad
(c), i6= j Ci es cerrado en ( X, ), j {1, . . . , n}. Como C es una particion de X, deducimos que


Cj = X i6= j Ci es abierto para todo j {1, . . . , n}.
Para probar (e) tomemos arbitrario y tengamos en cuenta que O = X 6= O es

cerrado por ser el complementario del abierto 6= O . De aqu deducimos que O es un sub-
conjunto no vaco, conexo, abierto y cerrado en ( X, ), luego una componente conexa por (c).
Como esto ocurre para todo y {O : } es una particion de X, concluimos que
C = {O : }.
6 F.J. LOPEZ

Por ultimo, demostremos (f). Sea C A la componente conexa de A en ( X, ), bien definida

porque A es un subconjunto conexo de ( X, ). Claramente C A 6= C para todo
, porque
de lo contrario A C , una contradiccion. Por tanto, C A X C = A, esto es,
C A = A. Como { A} {O : } es una particion de X por componentes conexas, trivial-
mente C = { A} {O : }. 

Un espacio topologico ( X, ) se dice totalmente disconexo si sus componentes conexas son con-
juntos unitarios, esto es, los unicos subconjuntos conexos de ( X, ) son los puntos.
Veamos algunos ejemplos sencillos de calculo de componentes conexas.
La topologa discreta ( X, d ) es totalmente disconexa. Para comprobarlo, observemos que
{ x } es abierto, cerrado y conexo en ( X, ), luego una componente conexa en ( X, ), para
todo x X. Tengase en cuenta el Teorema 1.14-(c).
El conjunto H2 = {( x, y, z) R3 : x2 + y2 = z2 1}, dotado de la topologa euclidiana,
consta de dos componentes conexas: C+ = {( x, y, z) H2 : z > 0} y C = {( x, y, z)
H2 : z < 0}. En efecto, observese que |z| 1 para todo ( x, y, z) H2 , y en consecuencia
H2 = C+ C siendo la union disjunta. Por otra parte, C+ y C son abiertos en H2 ya
que C+ = H2 {z > 0} y C = H2 {z < 0}, y por ultimo C+ y C son conexos en H2 ya
que la proyeccion ( x, y, z) 7 ( x, y) los hace homeomorfos a (R2 , u ). Teniendo en cuenta
por ejemplo Teorema 1.14-(e), hemos acabado.
El siguiente teorema es fundamental, porque nos dice que las componentes conexas se preser-
van por homeomorfismos. En particular, el cardinal del conjunto de componentes conexas es un
invariante topologico.
Teorema 1.15. Sea f : ( X1 , 1 ) ( X2 , 2 ) una aplicacion continua, y sea A X1 un subconjunto
conexo de ( X1 , 1 ). Entonces f (C A ) C f ( A) .
Si adicionalmente f es un homeomorfismo, f (C A ) = C f ( A) . En particular, si C j es la particion en
componentes conexas de ( X j , j ), j = 1, 2, la aplicacion
C1 C2 , C 7 f ( C ),
es biyectiva.

Dem: Como A y C A son conexos en ( X1 , 1 ) y f es continua, entonces f ( A) y f (C A ) son conexos en

( X2 , 2 ). Al ser A C A deducimos que f ( A) f (C A ), y por tanto que f (C A ) C f ( A) = C f (CA ) .
Si f es un homeomorfismo, el mismo resultado se aplica a f 1 respecto del conexo f ( A),
por lo que deducimos que f (C A ) = C f ( A) . En otras palabras, f lleva componentes conexas
a componentes conexas. De la biyectividad de f se deduce la biyectividad de la aplicacion
C1 C2 , C 7 f ( C ). 

Las componentes conexas se comportan de forma natural respecto de la topologa producto.

Proposicion 1.16. Sean ( X j , j ), j = 1, 2, espacios topologicos, y consideremos ( X1 X2 , (1 2 )) el
espacio producto.
Para todo punto ( x1 , x2 ) X1 X2 , la componente conexa C( x1 ,x2 ) de ( x1 , x2 en ( X1 X2 , (1 2 ))
obedece a la formula
C( x1 ,x2 ) = Cx1 Cx2 ,
donde Cx j es la componente conexa de x j en ( X j , j ), j = 1, 2.
 CONEXION 7

Dem: Como Cx1 Cx2 es conexo en ( X1 X2 , (1 2 )) (producto de conexos, ver el Teorem 1.7)
y ( x1 , x2 ) Cx1 Cx2 , deducimos que Cx1 Cx2 C( x1 ,x2 ) . Por otra parte, como la proyeccion
p j : ( X1 X2 , (1 2 )) ( X j , j ) es una aplicacion continua, el Teorema 1.15 nos garantiza
que p j (C( x1 ,x2 ) ) es un conexo conteniendo a x j , y por tanto que p j (C( x1 ,x2 ) ) Cx j , j = 1, 2. De aqu
inferimos que C( x1 ,x2 ) Cx1 Cx2 , y por tanto C( x1 ,x2 ) = Cx1 Cx2 . 

2. C ONEXOS DE LA RECTA EUCLIDIANA : CONSECUENCIAS

Nos proponemos a continuacion caracterizar los conexos de la recta real. Como veremos mas
adelante, este resultado tiene importantes implicaciones, por ejemplo, la descripcion de un gran
numero de espacios conexos de naturaleza euclidiana.

Teorema 2.1. Si A R, entonces

A es conexo en (R, u ) A es un intervalo.

Dem: = Supongamos que A no es un intervalo, esto es, existe t0 A tal que O1 := A] , t0 [6=
y O2 := A]t0 , +[6= . Los conjuntos O1 y O2 son abiertos disjuntos en ( A, u ) ( A, (u ) A )
y satisfacen A = O1 O2 , lo que contradice que A es conexo por el Toerema 1.2.
= Si A = [ a, a] = { a} es un intervalo trivial, la conexion de ( A, (u ) A ) es trivial.
Supongamos pues que A es un intervalo no trivial. Razonemos por reduccion al absurdo, y
admitamos que A no es conexo. Por tanto existen abiertos O1 , O2 ((u ) A disjuntos, no vacos
y tal que A = O1 O2 . Fijemos a1 O1 y a2 O2 , y salvo intercambiar ndices supongamos sin
perdida de generalidad que a1 < a2 . A continuacion llamemos
B = {t O2 : t > a1 } y := inf B.
Observese que R esta bien definido ya que B 6= (a2 B) y a1 es cota inferior de B. Ademas,
de la definicion de y del hecho de que A es un intervalo, es facil deducir que
[ a1 , a2 ] A = O1 O2 .
Se presenta una clara disyuntiva: O1 o O2 . La contradiccion vendra de que ninguna de
esas posibilidades puede ocurrir.
En efecto, supongamos primero que O1 . En este caso claramente < a2 , y por tanto [ , a2 ]
es un intervalo no trivial contenido en A (ya que A es un intervalo!!). Como O1 es un abierto en
A, existe e > 0 tal que ] e, + e[ A O1 , y por tanto, ] e, + e[[ , a2 ] = [ , + e[ O1
(tengase en cuenta que a2 / O1 y < a2 implican que + e a2 ). Pero al ser B O2 , O1 O2 =
y [ , + e[ O1 , inferimos que = inf B + e > , una contradiccion.
Supongamos ahora que O2 . En este caso claramente a1 < , y por tanto [ a1 , ] es un inter-
valo no trivial contenido en A (ya que A es un intervalo!!). Como O2 es un abierto en A, existe
e > 0 tal que ] e, + e[ A O2 , y por tanto, ] e, + e[[ a1 , ] =] e, ] O2 (tengase
en cuenta que a1 / O2 y a1 < implican que a1 e). Por la definicion de B deducimos que
] e, ] B, y por tanto = inf B e < , una contradiccion.
Esto prueba el teorema. 

Corolario 2.2. (Q, u ) y (R Q, u ) son totalmente disconexos.

8 F.J. LOPEZ

Dem: Un subconjunto conexo en (Q, u ) lo es en (R, u ), y por tanto ha de ser un intervalo. Por
la densidad de los irracionales en (R, u ), los unicos intervalos que constan de puntos racionales
son los triviales [r, r ] = {r }, r Q. De aqu el resultado.
Analogamente se razona con R Q. 

Este resultado tendra multiples consecuencias. Comentemos para empezar dos de ellas:
Corolario 2.3. Si ( X, ) es un espacio conexo y f : ( X, ) (R, u ) una aplicacion continua, entonces
f ( X ) es un intervalo de la recta real.
Equivalentemente, si x1 , x2 X y f ( x1 ) c f ( x2 ) entonces existe y X tal que f (y) = c.

Dem: Por el Teorema 1.3 el conjunto f ( X ) es conexo en (R, u ), luego un intervalo por el Teorema
2.1. 

Corolario 2.4. Si f : ([0, 1], u ) ([0, 1], u ) es continua entonces existe t0 [0, 1] tal que f (t0 ) = t0 .

Dem: La funcion h : ([0, 1], u ) (R, u ), h(t) = t f (t), es continua y satisface h(0) 0 h(1).
Por el Corolario 2.3 existe t0 [0, 1] tal que h(t0 ) = 0, esto es, f (t0 ) = t0 . 

2.1. Algunos espacios conexos de naturaleza euclidiana. Probemos a continuacion la conexion

de algunos espacios topologicos notables.

2.1.1. Los espacios euclidianos. El espacio (Rn , un ) es conexo para todo n N. En efecto, probemoslo
por induccion. Si n = 1 el resultado se sigue del Teorema 2.1. Admitamos que (Rn , un ) es conexo
para algun n N. Como (Rn+1 , un+1 ) (Rn R, (un u1 )), el Teorema 1.7 garantiza que
(Rn+1 , n+1 ) es conexo y cierra la induccion.

2.1.2. La esfera. La esfera (Sn , u ) es conexa. Como la proyeccion estereografica : (Sn { N }, u )

(Rn , u ) es un homeomorfismo y (Rn , u ) es conexo, (Sn { N }, u ) es conexo (ver el Corolario
1.4). Teniendo en cuenta que Sn { N } es denso en (Sn , u ), la conexion de (Sn , u ) se sigue del
Teorema 1.9.
Este resultado tiene una consecuencia interesante:
Teorema 2.5 (Borsuk-Ulam). Si f : (Sn , u ) (R, u ) es una aplicacion continua, entonces existe
p0 Sn tal que f ( p0 ) = f ( p0 ).

Dem: La aplicacion h : (Sn , u ) (R, u ), h( p) = f ( p) f ( p), es continua y satisface h( p) =

h( p) para todo p Sn . Por la conexion de (Sn , u ) y el Corolario 2.3, deducimos que 0 h(Sn )
(ya que 0 pertenece al intervalo de extremos h( p) y h( p), p Sn ). Por tanto existe p0 Sn tal
que h( p0 ) = f ( p0 ) f ( p0 ) = 0, lo que prueba el teorema. 

2.1.3. El cilindro y el toro. El cilindro (C = S1 R, u ) es conexo por ser el espacio producto

de los espacios conexos (S1 , u ) y (R, u ), ver el Teorema 1.7. Analogamente ocurre con el toro
(Tn = nj=1 S1 , u ).
La cinta de Mobius y la Botella de Klein, dotados ambos de sus correspondientes topologas
euclidianas naturales, son conexos por ser cocientes de espacios conexos (el cilindro (C, u )y el
toro (T1 , u ), respectivamente).
 CONEXION 9

2.2. Espacios arcoconexos. La mayora de los espacios interesantes para la geometra, como las
variedades diferenciables, satisfacen una condicion de conexion mas exigente, conocida como
conexion por arcos. Comentemos los detalles.
Definicion 2.6. Un arco en un espacio topologico ( X, ) es una aplicacion continua
: ([0, 1], ) ( X, ).

Al conjunto ([0, 1]) X le llamaremos traza del arco .

A los puntos (0) y (1) les llamaremos punto inicial y final del arco , respectivamente, y
tambien extremos del arco . Un arco en ( X, ) se dice que une dos puntos x, y X si estos son
sus extremos.

Obviamente, la traza ([0, 1]) de un arco : [0, 1] X en ( X, ) es un subconjunto conexo de

( X, ). Recordemos que ([0, 1], ) es conexo y que la imagen por una aplicacion continua de un
conexo es conexo.
En muchas ocasiones identificaremos, abusando del lenguaje, el arco con su traza.
Definicion 2.7. Un espacio topologico ( X, ) se dice conexo por arcos o arcoconexo si para cua-
lesquiera dos puntos x1 , x2 X existe un arco : ([0, 1], ) ( X, ) con (0) = x1 y (1) = x2 .

La conexion por arcos es una condicion mas fuerte que la conexion topologica.
Teorema 2.8. Si ( X, ) es arconconexo entonces ( X, ) es conexo.

Dem: Fijemos x0 X, y para cada x X consideremos un arco x : [0, 1] X con (0) = x0

y (1) = x. La familia { x ([0, 1]) : x X } esta formada por subconjuntos conexos en ( X, )
satisfaciendo
xX x ([0, 1]) = X.
x1 ([0, 1]) x2 ([0, 1]) 6= para todo x1 , x2 X.
La conexion de ( X, ) se sigue directamente de la Proposicion 1.5. 

El recproco al Teorema 2.8 es falso. La siguiente proposicion nos ofrece el contraejemplo.

Proposicion 2.9. El conjunto X := {( x, sin(1/x )) : x ]0, +[} {(0, 0)} dotado del a topologa
euclidiana indudida por (R2 , u ) es conexo, pero no arcoconexo.

Dem: Llamemos Y := {( x, sin(1/x )) : x ]0, +[}. Como (Y, u ) es homeomorfo a (]0, +[, u )
(la aplicacion proyeccion ( x, sin(1/x )) 7 x nos proporciona un homeomorfismo), y ]0, +[ es
conexo en R, u ) por ser un intervalo, inferimos que (Y, u ) es conexo. Por otra parte, el hecho de
que Y X Y y el Teorema 1.9 implican que X es conexo en (R2 , u ).
Resta pues probar que ( X, u ) no es arcoconexo. Para ello consideremos un arco cualquiera
: [0, 1] X con (0) = 0, y llamemos A = {t [0, 1] : (t) = 0}.
Nuestro objetivo es probar que A = [0, 1]. Como A 6= (0 A) y A = 1 ({(0, 0)}) es cer-
rado en ([0, 1], u ) (imagen inversa por la aplicacion continua del conjunto cerrado {(0, 0)}), es
suficiente con probar que A es abierto en ([0, 1], u ).
Sea t0 A y consideremos cualquier numero real e ]0, 1/2[. Por la geometra de la grafica Y,
el conjunto B2 ((0, 0), e) X consta de una coleccion numerable de arcos abiertos {n : n N} en
Y disjuntos dos a dos, (esto es, trozos de la grafica Y homeomorfos a intervalos abiertos y disjun-
tos dos a dos), ademas del punto (0, 0). Cada uno de los arcos n es obviamente un subconjunto
abierto y cerrado de ( B2 ((0, 0), e) X, u ), y por tanto una componente conexa de ( B2 ((0, 0), e)
10 F.J. LOPEZ

/ n para todo n N y B2 ((0, 0), e) X = nN n {(0, 0)}, la compo-

X, u ). Como (0, 0)
nente conexa de B2 ((0, 0), e) X conteniendo a (0, 0) se reduce al punto {(0, 0)}.
Por otra parte, como es continua tenemos que 1 ( B2 ((0, 0), e)) es un entorno de t0 en
([0, 1], u ), y por tanto existe > 0 tal que J :=]t0 , t0 + [[0, 1] 1 ( B2 ((0, 0), e)). Como J
es un intervalo no trivial, J es conexo, de donde deducimos que ( J ) B2 ((0, 0), e) X ha de ser
conexo igualmente, y en consecuencia contenido en una componente conexa de B2 ((0, 0), e) X.
Como (t0 ) = (0, 0) ( J ) , ha de ser la componente conexa de B2 ((0, 0), e) X conte-
niendo a (0, 0), esto es, = {(0, 0)} = ( J ). Esto prueba que J A, y por tanto que A es abierto
en ([0, 1], u ).
Por la conexion de [0, 1] deducimos que A = [0, 1], y en consecuencia es el arco constante
(0, 0). En particular, en X no pueden existir arcos conectando (0, 0) y puntos de Y, luego no es
arcoconexo. 

Sin embargo, bajo algunas condiciones especiales el recproco al Teorema 2.8 s sera cierto. Para
explicar los detalles, necesitamos introducir la siguiente notacion.
Dados dos arcos , en ( X, ) tales que (1) = (0), el producto : [0, 1] X obedece a la
formula
(2t) si t [0, 21 ]

( )(t) =
(2t 1) si t [ 12 , 1]
La aplicacion esta definida a trozos y de forma continua sobre los cerrados [0, 12 ] y [ 21 , 1]
de [0, 1]. Ademas, el valor de en el punto interseccion t = 21 de ambos cerrados esta bien
definido (ambas expresiones coinciden por ser (1) = (0)), por lo que : ([0, 1], u ) ( X, )
es continua.
Dado un arco : ([0, 1], ) ( X, ), se define : : ([0, 1], ) ( X, ), (t) = (1 t). Es facil
ver que es continua y por tanto un arco, y ademas (0) = (1), (1) = (0).
Proposicion 2.10. Todo abierto conexo no vaco de (Rn , u ) es arcoconexo.

Dem: Sea O Rn un abierto de la topologa euclidiana u . Fijemos x O y llamemos

A x := {y O : existe un arco en O uniendo x e y}.
Nuestra intencion es probar que A x = O, para lo que sera suficiente con ver que A x 6= y A x es
abierto y cerrado en (O, (u )O ) (ver el Teorema 1.2).
El arco : [0, 1] O, (t) = x t [0, 1], tiene punto inicial y final x, por lo que x A x 6= .
Veamos que A x es abierto. Sea y0 A x y consideremos un arco : [0, 1] O con (0) = x0 y
(1) = y0 . Tomemos e > 0 suficientemente pequeno para que B2 (y0 , e) O, y comprobemos que
B2 (y0 , e) A x . En efecto, si y B2 (y0 , e) basta con construir un arco en B2 (y0 , e) con punto
inicial y0 y final y (por ejemplo un segmento, observese que B2 (y0 , e) es convexo), y observar que
es un arco en O conectando x0 e y. Esto prueba que B2 (y0 , e) A x , y como y A x es un
punto arbitrario, que A x es un abierto en (Rn , u ). Como A x O, A x es abierto en (O, (u )O ).
O
Veamos ahora que A x es cerrado en (O, (u )O ). Tomemos un punto arbitrario y0 A x , y con-
O
sideremos igual que antes una bola abierta B2 (y0 , e) O. Como y0 A x y B2 (y0 , e) es entorno
de y0 en (O, (u )0 ), necesariamente B2 (y0 , e) A x 6= . Tomemos un punto y B2 (y0 , e) A x
y un arco : [0, 1] O con (0) = x0 y (1) = y, que existe por ser y A x . Consideremos
tambien un arco en B2 (y0 , e) con punto inicial y y final y0 ; como antes valdra un segmento por
la convexidad de B2 (y0 , e). Razonando como antes, es un arco en O conectando x0 e y0 , lo
que prueba que y0 A x , y por tanto, que A x es cerrado en (O, (u )O ).
 CONEXION 11

En definitiva, A x = O para cualquier punto x O, por lo que O es arcoconexo. 

2.2.1. Conjuntos estrellados y convexos en espacio euclidianos. Un conjunto A Rn se dice estrellado

con centro x0 A si para todo x A el segmento [ x0 , x ] := {(1 t) x0 + tx : t [0, 1]} A.
Todo conjunto estrellado es arcoconexo. En efecto, si x, y A y consideramos los arcos en A
dados por : [0, 1] A, (t) = (1 t) x0 + tx, y : [0, 1] A, (t) = (1 t) x0 + ty, el arco
: [0, 1] A conecta x e y.
Un conjunto A Rn se dice convexo si para todo x, y A el segmento [ x, y] A. En otras
palabras, A es convexo si y solo si es estrellado con centro cualquiera de sus puntos. Obviamente
todo conjunto convexo es arcoconexo.
Como ejemplo, comentemos el caso del cono C0 = {( x, y, z) R3 : x2 + y2 = z2 }. Este
conjunto es estrellado con centro el origen (0, 0, 0), y por tanto arcoconexo.

3. T EMA III (P RIMERA PARTE ): R ELACI ON DE P ROBLEMAS

(1) Probar que cualesquiera dos de los espacios [0, 1), [0, 1], (0, 1) y S1 todos dotados de la topologa
usual, no son homeomorfos.
(2) Probar que Sn es conexo, n 1.
(3) Probar que R no es homeomorfo a Rn , n 2. Igualmente, probar que S1 no es homeomorfo a
Sn , n 2.
(4) Un conjunto A Rn se dice estrellado con centro p0 A si para todo p A el segmento
[ p0 , p] A. Probar que todo conjunto estrellado de Rn es conexo, y como consecuencia pro-
bar que todo convexo en Rn es conexo.
(5) Estudidar la conexion de los siguientes espacios, todos ellos dotados de la topologa eucldea:
(i) {( x, y, z) R3 | x2 + y2 = z2 }.
(ii) {( x, y, z) R3 | x2 + y2 = 1}.
(iii) {( x, y, z) R3 | x2 + y2 = z}.
(iv) Q R.
(v) {( x, y) R2 | x y 6= 0}.
(vi) Q R {( x, 0) | x R}.
(vii) {( x, sin(1/x )) | x (0, +)} {(0, 0)}.
(6) Probar que Rn+1 Sn no es conexo, n 1. Determinar sus componentes conexas.
(7) Probar que si D Rn , n 1, es un subconjunto no vaco, conexo y numerable, entonces D
contiene un unico punto.
(8) Sea ( X, ) un espacio topologico. Probar que

( X, ) es conexo A X, A 6= , X, se tiene que Fr( A) 6= .

(9) Sean ( X, ) un espacio topologico y A, B X dos subespacios conexos tales que A B 6= .

Probar que A B es conexo.
(10) Sean ( X, ) un espacio topologico conexo. Probar que toda aplicacion continua f : ( X, )
(Q, (u )Q ) es constante.
(11) Sean A y B dos subconjuntos cerrados no vacos de ( X, ) tales que A B y A B son conexos.
Probar que A y B son subespacios conexos.
(12) Si ( X1 , 1 ) es conexo y f : ( X1 , 1 ) ( X2 , 2 ) es continua, entonces Graf( f ) es un subespacio
conexo del espacio producto ( X1 X2 , (1 2 )).
(13) Si A es un subconjunto abierto, cerrado y conexo de ( X, ), probar que A es una componente
conexa de ( X, ).
 12 F.J. LOPEZ

(14) Sea A Rn un subconjunto conexo, y sea f : A R una funcion continua. Se definen los
subconjuntos de A R Rn+1 (dotado con la topologa inducida por Rn+1 ) dados por:
G + ( f ) = {( x, t) A R | t > f ( x )} y G ( f ) = {( x, t) A R | t < f ( x )}.
Probar que G + ( f ) y G ( f ) son abiertos conexos.
(15) Probar que el complementario de un conjunto numerable en Rn n 2, es conexo. Concluir
que lo mismo ocurre en la esfera Sn , n 2.
(16) Probar que el complementario de un subespacio afn en Rn , n 2, es conexo s y solo s este
tiene dimension menor o igual que n 2.

Depto. de Geometra y Topologa, Universidad de Granada, E-18071 Granada, (Spain), email: fjlopez@ugr.es