Aplicaciones en esferas y la sucesin de

Mayer-Vietoris
Javier Silva Veln

Captulo 1

Aplicaciones en esferas
El objetivo de este primer captulo es aplicar algunos resultados de homologa
desarrollados en los temas previos para obtener de forma sencilla teoremas menos
abstractos, en el sentido de que tienen una interpretacin mucho ms intuitiva.
En concreto, trataremos con aplicaciones continuas en esferas, y probaremos
resultados relativos a campos tangentes o puntos fijos.
Para comenzar, probaremos algunas proposiciones de carcter ms tcnico,
que nos permitirn despus obtener los resultados anunciados de forma muy
sencilla.
Proposicin 1. Sea r : S n Rn+1 S n definida por r(x0 , x1 . . . xn ) =
(x0 , x1 . . . xn ). Entonces para todo n 1 el homomorfismo que induce en la
homologa,
Hn (r) : Hn (S n ) Hn (S n ),
es la multiplicacin por 1.
Demostracin. Se probar por induccin en n. Veamos primero que es cierto para n = 0 si utilizamos la homologa reducida, es decir, que H0# (r) : H0# (S 0 )
H0# (S 0 ), es la multiplicacin por 1. Observemos primero que S 0 = {1}, y
consideremos la homologa no reducida, H0 (S 0 ). Como S 0 tiene dos componentes conexas, H0 (S 0 )
= H0 ({1}) H0 ({+1}). Adems, r es la aplicacin que
permuta 1 y 1, luego, dado el par (a, b) H0 ({1}) H0 ({+1}), se tiene que
H0 (r)(a, b) = (b, a). Desde aqu es inmediato ver que H0# (r) es la multiplicacin
por 1, ya que los representantes de las clases sobre las que acta son los elementos de ker # , donde la suma de los coeficientes es 0. Por tanto, la aplicacin
H0# (r) inducida por S0 (r) actuar como H0# (r)[] = [].
Supngase ahora cierto hasta n 1 y comprobemos que se verifica para n.
El ejercicio (15.4) nos daba la siguiente cadena de isomorfismos:
#
Hq# (S n )
= Hq# (S n , En )
= Hq# (E n , S n1 )
= Hq1 (S n1 )

para todo n 0 y todo q 0. Nos interesa en concreto el isomorfismo entre el

primer trmino y el ltimo, al que llamaremos . Tenemos entonces el siguiente
diagrama conmutativo:
3

CAPTULO 1. APLICACIONES EN ESFERAS

Hn (S n )

Hn1 (r)

Hn (r)

Hn (S n )

#
Hn1
(S n1 )

#
Hn1
(S n1 )

Usando la conmutatividad del diagrama, se tiene que Hn (r)[] = 1 Hn1 (r)[] =

1 ()[] = [], donde se ha utilizado la hiptesis de induccin.
A continuacin probamos un resultado sobre rotaciones en la esfera.
Proposicin 2. Toda rotacin de S n es homtopa a la identidad.
Demostracin. Dada una rotacin de S n , sea A SO(n+1) su matriz asociada.
Se puede probar (P. Halmos, Finite Dimensional Vector Spaces, p. 164) que
existe una matriz B tal que B 1 AB est compuesta por n+1
matrices de la
2
forma


cos
sin
sin cos
a lo largo de la diagonal, con un 1 en la ltima entrada de la matriz en el caso
de que n sea par, y 0 en todas las dems entradas. Consideramos la funcin H
asociada a matriz con la misma estructura pero bloques de la forma


cos(t) sin(t)
sin(t) cos(t)
H es claramente una homotopa entre B 1 AB y la identidad, luego la homotopa
que buscamos es, despejando, BHB 1 .
Como consecuencia de los dos resultados anteriores, tenemos la siguiente
proposicin.
Proposicin 3. Sea g : S n S n la restriccin a S n de una transformacin
ortogonal. Entonces el homomorfismo inducido
Hn (g) : Hn (S n ) Hn (S n )
es la multiplicacin por det g.
Demostracin. Distinguimos dos casos, dependiendo del valor de det g.
(a) det g = 1. Estamos en las condiciones de la proposicin anterior, luego
g w idS n , y como dos aplicaciones homtopas inducen el mismo homomorfismo,
Hn (g) = Hn (idS n ) = idHn (S n ) .
(b) det g = 1. Sea r : S n Rn+1 S n definida por r(x0 , x1 . . . xn ) =
(x0 , x1 . . . xn ) (la misma de la proposicin 1). Entonces det(rg) = det(gr) =
1, luego, usando el mismo argumento que en el caso (a), rg w idS n w gr.
Utilizando ahora que Hn (rg) = Hn (r)Hn (g), Hn (gr) = Hn (g)Hn (r), deducimos
que Hn (g) = Hn (r)1 . Pero Hn (r) es la multiplicacin por 1, que es su propia
inversa, luego Hn (g) es la multiplicacin por 1.

