Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Observacin. Observar que la propiedad de ser conexo es un invariante topolgico, esto es, es
un invariante por homeomorsomos. Esto resulta del simple hecho que una separacin en un
espacio induce una separacin en cualquier espacio homeomorfo.
Dado que es ms fcil vericar que existe una separacin de un espacio, que probar que es
conexo, veamos algunos ejemplos de espacios no conexos.
Ejercicio 2. Probar que el espacio GL(n, R), de matrices reales n n invertibles, no es conexo.
(C.f. Ejercicio 11, Prctico 4.)
1. X es conexo.
1
4. Si un subconjunto A de X es abierto y cerrado, entonces A= o A = X.
Observacin. El Teorema de Bolzano nos permite probar que ciertos espacios son conexos.
Por ejemplo, el crculo S 1 es conexo, por ser imgen de una funcin continua con dominio R.
Observacin. El anterior resultado nos permite probar nuevamente que el ccrulo S 1 es conexo
probando que S1 menos un punto es homeomorfo a un intervalo abierto. Adems nos permite
concluir que los intervalos semi-abierto, semi-cerrados tambin son conexos.
Ejercicio 8. Probar que los conexos de R son intervalos. (Decimos que I es un intervalo si
dados a, b I , con a < b, entonces (a, b) I .)
Ejercicio 9. Probar que la unin de conjuntos conexos que tienen un punto en comn es
conexo. Concluir que un espacio X es conexo si y slo s dados dos puntos arbitrarios x, y en
X, se tiene que existe un subconconjunto Xx,y conexo que los contiene.
Observacin. Del resultado anterior podemos concluir que los espacios vectoriales normados
son conexos. Esto resulta de que para cualesquiera dos puntos x e y, la recta {x + t(y x) :
t R} es un conexo que los contiene. Resulta entonces que toda bola abierta es conexa por ser
homeomorfa al espacio ambiente, y tambin toda bola cerrada por ser en este caso la clausura
n
de la bola abierta. En particular R es un espacio topolgico conexo, y la bolas tambin lo son.
n1
Observar adems que esto permite probar que la esfera unidad S es conexa.
2
Ejercicio 11. El producto arbitrarios de espacios, es conexo, si y slo s, sus factores son
conexos.
Q
(Idea de la prueba: Consideremos un punto jo base b = {b }I
I X := X . Para
1 , . . . , n I sean X(1 , . . . , n ) el subespacio del producto formado por todos los x tal
que (x) = b , para todo 6= i , (i = 1, . . . , n). Entonces X(1 , . . . , n ) es conexo por ser
homeomorfo al producto X1 Xn . Sea Y = X(1 , . . . , n ), donde la unin se toma en
las partes nitas de subndice de I . Es fcil ver que Y es conexo, pero adems es denso en X .)
2 Componentes Conexas
Cuando estamos en la presencia de un espacio que no es conexo, es natural preguntarse cuntas
piezas o componentes tiene el espacio. Esta pregunta es de suma importancia en algunos
contextos como la topologa algebraica y la topologa diferencial. A modo de ejemplo considere
1 1 1
el espacio C(S ) de funciones continuas de S en S . Cules son las componentes conexas de
este espacio?
Sea X un espacio topolgico, llamemos C al conjunto de todos los subconjuntos conexos de
X (conexos como subespacios). Consideremos a C ordenado por la inclusin.
Ejercicio 12. Probar que C tiene elementos maximales. Sugerencia: usar lema de Zorn.
Ejercicio 13. Probar que las componentes conexas son cerradas. Encontrar un ejemplo en
el cual no sean abiertas (Sugerencia: pensar en un espacio totalmente disconexo que no sea
discreto).
Ejercicio 14. Probar que las componentes conexas de un espacio X son las clases de equiv-
alencia por la relacin: x y si y slo si ambos pertenecen a un subespacio conexo de X.
Concluir que las componenentes conexas son conexos, cerrados, disjuntos, tal que su unin es
todo el espacio.
Ejercicio 16. Consideramos en un espacio X dos topologas 1 y 2 con la primera mas na
que la segunda.
2. Probar que las componentes conexas respecto 1 son mas chicas que las componentes
conexas respecto a 2 .
Ejercicio 17. Probar que un espacio mtrico conexo con ms de un punto es no numerable.
(Sug: considerar la funcin distancia a un punto.)
3
3 Conexin Local
Denicin. Un espacio topolgico se dice localmente conexo si para todo punto existe una
base de entornos conexos.
Ejercicio 18. Mostrar ejemplos de espacios que cumplen que son conexos pero no localmente
conexos, y viceversa.
Ejercicio 19. Probar que si un espacio es localmente conexo entonces sus componentes conexas
son abiertas.
Ejercicio 21. Probar que la imagen, por una funcin continua, de un conjunto conexo por
caminos es conexo por caminos.
De esta manera la conexin por caminos resulta ser un invariante topolgico. Por ejemplo
es fcil ver que el intervalo (a, b] no es homeomorfo a un intervalo cerrado o abierto.
Ejercicio 22. Probar que la unin de conjuntos arcoconexos, con al menos un punto en comn,
es arcoconexo. Es el producto cartesiano de arcoconexos, arcoconexo?
Ejercicio 24. Sea X la clausura el grco de f : (0, +) R, f (x) = cos( x1 ). Probar que X
es conexo pero no conexo por caminos. (Sugerencia: probar que si : [0, 1] X es continua,
entonces 1 ({0} [1, 1]) es abierto y cerrado.)
Observar que del ejercicio anterior resulta que la clausura de un conjunto conexo por caminos
no tiene por qu ser conexo por caminos.
Denicin. Un espacio topolgico se dice localmente arcoconexo si para todo punto existe una
base de entornos arcoconexos. Denimos las componentes arcoconexas de un espacio topolgico
como las clases de equivalencia de la relacin: x y si existe una curva continua que los une.
Ejercicio 26. Probar que en un espacio localmente arcoconexo, las componentes arcoconexas
coinciden con las componentes conexas.