TOPOLOG IA

(La Topolog a de segundo no es tan dif cil)

n revisada. An o 2002 Versio

Estas notas son una versi on ligeramente revisada del original fechado el 9 de septiembre de 1999. Verdaderamente los u nicos cambios son el formato de los dibujos, la supresi on del prefacio (que claramente hab a caducado) y la correcci on de las pocas erratas detectadas. Aparte de ello, las notas han permanecido igual preserv andose incluso la paginaci on.

 Indice
1. Espacios M etricos Denici on de espacio m etrico. (Cu al es la diferencia entre cerca y lejos?) . . . . . . . . . . . . . 1 Convergencia y continuidad. (Muy, muy cerca: Continuidad y convergencia.) . . . . . . . . . . 7 Conjuntos abiertos y continuidad. (Un mundo abierto hacia la continuidad.) . . . . . . . . . 12 2. Espacios Topol ogicos I (denici on y construcciones) Denici on de espacio topol ogico. (Por n Topolog a.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Construcciones. (M as ejemplos, por favor.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. Espacios Topol ogicos II (conjuntos asociados, continuidad y propiedades). Conjuntos asociados. (La frontera cierra el interior.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Funciones continuas y homeomorsmos. (Aplastar, estirar, encoger.) . . . . . . . . . . . . . . . 41 Propiedad de Hausdor y axiomas de numerabilidad. (Hausdor y cosas raras.) . . . 48 4. Conexi on y Compacidad Denici on de conexi on. (Qu e es un conexo?) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Propiedades de los conjuntos conexos. (Un circo de conexos, aros en llamas y tartas.) . 58 Variantes de la conexi on. (La familia de conexos se multiplica.) . . . . . . . . . . . . . . . . . . . . . 64 Denici on y construcci on de conjuntos compactos. (Qu e es un compacto?) . . . . . . . 68 Propiedades de los conjuntos compactos. (Qu e buenos son los compactos!) . . . . . . . . . 74
una mujer.)

Conexi on, compacidad y homeomorsmos. (Una recta no es redonda, un hombre no es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79

5. El Grupo Fundamental Denici on de grupo fundamental. (Topolog a y grupos: una combinaci on explosiva.) . . 83 El grupo fundamental de la circunferencia. (La recta real se enrolla.) . . . . . . . . . . . . . . 91 Propiedades y ejemplos. (Pero, hay m as ejemplos?) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 Algunas aplicaciones. (Algunos teoremas bonitos.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

24A0504 c

U.A.M.

TOPOLOG IA

1. Espacios M etricos
Cu al es la diferencia entre cerca y lejos? Ahora estoy cerca, Ahora estoy lejos. As nos lo explicaba Coco en Barrio S esamo al tiempo que se situaba a menor o mayor distancia de la c amara. Desde luego que nosotros, para hacer Matem aticas, tenemos que concretar nuestra intuici on en n umeros, letras y funciones, as que como primera aproximaci on convendremos que la distancia es una funci on que a cada par de objetos distintos (por ejemplo, la c amara y Coco) le asigna un n umero real positivo (su separaci on). Sin embargo basta considerar unos ejemplos para concluir que esta funci on no puede ser arbitraria. Por ejemplo, si pudi eramos denir la distancia d(x, y ) = |x 2y | en el conjunto de n umeros reales, ocurrir an cosas demasiado raras para que las permitamos: La distancia entre 100 y 50 ser a cero pero la de 50 a 100 ser a 150, es decir, 100 estar a muy cerca, innitamente cerca, de 50, pero 50 estar a lejos 2 de 100. Y si pudi eramos tomar d(x, y ) = (x y ) resulta que para ir de 0 a 2 tendr amos que caminar 4 unidades pero si vamos de 0 a 1 y despu es de 1 a 2 caminamos menos, ya que d(0, 1) + d(1, 2) = 2 pero c omo puede tardar menos el autob us cuantas m as paradas haga? Estas dicultades sugirieron a los matem aticos de principios del siglo XX, especialmente a M. Fr echet, la siguiente denici on general y rigurosa que se ajusta a las necesidades intuitivas y matem aticas y evita casos extra nos como los anteriores. n: Sea X un conjunto. Se dice que d : X X IR dene una distancia Definicio (o m etrica) en X si se cumplen las propiedades 1) 2) 3) d(x, y ) 0 con igualdad si y s olo si x = y d(x, y ) = d(y, x) d(x, z ) d(x, y ) + d(y, z ) (Desigualdad triangular).

En estas condiciones, se dice que el par (X, d) es un espacio m etrico. Notaci on: Con el abuso de notaci on obvio, muchas veces se dice que X , en vez de (X, d), es un espacio m etrico si se da por supuesto cu al es la distancia d. Por otra parte, cuando se habla de una funci on denida en el espacio m etrico (X, d) uno se reere a una funci on denida en X , pero queriendo hacer enfasis en que se va a utilizar la distancia d (por ejemplo para estudiar la continuidad). Ejemplo-denici on: La distancia m as com un en IR es la denida por d(x, y ) = |x y | y se llama distancia usual. Es f acil comprobar todas las propiedades. La desigualdad triangular se vuelve tan obvia como |a + b| |a| + |b| tomando a = x y , b = y z . Ejemplo-denici on: En IR hay innidad de distancias posibles. Aunque pudiera extra nar a Cervantes, la m as tonta es la distancia discreta, llamada as porque separa igualmente cada par de puntos, y est a denida como d(x, y ) = 0 1 1 si x = y si x = y.

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: La distancia usual se generaliza a IRn de la siguiente forma: d(x, y ) = ||x y ||. Si uno preere ser menos sint etico, d (x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn ) = (x1 y1 )2 + (x2 y2 )2 + . . . (xn yn )2 .

Comprobar las propiedades 1) y 2) es trivial, pero probar 3) es realmente dif cil sin conocer la llamada desigualdad de Cauchy-Schwarz(-Buniakowski)
n

ai bi
i=1

i=1

a2 i
i=1

b2 i,

esto es,

(a b )2 ||a||2 ||b||2 .

D andola por supuesto, demostrar la desigualdad triangular para esta distancia se reduce al truco anterior de escribir ai = xi yi , bi = yi zi . Tras elevar al cuadrado y efectuar algunas simplicaciones, la triangular es equivalente a Cauchy-Schwarz. Por razones de completitud damos aqu una demostraci on de esta u ltima desigualdad. Para cualquier x IR y suponiendo b = 0, se tiene 0 ||a xb||2 = ||a||2 2x a b + x2 ||b||2 = ||b||x ab ||b||
2

||a||2 ||b||2 (a b)2 ||b||2

Tomando x = a b/||b||2 se obtiene 0 ||a||2 ||b||2 (a b)2 . Ejemplo: En cualquier conjunto, por raro que sea, se puede denir la distancia discreta, con la misma denici on dada en IR. En X = { , , } se tendr a d ( , ) = 0, d( , ) = 1, d( , ) = 0, d( , ) = 1, d(, ) = 0 d ( , ) = 1.

Ejemplo: Dados dos mensajes de la misma longitud se dene su distancia de Hamming, dH , como el n umero de letras correspondientes desiguales (por qu e es una distancia?). Por ejemplo dH (No quiero verte m as , Yo quiero verte m as) = 1 de modo que distancia peque na no implica signicados parecidos, lo que puede llevar a graves confusiones. Para evitar errores en la transmisi on, sobre todo si el canal no es muy able, se intenta aumentar la distancia de Hamming de mensajes parecidos. La forma m as obvia, empleada por muchas madres y pedig ue nos, es repetir varias veces el mensaje; otra manera consiste en a nadir alguna nueva letra obtenida a partir de las otras con alguna operaci on sencilla (el byte de paridad en inform atica). M etodos matem aticos mucho m as complicados de la Teor a de C odigos, permiten detectar y corregir cientos de miles de errores cuando o mos un disco compacto (v ease en la hemeroteca: J.H. van Lint Mathematics and the Compact Disc Nieuw Archief voor Wiskunde 16 N.3 pp. 183-190, 1998). Ejemplo: En IR, d1 (x, y ) = min(|x y |, 1) dene una distancia sin embargo d2 (x, y ) = max(|x y |, 1) no la dene. 2

24A0504 c

U.A.M.

TOPOLOG IA

Es evidente que d2 no cumple la primera propiedad porque d2 (x, x) = 0. Por otro lado, la u nica propiedad que no es obvia para d1 es la triangular. Si |x y | 1 o |y z | 1 entonces d1 (x, z ) d1 (x, y ) o d1 (x, z ) d1 (y, z ) con lo cual se satisface. En otro caso, si |x y | < 1 y |y z | < 1, se tiene d1 (x, y ) + d1 (y, z ) = |x y | + |y z | |x z | d1 (x, z ). Veamos un ejemplo muy interesante desde el punto de vista matem atico. Ejemplo: En el conjunto de funciones continuas f : [0, 1] IR la f ormula
1 1 /2

d(f, g ) =
0

|f (x) g (x)|2 dx

dene una distancia. Comprobar la propiedad triangular requiere el an alogo integral de la desigualdad de Cauchy-Schwarz
1 2 1

f (x)g (x)dx
0

f (x) dx
0

g (x) dx

que se prueba de forma similar. Por qu e la distancia anterior no dene realmente una distancia en el conjunto de todas las funciones de cuadrado integrable? (Truco: Consid erese una funci on discontinua igual a una continua en casi todos los puntos). Como anticipo de la teor a que se crear a alrededor de esta distancia en cursos superiores, consideremos las funciones f (x) = x2 x + 1 6

g (x) =
n=1

gn (x)

con gn (x) =

cos(2nx) . 2 n2

Ambas funciones son continuas en [0, 1]. Despreocup andonos de cuestiones de convergencia, 2 podemos efectuar |f g | y reordenar el resultado de la siguiente forma: |f g |2 =
n m=n

(gn gm ) + 2
n

2 gn f ) + (f 2 (gn n

2 ). gn

Cada uno de los par entesis tiene integral nula (para los dos primeros bastan m etodos de 4 integraci on elemental y en el tercero se usa adem as la f ormula (n) = 1/90 probada por L. Euler). Por tanto d(f, g ) = 0 y hemos demostrado 1 cos(2nx) x x+ = , 6 n=1 2 n2
2

0 x 1.

Imitando a Euler, podemos distraernos sustituyendo algunos valores racionales sencillos para obtener la suma de algunas series de aspecto impresionante. Esta f ormula no es m as que la punta de iceberg de un hecho important simo en F sica y Matem aticas: Toda onda (funci on) se puede obtener como superposici on de tonos fundamentales (senos y cosenos). 3

24A0504 c

U.A.M.

TOPOLOG IA

Por u ltimo, veamos un ejemplo anecd otico. Ejemplo: Sea X el conjunto de casillas de un tablero de ajedrez que nombraremos con la notaci on algebraica usada habitualmente por los ajedrecistas, seg un se muestra en el dibujo. La torre, el caballo, la dama y el rey denen sendas distancias en X que denotaremos por dT , dC , dD y dR respectivamente. Estas vendr an denidas por el n umero m nimo de movimientos que debe emplear la pieza seleccionada para trasladarse entre dos casillas dadas. La torre y la dama son piezas de acci on a larga distancia dT (a1, f 8) = dD (a1, f 8) = 2.
8 a8 b8 c8 d8 e8 f8 g8 h8 7 a7 b7 c7 d7 e7 f7 g7 h7 6 a6 b6 c6 d6 e6 f6 g6 h6 5 a5 b5 c5 d5 e5 f5 g5 h5 4 a4 b4 c4 d4 e4 f4 g4 h4 3 a3 b3 c3 d3 e3 f3 g3 h3 2 a2 b2 c2 d2 e2 f2 g2 h2 1 a1 b1 c1 d1 e1 f1 g1 h1 a b c d e f g h

El caballo bastante agil al esquivar obst aculos pero se cansa en trayectos largos dC (a1, f 8) = 4. Y el rey es demasiado viejo dR (a1, f 8) = 7. El all no dene una distancia en X porque s olo puede acceder a la mitad de las casillas (dA (a1, a2) =?) pero s la dene en X1 =cuadros blancos o en X2 =cuadros negros. En X2 se tendr a dA (a1, f 8) = 2.

Los anteriores ejemplos parecen indicar que en todas partes hay denidas distancias. Frases como Soy tan alto como mi hermano, Tu ADN (asociaci on nacional de disl exicos?) se parece al de tus padres, El ovni pas o a diez metros de mi barco. . . se pueden expresar en t erminos de distancias en espacios de personas, cromosomas u objetos volantes y otantes. Esto no debiera extra narnos, porque casi todas las cosas perceptibles, por fantasmag oricas que sean, guardan relaciones de cercan a con el resto de los objetos. Una distancia es una manera relativa de situar los objetos, una forma leve de coordenadas.
Aunque el mismo San Dionisio entrara con su cabeza en las manos, tendr a que entrar por la derecha, marchar a entre los estantes dedicados a la literatura francesa y la mesa reservada a las lectoras. Y si no tocara tierra, si otara a veinte cent metros del suelo, su cuello ensangrentado estar a exactamente a la altura del tercer estante de libros. De modo que esos objetos sirven por lo menos para jar los l mites de lo veros mil.

En los sucesivo necesitaremos considerar simult aneamente todos los puntos que est an sucientemente cerca, a menos de una distancia dada, de otro punto dado. Con la distancia usual estos puntos denen un intervalo (en IR), un c rculo (en IR2 ), una esfera (en IR3 ),. . . n: Si (X, d) es un espacio m Definicio etrico, se llama bola abierta centrada en x X y de radio > 0 al conjunto B (x, ) = {y X : d(x, y ) < }. An alogamente, se llama bola cerrada centrada en x X y de radio B (x, ) = {y X : d(x, y ) }. 4 > 0 al conjunto

24A0504 c

U.A.M.

TOPOLOG IA

Observaci on: Curiosamente, las bolas cerradas tendr an en este curso una importancia secundaria con respecto a las abiertas. Ejemplo: En IR se tiene B (0, 1/2) = B (0, 1/2) = {0} B (0, 1/2) = (1/2, 1/2) B (0, 1/2) = [1/2, 1/2] B (0, 1/2) = B (0, 1/2) = IR Con la distancia discreta. Con la distancia usual. Con la distancia usual. Con la distancia d(x, y ) = min(|x y |, 0 2).

Para simular que las Matem aticas sirven para algo, veamos una ilustraci on de estos conceptos aplicable a nales de ajedrez. Si un pe on est a a n casillas de su casilla de coronaci on, Cc y el rey contrario est a en la casilla CR , en ausencia de otras piezas, cu ando puede evitar la coronaci on? Obviamente, con el lenguaje anterior, esto ocurrir a cuando en el espacio (X, dR ) se tenga Cc B (CR , n). Estudiando la forma de las bolas cerradas en el espacio (X, dR ) (lo cual es un ejercicio sencillo) se deduce la siguiente regla, llamada regla del cuadrado, bien conocida por los ajedrecistas para ciertos nales rey-pe on-rey: Un pe on puede coronar sin la ayuda de su rey si y s olo si el rey opuesto no est a incluido en un cuadrado cuya arista est a limitada por el pe on y la casilla de coronaci on. Si el turno es de las blancas s olo el movimiento f 4 e5 evita la coronaci on al ingresar el rey en el cuadrado. Si el turno es de las negras llegan a coronar porque el rey no puede entrar en el cuadrado. Si el rey ayuda al pe on la teor a es mucho m as compleja. Por ejemplo, con turno de las blancas, rey blanco en d4, rey negro en d6 y pe on blanco en c3 es tablas, pero con el pe on en c2 es victoria. es posible exponer elegantemente la teor a de nales rey-pe on-rey usando dR ? Quiz a hasta sea interesante.
C c

8 7 6 5 4 3 2 1

Para terminar esta primera secci on, un peque no digestivo para tragar este curso y los venideros: La variedad de ejemplos sugiere que una gran ventaja de los espacios m etricos as como de otras estructuras (grupos, anillos, m odulos, espacios vectoriales, cuerpos, topolog as,. . . ) que se han visto y ver an en la Licenciatura de Matem aticas, es la generalidad. Cualquier teorema que hagamos se transforma en innitos, uno por cada ejemplo. As la regla del cuadrado corresponde a la regla del c rculo para dos ratones igual de veloces que corren en IR2 hacia el mismo queso, o una consecuencia del Teorema de Lagrange en Teor a mientras que en el cubo de Grupos nos dice que (712 1)/13 Z Z si lo aplicamos en Z Z 13 de Rubik se traduce en que ninguna serie de movimientos aplicada 13 veces vuelve a la 5

24A0504 c

U.A.M.

TOPOLOG IA

posici on inicial. Parad ojicamente, tambi en es la generalidad una desventaja, porque los teoremas deben ser lo sucientemente d e biles para que se cumplan en tableros de ajedrez y en IRn . En esta tensi on din amica entre lo particular y lo general burbujean las estructuras matem aticas que se han multiplicado en los u ltimos 150 a nos, tratando de no quedarse en el fondo conteniendo un solo atomo ejemplo y de no ascender demasiado hasta evaporarse en nada.

24A0504 c

U.A.M.

TOPOLOG IA

Muy, muy cerca: Continuidad y convergencia Una funci on f : IR IR es continua en a si valores muy, muy cercanos a a se transforman en valores muy, muy cercanos a f (a). Dicho de otro modo, por muy exigentes que seamos con lo peque na que deba ser la distancia entre f (x) y f (a) siempre la podemos reducir imponiendo que x est e sucientemente cerca de a. Se recuerda aqu la denici on rigurosa: > 0 : |x a| < |f (x) f (a)| < . En IR medimos habitualmente cerca y lejos con d(x, y ) = |x y |, as cuando cambiamos nuestra forma de medir, parece l ogico generalizar esta denici on de la forma siguiente: n: Sean (X1 , d1 ), (X2 , d2 ) espacios m Definicio etricos. Se dice que f : X1 X2 es continua en a X1 si > 0 : d1 (x, a) < d2 (f (x), f (a)) < . Un poco m as abreviadamente se puede escribir > 0 : f (B (a, )) B (f (a), ).

a
B(a, )

f(a)

B(f(a), )

De la misma forma se puede generalizar el concepto de convergencia, que para sucesiones reales es > 0 N Z Z+ : n > N |xn l| < . n: Se dice que una sucesi etrico (X, d) converge Definicio on {xn } n=1 en un espacio m a l X , si > 0 N Z Z+ : n > N xn B (l, ). mite Notaci on: Se suele escribir xn l, lim xn = l o lim xn = l y se dice que l es el l n de la sucesi on considerada. A los que se hayan ca do de espaldas con el simbolismo fan atico usado en esta secci on, quiz a les ayude a incorporarse la siguiente traducci on de la denici on anterior: Se dice que una sucesi on {xn } etrico (X, d) converge a l X , si dado > 0 n=1 en un espacio m existe un n umero natural, N , tal que d(xn , l) < para todo n > N . Geom etricamente, xn B (l, ) para todo n > N . Evidentemente los conceptos de continuidad y convergencia dependen de la distancia escogida. Ejemplo: Sean d(x, y ) = |x y | y d (x, y ) = min(|x y |, 1 |x y |). Ambas son distancias en X = [0, 1). La funci on inclusi on, f (x) = x es continua considerada como 7

24A0504 c

U.A.M.

TOPOLOG IA

f : (X, d) (IR, d) (esto es obvio porque d es la distancia usual), pero no lo es considerada como f : (X, d ) (IR, d). Concretamente, vamos a ver que f no es continua en a = 0. Para ello basta comprobar (pensarlo unos momentos) > 0 x X tal que d (x, 0) < pero d(x, 0) 0 1. Volverlo a pensar: queremos elegir = 0 1 y ver que para ning un se cumple f (B (0, )) f (B (0, 0 1)). Tomando x (1 , 1) [0 1, 1) se tiene que d (x, 0) < y sin embargo d(x, 0) = |x 0| = |x| 0 1. Por tanto f no es continua. Desde luego que 0 1 no tiene poderes m agicos, 1 [ ) ( ) cualquier otro n umero peque no es B(0, ) v alido. Lo que ha sucedido es que d es una distancia muy rara en [0, 1) para la que los n umeros de la forma 0 00 . . . est an muy pr oximos a los de la forma 0 99 . . . y por ello, para que una funci on sea continua tiene que valer casi lo mismo en ellos. Por ejemplo f (x) = x(1 x) s ser a continua como funci on f : (X, d ) (IR, d). Estos comentarios y lo que sabemos de un primer curso de c alculo nos hacen sospechar nuestro primer resultado de este curso. Proposici on 1.1: Sea f : (X1 , d1 ) (X2 , d2 ) una funci on entre espacios m etricos. La funci on f es continua en x X1 si y s olo si para toda sucesi on xn convergiendo a x se cumple que f (xn ) converge a f (x). Dem.: ) Queremos demostrar que f (xn ) f (x) sabiendo que f es continua y que xn x. Dado cualquier > 0, por la denici on de continuidad sabemos que existe B (x, ) tal que f (B (x, )) B (f (x), ). Como xn converge, para n > N se tiene que xn B (x, ), y por consiguiente f (xn ) B (f (x), ), esto es, f (xn ) f (x). ) Suponiendo que f no es continua en x queremos hallar una sucesi on xn x tal que f (xn ) no converja a f (x). Si f no es continua en x entonces existe > 0 tal que para todo > 0 x1 f (B (x, )) B (f (x), ). Tomemos = x2 1 = 1 y x1 tal que x1 B (x, 1 ) pero 2 f (x1 ) B (f (x), ). Tomemos, en gene3 ral, = n = min(d(x, xn1 ), 1/n) y xn x3 1 B (x, n ) con f (xn ) B (f (x), ). Desde luego que se tiene xn x pero como, f (xn ) no pertenece a la bola B (f (x), ), f (xn ) no converge a f (x). 8

f(x

)= x

24A0504 c

U.A.M.

TOPOLOG IA

Quiz a el lector se pregunte por qu e no hemos escogido simplemente n = 1/n en la demostraci on anterior, si es as , que trate de responderse. Ejemplo: Una de las funciones m as discontinuas que conocemos es la funci on de Dirichlet, f : IR IR si x IR Q Usando la distancia usual se tiene que xn = 2 /n x = 0 sin embargo f (xn ) = 0 f (x) = 1, por tanto f no es continua en x = 0, de hecho no lo es en ning un punto. No obstante, con la distancia d(x, y ) = |x y | 1 + |x y | si x y Q si x y IR Q f (x) = 1 0 si x Q

el contraejemplo anterior no vale ya que xn 0, porque con esta distancia la bola B (0, 0 1) no contiene a ninguno de los xn . Como toda sucesi on xn 0 debe ser racional a partir de cierto t ermino (ejercicio), la proposici on asegura que f es continua en cero. Lo mismo se aplica al resto de los puntos. Pero es la funci on de Dirichlet continua o no? Aunque hemos visto que no hay respuesta posible, si hubi eramos preguntado al profesor de C alculo del curso pasado nos habr a contestado con un rotundo no. Esta paradoja se explica porque habitualmente se supone la hip otesis natural de que se emplea la distancia usual. En otros contextos podemos no considerarla conveniente y refutar o probar la continuidad a nuestro antojo.
Bueno, s , pudo hacer todo esto, pero no est a probado; comienzo a creer que nunca se puede probar nada. Son hip otesis honestas que explican los hechos, pero veo tan bien que proceden de m , que son simplemente una manera de unicar mis conocimientos. [...] Lentos, perezosos, fastidiados, los hechos se acomodan en rigor al orden que yo quiero darles; pero este sigue si endoles exterior. Tengo la impresi on de hacer un trabajo puramente imaginativo.

La continuidad y convergencia son conceptos b asicos en An alisis Matem atico que cuando se extienden a espacios de funciones dan lugar a conceptos tan importantes como la convergencia uniforme. Para ilustrar la situaci on supongamos que cierta sucesi on de funciones, fn , converge a f en el sentido de que
n

lim fn (x) = f (x)

1 n

x [0, 1],
1

si hubiera justicia en el mundo debiera tenerse, para funciones integrables, lim fn =

0 0

f.

