4.

Conexi on y Compacidad
Qu e es un conexo? A no ser que usemos la ortograf a del noroeste, la notaci on debiera ser autoexplicativa: conexo signica de una pieza, conectado, no separado. Ha habido varias deniciones matem aticas de este concepto (G. Cantor 1883, C. Jordan 1893, A. Schoeniesz 1904) pero el lenguaje introducido hasta ahora nos lleva indefectiblemente a la universalmente aceptada en la actualidad (S. Mazurkiewicz 1920). n: Se dice que un espacio topol Definicio ogico es conexo si no existen dos abiertos, U y V , disjuntos y no vac os tales que X = U V . Notaci on: Cuando un espacio no es conexo, se suele decir que los dos abiertos U , V con las propiedades anteriores, forman una separaci on. n: Se dice que un subconjunto de un espacio topol Definicio ogico es conexo, si lo es con la topolog a relativa. Con estas deniciones se sigue que el vac o siempre es conexo, pero es un caso tan especial que a veces se le excluye, aunque nosotros no lo haremos. Y es que el miedo a la nada y al vac o, tan arraigado en el pensamiento anterior (un important simo l osofo y matem atico del siglo XVII dijo: No se sabr a suponer el vac o sin error), se ha perdido hasta tal punto que estos conceptos son habituales en la Filosof a y Matem aticas contempor aneas.
Era impensable: para imaginar la nada, era menester encontrarse all , en pleno mundo, con los ojos bien abiertos, y vivo; la nada s olo era una idea en mi cabeza, una idea existente que otaba en esa inmensidad; esa nada no hab a venido antes de la existencia, era una existencia como cualquier otra, y aparecida despu es de muchas otras.

Ejemplo 1: IR con la topolog a de Sorgenfrey no es conexo. Basta escribir la separaci on IR = U V con U = (, 0), V = [0, +). a usual porque se Ejemplo 2: A = (2, 3] [4, 5) no es conexo en IR con la topolog tiene la separaci on A=U V con U = (2, 3], V = [4, 5).

Ejemplo 3: En IR con la topolog a usual, Q no es conexo. Q=U V con U = (, 2) Q, V = ( 2, +) Q. Ejemplo 4: En cualquier espacio topol ogico los puntos son conexos. Ejemplo 5: IR con la topolog a conita es conexo. Esto es una sencilla consecuencia de que en esta topolog a no hay abiertos disjuntos no vac os. Por la propia forma de la denici on es m as f acil construir ejemplos de no conexos que de conexos (es m as f acil romper una cosa que comprobar que no est a rota). Por ello, los dos u ltimos ejemplos son un poco triviales. N otese que aunque es intuitivamente 53

evidente que [0, 1], (0, 1) o IR son conexos con la topolog a usual, no est a claro cu al es la demostraci on. En seguida la veremos pero, para fastidiar y practicar, veamos antes un par de caracterizaciones te oricas de la conexi on. Proposici on 4.1: Sea X un espacio topol ogico. Las siguientes armaciones son equivalentes: 1) X es conexo. 2) Los u nicos subconjuntos de X simult aneamente abiertos y cerrados son y X . 3) No existe ninguna funci on f : X {0, 1} continua y sobreyectiva. Observaci on: En 3) se da por supuesto que la topolog a en {0, 1} es la inducida por la usual, que coincide con la discreta. Dem.: Como ya hemos comentado, es m as sencillo hablar te oricamente de la no conexi on que de la conexi on, por ello probaremos todas las implicaciones utilizando la tautolog a (a b) (b a). 1) 2) Si hubiera un subconjunto U X abierto y cerrado distinto del vac o y del total, entonces V = X U tambi en lo ser a y se tendr a que U V = X es una separaci on de X . 2) 3) Si existiera la funci on indicada, se tendr a f 1 ({0}) = , X (por ser sobreyectiva) y como {0} es abierto y cerrado en {0, 1} (la topolog a es la discreta) y f es continua, 1 se sigue que f ({0}) es abierto y cerrado. 3) 1) Si existiera una separaci on, X = U V , entonces la funci on sobreyectiva f : X {0, 1} denida como f (x) = 0 1 si x U si x V

ser a continua por el Pasting Lemma (Teorema 3.7.4) tomando A = X V = U , B = X U = V. La demostraci on de que [0, 1] IR es conexo es la base para el estudio de la conexi on en IR con la usual. Lema 4.2: El intervalo [0, 1] es conexo con la topolog a usual. Dem.: Sea U V = [0, 1] una separaci on, donde U y V son abiertos en la topolog a relativa. Podemos suponer 1 V ya que en otro caso bastar a intercambiar los nombres de U y V . Sea s = sup{x U}. Obviamente s [0, 1]. Podemos suponer tambi en s = 0, 1 ya que estos casos llevan f acilmente a contradicci on (s = 0 implicar a V = [0, 1] y s = 1 implicar a, que V no es abierto porque no existir a ning un entorno de 1 contenido en V ).

)(
U
54

)( )(
s

Si s U , como U es abierto, existe un tal que s (s , s + ) U y se tendr a una contradicci on porque s < s + /2 U y s no ser a cota superior de U . De la misma forma, si s V entonces s (s , s + ) V y s /2 ser a tambi en cota superior para U y por tanto s no ser a m nima. En denitiva, s U V lo que contradice que sea una separaci on. En realidad la misma demostraci on sirve para extender el resultado. Proposici on 4.3: Cualquier intervalo (abierto, cerrado, semiabierto, nito o innito) es conexo en IR con la topolog a usual. Observaci on: Se considera que IR es un tipo de intervalo innito, IR = (, +). La manera de tratar con intervalos innitos es considerar dos puntos que pertenezcan a cada uno de los abiertos de la separaci on y que desempe nen el papel de 0 y 1 en la demostraci on anterior. Si A IR no es un intervalo y tiene m as de un punto, existen a < b < c con a, c A, b A. Con lo cual, A = (, b) A (b, +) A es una separaci on. Por tanto todav a podemos redondear m as los resultados anteriores. Teorema 4.4: Con la topolog a usual A IR es conexo si y s olo si A = , A = {x} o A es un intervalo. Una vez que una misma demostraci on m as o menos sencilla ha servido para demostrar varias cosas, se utiliza el viejo truco en Matem aticas, que se podr a llamar tener ocio o experiencia, consistente en inventarse construcciones abstractas (a veces muy abstractas) donde se pueda aplicar la misma demostraci on conocida que a uno no se le habr a ocurrido. Esto sirve, al menos, para que las hemerotecas de las facultades est en llenas de art culos de investigaci on independientemente de los progresos que se hagan.
Profesionales de la experiencia? [...] Todo lo que pasaba a su alrededor empez oy concluy o fuera de su vista; largas formas oscuras, acontecimientos que ven an de lejos los rozaban r apidamente, y cuando quisieron mirar, todo hab a terminado ya. Y a los cuarenta a nos bautizan sus peque nas obstinaciones y algunos proverbios con el nombre de experiencia; comienzan a actuar como distribuidores autom aticos: dos c entimos en la ranura de la derecha y se obtienen preciosos consejos que se pegan a los dientes como caramelos blandos.

Lo dicho. Nos inventamos un sitio donde repetir la demostraci on del lema. Primero necesitamos que exista un orden en el que se pueda hallar el supremo y despu es que se pueda meter un elemento entre otros dos (s /2 entre s y s o s + /2 entre s y s + ). n: Se dice que un espacio topol Definicio ogico X con la topolog a del orden es un continuo lineal si se cumple: 1) X tiene la propiedad del supremo. 2) Si x, y X con x < y , entonces existe z X tal que x < z < y . Observaci on: Recordamos que la propiedad del supremo arma que todo subconjunto de X acotado superiormente (por un elemento de X ) admite una cota superior m nima (supremo) en X . La copia de la proposici on anterior es: 55

Proposici on 4.5: En un continuo lineal cualquier intervalo es conexo. Observaci on: De nuevo se admiten los conjuntos {x X : x > a}, {x X : x < a}, {x X : x a}, {x X : x a}, X , los cuales se consideran intervalos innitos. Ejemplo: X = [0, 1] [0, 1] con la topolog a del orden lexicogr aco es conexo. La segunda propiedad de continuo lineal es obvia. La primera requiere pensarla un poco m as. Si A X y sx es el supremo de las equis, esto es, sx = sup{x : (x, y ) A}, y la vertical x = sx tiene intersecci on no vac a con A, entonces supremo de A = (sx , sup{y : (sx , y ) A}). Si la intersecci on es vac a el supremo es supremo de A = (sx , 0). En cualquier caso siempre existe.