5
Corolario 4. Si a es la aplicacin antipodal de S n , entonces Hn (a) es la multiplicacin por (1)n+1 .
Demostracin. Basta aplicar la proposicin anterior a la aplicacin a, cuyo determinante es claramente (1)n+1 .
Ya estamos en condiciones de empezar a probar resultados significativos.
Trataremos primero los campos de vectores sobre la esfera.
Definicin 5. Una aplicacin continua v : S n Rn+1 se dice un campo de
vectores tangente en S n si para todo x S n se verifica que x es ortogonal a
v(x).
Teorema 6. S n admite un campo de vectores que no se anula en ningn punto
si y slo si n es impar.
Demostracin. = Sea v un campo de vectores sobre S n tal que v(x) 6= 0
v(x)
para todo x S n . Podemos definir entonces w : S n S n por w(x) := kv(x)k
.
n
Se verifica que x es ortogonal a w(x) para todo x S . Sea a la aplicacin
antipodal de S n . Definimos ahora la siguiente homotopa:
F : Sn I
(x, t)

Sn
7

x cos(t) + w(x) sin(t)

Observamos que F (x, 0) = x, F (x, 21 ) = w(x) y F (x, 1) = x. Por tanto,

tenemos que idSn w w w a. No obstante, si n es par, entonces, por el corolario
4, det a = 1, y Hn (a) es la multiplicacin por 1. Esto contradice el hecho de
que a sea homtopa a la identidad, ya que no inducen el mismo homomorfismo.
= Si n = 2m + 1, con m Z, podemos definir un campo de vectores
v : S n Rn+1 como v(x0 , x1 . . . x2m+1 ) = (x1 , x0 , x3 , x2 x2m+1 , x2m ).
Es inmediato comprobar que v(x) es ortogonal a x para todo x S n , y por su
propia definicin es obvio que es no nulo en todo punto.
Un problema interesante, y difcil, es saber, para un n arbitrario, cuntos de
estos campos tangentes que no se anulen admite S n de forma que todos sean
linealmente independientes. El siguiente ejercicio es un caso particular de este
problema.
Ejercicio 7. Existen tres campos de vectores tangentes linealmente independientes y que no se anulan en ningn punto sobre S 4n+3 .
Observemos que S 4n+3 R4(n+1) . Podemos hacer construcciones anlogas a
la de la segunda implicacin del teorema anterior, pero ahora agrupando las variables en grupos de cuatro. Esto nos permite elegir distintas configuraciones, de
forma que los vectores sean linealmente independientes. En concreto, definimos:
v1 (x0 . . . x4n+3 ) = (x1 , x0 , x2 , x3 x4n+1 , x4n , x4n+2 , x4n+3 )
v2 (x0 . . . x4n+3 ) = (x2 , x3 , x0 , x1 x4n+2 , x4n+3 , x4n , x4n+1 )
v3 (x0 . . . x4n+3 ) = (x3 , x2 , x1 , x0 x4n+3 , x4n+2 , x4n+1 , x4n0 )

CAPTULO 1. APLICACIONES EN ESFERAS

Es inmediato comprobar que son independientes y tangentes a la esfera, y