Pues bien, esto no es cierto: basta tomar f 0 y como fn la funci on que vale n en (0, 1/n] y cero en el resto. Ni siquiera f tiene por qu e ser continua si las fn lo son, como observ o por primera vez N.H. Abel en 1826 (si alguien ha conseguido sobreponerse a Oliver Twist y a Coraz on que lo intente con la biograf a de este matem atico). Los libros arman que esto 9

24A0504 c

U.A.M.

TOPOLOG IA

ocurre porque la convergencia no es uniforme, y eso es lo mismo que decir que si us aramos la distancia d(f, g ) = sup{|f (x) g (x)| : x [0, 1]} para denir la convergencia todo ir a bien. Para la integraci on en intervalos innitos la situaci on sigue siendo complicada. D onde est a el error en el siguiente razonamiento? El cambio x = t/n con n Z Z+ implica
0 0

sen x dx = x

sen (t/n) dt, t

adem as el valor de la integral es /2 porque lo dice la p agina 109 de Tsipkin & Tsipkin F ormulas Matem aticas Ed. Mir, 1988; entonces = 2
0

sen x dx = lim n+ x

sen (t/n) dt = t

0 n+

lim

sen (t/n) dt = 0. t

Como consuelo frente a la dif cil relaci on entre convergencia e integraci on tenemos que las operaciones habituales: suma, resta, multiplicaci on y divisi on (con divisor no nulo) conservan la continuidad de las funciones de un espacio m etrico en IR (con la distancia usual). La demostraci on es id entica a la vista en un primer curso de C alculo para funciones de IR en IR. Otro concepto relativo a la convergencia de importancia en An alisis es la completitud (incluir an alguna vez esta palabra en el diccionario?). Esencialmente lo que se quiere exigir es que cualquier sucesi on cuyos t erminos se amontonen tengan un l mite. n: Se dice que un espacio m Definicio etrico (X, d) es completo si toda sucesi on de Cauchy en X es convergente, esto es,
m,n

lim d(xn , xm ) = 0 lim xn .

n

Desde el punto de vista topol ogico, la compacidad, que deniremos y estudiaremos en un pr oximo cap tulo, es una propiedad m as fuerte y m as natural, as que aqu no comprobaremos la completitud de ning un espacio y nos limitaremos a establecer un conocido resultado, probado en 1922 por S. Banach, y dar un ejemplo sin profundizar en los detalles. Teorema 1.2: (de la aplicaci on contractiva) Sea (X, d) un espacio m etrico completo y sea f : X X una funci on contractiva (esto es, tal que existe 0 < C < 1 con d(f (x), f (y )) C d(x, y ) para x, y X ), entonces para cualquier x0 X la sucesi on x1 = f (x0 ), x2 = f (x1 ), x3 = f (x2 ), x4 = f (x3 ), ...... converge al u nico punto de X que queda jo por f . Dem.: Si existe un punto jo debe ser u nico, porque si hubiera dos, digamos x e y , d(x, y ) C d(f (x), f (y )) = C d(x, y ) lleva a que coinciden. Si {xn } n=1 converge, entonces x = lim xn debe ser el punto jo porque d(f (x), xn+1 ) C d(x, xn ) implica, tomando l mites, lim xn+1 = f (x) (ejercicio) y por tanto f (x) = x. 10

24A0504 c

U.A.M.

TOPOLOG IA

Como X es completo basta demostrar que {xn } on de Cauchy y la n=1 es una sucesi + convergencia estar a asegurada. Sean n, m Z Z , digamos n m con n = m + k , entonces d(xn , xm ) =d((f .n .). f )(x0 ), (f .n .). f )(xk )) C n d(x0 , xk ) C n (d(x0 , x1 ) + d(x1 , x2 ) + . . . + d(xk1 , xk )) C n d(x0 , x1 )(1 + C + C 2 + C 3 + . . .) Cn d(x0 , x1 ). 1C As pues d(xn , xm ) 0 cuando n, m y la sucesi on es de Cauchy. Ejemplo: Si en una calculadora de bolsillo, en modo Rad , escribimos un n umero real entre 2 y 4 y pulsamos la secuencia + sin = repetidas veces, el resultado se acercar a incre blemente r apido a una constante bien conocida. un resultados Explicaci on: X = [2, 4] con la distancia usual es completo ([a, b] lo es, seg del cuarto cap tulo). La funci on f : X X dada por f (x) = x + sen x es contractiva porque el teorema del valor medio implica |f (x) f (y )| = |f ( )||x y | f (2)|x y | 0 6|x y |. As pues, el teorema anterior asegura que, para x0 X , xn+1 = xn + sen xn converge al u nico x X tal que f (x) = x. El teorema de la aplicaci on contractiva es la base de muchos m etodos iterativos en C alculo Num erico. Adem as se puede emplear en la demostraci on de importantes resultados te oricos como el Teorema de la funci on inversa. Para apreciar la ya citada ventaja de la generalidad, diremos que aplicado en cierto espacio m etrico, cuyos elementos no son puntos n sino subconjuntos de IR , el teorema anterior se puede usar para aproximar conjuntos de naturaleza fractal con un ordenador. Como ejemplo de uno de ellos, si no hay nada en la tele uno puede ocuparse de traducir el siguiente programa en basic arcaico a su lenguaje de programaci on favorito y asombrarse con el resultado. escala=200.0:x=0.0:y=0.0 for j=1 to 6000 i=INT(3.0*RND) if i=1 then x=x+1.0 if i=2 then x=x+0.5:y=y+0.866 x=x/2.0:y=y/2.0 plot escala*x, escala*y next j stop (La funci on RND genera un n umero aleatorio entre 0 y 1 y el comando plot dibuja un punto en la pantalla dadas sus coordenadas). El l mite del resultado se llama Tri angulo de Sierpi nski y es m as misterioso que el de las Bermudas porque, seg un se dice, no es ni unidimensional ni bidimensional sino que tiene dimensi on log 3/ log 2 = 1 58496 . . . (Desig. triang.)

11

24A0504 c

U.A.M.

TOPOLOG IA

Un mundo abierto hacia la continuidad La Topolog a esencialmente estudia transformaciones que son continuas en todos los puntos, esto es, se centra en la continuidad global. Sin embargo la denici on de continuidad en espacios m etricos habla de la continuidad local (en cada punto). Nuestro objetivo en esta secci on ser a eliminar los puntos a y f (a) en la denici on de continuidad, transform andola de la siguiente manera: a X > 0 : f (B (a, )) B (f (a), ) a X > 0 : B (a, ) f 1 (B (f (a), )) a X > 0 f 1 (B (f (a), )) = conjunto que rodea al punto a a X f 1 ( conjunto que rodea a f (a)) = conjunto que rodea al punto a f 1 ( conjunto que rodea todos sus puntos) = conjunto que rodea todos sus puntos. La u ltima denici on no involucra puntos particulares: es global. Pero qu e queremos decir con rodear a un punto? Si se ha seguido el razonamiento anterior, quiere decir que existe una bola (abierta) centrada en ese punto y totalmente contenida en el conjunto. Por ejemplo, en IR2

O rodea al origen

no rodea al origen

Se llaman abiertos a los conjuntos que rodean a todos sus puntos y as la denici on 1 1 global de continuidad es simplemente f (abierto) = abierto. (Obviamente aqu f tiene sentido conjuntista: un punto puede tener varias antiim agenes). Como siempre, necesitamos aferrarnos al rigor matem atico si no queremos caer en el voluble vac o de las opiniones, por lo cual desechamos el t ermino intuitivo rodear y escribimos una denici on rimbombante de conjunto abierto para que no se nos olvide que es lo u nico que necesitamos.
La mayor parte del tiempo, al no unirse a palabras, mis pensamientos quedan en la niebla. Dibujan formas vagas y agradables, se disipan; en seguida las olvido.

n: Sea (X, d) un espacio m Definicio etrico. Se dice que U X es un conjunto abierto si para todo x U existe una bola abierta B (x, ) U . En este caso, tambi en se dice que U es un entorno (o entorno abierto) de cualquiera de los puntos que contiene. ericos mediante U , V , W , con Notaci on: Normalmente se designan los abiertos gen diferentes sub ndices o super ndices. En algunos libros y contextos tambi en se denotan mediante G, que es la inicial de regi on en alem an. Nat urlich, ich spreche nicht Deutsch. 12

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: El conjunto A = {(x, y ) IR2 : x > 0} es un abierto de IR2 con la distancia usual.

Es f acil demostrarlo. Basta decir que si P0 = (x0 , y0 ) A entonces la bola B (P0 , x0 ) est a contenida en A. Un dibujo es suciente. Como la Topolog a es a veces muy poco intuitiva, en general, s olo sustituiremos una prueba rigurosa por un dibujo si estamos seguros de que sabr amos escribirla con detalle. (Mini demostraci on para pesados de que B (P0 , x0 ) A: P = (x, y ) B (P0 , x0 ) 2 2 (x0 x)2 +(y0 y )2 < x2 0 (x0 x) < x0 x0 x < x0 x > 0 P A).

Ejemplo: El conjunto A = {(x, y ) IR2 : 0 x 1, 0 y 1} no es un abierto de IR2 con la distancia usual. Por ejemplo, ninguna bola abierta centrada en el origen, o en cualquier punto de la frontera, est a totalmente contenida en A.

Ejemplo: El conjunto A = {(x, y ) IR2 : 0 < x < 1, 0 < y < 1} es un abierto de IR2 con la distancia usual.

Ejemplo: A = Q no es un abierto de IR con la distancia usual, porque cualquier bola centrada en un valor racional contiene necesariamente tambi en valores irracionales. Cuando trabajamos con la distancia usual, la idea intuitiva de abierto es la de conjunto que no contiene a su frontera, pero con otras distancias nuestra intuici on puede desvanecerse. Dejamos al lector las comprobaciones en los siguientes ejemplos. Ejemplo 1: En (X, d) donde d es la distancia discreta, todo subconjunto de X es abierto. Indicaci on (casi soluci on): Qu e es B (x, 1/2)? Ejemplo 2: En cualquier espacio m etrico, (X, d) las bolas abiertas son conjuntos a mal. abiertos. Indicaci on: No es trivial. Si no se usa la desigualdad triangular est 13

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo 3: En cualquier espacio m etrico, (X, d) el complementario de una bola cerrada es un abierto. Para terminar, enunciemos como teorema nuestro hallazgo de esta secci on. Teorema 1.3: Sea f : (X1 , d1 ) (X2 , d2 ) una funci on entre espacios m etricos, 1 entonces f es continua en todo punto si y s olo si para todo abierto U X2 , f (U ) es tambi en un abierto. Dem.: ) Dado U abierto y x0 f 1 (U ) sea y0 = f (x0 ), por la denici on de continuidad, 1 para B (y0 , ) U existe B (x0 , ) tal que B (x0 , ) f (B (y0 , )) f 1 (U ), por tanto f 1 (U ) es abierto. ) Sea y0 = f (x0 ). Si la antiimagen de todo abierto es un conjunto abierto, en particular f 1 (B (y0 , )) es abierto, y contiene a x0 , por consiguiente existe B (x0 , ) f 1 (B (y0 , )) y por tanto f (B (x0 , )) B (y0 , ). La denici on de continuidad con abiertos tiene ventajas te oricas con respecto a la - . Al ser m as sint etica permite simplicar muchas demostraciones y, sobre todo, permite generalizar el concepto de continuidad incluso m as all a de los espacios m etricos. M as adelante entraremos en el tema, pero por ahora citaremos que la demostraci on de que la composici on de funciones continuas es continua se reduce a (f g )1 (abierto) = g 1 f 1 (abierto) = g 1 (abierto) = abierto. La cual comparada con la demostraci on que aparece en en cualquier libro de C alculo de primer curso sugiere, adem as de revenderlo, la conveniencia de soportar este peque no torbellino de abstracci on para disfrutar despu es de la brisa de la sencillez.
Necesito limpiarme con pensamientos abstractos, transparentes como el agua.

Como ilustraci on de la naturalidad del lenguaje de los abiertos, incluso en el contexto de las funciones reales de toda la vida, mencionaremos un teorema debido a R. Baire: Dado A IR, existe una funci on f : IR IR continua exactamente en A si y s olo si A es una intersecci on numerable de abiertos. Por ejemplo IR Q =
a/q Q

(IR {a/q })

implica que existe una funci on f : IR IR continua en los irracionales y discontinua en los racionales (de hecho podemos verla en el Calculus de M. Spivak, Ed. Revert e 1987). Se puede probar, pero no es f acil a este nivel, que Q no es intersecci on numerable de abiertos, as que por mucho que busquemos no encontraremos una funci on real continua s olo en los racionales.

14

24A0504 c

U.A.M.

TOPOLOG IA

2. Espacios Topol ogicos I

(Denici on y Construcciones)
Por n Topolog a El desarrollo de la teor a ha extendido el concepto de continuidad m as all a de los espacios m etricos creando los espacios topol ogicos. A pesar de que, seg un parece, en el resto de la licenciatura apenas aparecer an espacios topol ogicos que no sean m etricos, no podemos suprimir su denici on a no ser que cambiemos el t tulo de la asignatura. Como ya hemos visto, para hablar de continuidad basta denir cu ales son los abiertos. Pero c omo hacerlo si no sabemos denir los puntos cercanos a uno dado porque no tenemos una distancia con qu e medir? Fij emonos en dos propiedades que satisfacen los abiertos en espacios m etricos: -La uni on (arbitraria) de abiertos es un abierto. -La intersecci on nita de abiertos es un abierto. La primera es trivial y la segunda se reduce a observar que la intersecci on nita de bolas abiertas conc entricas es de nuevo una bola abierta. Pues bien, matem aticos sesudos (por cierto, J.B. Listing, alumno de Gauss, invent o la palabra Topolog a en 1847) llegaron al convencimiento de que esto es lo u nico que deber an satisfacer ciertos conjuntos para ser dignos de llamarse abiertos de forma que la denici on de continuidad sea natural (al menos para ellos). Adem as, como los abiertos especican la continuidad y por tanto la forma, dijeron que formaban una topolog a (= ciencia de la forma). n: Dado un conjunto, X , se dice que T es una topolog Definicio a denida sobre X si T es una colecci on de subconjuntos de X tales que a) , X T b) U T

U T
n

c) U1 , U2 , . . . Un T
i=1

Ui T .

Adem as a los elementos de T se les llama abiertos y se dice que el par (X, T ) es un espacio topol ogico. Notaci on: Como en el caso de espacios m etricos, muchas veces se abrevia (X, T ) por X si T se sobreentiende. Esta denici on es tan rara que merece una disculpa. De nuevo debemos conar en los matem aticos del siglo XX y creer que salvaguarda nuestra intuici on de forma y continuidad. Lo mejor es considerarla como un convenio al que recurrimos cuando queremos comprobar que algo es una topolog a; igual que un fabricante de reglas debe ir a una copia dedigna del metro patr on. Por mucho que compliquemos la denici on de metro (de 1960 a 1986 15

24A0504 c

U.A.M.

TOPOLOG IA

fue 1 65076373 106 longitudes de onda de la radiaci on emitida por el is otopo 86 Kr en su transici on entre los estados 2p10 y 5d5 ) no debemos olvidarnos de que da igual metros que yardas, lo importante es medir. De la misma forma, a traves de los ejemplos en espacios m etricos desarrollaremos cierta intuici on con respecto a la denici on de espacio topol ogico y seguramente si supi eramos much sima Topolog a dir amos que la forma de denici on no es tan importante sino su signicado abstracto. De hecho ha habido varias deniciones a lo largo del tiempo (M. Fr echet 1906, F. Hausdor 1914, C. Kuratowski 1922 . . . ) y la dada aqu (P.S. Alexandro 1925) quiz a no es la m as intuitiva.
Necesito que existas y que no cambies. Eres como ese metro de platino que se conserva en alguna parte, en Par s o en los alrededores. No creo que nadie haya tenido nunca ganas de verlo. En eso te equivocas. En n, poco importa; yo no. Bueno, me gusta saber que existe, que mide exactamente la diezmillon esima parte del cuadrante del meridiano terrestre. Lo pienso cada vez que me miden un piso o que me venden tela por metros. Ah, s ? digo fr amente. Pero podr a muy bien pensar en ti s olo como en una virtud abstracta, una especie de l mite.

Algunas deniciones dan prioridad al concepto de complementario de un abierto. n: Sea (X, T ) un espacio topol Definicio ogico. Se dice que F X es un cerrado, si su complementario es abierto, esto es, X F T . on de topolog a se deduce que la intersecci on arbitraria de Observaci on: De la denici cerrados es un cerrado y que la uni on nita de cerrados es un cerrado. La notaci on F viene de la inicial de cerrado en franc es. Je ne parle Fran cais non plus. Ejemplo-denici on: Se llama topolog a discreta sobre X , Tdis a la formada por todos los subconjuntos de X . Por ejemplo, si X = {, , } Tdis = , {}, { }, { }, {, }, {, }, {, }, {, , } . Es trivial comprobar que la topolog a discreta es realmente una topolog a. Ejemplo-denici on: Se llama topolog a trivial sobre X a Ttr = {, X }. Es decir, s olo hay dos abiertos (que adem as son cerrados). Aunque en ambas sus elementos sean simult aneamente abiertos y cerrados, en cierto sentido estas dos topolog as son complementarias: la primera distingue demasiado los elementos de X y la segunda demasiado poco. Ejemplo: Sea X = {, , , }. Las colecciones de subconjuntos de X T1 = , X, {}, {, }, {, , } y T2 = , X, {}, {, }, {, , }

son topolog as sobre X (comprobarlo) pero T3 = , X, {}, {} no lo es porque {} y {} son abiertos pero su uni on no. Dibujando todos los abiertos con diagramas de Venn:

T1

T2

T3

16

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo-denici on: En cualquier conjunto, X , se dene la topolog a conita como aquella tal que sus abiertos son , X y todos los subconjuntos de X cuyo complementario tenga un n umero nito de elementos. Por ejemplo, si X = IR, (, 1) no es abierto en la topolog a conita porque su complementario, [1, +) no contiene un n umero nito de puntos; sin embargo, (, 1) (1, +) s es abierto. La denici on nos dice que todos los abiertos, aparte de y IR, son de la forma U = IR
N n=1 {xn }.

Observaci on: En realidad no hemos demostrado que la topolog a conita es siempre una topolog a. Es muy f acil demostrarlo comprobando las tres propiedades, pero por si acaso, los siguientes ejemplos para X = IR quiz a ayuden: U1 = U2 = U1 U2 = U1 U2 =

)( )( )( )(

)( )( )(

)(

)( )(

Observaci on: Si X es un conjunto nito, todos sus subconjuntos son abiertos con la topolog a conita, por tanto esta pierde su inter es ya que coincide con la discreta. En una topolog a la intersecci on innita de abiertos o la uni on innita de cerrados no tiene por qu e ser un abierto o un cerrado, respectivamente. Por ejemplo, en la conita, tomando los abiertos Ux = IR {x} se tiene Ux = IR Q Tcof .
xQ

Una manera crear articialmente una topolog a es dividir el conjunto en unos cuantos trozos y hacer todas las intersecciones y uniones necesarias para que se satisfaga la denici on de topolog a. n: Se dice que S es una subbase si es una colecci Definicio on de subconjuntos de X cuya uni on es X , y se llama topolog a generada por la subbase S a aquella cuyos abiertos son y las uniones (arbitrarias) de intersecciones nitas de elementos de S . on de que la topolog a generada por una subbase es realObservaci on: La demostraci mente una topolog a, se reduce a la distributiva para y . Veamos un ejemplo, pero no insistiremos mucho porque el concepto de subbase no es demasiado relevante aunque la crease N. Bourbaki, el u nico matem atico con varios cerebros. Ejemplo: En X = IR si imponemos que U1 = (, 0], U2 = (0, 2], U3 = [1, +), U4 = [2, 3], esto es, si consideramos la subbase S = {U1 , U2 , U3 , U4 } aparecen los abiertos U2 U3 = [1, 2], U2 U4 = {2} (las intersecciones de tres o m as son vac as) y las uniones de todos ellos. T = , IR, (, 0], (0, 2], [1, +), [2, 3], [1, 2], {2}, (, 0] [1, +), [1, 3], (, 0] {2} . 17

24A0504 c

U.A.M.

TOPOLOG IA

Para estudiar continuidad y convergencia uno deber a saber especicar lo que son los abiertos muy, muy peque nos, por ello se introduce el concepto de base, que es como una subbase en la que podemos empeque necer los subconjuntos arbitrariamente. Para hacernos una idea intuitiva, podemos visualizar los elementos de la base como las bolas abiertas en IR2 y las dos propiedades de la denici on nos dir an que las bolas abiertas
B1 B3 B2

lo cubren todo

se pueden empeque necer

Para ser sincero, seg un fuentes autorizadas, son razones de econom a, en el sentido del pr oximo lema, las que motivan la denici on de base, as que el que quiera puede tachar el p arrafo anterior aunque su autor lo crea. La racionalidad cient ca consiste, en gran medida, en inventar justicaciones de todo lo que se dice para sugerir su necesidad.
Por ejemplo, esta es una caja de cart on que contiene mi frasco de tinta. [...] Es un paralelep pedo rect angulo; se recorta sobre..., es est upido, no hay nada que decir. Eso es lo que hay que evitar, no hay que introducir nada extra no donde no lo hay. Pienso que este es el peligro de llevar un diario: se exagera todo, uno est a al acecho, forzando continuamente la verdad.

n: Dado un conjunto X , se dice que B es una base si es una colecci Definicio on de subconjuntos de X que satisface 1) x X B B : x B 2) x B1 B2 , con B1 , B2 B , B3 B : x B3 B1 B2 Si los elementos de las bases son como las bolas abiertas en espacios m etricos, entonces podremos denir los abiertos de igual manera. n: Dada una base B en X la topolog Definicio a generada por B, es aquella tal que U es abierto si y s olo si para todo x U existe B B tal que x B U . Notaci on-denici on: Muchas veces se escribe U (x) o B (x) para indicar que U o B son entornos de x, esto es, como abreviatura de U T tal que x U o B B tal que x B . Con esta notaci on las propiedades que denen base se escriben como 1) x X B (x) B 2)B1 (x), B2 (x) B B3 (x) B : B3 (x) B1 (x) B2 (x).

El siguiente resultado, para el que no se necesita saber que la topolog a generada por una base cumple la denici on de topolog a, justica el nombre de base. De alguna forma una base contiene los ladrillos necesarios para construir cualquier abierto. Lema 2.1: Dada una base, B , cada uno de sus elementos es abierto en la topolog a que genera y, de hecho, todo abierto en dicha topolog a se puede escribir como uni on (quiz a innita) de elementos de B . Observaci on: Evidentemente si T es una topolog a tambi en es una base y la topolog a que genera es ella misma. En contra de lo que ocurre en algebra lineal las bases no son minimales con respecto a su cardinal: podemos a nadir m as elementos y seguir teniendo 18

24A0504 c

U.A.M.

TOPOLOG IA

una base. (Curiosidad para leer y olvidar: Al menor cardinal de todas las posibles bases de un espacio topol ogico se le llama densidad de dicho espacio y, como veremos al nal del tercer cap tulo, algunos matem aticos se ponen muy contentos cuando pueden probar que la densidad es 0 ). Dem.: Tomando U = B , con B B , en la denici on anterior, se tiene autom aticamente que B es abierto. Por otra parte, para cualquier abierto U=
xU

{x}
xU

B (x) U