Ejemplo: X = (1, 0] [1, 2) no es un continuo lineal (con el orden usual) porque 0, 1 X pero no existe z X tal que 0 < z < 1. De hecho, X no es conexo porque (1, 0] y [1, 2) forman una separaci on. N otese que ambos son abiertos en la topolog a del orden: (1, 0] = {x X : x < 1} y [1, 2) = {x X : x > 0}. Ejemplo: X = (1, 0] (1, 2) es un continuo lineal y por tanto conexo con la topolog a del orden. La segunda propiedad es obvia. La propiedad del supremo esencialmente se sigue de la de IR siempre que el subconjunto considerado, A, est e separado del extremo derecho x = 2. Pero, por qu e podemos suponerlo as ? por qu e A = (1, 2) X no contradice la propiedad del supremo? Evidentemente A = (1, 2) no tiene supremo, pero tampoco est a acotado superiormente por ning un elemento de X , as que no invalida la propiedad del supremo. Obviamente ninguno de los dos espacios anteriores es conexo con la usual. Como debiera estar claro a estas alturas, un espacio es conexo si no est a roto en trozos. Para caracterizar matem aticamente dichos trozos, podemos decir que dos puntos pertenecen al mismo trozo (est an relacionados) si existe un conexo en el que est an contenidos. La denici on rigurosa da un poco de miedo pero no mucho. n: Sea la relaci Definicio on de equivalencia en un espacio topol ogico X dada por x y A X conexo con x, y A. Se llaman componentes conexas de X a cada una de las clases de equivalencia. Observaci on: Se puede probar que la componente conexa de A a la que pertenece x A es el mayor (en el sentido de la inclusi on) subconjunto conexo de A que contiene a x (ejercicio). 56

Ejemplo: X = (2, 3) [5, 6) tiene dos componentes conexas (con la topolog a usual): C1 = (2, 3) y C2 = [5, 6) porque cada par de puntos x, y C1 o x, y C2 est an dentro del conexo C1 o C2 , y si x C1 , y C2 no existe A X conteniendo a ambos (por qu e? Demostrarlo rigurosamente). Si uno se inventa muchos ejemplos, parece que las componentes conexas son siempre abiertas, pero no es cierto. a usual) las componentes conexas son los puntos. Ejemplo: En X = Q (con la topolog La raz on es simplemente que los u nicos subconjuntos conexos de Q son los puntos (y el vac o) ya que si A Q tiene al menos dos puntos, x < y , tomando x < z < y con z IR Q, (, z ) A (z, +) A ser a una separaci on.

57

Un circo de conexos, aros en llamas y tartas Ahora que tenemos el juguete nuevo de la denici on de conexi on, veremos en esta secci on c omo funciona, c omo se articula ante las manipulaciones que conocemos. Adem as terminaremos obteniendo un resultado notable que puede aplicarse para justicar algunas armaciones no matem aticas. Aunque seg un dijo un l osofo ilustre e ilustrado: Hay que confesar que los inventores de las artes mec anicas han sido m as u tiles a la humanidad que los inventores de silogismos. Romper no es una transformaci on continua, as que las funciones continuas deben respetar las cosas de una pieza. Proposici on 4.6: Si X es conexo y f : X Y es continua, entonces f (X ) = Im f es conexo. Dem.: Si Im f = U V fuera una separaci on de Im f , entonces f 1 (U ) f 1 (V ) lo ser a de X . Ejemplo: S 1 es conexo (con la topolog a usual) porque es la imagen de la funci on 2 f : [0, 1] IR con f (x) = cos(2x), sen (2x) . Si pegamos entre s cosas que son de una pieza, el resultado sigue siendo de una pieza. Proposici on 4.7: Si A X son subconjuntos conexos y es conexo. A = entonces A

Dem.: Supongamos que U V = A fuera una separaci on y sea x A . Podemos suponer (quiz a intercambiando los nombres) x U . Debe cumplirse A U , porque si no (A U ) (A V ) ser a una separaci on de A . Pero si cualquier A est a contenido en U , lo mismo ocurre con A y por tanto V = . Ejemplo: Como en el ejemplo anterior, cada circunferencia Cr = {(x, y ) : (x r)2 + y 2 = r2 } con 0 < r 1, es conexa, por tanto el c rculo (x 1)2 + y 2 1 (que es la uni on de ellas) tambi en lo es.

Una vez que sabemos que un c rculo es conexo, mediante aplicaciones continuas, sabemos que todos lo son. De la conexi on de B (0, 1), 1 y las funciones f+ , f : B (0, 1), 1 IR3 , con f = 1 x2 y 2 , se sigue que la parte superior e inferior de una esfera son conexos y, por la proposici on anterior, la supercie esf erica tambi en lo es. M as adelante veremos una demostraci on m as directa. Ejemplo: usual: Se llama espacio peine al siguiente subconjunto de IR2 con la topolog a P = ([0, 1] {0}) ({1/n : n Z Z+ } [0, 1]) ({0} [0, 1]). 58

Para los que no est en acostumbrados a tantos productos cartesianos, no es m as que un peine con mango entre (0, 0) y (1, 0) y p uas de longitud uno sobre (0, 0) y cada punto de la forma (1/n, 0).

(0,0)

(1,0)

Cualquier p ua es conexa (es como [0, 1]) y la uni on de ella con el mango tambi en lo es (por la proposici on). Como P es la uni on de todos estos peines unip ua, de nuevo por la proposici on, es conexo. Proposici on 4.8: Si A X es un subconjunto conexo entonces cualquier subconjunto B X con A B A, es tambi en conexo. Dem.: Si U V fuera una separaci on de B , entonces A U o A V (en otro caso (A U ) (A V ) ser a una separaci on de A). Digamos que A U , entonces A X V porque X V es cerrado y contiene a A. Pero esto implicar a B X V y por tanto U V no ser a una separaci on. Corolario 4.9: Si A es conexo, A tambi en lo es. Corolario 4.10: Las componentes conexas de un espacio topol ogico son conjuntos cerrados. Dem.: Si C es una componente conexa, es conexa (por qu e? No es totalmente obvio) y, por el corolario anterior, C tambi en es conexo. Pero esto implica que C C (ya que x y para todo x, y C ) y en consecuencia C = C . Ejemplo: El subconjunto de IR2 (con la topolog a usual) denido como S = {(x, y ) IR2 : x > 0, y = sen (1/x)} {(x, y ) IR2 : x = 0, y [1, 1]}

es conexo, porque S = A con A = {(x, sen (1/x)) : x > 0} y A es conexo porque es la imagen de la funci on continua f : (0, +) IR2 , con f (t) = (t, sen (1/t)). Notaci on: A veces se llama al conjunto S o a algunas peque nas variaciones de el, curva seno del top ologo porque sirve para que los top ologos den algunos ejemplos y contraejemplos. 59

Proposici on 4.11: Sean X1 , X2 ,. . . , Xn espacios topol ogicos (no vac os). El espacio producto X1 X2 . . . Xn es conexo si y s olo si X1 , X2 ,. . . , Xn lo son. Observaci on: Este resultado tambi en se extiende a productos cartesianos innitos, pero como ni siquiera hemos denido la topolog a producto en el caso innito, no entraremos en ello. Dem.: ) Es una consecuencia directa de que las proyecciones 1 , 2 ,. . . , n son continuas (v ease la demostraci on del Teorema 3.7). ) Basta probarlo para n = 2 y aplicar inducci on (repetir el razonamiento n 1 veces). Sean x1 X1 y x2 X2 . Como X1 y X2 son conexos, X1 {x2 } y {x1 } X2 tambi en lo son, simplemente porque X1 X1 {x2 } x (x, x2 ) X2 {x1 } X2 x (x1 , x)

son continuas (de hecho homeomorsmos). Por tanto el subconjunto cruz centrada en (x1 , x2 )
X2 C(x1 , x2 ) x2

C(x1 ,x2 ) = X1 {x2 } {x1 } X2

x1

X1

es tambi en conexo. Moviendo la parte horizontal y dejando la vertical ja, se obtiene todo el espacio producto: X1 X2 =
x2 X2

C(x1 ,x2 ) .

Como X1 X2 es uni on de conexos con puntos en com un (los de {x1 } X2 ), tambi en es conexo. Ejemplo: IRn es conexo con la usual ya que IRn = IR IR . . . IR. Ejemplo: El subconjunto de IR2 , (0, 1] (0, 1] {(0, 0)} es conexo con la usual porque est a entre (0, 1) (0, 1) y su cierre, y como cada intervalo es conexo su producto tambi en. Ejemplo: La frontera de la bola unidad en IRn+1
2 2 S n = {(x1 , x2 , . . . , xn , xn+1 ) IRn+1 : x2 1 + x2 + . . . + xn+1 = 1},

con n 1 es conexa (con la topolog a usual). Para comprobarlo tenemos que recordar (o aprender) que la proyecci on estereogr aca n n es una funci on continua p : S {N } IR con N = (1, 0, . . . , 0). La receta es que poniendo IRn justo debajo de S n , p aplica cada punto de S n {N } en la intersecci on n con IR de la recta que une dicho punto con el polo norte, N (a veces p se extiende a 60

p : S n IRn {} donde IRn {} tiene una topolog a que se introducir a m as adelante). 1 De las sencillas f ormulas anal ticas racionales para p y p se deduce inmediatamente que p es un homeomorsmo.

n=1

N x p(x)

n=2 x

p(x)
2x 2y , , 1z 1z 4b a2 + b2 4 4a p1 (a, b) = 2 , , . a + b2 + 4 a2 + b2 + 4 a2 + b2 + 4 p(x, y, z ) =

p(x, y ) = p1 (a) =

2x , 1y a2 4 4a , , a2 + 4 a2 + 4

