Universidad de El Salvador

Facultad de Ciencias Naturales y Matemática

Escuela de Matemática

Licenciatura en Matemática
Topologı́a

COMPONENTES Y CONEXIÓN LOCAL

Estudiantes: Carné:
Carmen Elizabeth Parada Barrera PB16008
Madeline Patricia Sibrián Morales SM15008

Docente:
Dr. Dimas Noé Tejada Tejada

15 de julio de 2020

Ciudad Universitaria, San salvador, El Salvador

Introducción
En el transcurso de la historia, la conexión y la compacidad han sido dos de las propiedades topológicas mas estu-
diadas. En la primera mitad del siglo XX los topologos estudiaron las implicaciones entre variaciones cada vez más
sutiles y complejas en la noción de un espacio localmente conexo.

En la última parte del siglo XX, las tendencias de investigación cambiaron a un estudio más intenso de espacios.
Como variedad (objeto geométrico estándar en matemática que generaliza la noción intuitiva de curva y superficie a
cualquier dimensión y sobre cuerpos diversos) que son localmente bien entendidos pero tienen un comportamiento
global complicado. De esta perspectiva moderna, la propiedad mas fuerte de conexión local por caminos: para que
un espacio admita un cubrimiento universal debe ser conexo y conexo localmente por caminos.

Consideraremos que existe una manera natural de dividir un espacio arbitrario en varios trozos que son conexos (o
conexos por caminos) mediante las componentes conexas (conexas por caminos).

También introduciremos la noción de que un espacio es localmente conexo si y solo si para cada conjunto abierto U ,
las componentes conexas de U con la topologı́a del subespacio son abiertas. Se deduce por ejemplo, que f : X → Y
continua con X espacio localmente conexa y Y totalmente disconexo debe ser localmente constante.

De hecho, que las componentes sean abiertas es tan natural que hay que tener en cuenta que no es cierto en general:
por ejemplo, el espacio de Cantor es totalmente disconexo pero no es discreto.

1
Componentes
Como hemos visto en el curso, uno de los resultados importantes es la conexidad en conjuntos, hemos estudiado que
un conjunto es conexo cuando este no puede descomponerse en dos partes, y a estas partes se les llama componentes,
sin embargo, ¿qué son las componentes?, a continuación responderemos dicha pregunta.
Definición (Componentes). Sea X un espacio, y x ∈ X. La componentes C(x) de x ∈ X es la unión de todos los
subconjuntos conexos de X que contienen a x.

C5
C3
C7 C8
C1
C2 C4 C6

Figura 1: Componentes conexas.

Proposición. Las componentes C(x) de x ∈ X son conexas.