es trivial que no se anulan en ningn punto de sta.
La solucin al caso general est en el siguiente teorema, que se enuncia sin
demostracin. Hurwitz, Radon y Eckmann construyeron los campos de vectores
tangentes, y J. F. Adams prob que no pueden existir ms que esos.
Teorema 8. Sea n entero positivo, y sean a, b, c enteros tales que 0 b 3 y c
es impar verificando n+1 = 24a+b c. Entonces S n admite exactamente 2b +8a1
campos de vectores tangentes linealmente independientes que no se anulan en
ningn punto.
Finalmente, probaremos los resultados sobre puntos fijos mencionados al
comienzo del captulo.
Ejercicio 9. Sean f, g : S n S n continuas y tales que f (x) 6= g(x) para todo
x S n , y sea a la aplicacin antipodal de S n . Entonces Hn (f ) = (1)n+1 Hn (g).
En particular, cualquier aplicacin de S n en s mismo que no tenga puntos fijos
es homtopa a la aplicacin antipodal.
Tenemos que para todo x, f (x) 6= g(x) = (g(x)) = (ag)(x), luego las
aplicaciones f y ag son no antipodales. Por un ejercicio visto en clase, dos aplicaciones en S n no antipodales son homtopas, luego f ' ag, y por tanto inducen
el mismo homomorfismo. Entonces Hn (f ) = Hn (a)Hn (g) = (1)n+1 Hn (g), utilizando el corolario 4.
Si tomamos g = idS n , la hiptesis se convierte en f (x) 6= x para todo x S n
(es decir, f no tiene puntos fijos). Razonando igual que antes, obtenemos que
f ' a.
Ejercicio 10. Sea f : S n S n continua y homtopa a la aplicacin constante
cx0 . Entonces existen p, q S n tales que f (p) = p y f (q) = q.
Supongamos primero que no existe p tal que f (p) = p. Esto significa que f
no tiene puntos fijos, y por el ejercicio anterior, tenemos que f ' a, siendo a
la aplicacin antipodal. Pero, por hiptesis, f ' cx0 , de donde se deduce que
a ' cx0 , lo cual es una contradiccin.
Supongamos ahora que no existe q tal que f (q) = q. Entonces f no tiene
puntos fijos, luego, razonando igual que antes, f ' a, y multiplicando por 1,
f ' idS n , de donde idS n ' cx0 , de nuevo una contradiccin.
Ejercicio 11. Dada cualquier aplicacin continua f : S 2n S 2n , se verifica
que o bien tiene un punto fijo o bien tiene un punto cuya imagen es su antpoda.
Supongamos que no se verificara ninguna de estas afirmaciones. Si f no tiene
puntos fijos, f ' a, siendo a la aplicacin antipodal, luego Hn (f ) = Hn (a) =
(1)2n+1 = 1. Por otra parte, no existe q S n tal que f (q) = q, luego f
no tiene puntos fijos, y entonces Hn (f ) = Hn (a) = 1. Tendramos por tanto
que 1 = Hn (f ) = Hn (af ) = Hn (a)Hn (f ) = (1)(1) = 1, lo cual es una
contradiccin.

Captulo 2

La sucesin de Mayer-Vietoris
La finalidad de este tema es construir, a partir de la sucesin exacta larga
de homologa, una nueva sucesin exacta larga (que tambin involucrar mdulos de homologa) que ser una herramienta muy til a la hora de calcular
homologas, as como en el desarrollo de la teora de los captulos posteriores.
Llamaremos a dicha sucesin la sucesin de Mayer-Vietoris.
Comenzamos repasando la definicin de escisin y el teorema de escisin
(15.1), que utilizaremos a menudo en lo que sigue.
Definicin 12. Sea X un espacio topolgico, y sean U y A subespacios, con
U A. Se dice que la inclusin (X \ U, A \ U ) (X, A) es una escisin si para
todo q induce un isomorfismo Hq (X \ U, A \ U ) Hq (X, A).
Teorema 13 (de escisin). Si la clausura de U est contenida en el interior de
A, entonces U puede ser escindido.
A lo largo de todo el captulo trabajaremos con ternas (X, X1 , X2 ), donde
X es un espacio topolgico del que X1 y X2 son subespacios. Nos interesarn
en particular las siguientes inclusiones.
Definicin 14. Sea X un espacio topolgico, y sean X1 y X2 subespacios. Si
las inclusiones
k2 : (X2 , X1 X2 ) (X1 X2 , X1 )
k1 : (X1 , X1 X2 ) (X1 X2 , X2 )
son ambas escisiones, se dice que la terna (X, X1 , X2 ) es exacta o propia.
Ntese que el carcter exacto de la terna no depende realmente de X, sino
de X1 X2 . Esto es relevante en el siguiente ejemplo.
Ejemplo 15. Si X1 y X2 son abiertos, (X, X1 , X2 ) es exacta. En efecto, si
por ser abierto en X1 X2
tomamos A = X1 , U = X1 \ (X1 X2 ), como A = A
(es abierto en X, luego lo es en X1 X2 , por ser la unin abierta), y U = U por
ser cerrado en X1 X2 (U = (X1 X2 ) \ X2 ), podemos aplicar el teorema de
7

CAPTULO 2. LA SUCESIN DE MAYER-VIETORIS

escisin tomando como espacio X1 X2 , obteniendo que (X \U, A\U ) (X, A)

es una escisin. Pero X \ U = X2 y A \ U = X1 X2 , luego esta aplicacin es
precisamente k1 . La comprobacin es totalmente anloga para k2 .
Ejemplo 16. Para n 1, sean En+ y En los hemisferios superior e inferior,
respectivamente, de la esfera S n . Identificamos S n1 con el ecuador de S n , que
es En+ En . En (15.3) se prob que la inclusin (En+ , S n1 ) (S n , En ) es
una escisin. Anlogamente, (En , S n1 ) (S n , En+ ) tambin lo es. Estas dos
aplicaciones son en realidad las inclusiones k1 y k2 para la terna (S n , En+ , En ),
que por tanto es exacta.
A continuacin dedicamos unas pginas a un resultado de carcter totalmente algebraico, pero que nos resultar fundamental para la construccin de
la sucesin de Mayer-Vietoris.
Lema 17 (Barratt-Whitehead). Consideramos el siguiente diagrama de Rmdulos y homomorfismos, en el que las filas son exactas y todos los cuadrados
son conmutativos:
...