y se sigue que las inclusiones se pueden reemplazar por igualdades. Aunque la notaci on nos los sugiera como evidente, hay que comprobar que lo generado por una base es una topolog a. Proposici on 2.2: La topolog a generada por una base es realmente una topolog a. Dem.: Comprobaremos ordenadamente las propiedades de la denici on de topolog a. 1) Es trivial. 2) Si U son abiertos en la topolog a generada por la base B, queremos comprobar que U tambi en lo es. Pero esto es claro porque si x U entonces x U0 para alg un 0 , y como U0 es abierto existe B (x) B tal que B (x) U U , con lo cual, U es abierto (revisar paso a paso este trabalenguas). 3) Queremos comprobar que la intersecci on nita de abiertos en la topolog a generada por la base B tambi en es abierto. Basta considerar el caso de dos abiertos U1 , U2 ya que el caso general es id entico (o se sigue por inducci on, si uno quiere ser pedante). Si U1 y U2 son abiertos no disjuntos y x U1 U2 entonces por la denici on de abierto en la topolog a generada por B, existen B1 (x), B2 (x) tales que B1 (x) U1 , B2 (x) U2 . As pues, por la segunda propiedad de base existe B3 (x) B tal que B3 (x) B1 (x) B2 (x) U1 U2 y se sigue que U1 U2 es abierto. Seguramente es imposible entender todo esto sin algunos ejemplos. Ejemplo: La colecci on de todos los intervalos abiertos, B1 = {(a, b) : a, b IR}, es una base en IR. Es obvio que los intervalos abiertos lo cubren todo y que se pueden achicar, pero como excusa para practicar con estos conceptos veamos la demostraci on detallada: 1) x IR x (x 1, x + 1) B1 2) x IR x (a1 , b1 ) (a2 , b2 ) x (max(a1 , a2 ), min(b1 , b2 )) (a1 , b1 ) (a2 , b2 ). De hecho la u ltima inclusi on es una igualdad.

x1

x+1
19

( a1

max max ( a2

min min ) b1

) b2

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: La colecci on B2 = {[a, b) : a, b IR} es una base en IR. La prueba es similar a la anterior. n: A la topolog Definicio a en IR generada por B1 se le llama topolog a usual y a la generada por B2 se le llama topolog a de l mite inferior o topolog a de Sorgenfrey. Ejemplo: El conjunto A = Q no es ni abierto ni cerrado en las topolog as usual y de Sorgenfrey, porque no existe ning un intervalo (a, b) ni [a, b), a < b, totalmente contenido en IR ni en IR Q. Ejemplo: Consideremos los siguientes subconjuntos de IR: A1 ={x > 0} A2 ={x 0} A3 =[0, 1]

A4 =

(
n=1

1 1 , ) n+1 n

( [ [ ] ( )( )( )(

A1 es un abierto en la topolog a usual porque si x A1 entonces, por ejemplo, x (x/2, 2x) B1 . Sin embargo A2 no es abierto porque no existe ning un intervalo (a, b) tal que 0 (a, b) A2 . Lo mismo ocurre con A3 . Tanto A2 como A3 son cerrados en la topolog a usual ya que sus complementarios son abiertos.

( 0

( x/2

) 2x

[ 0

[ ) 0

] 1

A4 tambi en es abierto en la topolog a usual. En lugar de dar una f ormula para 1 1 un intervalo que contenga a cada x, simplemente podemos decir que ( n+1 , n ) B1 y por
1 1 tanto ( n+1 ,n ) es abierto y como la uni on de abiertos es un abierto, A4 tambi en lo es.

Con la topolog a de l mite inferior A1 y A2 son abiertos porque x A1 ( o x A2 ) implica x [x, x + 1) A1 ( o A2 ). Pero A3 no es abierto porque no existe [a, b) tal que 1 [a, b) y [a, b) [0, 1]. De nuevo, A3 es cerrado.

( 0
1 1 ( n+1 ,n )

( x/2

) 2x

[ 0

[ ) 0

] 1

Seg un lo anterior, para ver que A4 es abierto en esta topolog a basta comprobar que es abierto. En general (a, b) es abierto en la topolog a de l mite inferior ya que para cualquier x (a, b) se cumple x [x, b) (a, b). De alguna forma los abiertos en la topolog a usual de IR son aquellos que no contienen a su frontera mientras que los de la topolog a de l mite inferior hacen la vista gorda con las fronteras de la izquierda, Por ello hay m as abiertos en esta u ltima topolog a. Demos un nombre a esta situaci on. 20

24A0504 c

U.A.M.

TOPOLOG IA

n: Dadas dos topolog Definicio as T , T sobre X , se dice que T es m as na que T (o que T es menos na que T ) si T T . Si adem as T = T , se dice que T es estrictamente m as na que T (o que T es estrictamente menos na que T ). Observaci on: Hay una errata en la denici on anterior? El que invent o esta denici on era primo del que llam o cosecante al inverso del seno y secante al del coseno? No, la notaci on es l ogica. Si T T entonces T tiene m as abiertos que T , por consiguiente los abiertos de T ser an m as peque nos y T distinguir a m as. En ese sentido es m as na. Con las bases lo vemos m as claro: elementos de la base m as peque nos topolog a m as na. Proposici on 2.3: Sean B y B bases para las topolog as T y T , respectivamente, sobre X . Entonces T T x X B (x) B B (x) B : B (x) B (x). Dem.: ) Dados x X y B (x) B con x B , queremos hallar B (x) B , B (x) B (x). Como B (x) T , entonces B (x) tambi en es abierto en la topolog a T , y como B es base de T , existe B (x) B tal que B (x) B (x). ) Sea U T , queremos demostrar que U T . Como B es base y U es abierto, para todo x U existe B (x) B tal que B (x) U y nuestra hip otesis asegura que existe B (x) B tal que B (x) B (x) U , por consiguiente U T . Ejemplo: La topolog a de Sorgenfrey en IR es m as na que la usual porque, como dijimos al nal del u ltimo ejemplo, para cualquier x (a, b) B1 podemos tomar [x, b) B2 y se cumple x [x, b) (a, b). De hecho es estrictamente m as na, porque A2 = [0, +) es abierto en la topolog a de Sorgenfrey pero no en la usual (tambi en se puede decir que no existe (a, b) tal que x (a, b) [x, x + 1)). Si se prueba que una topolog a es m as y menos na que otra, obviamente son iguales. Este truco se utiliza muchas veces en combinaci on con la proposici on anterior para demostrar que una base es base de cierta topolog a dada. Ejemplo: Comprobar que B = {(a, b) : b a 1} es una base de la topolog a usual. (Por cierto, la comprobaci on de que B es una base es similar a la de que B1 lo es). Sea Tusu la topolog a usual (generada por B1 ) y sea T la generada por B. Como B B1 y los abiertos son uniones de elementos de la base, se tiene que Tusu es m as na que T . Por otra parte si x B1 B1 podemos encontrar un intervalo abierto, B , de longitud menor o igual que uno tal que x B B1 . Basta tomar, por ejemplo, B = (x 0 5, x + 0 5) B1 . As pues, seg un la proposici on T es m as na que Tusu y se deduce que ambas son iguales. B1 B Tusu T x B B1 Tusu T 21

B1 B x ) ) ( (

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: Demostrar que B = {U : IR U es un subconjunto acotado de Z Z} genera una topolog a sobre IR, digamos T , que es estrictamente menos na que la conita. Comprobemos primero que B es de hecho una base: 1) x IR x IR {n} B para cualquier n Z Z, n = x. 2) x (IR {n1 , . . . , nr }) (IR {m1 , . . . , ms }) x IR {n1 , . . . , nr , m1 , . . . , ms } B . Desde luego que B Tcof as que T Tcof . Por otra parte, IR { 3} Tcof pero no existe B B tal que B IR { 3} as que IR { 3} T y por tanto T = Tcof . N otese que, de hecho, T = B {, IR}.

22

24A0504 c

U.A.M.

TOPOLOG IA

M as ejemplos, por favor En esta secci on veremos varias maneras de crear topolog as relevantes. En primer lugar, veamos como fabricar una topolog a natural en un espacio m etrico y as las dos deniciones de abierto que hemos dado (elemento de una topolog a y ciertos subconjuntos en espacios m etricos) coincidir an. n: Dado un espacio m Definicio etrico (X, d), se llama topolog a inducida por d o topolog a m etrica a la generada por la base formada por todas las bolas abiertas. Observaci on: Comprobar que las bolas abiertas forman realmente una base requiere demostrar que si x B (x1 , 1 ) B (x2 , 2 ) existe B (x3 , 3 ) tal que x B (x3 , 3 ) B (x1 , 1 ) B (x2 , 2 ). En un dibujo es claro, pero demostrarlo rigurosamente es un poco m as dif cil excepto para los que hayan hecho un ejercicio anterior. S olo hay que tomar 2 1 x3 = x
3

= min B (x,

d(x, x1 ),

d(x, x2 ) .

Por qu e? N otese que basta probar

i

x1

x3

x2

d(x, xi )) B (xi , i )

y esto se puede reducir a la desigualdad triangular. De este modo podemos generalizar la topolog a usual en IR de la secci on anterior. n: Se llama topolog Definicio a usual en IRn a la inducida por la distancia usual. Ejemplo: El conjunto A1 = {(1/n, 0) IR2 : n Z Z+ } no es cerrado en la topolog a 2 usual de IR pero A2 = A1 {(0, 0)} s lo es. Si A1 fuera cerrado, IR2 A1 ser a abierto, y esto no es cierto porque (0, 0) IR2 A1 pero cualquier bola abierta, B , conteniendo al origen contiene tambi en innitos puntos de 2 A1 ; esto es B IR A1 . Esta situaci on no se da en A2 porque (0, 0) IR2 A2 . Es claro que alrededor de cualquier otro de los puntos de IR2 A1 cabe una bola abierta. Podr amos escribir una f ormula para el posible radio de esta bola pero nos aburrir amos.

En el ejemplo anterior aparece por primera vez uno de los grandes problemas notacionales de este curso: la notaci on (a, b) signica simult aneamente el intervalo {x IR : 2 a < x < b} y el punto (o vector) de IR con x = a, y = b. A pesar de este l o, los puntos y los intervalos son cosas tan diferentes que es dif cil encontrar ejemplos sensatos que den lugar a confusi on. 23

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: La distancia usual en IR2 , d, y la distancia d denida por d (x1 , y1 ), (x2 , y2 ) = |x1 y1 | + |x2 y2 | inducen la misma topolog a en IR2 : la topolog a usual. Para demostrarlo hay que ver que la topolog a inducida por d es m as y menos na que la generada por d y, seg un la proposici on de la secci on anterior, esto se reduce a ver 2 que, alrededor de cada punto, las bolas abiertas en (IR , d) se pueden meter dentro de las bolas abiertas en (IR2 , d ) y viceversa. Como se tiene

bola abierta en (IR2 , d) =

bola abierta en (IR2 , d ) =

Basta decir que un c rculo se puede meter dentro de un cuadrado girado alrededor de cualquier punto y viceversa.

B
x

B B
x

De nuevo, si uno se pusiera pesad simo podr a hallar una f ormula para calcular un posible B dados x y B , pero es un poco absurdo en vista de la sencillez del dibujo. Ser riguroso no quiere decir ser un pelmazo ni desde nar la geometr a y demostrar ritualmente las cosas evidentes e irrelevantes s olo conduce al aburrimiento, del cual ya tenemos bastante.
Me aburro, eso es todo. De vez en cuando bostezo tan fuerte que las l agrimas me ruedan por las mejillas. Es un aburrimiento profundo, profundo, el coraz on profundo de la existencia, la materia misma de que estoy hecho. No me descuido, por el contrario; esta ma nana me ba n e, me afeit e. S olo que cuando pienso en todos esos peque nos actos cuidadosos, no comprendo c omo pude ejecutarlos; son tan vanos. Sin duda el h abito los ejecuta por m .

Dos distancias d y d , como las del ejemplo anterior, tales que d es peque na cuando d lo es y viceversa, se dice que son equivalentes; m as rigurosamente, lo son cuando para todo , > 0, existen , > 0 tales que d(x, y ) < y d (x, y ) < implican, respectivamente, d (x, y ) < y d(x, y ) < . Distancias equivalentes generan la misma topolog a pero el rec proco no siempre se cumple. Ejemplo: La topolog a generada por la distancia discreta es la topolog a discreta. Para comprobarlo basta notar que con la distancia discreta B (x, 0 5) = {x}, as que cualquier punto es abierto y por tanto, todo es abierto. La distancia obtenida al cambiar 1 por ex + ey en la denici on de la discreta no es equivalente a ella pero genera la misma topolog a. En cualquier espacio m etrico (X, d) tal que X s olo tenga un n umero nito de elementos, tomando menor que la m nima distancia entre ellos se tiene B (x, ) = {x} y, como 24

24A0504 c

U.A.M.

TOPOLOG IA

antes, la topolog a inducida por d es la discreta. En particular, las distancias torre, caballo, dama y rey, introducidas en el primer cap tulo, inducen la topolog a discreta en el tablero de ajedrez. En consecuencia, como en un conjunto nito una topolog a no discreta no es m etrica, no todos los espacios topol ogicos son m etricos (sabr a el lector dar un ejemplo? Es realmente trivial) aunque estos sean los m as com unmente empleados. Ejemplo: Sea X el conjunto de funciones continuas en [0, 1] y tomemos las distancias
1

d1 (f, g ) = sup{|f (x) g (x)| : x [0, 1]}

d2 (f, g ) =
0

|f g |.

Entonces el conjunto U = {f X : f > 0} es un abierto con la topolog a inducida por d1 pero no lo es con la inducida por d2 . El caso de d1 es el m as f acil porque B (f, ) no es nada m as que el conjunto de funciones con gr aca en una banda de radio alrededor de la de f . Si f U y m > 0 es el m nimo de f , entonces B (f, m/2) U ya que |f g | < m/2 g > f m/2 > 0.
m m/2

B (f, )

B (f, m/2)

En (X, d2 ) las bolas abiertas son muy dif ciles de imaginar mediante un dibujo. La idea para probar que U no es abierto, es que hundiendo una parte muy na de la gr aca hasta la parte negativa podemos conseguir que la integral apenas var e. Concretamente, no 2 puede existir B (f, ) U porque tomando g (x) = min 2M (4M x 1), 0 (ver el dibujo) donde M es mayor que y que el m aximo de f , se tiene que f + g U y sin embargo 1 d(f + g, f ) = 0 |g | < (pensarlo hasta que no sea necesario hacer ninguna cuenta).
(2M)2

2M

Gr aca de g (x) = min 2M (4M 2 x 1), 0

Gr aca de f

Gr aca de f + g

Si d dene una distancia en un conjunto tambi en la dene en cualquiera de sus subconjuntos sin m as que restringirla (olvidarse de los puntos entre los que no queremos hallar distancias). Algo parecido podemos hacer en un ambito m as general: si nos quedamos con un trozo de espacio topol ogico sigue siendo un espacio topol ogico. n: Sea (X, T ) un espacio topol Definicio ogico y sea A X . Se llama topolog a del subespacio, topolog a inducida, topolog a relativa o topolog a heredada (de T ) a la topolog a 25

24A0504 c sobre A dada por

U.A.M.

TOPOLOG IA TA = {U A : U T }.

Observaci on: Lo u nico que nos dice la denici on anterior es que los abiertos en A se obtienen intersecando con A los de X (en particular TA hereda las propiedades de topolog a de las de T ). Lo mismo ocurre con los cerrados y las bases, para practicar podemos demostrarlo, aunque es realmente sencillo. Lema 2.4: Con la notaci on anterior 1) B A es cerrado en TA B = C A donde C es cerrado en T 2) C = {C } es una base de T B = {B } es base de TA con B = C A. Observaci on: L ogicamente, cerrado en TA o T quiere decir que el complementario pertenece a dichas topolog as. Es un buen ejercicio hallar una condici on necesaria y suciente sobre A para que todos los cerrados en TA lo sean tambi en en T . Dem.: 1) El conjunto B es cerrado en TA si y s olo si A B TA , es decir, si y s olo si A B = U A para cierto U T , y esto equivale a (pensarlo) B = (X U ) A con lo que basta tomar C = X U . 2) Basta notar que para x A, x C x B y que x C3 C1 C2 x C3 A (C1 A) (C2 A). Ejemplo: Sea A = [0, 2] [3, 5). Los conjuntos U1 = (1, 2] [3, 4), U2 = [0, 1) (1 5, 2) y U3 = [3, 5) son abiertos en la topolog a heredada de la usual en IR porque U1 = (1, 4) A, U2 = (1, 1) (1 5, 2) A, U3 = (2 5, 5) A. Sin embargo F = [4, 5) no es abierto en la topolog a relativa porque, si lo fuera, existir a un elemento de la base (a, b) A tal que 4 (a, b) A F , y esto es imposible. Es f acil ver que F es cerrado porque F = [4, 6] A. Notaci on: Para simplicar (o liar) normalmente tambi en se llama topolog a usual en n n un subconjunto de IR a la heredada de la usual en IR . Ejemplo: La topolog a usual (en el sentido reci en introducido) en el conjunto A = {1/n : n 2} coincide con la discreta. Para comprobarlo basta ver que cada punto de A es abierto, lo cual se reduce a escribir {1/n} = 1/(n + 1), 1/(n 1) A. Pero si tomamos B = A {0}, la topolog a relativa en B ya no es la discreta, porque es imposible escribir {0} = U B con U abierto de la usual en IR, ya que si fuera as , tomando (a, b) con 0 (a, b) U se tendr a {0} = (a, b) B , lo cual no es posible (por qu e?). Ejemplo: La topolog a inducida en A = {1/n : n 2} {0} por la topolog a de l mite inferior es la discreta, ya que {1/n} = 1/(n 1), 1/(n + 1) A, {0} = [0, 1) A. Sin embargo la usual no ser a la discreta por la misma raz on que en el ejemplo anterior. Con la usual en A, U = {1/n : n 100} {0} es abierto porque U = (1/99, 1) A pero C = {1/n : n es par 2} {0} no es abierto porque cualquier intervalo (a, b) conteniendo al cero contiene innitos valores 1/n con n impar. 26

24A0504 c

U.A.M.

TOPOLOG IA

Hemos visto que los intervalos abiertos, (a, b) = {x IR : a < x < b} generan una topolog a (la usual). Una idea para crear nuevas topolog as es cambiar el signicado de <. Recordemos la denici on relevante. n: Se dice que es una relaci Definicio on de orden lineal en un conjunto X si para todo a, b, c X se cumple 1) a a, 2) a b, b a a = b, 3) a b, b c a c y adem as dados a, b X siempre se cumple exactamente una de las relaciones a < b, b > a. b = a. Notaci on: Aqu hemos usado a < b como abreviatura de a b, a = b. Los intervalos se denotan como en IR (a, b) = {x X : a < x < b}, [a, b] = {x X : a x b}, etc. y adem as a veces se fuerza un poco la notaci on escribiendo (a, +) = {x X : x > a}, (, b] = {x X : x b}, etc. on de orden lineal Ejemplo: Si en el conjunto X = {, , , } denimos la relaci , entonces (, ) = {}, [, ) = {, }, [, ] = . n: Sea X un conjunto con una relaci Definicio on de orden lineal. Se llama topolog a del orden a la generada por los intervalos abiertos (a, b) con a, b X y por [m, b) y/o (a, M ] si X tuviera un elemento m nimo, m, y/o un elemento m aximo, M . Observaci on: La demostraci on de que la base de la topolog a del orden es realmente una base es tan sencilla como en el caso de la topolog a usual. El primero en considerar separadamente estos espacios ordenados fue uno de los axiomatizadores de la Topolog a Algebraica, S. Eilenberg, quien seg un un rumor no conrmado clasicaba a los matem aticos en tres grupos: a los que les gusta la m usica, a los que les gusta subir monta nas y a los que les gusta beber vino. a del orden es la Ejemplo: En el ejemplo anterior m = , M = y la topolog discreta, ya que todo elemento de X es abierto, de hecho es un elemento de la base: {} = [, ), {} = (, ), {} = (, ), {} = (, ]. En general, en cualquier conjunto nito la topolog a del orden es la discreta (por qu e?). Parece irrelevante (y lo es) insistir en que en la denici on anterior a, b X , pero la pr actica muestra que al principio hay muchas confusiones al pensar que X est a contenido dentro de un conjunto mayor. Ejemplo (importante): La topolog a del orden en X = (2, 0) [1, 3) no coincide con (la inducida por) la usual. N otese en primer lugar que X no tiene ni m nimo ni m aximo ya que 2, 3 X . La base de la topolog a del orden es B = {(a, b) : a, b X }. Por ejemplo (1, 2) = {1 < x < 2 : x X } = (1, 0) [1, 2). 27

24A0504 c

U.A.M.

TOPOLOG IA

Pero [1, 2) no es un elemento de la base. No se puede decir que es (0, 2) porque 0 X . En denitiva s olo se consideran intervalos que tengan extremos en X . De hecho [1, 2) no es un abierto en la topolog a del orden porque no se pueden encontrar a, b X tales que 1 {a < x < b : x X } [1, 2). Sin embargo [1, 2) = (0, 2) X , de modo que s es abierto en la topolog a inducida por la usual. Un ejemplo interesante de orden viene sugerido por la forma en que buscamos en el diccionario. Primero necesitamos una palabra que desconozcamos (a no ser que tengamos diez a nos y busquemos guarrer as), digamos fund bulo, vamos a la letra f, despu es buscamos fu pero todav a hay muchas palabras con este empiece. Con fundibul. . . s olo encontramos dos: fundibulario y fund bulo, como la a va antes que la o en el alfabeto, aparecer an en el orden aqu escrito.
De pronto me vuelven a la memoria los nombres de los u ltimos autores que ha consultado: Lambert, Langlois, Larbal etrier, Lastev, Lavergne. Es una iluminaci on; he comprendido el m etodo del Autodidacta: se instruye por orden alfab etico. [...] Un d a, hace siete a nos (me ha dicho que estudia desde hace siete a nos), entr o con gran pompa en esta sala. [...] Hoy est a en la L. K despu es de J, L despu es de K. Pas o brutalmente del estudio de los cole opteros al de la teor a de los cuanta, [...]

Este proceso de ordenar palabras comparando letras hasta encontrar una diferente y en ese caso tomar el orden natural del alfabeto se puede hacer con n umeros en lugar n de letras induciendo el llamado orden lexicogr aco en IR . Si x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) se dene recursivamente de la forma siguiente x < y1 1 En IR2 , xy o x1 = y1 , x2 y2 . (x , . . . , xn1 ) < (y1 , . . . , yn1 ) 1 En IRn , xy o xi = yi , i = 1, . . . , n 1, xn yn . Es f acil comprobar que el orden lexicogr aco dene realmente una relaci on de orden lineal. voco de la notaci on (a, b) llega ahora a su culminaci on. N otese Observaci on: Lo equ 2 que con el orden lexicogr aco en IR la notaci on (x1 , y1 ), (x2 , y2 ) signica los puntos que est an entre el punto (x1 , y1 ) y el punto (x2 , y2 ), ambos sin incluir. O sea, que el primer y el u ltimo par entesis indican intervalo y los otros punto, sin embargo pens andolo un poco no puede haber confusi on. Ejemplo: Seg un la denici on, B = { (x1 , y1 ), (x2 , y2 )
2

: x1 , y1 , x2 , y2 IR} es una

base para la topolog a del orden lexicogr aco en IR . Veamos que B = { (x, y1 ), (x, y2 ) : x, y1 , y2 IR} tambi en lo es. 28

24A0504 c

U.A.M.

TOPOLOG IA