Como IRn es conexo , Im p1 = S n {N } es conexo y S n = S n {N } tambi en lo es. En n n general, IR y S {N } son indistinguibles topol ogicamente. tulo de Doctor Observaci on: Aunque no tenga que ver con el curso, para amortizar el t 1 diremos que p aplica vectores racionales en vectores racionales de norma uno. El caso n = 1 es interesante para que los que dan clases particulares se inventen problemas de trigonometr a en los que el coseno y el seno sean exactos (sin ra ces). Basta tomar a Q 4 3 4 3 , cos = , sen = 5 5 5 5 12 5 12 5 a = 3 p1 (3) = , cos = , sen = 13 13 13 13 10 15 10 15 8 8 a= cos = p1 ( ) = , , sen = 3 3 17 17 17 17 Como aplicaci on, si uno quiere hallar las soluciones enteras (no nulas) de la ecuaci on 2 2 2 x + y = z puede escribir x 2 y 2 x x x2 + y 2 = z 2 + = 1 : cos = , sen = . z z z z Como sabemos hallar cosenos y senos exactos, sabemos hallar muchas soluciones enteras de x2 + y 2 = z 2 (de hecho todas, si utilizamos p). a = 1 p1 (1) = 42 + (3)2 = 52 , 122 + 52 = 132 , 152 + 82 = 172 , . . . Podr an aplicarse ideas parecidas a xn + y n = z n para demostrar de manera elemental el Ultimo Teorema de Fermat? Bueno. . . me parece muy interesante.
Lo ha le do ya en alguna parte? Por supuesto que no. De veras, nunca, en ninguna parte? Entonces, se nor dice, entristecido, es que no es verdad. Si fuera verdad alguien lo habr a pensado ya.

Para terminar veamos una serie de aplicaciones de la conexi on. 61

Teorema 4.12: (Teorema de los valores intermedios). Sea X un espacio topol ogico conexo e Y un espacio topol ogico con la topolog a del orden y sea f : X Y una funci on continua. Si x1 , x2 X cumplen f (x1 ) < f (x2 ), para cualquier y Y con f (x1 ) < y < f (x2 ) existe x3 X tal que y = f (x3 ). Dem.: Si no fuera as , y Im f y por tanto {z Y : z < y } Im f {z Y : z > y } Im f = Im f ser a una separaci on de Im f , lo cual no es posible si X es conexo. Observaci on: Tomando X = [a, b], Y = IR este es el Teorema de Bolzano que aparece en los libros de C alculo de primero. Una vez que hemos probado que cuando se sabe mucho se pueden demostrar r apidamente cosas f aciles diciendo unas pocas palabras dif ciles, veamos algunas consecuencias. Es notable que de un resultado intuitivamente tan trivial (el teorema de Bolzano) deduzcamos directamente otras que no lo son. Como ya le explic o el mismo Pero Grullo a uno de nuestros poetas, sus verdades y profec as contienen gran parte de la sabidur a del siglo. Corolario 4.13: (Borsuk-Ulam para n = 1). Si f : S 1 IR es una funci on 1 continua, existen dos puntos antipodales (opuestos) de S que tienen la misma imagen. angulo en radianes, , de modo que el Dem.: Nombremos cada punto de S 1 por su antipodal corresponde a + . Consideremos la funci on F () = f () f ( + ). Como f (0) = f (2 ), F (0) = F ( ) y por el teorema de los valores intermedios, si F (0) y F ( ) tienen signos distintos existe [0, ] con F () = 0. Una manera m as pintoresca de enunciar este resultado es: Si calentamos un aro circular siempre existen dos puntos opuestos con igual temperatura. El teorema se puede extender a dimensiones mayores (Teorema de Borsuk-Ulam) y concluir, por ejemplo, que en la supercie de la Tierra siempre existen dos puntos opuestos con iguales presiones e iguales temperaturas, pero esto es sorprendentemente dif cil de probar (no es un ejercicio si uno no se llama Borsuk o Ulam, que lo demostraron en 1933). En el pr oximo cap tulo daremos una prueba usando t ecnicas de Topolog a Algebraica (que para nosotros, d ebiles disc pulos, son tan poderosas como la de Kaito). Otra consecuencia del teorema de los valores intermedios es: Es posible cortar por la mitad, con un solo corte de cuchillo, una tarta circular adornada con chocolate de manera que cada mitad tenga la misma cantidad de chocolate. El resultado se extiende a tartas no circulares, en las que los cortes por la mitad no son diametrales, pero la demostraci on es m as dif cil (v ease el problema del reparto de la nca en J. Margalef, E. Outerelo Introducci on a la Topolog a Ed. Complutense 1993). 62

La demostraci on del resultado tal como est a establecido aqu , es an aloga a la del corolario anterior pero tomando F () = Chocolate en la mitad de a + Chocolate en la mitad de + a .
9 Feliz + + 9

f () f ( + )

Ch() Ch( + )

Tambi en se puede obtener un teorema de punto jo. Corolario 4.14: (Teorema de Brouwer para n = 1). Si f : [0, 1] [0, 1] es continua, admite un punto jo, esto es, existe x [0, 1] con f (x) = x. Dem.: Considerando F (x) = f (x) x se tiene F (0) 0, F (1) 0 y se puede proceder como antes. Una posible interpretaci on es: Si tenemos dos cintas m etricas de igual longitud y doblamos una de ellas sobre s misma cuantas veces queramos y las superponemos una sobre otra, hay un punto que no ha variado de lugar (1).

(1)

(2)

Aunque esto parece incre ble es cierto. M as incre ble todav a es su generalizaci on a dimensiones mayores (Teorema de Brouwer). Por ejemplo, por mucho que arruguemos una hoja de papel, cuando la pongamos sobre el cuaderno habr a un punto cuya proyecci on no ha cambiado de lugar (2). Al nal del curso conseguiremos, con mucha maquinaria, una demostraci on de esta armaci on. De nuevo, tendremos que esperar a la llegada de la Topolog a Algebraica para demostrarlo.

63

La familia de conexos se multiplica Hasta ahora hemos considerado que un espacio no est a roto si no se puede separar en dos trozos (abiertos). Tambi en podr amos decir que podemos pasear de un punto a otro del conjunto, o que los habitantes de este espacio, hasta donde llega la vista, no ven ning un trozo roto o ning un punto a donde no pueden ir paseando. n: Se dice que un espacio topol Definicio ogico, X , es conexo por caminos o conexo por arcos o arcoconexo, si para cada par de puntos x, y X existe un camino conectando x e y , esto es, una funci on continua : [0, 1] X con (0) = x, (1) = y . Observaci on: Fuera del formalismo topol ogico actual, la conexi on por caminos es m as natural que la conexi on y, de hecho, fue introducida antes (K. Weierstrass, alrededor de 1880). n: Se dice que un espacio topol Definicio ogico, es localmente conexo si para cada entorno de un punto, U (x), existe un entorno conexo V (x) U (x). n: Se dice que un espacio topol Definicio ogico, es localmente conexo por caminos si para cada entorno de un punto, U (x), existe un entorno conexo por caminos V (x) U (x). Ahora, aqu tendr a que venir el teorema bonito que nos dijese que todas las formas de ver que algo no est a roto son equivalentes, pero la realidad es mucho m as ca otica y plena de contraejemplos.
Hace buen tiempo, el mar es verde, preero este fr o seco a la humedad. Poetas! Si cogiera a uno por las solapas del abrigo, si le dijera ven en mi ayuda, pensar a: Qu e es este cangrejo? y huir a dej andome el abrigo entre las manos. Les vuelvo la espalda, me apoyo con las dos manos en la balaustrada. El verdadero mar es fr o y negro, lleno de animales; se arrastra bajo esta delgada pel cula verde hecha para enga nar a las gentes.

Casi lo u nico que se salva son los dos resultados siguientes. Proposici on 4.15: Si X es conexo por caminos entonces es conexo. Observaci on: Obviamente de este resultado se sigue que localmente conexo por caminos localmente conexo, pero es una consecuencia tan trivial que no merece el honor de ser destacada como corolario. Dem.: Si U V fuera una separaci on de X y : [0, 1] X fuera un camino conectando un punto de U con otro de V , esto es (0) U , (1) V , llegar amos a que 1 (U ) 1 (V ) es una separaci on de [0, 1], lo cual es imposible. Ejemplo: Todos los subconjuntos convexos (no sobra una v) de IRn son obviamente conexos por caminos y por tanto conexos (recu erdese que convexo quiere decir que la recta que une cada par de puntos del conjunto est a contenida en el). En particular la bola unidad es conexa, con lo cual podemos tirar a la basura la demostraci on enrevesada de que el disco unidad es conexo, dada en la secci on anterior. Proposici on 4.16: conexo por caminos Si X es conexo y localmente conexo por caminos entonces es

64

