TOPOLOGÍA GENERAL II - Universidad de Zaragoza
TOPOLOGÍA GENERAL II - Universidad de Zaragoza
TOPOLOGÍA GENERAL II - Universidad de Zaragoza
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Espacios localmente conexos<br />
Un espacio topológico (X, τX) se dice localmente conexo si su topología τX<br />
tiene una base formada por abiertos conexos.<br />
Ejemplos (1) Como las bolas B(x, r) ⊂ R n son conexas, R n es localmente<br />
conexo. (2) Espacios discretos con más <strong>de</strong> un punto son localmente conexos<br />
pero no son conexos. (3) Un espacio pue<strong>de</strong> ser conexo y no localmente conexo:<br />
en efecto, si X ⊂ R 2 es el espacio que consta <strong>de</strong> los segmentos que unen el<br />
origen 0 con los puntos <strong>de</strong>l conjunto {(1, 1/n)|n ∈ N} junto con el segmento<br />
(1/2, 1] en el eje −→ 0x, entonces X es conexo mientras que X − {0} no lo es y las<br />
componentes <strong>de</strong> cada punto es el rayo que lo contiene. Si p ≡ (3/4, 0) ∈ X y<br />
U es un abierto que contiene a p, entonces U = B(p, ε) ∩ X para algún ε > 0.<br />
Es claro que U no es conexo, ya que la intersección <strong>de</strong> U con el segmento que<br />
une el origen 0 con el punto q ≡ (1, 1/n) es a la vez abierto y cerrado en U.<br />
Llamaremos componente <strong>de</strong> B ⊂ X a un conexo maximal contenido en B.<br />
6.8 Teorema Un e.t. X es localmente conexo si y sólo si toda componente<br />
<strong>de</strong> todo abierto en X es abierta.<br />
Dem. Sea C una componente <strong>de</strong> un abierto U y x ∈ C, como X es localmente<br />
conexo existirá un abierto conexo V t.q. x ∈ V ⊂ U, entonces x ∈ V ⊂ C y<br />
por tanto C abierto. Recíprocamente, si toda componente <strong>de</strong> todo abierto U es<br />
abierta es claro que la familia <strong>de</strong> todas las componentes <strong>de</strong> todos los abiertos<br />
<strong>de</strong> X forman una base para su topología, luego X es localmente conexo.<br />
En particular las componentes <strong>de</strong> un espacio localmente conexo son a la vez<br />
abiertas y cerradas, entonces se sigue fácilmente<br />
6.9 Corolario Un espacio compacto y localmente conexo tiene a lo más un<br />
número finito <strong>de</strong> componentes.<br />
Ejemplo En general, la imagen <strong>de</strong> un e.t. localmente conexo no es localmente<br />
conexo: Sea X = {0} ∪ N y Y = {0} ∪ {1/n|n ∈ N} como subespacios <strong>de</strong> R.<br />
Definimos f : X −→ Y t.q. f(0) = 0 y f(n) = 1/n. Como X es discreto f es<br />
continua y sobre, a<strong>de</strong>más X es localmente conexo pero Y no lo es.<br />
Pero la propiedad ”localmente conexo” sí se conserva en cocientes<br />
6.10 Teorema Sea X localmente conexo y f : X −→ Y una i<strong>de</strong>ntificación,<br />
entonces también Y es localmente conexo.<br />
Dem. Sea U abierto en Y y C una componente <strong>de</strong> U, por (6.8) bastará probar<br />
que C es abierto. Como f es una i<strong>de</strong>ntificación, es <strong>de</strong>cir τY = τ(f), notar que<br />
C es abierto en Y sí y sólo si f −1 (C) es abierto en X. Sea pues x ∈ f −1 (C) y Cx<br />
30