Bi+1

gi+1

hi+1

i+1

i+1

...

Ci+1

0
Bi+1

0
gi+1

Ai

fi

0
Ci+1

h0i+1

A0i

Bi

gi

Bi0

hi

i
fi0

Ci

gi0

Ci0

Ai1

...

i1
h0i

A0i1

...

Si los i son isomorfismos, entonces se tiene la sucesin exacta larga

...

0
Bi+1

i+1

Ai

A0i Bi

Bi0

Ai1

...

siendo i = (i fi ), i = (fi0 i ) y i = hi i1 gi0 .

Demostracin. Probaremos la exactitud en cada uno de los trminos de la sucesin.
En A0i Bi . Utilizando la conmutatividad del tercer cuadrado,
i i (a) = i (i (a), fi (a)) = fi0 i (a) + i fi (a) =) = 0
Por tanto Imi ker i . Veamos el otro contenido. Sea (a, b) ker i .
Entonces fi0 (a) = i (b). Aplicando gi0 a la igualdad, el lado izquierdo es
0 por exactitud en Bi0 , y por conmutatividad en el cuarto cuadrado, 0 =
i gi (b), y por ser i isomorfismo, gi (b) = 0. Esto implica que b ker gi =
Imfi , luego existe a0 Ai tal que fi (a0 ) = b.
Observamos ahora que, por conmutatividad del tercer cuadrado, fi0 i (a0 ) =
i fi (a0 ) = i (b) = fi0 (a0 ), luego a i (a0 ) ker fi0 = Imh0i+1 . Existe en0
tonces un c Ci+1
tal que h0i+1 (c) = a i (a0 ). Finalmente, utilizando la
conmutatividad del segundo cuadrado y la exactitud en A0i ,
1
1
1
i (a0 + hi+1 i+1
(c)) = (i (a0 + hi+1 i+1
(c)), fi (a0 + hi+1 i+1
(c))) =
1
1
= (i (a0 ) + i hi+1 i+1
(c), fi (a0 ) + fi hi+1 i+1
(c)) =