Dem.: Dado x0 X denimos A = {x X : : [0, 1] X continua con (0) = x0 , (1) = x}. Por una parte, A tiene que ser abierto porque si y A entonces la conexi on local por caminos implica que existe un entorno U (y ) conexo por arcos y por tanto U (y ) A. (N otese que podemos pegar dos caminos recorriendo primero uno y despu es otro como mencionamos en un ejemplo tras el Teorema 3.7). Por otra parte, A debe ser cerrado porque si y A existe un entorno conexo por arcos U (y ) A = y podemos conectar y con un punto de U (y ) A A y este con x0 . Como A = (x0 A) es abierto y cerrado y X es conexo, la u nica posibilidad es A = X. Es posible encontrar ejemplos escandalosamente sencillos de que la conexi on local no implica conexi on. Ejemplo: En IR con la topolog a usual, la uni on de dos intervalos disjuntos, por ejemplo A = (0, 1) (2, 3), es obviamente no conexo pero cada punto est a contenido en un entorno conexo: el intervalo al que pertenece. Un poco m as dif cil es ver que conexo no implica localmente conexo. Hay que buscar un espacio de una sola pieza pero que a un miope le parezca que est a roto. Ejemplo: El espacio peine (v ease la secci on anterior) es, como hab amos visto, conexo. Qu e ver a un miope situado en (0, 1)? Si tomamos una peque na bola situada en (0, 1) no podemos encontrar un abierto dentro de ella que sea conexo y contenga a (0, 1). La raz on es clara: Dicho abierto debe contener alg un punto de la forma (1/n, 1), el cual pertenece a una componente conexa del abierto distinta de la de (0, 1), as que no puede ser conexo. (Ejercicio: escribir la demostraci on con detalle hasta que uno se aburra o est e seguro de que la puede terminar). Ejemplo: La curva seno del top ologo (v ease la secci on anterior) tambi en es conexa pero no localmente conexa. El razonamiento es id entico al anterior, aunque puede que la demostraci on con todo rigor nos parezca m as complicada. Por u ltimo veamos que conexo no implica conexo por caminos. Ejemplo: X = [0, 1] [0, 1] con el orden lexicogr aco es conexo pero no conexo por caminos.
(x,1) Ix [ 0 ( ) ] 1 (0,0) (x,0) ) (1,1) (

65

La idea no es tan complicada como parece en una primera lectura. Si existiera : [0, 1] X con (0) = (0, 0), (1) = (1, 1), tendr a que pasar por todos los valores intermedios, esto es Im = X . Entonces para cada intervalo vertical en X , Ux = (x, 0), (x, 1) , 1 (Ux ) ser a un abierto no vac o y podr amos encontrar un intervalo abierto Ix [0, 1] tal que (Ix ) Ux . Como los Ix son disjuntos, tendr amos que [0, 1] contiene a una uni on no numerable de intervalos disjuntos y esto parece imposible. Para cambiar parece por es, podemos escoger un n umero racional arbitrario, rx , de cada Ix , con ello tendr amos x [0, 1] Ix rx Q que es una aplicaci on inyectiva de [0, 1] (conjunto no numerable) en Q (conjunto numerable), lo cual es una contradicci on. (L ease todo de nuevo hasta creerse la primera frase del p arrafo). Observaci on: El ejemplo anterior tambi en prueba que localmente conexo no implica localmente conexo por caminos. (Ejercicio: Tomarse dos analg esicos y contestar por qu e). Un poco de cultura matem atica (para descansar): No ha sentido el lector un desasosiego desconado en la demostraci on anterior al introducir rx ? Son los resabios del axioma de elecci on, o su equivalente el lema de Zorn, que arma que podemos escoger un elemento de cada subconjunto de un conjunto (sea o no numerable). Aunque de aspecto inocente y aunque K. G odel prob o que si las Matem aticas no llevan a contradicci on sin el tampoco con el, todos sentimos algo en nuestro interior diciendo no zornicar frente a la libre elecci on. En general se preeren, cuando se conocen, pruebas que no usen el axioma de elecci on, llamadas constructivas. Adem as suponi endolo se deducen cosas tan raras como que hay subconjuntos acotados de IR3 de los que es imposible denir el volumen o el teorema de Banach-Tarski, que dice c omo dividir una esfera en unos cuantos de estos subconjuntos y volverlos a unir para obtener dos esferas. Una referencia legible y simp atica es el art culo: R.M. French The Banach-Tarski Theorem Mathematical Intelligencer 10, 4 pp 21-28 (1988). Ejemplo: Consideremos el espacio P que consiste en quitarle la p ua m as a la izquierda al espacio peine pero dejando los extremos. Esto es, P = P {(x, y ) IR2 : 0 < y < 1, x = 0}. Entonces P es conexo pero no es conexo por caminos. La demostraci on tiene su inter es porque se aplica en varias situaciones. Un breve argumento indirecto para ver que P es conexo pasa por considerar P = P {(x, y ) IR2 : 0 y 1, x = 0}. Este conjunto es conexo por caminos y por tanto conexo. Como P P P = P , se deduce que P tambi en es conexo. Ahora, si P fuera conexo por caminos existir a 1 : [0, 1] P tal que (0) = p, (1) = q con p = (0, 1), q = (1, 0). Sea A = ({p}), A es no vac o (0 A) y cerrado porque {p} lo es. Si probamos que A es abierto, como [0, 1] es conexo, se concluir a A = [0, 1] y ser a constante (contradicci on). Si t0 A, al ser continua podemos elegir un peque no intervalo abierto I = (t0 , t0 + ) tal que (I ) U 66

donde U es un peque no entorno de p en P . Como (I ) es conexo y contiene a p, debe cumplirse (I ) componente conexa de U conteniendo a p = {p} de lo cual se deduce que A es abierto.

t0 [ ( t 0 ) t 0+ ]

Observaci on: Al aplicar este procedimiento para demostrar que la curva seno del top ologo no es conexa por caminos, debemos considerar el conjunto {0} [1, 1] en vez de {p}. N otese que si suprimimos este conjunto de la curva seno del top ologo el resultado es conexo y conexo por caminos. De alguna forma hemos suprimido los puntos para los que el u nico camino posible requerir a que nos mare asemos (discontinuidad no evitable). Existe una relaci on entre la conexi on local y las componentes conexas. Lema 4.17: Si X es localmente conexo entonces sus componentes conexas son abiertas. Dem.: Dado x X sea U (x) conexo, entonces U (x) est a totalmente incluido dentro de una componente conexa que contiene a x. No es dif cil deducir de aqu una especie de rec proco generalizado debido a H. Hahn en 1914, el creador de la conexi on local (la demostraci on es un ejercicio). Proposici on 4.18: X es localmente conexo si y s olo si las componentes conexas de todos los conjuntos abiertos son abiertas. Para terminar diremos que se denen las componentes conexas por caminos de forma an aloga a las componentes conexas (salvo que x y signica ahora : [0, 1] X con (0) = x, (1) = y ). Adem as existe una relaci on entre componentes conexas y componentes conexas por caminos resumida en el siguiente trabalenguas. Proposici on 4.19: Si X es localmente conexo por caminos, las componentes conexas coinciden con las componentes conexas por caminos. En particular, bajo la conexi on local por caminos, conexo implica conexo por caminos, lo cual, aunque estemos curados de espanto con los contraejemplos, parece bastante l ogico.
Es lo que yo me dec a, se nor. Pero desconf o de m mismo, se necesitar a haberlo le do todo.

La demostraci on es un ejercicio f sico que consiste en ir a la biblioteca y mirar el Teorema 4.4 del cap tulo 3 del libro de Munkres.

67

Qu e es un compacto? La idea intuitiva que hay tras de la denici on actual de compacto es dif cil de explicar, as que el que no tenga ganas de leer tonter as que pase directamente a la denici on. Qu e menos que comenzar las tonter as probando un teorema falso . La funci on f (x) = 1/x es un contraejemplo. Toda funci on continua f : (0, 1) IR est a acotada. que Dem.: falsa Dado > 0, si a (0, 1) por la denici on de continuidad existe un tal

x (a , a + ) (0, 1) |f (x) f (a)| < . Por peque no que sea siempre podemos escoger a1 , a2 , . . . , aN (0, 1) (por ejemplo igualmente espaciados) tales que (a1 , a1 + ) (a2 , a2 + ) . . . (aN , aN + ) (0, 1). Para x en el j - esimo intervalo se cumple |f (x) f (aj )| < f (x) < f (aj ) + . De aqu , para todo x (0, 1) se tiene y f est a acotada superior e inferiormente. ? Veamos otro teorema falso m as sutil. Un contraejemplo es an = 1/n. Toda sucesi on 0 < an < 1 tiene una subsucesi on con 0 < lim ank < 1. Dem.: falsa Consideremos la colecci on de intervalos (an 1/(2n), an + 1/(2n)) con n = 1, 2, . . .. Cada uno de ellos tiene longitud > 1/n y 1/n = mientras que la longitud de (0, 1) es 1, por tanto alg un punto l (0, 1) est a cubierto por innitos intervalos, digamos (ank 1/(2nk ), ank + 1/(2nk )), por tanto lim ank = l (0, 1). ? As que tenemos dos teoremas demostrados que admiten contraejemplos. Si hacemos caso de la tautolog a a a b estas son buenas noticias, porque podemos deducir que la hip otesis de Riemann y la conjetura de Poincar e son ciertas (dos famosas y antiguas conjeturas no resueltas); pero como tambi en a a b, la hip otesis de Riemann y la conjetura de Poincar e son falsas. Acaso se cumple la tontolog a a a?
Absurdo: una palabra m as, me debato con palabras; all llegu e a tocar la cosa. Pero quisiera jar aqu el car acter absoluto de este absurdo. Un gesto, un acontecimiento en el peque no mundo coloreado de los hombres nunca es absurdo sino relativamente: con respecto a las circunstancias que lo acompa nan. Los discursos de un loco, por ejemplo, son absurdos con respecto a la situaci on en que se encuentra, pero no con respecto a su delirio. Pero yo, hace un rato, tuve la experiencia de lo absoluto: lo absoluto o lo absurdo.

y por consiguiente f (aj ) <

min(f (a1 ) , . . . , f (aN ) ) < f (x) < max(f (a1 ) + , . . . , f (aN ) + )

Como muchos habr an sabido, el error de la primera demostraci on tiene que ver con la continuidad uniforme. El depende de a y y no podemos, en general, escoger el mismo para valores distintos de a, con lo cual tendr amos que haber escrito: (a (a), a + (a)) (0, 1).
a(0,1)

68

Aun as parece que tiene remedio, porque tomando una subcolecci on nita de intervalos que cubran (0, 1) el resto de la prueba funciona. Pero hay algo no muy claro: quiz a con mala idea pudi eramos inventar (a) tal que esa subcolecci on no exista. En la segunda demostraci on, de nuevo la dicultad u ltima estriba en nuestra intuici on de que podemos extraer de una colecci on innita de intervalos abiertos unos cuantos tales que todos los dem as est an debajo. n: Se dice que un espacio topol Definicio ogico, X , es compacto si todo recubrimiento abierto de X admite un subrecubrimiento nito. e tan claro que no merezca el nombre de denici on, subraObservaci on: Aunque est yaremos que un recubrimiento abierto es s olo una colecci on de abiertos cuya uni on es todo el espacio, y un subrecubrimiento es una subcolecci on con la misma propiedad. A veces abreviaremos recubrimiento abierto por recubrimiento simplemente. n: Se dice que un subconjunto de un espacio topol Definicio ogico, A X , es compacto si lo es con la topolog a relativa. Observaci on: N otese que para subconjuntos podemos entender un recubrimiento abierto como una colecci on de abiertos, U , en X , tales que U A. Ejemplo: IR no es compacto porque (n 0 6, n + 0 6) nZ Z y no podemos suprimir ninguno de los intervalos porque si no alg un entero quedar a sin tapar. Ejemplo: A = {1/n : n Z Z+ } IR con la topolog a usual no es compacto. Basta considerar el recubrimiento 1 1 1 1 A 2, + 2 n 2n n 2n n que no tiene subrecubrimientos. Lo mismo podr amos hacer en cualquier subconjunto innito que herede la topolog a discreta. Ejemplo: A es compacto (con A como antes). Dado un recubrimiento abierto de A, digamos C , sea U0 C con 0 U0 . Como 1/n 0 se tiene 1/n U0 excepto un n umero nito de veces: 1/n1 , 1/n2 ,. . . , 1/nk . eligiendo Uj C con 1/nj Uj , se tiene
k j =0

IR =

Uj A.

Ejemplo: (0, 1) IR no es compacto. Basta tomar el recubrimiento. (1/n, 1) = (0, 1).

n=2

El siguiente ejemplo es m as notable e incluso a veces recibe un nombre que reservaremos para el u ltimo teorema de la secci on. 69

Lema 4.20: [0, 1] es compacto (con la topolog a usual). Dem.: Dado un recubrimiento abierto, C , de [0, 1] consideramos s = sup{x [0, 1] : [0, x] puede recubrirse con un no nito de abiertos de C}. Hay que demostrar s = 1, con ello, quiz a a nadiendo un abierto que recubra [1 , 1], tendremos un subrecubrimiento nito. Desde luego que s > 0 porque cualquier abierto que contenga a cero contiene a [0, ] para alg un > 0. Supongamos que s < 1, entonces para cualquier U (s) C existe > 0 tal que [s , s + ] U (s). Por la denici on de s, [0, s ] est a recubierto por un n umero nito de abiertos del recubrimiento, pero si a estos les a nadimos U (s) se tiene un subrecubrimiento nito de [0, s + ], lo cual contradice que s sea el supremo. Mir andolo con cuidado, esencialmente s olo hemos usado la existencia del supremo en la prueba anterior. A base de generalizar se obtiene un resultado m as poderoso. Proposici on 4.21: Si X tiene la topolog a del orden y la propiedad del supremo, entonces para cada a, b X , a < b, el intervalo cerrado [a, b] = {x X : a x b} es compacto. aco es compacto (simplemente coincide Ejemplo: [0, 1] [0, 1] con el orden lexicogr con el intervalo cerrado [(0, 0), (1, 1)]). Como en el caso de la conexi on, veamos c omo fabricar nuevos compactos a partir de nuestra peque na colecci on. Proposici on 4.22: Si f : X Y es continua y K X es compacto, entonces f (K ) tambi en lo es. Dem.: Si U fuera un recubrimiento de f (K ) sin subrecubrimientos nitos entonces f (U ) K tendr a la misma propiedad.
1

Proposici on 4.23: compacto.

Si F K X con F cerrado y K compacto, entonces F es

Esto es, cerrado dentro de compacto es compacto. Dem.: Si existiera un recubrimiento U F sin subrecubrimientos nitos entonces (X F ) U K tendr a la misma propiedad y esto contradice que K es compacto. Ejemplo: {(1)n /n : n Z Z+ } {0} es compacto porque es un cerrado dentro de [1, 1] que es compacto. La compacidad est a relacionada con propiedades de separaci on. Proposici on 4.24: Sea X un espacio Hausdor, K un subconjunto compacto y x X K , entonces existen dos abiertos disjuntos U y V tales que x U y K V . Dem.: Para cada y K , por ser el espacio Hausdor, existen dos abiertos disjuntos Uy , Vy con x Uy , y Vy . De la compacidad de K se sigue que
N

Vy K y1 , y2 , . . . , yN K :
y K n=1

Vyn K.

70

Tomando
N N

U=
n=1

U yn ,

V=
n=1

V yn

se tiene el resultado deseado. Corolario 4.25: siempre cerrado. En un espacio de Hausdor cualquier subconjunto compacto es

on anterior, cada punto que no est e incluido en el compacto Dem.: Por la proposici tiene un entorno abierto que tampoco lo est a, as que el complementario es abierto. Ejemplo: Con la topolog a conita en IR, U = IR {0} es compacto (ejercicio) pero U es abierto y no cerrado. La u ltima propiedad que veremos es, esencialmente, X, Y compactos X Y compacto.
[

Despu es de pensarlo un poco, hay un camino l ogico: Para todo recubrimiento de X Y , al ser Y compacto, cada vertical {x} Y admite un subrecubrimiento nito. Si escogemos un tubo de la forma U (x) Y dentro de dicho subrecubrimiento, un n umero nito de tubos recubrir an X Y ya que X est a recubierto por un n umero nito de los U (x) cuando x var a.

Cuando se intenta poner todo esto en rigor resulta que la existencia del tubo alrededor de la vertical no es evidente. Lema 4.26: (Lema del tubo) Sean X, Y espacios topol ogicos con Y compacto y sea x X . Si W es un abierto en X Y con {x} Y W entonces existe U abierto en X tal que {x} Y U Y W . Observaci on: El resultado es, en general, falso si Y no es compacto. Por ejemplo, si X = Y = IR, W = {(x, y ) IR2 : y |x| < 1} no existe ning un tubo contenido en W y conteniendo a {0} IR. Dem.: Por la denici on de la topolog a producto, podemos escribir W=

U V

donde U , V son abiertos de las bases de X e Y , respectivamente. De la compacidad de {x} Y (es homeomorfo a Y ) se sigue que un n umero nito de productos U V sirven para cubrir este conjunto. Digamos
N

{x} Y
n=1

Un Vn

71

con x Un , Y

Vn . Por tanto, tomando como U la intersecci on de los Un

N

{x} Y U Y
n=1

Un Vn W

y la demostraci on es completa. Proposici on 4.27: Sean X1 , X2 ,. . . , Xn espacios topol ogicos (no vac os), entonces X1 X2 . . . Xn es compacto X1 , X2 , . . . , Xn son compactos. Observaci on: Como en el caso de la conexi on, el resultado tambi en se extiende a productos cartesianos innitos. En ese caso se conoce con el nombre de Teorema de Tychono y requiere emplear el axioma de elecci on. Dem.: Supondremos n = 2 porque el caso general se sigue iterando (por inducci on). ) Es una consecuencia de la continuidad de las proyecciones 1 , 2 . ) Fijado x X1 , como la vertical {x} X2 es compacta, de cada recubrimiento de X1 X2 podemos extraer una colecci on nita, Wx,n , n = 1, 2, . . . , Nx y, por el lema, la uni on de estos abiertos debe contener un tubo Ux X2 con x Ux
Nx