Como B B la topolog a generada por B es menos na que la del orden lexicogr aco. Seg un la proposici on para comparar topolog as, para probar la igualdad s olo hay que comprobar que dentro de cada elemento de B cabe uno de B conteniendo a un punto dado; y esto es obvio sin m as que hacer un dibujo.
(
(x ,y2) (x 2,y2)

(x 1,y1) (x ,y1)

Intervalo (x1 , y1 ), (x2 , y2 )

La denici on del orden lexicogr aco no es exclusiva de IRn o de las palabras de una lengua, basta que tengamos que tengamos cierta cantidad de componentes (letras) y alguna forma de compararlas. Ejemplo: Sea X = [0, 1] [0, 1]. La topolog a del orden lexicogr aco en X no coincide 2 con la topolog a inducida en X por la del orden lexicogr aco en IR . (Antes de seguir conviene leerlo de nuevo hasta conseguir no bizquear). Yendo a las deniciones tenemos que la primera topolog a de la que nos hablan es la generada por Blex = { (x1 , y1 ), (x2 , y2 ) : (x1 , y1 ) X, (x2 , y2 ) X } y la segunda es la generada por Bind = { (x1 , y1 ), (x2 , y2 ) X : (x1 , y1 ) IR2 , (x2 , y2 ) IR2 }. Basta encontrar un punto P X y un elemento de Bind que lo contenga de manera que no quepa dentro ning un elemento de Blex conteniendo a P (se entiende?). Tomemos por ejemplo P = (1/2, 1) y B = (1/2, 1/2), (1/2, 2) X . Se tiene que B Bind , B = (1/2, 1/2), P y sin embargo cualquier B = (x1 , y1 ), (x2 , y2 ) Blex conteniendo a P debe tener x2 > 1/2, as que no est a contenido en B .
P [ P

B = (1/2, 1/2), (1/2, 2) X

P (x1 , y1 ), (x2 , y2 )

Dada una topolog a sobre X y otra sobre Y hay una forma can onica de crear una topolog a sobre el producto cartesiano X Y . n: Sean BX y BY bases de topolog Definicio as sobre X e Y , respectivamente. Se llama topolog a producto a la topolog a sobre X Y generada por BX BY = {BX BY : BX BX , BY BY }. 29

Intervalo (x, y1 ), (x, y2 )

24A0504 c

U.A.M.

TOPOLOG IA

N otese que si nos dieran topolog as en X e Y pero no nos dijeran cu ales son sus bases, podr amos tomar todos los abiertos, porque el conjunto de todos los abiertos de cada una de ellas cumple obviamente las propiedades de base. Una duda natural es que si escogi eramos bases diferentes, en principio, podr amos obtener deniciones diferentes de la topolog a producto. Veamos que no es as . Lema 2.5: Si BX y BX son bases de una misma topolog a en X y BY y BY son bases de una misma topolog a en Y , entonces BX BY genera la misma topolog a en X Y que BX BY . Dem.: Dado x X , como cualquier BX BX debe ser abierto en la topolog a generada por BX (porque BX y BX generan la misma topolog a) existe BX BX tal que x BX BX . De la misma forma dados y BY BY existe BY BY tal que y BY BY . Por tanto, para cada (x, y ) X Y y cada BX (x) BY (y ) BX BY BX (x) BY (y ) BX BY : (x, y ) BX (x) BY (y ) BX (x) BY (y ). As pues, la topolog a generada por BX BY es m as na que la generada por BX BY . Intercambiando tildes por no tildes en el argumento anterior, se tiene la inclusi on contraria. Observaci on: Igual que se dene la topolog a producto en X Y , se puede denir en X1 X2 . . . Xn . El caso de productos innitos es importante en ciertos contextos, pero requiere una denici on especial muy diferente de la que todos pensar amos, de otro modo no comparte algunas buenas propiedades del caso nito, concretamente la continuidad de las proyecciones denidas a continuaci on. Como curiosidad, diremos que si (X, d) es un espacio m etrico, entonces el producto innito (numerable) X X X . . . puede considerarse como el espacio de todas las sucesiones en X y la topolog a producto coincide con la inducida por la distancia
D {xn } n=1 , {yn }n=1 =

1 d(xn , yn ) . n 1 + d(x , y ) 2 n n n=1

n: A la funci Definicio on j : X1 X2 . . . Xn Xj (x1 , x2 , . . . . . . , xn ) xj con 1 j n, se le llama proyecci on sobre la j - esima coordenada. on anterior tenga sentido hay que suponer que los Xj Observaci on: Para que la denici son no vac os y as lo haremos impl citamente en los resultados que involucren j . Ejemplo: Considerando IR con la topolog a usual, la topolog a producto en IRn = IR IR . . . IR coincide con la usual en IRn (en s mbolos usual . . . usual = usual). Para demostrarlo hay que comparar la base usual de IRn , que est a formada por las bolas abiertas, con la base de la topolog a producto que est a formada por productos de 30

24A0504 c

U.A.M.

TOPOLOG IA

intervalos (= rect angulos n-dimensionales). De nuevo es sencillo ver que en IRn , alrededor de cada punto, se pueden meter rect angulos dentro de bolas y viceversa. El caso n = 2 responde al siguiente dibujo

Ejemplo: La topolog a del orden lexicogr aco en X = [0, 1] [0, 1] no coincide con la producto de la discreta en [0, 1] por (la inducida por) la usual en [0, 1]. El conjunto {1/2} es un abierto de la discreta en [0, 1] y (1/2, 1] lo es en la usual en [0, 1]; as que U = {1/2} (1/2, 1] es abierto en la producto, pero como ya vimos en un ejemplo anterior, U no es abierto en la topolog a del orden lexicogr aco porque no cabe ning un abierto de la base dentro de el conteniendo al punto P = (1/2, 1). Ejemplo: La topolog a del orden lexicogr aco en IR2 coincide con la producto de la discreta en IR por la usual en IR. Sab amos que una base de la topolog a del orden lexicogr aco en IR2 es
y2

Blex =

(x, y1 ), (x, y2 ) : x, y1 , y2 IR .

y1

Por otra parte, las bases de la discreta y de la usual en IR son Bdis = {x} : x IR y Busu = (a, b) : a, b IR , con lo cual una base de la producto es

Blex = {x} (a, b) : x, a, b IR .

Por tanto ambas coinciden. Aqu la confusi on de la notaci on se vuelve un galimat as y es mejor jarse en los dibujos. La u ltima manera que veremos de construir topolog as es la m as complicada te oricamente, porque involucra el conjunto cociente. Afortunadamente (?) no se insistir a mucho en ella este curso. Recu erdese que si en un conjunto X tenemos una relaci on de equivalencia, , se llama conjunto cociente, X/ , al conjuto de clases de equivalencia. n: Sea X un espacio topol Definicio ogico, una relaci on de equivalencia denida en X y p : X X/ la funci on que asigna a cada elemento de X la clase de equivalencia a la que pertenece. Se llama topolog a cociente sobre X/ a la topolog a en la que un 1 conjunto U X/ es abierto si y s olo si p (U ) es abierto en X . 31

24A0504 c

U.A.M.

TOPOLOG IA

Intuitivamente, el conjunto cociente es aquel que agrupa elementos similares. As que lo que hace p es pegar esos puntos (a veces se la llama proyecci on), y la topolog a cociente nos dice que algo ser a abierto si al despegarlo lo es en el espacio topol ogico inicial. Esto es incomprensible pero ayudar a a desentra nar los razonamientos del siguiente ejemplo. Otra manera de entender la topolog a cociente es como la m as na sobre X/ tal que p es continua. (Ejercicio para despu es de leer el ejemplo y dormir un poco: Demostrar que esta propiedad caracteriza a la topolog a cociente). Ejemplo: Se considera IR con la topolog a usual y la relaci on de equivalencia en IR dada por x y x y Z Z. Las clases de equivalencia son {x} + Z Z (con el signicado obvio). En cada clase de equivalencia habr a exactamente un n umero 0 x < 1, escogi endolo como representante se tiene que IR/ se puede identicar con [0, 1). Es decir p : X [0, 1) donde Frac(x) signica la parte fraccionaria. De acuerdo con la denici on, si U (0, 1), U es abierto en la topolog a cociente p (U ) = U + Z Z es abierto en la usual U es abierto en la usual (por qu e? Ver el dibujo).
1
1 p (U )

con p(x) = Frac(x)

( ) 2 1

( ) 0

( ) 1

( ) 2

( ) U

Por tanto la u nica diferencia con respecto a la topolog a usual, si la hubiera, tiene que estar en los abiertos que contienen a x = 0. Considerando U = [0, b) (a, 1), 0 < b < a < 1 se tiene que es abierto en la topolog a cociente ya que p1 (U ) = (a 1, b) + Z Z es abierto en la usual.
1 p (U )

( )[ ) 2

( )[ ) 1

( )[ ) 0

( )[ ) 1

( )[ ) 2

[ ) U

( )

Es decir, que los abiertos pueden salir por cero y continuar por detras del uno. Sin embargo [0, b) no es abierto en la topolog a cociente. A todos los efectos es como si el cero y el uno estuvieran pegados. IR/ = con la top. cociente= = S 1 = {x 2 + y 2 = 1 } con la top. usual

En denitiva, pega todos los puntos de IR que se diferencian en enteros, y da lugar a una circunferencia. Para qu e sirven estas cosas tan raras? Es siempre peligroso hacerse esta pregunta en Matem aticas y no se puede forzar a nadie a contestar a no ser que tenga que pedir una beca de investigaci on; por tanto nos contentaremos con unos cuantos dibujos y alguna idea geom etrica. 32

)[

24A0504 c

U.A.M.

TOPOLOG IA

Para mayor comodidad, en un dibujo bidimensional se indica una relaci on de equivalencia que relaciona dos segmentos poniendo echas o dobles echas. Por ejemplo

La famosa banda

indica que en el rect angulo anterior cada punto del borde derecho est a relacionado con el sim etrico del lado izquierdo, (x, y ) (x, y ) si (x, y ) borde derecho. Como en el ejemplo anterior, con la topolog a cociente los abiertos que salen por la derecha apareceran dados la vuelta por la izquierda. Es como si peg asemos el rect angulo por la echas para obtener una banda retorcida, llamada banda de M obius, introducida por A.F. M obius en 1850 e independientemente por J.B. Listing en su Panorama de los complejos espaciales (buen t tulo para una secuela de An overview to kill y Moonraker).

Entre las propiedades m as conocidas de la banda de M obius est an que es unil atera (tiene una sola cara) y que al cortarla por su ecuador no se separa en dos. En general tenemos una manera bidimensional de ver objetos que viven en IR3 , lo cual es u til para estudiarlos.

Un teorema muy importante dice que todas las supercies cerradas se obtienen con relaciones de equivalencia en los lados de un pol gono. Aunque parezca mentira existen supercies cerradas que no podemos dibujar directamente en IR3 y s olo las vemos bien con 33

24A0504 c

U.A.M.

TOPOLOG IA

estos dibujos. Los ejemplos m as simples son

Botella de Klein =

Plano proyectivo =

La segunda supercie es bien conocida, aunque no tanto con esta representaci on. La primera la introdujo F. Klein en 1882 y es una botella muy rara porque es unil atera y, por tanto, todo lo que est a dentro de ella tambi en est a fuera. Como Brasil es un pa s muy grande y lo de Klein suena a poco, all la llaman garrafa de Klein. Realmente es notable que la complicaci on geom etrica de estas supercies admita una representaci on plana, nita y sencilla, mientras que elude acomodarse al espacioso, innito y confortable mundo tridimensional.
Qu e natural parece la ciudad a pesar de todas sus geometr as, qu e aplastada por la noche! Es tan... evidente, desde aqu : es posible que yo sea el u nico que lo ve? No hay en ninguna parte otra Casandra, en la cima de una colina, mirando a sus pies una ciudad sumergida en el fondo de la naturaleza?

Quien se atreva a dudar que estos objetos no se pueden construir (sin autointersecciones) en IR3 , que coja un trapo cuadrado e intente coser los lados correspondientes identicando las direcciones de las echas. Y el que no tenga ganas que vaya a la biblioteca y mire la portada y la contraportada del libro de M. Spivak, A Comprehensive Introduction to Dierential Geometry Vol. II Publish or Perish 1970.

34

24A0504 c

U.A.M.

TOPOLOG IA

3. Espacios Topol ogicos II

(Conjuntos asociados, continuidad y propiedades)
La frontera cierra el interior Dado un subconjunto A de un espacio topol ogico X , hay conjuntos naturales asociados a A que est an recogidos en las deniciones siguientes. n: Se llama interior de A, y se denota con Int(A), a la uni Definicio on de todos los abiertos contenidos en A. n: Se llama cierre o clausura o adherencia de A, y se denota con A, a la Definicio intersecci on de todos los cerrados que contienen a A. n: Se llama frontera de A, y se denota con Fr(A), al conjunto de puntos Definicio que pertenecen simult aneamente al cierre de A y de su complementario. Esto es, Fr(A) = A (X A). n: Se llama conjunto de puntos l Definicio mite o de acumulaci on (o tambi en conjunto derivado) de A, y se denota con A , al conjunto de puntos tales que cualquier entorno suyo interseca a A en alg un punto distinto de el mismo. Esto es A = {x X : U abierto, x U (U {x}) A = }. A veces se dene tambi en el exterior de A como X A, pero no nos referiremos a el en este curso. Seguramente es dif cil imaginar, incluso para alguien que ha llegado hasta este cap tulo, todos los cerrados que contienen a A o todos los abiertos contenidos en A; por ello veremos primero una caracterizaci on m as pr actica del interior y el cierre. Proposici on 3.1: Sea B una base de un espacio topol ogico X y sea A X . Entonces 1) x Int(A) B B : x B A 2) x A B B , con x B, B A = . Dem.: 1) Si x Int(A), como Int(A) es abierto, existe B (x) B tal que B (x) Int(A) A. Rec procamente, si B (x) A con B (x) B entonces, como B (x) es abierto, B (x) Int(A). 2) Vamos a probar x A B (x) B : B A = . Si x A, existe un cerrado F A tal que x F , por consiguiente x pertenece al abierto X F y debe existir B (x) en la base con B (x) X F X A de donde se deduce B (x) A = . Rec procamente, si B (x) B con B (x) A = , tomando F = X B (x) se tienen F A y x F , por tanto x A. Ejemplo: Calculemos Int(A), A, Fr(A) y A donde A = (1, 2] IR con la topolog a usual en IR. Si x (1, 2), como x (1, 2) A, se tiene x Int(A). Por otra parte, no existen a, b tales que 2 (a, b) A, as pues 2 Int(A) y se tiene Int(A) = (1, 2). 35

24A0504 c

U.A.M.

TOPOLOG IA

Si x > 2 entonces (2, x) A = y x A. Lo mismo ocurre para x < 1. Adem as si x [1, 2] cualquier intervalo (a, b) conteniendo a x corta a A en innitos puntos, as que A = A = [1, 2]. Un argumento similar prueba que X A = (, 1] [2, +), en consecuencia Fr(A) = {1} {2}. Ejemplo: Con la topolog a usual en IR se tiene que Int(Q) = porque no existe a < b con (a, b) Q ya que cualquier intervalo contiene innitos puntos racionales e irracionales, a su vez esto implica Q = Q = IR. Finalmente, como IR Q = IR se deduce Fr(Q) = IR. La idea de interior y cierre es f acilmente comprensible: el interior es el abierto m as grande dentro del conjunto y el el cierre es el cerrado m as peque no que contiene al conjunto. Obviamente, A = Int(A) A es abierto y A = A A es cerrado. (Ejercicio: reemplazar obviamente por una demostraci on). Tambi en la denici on de frontera es intuitiva, es algo as como los puntos adyacentes al conjunto y a su complementario. Pero seguramente los ejemplos anteriores no dan una idea clara de lo que son los puntos l mite. Al menos en el caso m etrico, es como el conjunto de posibles l mites (de ah el nombre) de sucesiones no constantes contenidas en el conjunto. A este respecto merece la pena recordar la denici on dada por G. Cantor all a por 1883 para IR con la usual: Por punto l mite de un conjunto A quiero decir un punto de la recta tal que en cualquier entorno suyo se encuentran innitos puntos de A, entendiendo que puede ocurrir que el punto (l mite) mismo tambi en pertenezca al conjunto. Ejemplo: Si A = [1, 2] {3} IR (con la topolog a usual) entonces 3 A porque (2 5, 3 5) {3} A = . De hecho es f acil comprobar como antes (ejercicio) que A = [1, 2] mientras que A = A porque A es cerrado. A los elementos de A A se les llama puntos aislados. Como en el resto de conjuntos asociados antes introducidos, el nombre no siempre corresponde a nuestra intuici on geom etrica habitual. Por ejemplo, en IR con la topolog a discreta, 1 es un punto aislado de A = [0, 2], pero no lo es de A = {0, 1, 2} si usamos la topolog a trivial. Es f acil probar en general que x A A U (x) : U (x) A = {x}. Por tanto, cuando usemos topolog as distintas de la usual, m as que imaginar los elementos de A A como aislados con nuestra intuici on eucl dea, debemos pensarlos como no relacionados con otros puntos de A mediante entornos de la topolog a.
[...] No sab a qu e hacer, languidec a. Donde ve a hombres reunidos, all me met a. Hasta he llegado agrega sonriendo a seguir el cortejo f unebre de un desconocido. Un d a, desesperado, arroj e al fuego la colecci on de sellos. . . Pero encontr e mi camino.[...] Se yergue, ina los carrillos. Ya no estoy solo, se nor. Nunca. Ah, conoce usted a mucha gente? digo. Sonr e y en seguida me doy cuenta de mi ingenuidad. Quiero decir que ya no me siento solo. Pero naturalmente, se nor, no es necesario que est e con alguien.

Ejemplo: Sea A = {1/n : n Z Z+ } IR con la topolog a usual. Entonces Int(A) = ltimas igualdades (A no contiene ning un intervalo), A = A {0} y A = {0}. Las dos u 36

24A0504 c

U.A.M.

TOPOLOG IA

responden a la misma idea: los u nicos puntos, x, tales que (x , x + ) A = , son x = 0 y x = 1/n por peque no que sea . Para x = 0 la intersecci on cuenta con m as de un punto (de hecho innitos) y para x = 1/n no, por ello A = {0} y todos los puntos de A son puntos aislados.

( infinitos

( uno

( ninguno

Si la topolog a que usamos es muy extra na, es muy probable que Int(A), A, Fr(A) y A sean conjuntos dif ciles de intuir. Ejemplo: Considerando IR con la topolog a conita, vamos a hallar Int(A), A, A y Fr(A) para A = [0, 1]. Sab amos que todos los abiertos (excepto el vac o y el total) son de la forma U = IR n=1 {xn }, por tanto nunca se cumple U A y siempre se cumple que U A contiene innitos puntos, y lo mismo sucede con (IR A) U , as pues Int(A) = , A = A = Fr(A) = IR.
N

a del orden lexicogr aco, Ejemplo: Si consideramos X = [0, 1] [0, 1] con la topolog entonces la clausura de la l nea horizontal A = {(x, y ) X : 0 x 1, y = 0} es A = A {(x, y ) X : 0 x < 1, y = 1}. Ve amoslo con detalle: Si un punto no est a en el borde superior ni en el borde inferior, no pertenece a A ya que existe alg un elemento B de la base de la topolog a del orden lexicogr aco (un intervalo vertical) conteniendo al punto y con A B = . Tambi en es claro que (1, 1) A, para verlo basta tomar B = (1, 0 5), (1, 1)] que es de la base. Finalmente, los otros puntos del borde superior est an siempre contenidos en elementos de la base que necesariamente cortan a A y por tanto pertenecen a A.

A )
Como es f acil sospechar, los conjuntos Int(A), A, A y Fr(A) no son del todo independientes. Dos de las relaciones m as sencillas se incluyen en el siguiente resultado. La segunda da t tulo a esta secci on. Proposici on 3.2: Sea X un espacio topol ogico y A uno de sus subconjuntos, entonces 1) A = A A , 2) A = Int(A) Fr(A). 37

) )

( A ) ) (

24A0504 c

U.A.M.

TOPOLOG IA

Dem.: 1) La inclusi on A A A es obvia. Por otro lado, si x A, para todo abierto U con x U se tiene U A = y si x A entonces (U {x}) A = y x A . 2) El segundo miembro se puede escribir como Int(A) (X A) A, con lo que basta probar Int(A) = X (X A). Como (X A) es cerrado, x X (X A) si y s olo si existe U (x) X (X A) = A, esto es, si y s olo si x Int(A). Ejemplo: Comprobar la segunda propiedad para el conjunto 1 1 1 : nZ Z+ [0, 1) 2 + : nZ Z+ n n incluido en IR con la topolog a de l mite inferior. A= S olo repasaremos los puntos conictivos mientras que los detalles se dejan como ejercicio por ser an alogos a ejemplos anteriores. Tomando el abierto de la base B = [1, 1 5) se tiene A B = as que 1 A. De la misma forma 1 A. Sin embargo 2 A porque [2, 2 + ) A = . En denitiva, se obtiene A = A {2}. Como [0, 1) es abierto y en las otras partes del conjunto no cabe otese que cada ning un abierto, Int(A) = [0, 1). Finalmente, se tiene IR A = IR [0, 1) (n punto de las sucesiones est a rodeado por innitos puntos que no pertenecen a ellas) y en consecuencia Fr(A) = A [0, 1) {2}, y la relaci on se cumple. Hay muchas propiedades que se cumplen en ejemplos sencillos de IRn pero que son falsas en general. Por ejemplo, Int(A) Int(B ) = Int(A B ) o Int Fr(A) = parecen evidentes con unos cuantos dibujos en IR2 , pero no son ciertas. Como regla (por supuesto falsa), la dicultad en demostrar una cosa suele ser directamente proporcional a la cercan a del contraejemplo. Por ello, si nos cuesta mucho probar alguna de estas posibles identidades, antes y despu es de creernos ignorantes, tendr amos que buscar un contraejemplo que invalide el paso que no sabemos dar. Pues bien, an mese el lector a encontrar sendos contraejemplos que prueben la falsedad de las igualdades del comienzo del p arrafo. Recogemos aqu una de esas pocas propiedades que son universalmente ciertas. Lema 3.3: Sea X un espacio topol ogico. Para cualquier par de subconjuntos A1 , A2 , se cumple A1 A2 = A1 A2 . Dem.: Como A1 A2 A1 , A2 se cumple A1 A2 A1 , A2 y por tanto A1 A2 A1 A2 . S olo resta demostrar que x A1 A2 x A1 A2 . Si x A1 y x A2 , entonces U1 = X A1 y U2 = X A2 son dos abiertos conteniendo a x tales que U1 A1 = U2 A2 = , por tanto x V = U1 U2 y V (A1 A2 ) = . As pues x A1 A2 . Es dif cil reproducir el proceso dial ectico a seguir, antes descrito, frente a una propiedad que no sabemos si es cierta o no. Quiz a ayude el siguiente ejemplo. 38

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: Estudiar si la propiedad

An =
n=1 n=1

An

es o no cierta en general. Primero tanteamos con algunos ejemplos; si tenemos suerte y hallamos un contraejemplo habremos terminado. Digamos que hemos probado en IR con An = {n}, An = (n, n +1) o An = (1/n, 1/n) para los que la propiedad funciona y no se nos ocurren m as ejemplos. Todo sugiere, por ahora, que es cierta y debemos buscar una demostraci on. Lo primero que a uno se le ocurre es copiar la anterior, con lo cual obtenemos inmediatamente de la primera parte

An
n=1 n=1

An .

Pero la segunda parte no es v alida porque V ser a la intersecci on de innitos abiertos y, por tanto, no necesariamente abierto. Por consiguiente, tras la u ltima observaci on, tratamos de fabricar un contraejemplo en que V no sea abierto. En IR con la usual, si x An pero los An est an cada vez m as cerca de x = 0 entonces no existir a ning un V (x) abierto con V (x) An = . Tomemos, por ejemplo, An = {1/n} y habremos conseguido el contraejemplo. Naturalmente si tuvi eramos que escribir esto en un libro dar amos el contraejemplo y suprimir amos el proceso mental que nos ha llevado a considerarlo, en la l nea de la armaci on de C. F. Gauss de que un arquitecto no deja los andamios al terminar el edicio, redarguyendo as al matem atico que lo acusaba de borrar sus huellas como un zorro con su cola. Aqu hemos tenido la gu a de la demostraci on del lema pero ante una propiedad totalmente desconocida se pueden recorrer los vericuetos m as dispares y disparatados. Se deja como ejercicio encontrar el error en las siguientes pruebas falsas de la propiedad falsa del ejemplo anterior. a) Por inducci on completa(mente mal): Deniendo Izq(N ) = An ,
1nN

Der(N ) =
1nN

An ,

la igualdad Izq(N ) = Der(N ) se cumple para N = 2 (por el lema) y si se cumple para N tambi en se cumple para N + 1 porque el lema implica Izq(N + 1) = Izq(N ) AN +1 = Der(N ) AN +1 = Der(N + 1). Por inducci on se deduce Izq() = Der(). b) Por deducci on a lo absurdo: Sabemos que An An . Supongamos que existiera x An tal que x An . Por denici on de cierre, para todo U (x) se tiene que cumplir 39

