TEMA III (PRIMERA PARTE): CONEXIÓN

FRANCISCO J. LÓPEZ

1. C ONEXI ÓN TOPOL ÓGICA

La conexión es uno de los invariantes topológicos más importantes. A nivel intuitivo, un ob-
jeto es conexo si consta de un sólo ”trozo”, y disconexo si está compuesto de varias componentes
o trozos independientes. No obstante, esta formulación tan simple requiere de una elaboración
formal muy cuidadosa, como vamos a ver a continuación.
Definición 1.1. Un espacio topológico ( X, τ ) se dice conexo si y sólo si (def)
 A, B 6= ∅ ∅
 
 A ∩ B 6=
∀ A, B ⊆ X tales que A ∪ B = X se tiene que ó
A∩B = ∅ B ∩ A 6= ∅
 

Un subconjunto Y ⊆ X se dice conexo en ( X, τ ) si y sólo si (Y, τY ) es conexo.

Como consecuencia de la Definición 1.1, ( X, τ ) no es conexo si y solo si

A, B 6= ∅


∃ A, B ⊆ X tales que A∪B = X
A∩B = B∩A = ∅


El siguiente teorema nos ofrece algunas caracterizaciones útiles de la conexión de un espacio.

Teorema 1.2. Sea ( X, τ ) un espacio topológico. 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 Definición 1.1
para la elección 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 hipótesis 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 aplicación

0 si y 6= f ( x0 )
h : (Y, τd ) → ({0, 1}, τd ), h(y) =
1 si y = f ( x0 )
2 F.J. LÓPEZ

Claramente h es continua, de donde f ◦ h es continua. Por hipótesis 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 reducción al absurdo, y supongamos que A, B ⊆ X son subconjun-
tos no vacı́os tales que A ∩ B = B ∩ A = ∅ y A ∪ B = X. Obsérvese que bajo nuestras hipótesis
A = A = X − B y B = B = X − A. Elijamos Y = {0, 1} y consideremos la aplicación

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

Como comentábamos en la introducción del tema, la conexión es un invariante topológico. 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 también

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 será demostrar la conexión de algunos espacios topológicos
relevantes. Para ello el siguiente criterio resultará de gran utilidad.
Proposición 1.5. Sea ( X, τ ) un espacio topológico, 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 vacı́o 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 hipótesis F λ ∩ F µ 6= ∅ implicarı́a A ∩ F µ 6= ∅, una contradicción.
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 topológico. Bajo cualquiera de las condiciones que se relacionan a
continuación, el espacio ( X, τ ) es conexo:
(a) Existe una familia { Fλ : λ ∈ Λ} de subconjuntos conexos en ( X, τ ) satisfaciendo ∪λ∈Λ Fλ = X y
∩λ∈Λ Fλ 6= ∅ (o de forma más general, ∩λ∈Λ F λ 6= ∅).
 CONEXIÓN 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 ∪n∈N An = X.

Dem: La prueba de (a) es trivial por la Proposición 1.5.

La prueba de (b) se sigue de la Proposición 1.5 aplicada a la familia { A x0 ,x : x ∈ X }, donde
x0 ∈ X es un punto fijo.
Para comprobar (c), demostremos primero por inducción 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 hipótesis: 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 vacı́os en en ( X, τ ), y por tanto en
( Fn+1 , τFn+1 ), satisfaciendo que Fn ∪ An+1 = Fn+1 y Fn ∩ An+1 6= ∅. Una aplicación directa de
la Proposición 1.5 para el espacio topológico ( Fn+1 , τFn+1 ) y la familia de conexos { Fn , An+1 } nos
dice que ( Fn+1 , τFn+1 ) es conexo y cierra la inducción.
La prueba de (c) se sigue de la Proposición 1.5 aplicada a la familia { Fn : n ∈ N} en el espacio
topológico ( X, τ ). 

Una de las aplicaciones más interesantes de la Proposición 1.5 nos la proporciona el siguiente
teorema.
Teorema 1.7. Dados dos espacios topológicos ( X j , τj ), j = 1, 2,
( X1 × X2 , τ (τ1 × τ2 )) es conexo ⇐⇒ ( X j , τj ) es conexo, j = 1, 2.