= (i (a0 ) + h0i+1 (c), fi (a0 ) = (a, b)

9
En Bi0 . Utilizando la conmutatividad del cuarto cuadrado y la exactitud
en Bi0 y Ci ,
i i (a, b) = i (fi0 (a) + i (b)) = hi i1 gi0 fi0 (a) + hi i1 gi0 i (b) =
= 0 + hi gi (b) = 0,
luego Imi ker i . Sea b ker i . Entonces hi i1 gi0 (b) = 0, y en particular i1 gi0 (b) ker hi = Imgi . Por tanto, existe b0 Bi tal que gi (b0 ) =
i1 gi0 (b), y por conmutatividad del cuarto cuadrado, gi (bi (b0 )) = 0. Entonces bi (b0 ) ker gi = Imfi , y existe a0 Ai tal que fi (a0 ) = bi (b0 ).
Concluimos entonces que
i (a0 , b0 ) = fi0 (a0 ) + bi (b0 ) = b i (b0 ) + i (b0 ) = b
En Ai . Usando la exactitud en Ai y la conmutatividad del segundo cuadrado,
1 0
1 0
1 0
i i + 1 =i hi+1 i+1
gi+1 (b) = (i hi+1 i+1
gi+1 (b), fi hi+1 i+1
gi+1 (b) =
0
= (h0i+1 gi+1
(b), 0) = (0, 0),

por lo que Imi+1 ker i . Sea a ker i , lo que implica que fi (a) =
i (a) = 0. Por la exactitud en Ai , existe c Ci+1 tal que hi+1 (c) =
a. Ahora, por conmutatividad del segundo cuadrado, h0i+1 i + 1(a) =
0
i hi+1 (c) = i (a) = 0, y entonces i+1 (c) ker h0i+1 = Imgi+1
, luego
0
0
0
0
existe b Bi+1 tal que gi+1 (b ) = i + 1(c). Finalmente,
(

1 0
1
i+1 (b0 ) = hi+1 i+1
gi+1 (b0 ) = hi+1 i+1
i+1 c) = hi+1 (c) = a

Definicin 18. En las condiciones del lema anterior, la sucesin exacta larga
dada por el lema se llama sucesin de Barratt-Whitehead.
Corolario 19. La sucesin de Barratt-Whitehead es functorial, esto es, dados
los diagramas de cuadrados conmutativos como los anteriores y sus sucesiones
de Barratt-Whitehead asociadas, si existen homomorfismos entre los diagramas
de cuadrados que forman un diagrama conmutativo en todos los cuadrados, entonces existen homomorfismos entre las sucesiones de Barratt-Whitehead que
hacen todos los cuadrados conmutativos.
Demostracin. Es inmediata a partir de la construccin de las sucesiones de
Barratt-Whitehead. Basta tomar los homomorfismos correspondientes a cada
trmino. Por ejemplo, si y son los homomorfismos que conectan A0i con A0i
i , respectivamente, tomamos para conectar A0 Bi con A0
y Bi con B
i
i
i . Observando el diagrama es inmediato comprobar que todos los cuadrados
B
resultan conmutativos.

10

CAPTULO 2. LA SUCESIN DE MAYER-VIETORIS

Ahora que tenemos esta herramienta, volvemos al contexto de la topologa

para aplicarla. A partir de ahora, salvo que se especifique lo contrario, trabajaremos con X = X1 X2 y A = X1 X2 . Consideramos las sucesiones de
homologa de los pares (X1 , A) y (X, X2 ):

...

Hq+1 (A)

Hq (X1 )

Hq (X1 , A)

Hq (A)

...

Hq+1 (X2 )

Hq (X)

Hq (X, X2 )

Hq (X2 )

...
...

Por el resultado (14.5) sabemos que la inclusin (X1 , A) (X, X2 ) es functorial, lo que significa que induce, a partir de las sucesiones anteriores, la siguiente
sucesin infinita de cuadrados conmutativos:
...

Hq (A)

Hq (X1 )

Hq (X1 , A)

Hq1 (A)

...

...

Hq (X2 )

Hq (X)

Hq (X, X2 )

Hq1 (X2 )

...

Definicin 20. Sea (X, X1 , X2 ) una terna exacta. Entonces, en el diagrama anterior, Hq (X1 , A) Hq (X, X2 ) es un isomorfismo, luego por el lema de BarrattWhitehead, induce una sucesin, a la que llamaremos sucesin de Mayer-Vietoris
de la terna (X, X1 , X2 ).
...

Hq+1 (X)

q+1

Hq (A)

Hq (X1 ) Hq (X2 )

Hq (X)

...

Veamos a continuacin dos consecuencias directas de la definicin.

Corolario 21. La sucesin de Mayer-Vietoris es functorial.
Demostracin. La sucesin de Mayer-Vietoris es una sucesin de Barratt-Whitehead,
cuya functorialidad ya hemos probado en el corolario anterior.
Corolario 22. Sean mi : A Xi , i = 1, 2 las inclusiones. Supongamos que en
la sucesin de Mayer-Vietoris existe un q tal que Hq+1 (X) = 0. Entonces, dado
a Hq (A), se tiene que a = 0 si y slo si Hq (m1 )(a) = Hq (m2 )(a) = 0.
Demostracin. = Si 0 = a, por la definicin de q se tiene (0, 0) = q (a) =
(Hq (m1 )(a), Hq (m2 )(a)).
= La hiptesis equivale a q (a) = 0, de donde se deduce que a ker q ,
y por la exactitud en Hq (A), existe c Hq+1 (X) tal que q+1 (c) = a. Pero
Hq+1 (X) = {0}, luego c = 0 y a = i+1 (0) = 0.
En lugar de la sucesin exacta de homologa, podemos considerar la versin
que termina con la homologa reducida, tambin exacta por el ejercicio (14.16),

11
dando lugar al diagrama de cuadrados conmutativos
...

H1 (X1 , A)

H0# (A)

H0# (X1 )

H0# (X1 , A)

...

H1 (X, X2 )

H0# (X2 )

H0# (X)

H0# (X, X2 )

Si A 6= , H0# (X1 , A) = H0 (X1 , A), y H0# (X, X2 ) = H0 (X, X2 ), luego la aplicacin entre ellos inducida por la inclusin es un isomorfismo, y podemos aplicar el
lema de Barratt-Whitehead para obtener una versin de la sucesin de MayerVietoris que termina de la forma siguiente:
...

H0# (A)

H1 (X)

H0# (X1 ) H0# (X2 )

H0# (X)

Volvamos ahora al caso general, en el que X1 X2 X pero no necesariamente son iguales. Recordemos el ejercicio (14.6), que nos dice que podemos
construir una sucesin de homologa de ternas (U, V, W ), donde U es un espacio
topolgico y U V W son subespacios, de la siguiente forma:
...

Hq (V, W )

Hq (U, W )

Hq (U, V )

Hq1 (V, W )

...

Sean Y = X1 X2 , A = X1 X2 . Tomando las ternas (U, V, W ) = (X, X1 , A) y

(U, V, W ) = (X, Y, X2 ), construimos, respectivamente, las sucesiones de homologa, y usamos el siguiente diagrama de inclusiones
(X1 , A)

(X, A)

(X, X1 )

(Y, X2 )

(X, X2 )

(X, Y )

para establecer con las dos sucesiones de homologa una sucesin de cuadrados
conmutativos:
...

Hq (X1 , A)

Hq (X, A)

Hq (X, X1 )

Hq1 (X, A)

...

...

Hq (Y, X2 )

Hq (X, X2 )

Hq (X, Y )

Hq1 (Y, X2 )

...

Definicin 23. Si (X, X1 , X2 ) es una terna exacta, la inclusin (X1 , A)

(Y, X2 ) es una escisin, luego induce un isomorfismo Hq (X1 , A)
= Hq (Y, X2 ), y
podemos aplicar al diagrama anterior el lema de Barratt-Whitehead, obteniendo
que la sucesin
...

Hq (X, A)

Hq (X, X1 ) Hq (X, X2 )

Hq (X, Y )

es exacta, y recibe el nombre de sucesin de Mayer-Vietoris relativa.

Hq1 (X, A)

...

12

CAPTULO 2. LA SUCESIN DE MAYER-VIETORIS

En algunos casos es interesante saber cmo acta el homomorfismo en el

nivel de cadenas. Consideremos el siguiente diagrama:
S(A)
i

S(X2 )

S(X1 )

k1

S(X1 , A)

i
k

S(X)

S(X, X2 )

Sea adems j : S(X, X2 ) S(X1 , A) la inversa de cadenas de i, dada por

(15.16). Es decir, j es tal que ijid = D+D. Sea z Zq+1 (X), y supongamos
por un momento que existe w Sq+1 (X1 ) verificando las propiedades:
ki(w) kz en S(X, X2 )
k1 (w) = 0
Ntese que la segunda implica que w Sq (A). Utilizando la definicin de
(vase el lema de Barratt-Whitehead), y teniendo en cuenta las propiedades
anteriores y que k no es ms que una proyeccin al cociente, [z] = [jk(z)] =
[djki(w)] = [w].
La cuestin ahora es: existe tal w? Vamos a ver que siempre podemos
encontrar un w Sq+1 (X1 ) en estas condiciones. Dado z, observamos que
jk(z) S(X1 , A), y adems k1 es sobreyectiva, luego existe w Sq+1 (X1 ) tal
que k1 (w) = jk(z). Comprobamos a continuacin que este w es el que buscamos.
Se verifica lo siguiente:
k(z) + Dk(z) = k(z) + (ij id D)k(z) = ijk(z) Dk(z) =
= ik1 (w) Dk(z) = ik1 (w),
ya que z Zq+1 (X), por lo que z = 0. Adems, por conmutatividad, ik1 (w) =
ki(w). Por tanto, ki(w) k(z) es un borde, luego ki(w) k(z). De las igualdades anteriores, por ser i inyectiva, extraemos que k1 (w) = k1 (w) = jk(z) =
jk(z) = 0. Concluimos entonces que w verifica las propiedades que buscbamos, y entonces [z] = [w].
Ahora que tenemos todas las herramientas que necesitbamos, podemos empezar a utilizar la sucesin de Mayer-Vietoris para calcular los mdulos de homologa de algunos espacios interesantes. Comenzaremos con la rosa de r ptalos.
Proposicin 24. Sea Gr la rosa de r ptalos. Entonces su homologa es
Hq (Gr ) = 0 si q 2.
M
H1 (Gr ) =
R
r

Demostracin. Lo probaremos por induccin en r. Para r = 1, Gr = S 1 . Recordemos el corolario (15.5), que nos dice que H1 (S 1 ) = R, Hq (S 1 ) = 0 para todo
q 2.

13
Supongamos ahora que la proposicin se verifica para r 1, y veamos que
se cumple para r. Escribimos Gr = Gr1 S 1 , y estn pegados por un punto,
luego Gr1 S 1 = {P }. Nuestro objetivo ahora es probar que (Gr , Gr1 , S 1 ) es
una terna exacta, es decir, que las inclusiones
k1 : (Gr1 , {P }) (Gr , S 1 )
k2 : (S 1 , {P }) (Gr, Gr1 )
son escisiones. Consideremos por ejemplo k1 (la otra es anloga). No es posible
aplicar el teorema de escisin directamente, ya que no se verifica que la clausura
de S 1 \{P } est contenida en el interior de S 1 , pero s podemos tratar de escindir
un subespacio un poco ms pequeo.
Consideremos un arco en S 1 que sea entorno de P , y sea V el complementario
en S 1 de dicho arco. Ahora s que podemos aplicar el teorema, obteniendo que
(Gr \ V, S 1 \ V ) (Gr , S 1 ) es una escisin. Como claramente V es un retracto
por deformacin de S 1 \ {P }, el resultado (15.2) nos asegura que k1 tambin es
una escisin.
Ahora podemos utilizar la sucesin de Mayer-Vietoris relativa a (Gr , Gr1 , S 1 ).
Para q 2, nos fijamos en el siguiente fragmento:
...

Hq ({P })

Hq (S 1 ) Hq (Gr1 )

Hq (Gr )

Hq1 ({P })

...

Por el ejemplo (9.4) tenemos que Hq {P } = Hq1 ({P }) = 0, y como la sucesin

es exacta, necesariamente tenemos un isomorfismo entre los mdulos que quedan
en el medio. Aplicando la hiptesis de induccin, concluimos que Hq (Gr ) =
Hq (S 1 ) Hq (Gr1 ) = 0.
Para el caso q = 1, consideramos la sucesin de Mayer-Vietoris terminando
en la homologa reducida. En concreto, tenemos esta sucesin:
...

H1 ({P })

H1 (S 1 ) H1 (Gr1 )

H1 (Gr )

H0# ({P })

De nuevo, por (9.4) tenemos que H1 ({P }) = 0, y ahora H0# ({P }) = 0 por
(9.7),L
y volvemosLa tener un isomorfismo, luego H1 (Gr ) = H1 (S 1 )H1 (Gr1 ) =
R r1 R = r R.
Observacin 25. Un arco cerrado es un espacio homeomorfo al intervalo cerrado
o a S 1 . Un grafo es una unin finita de arcos cerrados que como mucho tienen
en comn sus extremos. Se puede probar (Artin, Vorlesungen ber Algebraische
Topologie, p. 49) que un grafo es homotpicamente equivalente a Gr , y por tanto
hemos determinado en la proposicin anterior la homologa de los grafos.
Ejemplo 26. Vamos a utilizar la sucesin de Mayer-Vietoris para calcular la
homologa del toro T . Sea A una corona circular y sean C1 y C2 sus fronteras
exterior e interior, respectivamente. Podemos pensar el toro como dos copias de
A pegadas por los C1 y los C2 .
Consideramos las inclusiones (A, A) (T, A). No podemos aplicar el teorema de escisin, ya que la clausura de A \ A no est contenido en el interior de A. Sin embargo, podemos considerar una corona ms pequea B contenida en A, a la que s podemos aplicar el teorema de escisin. Ahora, como

...

14

CAPTULO 2. LA SUCESIN DE MAYER-VIETORIS

(T \ (A \ A)), A \ (A \ A) es un retracto por deformacin de (T \ B, A \ B),

por (15.2) tenemos que (A, A) (T, A) es una escisin.
Podemos entonces construir la sucesin de Mayer-Vietoris relativa a (T, A, A)
(ntese que, aunque denotamos por A a las dos coronas, no son la misma, y
de hecho su interseccin es C1 + C2 ). Nos interesa, en concreto, el siguiente
fragmento:
H2 (A) H2 (A)

...
1

H1 (A) H1 (A)

H2 (T )
H1 (T )

H1 (C1 + C2 )
H0# (C1 + C2 )

Como C1 + C2 tiene dos componentes conexas, H1 (C1 + C2 ) = R R, y por

(9.7), H0# (C1 + C2 ) = R. Adems, las inclusiones Ci A son equivalencias
de homotopa (al componer con la identidad, una composicin ya es la propia
identidad, y para la otra se toma la homotopa que consiste en aplastar la corona
contra Ci ), luego H2 (A) H2 (A) = H2 (C1 ) H2 (C1 ) = 0 y H1 (A) H1 (A) =
H1 (S 1 ) H1 (S 1 ) = R R. La sucesin anterior es entonces:
0

H2 (T )

RR

RR

H1 (T )

De aqu podemos deducir H1 (T ) y H2 (T ). Veamos cmo.

La matriz de 1 respecto a la base natural es una matriz 2 2 que tiene un
1 en todas las entradas, ya que cada generador del dominio va en cualquiera de
los generadores del rango, luego su ncleo est generado por (1, 1) y su imagen
por (1, 1), es decir, ambos son R.
Por exactitud en H2 (T ), 0 = Im2 = ker 2 , luego 2 es inyectiva y, por
exactitud en H1 (C1 + C2 ), H2 (T ) = Im2 = ker 1 = R. Por exactitud en
H0# (C1 + C2 ), Im1 = ker = R.
Por el primer teorema de isomorfa y la exactitud en H1 (C1 ) H1 (C2 ),
Im1 = (RR)/ ker 1 = (RR)/Im1 = (RR)/R = R. Por el primer teorema de isomorfa y la exactitud en H1 (T ), R = H1 (T )/ ker 1 = H1 (T )/Im1 =
H1 (T )/R, luego H1 (T ) = R R.
El siguiente ejercicio generaliza de forma directa este ejemplo a la suma
conexa de toros.
Ejercicio 27. Sea Dk la superficie obtenida al quitar k discos abiertos disjuntos
del disco unidad, E 2 . Sea Mk la superficie que se obtiene al identificar dos
Lcopias
de Dk a lo largo de sus fronteras. Entonces H2 (Mk ) = R y H1 (Mk ) = 2k R.
Empezamos observando que Dk es homtopo a Gk , la rosa de k ptalos. En
efecto, Gk se puede incluir en Dk tomando los ptalos alrededor de los agujeros
creados al quitar los discos abiertos, y Dk se puede aplastar sobre dichos discos
para obtener la rosa.
Siguiendo el proceso anlogo al del ejemplo anterior, vamos a considerar
la inclusin de una de las dos copias de Dk en Mk como aplicacin de pares:

15
(Dk , Dk ) (Mk , Dk ), y vamos a ver que es una escisin. Queremos aplicar el
teorema de escisin a Dk Dk , pero su clausura no est contenida en el interior
de Dk , as que tomamos un abierto A un poco ms pequeo (de forma que est a
una distancia mnima de la frontera pero lo suficientemente pequea como para
pasar entre todos los agujeros), y aplicamos a este abierto el teorema de escisin.
Como (Mk \ (Dk \ Dk ), Dk \ (Dk \ Dk )) es un retracto por deformacin de
(Mk \ A, Dk \ A), por (15.2) podemos escindir Dk \ Dk .
Tenemos pues que las inclusiones son escisiones, luego la terna (Mk , Dk , Dk )
(de nuevo considerando dos copias distintas de Dk , cuya interseccin es la unin
disjunta de k + 1 circunferencias) es exacta, y podemos construir la sucesin de
Mayer-Vietoris.
2

H2 (Dk ) H2 (Dk )

...
1

H1 (Dk ) H1 (Dk )

H2 (Mk )
1

H1 (Mk )

H2 (tk+1 )S 1
H0# (tk+1 S 1 )

Como
Dk ' Gk , tienen la misma homologa, luego H2 (Dk ) = 0 y H
L
L1 (Dk ) =
1
R.
Descomponiendo
en
componentes
conexas,
H
(t
S
)
=
1
k+1
k
k+1 R y
L
#
1
H0 (tk+1 S ) = k R. La sucesin queda:
0

H2 (Mk )

k+1

2k

H1 (Mk )

Igual que en el ejemplo anterior, la clave es ver cmo acta el homomorfismo

1 . Los generadores que corresponden a los discos quitados de cada Dk van
a los dos correspondientes generadores en Mk que rodean a dichos discos. El
generador correspondiente a la circunferencia exterior va a todos. Por tanto, la
matriz de 1 es una matriz 2k k + 1 compuesta, salvo el order de las columnas,
por dos matrices identidad de orden k, una encima de otra, y una columna
L de
unos al final. Entonces, ker 1 = R generado por (1, . . . , 1, 1), Im1 = k R
generado por (1, 1, . . . , 1), (1, 1, . . . , 1), . . . , (1, . . . , 1, 1).
Utilizamos ahora el carcter exacto de la sucesin y el primer teorema
de isomorfa para obtener los mdulos de homologa. Observamos que 0 =
Im
Im2 = L
ker 1 = L
R. Por otra parte, L
Im1 =
L 2 = ker 2 , luego
L H2 (Mk ) = L
=
R,
y
entonces
2k R/ ker 1 =
2k /Im1 =
2k R/
kR
k
kR =
L
H1 (Mk )/ ker

=
H
(M
)/Im
=
H
(M
)/
R,
de
donde
concluimos
que
1
1
k
1
1
k
k
L
H1 (Mk ) = 2k R.

16

CAPTULO 2. LA SUCESIN DE MAYER-VIETORIS

Bibliografa
[Artin and Braun, 1964] Artin, E. and Braun, H. (1964). Vorlesungen uber Algebraische Topologie. Armin Thedy.
[Greenberg and Harper, 1981] Greenberg, M. J. and Harper, J. R. (1981). Algebraic topology: a first course. Benjamin-Cummings Pub Co.
[Halmos, 1948] Halmos, P. R. (1948). Finite dimensional vector spaces. Number 7. Princeton University Press.

17