24A0504 c

U.A.M.

TOPOLOG IA

U (x) An = , por consiguiente debe existir alg un An0 tal que U (x) An0 = y en consecuencia x An0 An , lo cual contradice nuestra hip otesis. Recu erdese que tanto a) como b) son demostraciones falsas . Para terminar esta secci on, veremos que en espacios m etricos A y A est an relacionados con los posibles l mites de sucesiones {xn }n=1 A. Proposici on 3.4: Sea X un espacio m etrico y A uno de sus subconjuntos, entonces x A si y s olo si existe una sucesi on de elementos de A, {xn } n=1 A, convergiendo a x. Adem as, se puede reemplazar A por A si se impone que xn = x. Dem.: ) Si x A entonces B (x, 1/n) A = para todo n Z Z+ . Tomando xn B (x, 1/n) A se tiene xn x. ) Si xn x entonces por la denici on de convergencia, cualquier bola B (x, ) contiene innitos t erminos de la sucesi on, y como {xn } n=1 A, se tiene B (x, ) A = , lo que implica x A. La demostraci on de la segunda parte es similar reemplazando B (x, ) por B (x, ) {x} (ejercicio).

40

24A0504 c

U.A.M.

TOPOLOG IA

Aplastar, encoger, estirar Hace muchas, muchas p aginas hab amos demostrado que la continuidad en espacios m etricos se pod a caracterizar diciendo que la imagen inversa de un abierto es un abierto y de este modo nos pod amos liberar de la tiran a - . En espacios topol ogicos generales, como no tenemos una distancia, no podemos ni siquiera enunciar la denici on - , as que s olo nos queda una posibilidad. n: Sean (X, TX ) e (Y, TY ) espacios topol Definicio ogicos. Dada f : X Y se dice 1 que es continua si para cada U TY se tiene que f (U ) TX . Esto es, si la imagen inversa de un abierto es siempre un abierto. Observaci on: Una vez m as se recuerda que f 1 indica la imagen inversa conjuntista, f 1 (A) = {x X : f (x) A}. No se requiere que la funci on sea inyectiva ni sobreyectiva. Ya hemos visto que como las bases generan los abiertos, todo lo que funciona bien con ellas funciona bien siempre. La continuidad no es una excepci on. Proposici on 3.5: Sean (X, TX ), (Y, TY ) espacios topol ogicos y B una base que genera TY , entonces f : X Y es continua si y s olo si B B f 1 (B ) TX . Dem.: Cada abierto U TY se puede escribir como uni on de elementos de B y U=

f 1 (U ) =

f 1 (B ).

Por consiguiente, si los f 1 (B ) son abiertos, f 1 (U ) tambi en lo es. Observaci on: Como la imagen inversa tambi en funciona correctamente con respecto a las intersecciones, el resultado anterior sigue cumpli endose exigiendo que B sea subbase en lugar de base. Ejemplo: Vamos a demostrar la continuidad de f (x) = x2 sin usar luego que suponemos f : IR IR y la topolog a usual. ni . Desde

Seg un la proposici on basta demostrar que f 1 (a, b) = {x IR : a < f (x) < b}, con a < b, es abierto. Hay tres casos: 0<a<b a<b<0 a<0<b

b a b b a
f 1 (a, b) =

a
f 1 (a, b) = ( b, a) ( a, b) En cualquier caso f 1 (a, b) es abierto. f 1 (a, b) = ( b, b)

N otese que f 1 (abierto) = abierto f (abierto) = abierto porque, f f 1 (A) = A, en general. 41

24A0504 c

U.A.M.

TOPOLOG IA

n: Se dice que una funci Definicio on f : X Y es abierta si para todo abierto U X , f (U ) es abierto en Y . An alogamente, se dice que es cerrada si para todo cerrrado F X , f (F ) es cerrado en Y . Ejemplo: La funci on f : IR IR, f (x) = 1 x2 , no es abierta (con la topolog a usual) porque f (1, 1) = (0, 1]. Por otra parte, se puede comprobar que f es cerrada, pero no lo haremos aqu . Ejemplo: La funci on f : IR IR, f (x) = ex , no es cerrada porque IR es cerrado (ya que es abierto) pero f (IR) = (0, +) no es cerrado. Adem as f es abierta, porque a b todo abierto es uni on de intervalos abiertos y f (a, b) = (e , e ). Si las topolog as o los conjuntos se complican, nuestra intuici on acerca de la continuidad se pierde. Ejemplo 1: Sea X = {1/n : n Z Z+ }, entonces con la topolog a usual, f : X IR n denida como f (1/n) = (1) n, es continua. Basta recordar que la topolog a (inducida 1 por la) usual en X es la discreta, as que sea cual sea f (U ) ser a abierto, porque cualquier subconjunto de X lo es. Ejemplo 2: Si Y = [0, 1] [0, 1] con la topolog a del orden lexicogr aco y X = [0, 1] 2 con la topolog a usual, f : X Y , denida por f (t) = (t, t ), no es continua. Tomando por ejemplo, la vertical U = (0 5, 0), (0 5, 1) se tiene f 1 (U ) = {0 5} que no es abierto.
(

[ 0

] 1 )

Ejemplo 3: La funci on f (x) = x no es continua cuando la consideramos como f : X Y donde X = (1, 3] (5, 7) tiene la topolog a del orden e Y = IR la usual, porque 1 f (2, 4) = (2, 3] que no es abierto en la del orden. Si di eramos a X la topolog a inducida por la usual, s ser a continua, y el intervalo (2, 3] ser a abierto porque (2, 3] = (2, 4) X . Ejemplo 4: Consideramos f1 (x) = f2 (x) = f3 (x) = x/|x| para x = 0, con f1 (0) = 0, f2 (0) = 1 y f3 (0) = 1. Si fi : X Y , i = 1, 2, 3, donde Y = IR con la topolog a usual y X = IR con la topolog a de l mite inferior, entonces f1 y f2 no son continuas pero f3 s 1 1 lo es; porque f1 [0 5, 0 5) = {1}, f2 [2, 0) = (, 0] no son abiertos mientras que
1 f3 [a, b) = , [1, +), (, 0) o IR.

42

24A0504 c

U.A.M.

TOPOLOG IA

Como los abiertos de la base de la topolog a de l mite inferior son [a, b) con a < b, s olo vemos lo que ocurre hacia adelante. Como ayuda a nuestra intuici on podemos pensar que el eje X representa el tiempo, de manera que los u nicos acontecimientos alcanzables son los del futuro inmediato y no podemos volver a lo que ya ha sucedido. As , un observador que viajase por la gr aca de f1 o de f2 partiendo del punto (0, f1 (0)) o (0, f2 (0)), respectivamente, se ver a obligado a saltar en el siguiente instante, pero no as el situado en (0, f3 (0)) viajando por la gr aca de f3 . Por ello, ni f1 ni f2 son continuas mientras que f3 s lo es ya que su aparente discontinuidad s olo es detectable yendo hacia atr as, hacia el pasado. De hecho se puede probar que, con estas topolog as, una funci on f es continua si y s olo si f (a) = limxa+ f (x), con el sentido usual del l mite. Por otra parte, ni f1 ni f2 ni f3 son continuas con la topolog a usual porque con ella s nos podemos mover hacia adelante y hacia atr as dentro de cada abierto.
Acaso no ser a siempre irreversible el tiempo? Hay momentos en que uno tiene la impresi on de que puede hacer lo que quiere, adelantarse o retroceder, que esto no tiene importancia; y otros en que se dir a que las mallas se han apretado, y en esos casos se trata de no errar el golpe, porque ser a imposible empezar de nuevo.

Aunque s olo estamos interesados en la continuidad global podemos copiar la denici on 1 de continuidad en x = a en espacios m etricos ( : B (a, ) f B (f (a), ) ). n: Dados (X, TX ), (Y, TY ) espacios topol Definicio ogicos y f : X Y , se dice que f es continua en el punto a si para todo entorno de f (a), U (f (a)) TY , existe un entorno de a, V (a) TX , tal que V (a) f 1 U (f (a)) . Teorema 3.6: Dada una funci on f : X Y entre espacios topol ogicos, las siguientes armaciones son equivalentes: 1) f es continua 2) f es continua en el punto a para todo a X 3) F cerrado en Y f 1 (F ) cerrado en X 4) A X f (A) f (A). Dem.: 1) 2) La implicaci on es obvia. Para la otra implicaci on, dado U abierto 1 de Y , para cada x f (U ) se tiene que f (x) U y por tanto existe V (x) f 1 (U ). Tomando W = V (x), donde x recorre f 1 (U ), se tiene f 1 (U ) = W = abierto. 1) 3) Es una consecuencia sencilla de que el complementario de la imagen inversa es la imagen inversa del complementario. (De verdad que es f acil). 3) 4) Trivialmente se tiene (sin ninguna hip otesis) A f 1 (f (A)) f 1 (f (A)). Como f (A) es cerrado, tomando clausuras se obtiene A f 1 (f (A)) f 1 (f (A)) lo que implica el resultado deseado. 4) 3) Si F es cerrado, tomando A = f 1 (F ) se tiene f (f 1 (F )) f (f 1 (F )) F = F , por tanto f 1 (F ) f 1 (F ) y se concluye que f 1 (F ) es cerrado. 43

24A0504 c

U.A.M.

TOPOLOG IA

Tambi en se puede demostrar que f es continua Fr(f 1 (A)) f 1 (Fr(A)) (ejercicio) y hay otras muchas equivalencias. Notaci on: Dados A X y f : X Y se suele denotar con f f a A, esto es, f forma, f
A A A

a la restricci on de

= f j donde j : A X es la inclusi on j (x) = x. Dicho de otra

es lo mismo que f pero prohibimos evaluarla fuera de A.

Algunas propiedades bastante naturales de las funciones continuas est an recogidas en el siguiente resultado. Teorema 3.7: Sean X , Y , Z , espacios topol ogicos. 1) Si A X , la inclusi on j : A X , j (x) = x, es continua. 2) Si f : X Y , g : Y Z son continuas, g f : X Z tambi en lo es. 3) f : X Y Z es continua 1 f y 2 f lo son. 4) (Pasting Lemma Lema del pegado?) Si X = A B con A, B cerrados en X , entonces f : X Y es continua f A y f B lo son. Observaci on: Naturalmente, en los apartados 1) y 4) en los que aparecen subespacios de X , se sobreentiende que la topolog a que se toma es la relativa. a Dem.: 1) U X abierto j 1 (U ) = j 1 (U A) = U A abierto (en la topolog relativa). 2) U Z abierto g 1 (U ) abierto Y f 1 g 1 (U ) = (g f )1 (U ) abierto X . 3) 1 : Y Z Y y 2 : Y Z Z son funciones continuas porque para cada 1 1 abierto U Y o V Z , 1 ( U ) = U Z , 2 (V ) = Y V , por tanto la implicaci on 1 se deduce de 2). Por otra parte, si BX BY es un abierto de la base, x f (BX BY ) si y s olo si (1 f )(x) BX y (2 f )(x) BY (tras pensarlo un poco, es obvio) de donde f 1 (BX BY ) = (1 f )1 (BX ) (2 f )1 (BY ) y se deduce la otra implicaci on. 4) Por 1), la implicaci on es inmediata. Para la otra, vemos que para cualquier cerrado F Y , f 1 (F ) = f
1 A

(F ) f

pero como f A y f B son continuas, f A (F ) y f B (F ) ser an cerrados en A y en B , respectivamente. De ah se deduce que tambi en lo son en X porque A y B son cerrados. (A c amara lenta: f f f
1 A 1 A

B 1

(F ) (trivial si uno entiende la notaci on),

1

(F ) cerrado en A f

1 A

(F ) = C A con C cerrado en X

(F ) cerrado en X ).

El nombre del cuarto apartado viene de que f es el resultado de pegar las funciones y f B . De hecho en otras formulaciones se parte de f1 : A Y , f2 : B Y que
A

coinciden en A B y se construye f tal que f 44

= f1 , f

= f2 .

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: En el u ltimo cap tulo, dadas dos funciones continuas : [0, 1] X , : [0, 1] X con (1) = (0), consideraremos (t) = (t) = (2t) 0 t 1/2 1/2 t 1

(2t 1)

(n otese que (1) = (0) implica que est a bien denida). El cuarto apartado nos dice que como [0, 1/2] y [1/2, 1] son cerrados en [0, 1] y cada parte de la denici on es continua, entonces tambi en lo es. Para los lectores perdidos, con la notaci on anterior X = [0, 1], A = [0, 1/2], B = [1/2, 1],
A

(t) = (2t),

(t) = (2t 1).

Ahora vamos a una de las deniciones centrales del curso, una de esas que hay que marcar con el rotulador verde fosforito. n: Sean X e Y espacios topol Definicio ogicos y f : X Y . Se dice que f es un homeomorsmo y que X e Y son homeomorfos si f es biyectiva y tanto f como f 1 son continuas. Antes de seguir, es obvio que decir que una funci on biyectiva, f : X Y , es un homeomorsmo es equivalente a cualquiera de las armaciones citadas a continuaci on. Y es tan obvio, que quien necesite una demostraci on deber a ser castigado a volver, al menos, al comienzo de la secci on. - U X es abierto f (U ) Y es abierto. - f es continua y abierta. - F X es cerrado f (F ) Y es cerrado. - f es continua y cerrada. Recu erdese que en todos los casos hemos dado por supuesto que f es biyectiva. Una u ltima equivalencia m as compleja es - A X f (A) = f (A). La cual se deduce notando que la continuidad de f y f 1 se traduce en que f (A) f (A) y f 1 (B ) f 1 (B ) para todo A, B X . Tomando B = f (A), se tiene la igualdad. Por qu e ese extra no nombre de homeomorsmo? Como otras veces, la excusa es la etimolog a: homeo-morfo = semejante-forma, aunque tambi en es cierto que a la cardiode (= parecida al coraz on) se la llama as y cualquiera sabe que no es exactamente de coraz on de lo que tiene forma. Por qu e son importantes? Un homeomorsmo f : X Y transforma en correspondencia uno a uno los abiertos de X en los de Y y viceversa. As que dos espacios homeomorfos son indistinguibles desde el punto de vista topol ogico, s olo dieren en el nombre de los abiertos. De alguna forma, la Topolog a estudia lo que es invariante bajo homeomorsmos, al igual que la Teor a de Grupos lo que es invariante bajo isomorsmos, la Geometr a Proyectiva lo que es invariante por transformaciones proyectivas, etc. (alguien est a de acuerdo?). Esta manera de estudiar espacios y estructuras a trav es de 45

24A0504 c

U.A.M.

TOPOLOG IA

las transformaciones que los dejan invariantes es en lo que consiste el llamado Erlanger Programm de F. Klein. Cuando a una funci on s olo le falta ser sobreyectiva para llegar a ser homeomorsmo recibe el nombre de inmersi on, lo cual es una notaci on un poco ambigua en castellano. n: Se dice que f : X Y es una inmersi Definicio on si f : X Im f es un homeomorsmo. En los siguientes ejemplos suponemos siempre la topolog a usual (o la inducida por ella). Como es habitual, S 1 denota la circunferencia unidad {(x, y ) IR2 : x2 +y 2 = 1} que en coordenadas polares tambi en se puede escribir como {(r, ) [0, +) [0, 2 ) : r = 1}. Ejemplo 1: X = [0, 1] e Y = [a, b], con a < b, son homeomorfos. Basta considerar la funci on f (x) = (b a)x + a que estira y traslada convenientemente [0, 1]. Evidentemente f es biyectiva y continua y f 1 (y ) = (y a)/(b a) tambi en lo es (as lo pone en los libros de C alculo). on f : IR S 1 , f (x) = (cos x, sen x) no es un homeomorsmo Ejemplo 2: La funci ni una inmersi on porque f no es inyectiva y por tanto no admite inversa. La continuidad de f se deduce de la de cos x y sen x porque podemos considerar f : IR S 1 IR IR y (1 f )(x) = cos x, (2 f )(x) = sen x son continuas (de nuevo apelamos a conocimientos previos de C alculo). Ejemplo 3: La funci on f : IR IR, f (x) = ex no es un homeomorsmo porque no es sobreyectiva, ya que Im f = IR+ = (0, +). Sin embargo s que es inmersi on porque + f : IR Im f = IR admite la inversa f 1 (y ) = log y que es continua, al igual que la funci on. Ejemplo 4 (interesante): La funci on f : X Y , con X = [0, 2 ), Y = S 1 , f (x) = (cos x, sen x), es continua y biyectiva pero no es un homeomorsmo ni una inmersi on. Este hecho deber a extra narnos porque los libros de introducci on al C alculo Real dicen que en IR, f continua y biyectiva f 1 continua. Pero este es un fen omeno particular de IR que no se extiende a otros espacios aunque sean subconjuntos de IRn con la usual. Veamos que la inversa no es una funci on continua. Dicha funci on inversa, asigna a 1 cada punto de S el angulo, en el rango [0, 2 ) que subtiende su radiovector.
( B X = [ 0 ) /2 ) 2 Y = [

Consideremos U = [0, /2) que es abierto en X (con la topolog a inducida) por ser U = (/2, /2) X . Si f 1 fuera continua, f 1 (U ) = f (U ) ser a abierto en Y , pero f (U ) es, en polares, {r = 1, 0 < /2} que no es abierto porque cualquier bola abierta, B IR2 , que contenga a r = 1, = 0, contendr a tambi en a puntos con (2 , 2 ) y por tanto B f (U ). 46
1

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo 5: Los espacios (1, 1) y IR son homeomorfos. Basta considerar los homeomorsmos f (x) = tan(x/2) o f (x) = x/(1 |x|) o f (x) = x/(1 x2 ). . . Procediendo como en el primer ejemplo, se tiene que IR es homeomorfo a cualquier intervalo abierto. El pr oximo cap tulo veremos que no es homeomorfo a ninguno cerrado. La idea intuitiva, al menos en espacios m etricos, es que las funciones continuas aplican puntos muy, muy pr oximos en puntos muy, muy pr oximos y pueden pegar los pares de puntos (ejemplo 2) o acercar innitamente un punto a otros (ejemplo 4). Sin embargo los homeomorsmos se limitan a contraer o expandir distancias sin que lleguen a colapsar; esta es la idea de la denici on primera dada por A.F. M obius en 1858 antes de que el resto de la banda la hiciera totalmente rigurosa.
(pisot on) (dos pellizcos)

f:

f:

f es continua (no homeomorsmo)

f es homeomorsmo

De modo que, en cierta manera, con las salvedades indicadas m as adelante, la idea de funci on continua est a asociada a aplastar y la de homeomorsmo a encoger o estirar (a veces se dice que la Topolog a es la Geometr a de la banda de goma). No hay manera topol ogica de diferenciar, por ejemplo, , , y . Todos estos objetos corresponden a un mismo tipo topol ogico y adjetivos como poligonal, circular, triangular, cardi aceo, no tienen un signicado intr nseco en Topolog a.
Cre a que era posible resplandecer de odio o de muerte. Qu e error! S , realmente, pensaba que exist a el Odio, que ven a a posarse en la gente y a elevarla sobre s misma. Naturalmente, s olo existo yo, yo que odio, yo que amo. Y entonces soy siempre la misma cosa, una pasta que se estira, se estira. . . y es siempre tan igual que uno se pregunta c omo se le ha ocurrido a la gente inventar nombres, hacer distinciones.

La idea intuitiva antes se nalada y nuestra visi on erretresiana muchas veces confunden el concepto de homeomorsmo con el de familia continua de homeomorsmos. Un homeomorsmo no requiere necesariamente una deformaci on que se vaya haciendo poco a 1 poco. Por ejemplo, S y el nudo tr ebol son homeomerfos (sabr a el lector por qu e?) y 4 1 sin embargo si S fuera de goma tendr amos que vivir en IR para poder deformarlo continuamente poco a poco hasta obtener el nudo tr ebol. En IR3 es imposible (pero demostrarlo es bastante dif cil).

S1 =

Nudo tr ebol =

47

24A0504 c

U.A.M.

TOPOLOG IA

Hausdor y cosas raras Cuando F. Hausdor dio su denici on de topolog a (en 1914 en su libro Grundz uge der Mengenlehre) incluy o una propiedad que no es equivalente a ninguna de las tres que nosotros hemos exigido, y era que cualquier par de puntos pudiera separarse mediante un par de abiertos. n: Se dice que un espacio topol Definicio ogico (X, T ) tiene la propiedad de Hausdor o que es un espacio T2 , si para cada pareja de puntos distintos x, y X existen entornos disjuntos de ellos. Esto es, U (x), V (y ) T tales que U (x) V (y ) = . A Hausdor no le parec a muy decente un espacio en el que dos puntos vecinos estuvieran tan pr oximos que no hubiera forma de construirles casas separadas. El desarrollo ulterior de la Topolog a y el sadismo de los fan aticos dieron lugar a ejemplos de cierto inter es en los que se podr a construir cada una de las dos casas pero no las dos al mismo tiempo. n: Se dice que un espacio topol Definicio ogico (X, T ) es un espacio T1 si para cada pareja de puntos disitntos x, y X existen entornos U (x), V (y ) T tales que x V (y ), y U (x). La historia sigue y al menos existen ya T0 , T1 , T2 , T5/2 , T3 , T7/2 , T4 y T5 (seguramente haya m as). Cuanto mayor es el sub ndice m as exigente es la propiedad. La T es la inicial de separaci on en alem an, de ah la notaci on, aunque tambi en puede inuir que quien introdujo la palabra en este contexto se apellidaba Tietze. Como orientaci on diremos que n IR con la topolog a usual las cumple todas y que algunas de ellas reejan la posibilidad de que cada funci on continua denida en un cerrado admita una extensi on continua, con ciertas propiedades, a todo el espacio. (Nota para los muy repetidores: el teorema de Hahn-Banach puede considerarse un resultado en esta direcci on para espacios lineales, incluso de dimensi on innita). Esto es lo que respecta a los axiomas llamados de separaci on. Veamos ahora los de numerabilidad. Para estudiar convergencia y continuidad en espacios m etricos hab amos usado en las demostraciones sucesiones de bolas abiertas, B (x, 1/n) o B (x, n ), que se contra an. Es posible encontrar espacios topol ogicos muy raros tales que las u nicas familias de abiertos que se contraen bien alrededor de un punto no son numerables; esencialmente esto provoca que las sucesiones no representen bien la topolog a del espacio. n: Se dice que un espacio topol Definicio ogico (X, T ) satisface el primer axioma de numerabilidad, si para cualquier x X existe una colecci on numerable de abiertos { U1 (x), U2 (x), U3 (x), . . .} tales que cualquier entorno de x, U (x), contiene necesariamente a alguno de ellos. Muchas veces se dice que {U1 (x), U2 (x), U3 (x), . . .} es una base de entornos de x porque si hacemos variar x X , la uni on de estas familias da lugar a una base de la topolog a (ejercicio sencillo pero como esto es tan lioso pocos lo completar an). n: Se dice que un espacio topol Definicio ogico (X, T ) satisface el segundo axioma de numerabilidad, si alguna de sus bases es numerable. 48

24A0504 c

U.A.M.

TOPOLOG IA

Seguro que el lector se pregunta el porqu e de estas deniciones. Como veremos despu es, los espacios que no cumplen estas propiedades tienen algunas caracter sticas monstruosas. D andoles un nombre las trivializamos y podemos evitarlos en nuestros teoremas. Es lo mismo que cuando a uno le dicen que hay una curva continua : (0, 1) IR2 que rellena todo el plano (Im = IR2 ), puede contestar: Bah!, es una curva de Peano. Ahora nos dir an que el l mite de una sucesi on en un espacio topol ogico no es u nico y replicaremos: Bah!, no es Hausdor.
Y otro encontrar a que algo le raspa en la boca. Y se acercar a al espejo, abrir a la boca; y su lengua se habr a convertido en un enorme ciempi es vivo, que agitar a las patas y le ara nar a el paladar. Querr a escupirlo, pero el ciempi es ser a una parte de s mismo y tendr a que arranc arselo con las manos. Y aparecer an multitud de cosas para las cuales habr a que buscar nombres nuevos: el ojo de piedra, el gran brazo tricornio, el pulgar-muleta, la ara na-mand bula.

Casi todas las monstruosidades tienen que ver con la convergencia. Si copiamos la denici on que dimos en el primer cap tulo cambiando bolas abiertas por entornos, obtenemos: n: Se dice que una sucesi Definicio on {xn } ogico (X, T ) n=1 en un espacio topol converge a l X si U (l) T N Z Z+ : n > N xn U (l). Como en los chistes, veamos primero las buenas noticias y despu es las malas. - La Proposici on 1.1 y la Proposici on 3.4 tambi en se cumplen espacios topol ogicos que satisfagan el primer axioma de numerabilidad. La demostraci on es un ejercicio (que nadie va a hacer). Proposici on 3.8: Si X es Hausdor, el l mite, si existe, es u nico. Dem.: Si xn l1 y xn l2 con l1 = l2 , tomando U1 (l1 ) U2 (l2 ) = se llega a una contradicci on con que xn U1 (l1 ), xn U2 (l2 ) a partir de cierto n. Proposici on 3.9: X es T1 si y s olo si los puntos son conjuntos cerrados. Dem.: ) Dado y = x, V (y ) : x V (y ) V (y ) X {x} {x} es cerrado. ) Basta tomar U (x) = X {y }, V (y ) = X {x} en la denici on. n: Se dice que un subconjunto A es denso en el espacio topol Definicio ogico X si A = X. Proposici on 3.10: Si X cumple el segundo axioma de numerabilidad entonces tiene un subconjunto numerable denso. Dem.: Basta elegir un punto arbitrario de cada elemento de la base. El conjunto formado por ellos es el buscado. (Ejercicio: completar los detalles). Esto entra dentro de las buenas noticias porque encontrar subconjuntos densos sencillos es muy conveniente en muchos temas de an alisis. Por ejemplo, el lema de RiemannLebesgue dice que para toda funci on integrable en [0, 1] se cumple
1 n+