Dem: =⇒) Como la proyección 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 topologı́a τ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 Proposición 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 análogo.
Consideremos la aplicación 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 aplicación ix1 es con-
tinua, de donde la aplicación restricción al codominio bix1 : ( X2 , τ2 ) → bix1 ( X2 ) ≡ ({ x1 } × X2 , τ 0 )
es continua y biyectiva; aquı́ τ 0 es la topologı́a inducida por τ (τ1 × τ2 ) en { x1 } × X2 . Como
bi− 1 0 b−1
x1 : ({ x1 } × X2 , τ ) → ( X2 , τ2 ) no es sino la restricción p2 |{ x1 }× X2 , la aplicación ix1 es continua
también 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 querı́amos 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 téngase en cuenta que ( x1 , y2 ) o (y1 , x2 ) están en es in-
tersección. La Proposición 1.5 aplicada al espacio topológico ( X1 × X2 , τ (τ1 × τ2 )) y la familia de
conexos { A( x1 ,x2 ) : ( x1 , x2 ) ∈ X1 × X2 } prueba que ( X1 × X2 , τ (τ1 × τ2 )) es conexo. 

También es interesante resalta que el espacio cociente de un conexo es conexo:

4 F.J. LÓPEZ

Teorema 1.8. Sea f : ( X1 , τ1 ) → ( X2 , τ2 ) una identificación topológica, donde ( X1 , τ1 ) es un espacio

conexo. Entonces ( X2 , τ2 ) es conexo.
En particular, si ( X, τ ) es conexo y R es una relación 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 mostrará útil para probar la conexión de algunos espacios topológicos.
Teorema 1.9. Sea ( X, τ ) un espacio topológico, 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 vacı́o en ( X, τ ). Por el Teorema 1.2-(c)

