Tema 0
Tema 0
Tema 0
0.1. Conexión.
En esta sección recordamos algunos resultados ya conocidos sobre conexión. Por abuso de no-
tación, a lo largo de estas notas diremos simplemente que X es un espacio topológico sin hacer
referencia a la topologı́a T sobre el conjunto X, entendiendo que la topologı́a dada es conocida.
Proposición 1 Un espacio topológico X es conexo si, y solo si, los únicos subconjuntos que son
abiertos y cerrados a la vez son el conjunto vacı́o y el propio X.
Hemos de recordar que dado un espacio topológico X se dice que un subespacio suyo A ⊂ X es
conexo si A es conexo con la topologı́a inducida.
Teorema 2 La unión de una colección de subespacios conexos de X que tienen un punto en común
es conexa.
Teorema 4 El producto cartesiano finito de espacios topológicos es conexo con la topologı́a pro-
ducto si y solo si cada elemento del producto es conexo.
Teorema 5 Los conjuntos conexos de R con la topologı́a usual son exactamente los intervalos
(incluyendo los puntos).
La existencia del mayor conexo que contiene al punto x ∈ X viene garantizada por el Teorema
2. Además, cada componente conexa ha de ser cerrada por el Teorema 3. Ası́, se obtiene:
Teorema 6 Las componentes conexas de un espacio topológico X forman una partición de X por
conjuntos conexos maximales y cerrados.
1
2
Diremos que un arco α : [0, 1]−→X une x con y si α(0) = x y α(1) = y. De la misma manera,
decimos que un lazo α : [0, 1]−→X está basado en x (o tiene a x como punto base) si α(0) = x =
α(1).
Ası́, dados dos puntos x, y ∈ X denotamos por Ω(X, x, y) al conjunto de arcos en X que unen
x con y. Además, denotaremos simplemente por Ω(X, x) al conjunto de lazos en X basados en x.
Ejemplos.
1. Dado un punto x en un espacio topológico X siempre existe un lazo basado en x, dado por la
aplicación constante εx : [0, 1]−→X, εx (t) = x para todo t ∈ [0, 1].
Observemos que los únicos arcos (y lazos) que existen en un espacio topológico con la topologı́a
discreta son exactamente las arcos constantes.
2. Si α, β : [0, 1]−→X son dos arcos en un espacio topológico X tales que α une x con y, y β
une y con z entonces podemos definir el arco α ∗ β : [0, 1]−→X dado por
(
α(2t), si t ∈ [0, 1/2],
(α ∗ β)(t) =
β(2t − 1), si t ∈ [1/2, 1],
Definición. Decimos que un espacio topológico es arcoconexo (o conexo por arcos) si cualesquiera
dos puntos de X se pueden unir por un arco en X.
Al igual que para el caso de conexión, dado un espacio topológico X se dice que un subespacio suyo
A ⊂ X es arcoconexo si A es arcoconexo con la topologı́a inducida.
Es natural preguntarse qué relaciones existen entre conexión y arcoconexión. Una primera ob-
servación es que:
Es claro que A es conexo y B ⊂ A, por tanto, X = A ∪ B es conexo por el Teorema 3. Sin embargo,
es fácil probar que no hay ningún arco en X que una un punto de A con un punto de B.
0.2. CONEXIÓN POR ARCOS. 3
Ejercicios.
1. Muestra que cualquier esfera de Rn , n ≥ 2, es arcoconexa con la topologı́a usual.
2. Demuestra que si {Ai }i∈I es una familia de arcoconexos de X tales que todos intersecan a
uno de ellos, es decir,
Ai ∩ Ai0 6= ∅, ∀i ∈ I,
entonces ∪i∈I Ai es arcoconexo.
T = {U ⊂ X : x0 ∈ U } ∪ {∅}.
4. Demuestra que en Rn con la topologı́a usual, todo abierto conexo es arcoconexo. ¿Es cierto
que todo cerrado conexo de Rn es arcoconexo?
6. En R con la topologı́a de Sorgenfrey, esto es, la topologı́a que tiene como base