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

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

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.

(t)=F(t,0)

(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)

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

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

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

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

 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

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

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

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

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

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

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

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

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

 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).

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

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

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

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

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

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

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

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