{x} X2 Ux X2
n=1

Wx,n .

Por otra parte, por la compacidad de X1 , se necesitan un n umero nito de abiertos Uxm , m = 1, 2, . . . , M para recubrir X1 , con lo cual se tiene
M M Nxm

X1 X2
m=1

Uxm X2
m=1 n=1

Wxm ,n

y Wxm ,n es el subrecubrimiento nito buscado. Una vez que nos hemos ejercitado en la teor a y tenemos una f abrica de compactos con teoremas grandilocuentes, podemos desvelar el gran secreto: la compacidad en IRn es una solemne tonter a. Teorema 4.28: (Heine-Borel) En IRn (con la topolog a y distancia usuales) un subconjunto es compacto si y s olo si es cerrado y acotado. Observaci on: Este resultado no es cierto en general, si la topolog a o la distancia no son las usuales. Por ejemplo, con la topolog a de l mite inferior en IR, [0, 1) es cerrado y acotado pero no compacto. Dem.: ) Al ser IRn Hausdor sabemos que compacto cerrado. La acotaci on se sigue de que n=1 B (0, n) es un recubrimiento de cualquier subconjunto (de hecho de IRn ) que no admite subrecubrimientos nitos si el conjunto no est a acotado (por qu e? Es muy f acil). ) Un subconjunto acotado est a incluido en el cubo Cn = [n, n] . . . [n, n] para alg un n sucientemente grande. Como Cn es compacto (es producto de compactos) si el subconjunto es cerrado tambi en ser a compacto (cerrado compacto compacto). 72