lim

f (x) cos(2nx)dx = 0.
0

49

24A0504 c

U.A.M.

TOPOLOG IA

Si f C 1 ([0, 1]) es f acil demostrarlo integrando por partes. Si supi eramos que C 1 ([0, 1]) es denso en el espacio de las funciones integrables, con la (semi-)distancia |f g |, para probar el lema de Riemann-Lebesgue ser a suciente decir (como hacen algunos libros): 1 Por densidad, basta considerar f C ([0, 1]) e integrar por partes. Q.E.D.. Como la propiedad de la proposici on es interesante, recibe un nombre especial. n: Se dice que un espacio topol Definicio ogico es separable si tiene un subconjunto numerable denso. Un conocido teorema debido a K. Weierstrass arma que cualquier funci on continua en [0, 1] se puede aproximar uniformemente mediante polinomios. Como todo polinomio se puede aproximar por otro con coecientes racionales, deducimos que las funciones continuas con la distancia sup |f g | forman un espacio separable y que todo teorema acerca de funciones continuas que sea preservado por aproximaciones uniformes basta demostrarlo para polinomios. Ahora veamos una galer a de los horrores de ejemplos y contraejemplos. a Ejemplo: El espacio X = {, , , } con la topolog T = , X, {}, {, }, {, , }, {}{, }{, , } no es Hausdor y ni siquiera T1 , porque, por ejemplo, no existe ning un entorno de que no contenga a . La sucesi on , , , , , , . . . tiene dos l mites: y . Y la sucesi on , , , , . . . tiene tres l mites. Esto est a relacionado con que {} = {, , } (en particular, los puntos de X no son siempre cerrados). a conita no es Hausdor pero s T1 . Ejemplo: IR con la topolog

x )(

)( y

Para ver que es T1 basta elegir U (x) = X {y }, V (y ) = X {x}. Imaginando la forma de los abiertos es evidente que no es Hausdor. Una prueba formal es la siguiente: U (x) V (y ) = X = X U (x) V (y ) = X U (x) X V (y ) y esto es imposible porque ambos conjuntos son nitos. Observaci on: Es f acil comprobar que todo espacio m etrico es T2 (ejercicio), as que no existen distancias que induzcan las topolog as indicadas en los dos ejemplos anteriores. Ejemplo: La base habitual de IR con la la topolog a usual no es numerable, sin embargo se satisfacen los dos axiomas de numerabilidad. Basta comprobar el segundo que es m as exigente (est a claro?). Y para ello es suciente vericar que la siguiente familia numerable de intervalos racionales B = (a, b) : a < b, a, b Q , 50

24A0504 c

U.A.M.

TOPOLOG IA

es una base de la usual (ejercicio). Seg un sabemos, debe existir un conjunto numerable denso, un ejemplo es Q ya que Q = IR. Ejemplo: IR con la topolog a de Sorgenfrey es un espacio separable que no satisface el segundo axioma de numerabilidad pero s el primero. Tomando Un (x) = [x, x + 1/n) se sigue inmediatamente el primer axioma. Por otra parte, como antes, Q es un subconjunto numerable denso. Viendo el ejemplo anterior, uno estar a tentado a decir que se cumple el segundo axioma tomando la base pero no genera la topolog a de Sorgenfrey porque no existe B ( 2) B tal que B ( 2) [ 2, 2). La demostraci on de que no puede existir una base, B, numerable es ingeniosa pero breve: Dado x IR existe Bx B tal que x Bx [x, +), ahora si y = x, digamos x < y , se cumple Bx = By porque x [y, +). Como para n umeros reales distintos hemos encontrado elementos de B distintos, el cardinal de B es al menos el de IR. Observaci on: Se puede demostrar que si la topolog a de Sorgenfrey estuviera inducida an una por una distancia, como Q es denso, las bolas de centro y radio racionales formar base numerable (ejercicio). Como no satisface el segundo axioma, se concluye que no existe tal distancia. Ejemplo: IR con la topolog a conita no cumple el primer axioma de numerabilidad. Aplicamos una versi on en miniatura de la prueba diagonal de Cantor. Sean U1 (x), U2 (x), U3 (x) . . . como en la denici on, entonces U1 (x) = X A1 , U2 (x) = X A2 , U3 (x) = X A3 , ... donde An son conjuntos nitos. Eligiendo y A1 A2 A3 . . ., con y = x, se tiene que U = X {y } U1 (x) U , U2 (x) U , U3 (x) U ,. . . etc. Ejemplo: Sea en IR la topolog a en la que U es abierto si y s olo si U = , U = IR o U = IR {x1 , x2 , x3 , . . .} para alguna sucesi on real {xn }n=1 , entonces no existen conjuntos numerables densos. Si A fuera uno de ellos, entonces U = IR A ser a abierto y, por tanto, x U x A. Se puede probar como antes que esta topolog a no cumple el primer axioma de numerabilidad. La aproximaci on de puntos del cierre por sucesiones tampoco se cumple en este ejemplo. Si A = [0, 1] entonces A = IR, en particular 3 A, pero no existe {xn } n=1 A con xn 3 porque U = IR {x1 , x2 , x3 , . . .} es un abierto que contiene a 3 pero no contiene a ning un t ermino de la sucesi on. Parece que para recuperar la Proposici on 3.4 debi eramos considerar algo as como sucesiones no numerables, esto es, indizadas por n umeros reales en vez de por los naturales (xr en vez de xn ), lo que da lugar a conceptos como las redes y otras palabrotas dignas del primer cine de terror (qu e tal la invasi on de los ultraltros?) que en cursos de An alisis de algunas ingenier as se emplean para evitar la masicaci on. Para terminar, diremos a t tulo meramente informativo, como cultura particular, que los axiomas de separaci on y numerabilidad est an relacionados con los teoremas de 51 B = [a, b) : a < b, a, b Q ,

24A0504 c

U.A.M.

TOPOLOG IA

metrizaci on que nos dicen cuando un espacio topol ogico es metrizable (admite una distancia que induce la topolog a dada). Un ejemplo es un teorema de P. Urysohn de 1925 que arma que si un espacio es T4 (espacio en el que se pueden separar mediante abiertos, no s olo puntos, sino tambi en cerrados disjuntos) y verica el segundo axioma de numerabilidad, entonces es metrizable. Un famoso teorema de J. Nagata e Y. Smirnov, de principios de los 50, da condiciones necesarias y sucientes para la metrizabilidad pero es m as dif cil de enunciar.

52

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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/n, an + 1/n) con n = 1, 2, . . .. Cada uno de ellos tiene longitud 1/2n y 1/2n = 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/nk , ank + 1/nk ), 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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c Tomando

U.A.M.
N

TOPOLOG IA
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

24A0504 c con x Un , Y

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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 una funci on continua, 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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

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

24A0504 c

U.A.M.

TOPOLOG IA

5. El Grupo Fundamental
Topolog a y grupos: una combinaci on explosiva Podr amos pensar en generalizar la manera en la que hab amos probado que algunos espacios no eran homeomorfos suprimiendo ahora curvas de un espacio y estudiando la conexi on del resultado. Por ejemplo, para ver que T 2 (la supercie de una rosquilla) y S 2 no son homeomorfos, podr amos suprimir un meridiano en T 2 , con lo cual sigue de una pieza, y sea cual sea su imagen en S 2 seguro que descompone la supercie esf erica en dos trozos.

Sobre el papel puede que sea un buen proyecto, pero es dif cil de formalizar. Aunque parezca incre ble, es muy complicado probar que una curva cerrada sin autointersecciones determina dos regiones en S 2 ( este es el famoso Teorema de separaci on de Jordan, enunciado por C. Jordan en 1893 y probado completamente por O. Veblen en 1905). De todos modos esta idea tiene gran importancia porque dio lugar, en manos de E. Betti y sobre todo de H. Poincar e, al nacimiento de los llamados grupos de homolog a (nada que ver con las homolog as de la Geometr a Proyectiva) y a la reducci on de problemas topol ogicos a otros combinatorios. Resulta que una idea aparentemente equivalente es mucho m as asequible: estudiar los lazos que se pueden hacer con curvas dentro del espacio considerado. Por ejemplo, en T 2 un meridiano y un paralelo parecen esencialmente diferentes, esto es, uno no se puede deformar en el otro, sin embargo en S 2 parece que cualquier par de curvas de goma se podr an transformar la una en la otra (para transformar un meridiano en otro basta un giro). En el desarrollo de esta idea se asignar a un grupo de lazos a cada espacio topol ogico, de manera que a veces se podr an traspasar algunos problemas de la Topolog a a la Teor a de Grupos, origin andose una rama de las Matem aticas llamada Topolog a Algebraica (que aqu ser a m as bien Topolog a algebraica).

n: Sea X un espacio topol Definicio ogico y x0 X . Se dice que es un lazo con base en x0 si : [0, 1] X es una funci on continua con (0) = (1) = x0 . En este caso al lazo determinado por (1 t) se le llama lazo inverso y se suele escribir . Notaci on: Denotaremos mediante cx0 el lazo constante cx0 (t) = x0 . 83

24A0504 c

U.A.M.

TOPOLOG IA

Ejemplo: Considerando el lazo con base en (1, 0), = (cos(2t), sen (2t)), se tiene que = (cos(2t), sen (2t)). Y considerando = (cos(2t2 ), sen (2t2 )) se deduce = (cos(2 (t2 2t)), sen (2 (t2 2t))). Tanto como representan una circunferencia recorrida una vez en sentido antihorario, mientras que y la recorren en sentido horario. N otese que al representar un lazo por su imagen (su dibujo) no vemos, entre otras cosas, la direcci on y la velocidad con que se recorre. Una propiedad fundamental de los lazos es que se pueden componer poniendo uno a continuaci on de otro. A pesar de que la terminolog a es la misma, no tiene que ver con la composici on de funciones. n: Dados dos lazos , con base en x0 , se dene su composici Definicio on como = (2t) (2t 1) si 0 t 1/2 si 1/2 t 1

en se Observaci on: Los caminos, esto es, funciones continuas , : [0, 1] X , tambi pueden componer siempre que (1) = (0) y se pueden denir sus caminos inversos de la misma forma que en el caso de los lazos. Cada vez que compongamos dos caminos daremos por supuesto, por tanto, que ya hemos vericado que el extremo nal del primero coincide con el origen del segundo. Como ya mencionamos, la continuidad de la composici on est a asegurada por el Pasting Lemma. N otese que hay que escribir 2t y 2t 1 para que y se recorran el doble de r apido (en el primer medio segundo y en el segundo medio segundo, respectivamente) y as se recorra en el tiempo unidad.
t=0 t=1/2 t=1

Como cab a esperar, que un lazo sea deformable en otro recibe un nombre raro, y ya est an ocupados isomorsmo, homomorsmo y homeomorsmo. n: Sea X un espacio topol Definicio ogico y y dos lazos con el mismo punto base o dos caminos con (0) = (0), (1) = (1). Se dice que F : [0, 1] [0, 1] X es una homotop a y que es hom otopo a si F es continua y F (t, 0) = (t), F (0, s) = (0), F (t, 1) = (t) F (1, s) = (1) para todo t [0, 1] para todo s [0, 1].

Ejemplo: En IRn cualquier par de lazos o caminos como antes son hom otopos por medio de la combinaci on convexa F (t, s) = (1 s)(t) + s (t). 84

24A0504 c

U.A.M.

TOPOLOG IA
(t)=F(t,0)

De alguna forma, una homotop a se comporta con las curvas como esos programas de ordenador que permiten transformar poco a poco una imagen en otra, o elaborar la pel cula de la evoluci on transformando a la mona Chita en cualquier top-model del momento.

(0)=(0) (1)=(1)

(t)=F(t,1)

N otese que las homotop as no son u nicas: puede haber multitud de maneras de transformar en y para nuestros prop ositos ser a indiferente conocer la f ormula expl cita de estas transformaciones. S olo queremos saber si se puede verdaderamente transformar en , pero no c omo. Esto aparecer a reejado claramente en la denici on de grupo fundamental
No me desagradaba ver algo en movimiento; me apartaba de todas aquellas existencias inm oviles que me miraban como con ojos jos. Me dec a, siguiendo el balanceo de las ramas: los movimientos nunca existen del todo, son pasos intermedios entre dos existencias, tiempos d ebiles.

Es importante notar que los lazos pueden tener autointersecciones y que partes de ellos pueden colapsar a un punto por el proceso de homotop a, ya que para cada s jo, F ( , s) es continua pero no necesariamente un homeomorsmo. Por ejemplo, considerando los nudos en IR3 , que son los lazos homeomorfos a S 1 , con el mismo punto base; todos ellos son hom otopos seg un el ejemplo anterior y sin embargo, como mencionamos en el tercer cap tulo acerca de S 1 y el nudo tr ebol, t picamente no es posible en IR3 deshacer un nudo en otro sin romperlo. La homotop a correspondiente deber a crear autointersecciones y colapsar lazadas. El estudio de los nudos esencialmente diferentes que se pueden construir en IR3 constituye una bella parte de la Topolog a Algebraica llamada Teor a de Nudos (no confundir con la Teoria di Nudi al cont arselo a nuestros amigos italianos). Despu es de leerlo algunas veces, el siguiente resultado debiera ser evidente o al menos natural para todos. La demostraci on se incluye para practicar con estos conceptos. Lema 5.1: La relaci on de homotop a entre lazos, o caminos con los mismos extremos, es una relaci on de equivalencia. Dem.: 1) es hom otopo a s mismo por la homotop a F (t, s) = (t). 2) Si F (t, s) es una homotop a entre y , F (t, 1 s) lo es entre y . 3) Si F (t, s) es una homotop a entre y y G(t, s) es otra entre y , entonces H (t, s) = es una homotop a entre y . Notaci on: Normalmente escribiremos [] para denotar la clase de equivalencia de . N otese que si 1 y 2 son hom otopos entre s y 1 y 2 son hom otopos entre s , entonces 1 1 y 2 2 tambi en lo son (para cada s jo las homotop as denen sendos caminos, basta componerlos). As pues podemos denir [] [ ] = [ ]. 85 F (t, 2s) 0 s 1/2 1/2 s 1

G(t, 2s 1)

24A0504 c

U.A.M.

TOPOLOG IA

Apelando a un ejemplo conocido, esto es lo mismo que se hac a en las clases de restos m odulo n en que x y se den a como x y y no depend a de los representantes elegidos: m odulo 5 se tiene 2 3 = 6 = 7 8 = 56 = . . . Vamos por n a la denici on estrella de este cap tulo (que se debe a H. Poincar e en las postrimer as del siglo XIX). n: Sea X un espacio topol Definicio ogico y sea x0 X . Se llama grupo fundamental de X relativo al punto base x0 y se denota con 1 (X, x0 ) al conjunto de clases de equivalencia de lazos con base en x0 bajo la relaci on de homotop a, dotado con la operaci on composici on. Quitando rollo: el grupo fundamental est a formado por todos los posibles lazos no hom otopos con base en x0 . Parece claro que si a nadimos despu es de es lo mismo que (hom otopo a) a nadir despu es de , y que cx0 es lo mismo que y que es lo mismo que cx0 . . . En denitiva que 1 (X, x0 ) es realmente un grupo. Todo esto parece muy f acil pero cuando uno mira la demostraci on es realmente impenetrable e imposible de recordar, por ello merece la pena complementarla o sustituirla por la idea general que subyace.
Cuando queremos comprender una cosa, nos situamos frente a ella. Solos, sin ayuda, de nada podr a servir todo el pasado del mundo. Y despu es la cosa desaparece y lo que hemos comprendido desaparece con ella. Las ideas generales son algo m as halagador. Y adem as, los profesionales y los mismos acionados acaban siempre por tener raz on.

Esencialmente lo que ocurre es que al componer caminos se introducen cambios de velocidad y necesitamos una homotop a correctora para controlarlos. Por ejemplo, en ( ) , ocupa la mitad del tiempo y la mitad de la mitad, mientras que en ( ) es a la inversa, con lo cual la homotop a correspondiente debe acelerar gradualmente y lenticar . Lo alambicado de las homotop as involucradas complica la demostraci on, la cual sugerimos saltar en una primera lectura (y no aconsejamos m as). Proposici on 5.2: El grupo fundamental 1 (X, x0 ) es realmente un grupo, esto es 1) [] ([ ] [ ]) = ([] [ ]) [ ] 2) [] [cx0 ] = [cx0 ] [] = [] 3) [] [] = [] [] = [cx0 ]. Nota: Para recordar la denici on de grupo, v ease el nal de la secci on. Dem.: 1) Tenemos que probar que ( ) es hom otopo a ( ) , para ello basta denir la homotop a llovida del cielo 4t s+1 0t s+1 4 s+1 s+2 F (t, s) = (4t s 1) t 4 4 s+2 4t s 2 t1 2s 4 86

24A0504 c

U.A.M.

TOPOLOG IA

y comprobar (ejercicio mec anico) que F ( , 0) = ( ), 2) Considerando F ( , 1) = ( ) .

2t 2s 0t 2s 2 F (t, s) = 2s x0 t1 2 se tiene que (t omese s = 0) y cx0 (t omese s = 1) son hom otopos. Un razonamiento sim etrico cambiando en la f ormula anterior t por 1 t y por prueba que y cx0 tambi en lo son. 3) Deniendo F (t, s) = (2ts) 0 t 1/2 1/2 t 1 (2s(1 t))

se tiene F (t, 0) = cx0 (t) y F (t, 1) = ( )(t), de donde [] [] = [cx0 ]. Cambiando t por 1 t se tiene [] [] = [cx0 ]. Ejemplo: Como en IRn todos los lazos son hom otopos entre s , para cualquier x0 IRn se tiene 1 (IRn , x0 ) = {[cx0 ]}. Es decir, es el grupo trivial, el que s olo tiene un elemento. n n Podemos escribir 1 (IR , x0 ) = {e}, 1 (IR , x0 ) = {0}. Como s olo lo hemos escrito de tres formas diferentes veamos una m as. n: Se dice que un espacio topol Definicio ogico, X , es simplemente conexo si es conexo por arcos y 1 (X, x0 ) es el grupo trivial. Observaci on: M as adelante veremos que esta denici on no depende de x0 . Ejemplo: IRn es simplemente conexo. Adem as la homotop a universal F (t, s) = (1 s)(t) + s (t) sirve para demostrar que, en general, cualquier subconjunto convexo de IRn es simplemente conexo. Un error t pico es usar demasiado la homotop a anterior. N otese que una homotop a no puede salirse del espacio que estemos considerando y si un subconjunto de IRn no es convexo no podemos usar F (t, s) como antes. Por ejemplo, en IR2 {(0, 0)} al intenc (1,0) tar pasar el lazo (t) = (cos(2t), sen (2t)) a c(1,0) parece que, cualquiera que sea la homotop a, tenemos que pasar obligatoriamente por (0, 0) y salirnos del espacio. Si esto es cierto, y c(1,0) no son hom otopos y IR2 {(0, 0)} no es simplemente conexo. Ejemplo (otra vez lo mismo): Si q S n , S n {q } es simplemente conexo. Tomando como q el polo norte (si no lo es hacemos que lo sea con un giro) como la proyecci on 87

24A0504 c

U.A.M.

TOPOLOG IA

estereogr aca p : S n {q } IRn es un homeomorsmo, podemos pasar un lazo en S n {q } a uno en IRn , contraerlo a cx0 y despu es volver a S n {q }. Del ejemplo anterior se tiene que todo lazo en S n tal que Im = S n es hom otopo n al lazo constante. Parece obvio que para n > 1 no hay lazos con Im = S . Parece obvio pero no lo es, de hecho existen y por culpa de esos dichosos lazos la demostraci on de que n S , n > 1, es simplemente conexo se complica bastante de manera que no entran muchas ganas de escribirla y dejaremos alg un sencillo detalle al lector.
Te quejas porque las cosas no se disponen a tu alrededor como un ramillete de ores, sin tomarte la molestia de hacer nada.

Esencialmente probaremos que cualquiera de los lazos malos es hom otopo a uno bueno. Proposici on 5.3: Si n > 1, S n es simplemente conexo. Dem.: Recu erdese que
2 2 S n = {(x1 , x2 , . . . , xn+1 ) IRn+1 : x2 1 + x2 + . . . + xn+1 = 1}.

Los abiertos U1 = S n {xn+1 > 1/2} y U2 = S n {xn+1 < 1/2} son subconjuntos de S n simplemente conexos (ejercicio, util cese la estereogr aca). Sea un lazo con (0) U1 U2 (siempre podemos suponer que este es el caso por simetr a). Para empezar (que nadie se asuste) aplicamos el lema del n umero de Lebesgue al recubrimiento 1 (U1 ) 1 (U2 ) para encontrar 0 = t0 t1 . . . tn = 1 con tj +1 tj < tales que (t) U1 o (t) U2 si tj t tj +1 . Quiz a eliminando y renumerando algunos de los tj conseguimos que la imagen de [tj , tj +1 ] por est e alternativamente en U1 y U2 (Ejercicio: escribir todo esto con detalle). As que deniendo j (t) = ((1 t)tj + t tj +1 ), j = 0 , 1 . . . , n 1, se tiene Im 0 U1 , Im 1 U2 , Im 2 U1 ,. . . etc. Sean 1 , 3 , 5 ,. . . caminos en U1 U2 conectando 1 (0) con 1 (1), 3 (0) con 3 (1), 5 (0) con 5 (1),. . . (su existencia est a asegurada por la conexi on por caminos de U1 U2 ). Como los caminos 1 , 3 , 5 ,. . . y 1 , 3 , 5 ,. . . est am incluidos en U2 y tienen los mismos extremos es f acil ver que existen homotop as F1 , F3 , F5 ,. . . entre ellos (ejercicio, de hecho en cualquier simplemente conexo todos los caminos con los mismos extremos son siempre hom otopos). Consideremos nalmente (t) si t [t2j , t2j +1 ] F (t, s) = t t2j 1 ,s si t [t2j 1 , t2j ]. F2j 1 t2j t2j 1 Entonces F es una homotop a entre y un camino con Im U1 . Como U1 es simplemente conexo, se tiene [] = [cx0 ]. Observaci on: N otese que en la demostraci on anterior no se utilizan propiedades muy espec cas de S n , lo cual sugiere alguna generalizaci on que mencionaremos en una secci on posterior. Que alguien ha llegado hasta aqu y no sabe nada de grupos? Bueno. . . puede consultar este brev simo 88