Vamos a definir Ai , i ∈ I los conjuntos conexos que contienen a x, ahora por definición de compo-
Demostración. [
nente C(x) = Ai , sabemos por un teorema visto en el curso que la unión de cualquiera familia de conjuntos
i∈I
conexos teniendo, al menos un punto en común es conexo.

Entonces dado que cada

[ Ai es conexo, y todos contienen a xi , por el teorema mencionado anteriormente, podemos
afirmar que C(x) = Ai es conexo, mostrando ası́ que las componentes son conexas.
i∈I

De la definición podemos decir que C(x) es el conjunto conexo mas grande que contiene a x, ahora veremos un
resultado sobre esto.
Teorema 1. Tenemos una serie de resultados
1. Cada componente C(x) es un conjunto maximal conexo en X, es decir no existe un subconjunto conexo de X
que contenga de forma estricta a C(x).

2. El conjunto de todas las componentes de X forma una partición de X.

3. Cada componente C(x) es cerrada en X.
Demostración.

1. La prueba es inmediata de la definición, pues al ser la unión de todos los conjuntos conexos que contiene a x,
es el conexo más grande, entonces si existiera otro conjunto conexo, debe suceder que sea C(x) o que sea el
mismo.
2. Vamos a demostrar esto por contradicción: asumiremos las componentes no forman una partición; es decir al
tomar dos componentes conexas, C(x) y C(y) donde x, y ∈ X y además x 6= y, entonces como no son una
partición C(x) ∩ C(y) 6= ∅;luego, como tienen al menos un elemento en común, sucede que C(x) ∪ C(y) es
conexo, pero claramente esta unión contiene a C(x) y a C(y), y esto contradice el hecho que las componentes
conexas son los conexos maximales; ası́ que debe suceder que las componentes formen una partición.
3. Sabemos que, si dada una componente conexa arbitraria si C(x) es conexa; entonces, también C(x) es conexo.
Luego, por ser C(x) el conexo maximal, como C(x) es un conexo de que contiene a x debe suceder que
C(x) ⊂ C(x).Luego, por definición C(x) ⊂ C(x), entonces por doble inclusión C(x) = C(x) de acá concluimos
que C(x) es cerrado.

2
Corolario 1. Las componentes de X son subespacios disjuntos y conexos de X cuya unión en X de forma que
cada subespacio conexo de X no trivial interseca sólo a una de ellas.
Demostración. Por contradicción vamos a suponer que sea A un subespacio conexo de X, interseca a C1 y C2 donde
ambas son componentes conexas de X.

Entonces tenemos que A ∩ C1 6= ∅, sea x1 al menos un punto que tienen en común, análogamente A ∩ C2 6= ∅, sea
x2 al menos un punto que tienen en común. Ahora sean C10 (x1 ) y C20 (x2 ) las componentes conexas de x1 , x2 , ası́
podemos decir que A ∪ C1 (x1 )0 y A ∪ C2 (x2 )0 son conexos. Luego como ambos son conexos y tienen al menos un
punto en común, se tiene que A ∪ C1 (x1 )0 ∪ C2 (x2 )0 es conexo pero entonces tendrı́amos un conexo que contiene a
x1 y x2 y se tiene que C10 (x1 ) ⊂ A ∪ C1 (x1 )0 ∪ C2 (x2 )0 , análogamente C20 (x2 ) ⊂ A ∪ C1 (x1 )0 ∪ C2 (x2 )0 , pero esto
contradice el hecho que C1 (x1 )0 y C2 (x2 )0 son el conexo maximal que contiene a x1 y x2 ; por lo tanto, debe ser que
un subespacio conexo solo interseque a una componente conexa.
Ejemplo 1. Sea Q ⊂ R el subespacio de los Racionales. La componente de cada x ∈ Q es el mismo x. Por lo tanto,
aunque X no tenga la topologı́a discreta, las componentes pueden reducirse a puntos. X es totalmente disconexo si
C(x) = x, ∀x ∈ X.
Observación. Las componentes conexas no son necesariamente abiertas, como lo pudimos observar en el ejemplo
anterior.
Teorema 2. Sea f : X −→ Y continua. Entonces la imagen de cada componente de X debe estar en una componente
de Y . Además si h : X ∼
= Y , entonces h induce una correspondencia uno a uno entre las componentes de X y las
componentes de Y .
Demostración. Dado que f es una función continua, tomemos una componente C(x) arbitraria, como C(x) es co-
nexa, sabemos que también f (C(x)) es continua, ahora notamos que f (C(x)) es un subconjunto de Y que contiene
a f (x), pues x ∈ C(x), y por ende f (x) ∈ f (C(x)), pero por definición de componente conexa sabemos que C(f (x))
es el conexo más grande que contiene a f (x), ası́ debe suceder que f (C(x)) ⊂ C(f (x)) y con esto probamos que la
imagen de cada componente conexa de X está en una componente conexa de Y .

Ahora solo nos falta ver que se corresponden uno a uno, como h es continua se tiene que h(C(x)) ⊂ C(h(x)),
luego como h es un homeomorfismo cumple que h−1 es continua, entonces dado un elemento h(x) en Y , se tie-
ne que la imagen con respecto a h−1 de la componente conexa C(h(x)) esta en una componente de X, en este
caso con C(h−1 (h(x))) = C(x), ası́ cumple que h−1 (C(h(x))) ⊂ C(x), y por ser h una biyección, cumple que
h(h−1 (C(h(x)))) = C(h(x)) ⊂ h(C(x)), y como hemos probado ambas inclusiones tenemos que C(h(x)) = h(C(x))
y con esto probamos que si es un homeomorfismo las componentes conexas se corresponden uno a uno.
En ocasiones las componentes son de mucha importancia para determinar si dos espacios son homeomorfos o no, por
el teorema (2), ahora veremos un ejemplo donde dicho teorema nos ayuda a determinar si dos espacios topológicos
son homeomorfos.
Ejemplo 2. Sea f : X −→ Y y sea g : X −→ Y aplicaciones continuas biyectivas, tal que X = (0, 1) ∪ {2} ∪ (3, 4) ∪
{5} ∪ (6, 7) ∪ {8} y también tenemos que Y = (0, 1] ∪ (3, 4) ∪ {5} ∪ (6, 7) ∪ {8}.

Estos espacios no pueden ser homeomorfos, puesto que la componente (0, 1] es no es homeomorfa a ninguna com-
ponente de X. Sin embargo tenemos

x/2, si 0 < x ≤ 1
( 
x, si x 6= 2
f= g = (x − 2)/2, si 3 < x < 4
1, si x = 2 
x − 3, en otro caso


Componentes conexas por caminos

Definición (Componentes conexas por camino). Sea X un espacio, y x ∈ X. La componentes P C(x) de x ∈ X es
la unión de todos los subconjuntos conexos por caminos de X que contienen a x.
Teorema 3. Las componentes conexas por caminos de X son subespacios disjuntos (son una partición) conexos
por caminos de X cuya unión es X, tales que cada subespacio conexo por caminos de X no trivial interseca sólo a
una de ellas.

3
Demostración. La primera parte de la demostración consiste es probar que las componentes conexas por caminos
son una partición de X, esta prueba es similar a la que se realizó anteriormente en Teorema (1), numeral 2. Luego
por contradicción supondremos que un subespacio conexo por caminos interseca a más de una componente conexa
por caminos, de igual forma esta prueba es totalmente análoga a la que se realizo en el Corolario (1).
Observemos que cada componente de un espacio X es cerrada en X ya que la adherencia de un subespacio conexo
de X es conexo. Si X tiene solo un número finito de componentes, entonces cada componente es también un abierto
en X, pues su complemento es una unión finita de cerrados; en general, las componentes de X no son abiertas en
X.

Cuando hablamos de componentes conexas por caminos, en general no son ni abiertas ni cerradas en X. Conside-
remos el siguiente ejemplo:

Ejemplo 3. La “Curva del seno del topologo” S = {(x, y) ∈ R2 : 0 < x ≤ 1, y = sen(1/x)} ∪ {0 × [−1, 1]}
Es un espacio que tiene una úni-
ca componente ya que es conexo
y dos componentes conexas por
caminos. Una de ellas es la cur-
va S = {x × sin(1/x)|0 < x ≤ 1}
y la otra es el intervalo vertical
V = 0 × [−1, 1]. Observemos que
S es abierto en S pero no es ce-
rrado, mientras que V es cerrado
Figura 1: Curva del seno del topologo
pero no abierto.

Conexión Local
Definición (Localmente conexo). Un espacio X se dice que es localmente conexo en x si para cada entorno de U
de x, existe un entorno conexo V de x contenido en U . Si X es localmente conexo en cada uno de sus puntos, se
dice que X es localmente conexo.
Seguramente nos podemos preguntar, ¿que
tiene de especial ser localmente conexo?, pe-
ro al ser localmente conexo nos ayuda para
que se cumplan algunas propiedades que no
se dan en los conjuntos conexos. En el ejem-
plo (1), pudimos observar que las compo-
nentes conexas no son abiertas, y es natural
hacernos la pregunta, ¿cuando serán abier-
tas?, el siguiente resultado nos da una idea.
Lema 1. Si X es localmente conexo enton-
ces sus componentes conexas son abiertas. Figura 2: Localmente conexo

Demostración. Sea x, un punto arbitrario,

donde C(x) es una componente de X, ahora
tomemos U (x) entorno abierto de x, entonces puesto que X es localmente sabemos que existe un entorno conexo V (x)
tal que x ∈ V (x) ⊆ U (x), sabemos que C(x) es el conexo más grande que contiene a x ası́ tenemos x ∈ V (x) ⊆ C(x)
entonces tenemos que C(x) es abierta.
Teorema 4. Un espacio X es localmente conexo si y solo si, para cada conjunto abierto U de X, cada componente
de U es abierta en X.
Demostración.
(=⇒) Acá suponemos que X es localmente conexo. Entonces, dado U un abierto de X tomemos una componente
conexa C de U . Queremos probar que C sea abierto en U ; es decir, que todo punto de C, sea punto interior. Sea x
un punto arbitrario de C, entonces por ser localmente podemos elegir un entorno conexo V de x tal que V ⊂ U .

4
Pero como V es conexo; debe suceder que V ⊂ C, ası́ para cualquier punto de C encontramos un entorno arbitra-
rio, tal que está totalmente contenido en C, decimos que es un punto interior y con esto mostramos que C es abierto.

(⇐=) En este caso suponemos que las componentes de los abiertos X son abiertos. Dado un punto x ∈ X y un
entorno U de x, sea C la componente de U que contiene a x. Entonces como C es conexo y abierto en X, se tiene
que C ⊂ U , y entonces con esto probamos que X es localmente conexo, pues para cada entorno abierto, existe un
entorno conexo incluido en el.
Es bastante fácil encontrar ejemplos donde la conexión local no implica conexión, cabe mencionar que intuitivamente
esta idea no es tan natural, pues se esperarı́a que conexión local implique conexión.
Ejemplo 4. En R con la topologı́a usual, la unión de dos intervalos disjuntos, por ejemplo A = (0, 1) ∪ (2, 3), es
obviamente no conexo pero cada punto está contenido en un entorno conexo: el intervalo al que pertenece.
Un poco más difı́cil es ver que conexo no implica localmente conexo. Pues lo que se espera es que dicha implicación
suceda.
Ejemplo 5. El espacio peine definido como P = ([0, 1] × {0}) ∪ ({1/n : n ∈ Z+ } × [0, 1]) ∪ ({0} × [0, 1]) ⊂ Rusual
es, se ve de la siguiente manera.
Claramente es conexo; pues es la unión de rectas verticales de longitud
[0, 1] sobre los puntos {1/n : n ∈ Z+ }, unido a el intervalo [0, 1] jun-
to con ([0, 1] × {0}) ∪ ({0} × [0, 1], puesto que al intersecar cada una de (1, 1)
estas rectas que son conexas y evidentemente no es vació, entonces tene-
mos que ([0, 1] × {0}) ∪ ({1/n : n ∈ Z+ } × [0, 1]) ∪ ({0} × [0, 1]) es cone-
xo.

Pero ahora veremos que no es localmente conexo, si tomamos un entorno U del

punto (0, 1), vemos que no hay un entorno V dentro de U tal que sea conexo.
Esto es porque dicho entorno por muy pequeño que sea siempre tiene al menos
un punto de la forma (1/n, 0), pero este punto pertenece a una componente (0, 0) (1, 0)
conexa distinta a la que pertenece (0, 1), entonces dicho entorno no podrı́a
Figura 4: Espacio peine.
ser conexo, puesto que interseca a dos componentes conexas y contradice el
teorema (1).
Proposición. Sea X un espacio topológico.
1. Si U ⊆ X es abierto, y X es localmente conexo, entonces también U lo es.
2. Si X = ∪i Ui es la unión de subconjuntos abiertos y cada Ui es localmente conexo, entonces también X lo es.
Demostración.
1. Sea U ⊂ X un abierto en X, y sea U 0 un abierto en U , entonces U 0 es un abierto en X, ahora tomemos un
x ∈ U 0 arbitrario, entonces puesto que X es localmente conexo, sabemos que existe un subconjunto conexo
abierto V que contiene a x, tal que V ⊂ U 0 y con esto probamos que U es localmente conexo.
2. Sea U ⊂ X abierto y x ∈ U . Entonces x ∈ Ui para algún i. Por la conexión local de Ui y x ∈ Ui ∩ U ⊂ Ui ,
entonces existe un subconjunto conexo V de Ui ∩ U tal que x ∈ V ⊂ Ui ∩ U . Por lo tanto x ∈ V ⊂ U

Observación.
1. Es falso que si f : X −→ Y es continua y X es localmente conexa, entonces f (X) es localmente conexa, veamos:

Sea X = Q con la topologı́a discreta y Y = Q como subespacio de R. La función identidad en Q proporciona

una función continua y sobreyectiva pero Y no es localmente conexo.
2. Los subconjuntos cerrados de 
espacios localmente  conexos no son localmente conexos en general.
1
Tomemos X = R y Y = {0} ∪ : n = 1, 2, . . . . Y es cerrado en X pero no hay subconjunto abierto conexo
n
de 0 en Y .

5
Observación.
1. La conexión local es evidentemente una invariante topológica, y por lo tanto se puede utilizar en cuestiones de
no-homeomorfismo. Sea S la curva del seno del topologo. Ası́, S no puede ser homeomorfo a ningún intervalo
en R.
2. La conexión local no es invariante bajo aplicaciones continuas. Sea X el espacio discreto {0, 1, 2, . . . }, Y el
subespacio {0}∪{1/n|n = 1, 2, . . . } de R y f : X → Y tal que f (0) = 0, f (n) = 1/n. Entonces X es localmente
conexo y f es una biyección continua pero Y no es localmente conexo
Ejemplo 6. Intervalos y rayos de la recta real estos son conexos y localmente conexos.
Ejemplo 7. El subespacio [−1, 0) ∪ (0, 1], este no es conexo, sin embargo, es localmente conexo.
Ejemplo 8. Los racionales Q, estos no son conexos y tampoco son localmente conexos.

Localmente conexo por caminos

Definición (Localmente conexo por caminos). Se dice que un espacio X es localmente conexo por caminos en x si
para cada entorno U de x, existe un entorno conexo por caminos V de x contenido en U . Si X es localmente conexo
por caminos en cada uno de sus puntos, se dice que X es localmente conexo por caminos.
Proposición.
1. Si X es conexo y localmente conexo por caminos entonces es conexo por caminos.
2. Si X es localmente conexo por caminos entones X también es localmente conexo.
Teorema 5. Un espacio X es localmente conexo por caminos si y solo si, para cada conjunto abierto U de X, cada
componente conexa por caminos de U es abierta en X
Demostración. (⇒) Supongamos que X es localmente conexa por caminos; sean U un abierto de X y C una
componente de U . Si x es un punto de C, podemos elegir un entorno conexo por caminos V de x tal que V ⊂ U .
Como V es conexo por caminos, debe estar enteramente contenido en la componente C de U . Ası́, C es abierto en X.

(⇐) Supongamos que las componentes de los abiertos de X son abiertos. Dado un punto x de X y un entorno U
de x, sea C la componente de U que contiene a x. Ahora, C es conexo por caminos y como es abierto en X por
hipótesis, X es localmente conexo por caminos en x.
Sin embargo, podemos ver que a diferencia de lo visto en el curso, que conexidad por caminos implica que un espacio
sea conexo, en este caso si un espacio es conexo por caminos, no implica que sea localmente conexo, y tampoco
localmente conexo por caminos implica conexidad, por ejemplo:
Ejemplo 9. Ahora veremos un ejemplo de cuando X es conexo por caminos y no es locamente conexo por caminos.
Si tomamos el cı́rculo S 1 = {(x, y) ∈ R2 : x2 + y 2 = 1} y consideremos una sucesiones de radios infinitos
donde, tomando X0 = [0, 1] × {0} y Xn = {(t cos(π/n), t sen(π/n)) : n/(n + 1) ≤ t ≤ 1}, para n = 1, 2, . . .
∞
[
Entonces, tomando nuestro espacio X = S 1 ∪ ( Xn ), tenemos que es local-
n=0
mente conexo por caminos, pues los Xn son rectas, las cuales son conexas por
∞
[
caminos y S 1 es conexo por caminos, y como es evidente S 1 ∩( Xn ) 6= ∅, po-
n=0
demos decir que X es conexo por caminos, ahora veremos que no es localmente
conexo por caminos.
Si tomamos un entorno abierto U de (0, 0), no existe un entorno
conexo por caminos que esté incluido en U , pues cualquier en- Figura 5: Conexo por caminos
torno por muy pequeño que sea intersecará a al menos dos rec- pero no localmente conexo por
tas que son conexas por caminos, y eso contradice el hecho que caminos.
sea conexo, pues recordemos que conexo por caminos implica cone-
xo.

Claramente las componentes conexas tienen una relación con las componentes conexas por caminos, el siguiente
resultado enuncia dicha relación.

6
Teorema 6. Si X es un espacio topológico, cada componente conexa por caminos de X está contenida en una
componente de X. Si X es localmente conexo por caminos, entonces las componentes y las componentes conexas
por caminos de X coinciden.
Demostración. Sea C(x) una componente de x ∈ X y sea P C(x) componente conexa por caminos de x ∈ X. Como
P C(x) es conexa, entonces P C(x) ⊂ C(x), queremos probar que si X es localmente conexo por caminos, entonces
P C(x) = C(x). Por contradicción supongamos que P C(x) ⊂ C(x), sea Q la unión de todas las componentes conexas
por camino de X que son distintas de P C(x) y que intersecan a C; cada una de ellas está contenida necesariamente
en C, ası́ que
C = PC ∪ Q
Como X es localmente conexo por caminos, cada componente conexa por caminos X es un abierto de X. Ası́ P C(x)
(que es componente conexa por caminos) y Q (que es unión de componentes conexas por caminos) son abiertos en
X y, por tanto, constituyen una separación de C, lo cual contradice la conexión de C.

7
Ahora tenemos una serie de resultados, sin embargo cuando hablemos de localmente conexo, también asumiremos
que es Hausdorff.

C Compacto Conexo Conexo por caminos

Si X es C, y f : X −→ Y es continua entonces f (x) es C. , , ,
Si cada Xi es C, entonces su producto es C. , , ,
C implica localmente C. , / /
Si X es localmente C, entonces cualquier subconjunto
, , ,
abierto U de X es localmente C.
Si X es localmente C, entonces cualquier
, / /
subconjunto cerrado de X es localmente C.
Si X = ∪i Ui es la unión de conjuntos abierto donde cada Ui
, , ,
es localmente C, entonces también X es localmente C.
Si f : X −→ Y es continuo y
/ / /
X es localmente C, entonces también f (X) es localmente C.
Si X y Y son localmente C
, , ,
entonces también X × Y es localmente C.
Si cada Xi es localmente C
/ / /
para infinitos i, entonces su producto es localmente C..

Cuadro 1: Relaciones

8
Conclusiones
El presente trabajo se ha dedicado al estudio de componentes y conexión local. Se han utilizado definiciones, teore-
mas, corolarios, lemas, observaciones y ejemplos para permitir la comprensión de los resultados que consideramos
primordiales a cerca de la temática.

Hemos abordado cuatro secciones: Componentes conexas, Componentes conexas por caminos, conexión local, cone-
xión local por caminos.
Gracias al trabajo realizado podemos concluir que: las componentes conexas, en general, no son abiertas en un
espacio X y que las componentes conexas por caminos, en general, no son abiertas ni cerradas en un espacio X,
además la conexión es una propiedad muy deseable para un espacio topológico, aunque para ciertos propósitos
es más importante que satisfaga una condición de conexión local tal como se estipula en el Lema 1. Finalmente
concluimos que las componentes y la conexión local están relacionados, dicha relación se establece en el Teorema 6.