2 2 Ejemplo: S n = {(x1 , x2 , . . . , xn+1 ) IRn+1 : x2 1 + x2 + . . . + xn+1 = 1} es compacto.

Trivialmente es acotado y se puede probar r apidamente que es cerrado diciendo que n+1 1 S = f ({1}) donde f : IR IR es la funci on continua f (x1 , . . . , xn+1 ) = x2 1 +. . .+ 2 n xn+1 . Este breve argumento demostrando que S es cerrado tiene un an alogo diferencial, el n teorema de la submersi on, que permite probar entre otras cosas que S es una subvariedad sin necesidad de echar las cartas. Para terminar, despu es de la submersi on un poco de subversi on:
n

La compacidad en IR subyace a los conceptos de supremo e nmo que son la base del An alisis Matem atico y de la misma construcci on de los n umeros reales. Estos conceptos han sufrido las desconanzas de muchos matem aticos desde la antig uedad hasta nales del siglo XIX. Uno de los u ltimos reaccionarios, criticando duramente los trabajos de H.F. Heine y K. Weierstrass hacia la denici on de compacidad, fue L. Kronecker, famoso por su important sima contribuci on matem atica, por creer s olo en los enteros y por haber acelerado o motivado la demencia de G. Cantor a causa de sus ataques contra el. Es realmente injusto que diatribas como estas o conictos entre biograf as sean casi la u nica oportunidad para que el lector casual pueda atisbar el car acter de algunos grandes hombres, y es que no hay como morirse o ser un genio para volverse bueno ante todos, a pesar de la advertencia del Ap ostol de las Gentes: y si entendiese todos los misterios de la ciencia [. . . ], y no tengo amor, no soy nada. [. . . ] y si entregase mi cuerpo al fuego, y no tengo amor, de nada me sirve. Por ejemplo, en un homenaje p ostumo a un sabio fallecido en el siglo XVIII se dijo: Ten a por nacimiento tendencia a la mansedumbre e inclinaci on a la tranquilidad [. . . ] Nunca hablaba de s mismo o con desprecio de otros y nunca dio motivo alguno ni siquiera al m as malicioso observador de sospechar en el el menor atisbo de vanidad [. . . ] La holgura de que disfrutaba [. . . ] le dio oportunidades de hacer el bien, oportunidades que no dej o escapar. Pero buscando con empe no se puede encontrar: Atrabiliario, hosco y malhumorado, nunca reconoci o la val a de sus compa neros e hizo lo posible por borrar las huellas de los que le precedieron. Culpable de diez y nueve muertes [. . . ] nunca hubo tantos nobles est upidos en la sabia instituci on como bajo su mando. Es curioso que no dejemos de admirar en los libros y en las paredes de los museos a h eroes que, de estar a nuestro lado, llamar amos ruines y degenerados.
Hab a cruzado el sal on Bordurin-Renaudas en toda su longitud. Me volv . Adi os, hermosos lirios todo nura, en vuestros santuarios pintados; adi os hermosos lirios, orgullo nuestro y nuestra raz on de ser, adi os, cerdos.

En la actualidad la denici on de compacto no da lugar a ning un recelo a pesar de su car acter no constructivo, y el An alisis Matem atico est a s olidamente asentado. Es justo a nadir que muchas de las cr ticas pasadas estaban justicadas por la falta de rigor al manejar los conceptos innitesimales, pero en el terreno de las opiniones s olo se recuerda al que a la larga tiene raz on. 73

Qu e buenos son los compactos! La primera buena propiedad de los compactos no es m as que la generalizaci on de uno de los teoremas b asicos del C alculo. Proposici on 4.29: Sea X un espacio topol ogico compacto e Y un espacio topol ogico con la topolog a del orden, entonces cualquier funci on continua f : X Y alcanza un m aximo y un m nimo. Esto es, x1 , x2 X : x X f (x1 ) f (x) f (x2 ). aximo, dado y Im f existe z Im f con z > y . As pues, Dem.: Si no alcanzara un m tenemos el recubrimiento Im f =
y Im f

{y }
z Im f

{y Y : y < z }.

Si {y Y : y < z1 } {y Y : y < z2 } . . . {y Y : y < zN } es un subrecubrimiento nito llegamos a una contradicci on porque el mayor de los zj est a en Im f pero no pertenece al subrecubrimiento. Un argumento sim etrico sirve para demostrar que tambi en se alcanza un m nimo. Destacar un resultado tan poco destacado merece alguna batallita. Con nuestra intuici on de C alculo real, la existencia de m aximos y m nimos puede parecer bastante trivial pero en espacios sucientemente complejos puede ser dif cil de probar o incluso falsa. Como ilustraci on, citaremos el problema de la braquistocrona (braquis=breve, cronos=tiempo) que consiste en dados dos puntos A, B a diferentes alturas, hallar la forma de un tobog an que los una para que los ni nos (o mayores) tarden lo menos posible en bajar. Consideremos tambi en el problema de hallar un camino por el que tardemos el menor tiempo posible para ir de la ciudad C a la D sabiendo que la regi on de D, RD (ver la gura), es pantanosa y avanzamos la mitad de r apido que en RC .
C A R C

R B

El primer problema es much simo m as dif cil (no es un ejercicio si uno no conoce bien las palabras m agicas: C alculo de Variaciones) que el segundo (ejercicio ingenioso). Por otra parte, el primero tiene soluci on entre las curvas diferenciables (un trozo de cicloide) y el segundo no (una l nea quebrada). En otras palabras, la funci on que asigna a cada curva diferenciable uniendo dos puntos el tiempo, alcanza un m nimo en el primer caso pero no en el segundo. En este u ltimo caso, las curvas diferenciables s olo dan aproximaciones a la soluci on. Curiosidades: El problema de la braquistocrona fue un reto de J. Bernoulli (quien lo resolvi o primero) a otros matem aticos. Al gran genio I. Newton s olo se le resisti o unas 74

horas (el 29 de enero de 1697) mientras que a G.W. Leibniz seis meses. Sorprendentemente guarda cierta relaci on con el segundo problema que hemos mencionado y este con la refracci on de la luz. Para saber m as, v ease V.M. Tikhomirov Stories about Maxima and Minima Mathematical World. AMS 1990. Veamos a continuaci on dos resultados que relacionan la compacidad con otras deniciones del curso. Proposici on 4.30: Sean X e Y espacios topol ogicos con X compacto e Y Hausdor y f : X Y , entonces f es un homeomorsmo f es continua y biyectiva. Dem.: ) Es trivial. ) Basta probar que f es cerrada ya que esto implicar a que f 1 es continua. Si F es cerrado en X , entonces es compacto y f (F ) tambi en lo es. Como Y es Hausdor, f (F ) es cerrado. Ejemplo: La funci on f : X IR2 , con f (x, y ) = (x3 (1 y 3 )+3x, x3 (1+ y 3 )+3x +2) y X = [1, 2] [3, 4] es una inmersi on (homeomorsmo sobre su imagen). La sobreyectividad de f : X f (X ) est a asegurada y como X es compacto y f es continua, basta comprobar que es inyectiva: Si f (x1 , y1 ) = f (x2 , y2 ), sumando ambas ecuaciones y sacando factor com un x1 x2 obtenemos x1 = x2 . Sustituyendo en la segunda ecuaci on se deduce y1 = y2 . Proposici on 4.31: Si X es un espacio topol ogico compacto y A es un subconjunto innito, entonces A = . o A U (x) = Dem.: Supongamos que A = , entonces x X U (x) : A U (x) = {x}. Cuando x var a en X , los U (x) cubren todo el espacio y por la compacidad de X podemos escoger U1 , U2 , . . . UN con
N

AX
j =1

Uj

Como Uj A tiene a lo m as un elemento, se deduce que A es nito. Ejemplo: Tomando como A una sucesi on acotada, digamos por un n umero M , y X = [M, M ] con la topolog a usual, se deduce (sin mucho esfuerzo pero no inmediatamente) el teorema de Bolzano-Weierstrass: Toda sucesi on acotada tiene una subsucesi on convergente. Realmente el resultado se debe a K. Weierstrass en 1860 pero B. Bolzano cre o el m etodo de bisecci on que a veces se usa en la demostraci on y contribuy o ampliamente a la fundamentaci on del An alisis Matem atico y la teor a de sucesiones y series. Su libro Paradojas del innito de 1850 incluye contraejemplos tan demoledores como 0 = (1 1) + (1 1) + (1 1) + . . . = 1 (1 1) (1 1) . . . = 1. No est a tan mal habida cuenta que entre los resultados que S. Ramanujan envi o a algunos matem aticos antes de ser descubierto estaba 1+2+3+4+5+ = 1/12. Qu e injustos son los autores que suspender an a sus alumnos por menos y critican a aquellos matem aticos. Tambi en es cierto que esta igualdad tiene alg un sentido, pero dif cil de explicar. 75

