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.

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

Según hemos dicho, es indistinto exigir que U y V sean abiertos como que<br />

sean cerrados, pues de hecho si cumplen esto son a la vez abiertos y cerrados.<br />

Por lo tanto, un espacio X es conexo si y sólo si sus únicos subconjuntos que<br />

son a la vez abiertos y cerrados son X y ∅.<br />

Es obvio que [0, 1]∪[2, 3], o incluso [0, 1/2[∪]1/2, 1] son ejemplos de espacios<br />

disconexos. Notar que [0, 1/2[ no es cerrado en R, pero sí lo es en el espacio<br />

[0, 1/2[ ∪ ]1/2, 1] (su clausura en este espacio es la intersección con él de su<br />

clausura en R, que es [0, 1/2], o sea, es [0, 1/2[).<br />

Es importante tener claro que los intervalos [0, 1/2[ y ]1/2, 1] están separados<br />

pese a que sólo falta un punto entre ellos. La falta de ese punto es suficiente<br />

para que ambas partes no se puedan “comunicar”, en el sentido de que, por<br />

ejemplo, ninguna sucesión contenida en una de las piezas puede converger a un<br />

punto de la otra. Esto es suficiente para que ambas partes sean independientes<br />

topológicamente. Así, la función f :[0, 1/2[ ∪ ]1/2, 1] −→ R dada por<br />

f(x) =<br />

1 si x ∈ [0, 1/2[ ,<br />

2 si x ∈ ]1/2, 1]<br />

es continua, mientras que sería imposible definir una función continua sobre<br />

[0, 1] que sólo tomara los valores 1y2.<br />

Si la desconexión de estos espacios es clara, no lo es tanto la conexión de<br />

espacios como [0, 1].<br />

Ejercicio: Probar que el intervalo [0, 1] ⊂ Q es disconexo.<br />

Teorema 2.16 Un subconjunto de R es conexo si y sólo si es un intervalo.<br />

Demostración: Sea C un subespacio conexo de R. Sean a y b su ínfimo<br />

y su supremo, respectivamente. Vamos a probar que C es uno de los cuatro<br />

intervalos de extremos a y b. Para ello basta ver que si a

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

Saved successfully!

Ooh no, something went wrong!