24A0504 c

U.A.M.

TOPOLOG IA

ndice de Teor a de grupos: Ape n: Un grupo (G, ), es un conjunto G dotado con una operaci Definicio on (una funci on) : G G G con las siguientes propiedades: 1) Asociativa: g1 , g2 , g3 G (g1 g2 ) g3 = g1 (g2 g3 ). 2) Elemento neutro: Existe e G tal que g e = e g = g para todo g G. 3) Elemento inverso: Para cada g G existe g 1 G tal que g g 1 = g 1 g = e. Adem as, si se cumple 4) Conmutativa: g1 , g2 G g1 g2 = g2 g1 . se dice que el grupo es abeliano o conmutativo. Con las operaciones y conjuntos que solemos manejar, la obstrucci on para ser grupo suele radicar en la tercera propiedad, esto es, en que la operaci on que utilicemos no se pueda deshacer. Z con la suma (es decir, = +) es un grupo abeliano. El elemento neutro Ejemplo: Z es cero y el inverso de n es n porque n + (n) = 0. Ejemplo: Z Z con la multiplicaci on tiene elemento neutro, el 1, pero no es un grupo porque, por ejemplo, 3 no tiene inverso (3 x = 1 no tiene soluci on en Z Z). De otra forma, 2 3 = 6 pero no podemos deshacer la operaci on pasando el 6 al 3 multiplicando por un entero. Ejemplo: Las matrices reales cuadradas n n, Mn (IR), no forman un grupo con la multiplicaci on porque hay matrices que no tienen inversa. Sin embargo las matrices de Mn (IR) con determinante no nulo, GLn (IR), s forman un grupo con la multiplicaci on. Este grupo no es abeliano, por ejemplo 1 1 1 0 0 2 1 3 = 0 2 1 3 1 1 1 0 .

Observaci on: Los grupos GLn (IR), son muy generales porque contienen como subgrupos (grupos dentro de ellos) copias de todos los grupos nitos (abelianos y no abelianos) y muchos de los innitos. Por ejemplo, si cambiamos de nombre a los elementos de Z Z3 = {0, 1, 2} de la siguiente forma: 0I= 1 0 0 1 1A= 1 2
3 2

23 1 2

2B=

1 2 23

3 2 1 2

entonces (Z Z3 , + ) es lo mismo que (G, ) donde G = {I, A, B } y cualquier igualdad en el primer grupo se transforma en otra equivalente en el segundo grupo y viceversa. De esta manera 1 + 1 = 2, 1 + 2 = 0 y 1 + 1 + 1 = 0, corresponden respectivamente a A A = B , A B = I y A A A = I. Este proceso de cambiar los nombres de los elementos (y quiz a de la operaci on de grupo) para obtener otro grupo, se llama isomorsmo. 89

24A0504 c

U.A.M.

TOPOLOG IA

n: Dados dos grupos (G, ) y (G , ), se dice que son isomorfos si existe Definicio una funci on biyectiva f : G G tal que f (g1 g2 ) = f (g1 ) f (g2 ) para todo g1 , g2 G. En general se emplea una notaci on rococ o para nombrar a las funciones que se comportan bien con respecto a la operaci on de grupo (que pasan productos en productos). n: Sean (G, ) y (G , ), dos grupos. Se dice que f : G G es un Definicio homomorsmo si satisface f (g1 g2 ) = f (g1 ) f (g2 ) para todo g1 , g2 G. Adem as se dice que es un monomorsmo si es un homomorsmo inyectivo y que es un epimorsmo si es un homomorsmo sobreyectivo. n: Se llama n Definicio ucleo de un homomorsmo f : G G al conjunto Ker f = {g G : f (g ) es el elemento neutro de G }. Observaci on: Esta denici on es una generalizaci on de la usada en Algebra Lineal y, como all , se cumple que f es inyectiva (monomorsmo, en nuestro caso) si y s olo si Ker f es el elemento neutro (n otese que los homomorsmos siempre env an el neutro en el neutro). Ejemplo: (IR, + ) y (IR+ , ) son isomorfos por medio de f : IR IR+ denida como f (x) = ex . Ejemplo: f : Z Z Z Z9 dada por la suma de las cifras m odulo 9, es un homomorsmo pero no es monomorsmo porque, por ejemplo f (103) = 4 = f (67) o porque f (306) = 0 implica Ker f = {0}. Ejemplo: Consideremos los grupos (Z Z, + ) y (GL2 (IR), ) y la funci on f :Z Z GL2 (IR) con f (n) = 1 0 n 1 .

Entonces f es homomorsmo porque f (n + m) = f (n) f (m) y evidentemente no es sobreyectiva pero s inyectiva, es decir, es monomorsmo pero no epimorsmo.

90

24A0504 c

U.A.M.

TOPOLOG IA

La recta real se enrolla Toda esta secci on est a dedicada a hallar un grupo fundamental no trivial. El espacio a considerar no pod a ser otro que el m as perfecto, la musa y miss de las Matem aticas: la circunferencia.
[...] el mundo de las explicaciones y razones no es el de la existencia. Un c rculo no es absurdo: se explica por la rotaci on de un segmento de recta en torno a uno de sus extremos. Pero un c rculo no existe.

Antes de nada vamos a tratar de intuir el resultado. Para verlos mejor, dibujemos los lazos en S 1 un poco separados de S 1 o pensemos que son nudos alrededor de una barandilla.

Cada uno de los lazos dibujados parece que no se puede deformar en ninguno de los otros. Si nos mandasen explicar por qu e, dir amos que el primero da una vuelta, el segundo dos, el tercero parece que va a dar una pero despu es se arrepiente y no da ninguna (es hom otopo la lazo constante) y el cuarto da menos una vuelta (una vuelta en sentido negativo). Esto sugiere que los lazos en S 1 , salvo homotop as, est an caracterizados por el n umero de vueltas que dan, esto es, tenemos una biyecci on 1 (S 1 , x0 ) Z Z [] no de vueltas de que de hecho es un isomorsmo, cuando en Z Z se considera la suma, porque al componer un camino que da n vueltas con otro que da m, obtenemos un tercero que da n + m vueltas. La principal dicultad est a en denir rigurosamente el n umero de vueltas. Un primer intento podr a ser contar cu antas veces pasa el lazo por el punto base, pero esto no es adecuado porque siempre podemos, como en el tercer ejemplo, pasar varias veces y despu es volver para atr as. Habr a que tener en cuenta la direcci on en la que se pasa por el punto base, pero sin saber si se tiene una derivada no nula, esto es imposible. La idea que funciona es cortar el lazo por el punto base y desenrollarlo sobre IR.

Si comenzamos a desenrollar en 0, acabaremos en 2 no de vueltas. Nuestra primera y principal tarea en esta secci on ser a dar sentido matem atico a desenrollar un lazo para llegar a una denici on rigurosa del n umero de vueltas en la demostraci on 91

24A0504 c

U.A.M.

TOPOLOG IA

del Teorema 5.6. Con ello probar, por ejemplo que el primer y el tercer lazo de los antes citados no son hom otopos es tan complicado como el aserto del maestro peripat etico: Una 1 vez no es ninguna vez. Llegar al isomorsmo 1 (S , x0 ) = Z Z s olo requiere ir un poco m as all a. La raz on u ltima por la que los lazos en S 1 se pueden desenrollar en IR es que IR y S 1 son localmente (en intervalos peque nos) iguales (homeomorfos) y que existe una funci on, 1 p(x) = (cos x, sen x) que permite enrollar todo IR en S . n: Sean X y E espacios topol Definicio ogicos y sea p : E X continua y sobreyectiva. Se dice que p es una proyecci on recubridora y que E es un espacio recubridor de X si para todo x X existe un entorno U (x) con p1 (U (x)) = V donde V son abiertos disjuntos en E tales que p V : V U (x) es un homeomorsmo. Ejemplo (En realidad, El Ejemplo): IR es un espacio recubridor de S 1 con proyecci on 1 recubridora p : IR S , p(x) = (cos x, sen x). Es obvio que p es continua y sobreyectiva. Comprobemos la denici on para x = 1 1 (1, 0) S . Los otros casos son similares. Tomemos en S el abierto U = S 1 {x > 0}, entonces 1 Vn . p (U ) = ( + 2n, + 2n) = 2 2 n= n= Cada uno de estos intervalos es abierto en IR y homeomorfo por p a U porque U se puede escribir en polares como (/2, /2) y p V es simplemente t t 2n.
n

Ejemplo: (cos x, sen x).

IR+ no es un espacio recubridor de S 1 con p : IR+ S 1 , p(x) =

Toamndo como antes U = S 1 {x > 0}, se tiene p

1

(U ) = [0, ) ( + 2n, + 2n) = V0 Vn . 2 2 2 n=1 n=1

Pero V0 = [0, /2) no puede ser homeomorfo por p a U . Una manera r apida de probarlo sin mirar a p es decir que V0 {0} es conexo pero U {cualquier punto} no lo es. Ahora vamos a hacer un lifting a los caminos en S 1 para estirarlos sobre IR. Esto tiene su gracia, aunque sea poca, porque el t ermino elevaci on en la siguiente denici on es la traducci on de lifting en la terminolog a anglosajona. n: Sea E un espacio recubridor de X y p su proyecci Definicio on recubridora. Dada f : A X , se dice que f es una elevaci on de f si p(f (x)) = f (x).
f

E
p

A X f 92

24A0504 c

U.A.M.

TOPOLOG IA

El diagrama sugiere el nombre de elevaci on si acordamos que E est a por encima de X . La expresi on el diagrama es conmutativo se utiliza para indicar que da lo mismo ir de A a X directamente que a trav es de E y es la consigna mil veces repetida en muchos libros de Algebra y de Topolog a cuyos personajes diagramas adquieren, como las nubes, caprichosas formas intangibles materializadas en nombres como lema de la serpiente, lema del hex agono, lema de la mariposa. . . Ahora probaremos que todos los caminos, en particular los lazos, se pueden desen rollar en el espacio recubridor. Este es el principal lema auxiliar para calcular el grupo 1 fundamental de S . Lema 5.4: (Lifting lemma. Lema de la elevaci on) Sean E , X y p como antes. Fijado x0 X y e0 E con p(e0 ) = x0 , todo camino, , en X con (0) = x0 admite una u nica elevaci on, , en E con (0) = e0 .

E
p

[0, 1] X Dem.: La idea es sencilla: aunque no podamos escribir = p1 porque p no tiene por qu e ser inyectiva, si lo podemos hacer en intervalos peque nos donde p es homeomorsmo. Consideremos el recubrimiento, C de X por los U (x) que aparecen en la denici on de 1 espacio recubridor cuando x var a en X , entonces (U (x)) da lugar a un recubrimiento de [0, 1]. Tomando N con 1/N menor que el n umero de Lebesgue del recubrimiento (v ease el cap tulo anterior) tenemos que cada intervalo [j/N, (j + 1)/N ], j = 0, 1, 2, . . . , N 1, cumple ([j/N, (j + 1)/N ]) Uj con Uj C . Por denici on, p1 (U0 ) contiene a un abierto W0 con e0 W0 tal que p es un homeomorsmo, as pues, esto implica (t) = p que p
1 W0 W0

: W0 U0

(t)

para t [0, 1/N ].

W0

De la misma forma, p1 (U1 ) contiene a un abierto W1 con (p

W1

)1 (1/N ) W1 tal

: W1 U0 es un homeomorsmo y por tanto (t) = p

1 W1

(t)

para t [1/N, 2/N ].

Procediendo inductivamente de la misma forma, tras N pasos se completa la prueba. Tambi en las homotop as se pueden elevar. Lema 5.5: Sean E , X , p, x0 y e0 como antes, entonces cada homotop a de caminos F : [0, 1] [0, 1] X con F (0, 0) = x0 admite una u nica elevaci on, F : [0, 1] [0, 1] E tal que F es una homotop a de caminos con F (0, 0) = e0 . Dem.: La construcci on de la elevaci on F es an aloga a la hecha en la demostraci on anterior para caminos. Ahora hay que considerar [j/N, (j + 1)/N ] [k/N, (k + 1)/N ] 93

24A0504 c

U.A.M.

TOPOLOG IA

y notar que dos cuadrados adyacentes no comparte un punto sino todo un intervalo cerrado. Los detalles se dejan al lector. Lo que falta por probar es que esta elevaci on, F , es realmente una homotop a entre los caminos F (t, 0) y F (t, 1), esto es, que F (0, s) y F (1, s) son constantes cuando s [0, 1]. Como F es homotop a de caminos, F (0, s) es constante, de hecho F (0, s) = x0 . Consideremos U (x0 ) y V como en la denici on de espacio recubridor. Cada uno de los V debe contener exactamente un elemento de p1 ({x0 }) ya que p V : V U (x0 ) es un homeomorsmo. Sea A = {F (0, s) : s [0, 1]}. Por denici on de elevaci on p(A) = {F (0, s) : s [0, 1]} = {x0 } y se tiene A p1 ({x0 }). Por otra parte A=

A V

y si A contuviera m as de un punto, esta igualdad dar a lugar a una separaci on de A. lo cual es una contradicci on porque [0, 1] es conexo y F es continua. Un argumento id entico prueba que F (1, s) tambi en es constante. Con estos dos resultados podemos llegar por n al objetivo de esta secci on. Teorema 5.6: 1 (S 1 , (1, 0)) Z. =Z umero de vueltas, el cual, Dem.: Como ya dijimos, el isomorsmo viene dado por el n multiplicado por 2 coincide con el punto al que se llega al desenrollar sobre IR. Escribiendo todo esto con rigor, tomamos X = S 1 , E = IR, p(t) = (cos t, sen t), x0 = (1, 0), e0 = 0 y denimos (1) v ([]) = para cada lazo con base en x0 , , en S 1 . 2 Esta denici on tiene sentido gracias al lema anterior que asegura que lazos hom otopos tienen elevaciones hom otopas y, por tanto, con los mismos extremos. N otese que p((1)) = (1) = x0 implica que v ([]) Z Z. Queremos demostrar que v : 1 (S 1 , x0 ) Z Z es un isomorsmo. Para ello basta probar que es una funci on biyectiva y que es un homomorsmo (no falta la e, recu erdese que un homomorsmo es una funci on entre grupos que preserva las operaciones). 1) v es sobreyectiva. Tomando N (t) = (cos(2N t), sen (2N t)), se tiene que v ([N ]) = N porque N (t) = 2N t. 2) v es inyectiva. Si v ([]) = v ([ ]) entonces (1) = (1), (0) = (0) = 0 y F (t, s) = p((1 s)(t) + s (t)) es una homotop a entre y , esto es [] = [ ]. 3) v es homomorsmo. Tenemos que demostrar v ([] [ ]) = v ([]) + v ([ ]). 94

24A0504 c

U.A.M.

TOPOLOG IA

Consideremos el camino en IR denido por (t) = (2t) t [0, 1/2] t [1/2, 1].

(2t 1) + (1)

Como (1) es un m ultiplo entero de 2 , se tiene que p = y por tanto = . De aqu v ([] [ ]) = v ([ ]) = y el teorema queda demostrado. Observaci on: Como subproducto de la prueba se deduce que todo lazo con base en x0 es hom otopo a N (t) = (cos(2N t), sen (2N t)) para alg un N Z Z, es decir, los u nicos lazos distintos en la circunferencia, salvo homotop as, consisten en dar cierto n umero de vueltas. Sorprendentemente, una cantidad discreta como el n umero de vueltas, admite representaciones anal ticas bajo condiciones de regularidad. Por ejemplo, si (t) = (a(t), b(t)) es 1 un lazo en S con derivada continua entonces, con la notaci on de la demostraci on anterior, v ([]) = 1 2
1

(1) (1) + (1) = = v ([]) + v ([ ]) 2 2

(ab ba ).
0

De hecho la elevaci on de admite la siguiente f ormula integral (v ease M.P. do Carmo Geometr a diferencial de curvas y supercies Alianza Universidad Textos 1990)
t

(t) =
0

(ab ba ).

Estas f ormulas pueden considerarse dentro de la llamada Topolog a Diferencial y se aplican en varios resultados de Geometr a Global, entre ellos el Teorema de GaussBonnet. Es dif cil resistir la tentaci on de comentar una joya matem atica de tal calibre: Cuanto mayor es una esfera menor es la curvatura en cada punto (por eso la Tierra nos parece plana). Usando las deniciones y unidades adecuadas, se tiene que para toda esfera la integral de la curvatura es 4 . El teorema de Gauss-Bonnet arma, entre otras cosas, que aunque modiquemos la esfera como si fuera una bola de barro, sin romper ni pegar trozos, la supercie obtenida seguir a cumpliendo que la integral de la curvatura es 4 . De hecho, cualquier supercie compacta en IR3 con esta propiedad debe ser homeomorfa a la supercie esf erica. En general hay una inesperada conservaci on global de la curvatura, preservada por homeomorsmos diferenciables, en las supercies compactas de IR3 que adem as las caracteriza. Seg un se dice, dependiendo del valor de cierta curvatura global del Universo este existir a eternamente o colapsar a.

95

24A0504 c

U.A.M.

TOPOLOG IA

Pero, hay m as ejemplos? El panorama que se ha presentado hasta ahora no es demasiado halag ue no: Es verdad que jado un punto hemos conseguido asignar un grupo a cada espacio topol ogico, pero 1 incluso para un espacio tan sencillo como S , nos ha llevado toda una secci on calcularlo y no parece que la t ecnica usada sea f acilmente generalizable. Seguramente el lector espera algo as como en esta secci on veremos un m etodo para calcular el grupo fundamental de un espacio topol ogico gen erico. . . , pero no; los resultados que veremos aqu s olo se 1 aplicar an a espacios que tienen demasiado que ver con S . Aunque nos guardaremos alg un as en la manga (especialmente el Teorema de Seifert-van Kampen, v ease el nal de la secci on), esto es s olo el reejo de lo complicados que pueden ser los grupos fundamentales y lo compleja que se hace la Teor a de la Homotop a desde el comienzo. Como ejemplo 3 diremos que todav a nadie sabe si S es la u nica variedad compacta tridimensional, salvo homeomorsmos, que es simplemente conexa (Conjetura de Poincar e, v ease el libro de I. Stewart citado al nal del u ltimo cap tulo). Comencemos con un ejemplo realmente tonto. Ejemplo: Consideremos el espacio N (inicial de nota) con la topolog a usual, denido como N = I S1 con I = {(2, y ) IR2 : 1 y 1}. Todos los lazos con base en x0 = (1, 0) deben permanecer en S 1 y todos los lazos con base en y0 = (2, 1) deben permanecer en I , porque estas son las componentes conexas de Z e I es simplemente conexo, se tiene N . Como 1 (S 1 , x0 ) =Z 1 (N, x0 ) Z, 1 (N, y0 ) =Z = {0}. Esto no tiene nada de sorprendente porque hemos considerado dos espacios conexos en lugar de uno, pero nos puede hacer pensar que quiz a se pueda variar el grupo fundamental haciendo variar el punto base. Proposici on 5.7: Si X es conexo por caminos y x0 , y0 X , entonces 1 (X, x0 ) = 1 (X, y0 ). Dem.: Sea un camino cualquiera con (0) = x0 , (1) = y0 . Vamos a probar que : 1 (X, x0 ) 1 (X, y0 ) [] [ ] es un isomorsmo. Es biyectiva con inversa 1 ([ ]) = [ ] ya que (1 )([]) = [ ( ) ] = [] 1 = Id y lo mismo con 1 . Tambi en se cumple ([1 ]) ([2 ]) = [ 1 ] [ 2 ] = [ 1 2 ] = ([1 2 ]) y por tanto es homomorsmo. Ejemplo: Para cualquier x0 S 1 , se tiene 1 (S 1 , x0 ) Z, lo cual ya estaba muy =Z claro por la propia simetr a de la circunferencia. 96

24A0504 c

U.A.M.

TOPOLOG IA

Veamos ahora otro resultado que, aunque sencillo, es muy importante. Teorema 5.8: Para cada funci on continua f : X Y se dene f : 1 (X, x0 ) 1 (Y, f (x0 )) como f ([]) = [f ], entonces: 1) f es un homomorsmo de grupos y si f es la identidad f tambi en lo es. 2) Para f : X Y , g : Y Z continuas, (g f ) = g f . 3) Si f es un homeomorsmo, f es un isomorsmo. Dem.: 1) Si f es la identidad, f (x) = x, entonces f ([]) = [f ] = []. Por otra parte, la propiedad de homomorsmo se sigue de la relaci on f ( ) = (f ) (f ), que es trivial recordando la denici on de . 2) Es una consecuencia obvia de la propiedad asociativa (g f ) = g (f ). 3) Por los apartados anteriores, (f 1 f )(x) = x y (f f 1 )(y ) = y implican ((f 1 ) 1 = (f 1 ) . f )([]) = [] y (f (f 1 ) )([]) = [], as que f tiene una inversa, f En el lenguaje de la Teor a de Categor as el resultado anterior, sobre todo 2), expresa la functorialidad. El functor, en este caso, es la forma de asignar a cada objeto de la categor a de los espacios topol ogicos con un punto jado, un objeto de la categor a de los grupos, de manera que la composici on de morsmos (funciones entre ellos) sea respetada. Cuando uno encuentra un functor debiera ponerse contento porque ha encontrado una relaci on entre dos partes de las Matem aticas, en este caso la Topolog a y la Teor a de Grupos. Es importante notar que el rec proco de 3) no es cierto en general, por ejemplo 2 2 1 (IR , x0 ) = {0} = 1 (S , x0 ) pero IR2 y S 2 no son homeomorfos. En el lenguaje antes mencionado esto se expresa diciendo que el functor no es completamente el. Debemos entender el proceso de asignaci on (X, x0 ) 1 (X, x0 ) como una funci on (functor) que asigna un grupo a un espacio topol ogico (jado un punto) sin llegar a caracterizarlo.
La funci on no explicaba nada; permit a comprender en conjunto lo que era una ra z, pero de ning un modo esa. Esa ra z, su color, su forma, su movimiento detenido, estaba. . . por debajo de toda explicaci on. Cada una de sus cualidades se le escapaba un poco, [...]

Como contrapunto diremos que se conocen todas las supercies compactas (variedades bidimensionales) y sus grupos fundamentales. Tras comprobar que son distintos, se sigue que el grupo fundamental s es determinante en el caso de supercies compactas. Sin embargo, recu erdese la Conjetura de Poincar e, queda mucho por hacer en otros casos. M as cultura matem atica: Una idea para distinguir m as espacios es introducir grupos de lazos de dimensiones mayores: bidimensionales, tridimensionales, etc. En esta l nea, W. Hurewicz generaliz o 1 (X, x0 ) a n (X, x0 ) en los a nos 30, pero estos nuevos grupos resultan ser bastante desconocidos incluso en espacios muy sencillos. En contraste, los llamados grupos de homolog a y cohomolog a (relacionados con la idea citada al comienzo del cap tulo) permiten c alculos sencillos e incluso representaciones geom etricas y anal ticas. 97

24A0504 c

U.A.M.

TOPOLOG IA