Seg un cuentan algunos libros, en los albores de la historia de la Topolog a General (la que estudiamos hasta este cap tulo) se dec a que eran compactos los espacios en los que se cumpl a el teorema de Bolzano-Weierstrass y se reservaba el nombre de bicompactos a los que ten an la propiedad de subrecubrimientos nitos. Pero nuevos teoremas, como el de Tychono que s olo se cumple para los bicompactos, hicieron que estos se transformaran en los compactos por antonomasia. Nos podemos creer as la necesidad de los nuevos compactos con su denici on articial y la contigencia de los antiguos, pero tambi en es f acil dar causas necesarias de la Revoluci on Francesa una vez que sabemos que ha ocurrido.
No reexionar demasiado en el valor de la Historia. Uno corre el riesgo de hastiarse con ella.

En general, en espacios m etricos hay una estrecha relaci on entre la compacidad, los puntos de acumulaci on y propiedades de convergencia de las sucesiones. Todo est a recogido en el pr oximo teorema del que separamos una parte de la demostraci on que tiene inter es independiente. Lema 4.32: (Lema del n umero de Lebesgue) Sea X un espacio m etrico en el que toda sucesi on tenga una subsucesi on convergente y sea U = X un recubrimiento abierto, entonces existe > 0 (n umero de Lebesgue) tal que para cualquier x X hay un abierto del recubrimiento conteniendo a B (x, ). Dem.: Si no existe tal , para cada n Z Z+ existe xn X tal que B (xn , 1/n) U para cualquier U del recubrimiento. Sea l el l mite de una subsucesi on convergente de xn , digamos xnk . Sea U0 tal que l U0 . Por ser U0 abierto existe B (l, ) U0 . Adem as de la convergencia de xnk a l se deduce que existe k0 sucientemente grande tal que xnk0 B (l, /2) y 1/nk0 < /2. De aqu B (xnk0 , 1/nk0 ) B (xnk0 , /2) B (l, ) U0 . (Se ha aplicado la desigualdad triangular en la inclusi on central). Pero esto contradice que B (xn , 1/n) U para todo n y cualquier U . Teorema 4.33: Si X es un espacio m etrico, las siguientes armaciones son equivalentes: 1) X es compacto. 2) Si A X tiene innitos elementos A = . 3) Toda sucesi on en X tiene una subsucesi on convergente. Observaci on: En espacios que no son m etricos las tres armaciones no son equivalentes y constituyen una peque na familia de los compactos. Los espacios que cumplen 2) se llaman numerablemente compactos o se dice que tienen la propiedad de Bolzano-Weierstrass y los que cumplen 3) se llaman compactos por sucesiones o secuencialmente compactos. Esta familia se completa con localmente compacto que es un t ermino que no trataremos en este curso y que signica que cada punto tiene un entorno contenido en un compacto. Dem.: Ya hemos probado que 1) 2). Por otra parte si se cumple 2), cualquier sucesi on debe tener una subsucesi on convergente porque si no tendr amos un conjunto innito sin puntos l mite (Ejercicio: Completar los detalles. Aunque no lo parezca, se necesita usar que el espacio es m etrico). As que s olo queda probar 3) 1). 76

Sea U un recubrimiento de X , queremos hallar un subrecubrimiento nito. Por el lema anterior existir a un n umero de Lebesgue > 0. Tomemos x1 X , x2 X B (x1 , ), x3 X B (x1 , ) B (x2 , ),. . . etc. Para alg un N debe cumplirse X = B (x1 , ) B (x2 , ) . . . B (xN , ) porque si no xn formar a una sucesi on innita sin subsucesiones convergentes (todos los t erminos est an separados al menos por ). Eligiendo para cada 1 j N , Uj B (xj , ) se tiene que Uj es el subrecubrimiento nito buscado. Ejemplo: Como X = [0, 1] es compacto y m etrico, toda sucesi on tiene una subsucesi on convergente y se cumple el resultado del lema del n umero de Lebesgue. Aplic andolo al 1 recubrimiento de [0, 1] dado por f (f (a) , f (a)+ ) donde f : [0, 1] IR es continua, se deduce el teorema de continuidad uniforme: Si f : [0, 1] IR es continua, entonces f es uniformemente continua, esto es, > 0 > 0 : x (a , a + ) [0, 1] |f (x) f (a)| < para todo a [0, 1]. Es decir, depende de pero no de a. Ejemplo: Todo espacio m etrico compacto es completo (v ease la denici on en el primer cap tulo): Por 3), para cada sucesi on {xn } existe x l , esto es, dado > 0, nk n=1 d(xnk , l) < si nk > N . Si la sucesi on es de Cauchy, d(xm , xnk ) < para m, nk > M > N , as que por la desigualdad triangular d(xm , xnk ) < , y la sucesi on converge a l. d(xnk , l) < d(xm , l) < 2 si m > M

Como muestra este ejemplo, la completitud y la compacidad est an muy relacionadas, de hecho para los espacios m etricos totalmente acotados (los que pueden ser recubiertos con un n umero nito de bolas arbitrariamente peque nas), compacto es lo mismo que completo. Ejemplo: IRn es completo. Cualquier sucesi on de Cauchy est a acotada (ejercicio, no es tan dif cil teniendo en cuenta que si los t erminos se amontonan no puede haber algunos que se escapen a innito) entonces est a incluida en B (0, R) para alg un R grande, y este espacio es completo por ser compacto. Observaci on: Como los compactos son tan buenos, a veces conviene ampliar un poco un espacio no compacto a nadi endole un punto, normalmente llamado , de manera que X {} sea compacto. Este nuevo espacio se llama compacticaci on de Alexandro, que lo introdujo en 1924, cuando se le dota con la topolog a dada por U abierto en X {} U es abierto en X X U es compacto en X si U si U .

Por ejemplo, (a, b) y IR [a, b] {} son abiertos t picos de la compacticaci on de IR. Esto es como pegar e en un solo innito, de manera que IR {} con la topolog a n 1 de la compacticaci on de Alexandro es homeomorfo a S y, en general, IR {} a S n (el homeomorsmo no es m as que la extensi on de la estereogr aca). Para terminar, veamos dos propiedades de los espacios compactos que aparecen en algunos resultados cl asicos. 77

Proposici on 4.34: Sea X un espacio topol ogico compacto y sean F1 F2 F3 . . . conjuntos cerrados no vac os, entonces Fj = . Observaci on: Cuando X y los Fj son intervalos cerrados de la recta real, por razones obvias, se llama a este resultado teorema de los intervalos encajados. N otese que el resultado no es cierto para intervalos abiertos, por ejemplo, (0, 1/n) = . Dem.: Si fuera Fj = , Uj = X con Uj = X Fj

ser a un recubrimiento abierto y no tendr a subrecubrimientos nitos, lo cual es una contradicci on. Proposici on 4.35: Sea X un espacio topol ogico compacto y Hausdor y A = un subconjunto tal que A = A, entonces A no es numerable. Observaci on: A los conjuntos que cumplen A = A se les llama perfectos y fueron introducidos por G. Cantor en 1884. Este resultado implica, por tanto, que los conjuntos perfectos en compactos Hausdor son no numerables. Dem.: De la identidad A = A A se sigue que A = A y por tanto A es cerrado. Si A fuera numerable, digamos A = {x1 , x2 , x3 , . . .}, sea y1 A {x1 } entonces, por ser el espacio Hausdor, podemos hallar U1 , V1 disjuntos con y1 U1 , x1 V1 . Por on, (U1 {y1 }) A debe ser no vac o tanto x1 U1 . Como y1 es un punto de acumulaci (de hecho debe contener innitos elementos), as pues, procediendo de la misma forma hallamos U2 U1 , V2 disjuntos con y2 U2 A, x2 V2 , con lo cual x2 U2 . En general obtenemos U1 U2 U3 . . . tales que U1 A = , U2 A = , U3 A = ,. . . y x1 U1 , x2 U2 , x3 U3 ,. . . y esto implica (Uj A) = lo que contradice el resultado anterior. Ejemplo: Uno de los subconjuntos de [0, 1] m as famosos en Topolog a es el conjunto de Cantor (debido a G. Cantor en 1883) denido por

C=
k,j =0

[0, 1]

3k + 1 3k + 2 , 3j 3j

Este conjunto es perfecto, lo cual no es una opini on sino una aplicaci on de la notaci on antes introducida (ejercicio, no muy f acil si uno quiere una soluci on breve). Los dos u ltimos resultados implican que C es no vac o y no numerable. Para aplicar el primero se puede considerar como Fj la parte de la intersecci on con 0 k 3n1 y n j . Otras propiedades curiosas del conjunto de Cantor son que sus componentes conexas son los puntos, que es autosemejante (igual a un par de fotocopias reducidas de s mismo) y que para cualquier espacio m etrico (X, d) existe una funci on continua y sobreyectiva f : C X . Este incre ble resultado es el teorema de Hausdor-Alexandro. Si uno ya ha hecho todos los deberes y tiene ganas de m as, puede pasarse por la hemeroteca y tratar de leer poco a poco el art culo de Y. Benjamini Applications of the Universal Surjectivity of the Cantor Set American Mathematical Monthly 105 pp 832-839 (1998). 78

