04.06.2013 Views

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

72 Capítulo 2. Compacidad, conexión y completitud<br />

mediante j(t) =2t. Claramente a ∪ b es un arco cuya imagen es la unión de las<br />

imágenes de a y b. En particular (a ∪ b)(0) = a(0)y(a∪ b)(1) = b(1).<br />

Esto significa que si podemos unir un punto x con un punto y a través de<br />

un arco a, y podemos unir un punto y con un punto z a través de un arco b,<br />

entonces podemos unir x con z mediante el arco a ∪ b.<br />

Por otra parte, si a es un arco en un espacio X, la aplicación −a :[0, 1] −→ X<br />

dada por (−a)(t) =a(1 − t) es un arco con la misma imagen pero de modo que<br />

(−a)(0) = a(1)y(−a)(1) = a(0). También es obvio que un arco constante une<br />

un punto consigo mismo.<br />

De todo esto se sigue que la relación“xeysepueden unir mediante un arco”<br />

es reflexiva, simétrica y transitiva en todo espacio X.<br />

Teorema 2.21 Sea X un espacio localmente arco-conexo. Entonces un abierto<br />

de X es conexo si y sólo si es arco-conexo.<br />

Demostración: Obviamente los abiertos arco-conexos son conexos. Supongamos<br />

que A es un abierto conexo no vacío. Sea x ∈ A. Sea U el conjunto<br />

de todos los puntos de A que pueden ser unidos con x mediante un arco contenido<br />

en A.<br />

Veamos que U es abierto (en X oenA, es lo mismo). Sea y ∈ U. Entonces<br />

existe un arco a en A tal que a(0) = x, a(1) = y. Como X es localmente arcoconexo<br />

existe un abierto arco-conexo V tal que y ∈ V ⊂ A. Siz ∈ V , entonces<br />

hay un arco b en V (luego en A) que une y con z, luego a ∪ b es un arco en A<br />

que une x con z, luego z ∈ U.<br />

Por lo tanto V ⊂ U yasí U es un entorno de y. Tenemos, pues, que U es<br />

entorno de todos sus puntos, luego es un abierto.<br />

Ahora veamos que U es un cerrado en A, o lo que es lo mismo, que A \ U<br />

es abierto. Como U no es vacío, por conexión tendrá que ser U = A, lo que<br />

significa que A es arco-conexo.<br />

Si y ∈ A \ U, entonces y no puede ser unido a x mediante un arco. Existe un<br />

abierto arco-conexo V tal que y ∈ V ⊂ A, pero los puntos de V pueden unirse<br />

a y mediante un arco. Si alguno de estos puntos z pudiera unirse a x mediante<br />

un arco a, tendríamos un arco b que une a y con z y un arco a que une z con x,<br />

luego y se podría unir con x. Por lo tanto ningún punto de V puede unirse con<br />

x, es decir, V ⊂ A \ U, luego A \ U es abierto.<br />

Una poligonal es una unión de un número finito de segmentos. Una pequeña<br />

modificación del teorema anterior permite probar que en un espacio localmente<br />

convexo, un abierto es conexo si y sólo se es conexo por poligonales, es decir,<br />

todo par de puntos se puede unir por una poligonal.<br />

Ahora vamos con las aplicaciones de la conexión. El resultado principal es<br />

el siguiente hecho obvio:<br />

Teorema 2.22 (Teorema de los valores intermedios) Si X es un espacio<br />

conexo, f : X −→ R es una aplicación continua, x, y son puntos de X y<br />

f(x)

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

Saved successfully!

Ooh no, something went wrong!