Su denici on excede el contenido del curso pero sus ventajas son patentes sin m as que comprobar que en casi cualquier libro titulado Topolog a Algebraica, Hn y H n aparecen innumerablemente m as veces que n . Veamos c omo utilizar el teorema anterior para probar que algunos espacios no son simplemente conexos. Ejemplo: Consideremos el espacio A = {(x, y ) IR2 : (x + 1)2 + y 2 = 1} {(x, y ) IR2 : (x 1)2 + y 2 = 1} y la funci on f : A S 1 (x, y ) (|x| 1, y ) Tomando el lazo en A con base en (2, 0), (t) = (1 + cos t, sen t), se tiene f ([ ]) = [] con el lazo que genera 1 (S 1 , (1, 0)), (t) = (cos t, sen t). Si fuera hom otopo al lazo trivial (esto es, si [ ] fuera el elemento neutro), como f es homomorsmo, tambi en lo ser a, lo cual es una contradicci on. Por tanto A no es simplemente conexo, de hecho, al ser generador, se tiene un epimorsmo (homomorsmo sobreyectivo) f : 1 (A, (2, 0)) 1 (S 1 , (1, 0)) Z. =Z Esto nos dice que aun sin calcular 1 (A, (2, 0)), debe contener en alg un sentido a Z Z. Por curiosidad, diremos que este grupo no es abeliano y est a aproximadamente descrito al nal de la secci on. Por n vamos a ver un problema que no sab amos resolver con las t ecnicas de cap tulos anteriores. Ejemplo: La corona C = {(x, y ) IR2 : 1 < x2 + y 2 < 9} no es homeomorfa al rect angulo Q = {(x, y ) IR2 : 1 < x < 2, 1 < y < 2}. Si existiera un homeomorsmo f : Q C , considerando r0 = f 1 ((2, 0)) y deniendo g : C S 1 como g (x, y ) = (x, y )/ x2 + y 2 , se llega a una contradicci on con el diagrama 1 (Q, r0 ) {0}
biyectiva (isomorsmo)
f

f :

(doblar)

S 1

1 (C,(2, 0)) 1 (S 1 , (1, 0)) ?

sobreyectiva (epimorsmo)

Z Z

La sobreyectividad de g se sigue como antes observando que (t) = (2 cos t, 2 sen t) se aplica en (t) = (cos t, sen t), el generador de 1 (S 1 , (1, 0)). La moraleja de estos ejemplos es que los espacios con agujeros no son simplemente conexos. El siguiente resultado nos dice que si aplastamos poco a poco un espacio en uno de sus subespacios, el grupo fundamental no var a. Primero denimos lo que es aplastar poco a poco: una especie de homotop a pero con espacios topol ogicos en lugar de con caminos. 98

24A0504 c

U.A.M.

TOPOLOG IA

n: Sea X un espacio topol Definicio ogico y A X . Se dice que A es un retracto por deformaci on fuerte de X , si existe una funci on continua R : X [0, 1] X tal que para todo x X , todo a A y todo s [0, 1], se cumple 1) R(x, 0) = x 2) R(x, 1) A 3) R(a, s) = a. Ejemplo: La circunferencia S 1 es un retracto por deformaci on fuerte de la corona C = {(x, y ) IR2 : 1/4 < x2 + y 2 < 4} tomando R(x, s) = (1 s)x + s x . ||x||
2 1/2 1

Observaci on: Es importante notar que la imagen de R debe estar en X , esto es, que en los pasos intermedios del aplastamiento no nos podemos salir fuera del espacio considerado. Por ejemplo, C {(3, 0)} no ser a un retracto por deformaci on fuerte de S 1 con R como antes, porque, en general R((3, 0), s) C {(3, 0)}. Proposici on 5.9: Si A es un retracto por deformaci on fuerte de X , para cualquier a0 A se tiene 1 (X, a0 ) = 1 (A, a0 ). Dem.: Sea j : A X la inclusi on y f : X A la funci on denida como f (x) = R(x, 1). Si probamos que las composiciones indicadas en los siguientes diagramas 1 (A, a0 ) 1 (X, a0 ) 1 (A, a0 ) 1 (X, a0 ) 1 (A, a0 ) 1 (X, a0 ) son la identidad, se deduce que f tiene a j como inversa y que es un isomorsmo. En el primer diagrama j f = Id es trivial ya que f (j (a)) = a. En el segundo, consideremos cualquier [] 1 (X, a0 ). La funci on R((t), s) dene una homotop a de en el lazo (t) = R((t), 1) con Im A, as pues f j ( (t)) = (t), es decir f j ([ ]) = [ ] y, como [] = [ ], se deduce el resultado. Ejemplo: Cualquier corona circular, C , es homeomorfa a la corona circular del u ltimo 1 ejemplo (ejercicio: dar una f ormula para tal homeomorsmo) y S es un retracto por deformaci on fuerte de ella, por tanto 1 (C, c0 ) Z. = 1 (S 1 , (1, 0)) =Z Ejemplo: Considerando R como antes, esto es, R(x, s) = (1 s)x + s x ||x|| con x IR2 ,
f j j f

se tiene que S 1 es un retracto por deformaci on fuerte de IR2 {0}, con lo cual 1 (IR2 {0}, x0 ) Z = 1 ( S 1 , x 0 ) =Z 99 con x0 = (1, 0).

24A0504 c

U.A.M.

TOPOLOG IA

En particular, IR2 y IR2 {0} no son homeomorfos. Ejemplo: Por medio de R (x1 , x2 , . . . , xn , xn+1 ), s = (x1 , x2 , . . . , xn , (1 s)xn+1 ), se tiene que IRn es un retracto por deformaci on fuerte de IRn+1 , as tenemos una nueva manera de probar que IRn es simplemente conexo partiendo de que IR lo es. Este u ltimo ejemplo tambi en es consecuencia del siguiente resultado que arma que el grupo fundamental respeta los productos cartesianos. Proposici on 5.10: Sean X, Y espacios topol ogicos con x0 X , y0 Y , entonces 1 (X Y, (x0 , y0 )) = 1 (X, x0 ) 1 (Y, y0 ). Dem.: Por razones obvias modicaremos la notaci on para las proyecciones, nombr anX Y X Y dolas como p y p con p : X Y X , p : X Y Y . Denamos el siguiente homomorsmo : 1 (X Y, (x0 , y0 )) 1 (X, x0 ) 1 (Y, y0 )
Y [] ( pX ([]) , p ([]) )

Es obvio que es sobreyectiva (epimorsmo) porque la antiimagen de ([1 ], [2 ]) contiene al lazo en X Y dado por (t) = (1 (t), 2 (t)). Por otra parte, si 1 y 2 son hom otopos al lazo constante por las homotop as F1 y F2 respectivamente, entonces = (1 , 2 ) tambi en lo es por la homotop a F (t, s) = (F1 (t, s), F2 (t, s)) en X Y . Por consiguiente, el n ucleo de es trivial y es inyectiva. Notaci on: Se llama toro (bidimensional) al es2 pacio T = S 1 S 1 con la topolog a usual. N otese que geom etricamente corresponde (es homeomorfo) a la supercie de una rosquilla porque es lo que se obtiene al poner una circunferencia sobre cada punto de una circunferencia. Una forma de verlo anal ticamente, es notar que los puntos de S 1 est an determinados por un angulo 0 2 con 0 y 2 identicados, mientras que los de un toro est an determinados por un par de angulos, latitud y longitud, (, ) con 0 , 2 y las mismas iden ticaciones. Ejemplo: Para cualquier x0 = (p1 , p2 ) T 2 1 (T 2 , x0 ) ZZ Z. = 1 (S 1 , p1 ) 1 (S 1 , p2 ) =Z En particular S 2 y T 2 no son homeomorfos: una rosquilla no es un bal on de f utbol. Ejemplo: El grupo fundamental del cilindro K = {(x, y, z ) IR3 : x2 + y 2 = 1, 1 z 2} = S 1 [1, 2] 100

24A0504 c

U.A.M.

TOPOLOG IA

es, para cualquier punto x0 K , 1 (K, x0 ) Z { 0} Z. = 1 (S 1 , p1 ) 1 ([1, 2], p2 ) =Z =Z Para terminar esta secci on mencionaremos brevemente un importante resultado que no hemos incluido aqu porque se sale del alcance del curso. N otese primero que en la n demostraci on de que S era simplemente conexo no usamos ninguna propiedad especial de S n , solamente que U1 , U2 eran abiertos simplemente conexos y U1 U2 conexo por caminos, por lo cual la misma demostraci on sirve para probar Si X = U1 U2 con U1 , U2 simplemente conexos y U1 U2 conexo por caminos, entonces X es simplemente conexo. El Teorema de Seifert-van Kampen va mucho m as all a y en una versi on muy restringida, que no contiene exactamente al resultado anterior, pero lo complementa, arma que Si X = U1 U2 con U1 , U2 conexos por caminos y U1 U2 es simplemente conexo, entonces el grupo fundamental de X es isomorfo al producto libre de los de U1 y U2 . Lo del producto libre de grupos signica el grupo formado por todas las palabras cuyas letras son alternativamente elementos distintos del neutro, de cada uno de los grupos. Por ejemplo, en el espacio formado por dos circunferencias tangentes, el grupo fundamental es isomorfo al producto libre de Z ZyZ Z. Algunos elementos son 26(-1)1, 1464, donde los n umeros en negrita (o negrota?) distinguen el grupo Z Z de una de las circunferencias, digamos la de la izquierda. As 26(-1)1 corresponde al lazo cuya receta de caja fuerte es: Da dos vueltas a la circunferencia de la derecha, despu es seis a la de la izquierda, una en sentido negativo a la de la derecha y termina con una a la de la izquierda.

101

24A0504 c

U.A.M.

TOPOLOG IA

Algunos teoremas bonitos Lo poco que hemos logrado ara nar de la Topolog a Algebraica es sucientemente poderoso para que podamos resolver algunos problemas que estaban fuera de nuestro alcance con los m etodos de cap tulos anteriores y adem as enunciar algunos teoremas que casi todos los matem aticos, licenciados o no, tildar an de bonitos.
Los retratos del gran sal on? Se nor dice con una sonrisa temblorosa, no entiendo nada de pintura. Claro, no se me escapa que Bordurin es un gran pintor, veo que tiene, c omo se dice?, ocio, paleta. Pero el placer, se nor, el placer est etico me es ajeno. Le digo con simpat a: A m me pasa lo mismo con la escultura. Ah, se nor! A m tambi en. Y con la m usica, y con la danza. Sin embargo, no carezco de ciertos conocimientos. Bueno, es inconcebible: he visto j ovenes que no sab an ni la mitad de lo que yo s e y, sin embargo, plantados delante de un cuadro, parec an experimentar placer.

Para abrir boca, comencemos con algunos ejemplos relacionados con homeomorsmos. Ejemplo: IR2 no es homeomorfo a IRn para n > 2. Si existiera un homeomorsmo f : IR2 IRn podemos suponer, quiz a componiendo 2 con una traslaci on, que f (0) = 0. Por tanto IR {0} ser a homeomorfo a IRn {0}, pero S 1 y S n1 son, respectivamente, retractos por deformaci on fuerte de estos espacios por medio de R(x, s) = (1 s)x + sx/||x|| y se tiene 1 (IR2 {0}, x0 ) Z, = 1 (S 1 , x0 ) =Z 1 (IRn {0}, x0 ) = 1 (S n1 , x0 ) = {0} para n > 2.

Ejemplo: Sea D la bola abierta unidad en IR2 , entonces cualquier homeomorsmo f : D D manda el interior en el interior y la frontera (esto es, S 1 ) en la frontera. Supongamos que existiera un punto x0 Fr(D) = S 1 con f (x0 ) Int(D) = D entonces D {x0 } ser a simplemente conexo (por ser convexo) y D {f (x0 )} no lo ser a por tener un agujero, por tanto no pueden ser homeomorfos. Para probar rigurosamente que D {f (x0 )} no es simplemente conexo podemos hacer varias cosas: 1) Si tenemos suerte y f (x0 ) = (0, 0) hacemos el D retracto de siempre a S 1 . 2) Si sabemos algo de f(x 0) variable compleja, aplicamos una transformaci on de M obius y el caso anterior. 3) Tomando > 0 tal que B (f (x0 ), ) D, tras aplicar y 1 (y f (x0 )) a D {f (x0 )}, podemos usar el retracto de siempre. Ejemplo: Con la notaci on anterior D {(1, 0)} {(1, 0)} y D {(1, 0)} no son homeomorfos porque con un razonamiento como el de antes tenemos que las im agenes de (1, 0) y de (1, 0) s olo pueden ser (1, 0) y se perder a la inyectividad. Veamos ahora los resultados bonitos. Aunque el primero no lo es tanto, al menos sorprende. 102

24A0504 c

U.A.M.

TOPOLOG IA

Proposici on 5.11: Sea D la bola abierta unidad en IR2 , entonces no existe ninguna funci on continua f : D S 1 tal que sea la identidad en la frontera (esto es, f S 1 (x) = x). Dem.: Sea x0 = (1, 0), entonces se tiene el homomorsmo f : 1 (D, x0 ) 1 (S 1 , x0 ). Como 1 (D, x0 ) otopo al = {0}, para todo lazo con base en x0 f ([]) debe ser hom 1 lazo constante en S , pero si (t) = (cos(2t), sen (2t)) se tiene f ([]) = [] que es un generador de 1 (S 1 , x0 ) Z. =Z El siguiente resultado fue anunciado en un cap tulo anterior y muestra lo poderosas que son las t ecnicas algebraicas en Topolog a (aunque es posible probarlo por m etodos elementales menos directos. V ease M. de Guzm an Mirar y ver Alhambra 1977). Teorema 5.12: (Teorema de Brouwer n = 2) Una funci on continua de una bola 2 cerrada de IR en s misma, deja al menos un punto jo. Dem.: Obviamente podemos suponer que la bola cerrada es D, la bola unidad. Supongamos que existiera f : D D continua con f (x) = x, x D. Sea p(x) S 1 el punto de intersecci on con S 1 de la semirrecta que parte de f (x) y pasa por x, entonces p : D S 1 es una funci on continua cuya restricci on a S 1 es la identidad, lo cual contradice el resultado anterior.

p(x 2 ) x2

f(x 1)

x1 f(x 2) p(x 1 )

Observaci on: Este teorema, generalizado a IRn , fue probado por L.E.J. Brouwer en 1910. Por otro lado, un poderoso teorema de Topolog a Algebraica debido a S. Lefschetz en 1926, permite determinar, en funci on de ciertas propiedades cualitativas, el n umero de punto jos de una funci on continua denida en una variedad compacta. Por ejemplo, si 2 2 f : S S es continua y no manda ning un punto a su ant poda entonces esencialmente tiene dos puntos jos. Para perlar el signicado de esta armaci on, diremos que es f acil imaginar una funci on tal con dos puntos jos (un giro), es dif cil imaginarla con uno (indicaci on incomprensible: s ganse las l neas de fuerza en un dipolo el ectrico) e imposible con ninguno. Ejemplo: Un folio rectangular es homeomorfo a uno circular, por tanto cuando lo arrugamos y lo superponemos sobre uno id entico, siempre hay alg un punto cuya proyecci on no ha cambiado de lugar. Ejemplo: El sistema (x + sen (|x y |) + 3)(x1 exy + x + 3y 4 x1 ) =1 cos x + sen (xy 3 ) + ex + ey + y 1 = 5 tiene alguna soluci on (x, y ) IR2 . 103
2

24A0504 c

U.A.M.

TOPOLOG IA

Resolver el sistema es lo mismo que hallar un punto jo, f (x0 , y0 ) = (x0 , y0 ), de f (x, y ) = f1 (x, y ), f2 (x, y ) con f1 (x, y ) =x(exy + x2 + 3y 4 )1 sen (|x y |) 3, f2 (x, y ) = (5 + cos x + sen (xy 3 ) + ex + ey )1 . Est a claro que f1 y f2 est an acotadas, as que para R sucientemente grande se tiene f B ((0, 0), R) B ((0, 0), R) y se puede utilizar el teorema de Brouwer. Ahora probaremos el teorema de Borsuk-Ulam para n = 2 que tambi en fue anunciado anteriormente. Separaremos primero un resultado auxiliar que contiene casi toda la demostraci on. Proposici on 5.13: No existe ninguna funci on continua f : S 2 S 1 satisfaciendo f (x) = f (x) para todo x S 2 . Dem.: Sea f con las propiedades mencionadas, quiz a componiendo con un giro podemos suponer f (1, 0, 0) = (1, 0). Sea el ecuador de S 2 , (t) = (cos(2t), sen (2t), 0); como S 2 es simplemente conexo, f ([]) es el elemento neutro de 1 (S 2 , (1, 0)) y por tanto (v ease la demostraci on del isomorsmo 1 (S 2 , (1, 0)) Z) debe ser v (f ([])) = f (1)/(2 ) = 0. =Z Por otra parte, consideremos el camino en IR (t) = (2t) 0 t 1/2 1/2 t 1
2

(2t 1) + (1)

donde es una elevaci on (con (0) = 0) del camino en S 1 (t) = f (cos(t), sen (t), 0). De p = (1) = f (1, 0, 0) = f (1, 0, 0) = (1, 0) se sigue (1) = (2k + 1) , recu erdese que p(t) = (cos t, sen t), y un c alculo directo prueba p = f , as que = f y (1) = f (1) = 0. Teorema 5.14: (Teorema de Borsuk-Ulam n = 2) Si f : S 2 IR2 es continua existe alg un x S 2 tal que f (x) = f (x). Observaci on: En particular, en la supercie terrestre hay al menos un punto en el que la presi on y la temperatura coincide con la de sus ant podas. Dem.: Si f (x) = f (x) para todo x S 2 , denamos la funci on g : S 2 S 1 g (x) = f (x) f (x) . ||f (x) f (x)||

La relaci on g (x) = g (x) contradice el resultado anterior. 104

24A0504 c

U.A.M.

TOPOLOG IA

Veamos ahora uno de los teoremas t picos para hacer propaganda de la Topolog a Algebraica. Teorema 5.15: (Teorema de la bola de pelo) Sobre una esfera no existe ning un campo de vectores tangentes y no nulos continuo. Observaci on: El nombre viene de que a veces el teorema se enuncia diciendo que no se puede peinar una bola de pelo sin hacer alg un remolino. (Los punks no son contraejemplo porque sus pelos no son tangentes ni los pijos peinados hacia atr as tampoco porque su cabeza no es una bola de pelo, ni la de nadie, por muy hippie que sea). Como consecuencia del teorema de Lefschetz al que antes nos hemos referido, hay esencialmente dos remolinos. Por otra parte, un toro (la gura geom etrica) se puede peinar sin remolinos y, en general, el teorema de Poincar e-Hopf arma que en una esfera con k asas aparecen esencialmente 2k 2 remolinos. Dem.: Siempre podemos suponer que los vectores de un campo que no se anula son unitarios: basta dividir por su norma. Con una simetr a por el ecuador podemos pasar el campo de vectores del hemisferio norte al sur y as obtenemos dos campos de vectores en el hemisferio sur, ambos sim etricos en el ecuador. Aplicando la proyecci on estereogr aca (los vectores del campo se proyectan de la forma l ogica: conservando angulos con respecto a las proyecciones de los meridianos y paralelos), obtenemos dos campos de vectores unitarios, v+ y v , en una bola cerrada de IR2 , digamos la bola unidad tras una homotecia, de manera que en la frontera v+ y v son sim etricos a trav es de (las tangentes a) S 1 .
v v+ v
estereografica

v+

Sea w = w(x, y ) el campo de vectores unitario que asigna al punto (x, y ) el vector que subtiende un angulo igual a la suma de los angulos de v+ y v (esto es como multiplicarlos consider andolos n umeros complejos). Seg un la propiedad de simetr a w(cos t, sen t) = cos( + 2t), sen ( + 2t) (n otese que los angulos de v+ y v son ang. = /2 + t ), con lo cual, si (t) = w(cos(2t), sen (2t)), [ ] 1 (S 1 , (1, 0)) y no es el elemento neutro (da dos vueltas). Pero esto es una contradicci on porque F (t, s) = w (1 s)(cos(2t), sen (2t)) + s(1, 0) es una homotop a en S 1 entre y el lazo constante c(1,0) . Tambi en es verdad que teoremas como el anterior generan una especie de antipropaganda de las Matem aticas invitando a preguntar y para qu e quiero peinar una bola de pelo? Uno puede ser radical diciendo que seguramente para tan poco como estudiar 105

24A0504 c

U.A.M.

TOPOLOG IA

el origen del Universo. De hecho es lo mismo: El Big-Bang ocurri o hace n a nos es la traducci on po etica para los peri odicos y documentales de Las ecuaciones diferenciales del universo tienen una singularidad en t = n y el teorema anterior sirve para demostrar que en el plano de fases de algunas ecuaciones diferenciales deben aparecer puntos singulares. Realmente el teorema, por serlo, es menos enga noso (Y si las ecuaciones de la F sica se estropeasen fatalmente cuando el tiempo se hace muy negativo? Y si la Teor a General de la Relatividad fuera incorrecta a escala cosmol ogica? (Una primera versi on de las ecuaciones de Einstein implicaba que el Universo es estacionario, no se expande). No hay nalidades ni justicaciones necesarias, s olo excusas para disfrutar haciendo o viendo cosas bellas y art sticas, aunque ello sea perfectamente criticable por no ser u tiles ni acabar con el hambre en el mundo.
Decir que hay imb eciles que obtienen consuelo con las bellas artes. Como mi t a Bigeois: Los Preludios de Chopin me ayudaron tanto cuando muri o tu pobre t o. Y las salas de concierto rebosan de humillados, de ofendidos que, con los ojos cerrados, tratan de transformar sus rostros p alidos en antenas receptoras. Se guran que los sonidos captados corren en ellos, dulces y nutritivos, y que sus padecimientos se convierten en m usica, como los del joven Werther; creen que la belleza se compadece de ellos.

El estudio del comportamiento local y global en variedades de los tipos de peinados y sus generalizaciones (brados vectoriales para los amigos) desempe na un papel de importancia en F sica y permite resolver problemas que escapan a las t ecnicas del curso. Como ejemplo de esto u ltimo, n otese que una banda cil ndrica (un brazalete), C , y una banda de M obius, M , son compactas conexas y, por poderse retraer a S 1 , tienen el mismo grupo fundamental. Sin embargo, en C es f acil encontrar dos peinados linealmente independientes (por ejemplo todos los pelos hacia el este y todos los pelos hacia el sur) mientras que si existiera en M , haciendo el producto vectorial de ambos obtendr amos un campo de vectores normales continuo en M , lo cual es imposible (por qu e? N otese que cada vector normal se da la vuelta al moverse por el ecuador. Si todav a existe, v eanse las antenas de las hormigas de http://www.worldofescher.com/gallery/MobiusStripIILg.html). Como n de esta, veamos la demostraci on de un teorema bien conocido que, seg un se dice, no puede admitir una prueba algebraica (quien quiera opinar lo contrario que espere a cursar Algebra II, lea el cap tulo 18 del libro de I. Stewart Galois Theory Chapman and Hall 1991 y no haga caso de las disculpas). Teorema 5.16: (Teorema fundamental del Algebra) Cualquier polinomio en C[x] de grado n > 0 tiene n ra ces en C, contando multiplicidades. Dem.: Como es bien sabido, procediendo inductivamente, basta demostrar que tiene una ra z. Tambi en podemos suponer que el polinomio es m onico (el coeciente de mayor grado es uno) y que los coecientes son reales considerando el producto por el polinomio que tiene sus coecientes conjugados. (Ejercicio: Poner todo esto en claro). Sea, por tanto , P IR[x] m onico y digamos que P no tiene ra ces en C. En particular no las tendr a en IR y podemos suponer P (x) > 0 para todo x IR. 106

24A0504 c

U.A.M.

TOPOLOG IA

Identicando cada punto (x, y ) IR2 con x + iy C y con un punto de S 1 cuando x2 + y 2 = 1, se tiene que para cualquier r r (t) = P (r (t)) |P (r (t))| donde r (t) = re2it = r cos(2t) + ir sen (2t),

es un lazo en S 1 con base en (1, 0) = 1 + 0i. La homotop a F (t, s) = (1s)r (t) prueba que es siempre hom otopo al lazo constante 0 = c(1,0) . Por ser P de grado n y m onico P (R (t)) = 1, R (R (t))n lim y se tiene que para R sucientemente grande (1 s)P (R (t)) + s(R (t))n H (t, s) = |(1 s)P (R (t)) + s(R (t))n | es una homotop a bien denida entre los lazos R y cos(2nt) + i sen (2nt) (el l mite anterior asegura que el denominador no se anula). Pero esto es una contradicci on porque este u ltimo lazo no es hom otopo al lazo constante.

FIN

Un libro. Naturalmente, al principio s olo ser a un trabajo aburrido y fatigoso; no me impedir a existir ni sentir que existo. Pero llegar a un momento en que el libro estar a escrito, estar a detr as de m , y pienso que un poco de claridad caer a sobre mi pasado.

107