Una recta no es redonda, un hombre no es una mujer En el cap tulo anterior dijimos que los homeomorsmos establec an una equivalencia entre los abiertos de dos espacios topol ogicos y, por tanto, entre sus propiedades topol ogicas. All hallamos a mano algunos homeomorsmos entre espacios pero como sab amos muy pocas propiedades y eran demasiado b asicas, no pudimos distinguir entre espacios aparentemente bien distintos. En esta secci on utilizaremos lo que hemos aprendido de conexi on y compacidad con este cometido. Despu es de todo el rollo te orico de p aginas anteriores, nos daremos un respiro sin teoremas, s olo con ejemplos. Si no se indica lo contrario, la topolog a empleada ser a la (inducida por la) usual. Ejemplo: Los intervalos en IR: I1 = (a, b), I2 = [a, b] con a < b, no son homeomorfos porque I2 es compacto pero I1 no lo es. Ejemplo: El disco unidad abierto en IR2 no es homeomorfo al disco cerrado, porque el primero no es compacto y el segundo s . Seguramente muchos est en pensando que estos ejemplos son un poco absurdos porque un subespacio que es abierto en un espacio mayor no puede ser homeomorfo a otro que no lo es, pero este argumento no es en general v alido (con excepciones, que aqu se aplican, recogidas en un profundo resultado mencionado al nal de la secci on). Para los m as incr edulos, damos un ejemplo de un espacio tal que uno de sus abiertos es homeomorfo a uno de sus no abiertos. Ejemplo: Consideremos el siguiente espacio: X = (x, y ) IR2 : x2 + (y 1)2 = 1 (x, y ) IR2 : x2 + (y + 1)2 = 1 (0, 2 1/n) IR2 : n Z Z+ . En este h brido entre ocho y Manneken-Pis, el subconjunto U = X {(x, y ) IR2 : y > 1} es abierto y homeomorfo a C = X {(x, y ) IR2 : 2 y < 1} por medio de la simetr a (x, y ) (x, y ), pero este u ltimo conjunto no es abierto en X (por qu e?). Por cierto, X 1 no es homeomorfo, por ejemplo, a S porque este u ltimo conjunto es conexo y X no lo es. Ejemplo: Sab amos que IR es homeomorfo a cualquier intervalo abierto, (a, b), pero no puede serlo a ninguno cerrado, [a, b], por la compacidad de este u ltimo conjunto. N otese que ni siquiera puede existir una funci on continua y sobreyectiva f : [a, b] IR porque f debe alcanzar un m aximo y un m nimo. Por otro lado, no s olo existe f : (a, b) IR continua y sobreyectiva, sino que a base de unir curvas de Peano (v ease el nal del cap tulo 42 de M. Kline Mathematical Thought form Ancient to Modern Times V.III Oxford University Press 1972), se puede obtener f : (a, b) IR2 con las mismas propiedades, contradiciendo nuestra intuici on acerca del concepto de dimensi on. Ahora justiquemos la primera parte del t tulo. Ejemplo: S 1 y IR no son homeomorfos, porque uno es compacto y el otro no. De la misma forma, S n no es homeomorfo a IRn (recu erdes que S n es la frontera de la bola unidad en IRn+1 ). 79

Cuando ninguno de los espacios que queremos comparar es compacto el problema de ver si son homeomorfos puede llegar a ser muy dif cil. Por ejemplo, seguramente no existe ninguna demostraci on sencilla (sin usar las t ecnicas del siguiente cap tulo) de que 2 los siguientes espacios, donde D es el disco unidad abierto en IR , no son homeomorfos: X = D {(1, 0)}

Y = D {(1, 0)} {(1, 0)}

Cuando uno de los conjuntos es, en alg un sentido, unidimensional, la t ecnica de eliminar algunos puntos es muy u til. El siguiente ejemplo es protot pico. Ejemplo: Consideremos en IR los espacios X = [0, 1), Y = (0, 1), entonces X e Y no son homeomorfos (n otese que ninguno de los dos es compacto y que ambos son conexos). Si existiera un homeomorsmo f : X Y , restringiendo al abierto U = X {0} se tendr a que f U : U Y {f (0)} tambi en ser a un homeomorsmo (por qu e?). Pero esto es imposible porque, sea cual sea f (0), U es conexo e Y {f (0)} no lo es. Ejemplo: IR no es homeomorfo a IRn , n > 1. Si existiera f : IR IRn homeomorsmo, entonces IR {0} y IRn {f (0)} ser an homeomorfos, pero esto es una contradicci on n porque IR {0} no es conexo y IR {f (0)} s lo es. Para justicar rigurosamente esta u ltima armaci on, podemos suponer, por simetr a, f (0) = 0 y decir que IRn {0} es conexo por caminos porque x1 , x2 se pueden unir con una l nea recta en IRn {0} si x1 = x2 , y por una quebrada en otro caso. Ejemplo: S 1 no es homeomorfo a S n , n > 1. Si suprimimos un punto el resultado es conexo en ambos casos. Necesitamos quitar al menos dos puntos a la circunferencia unidad, S 1 , para desconectarla. Sean, por tanto, p, q S 1 , p = q , entonces S 1 {p} {q } tiene dos componentes conexas y sin embargo, cualquiera que sea f : S 1 S n , S n {f (p)}{f (q )} s olo tiene una (es conexo). Una demostraci on r apida de este hecho se reduce a aplicar la proyecci on estereogr aca con f (p) desempe nando el papel de polo norte y deducir que n n S menos dos puntos es homeomorfo a IR menos un punto. La simetr a de los dos ejemplos anteriores no debiera inducir a confusi on: no podemos especicar a nuestro antojo la imagen de un punto por el posible homeomorsmo. Ejemplo: Los siguientes espacios X = (x, y ) IR2 : (x + 1)2 + y 2 = 1 (x, y ) IR2 : 0 x 1, y = 0 Y = (x, y ) IR2 : (x 1)2 + y 2 = 1 (x, y ) IR2 : 1 x 0, y = 0
X= Y= (2,0)

(0,0)

80

son claramente homeomorfos mediante un giro de 180o o una simetr a, pero no puede existir ning un homeomorsmo con f (0, 0) = (2, 0) porque X {(0, 0)} tiene dos componentes conexas mientras que Y {(2, 0)} es conexo. Dicen que para los angeles y para algunas aves es una tarea dif cil distinguir los sexos, pero con todos los trucos que sabemos ya, es cortar y contar. Ejemplo: Los siguientes espacios (con la topolog a heredada de IR2 y sin considerar las verrugas) no son homeomorfos:

X=

Y =
q

Si existiera un homeomorsmo f : X Y , consideremos X {p} e Y {f (p)} con p el centro de la cruz. El conjunto X {p} tiene cuatro componentes conexas y sin embargo Si f (p) circunferencia{q } Si f (p) = q Si f (p) cuerpo de la echa Si f (p) = r Y {f (p)} es conexo Y {f (p)} tiene dos comp. conexas Y {f (p)} tiene dos comp. conexas Y {f (p)} tiene tres comp. conexas

Si f (p) punta de echa{r} Y {f (p)} tiene dos comp. conexas con lo cual no hay homeomorsmo posible. Como u ltimo ejemplo veamos uno en el que la topolog a no es la usual. Ejemplo: X = (0, 1) [0, 1] con la topolog a del orden lexicogr aco no es homeomorfo a IR. Quitar puntos no nos lleva a ning un resultado porque el n umero de componentes conexas obtenidas es el mismo, por ello recurrimos a una propiedad m as na: X no es conexo por caminos (vimos un ejemplo muy parecido) y IR s lo es. Para terminar y s olo como ilustraci on, citaremos un profundo y dif cil resultado debido a L.E.J. Brouwer, llamado Teorema de invariancia del dominio que arma: Si X1 , X2 IRn son homeomorfos (con la topolog a inducidad por la usual), entonces X1 es un subconjunto n abierto y conexo de IR si y s olo si X2 tambi en lo es. Notaci on: Muchas veces se llama dominio a un abierto conexo, de ah el nombre del teorema. Como aplicaci on, IR3 y IR4 no pueden ser homeomorfos, porque si no IR3 {0} y IR4 tambi en lo ser an, pero IR3 {0} no es un abierto de IR4 (por qu e?) y IR4 s lo es. n m De la misma forma se deduce que IR y IR no son homeomorfos si n = m. Nosotros 81

en esta secci on hemos probado que IR y IRn , n = 1, no son homeomorfos y el pr oximo 2 n cap tulo veremos que tampoco lo son IR y IR , n = 2, pero parece que el resto de los casos requiere artiller a pesada (= invariancia del dominio) que se escapa a este pac co curso. Esto no es m as de la muestra de lo elusivo que es el concepto de dimensi on en Matem aticas. Quien tenga curiosidad puede leer el cap tulo 16 del libro de I. Stewart The problems of Mathematics Oxford University Press 1987. Despu es, o antes, es aconsejable leer tambi en el resto de los cap tulos del libro porque es magn co.

82