hemos de probar que A = X. En efecto, A ∩ D es no vacı́o (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 topológico ( 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
hipótesis ( A, τA ) es conexo, el Teorema 1.9 nos garantiza que ( B, τB ) es conexo. 

1.1. Componentes conexas de un espacio topológico. Intuitivamente, comentábamos que un es-

pacio topológico es conexo si está diseñado de una pieza. En el caso de que no sea conexo, parece
natural pensar que su estructura topológica responde a la idea de un objeto compuesto de varios
pedazos o componenentes conexas. Vamos a formalizar esta idea a continuación.
Definición 1.11. Sea ( X, τ ) un espacio topológico. 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 proposición nos dice que todo subconjunto conexo de ( X, τ ) está contenido en
una componente conexa.
Proposición 1.12. Si ( X, τ ) un espacio topológico y A ⊆ X un subconjunto conexo no vacı́o de ( X, τ ),
existe una única componente conexa C A de ( X, τ ) tal que A ⊆ C A .

Dem: Llamemos C A = { B ⊆ X : A ⊆ B y ( B, τB ) es conexo}. Nótese que A ∈ C A 6= ∅.

Definamos C A := ∪ B∈C A B y comprobemos que satisface las condiciones de la proposición.
En efecto, como A ⊆ B1 ∩ B2 6= ∅ para todo B1 , B2 ∈ C A , la Proposición 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 definición C 0 ∈ C A y
C 0 ⊆ C A . Esto prueba que C A es una componente conexa de ( X, τ ) conteniendo a A.
 CONEXIÓN 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. 

Definición 1.13. Dado un espacio topológico ( 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 básicas de las componentes conexas de un espacio está recogidas en el sigu-
iente:
Teorema 1.14. Sea ( X, τ ) un espacio topológico, 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 partición de X, esto es,
• X = ∪C∈C 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 vacı́o, conexo, abierto y cerrado en ( X, τ ) entonces A ∈ C .
(d) Si C constan de un número finito de elementos, entonces toda componente C ∈ C es abierta y cerrada.
(e) Si {Oλ : λ ∈ Λ} es una partición de X por abiertos conexos no vacı́os 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 = ∪C∈C C. Por

otra parte, si C1 , C2 ∈ C y C1 ∩ C2 6= ∅, el conjunto C1 ∪ C2 es conexo en ( X, τ ) (unión de dos
conexos con intersección no vacı́a, ver la Proposición 1.5). Además, 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 conexión de C implica la conexión 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 vacı́o, conexo, abierto y cerrado en ( X, τ ). Sea C A
la componente conexa de A, y observemos que A es un subconjunto no vacı́o, conexo, abierto y
cerrado en (C A , τCA ). Como (C A , τCA ) es conexo por definición, 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 partición 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 vacı́o, conexo, abierto y cerrado en ( X, τ ), luego una componente conexa por (c).
Como esto ocurre para todo µ ∈ Λ y {Oλ : λ ∈ Λ} es una partición de X, concluimos que
C = {Oλ : λ ∈ Λ}.
6 F.J. LÓPEZ

Por último, 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 contradicción. Por tanto, C A ⊆ X − ∪λ Cλ = A, esto es,
C A = A. Como { A} ∪ {Oλ : λ ∈ Λ} es una partición de X por componentes conexas, trivial-
mente C = { A} ∪ {Oλ : λ ∈ Λ}. 

Un espacio topológico ( X, τ ) se dice totalmente disconexo si sus componentes conexas son con-
juntos unitarios, esto es, los únicos subconjuntos conexos de ( X, τ ) son los puntos.
Veamos algunos ejemplos sencillos de cálculo de componentes conexas.
• La topologı́a 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. Téngase en cuenta el Teorema 1.14-(c).
• El conjunto H2 = {( x, y, z) ∈ R3 : x2 + y2 = z2 − 1}, dotado de la topologı́a euclidiana,
consta de dos componentes conexas: C+ = {( x, y, z) ∈ H2 : z > 0} y C− = {( x, y, z) ∈
H2 : z < 0}. En efecto, obsérvese que |z| ≥ 1 para todo ( x, y, z) ∈ H2 , y en consecuencia
H2 = C+ ∪ C− siendo la unión disjunta. Por otra parte, C+ y C− son abiertos en H2 ya
que C+ = H2 ∩ {z > 0} y C− = H2 ∩ {z < 0}, y por último C+ y C− son conexos en H2 ya
que la proyección ( 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 topológico.
Teorema 1.15. Sea f : ( X1 , τ1 ) → ( X2 , τ2 ) una aplicación 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 partición en
componentes conexas de ( X j , τj ), j = 1, 2, la aplicación
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 aplicación
C1 → C2 , C 7 → f ( C ). 

Las componentes conexas se comportan de forma natural respecto de la topologı́a producto.

Proposición 1.16. Sean ( X j , τj ), j = 1, 2, espacios topológicos, 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 fórmula
C( x1 ,x2 ) = Cx1 × Cx2 ,
donde Cx j es la componente conexa de x j en ( X j , τj ), j = 1, 2.
 CONEXIÓN 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 proyección
p j : ( X1 × X2 , τ (τ1 × τ2 )) → ( X j , τj ) es una aplicación 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 continuación caracterizar los conexos de la recta real. Como veremos más
adelante, este resultado tiene importantes implicaciones, por ejemplo, la descripción de un gran
número 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 conexión de ( A, (τu ) A ) es trivial.
Supongamos pues que A es un intervalo no trivial. Razonemos por reducción al absurdo, y
admitamos que A no es conexo. Por tanto existen abiertos O1 , O2 ∈ ((τu ) A disjuntos, no vacı́os
y tal que A = O1 ∪ O2 . Fijemos a1 ∈ O1 y a2 ∈ O2 , y salvo intercambiar ı́ndices supongamos sin
pérdida de generalidad que a1 < a2 . A continuación llamemos
B = {t ∈ O2 : t > a1 } y β := inf B.
Observese que β ∈ R está bien definido ya que B 6= ∅ (a2 ∈ B) y a1 es cota inferior de B. Además,
de la definición de β y del hecho de que A es un intervalo, es fácil deducir que
β ∈ [ a1 , a2 ] ⊆ A = O1 ∪ O2 .
Se presenta una clara disyuntiva: β ∈ O1 ó β ∈ O2 . La contradicción vendrá 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
(téngase 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 contradicción.
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 (téngase
en cuenta que a1 ∈ / O2 y a1 < β implican que a1 ≤ β − e). Por la definición de B deducimos que
] β − e, β] ⊆ B, y por tanto β = inf B ≤ β − e < β, una contradicción.
Esto prueba el teorema. 

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

8 F.J. LÓPEZ

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 únicos intervalos que constan de puntos racionales
son los triviales [r, r ] = {r }, r ∈ Q. De aquı́ el resultado.
Análogamente se razona con R − Q. 

Este resultado tendrá múltiples consecuencias. Comentemos para empezar dos de ellas:
Corolario 2.3. Si ( X, τ ) es un espacio conexo y f : ( X, τ ) → (R, τu ) una aplicación 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 función 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 continuación la conexión

de algunos espacios topológicos notables.

2.1.1. Los espacios euclidianos. El espacio (Rn , τun ) es conexo para todo n ∈ N. En efecto, probémoslo
por inducción. Si n = 1 el resultado se sigue del Teorema 2.1. Admitamos que (Rn , τun ) es conexo
para algún 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 inducción.

2.1.2. La esfera. La esfera (Sn , τu ) es conexa. Como la proyección estereográfica σ : (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 conexión 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 aplicación continua, entonces existe
p0 ∈ Sn tal que f ( p0 ) = f (− p0 ).

Dem: La aplicación 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 conexión 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. Análogamente ocurre con el toro
(Tn = ∏nj=1 S1 , τu ).
La cinta de Möbius y la Botella de Klein, dotados ambos de sus correspondientes topologı́as
euclidianas naturales, son conexos por ser cocientes de espacios conexos (el cilindro (C, τu )y el
toro (T1 , τu ), respectivamente).
 CONEXIÓN 9

2.2. Espacios arcoconexos. La mayorı́a de los espacios interesantes para la geometrı́a, como las
variedades diferenciables, satisfacen una condición de conexión más exigente, conocida como
conexión por arcos. Comentemos los detalles.
Definición 2.6. Un arco en un espacio topológico ( X, τ ) es una aplicación 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
también extremos del arco α. Un arco en ( X, τ ) se dice que une dos puntos x, y ∈ X si éstos 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 aplicación continua de un
conexo es conexo.
En muchas ocasiones identificaremos, abusando del lenguaje, el arco con su traza.
Definición 2.7. Un espacio topológico ( 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 conexión por arcos es una condición más fuerte que la conexión topológica.
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 } está formada por subconjuntos conexos en ( X, τ )
satisfaciendo
• ∪ x∈X α x ([0, 1]) = X.
• α x1 ([0, 1]) ∩ α x2 ([0, 1]) 6= ∅ para todo x1 , x2 ∈ X.
La conexión de ( X, τ ) se sigue directamente de la Proposición 1.5. 

El recı́proco al Teorema 2.8 es falso. La siguiente proposición nos ofrece el contraejemplo.

Proposición 2.9. El conjunto X := {( x, sin(1/x )) : x ∈]0, +∞[} ∪ {(0, 0)} dotado del a topologı́a
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 aplicación proyección ( 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 aplicación continua α del conjunto cerrado {(0, 0)}), es
suficiente con probar que A es abierto en ([0, 1], τu ).
Sea t0 ∈ A y consideremos cualquier número real e ∈]0, 1/2[. Por la geometrı́a de la gráfica Y,
el conjunto B2 ((0, 0), e) ∩ X consta de una colección numerable de arcos abiertos {γn : n ∈ N} en
Y disjuntos dos a dos, (esto es, trozos de la gráfica Y homeomorfos a intervalos abiertos y disjun-
tos dos a dos), además 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. LÓPEZ

/ γn para todo n ∈ N y B2 ((0, 0), e) ∩ X = ∪n∈N γ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 conexión 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 recı́proco al Teorema 2.8 sı́ será cierto. Para
explicar los detalles, necesitamos introducir la siguiente notación.
Dados dos arcos α,β en ( X, τ ) tales que α(1) = β(0), el producto β ∗ α : [0, 1] → X obedece a la
fórmula
α(2t) si t ∈ [0, 21 ]

( β ∗ α)(t) =
β(2t − 1) si t ∈ [ 12 , 1]
La aplicación β ∗ α está definida a trozos y de forma continua sobre los cerrados [0, 12 ] y [ 21 , 1]
de [0, 1]. Además, el valor de β ∗ α en el punto intersección t = 21 de ambos cerrados está 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 fácil
ver que α es continua y por tanto un arco, y además α(0) = α(1), α(1) = α(0).
Proposición 2.10. Todo abierto conexo no vacı́o de (Rn , τu ) es arcoconexo.

Dem: Sea O ⊆ Rn un abierto de la topologı́a euclidiana τu . Fijemos x ∈ O y llamemos

A x := {y ∈ O : existe un arco en O uniendo x e y}.
Nuestra intención es probar que A x = O, para lo que será 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 pequeño 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, obsérvese 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
también un arco β en B2 (y0 , e) con punto inicial y y final y0 ; como antes valdrı́a 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 ).
 CONEXIÓN 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 sólo 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 ÓN DE P ROBLEMAS

(1) Probar que cualesquiera dos de los espacios [0, 1), [0, 1], (0, 1) y S1 todos dotados de la topologı́a
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 conexión de los siguientes espacios, todos ellos dotados de la topologı́a euclı́dea:
(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 vacı́o, conexo y numerable, entonces D
contiene un único punto.
(8) Sea ( X, τ ) un espacio topológico. Probar que

( X, τ ) es conexo ⇔ ∀ A ⊂ X, A 6= ∅, X, se tiene que Fr( A) 6= ∅.

(9) Sean ( X, τ ) un espacio topológico y A, B ⊂ X dos subespacios conexos tales que A ∩ B 6= ∅.

Probar que A ∪ B es conexo.
(10) Sean ( X, τ ) un espacio topológico conexo. Probar que toda aplicación continua f : ( X, τ ) →
(Q, (τu )Q ) es constante.
(11) Sean A y B dos subconjuntos cerrados no vacı́os 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. LÓPEZ

(14) Sea A ⊂ Rn un subconjunto conexo, y sea f : A → R una función continua. Se definen los
subconjuntos de A × R ⊂ Rn+1 (dotado con la topologı́a 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 afı́n en Rn , n ≥ 2, es conexo sı́ y sólo sı́ éste
tiene dimensión menor o igual que n − 2.

Depto. de Geometrı́a y Topologı́a, Universidad de Granada, E-18071 Granada, (Spain), email: fjlopez@ugr.es