14.06.2013 Views

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

TOPOLOGÍA GENERAL II - Universidad de Zaragoza

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!