Sei sulla pagina 1di 110

HOMOLOGIA SINGULAR

Curso 2004/2005
Prof. Marta MACHO STADLER
Marta Macho Stadler
Departamento de Matem aticas
Facultad de Ciencia y Tecnologa
Universidad del Pas VascoEuskal Herriko Unibertsitatea
Barrio Sarriena s/n, 48940 Leioa
e-mail: mtpmastm@lg.ehu.es
http://www.ehu.es/mtwmastm
Tlf: 946015352 Fax: 946012516
Portada: Toro modular, realizado con 555 piezas de papel plegado, ensambladas sin usar
pegamento alguno. El resultado es un toro poli edrico formado a partir de pent agonos, hex agonos
y hept agonos, us andose una pieza por cada arista. Los 10 pent agonos de la parte exterior (en
rojo) le dan curvatura positiva, mientras que los 10 hept agonos de la parte interior (en morado)
proporcionan la curvatura negativa necesaria.
El dise no de las piezas se debe a Tom Hull y el del toro de la fotografa a Roberto Gretter. El
modelo de la portada ha sido plegado por Jos e Ignacio Royo Prieto.
Indice
1 Introducci on v
2 Una revisi on hist orica de la homologa 1
2.1 Los inicios de la teora . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2 El comienzo de la algebrizaci on . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 La homologa en la d ecada 1925-1935 . . . . . . . . . . . . . . . . . . . . . . 4
2.3.1 Vietoris, Alexandroff, Lefschetz y

Cech . . . . . . . . . . . . . . . . . 5
2.3.2 Cohomologa de De Rham . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.3 Homologa singular y homologa relativa . . . . . . . . . . . . . . . . 6
2.4 Axiomatizaci on de la teora . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Un poco de

Algebra Homol ogica 9
3.1 Categoras y functores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2 M odulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.3 Complejos de cadenas y de cocadenas . . . . . . . . . . . . . . . . . . . . . . 18
3.4 Sucesiones exactas de homologa . . . . . . . . . . . . . . . . . . . . . . . . 21
3.5 Caracterstica de Euler-Poincar e . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.6 Tensor y Hom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.7 Los functores Ext y Tor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4 Teora singular 37
4.1 Preliminares anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
i
4.2 Teora singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Propiedades de Homotopa 43
5.1 El teorema de invarianza por homotopa . . . . . . . . . . . . . . . . . . . . . 43
5.2 El teorema de Hurewicz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
6 Homologa relativa 47
6.1 Los m odulos de homologa relativa . . . . . . . . . . . . . . . . . . . . . . . 47
6.2 Sucesi on exacta larga de homologa . . . . . . . . . . . . . . . . . . . . . . . 49
6.3 Homotopas en pares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6.4 Una interpretaci on de la homologa relativa . . . . . . . . . . . . . . . . . . . 51
7 La sucesi on de Mayer-Vietoris 53
7.1 Teorema de excisi on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.2 Caso simplicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.3 Caso general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.4 La sucesi on de Mayer-Vietoris . . . . . . . . . . . . . . . . . . . . . . . . . . 55
8 Axiomas de la Homologa 59
9 Algunas aplicaciones de la Homologa 61
9.1 Homologa de las esferas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
9.2 Grado de una aplicaci on entre esferas . . . . . . . . . . . . . . . . . . . . . . 62
9.3 Teoremas de Jordan-Brouwer . . . . . . . . . . . . . . . . . . . . . . . . . . 64
9.4 Homologa en algunos cocientes . . . . . . . . . . . . . . . . . . . . . . . . . 65
9.4.1 El espacio proyectivo real . . . . . . . . . . . . . . . . . . . . . . . . 66
9.4.2 El espacio proyectivo complejo . . . . . . . . . . . . . . . . . . . . . 67
9.4.3 La botella de Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
9.4.4 El toro generalizado . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
10 Homologa en productos 69
10.1 Estudio Topol ogico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
10.2 Estudio homol ogico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11 Dualidad 77
11.1 Cohomologa de complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
11.2 Cohomologa singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
11.3 Productos cup y cap . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
11.3.1 El producto cup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
11.3.2 El producto cap . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
11.4 Orientaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
11.4.1 Orientaci on en variedades . . . . . . . . . . . . . . . . . . . . . . . . 83
11.4.2 Fibrado de las orientaciones y clase fundamental . . . . . . . . . . . . 86
11.5 Teorema de dualidad de Poincar e . . . . . . . . . . . . . . . . . . . . . . . . 89
11.5.1 El caso compacto . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
11.5.2 El caso no compacto . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
11.6 Otros teoremas de dualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
11.6.1 La dualidad m odulo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 92
11.6.2 La dualidad sobre variedades cerradas. Dualidad de Lefschetz . . . . . 92
11.6.3 Cohomologa de

Cech . . . . . . . . . . . . . . . . . . . . . . . . . . 93
12 Algunos ejercicios 95
12.1 N umeros de Betti y caracterstica de Euler . . . . . . . . . . . . . . . . . . . . 95
12.2 Teorema del punto jo de de Lefschetz . . . . . . . . . . . . . . . . . . . . . 96
12.3 Espacios asf ericos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
12.4 Homologa reducida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
12.5 Homologa de un ejemplo de complejo de cadenas . . . . . . . . . . . . . . . 98
12.6 Algunos ejemplos de homologa de espacios . . . . . . . . . . . . . . . . . . . 99
12.7 El teorema de separaci on de Jordan-Brouwer . . . . . . . . . . . . . . . . . . 99
12.8 Es mejor la cohomologa que la homologa? . . . . . . . . . . . . . . . . . . 99
12.9 Por qu e la dualidad? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Bibliografa 101
Introducci on
Ir as naciendo poco
a poco, da a da.
Como todas las cosas
que hablan hondo, ser a
tu palabra sencilla.
El libro
Jos e Hierro (1922-2002)
La teora de homologa empieza tradicionalmente como una rama de la topologa, siendo
Poincar e el primero en dar una denici on de este concepto en su Analysis Situs en 1895.
Tiene que ver con la siguiente situaci on: se dispone de un espacio topol ogico complicado y se
desea obtener informaci on sencilla relacionada con el proceso de contar agujeros de cualquier
dimensi on, obteniendo ciertos invariantes lineales. Se puede pensar en la homologa como en
una construcci on de invariantes lineales asociados a una situaci on no lineal.
La homologa es una herramienta algebraica fundamental que puede entenderse como un
modo de obtener informaci on sobre espacios topol ogicos: se trata de una cierta algebra extraida
de la geometra.
Otro origen de la teora de homologa proviene, por ejemplo, de Hilbert y del estudio de
polinomios. Los polinomios son funciones que no son lineales y se pueden multiplicar para
obtener otros de grados mayores; Hilbert considera ideales, es decir, combinaciones lineales
de polinomios con ceros comunes, y estudia los generadores de estos ideales (que pueden ser
redundantes) y sus relaciones y despu es las relaciones entre las relaciones. Obtiene as una
jerarqua entre tales relaciones, llamadas syzygies de Hilbert: esta teora de Hilbert es una
manera sosticada de intentar reducir una situaci on no lineal (el estudio de polinomios) a una
situaci on lineal. Esencialmente, Hilbert produce un complicado sistema de relaciones lineales,
que codica cierta informaci on sobre objetos no lineales, los polinomios. Esta teora algebraica
es de hecho paralela a la teora topol ogica, y se fusionan ambas en lo que se denomina el algebra
homol ogica.
La geometra algebraica, uno de los grandes logros matem aticos de los a nos 1950, es el
desarrollo de la teora de cohomologa de haces y su extensi on a la geometra por parte de la
escuela francesa de Leray, Cartan, Serre y Grothendieck: se observa una combinaci on de las ideas
topol ogicas de Riemann-Poincar e, las algebraicas de Hilbert, y algunas analticas introducidas
v
fundamentalmente para medir bien.
La homologa tiene muchas aplicaciones a un en otras ramas del algebra: los grupos nitos o
las algebras de Lie tienen grupos de homologa asociados. En teora de n umeros hay importantes
aplicaciones de la teora de homologa, a trav es del grupo de Galois.
En este curso, vamos a pasar de espacios topol ogicos X a m odulos sobre un anillo R,
H
0
(X; R), H
1
(X; R), ..., de modo que toda aplicaci on continua f: XY , tenga asociado,
para cada n 0, un homomorsmo H
n
(f): H
n
(X; R)H
n
(Y ; R), vericando las siguientes
propiedades esenciales
(i) si f es una equivalencia de homotopa (en particular, si f es un homeomorsmo), H
n
(f) es
un isomorsmo; es decir, la estructura de H
n
(X; R) depende s olo del tipo de homotopa
del espacio;
(ii) si f
1
y f
2
son hom otopas, entonces H
n
(f
1
) = H
n
(f
2
), para cada n 0;
(iii) H
0
(X; R) indica el n umero de componentes conexas por caminos de X y si n > 0,
H
n
(X; R) tiene algo que ver con una cierta conexi on de orden superior;
(iv) si X es conexo por caminos, H
1
(X; Z) es el abelianizado del grupo fundamental del
espacio
1
(X);
(v) si X es una n-variedad compacta y conexa, el grupo H
n
(X; R) es cclico innito y para
q > n es H
q
(X) = 0.
Vamos a ver algunas de las aplicaciones m as importantes de la teora de homologa (teora del
grado, teoremas de Jordan-Brouwer sobre invarianza de dimensi on y dominio, etc.) y nalizare-
mos viendo su relaci on con la geometra (m as exactamente, con la teora de cohomologa), a
trav es de algunos de los m as conocidos teoremas de dualidad.
Una revisi on hist orica de la homologa
Torres se doran amigas
de las mieses y los cerros,
y entre la luz y las piedras
hay retozos de aleteos.
El aire
Jorge Guill en (1893-1984)
2.1 Los inicios de la teora
El concepto de homologa surge a nales del siglo XIX, como consecuencia del estudio de la
geometra de dimensi on n. E. Betti (1823-1892) estudia la multiconexi on de guras de dimensi on
n, generalizando el concepto en dimensi on 3 estudiada por J.B. Listing (1808-1882). Para ello,
utiliza hipersupercies sin borde, an alogas a las curvas cerradas de Riemann. Con este nuevo
concepto, encuentra una caracterizaci on igualdad entre dos supercies. Sin embargo, es H.
Poincar e (1854-1912) quien, partiendo del trabajo intuitivo de Betti, desarrolla una teora m as
general.
Poincar e es el primero que se plantea operar con objetos topol ogicos en lugar de con n umeros,
como hasta entonces se vena haciendo. Motivado por el estudio de la integraci on sobre varie-
dades de dimensi on arbitraria, Poincar e introduce en 1895 el nuevo concepto de homologa en
su Analysis Situs
Denici on 2.1 Dada una variedad de dimensi on n V y r subvariedades de dimensi on p conexas

1
, . . . ,
r
, se dice que existe una homologa entre ellas,
1
+ +
r
0 , si para alg un entero
k, el conjunto de k copias de cada subvariedad
i
, forma la frontera de otra subvariedad conexa
de dimensi on (p + 1) W de V .
Poincar e entiende por variedad el conjunto de ceros de un sistema adecuado de funciones,
es decir, es la generalizaci on a dimensiones superiores del concepto de curva en dimensi on 1
o supercie en dimensi on 2. A partir de esta denici on, introduce el concepto de variedad
negativa (entendi endola como la variedad con orientacion opuesta) y observa que es
posible, formalmente, sumar, restar y multiplicar por enteros las variedades, de manera an aloga
a las ecuaciones ordinarias. A partir de aqu denomina a un conjunto de variedades linealmente
independiente si no existe ninguna relaci on de homologa con coecientes enteros entre ellas.
1
2 2. Una revisi on hist orica de la homologa
En honor a E. Betti, Poincar e dene los llamados n umeros de Betti, que pretenden dar una
idea de conexi on de orden superior
Denici on 2.2 Dada una variedad V , el n umero de Betti de dimensi on p de V , b
p
, es el n umero
m aximo de subvariedades cerradas (i.e. sin borde) de dimensi on p, m as uno, contenidas en V y
que son linealmente independientes.
Poincar e utiliza en realidad una unidad m as que Betti en sus n umeros de conexi on. En
t erminos m as actuales, denimos n umero de Betti como
Denici on 2.3 Sea V una variedad. El n umero de Betti de dimensi on p de V es el m aximo
n umero de p-ciclos independientes que existen en una triangulaci on arbitraria de V .
En su Analysis Situs, Poincar e presenta uno de sus principales resultados en homologa
conocido como el teorema de dualidad, en el que prueba el siguiente resultado
Teorema 2.4 Dada una variedad de dimensi on n V cerrada, orientable y conexa, es b
p
= b
np
para p 1, . . . , n 1, donde b
p
es el n umero de Betti de dimensi on p.
Sin embargo, la prueba de Poincar e no es muy clara, y contiene varios defectos, que son
corregidos posteriormente por J.W. Alexander (1888-1971) en 1915. Poincar e introduce tambi en
los conceptos de grupo fundamental y coeciente de torsi on, que juegan actualmente un papel
de gran importancia en topologa.
L. Euler (1707-1783) dene un invariante topol ogico conocido actualmente con el nombre
de caracterstica de Euler
Denici on 2.5 Sea X una variedad de dimensi on n con una triangulaci on arbitraria. Se dene la
caracterstica de Euler de X como
n

i=0
(1)
i
a
i
, donde a
i
denota el n umero de caras de dimensi on
i de la triangulaci on.
Los n umeros de Betti de dimensi on p se relacionan con la caracterstica de Euler a trav es
de una importante f ormula que Poincar e demuestra en la ultima parte de su Analysis Situs.
Actualmente esta f ormula se conoce como f ormula de Euler-Poincar e
n

r=0
(1)
r
a
r
=
n

r=0
(1)
r
b
r
donde el t ermino de la izquierda es la caracterstica de Euler de una variedad dada V y los b
r
son los n umeros de Betti de dimensi on r de V .
Las ideas de Poincar e son la base sobre la que se va desarrollando la teora de homologa
moderna. Hasta mediados de los a nos 20, los top ologos siguen estudiando la homologa desde
un punto de vista geom etrico como haba hecho Poincar e. Adem as, siguen considerando las
subvariedades de dimensi onpcomosoluci onde unsistema de ecuaciones. Uncambioimportante
supone considerar dichas variedades como un conjunto de variedades modelo de dimensi on p,
donde una variedad modelo es la imagen continua de un tri angulo de dimensi on p.
3
En 1926, J.W. Alexander realiza las siguientes deniciones
Denici on 2.6 (i) un p-smplice es el an alogo a un tri angulo de dimensi on p, es decir, es la
envolvente convexa de p + 1 puntos;
(ii) un complejo es un conjunto nito de smplices de cualquier dimensi on de manera que la
intersecci on de dos cualesquiera de ellos no contiene un punto interior, y tal que toda cara
de cada smplice del complejo es a su vez un smplice del complejo;
(iii) una k-cadena es una combinaci on lineal de k-smplices. Se distingue entre
(a) una k-cadena elemental es la k- esima cara de un p-smplice;
(b) una k-cadena arbitraria es una combinaci on lineal de k-cadenas elementales con
coecientes enteros;
(iv) se llama k-borde a la suma de todos los (k 1)-smplices de una k-cadena.
(v) se llama k-ciclo a una k-cadena cuyo k-borde es cero.
Bas andose en las nuevas deniciones, Alexander redene el concepto de homologa
Denici on 2.7 Un k-ciclo K es hom ologo a cero, K 0 , si es el borde de una (k +1)-cadena
L. Y dos k-cadenas K y K

son hom ologas, K K

, si K K

0.
Alexander tambi en redene el n umero de Betti de dimensi on p como el n umero m aximo de
p-ciclos que son linealmente independientes respecto a un borde, es decir, tales que ninguna
combinaci on lineal es hom ologa a cero (el resultado es una unidad menor que en la denici on
de Poincar e). Considerando entonces el conjunto de ciclos con la operaci on suma, E. Noether
(1882-1935) observa en 1925 que hay una estructura de grupo bajo las deniciones dadas por
Alexander. A partir de este momento se comienza a estudiar la homologa desde un punto de
vista algebraico adem as del geom etrico exclusivo utilizado hasta entonces.
2.2 El comienzo de la algebrizaci on
E. Noether, tras asistir a los cursos de topologa impartidos por P. S. Alexandroff (1896-1982)
sugiere denir el p-grupo de Betti como el grupo cociente de todos los p-ciclos sobre el subgrupo
de p-ciclos hom ologos a cero (es decir, los p-bordes). Noether crea un nuevo campo al denir
el concepto homologa en un ambito puramente algebraico. Previamente, varios matem aticos -
entre ellos J.W. Alexander y S. Lefschetz (1884-1972) - haban denido los conceptos de cadena
y ciclo con coecientes no necesariamente enteros, generalizando as la homologa: por ejemplo,
consideran smplices no orientados tomando como coecientes de las cadenas n umeros enteros
m odulo 2, m as adelante n umeros enteros m odulo n, y m as tarde n umeros racionales. E. Noether
reformula esta teora de cadenas y ciclos en el lenguaje de la teora de grupos: cadenas de la
4 2. Una revisi on hist orica de la homologa
misma dimensi on pueden sumarse formalmente, adicionando los coecientes correspondientes
a un mismo smplice, y de manera an aloga los ciclos. De esta forma, cadenas y ciclos forman
grupos abelianos libres. Noether observa en particular que los bordes de las cadenas denen un
homomorsmo de grupos abelianos entre el grupo de las j-cadenas y el de las (j 1)-cadenas,

j
: C
j
C
j1
, y verican la identidad
j

j+1
= 0, es decir, Im(
j+1
) Ker(
j
),
surgiendo as una nueva denici on de homologa como H
j
= Ker(
j
)/Im(
j+1
).
H. Hopf (1894-1971) pasa su primer a no de carrera en G otingen, y utiliza las nuevas deni-
ciones de Noether para elaborar gran parte de sus teoras.
En 1927, L. Vietoris (1891-2002) dene el grupo de homologa H(A) de un complejo A,
como Noether haba sugerido, es decir, como el cociente del grupo de ciclos m odulo los bordes
de las cadenas.
Un a no despu es, W. Mayer (1887-1948) publica un sistema de axiomas para denir los
grupos de homologa, y lo hace de manera totalmente algebraica
Denici on 2.8 Un anillo de complejos es una colecci on de complejos K
p

pZ
, tales que
(i) los elementos de dimensi on p forman un grupo abeliano K
p
nitamente generado,
(ii) para cada p Z se dene un homomorsmo R
p
: K
p
K
p1
, con R
p1
(R
p
(K
p
)) = 0.
R
p
suele denotarse simplemente R, quedando as la tercera condici on R
2
= 0.
Con estos axiomas, Mayer dene los siguientes conceptos
Denici on 2.9 (i) el grupo de p-ciclos C
p
= K K
p
, tales que R(K) = 0 = Ker(R
p
);
(ii) el grupo de p-bordes es el grupo B
p
= R(K
p+1
) = Im(R
p+1
).
Y modicando un poco la denici on de Hopf, Mayer dene el grupo de homologa de un
anillo
Denici on 2.10 Sea un anillo de complejos, entonces el p- esimo grupo de homologa de
es H
p
() = C
p
/B
p
.
A partir de este momento, el campo de la topologa algebraica crece a gran velocidad.
2.3 La homologa en la d ecada 1925-1935
Durante los a nos 1925-1935, numerosos top ologos inventan nuevas teoras de homologa. Entre
ellos se encuentran principalmente: J.W. Alexander, P.S. Alexandroff, S. Lefschetz (1884-1972),
L. Vietoris, G. de Rham (1903-1990) y N. Steenrod (1910-1971) (aunque la teora de Steenrod
se desarrolla m as adelante, pertenece tambi en al movimiento de esta epoca). En cada uno
de los casos, la teora de la homologa se caracteriza de la manera siguiente: se describe,
5
siguiendo la corriente de algebrizaci on, la construcci on de un complejo de cadenas (eligiendo
los correspondientes grupos abelianos K
n
y los homomorsmos R
n
) y se dene su grupo de
homologa como la homologa de ese complejo. Adem as, se denen los n umeros de Betti para
variedades complejas.
2.3.1 Vietoris, Alexandroff, Lefschetz y

Cech
Una de las ideas que surgen se debe a Vietoris, Alexandroff, Lefschetz y E.

Cech (1893-1960).
Todos ellos desarrollan un mismo m etodo que consiste en lo siguiente: se parte de un cubrimiento
por abiertos (nito o innito) | = U

A
de un espacio topol ogico X. Adicho cubrimiento se
le asocia un complejo simplicial denominado nervio de |, N(|), donde a cada U

se le asigna
un v ertice v

y los k-smplices se generan a partir de familias de (k + 1)-smplices cuando


U

1
. . . U

k+1
,= . Entonces, si 1 = V

B
es un renamiento de |, cada V

est a
contenido en alg un U

, induciendo as una aplicaci on simplicial : N(1) N(|). El nuevo


m etodo se utiliza durante esta d ecada, culminando en el a no 1935 con lo que hoy se conoce con
el nombre de homologa de

Cech
Denici on 2.11 El grupo de cohomologa de

Cech

H
i
(X; G) se dene como el lmite directo
lim

H
i
(N(|, G))
donde | = U

A
es un cubrimiento por abiertos de X, la direcci on dada sobre estos cubri-
mientos es la relaci on de renamiento y G es un grupo.
Otro gran avance en este a no es la determinaci on de los grupos de coecientes universales de
homologa, es decir, aquellos grupos A
u
que determinan todos grupos de homologa H
n
(X; A)
con Aun grupo de coecientes arbitrario.

Cech prueba en su artculo Les groupes de Betti dun
complexe inni su famoso teorema de los coecientes universales
Teorema 2.12 Para todo grupo abeliano A y cada complejo X se tiene
H
n
(X; A) = H
n
(X; Z) A.
C ech es tambi en el primero en introducir en la homologa algebraica el producto tensorial
y el grupo de torsi on Tor de grupos abelianos.
2.3.2 Cohomologa de De Rham
Otra de las ideas a destacar es la cohomologa de de Rham, que G. DeRhamintroduce en 1931 en
su tesis Sur lanalysis situs des vari et es ` a n dimensions. Poco antes, E. Cartan (1869-1951)
haba conjeturado que el n umero de Betti b
i
de una variedad M es el m aximo n umero de i-formas
cerradas
j
tales que ninguna combinaci on lineal no trivial

j
es exacta (entendi endose que
6 2. Una revisi on hist orica de la homologa
una forma es exacta cuando existe otra forma de manera que = d). DeRham resuelve
la conjetura de Cartan, y lo hace utilizando una triangulaci on sobre M y la aplicaci on bilineal
(C, )
_
C
, donde C es un i-ciclo de la triangulaci on, y es una i-forma cerrada. De Rham
prueba adem as el recproco de la f ormula de Stokes, es decir
Teorema 2.13 (i) sea C un i-ciclo jo, entonces
_
C
= 0 si y s olo si C es un borde;
(ii) sea una i-forma, entonces
_
C
= 0 si y s olo si es exacta.
Si se denota por H
i
DR
(M) el cociente de todas las i-formas cerradas entre todas las i-formas
exactas, se obtiene el i- esimo grupo de cohomologa de DeRham. Sin embargo, en 1931 a un no
existe este t ermino, por lo que DeRham se ve forzado a expresar sus resultados en t erminos de
homologa.
El resto de la d ecada no juega un papel muy importante en el desarrollo de la homologa.
Sin embargo, el a no 1935 es muy fructfero para la topologa en muchos aspectos: W. Hurewicz
(1904-1956) dene las denominadas posteriormente aplicaciones de Hurewicz
Denici on 2.14 Se dene la n- esima aplicaci on de Hurewicz entre el n- esimo grupo de homo-
topa del espacio topol ogico X y el n- esimo grupo de homologa entera
h :
n
(X, x
0
) H
n
(X; Z),
como la funci on que lleva la clase de homotopa de : [0, 1]
n
X (basada en x
0
, i.e. la
frontera topol ogica del n-cubo [0, 1]
n
va por al punto x
0
X) en la clase de homologa del
n-smplice singular .
Hurewick estudia tambi en los espacios asf ericos, es decir, los espacios X cuyos grupos de
homotopa
n
(X) = 0 para n ,= 1, y deduce que para dichos espacios el grupo de homologa
H
n
(X; Z) depende tan s olo de su grupo fundamental
1
(X).
2.3.3 Homologa singular y homologa relativa
La tercera idea importante se denomina homologa singular y es introducida en 1944 por S.
Eilenberg (1913-1998). Lefschetz haba dado en 1933 la denici on de smplice singular con
algunas imperfecciones, por lo que Eilenberg la modica m as adelante dando lugar a las deni-
ciones que actualmente conocemos de homologa singular (con coecientes en un anillo R) de
X, H
n
(X; R).
Lefschetz dene adem as la noci on de homologa relativa H
i
(K, L) donde K es un complejo
nito, y L un subcomplejo de K. Este nuevo concepto engloba la homologa singular y la
homologa de

Cech descritas anteriormente.
7
Con el siguiente teorema, Hurewick consigue relacionar el grupo fundamental
1
(X, x
0
) con
el grupo abeliano H
1
(X, Z) de un espacio topol ogico X
Teorema 2.15 La aplicaci on de Hurewick :
1
(X, x
0
) H
1
(X) es un homomorsmo de
grupos. Adem as, si X es conexo por caminos, es sobreyectiva y Ker() es el subgrupo
conmutador de
1
(X, x
0
). Es decir, H
1
(X, Z) es el abelianizado de
1
(X, x
0
).
2.4 Axiomatizaci on de la teora
En 1945 Eilenberg y S. MacLane (1909-) en su artculo Relations between homology and
homotopy groups of spaces, denen un nuevo concepto
Denici on 2.16 Una categora C es una colecci on A, con A elementos abstractos deno-
minados objetos de la categora, y otros elementos abstractos denominados morsmos de la
categora.
M as adelante en el mismo artculo, Eilenberg y MacLane denen un functor de la siguiente
manera
Denici on 2.17 Sean C = A, y D = B, dos categoras. Un functor covariante
T : C D es un par de funciones denotadas ambas por T, una funci on objeto y una funci on
morsmo. La funci on objeto asigna a cada A en C un objeto T(A) en D, y la funci on morsmo
asigna a cada morsmo : A A

en C, un morsmo T() : T(A) T(A

) en C.
El par de funciones debe enviar la aplicaci on identidad en smisma, y debe vericar identidades
del tipo T(

) = T()T(

) siempre que el producto

est e bien denido en C. Un func-


tor contravariante se dene de manera an aloga, cambiando el sentido de composici on de los
morsmos.
Ese mismo a no Eilenberg trabaja tambi en con Steenrod; ambos deciden comenzar a estudiar
la homologa desde un punto de vista diferente: en lugar de analizar la manera de construir
grupos de homologa y denir as nuevos grupos, se concentran en estudiar las propiedades que
cumplen los grupos ya denidos hasta entonces. De esta manera seleccionan varias propiedades
comunes a todos ellos, y las denominan axiomas de la teora de la homologa. Los nuevos
axiomas de homologa se introducen en su artculo Axiomatic approach to homology theory
y los veremos en captulo 8.
Eilenberg y Steenrod prueban tambi en que muchas de las propiedades demostradas para las
diferentes teoras son consecuencia de estos axiomas. Su resultado m as interesante es la prueba
de que en la categora de los espacios compactos triangulables, todas las teoras de homologa
que verican los axiomas son isomorfas.
8 2. Una revisi on hist orica de la homologa
Aunque los axiomas de Eilenberg y Steenrod caracterizan muchas de las teoras de homologa
utilizadas, existen otras no menos importantes denominadas homologas generalizadas en las
que alguno de los axiomas de Eilenberg-Steenrod no se verica (en general, suele ser el axioma
de dimensi on). Algunos ejemplos de estas teoreas son
Ejemplos 2.18 (i) la homologa cclica: proporciona un an alogo no conmutativo a la ho-
mologa de DeRham;
(ii) la homologa de Hochschild: asocia a un algebra, una familia de grupos abelianos: se puede
interpretar como una generalizaci on de los m odulos de formas diferenciales a las algebras;
(iii) la K-homologa: bas andose en la teora de brados vectoriales estudia una homologa de
espacios.
Un poco de

Algebra Homol ogica
Que tan solo con cantar
se va al viento nuestra pena,
y yo tengo el alma llena
de pesares y amarguras,
m as que en la pampa hay anchura
m as que en el mar hay arena.
D ecimas
Pedro Bonifacio Palacios Almafuerte (18541917)
3.1 Categoras y functores
Intuitivamente, una categora puede pensarse como una colecci on de conjuntos dotados de
estructuras de la misma especie y aplicaciones que preservan estas estructuras. De manera m as
precisa
Denici on 3.1 Una categora C est a formada por
(1) una clase de objetos, Obj(C),
(2) a cada par ordenado de objetos (X, Y ), le corresponde un conjunto de morsmos, deno-
tado hom
C
(X, Y ), siendo las familias hom
C
(X, Y ) y hom
C
(X

, Y

) disjuntas si el par
(X, Y ) es distinto del par (X

, Y

). Un morsmo cualquiera f hom


C
(X, Y ) se escribe
usualmente del modo f: XY ,
(3) dada una terna de objetos de la categora (X, Y, Z), se dene una aplicaci on
: hom
C
(X, Y ) hom
C
(Y, Z)hom
C
(X, Z),
llamada composici on, que cumple los dos axiomas siguientes
Asociatividad: si f hom
C
(X, Y ), g hom
C
(Y, Z) y h hom
C
(Z, W), es
h (g f) = (h g) f,
Identidad: a cada objeto Y en la categora se le puede asociar el morsmo identidad
(que es unico, debido a los axiomas), 1
Y
hom
C
(Y, Y ), tal que si f hom
C
(X, Y )
y g hom
C
(Y, Z), entonces g 1
Y
= g y 1
Y
f = f.
9
10 3. Un poco de

Algebra Homol ogica
Ejemplos 3.2 Algunos ejemplos de categoras son
(i) Set, la categora de conjuntos y aplicaciones;
(ii) Group, la categora de grupos y homomorsmos de grupos;
(iii) Ab, la categora de grupos abelianos y homomorsmos de grupos;
(iv) Ring, la categora de anillos conmutativos con unidad y homomorsmos de anillos;
(v) Top, la categora de espacios topol ogicos y aplicaciones continuas;
(vi) Vect
R
, la categora de espacios vectoriales reales y aplicaciones Rlineales;
(vii) Diff

, la categora de variedades diferenciales de clase C

y aplicaciones diferenciables
de clase C

;
(viii) Top

, la categora de pares de espacios topol ogicos con punto base (X, x


0
) (donde
x
0
X) y aplicaciones continuas f: XY tales que f(x
0
) = y
0
;
(ix) ParTop, la categora de pares de espacios topol ogicos (X, A) (donde A X) yaplicaciones
continuas f: XY tales que f(A) B.
Denici on 3.3 Si f hom
C
(X, Y ) y existe g hom
C
(Y, X), tal que g f = 1
X
y f g = 1
Y
,
se dice que f es una equivalencia en la categora C. Se dice que g es la inversa de f y se denota
por g = f
1
.
Denici on 3.4 Un functor covariante T de una categora C
1
en una categora C
2
, denotado
T: C
1
C
2
, est a denido por
(i) una funci on T que asocia a cada objeto X en C
1
, un objeto T(X) en C
2
,
(ii) una funci on, denotada tambi en T, que asocia a cada morsmo f hom
C
1
(X, Y ) un
morsmo T(f) hom
C
2
(T(X), T(Y )), de tal modo que
(1) T(1
X
) = 1
T(X)
,
(2) si f hom
C
1
(X, Y ) y g hom
C
1
(Y, Z), se cumple que T(g f) = T(g) T(f).
Denici on 3.5 Un functor contravariante T: C
1
C
2
, est a denido por
(i) una funci on T que asocia a cada objeto X en C
1
, un objeto T(X) en C
2
,
(ii) una funci on, denotada tambi en T, que asocia a cada morsmo f hom
C
1
(X, Y ) un
morsmo T(f) hom
C
2
(T(Y ), T(X)), de tal modo que
(1) T(1
X
) = 1
T(X)
,
(2) si f hom
C
1
(X, Y ) y g hom
C
1
(Y, Z), se cumple que T(g f) = T(f) T(g).
11
El gran problema de la topologa algebraica es el de encontrar y estudiar una suciente
cantidad de functores, de modo que la soluci on de una cuesti on topol ogica complicada equivalga
a la de un problema algebraico m as simple. Es decir, se trata de encontrar functores de Top en
Group, o de Top en Ab, etc.
Ejemplos 3.6 Algunos ejemplos de functores son
(i) el functor identidad de cualquier categora C en s misma, denido de la manera obvia;
(ii) el functor de olvido, de la categora Top en la categora de conjuntos Set, que asigna a cada
espacio topol ogico X el conjunto base X (sin estructura) y a cada aplicaci on continua la
misma aplicaci on olvidando su continuidad. Existen tambi en functores de olvido entre
otras muchas categoras, por ejemplo de Group en Set, de Ab en Group, etc;
(iii) si M es un espacio topol ogico, se dene el functor covariante (M): TopTop,
donde ( M)(X) = X M para cada espacio topol ogico X y si f: XY es
continua, (M)(f) = f 1
M
;
(iv) el functor espacio dual, ()

: Vect
R
Vect
R
, que asigna a cada espacio vectorial real
V , su dual V

(espacio vectorial de las aplicaciones lineales V R) y a cada aplicaci on


lineal : V W la aplicaci on dual

: W

denida por

(f)(x) = f((x)), es
un ejemplo de functor contravariante;
(v) el functor contravariante C

(; R): Diff

Ring, que asocia a una variedad diferen-


ciable M el anillo de las funciones reales diferenciables en M y a la aplicaci on de clase
C

f: MN el homomorsmo de anillos f

: C

(N; R)C

(M; R), dado por


f

() = f.
Proposici on 3.7 Si T: C
1
C
2
es un functor y f es una equivalencia en C
1
, entonces T(f)
es una equivalencia en C
2
, tal que (T(f))
1
= T(f
1
).
Denici on 3.8 Si T y S son dos functores de la categora C
1
en la categora C
2
, una trans-
formaci on natural de S en T, denotada : ST, es un sistema de morsmos en C
2
,

X
hom
C
2
(S(X), T(X)) para cada objeto X en C
1
, que hace conmutativo el siguiente
diagrama, para cada f hom
C
1
(X, Y )
S(X)
S(f)
S(Y )

Y
T(X)
T(f)
T(Y )
Si cada
X
es una equivalencia, se llama una equivalencia natural. En tal caso, =
1
(es
decir,
X
=
1
X
, para cada objeto X en C
1
) es tambi en una equivalencia natural (invirtiendo
las echas verticales en el diagrama anterior) y se llama equivalencia natural inversa.
12 3. Un poco de

Algebra Homol ogica
Ejemplos 3.9 Algunos ejemplos de transformaciones naturales son
(i) consideremos los siguientes functores
()
X
: RingGroup, que asocia a un anillo R el grupo multiplicativo R
X
de
los elementos inversibles del anillo, y a un homomorsmo de anillos f: RS su
restricci on al subconjunto de los elementos inversibles f[
R
X: R
X
S;
GL(n; ): RingGroup, que asocia a un anillo R el grupo GL(n; R) de las
matrices n n, inversibles y con valores en el anillo R, y a un homomorsmo de
anillos f: RS el homomorsmo de grupos f

: GL(n; R)GL(n; S), denido


por f

((a
ij
)
i,j
) = (f(a
ij
))
i,j
.
Entonces, det
R
: GL(n; R)R
X
, que asocia a cada matriz inversible su determinante,
es una transformaci on natural entre estos dos functores;
(ii) consideremos los functores
identidad Id: Vect
R
Vect
R
,
el functor doble dual ()

: Vect
R
Vect
R
.
Entonces, : Vect
R
Vect
R
, denido por
V
(v) = (f f(v)), para el espacio vec-
torial real V y f V

, es una transformaci on natural entre estos dos functores. Si


restringimos a la subcategora de los espacios vectoriales de dimensi on nita, se obtiene
una equivalencia natural.
3.2 M odulos
En todo lo que sigue, R es un anillo conmutativo con unidad.
Denici on 3.10 Un grupo abeliano M se llama R-m odulo (a la izquierda), si existe una ope-
raci on externa R M M (denotada r.m), tal que para r, r
1
, r
2
R y m, m
1
, m
2
M, se
tiene
(i) r.(m
1
+ m
2
) = r.m
1
+ r.m
2
y (r
1
+ r
2
).m = r
1
.m + r
2
.m;
(ii) (r
1
r
2
).m = r
1
.(r
2
.m) y 1.m = m.
En lo que sigue, los R-m odulos ser an a la izquierda, salvo que se diga lo contrario.
Denici on 3.11 N es un R-subm odulo del R-m odulo M, si es un subgrupo de M tal que
r.N N para cada r R. Se puede entonces denir el m odulo cociente de M por N, M/N,
donde la operaci on externa R M/N M/N se dene asociando a (r, m + N) el elemento
r.m + N.
13
Denici on 3.12 Una aplicaci on f: MM

entre R-m odulos es un homomorsmo de R-


m odulos (R-homomorsmo o aplicaci on R-lineal), si para r R y m, m
1
, m
2
M, se tiene
(i) f(r.m) = r.f(m) y
(ii) f(m
1
+ m
2
) = f(m
1
) + f(m
2
).
Un R-isomorsmo se dene de la manera obvia.
Lema 3.13 Si f: MM

es R-lineal y N

es un R-subm odulo de M

, entonces f
1
(N

) es
un R-subm odulo de M.
Observaci on 3.14 Si f: MM

es una aplicaci on R-lineal, se tienen los R-subm odulos


Ker(f) = f
1
(0) M e Im(f) = f(M) M

. Claramente M/Ker(f) e Im(f)


son isomorfos como R-subm odulos, donde el isomorsmo asocia a m + Ker(f) el elemento
f(m) Im(f).
Observaci on 3.15 Se denota por Mod
R
la categora de R-m odulos y homomorsmos de R-
m odulos. Por ejemplo, Mod
Z
es la categora de grupos abelianos Ab.
Lema 3.16 Sea M
i
: i I una familia de R-m odulos, entonces

iI
M
i
es un R-m odulo.
Denici on 3.17 Dado un R-m odulo M y S M, se denota por L(S) el R-m odulo generado
por S, es decir, el menor R-subm odulo de M que contiene a S.
Observaci on 3.18 Dada M
i
: i I una familia de R-m odulos,
_
iI
M
i
no es en general un
R-m odulo. Se denota por

iI
M
i
a L
_
_
iI
M
i
_
.
Denici on 3.19 Dados N
1
y N
2
R-subm odulos de M, se dene el R-subm odulo de M siguiente
N
1
+ N
2
= m M : n
1
N
1
, n
2
N
2
tales que n
1
+ n
2
= m.
Para i = 1, 2, N
i
es un R-subm odulo de N
1
+ N
2
.
Observaci on 3.20 Es claro que estas representaciones en forma de sumas de la denici on 3.19
no son unicas. De modo similar, si N
1
, . . . , N
k
son R-subm odulos de M, puede denirse el
R-subm odulo N
1
+ . . . + N
k
.
Denici on 3.21 Dada M
i
: i I una familia de R-m odulos, se dene el R-m odulo producto

iI
M
i
, donde la suma de elementos se dene como la suma componente a componente.
La i- esima proyecci on, p
i
:

iI
M
i
M
i
, denida por p
i
((m
i
)
iI
) = m
i
, es un homomorsmo
de R-m odulos sobreyectivo.
14 3. Un poco de

Algebra Homol ogica
Denici on 3.22 Dada M
i
: i I una familia de R-m odulos, se dene su suma directa externa
por

iI
M
i
=
_
(m
i
)
iI

iI
M
i
: m
i
M
i
, m
i
= 0 pct i
_
,
que es un R-subm odulo de

iI
M
i
. Para cada k I puede denirse una aplicaci on R-lineal
inyectiva, q
k
: M
k

iI
M
i
, que asocia a m
k
M
k
el elemento cuyas coordenadas son todas
nulas, salvo la k- esima que es precisamente m
k
.
Observaci on 3.23 Si I es nito en la anterior denici on, es

iI
M
i
=

iI
M
i
.
Denici on 3.24 Dado un R-m odulo M, se dice que una familia e
i

iI
M es un sistema de
generadores, si para cada m M, existe una familia r
i

iI
R, con r
i
= 0 pct i, de forma
que m =

iI
r
i
.e
i
. M se dice de generaci on nita si posee un n umero nito de generadores.
Denici on 3.25 Dado un R-m odulo M, un sistema de generadores e
i

iI
es base de M, si
los e
i

iI
son linealmente independientes, es decir, dada r
i

iI
R con r
i
= 0 pct i tal que

iI
r
i
.e
i
= 0, es necesariamente r
i
= 0 para cada i I.
Observaci on 3.26 Cuando la familia de generadores e
i

iI
es base de M, la escritura de cada
elemento de M es unica.
Denici on 3.27 Un R-m odulo M se dice libre cuando existen bases para el.
Ejemplos 3.28 Algunos ejemplos de R-m odulos libres son
1. R es un R-m odulo libre, con 1 como base;
2. R
n
= R
(n)
. . . R es un R-m odulo libre, para cualquier anillo R, pues una base es
B = e
1
, . . . , e
n
donde e
i
= (0, . . . ,
(i)
1 , . . . , 0);
3. m as en general, para cada anillo R, denotamos R
I
=

iI
R y R
(I)
=

iI
R. Entonces R
(I)
es un R-m odulo libre, pues B = e
i
: i I, donde e
i
es el elemento con todas las
componentes nulas, salvo la i- esima que es 1, es base de R
(I)
. Sin embargo, R
I
no es, en
general, libre: por ejemplo, Z
(N)
es libre, pero Z
N
no lo es;
4. si R es un cuerpo, todo R-espacio vectorial es libre.
Proposici on 3.29 Un R-m odulo M es libre si y s olo si existen un conjunto de ndices I y un
isomorsmo M R
(I)
.
15
Se tiene la siguiente propiedad universal para R-m odulos libres
Teorema 3.30 Si L, P y Q son tres R-m odulos, L es libre y y son dos R-homomorsmos
tales que Im() Im()
L

P

Q
entonces, existe un R-homomorsmo : LP tal que = .
Observaciones 3.31 Se verican las siguientes propiedades
(i) el cociente de un R-m odulo libre no tiene porque ser libre, por ejemplo Z/nZ = Z
n
no es
Z-libre;
(ii) un subm odulo de un m odulo libre no es libre en general; por ejemplo si un R-m odulo libre
contiene un elemento de torsi on, el subm odulo generado por este no es libre. Por ejemplo,
R = M = M
2
(Z) es R-libre con base
__
1 0
0 1
__
. Y N =
__
a 0
b 0
_
: a, b Z
_
es un
R-subm odulo de torsi on de M, luego no puede tener base como R-m odulo.
Proposici on 3.32 Todo R-m odulo es isomorfo a un cociente de un R-m odulo libre.
Ejemplo 3.33 Qno es libre como Z-m odulo, pues dos elementos cualesquiera son linealmente
dependientes y Q no es cclico.
Denici on 3.34 El rango de un R-m odulo libre M, rg
R
(M), es el cardinal de una base.
Observaci on 3.35 Existen R-m odulos que poseen distintos sistemas generadores y con dife-
rentes n umeros de elementos (si R es un cuerpo, esto no puede suceder). Pero, si M es un
R-m odulo libre, dos bases cualesquiera tienen el mismo cardinal.
Observaci on 3.36 Un R-m odulo M es de generaci on nita si y s olo si es el cociente de un
R-m odulo libre de rango nito.
Los morsmos de la categora Mod
R
tienen a su vez estructura de R-m odulos
Denici on 3.37 Sean M y M

dos R-m odulos. Sea


Hom
R
(M, M

) = f: MM

: f es homomorsmo de R m odulos.
Puede denirse sobre Hom
R
(M, M

) una operaci on suma, que es R-lineal, y la aplicaci on nula


0: MM

es el neutro para esta operaci on interna. Como R es conmutativo, la operaci on


externa
R Hom
R
(M, M

) Hom
R
(M, M

)
que asocia a (r, f) el elemento r.f (donde (r.f)(m) = r.f(m)), dota a Hom
R
(M, M

) de una
estructura de R-m odulo.
16 3. Un poco de

Algebra Homol ogica
Denici on 3.38 Con las notaciones de la denici on 3.37, en el caso en que M

= R, el R-
m odulo M

= Hom
R
(M, R) se llama dual de M. Como M es un R-m odulo a izquierda, M

posee una estructura natural de R-m odulo a la derecha (adem as de ser un R-m odulo a izquierda
seg un la denici on 3.37), dada por la operaci on externa M

R M

, que asocia a (f, r) la


aplicaci on f.r, dada por (f.r)(m) = f(m).r.
Observaci on 3.39 Puede suceder que M

sea el m odulo nulo: por ejemplo, si R = Zy M = Q,


entonces Q

= Hom
Z
(Q, Z) = 0.
Observaci on 3.40 Sean M
1
, M
2
, M
3
tres R-m odulos. Si f
1
: M
1
M
2
y f
2
: M
2
M
3
son
aplicaciones R-lineales, entonces la composici on f
2
f
1
: M
1
M
3
es un homomorsmo de
R-m odulos. Adem as, si g
1
: M
1
M
2
y g
2
: M
2
M
3
son tambi en homomorsmos de R-
m odulos, se verica
(i) f
2
(f
1
+ g
1
) = f
2
f
1
+ f
2
g
1
, igualdad en Hom
R
(M
1
, M
3
), y
(ii) (f
2
+ g
2
) f
1
= f
2
f
1
+ g
2
f
1
, igualdad en Hom
R
(M
1
, M
3
);
y se dice que la aplicaci on Hom
R
(M
1
, M
2
) Hom
R
(M
2
, M
3
) Hom
R
(M
1
, M
3
), dada por
(f
1
, f
2
) f
2
f
1
es R-bilineal (ver la denici on 3.83).
La siguiente noci on es esencial en el estudio de la homologa de R-m odulos
Denici on 3.41 Sean M
1
, M
2
, M
3
tres R-m odulos y f: M
1
M
2
y g: M
2
M
3
aplicaciones
R-lineales. La sucesi on
M
1
f
M
2
g
M
3
es exacta, si Im(f) = Ker(g).
Observaci on 3.42 Son importantes en esta teora las llamadas sucesiones exactas cortas
0 M
1
f
M
2
g
M
3
0,
que expresan, en particular, que f es inyectiva y g es sobreyectiva.
Por ejemplo, si N es un R-subm odulo de M, entonces la siguiente sucesi on es exacta
0 N
i
M
p
M/N 0,
donde i es la inclusi on y p la aplicaci on cociente.
Adem as, de cualquier sucesi on exacta M
1
f
1
M
2
f
2
M
3
f
3
M
4
f
4
M
5
, pueden
extraerse sucesiones cortas del siguiente modo
(i) 0Ker(f
1
)
incl
M
1
f
1
Im(f
1
) = Ker(f
2
)0,
(ii) 0Im(f
1
) = Ker(f
2
)
incl
M
2
f
2
Im(f
2
) = Ker(f
3
)0,
17
(iii) 0Im(f
2
) = Ker(f
3
)
incl
M
3
f
3
Im(f
3
) = Ker(f
4
)0,
(iv) 0Im(f
3
) = Ker(f
4
)
incl
M
4
f
4
Im(f
4
) = Ker(f
5
)0.
La propiedad m as importante de las sucesiones exactas cortas es el teorema de Rouch e-
Frobenius
Teorema 3.43 Dada una sucesi on exacta corta de R-m odulos
0M

f
M
g
M

0,
si M

y M

son libres, entonces M es tambi en libre y rg


R
(M) = rg
R
(M

) + rg
R
(M

).
En el caso especial de espacios vectoriales
Corolario 3.44 Sean R un cuerpo, E y F espacios vectoriales y f: EF una aplicaci on
R-lineal. Entonces,
dim(E) = dim(Ker(f)) + dim(Im(f)) y dim(F) = dim(F/Im(f)) + dim(Im(f)).
M as a un, se tiene
Proposici on 3.45 Dada una sucesi on exacta corta de R-m odulos
0M

f
M
g
M

0,
si M

y M

son nitamente generados, tambi en M es nitamente generado.


Corolario 3.46 Sean M
1
, . . . , M
n
R-m odulos libres y la sucesi on exacta
0M
1
f
1
M
2
f
2
. . . M
n1
f
n1
M
n
0,
entonces
n

i=1
(1)
i
rg
R
(M
i
) = 0.
Denici on 3.47 Sean M
1
, M
2
, M
3
R-m odulos tales que M
3
= M
1
+ M
2
y M
1
M
2
= 0.
Entonces, todo elemento de M
3
se escribe de manera unica como suma de un elemento de M
1
y un elemento de M
2
. La aplicaci on f: M
1
M
2
M
3
dada por f(m
1
, m
2
) = m
1
+ m
2
es
un R-isomorsmo. Se escribe entonces M
3
= M
1

M
2
y se dice que M
3
es la suma directa
interna de M
1
y M
2
.
Denici on 3.48 Sea 0 M

f
M
g
M

0 una sucesi on exacta de R-m odulos. Se


dice que la sucesi on escinde, si existe un R-isomorsmo : M


M, que lleva
(x, 0) = f(x) para cada x M

y (g )(x, y) = y para cada (x, y) M

.
18 3. Un poco de

Algebra Homol ogica
Lema 3.49 Sea 0 M

f
M
g
M

0 una sucesi on exacta corta de R-m odulos. Son


equivalentes las siguientes condiciones
(i) la sucesi on escinde,
(ii) existe una inversa a derecha para g, es decir, un R-homomorsmo k: M

M tal que
g k = 1
M
,
(iii) existe una inversa a izquierda para f, es decir, un R-homomorsmo h: MM

tal que
h f = 1
M
.
Observaci on 3.50 Si M es libre y N es un sumando directo de M, no tiene porque ser libre:
por ejemplo, si R = Z
6
= M y N = 0, 2, 4, entonces N es factor directo de M = N N

donde N

= 0, 3. Pero, ni N ni N

son R-libres, por razones de cardinalidad.


3.3 Complejos de cadenas y de cocadenas
Denici on 3.51 Un complejo de cadenas sobre R es un conjunto (

= (C
m
, d
m
) : m Z de
R-m odulos y R-homomorsmos d
m
: C
m
C
m1
: m Z, satisfaciendo d
m
d
m+1
= 0.
Un elemento de C
m
se dice que tiene dimensi on m. Se denota por ((

, d) y d se llama la
diferencial del complejo. El complejo nulo, O es aquel tal que O
m
= 0, para cada ndice.
Observaci on 3.52 (

se suele pensar como una sucesi on doblemente innita


. . .
d
2
C
1
d
1
C
0
d
0
C
1
d
1
. . .
con la condici on sobre los R-homorsmos Im(d
m+1
) Ker(d
m
), para m Z.
Denici on 3.53 El complejo ((

, d) se llama exacto en la etapa m si Im(d


m+1
) = Ker(d
m
), y
se llama exacto si lo es en cada etapa.
Denici on 3.54 Una aplicaci on en cadenas entre dos complejos de cadenas ((

, d) y ((

, d

)
es un conjunto de R-homomorsmos f
m
: C
m
C

mZ
, satisfaciendo, para cada m Z la
relaci on d

m
f
m
= f
m1
d
m
. As, por f: (

se entiende un diagrama de cuadrados


conmutativos
. . .
d
2
C
1
d
1
C
0
d
0
C
1
d
1
. . .

_
f
1

_
f
0

_
f
1
. . .
d

2
C

1
d

1
C

0
d

0
C

1
d

1
. . .
Teorema 3.55 Los complejos de cadenas sobre R y sus aplicaciones en cadenas con la com-
posici on natural forman una categora Chain
R
. Mod
R
es una subcategora de Chain
R
, pen-
sando un R-m odulo M del modo
M (. . . 0 C
0
= M 0 . . .)
19
Denici on 3.56 Dado un complejo de cadenas ((

, d), se introducen los R-subm odulos de C


m
denidos por
(i) los m-ciclos, Z
m
((

) = Ker(d
m
), y
(ii) los m-bordes, B
m
((

) = Im(d
m+1
).
El m- esimo R-m odulo de homologa de (

se dene entonces como el cociente


H
m
((

) = Z
m
((

)/B
m
((

).
La homologa mide, por lo tanto, la separaci on de un complejo de cadenas de la exactitud. La
homologa total es el R-m odulo H

((

) =

mZ
H
m
((

).
Observaci on 3.57 Si ((

, d) es exacto en cada dimensi on, entonces H


m
((

) = 0 para cada
m Z. Se dice entonces que ((

, d) es un complejo exacto.
Por construcci on, para cada m Z, H
m
((

) es un R-m odulo. Toda aplicaci on en cadenas


f: (

lleva ciclos en ciclos y bordes en bordes, es decir,


f
m
(Z
m
((

)) Z
m
((

) y f
m
(B
m
((

)) B
m
((

),
as se concluye
Teorema 3.58 Toda aplicaci on en cadenas f: (

determina una aplicaci on en homologa


H

(f): H

((

)H

((

),
que consiste en un conjunto de homomorsmos, H
m
(f): H
m
((

)H
m
((

), para m Z
dados por H
m
(f)(c + B
m
((

)) = f
m
(c) + B
m
((

), donde c Z
m
((

).
As, para cada m Z, se tiene un functor aditivo (i.e. H
n
(f + g) = H
n
(f) + H
n
(g) para f y
g aplicaciones R-lineales) y covariante H
m
: Chain
R
Mod
R
.
Estamos interesados en calcular la homologa de complejos de cadenas asociados con es-
pacios topol ogicos. Se pueden hacer varias elecciones para complejos de cadenas, algunos
geom etricos y otros m as analticos. Sin embargo, hecha una elecci on, es necesario saber que
clase de aplicaciones en cadenas dan lugar a las mismas aplicaciones en homologa; esto se sigue
de la noci on algebraica de homotopa en cadenas
Denici on 3.59 Una homotopa en cadenas entre dos aplicaciones en cadenas f, g: (

,
es una sucesi on de homomorsmos D
m
: C
m
C

m+1

mZ
,
. . .
d
2
C
1
d
1
C
0
d
0
C
1
d
1
. . .
D
1
f
1

_
g
1
D
0
f
0

_
g
0
D
1
f
1

_
g
1
D
2
. . .
d

2
C

1
d

1
C

0
d

0
C

1
d

1
. . .
satisfaciendo para cada m Z, la condici on d

m+1
D
m
+ D
m1
d
m
= f
m
g
m
. Se denota
por D : f g.
20 3. Un poco de

Algebra Homol ogica
Denici on 3.60 Dos complejos (

y (

se llaman homot opicamente equivalentes, si existen


aplicaciones en cadenas f: (

y g: (

, que satisfacen f g 1
C

y g f 1
C

. Se
dice que g es el inverso en homotopa de f.
Proposici on 3.61 La homotopa de cadenas es una relaci on de equivalencia.
La homotopa de cadenas es compatible con la composici on
Proposici on 3.62 Dadas dos aplicaciones en cadenas f, g: (

y f

, g

: (

, tales
que f g y f

, entonces f

f g

g.
Lema 3.63 Se verica adem as
(i) las aplicaciones hom otopas en cadenas inducen aplicaciones iguales en homologa, es decir,
si f g, entonces H
m
(f) = H
m
(g) para cada m Z;
(ii) los complejos homot opicamente equivalentes tienen m odulos de homologa isomorfos.
De manera an aloga, puede denirse
Denici on 3.64 Un complejo de cocadenas sobre R es un conjunto ( = (C
m
, d
m
) : m Z
de R-m odulos y R-homomorsmos d
m
: C
m
C
m+1
, satisfaciendo d
m
d
m1
= 0. Cada d
m
se llama un operador derivado. Un elemento de C
m
se dice que tiene dimensi on m. Se denota
por ((

, d).
Observaci on 3.65 ((

, d) se suele mirar como una sucesi on doblemente innita


. . .
d
2
C
1
d
1
C
0
d
0
C
1
d
1
. . .
con la condici on sobre los R-homorsmos Im(d
m1
) Ker(d
m
), para m Z.
Denici on 3.66 Dado un complejo de cocadenas (

, se introducen los subm odulos de C


m
denidos por
(i) los m-cociclos, Z
m
((

) = Ker(d
m
), y
(ii) los m-cobordes, B
m
((

) = Im(d
m1
), y
Para m Z, el m- esimo R-m odulo de cohomologa de (

se dene como el cociente


H
m
((

) = Z
m
((

)/B
m
((

).
La cohomologa mide, por lo tanto, la separaci on de un complejo de cocadenas de la exactitud.
La cohomologa total es el R-m odulo H

((

) =

mZ
H
m
((

).
Observaci on 3.67 Si se dene C
n
:= C
n
y d
n
= d
n
se obtiene un complejo de cadenas (

y
H
m
((

) = H
m
((

).
21
Observaci on 3.68 El paso de la homologa a la cohomologa no es s olo un juego de ndices:
H

((

) soporta, como se ver a m as adelante, adem as de la estructura de R-m odulo una estructura
de anillo graduado, propiedad que no posee la homologa, y que en algunas ocasiones permite
distinguir espacios no equivalentes desde el punto de vista de la homotopa.
3.4 Sucesiones exactas de homologa
Denici on 3.69 Una sucesi on exacta (corta) de complejos de cadenas es una sucesi on
O (

f
(

g
(

O
de complejos y aplicaciones en cadenas, tal que para cada m Z, la sucesi on de R-m odulos
0 C

m
f
m
C
m
g
m
C

m
0
es exacta.
En toda esta teora es muy util el lema de la serpiente
Lema 3.70 Sea un diagrama conmutativo de R-m odulos y R-homomorsmos con las exactas
M

f
M
g
M

_
d

_
d

_
d

0 N

h
N
k
N

Laaplicaci on: Ker(d

)Coker(d

), dadapor (z

) = [h
1
d g
1
(z

)] est abiendenida,
y la sucesi on
Ker(d

)
f
Ker(d)
g
Ker(d

)

Coker(d

)
h
Coker(d)
k
Coker(d

),
(donde f, g, h y k son los homomorsmos inducidos por f, g, h y k respectivamente), es una
sucesi on exacta. Si f es adem as inyectiva (respectivamente, k es sobreyectiva), entonces f es
tambi en inyectiva (respectivamente, k es tambi en sobreyectiva).
Otro teorema algebraico esencial es el lema de los cinco
Lema 3.71 Sea un diagrama conmutativo de R-m odulos y R-homomorsmos con las exactas
M
1
g
1
M
2
g
2
M
3
g
3
M
4
g
4
M
5

_
d
1

_
d
2

_
d
3

_
d
4

_
d
5
N
1
h
1
N
2
h
2
N
3
h
3
N
4
h
4
N
5
Entonces
22 3. Un poco de

Algebra Homol ogica
(i) si d
1
es sobreyectiva, y d
2
y d
4
son inyectivas, entonces d
3
es inyectiva;
(ii) si d
5
es inyectiva, y d
2
y d
4
son sobreyectivas, entonces d
3
es sobreyectiva.
Se obtiene entonces la sucesi on exacta larga de homologa
Teorema 3.72 Sea una sucesi on exacta de complejos de cadenas
O (

f
(

g
(

O.
Para cada n Z, existe un homomorsmo de enlace,
n
: H
n
((

)H
n1
((

), denido por

n
(z

+ B
n
((

)) =
_
f
1
n1
d
n
g
1
n
(z

)
_
+ B
n1
((

),
que hace de la siguiente sucesi on exacta
. . .

n+1
H
n
((

)
H
n
(f)
H
n
((

)
H
n
(g)
H
n
((

)

n
H
n1
((

)
H
n1
(f)
. . .
Denici on 3.73 Sea ((

, d) un complejo de cadenas y para cada n Z se considera un R-


subm odulo C

n
C
n
, tal que d
n
(C

n
) C

n1
. As, tenemos un subcomplejo de ((

, d),
((

, d) = (C

n
, d
n
[
C

n
)
nZ
, y se dene
(

:= (

/(

= (C
n
/C

n
, d

), donde d

n
(x + C

n
) = d
n
(x) + C

n1
,
que se llama complejo de cadenas cociente de (

m odulo (

.
Observaci on 3.74 Como la sucesi on de complejos obvia
O (

/(

O
es exacta, se tiene la sucesi on exacta larga de homologa
. . . H
n
((

)H
n
((

)H
n
((

/(

)
d

n
H
n1
((

). . .
Denici on 3.75 Sean ((

, d

) y ((

, d

) complejos de cadenas. Se dene el complejo suma


directa, ((

, d) := ((

, d

), donde C
n
=: C

n
y para cada n Z, y
d
n
(x

, x

) := (d

n
d

n
)(x

, x

) = (d

n
(x

), d

n
(x

)).
El teorema de MayerVietoris es una herramienta esencial para realizar c alculos en ho-
mologa
Teorema 3.76 Se verican las siguientes propiedades
(i) dados los complejos (

y (

, para cada n Z es H
n
((

) H
n
((

H
n
((

);
(ii) si (

es un complejo y (

y (

son subcomplejos de (

, entonces
23
(a) la sucesi on O (

i
(

p
(

+(

O, donde i
n
(x) = (x, x) y
p
n
(x, y) = x + y, para n Z, es exacta;
(b) cuando la inclusi on natural j: (

+(

induce, para cada n Z, un iso-


morsmo H
n
(j) : H
n
((

+ (

)

H
n
((

), entonces existe una sucesi on exacta


larga
. . . H
n+1
((

)

n
H
n
((

)

n
H
n
((

H
n
((

)

n
H
n
((

). . . (3.1)
obtenidadel siguiente modo: se consideranlas inclusiones j

: (

, j

: (

,
i

: (

e i

: (

y la sucesi on exacta
O (

i
(

p
(

+(

O.
La sucesi on exacta larga de homologa asociada a la anterior sucesi on de complejos
de cadenas es

n+1
H
n
((

)
H
n
(i)
H
n
((

)
H
n
(p)
H
n
((

+(

)

n
H
n1
((

)
H
n1
(i)

y, con las notaciones obvias, induce la sucesi on (3.1), donde

n
(x + B
n
((

)) = (i

n
(x) + B
n
((

), i

n
(x) + B
n
((

)),

n
(x + B
n
((

), y + B
n
((

)) = (j

n
(x) + j

n
(y)) + B
n
((

),

n
(z + B
n+1
((

)) =
n+1
j
1
n+1
(z) + B
n
((

).
La sucesi on (3.1) se llama de Mayer-Vietoris.
3.5 Caracterstica de Euler-Poincar e
Los siguientes ejemplos motivan la denici on de aplicaci on de Euler-Poincar e
1. sea 0 V

V V

0 una sucesi on exacta de K-espacios vectoriales (K es


un cuerpo). Si dim
K
(V

) y dim
K
(V

) son nitas, se deduce que dim


K
(V ) tambi en es
nita, y es v alida la f ormula dim
K
(V ) = dim
K
(V

) + dim
K
(V

);
2. sea 0 G

G G

0 una sucesi on exacta de grupos abelianos. Si ord(G

)
y ord(G

) son nitos, ord(G) tambi en es nito, y en este caso es v alida la f ormula


ord(G) = ord(G

) + ord(G

);
3. para cada Z-m odulo M de dimensi on nita (es decir, cada grupo abeliano de dimensi on
nita), se cumple que M Z
r

TM, donde TM = m M : r ,= 0 con r.m = 0


es el grupo de torsi on de M, que es un grupo abeliano nitamente generado. Se dice que
r es el rango de M, y se denota rg(M) = r. Sea 0 M

M M

0 una
sucesi on exacta de grupos abelianos. Si M

y M

son nitamente generados, entonces M


tambi en es nitamente generado, y rg(M) = rg(M

) + rg(M

).
24 3. Un poco de

Algebra Homol ogica
Denici on 3.77 Sea K una familia de R-m odulos y (, +) un grupo abeliano. Una correspon-
dencia : K se llama aplicaci on de Euler-Poincar e, cuando
(i) 0 K y (0) = 0,
(ii) si 0 M

M M

0 es una sucesi on exacta de R-m odulos, cuando


M

, M

K, es M K. Entonces, (M) = (M

) + (M

).
Ejemplos 3.78 Como casos particulares, se tiene
1. si R = K un cuerpo, = dim
K
y (, +) = (Z, +), entonces dim
K
es una aplicaci on de
Euler-Poincar e;
2. si R = Z, = ord y (, +) = (Z, +), entonces ord es una aplicaci on de Euler-Poincar e;
3. si R = Z, = rg y (, +) = (Z, +), entonces rg es una aplicaci on de Euler-Poincar e.
Denici on 3.79 Sea una aplicaci on de Euler-Poincar e y (

un complejo de cadenas, tal que


H
n
((

) = 0 para casi todo n Z. Si est a denida para todos los H


n
((

), se dene la
caracterstica de Euler del (

, por

(H(

) :=

nZ
(1)
n
(H
n
((

)).
Teorema 3.80 Sea (

un complejo de cadenas y una aplicaci on de Euler-Poincar e tal que


(C
n
) est a denida para cada n. Si (C
n
) = 0 pct n y (H
n
((

)) = 0 pct n, entonces,

(H(

) est a denida y es

(H(

) =

nZ
(1)
n
(C
n
).
Corolario 3.81 Sea (

un complejo de cadenas y una aplicaci on de Euler-Poincar e tal que


(C
n
) est a denida para cada n. Si (C
n
) = 0 pct n, (H
n
((

)) = 0 pct n y el complejo es
exacto, entonces la suma alternada de los (C
n
) es nula, es decir,

nZ
(1)
n
(C
n
) = 0.
Teorema 3.82 Sea O (

O una sucesi on exacta de complejos y una


aplicaci on de Euler-Poincar e. Si

est a denida para dos de los tres complejos, est a tambi en


denida para el tercero y

(H(

) =

(H(

) +

(H(

).
3.6 Tensor y Hom
Denici on 3.83 Sean M, N, T tres R-m odulos. Una aplicaci on g: M NT es R-bilineal
si es lineal en cada argumento, es decir,
g(m + m

, n) = g(m, n) + g(m

, n) y g(m, n + n

) = g(m, n) + g(m, n

)
25
y g(r.m, n) = r.g(m, n) = g(m, r.n). Se denota por Bil
R
(M N, T) a la familia de tales
aplicaciones.
Teorema 3.84 Sean M y N dos R-m odulos. Existe un par (T, g), con T un R-m odulo y
g: M NT una aplicaci on bilineal, tales que
(i) se verica la siguiente propiedad universal: para cada aplicaci on bilineal f: M NP
existe una aplicaci on lineal unica f

: T P tal que f = f

g,
(ii) (T, g) es unico salvo isomorsmos.
Observaci on 3.85 Para construir este R-m odulo, se parte del R-m odulo libre generado por
M N, es decir, R
(MN)
y se considera la aplicaci on H: M NR
(MN)
denida por
H(x, y) = e
(x,y)
, donde e
(x,y)
es el elemento de R
(MN)
con un 1 en el lugar (x, y)- esimo y
ceros en el resto. Se considera entonces el R-subm odulo S generado por los elementos de la
forma
_
e
(x+x

,y)
e
(x,y)
e
(x

,y)
, e
(x,y+y

)
e
(x,y)
e
(x,y

)
, e
(r.x,y)
r.e
(x,y)
, e
(x,r.y)
r.e
(x,y)
_
.
El producto tensorial es justamente el cociente R
(MN)
/S.
Denici on 3.86 Sean M y N dos R-m odulos y (T, g) el par que existe por el teorema 3.84.
T se llama producto tensorial de M y N y se escribe M
R
N. De hecho, M
R
N queda
caracterizado, salvo isomorsmo, por la propiedad universal dada en el teorema 3.84.
Observaci on 3.87 Se suele denotar xy la imagen de (x, y) por g. Todo elemento z M
R
N
se escribe como una suma nita z =
n

i=1
(x
i
y
i
), donde x
i
M e y
i
N.
Ejemplos 3.88 Para R = Z, se tienen los siguientes casos
1. se tiene el R-isomorsmo Z
Z
Z
n
Z
n
, denido por k [m] = 1 [k.m] [k.m] (de
inverso [m] 1 [m]);
2. (2Z)
Z
Z
2
0, isomorsmo denido por (2n) [m] = 1 [2n.m] = 1 0 = 0, para
m, n Z;
3. consideramos los grupos Z
6
y Z
8
. Sea G un grupo abeliano y una aplicaci on bilineal
f: Z
6
Z
8
G. Sean a
6
y a
8
las clases de equivalencia de a Z en Z
6
y Z
8
, respecti-
vamente. Por la bilinealidad de f, para a, b Z es
f(a
6
, b
8
) = f(a1
6
, b1
8
) = abf(1
6
, 1
8
).
La aplicaci on f est a pues unvocamente determinada por el valor c = f(1
6
, 1
8
). Por lo
tanto
6c = 6f(1
6
, 1
8
) = f(6
6
, 1
8
) = f(0
6
, 1
8
) = 0,
8c = 8f(1
6
, 1
8
) = f(1
6
, 8
8
) = f(1
6
, 0
8
) = 0.
26 3. Un poco de

Algebra Homol ogica
Consecuentemente, 2c = 8c 6c = 0. Y viceversa, sea c G tal que 2c = 0. Denimos
la funci on f: Z
6
Z
8
Ga trav es de la relaci on f(a
6
, b
8
) = abc, que est a bien denida y
es bilineal. As, existe una correspondencia biunvoca entre los grupos Bil
Z
(Z
6
Z
8
, G)
y Hom
Z
(Z
2
, G) = c G : 2c = 0, con lo que, por el teorema 3.84, se tiene el
isomorsmo Z
6

Z
Z
8
Z
2
;
4. consideramos G un grupo abeliano y una aplicaci on bilineal f: Z
5
Z
7
G. Razonando
como en el caso anterior, para a, b Z es f(a
5
, b
7
) = abc, donde c = f(1
5
, 1
7
). Por
lo tanto: 5c = 0, 7c = 0, con lo que 15c = 3(5c) = 0 y 14c = 2(7c) = 0, as que
c = 15c 14c = 0. En denitiva, Bil
Z
(Z
5
Z
7
, G) = 0, con lo que, Z
5

Z
Z
7
= 0;
5. en general, Z
m

Z
Z
n
Z
(m,n)
, donde (m, n) denota el m aximo com un divisor entre m y
n, y si son relativamente primos es 0;
6. consideramos los grupos Z
n
y Q. Sea G un grupo abeliano y una aplicaci on bilineal
f: Z
n
QG. Sean a, p, q Z con q ,= 0. Resulta ahora
f
_
a
n
,
p
q
_
= f
_
a
n
,
pn
qn
_
= f
_
na
n
,
p
qn
_
= f
_
0
n
,
p
qn
_
= 0,
con lo que Z
n

Z
Q = 0;
7. m as en general, si G es un grupo abeliano divisible por n (es decir, para cada g G, existe
g

G, tal que ng

= g), resulta que Z


n

Z
G = 0. Como ejemplos de grupos divisibles
por 2 tenemos
_
e
2in/2
k
: n Z
_
o
_
p
2
k
: p, k Z
_
.
Ejemplo 3.89 Si M es un R-m odulo de torsi on y N es un R-m odulo divisible (i.e. para cada
r R no nulo y m M, existe m

M con r.m

= m), entonces M
R
N = 0. Por ejemplo
(i) Q/Z
Z
Q/Z = 0;
(ii) para cada p primo Z
p

Z
Z
p
= 0, donde Z
p
=

nN
Z
p
n.
Proposici on 3.90 Sean M y N R-m odulos, entonces
(i) si m
i

iI
y n
j

jJ
generan M y N respectivamente, entonces m
i
n
j

iI,jJ
genera
M N;
(ii) si M y N son R-m odulos libres, de bases m
i

iI
y n
j

jJ
respectivamente, entonces
MN es libre de base m
i
n
j

iI,jJ
. En particular, cuando tenga sentido, se verica
que rg
R
(M N) = rg
R
(M)rg
R
(N).
Proposici on 3.91 Sean M, N, P y M
i
: i I R-m odulos. Se tienen los siguientes isomors-
mos
(i) M
R
N

N
R
M, dado por x y y x;
27
(ii) (M
R
N)
R
P

M
R
(N
R
P), dado por (x y) p x (y p);
(iii)

iI
(M
i

R
P)

iI
M
i
_

R
P, dado por (x
i
)
iI
p (x
i
p)
iI
;
(iv) R
R
M

M, dado por r x r.x, y de inverso x 1 x.
Observaci on 3.92 El primer ejemplo de producto tensorial no trivial por un anillo R, M
R
N,
es el siguiente: sea K un cuerpo y consideremos los polinomios en una y dos variables sobre el
cuerpo K[X] y K[X, Y ]. Sabemos que existe un isomorsmo
K[X]
K
K[X] K[X]
K
K[Y ] K[X, Y ],
a trav es de la aplicaci on p(x) q(y) p(x)q(y), cuya inversa se escribe teniendo en cuenta
que todo polinomio en K[X, Y ] es suma de polinomios en variables separadas.
Sin embargo, la proposici on 3.91 dice que
K[X]
K[X]
K[X] K[X] , K[X, Y ].
Denici on 3.93 SeanM, M

, N, N

R-m odulos yf: MM

, g: NN

R-homomorsmos
de R-m odulos. Se puede denir el R-homomorsmo f g: M
R
NM

R
N

, por
(f g)(mn) = f(m) g(n).
Observaci on 3.94 Dados dos R-m odulos M y N, sean
M
R
: Mod
R
Mod
R
, N M
R
N, id
M
,

R
N: Mod
R
Mod
R
, M M
R
N, id
N
,
que son dos functores covariantes. Tenemos tambi en un bifunctor

R
: Mod
R
Mod
R
Mod
R
, (M, N) M
R
N.
Podemos denir tambi en el functor Hom, por
Hom
R
(M, ): Mod
R
Mod
R
, N Hom
R
(M, N),

() := ,
Hom
R
(, N): Mod
R
Mod
R
, M Hom
R
(M, N),

() := .
As, Hom
R
(M, ) es un functor covariante y Hom
R
(, N) uno contravariante. Tenemos
tambi en un bifunctor
Hom
R
(, ): Mod
R
Mod
R
Mod
R
, (M, N) Hom
R
(M, N).
Entre los bifunctores Hom
R
y
R
existe una estrecha relaci on
Lema 3.95 Existe una equivalencia natural entre los tri-functores
Hom
R
(
R
, ): (Mod
R
Mod
R
) Mod
R
Mod
R
y
28 3. Un poco de

Algebra Homol ogica
Hom
R
(, Hom
R
(, )): Mod
R
(Mod
R
Mod
R
)Mod
R
donde para cada terna de R-m odulos M
1
, M
2
, N, existe un isomorsmo
Hom
R
(M
1

R
M
2
, N) Hom
R
(M
1
, Hom
R
(M
2
, N)) Bil
R
(M
1
M
2
, N),
que conmuta con los R-homomorsmos M
1
M

1
, M
2
M

2
, N N

.
Denici on 3.96 Un functor F: Mod
R
Ab se dice aditivo, si dados dos R-m odulos M y N
y dos aplicaciones R-lineales f, g Hom
R
(M, N), es F(f + g) = F(f) + F(g).
Corolario 3.97 Sea F: Mod
R
Ab un functor aditivo. Entonces
(i) para cada par de m odulos M y N, la aplicaci on nula 0: MN es tal que F(0) = 0,
(ii) es F(0) = 0.
Lema 3.98 Sea F: Mod
R
Ab un functor aditivo y M = M
1

. . .

M
k
Mod
R
. En-
tonces F(M) = F(M
1
)

. . .

F(M
k
).
Denici on 3.99 Un functor aditivo F: Mod
R
Ab se llama exacto, si F lleva sucesiones
exactas en sucesiones exactas.
Ejemplos 3.100 El algebra homol ogica proporciona muchos ejemplos donde estos functores
son exactos, pero tambi en existen gran cantidad de contraejemplos
1. Hom
R
(M, ) no es exacto en general: sea el functor Hom
Z
(Z
2
, ) y la sucesi on exacta de
Z-m odulos Z Z
2
0. Se tiene que Hom
Z
(Z
2
, Z) = 0. Por otro lado,
Hom
Z
(Z
2
, Z
2
) Z
2
,= 0.
As, 0 = Hom
Z
(Z
2
, Z) Hom
Z
(Z
2
, Z
2
) Z
2
0 no puede ser una sucesi on
exacta, es decir, Hom
Z
(Z
2
, ) no es un functor exacto;
2. Hom
R
(, N) tampoco es exacto en general: sea el functor Hom
Z
(, Z) y la sucesi on exacta
de Z-m odulos, 0 Z Q. Se tiene que Hom
Z
(Z, Z) Z, pero Hom
Z
(Q, Z) = 0;
3. N
R
y
R
M no son en general exactos: los dos functores se comportan igual, por la
simetra de
R
. Dado Z
2

Z
, la sucesi on exacta 0 Z
2
Z se transforma en
la sucesi on 0 Z
2
2
Z
2
, que no es exacta, porque la multiplicaci on por 2 lleva Z
2
en 0.
Denici on 3.101 Sea F: Mod
R
Ab un functor aditivo y covariante. F se dice exacto a
izquierda si para toda sucesi on exacta de R-m odulos 0 M

M M

, se tiene la
sucesi on exacta 0 F(M

) F(M) F(M

). F se dice exacto a derecha si para


toda sucesi on exacta de R-m odulos M

M M

0, se tiene la sucesi on exacta


F(M

) F(M) F(M

) 0.
29
Denici on 3.102 Sea G: Mod
R
Ab un functor aditivo y contravariante. G se dice exacto
a izquierda si para toda sucesi on exacta de R-m odulos M

M M

0, se tiene
la sucesi on exacta 0 G(M

) G(M) G(M

). G se dice exacto a derecha si para


toda sucesi on exacta de R-m odulos, 0 M

M M

, se tiene la sucesi on exacta


G(M

) G(M) G(M

) 0.
Proposici on 3.103 Sea N un R-m odulo. Entonces
(i) los functores Hom
R
(, N) y Hom
R
(N, ) son exactos a izquierda;
(ii) los functores
R
N y N
R
son exactos a derecha.
Las anteriores propiedades dan lugar a las deniciones siguientes
Denici on 3.104 Un R-m odulo N se llama
(i) inyectivo, cuando Hom
R
(, N) es exacto;
(ii) proyectivo, cuando Hom
R
(N, ) es exacto;
(iii) llano, cuando N
R
es exacto.
Los anteriores conceptos est an relacionados
Lema 3.105 Sea M un R-m odulo. Se verica
(i) M es proyectivo si y s olo si es sumando directo de un R-m odulo libre, i.e. existe un conjunto
de ndices y un R-m odulo N, tales que R
(I)
= MN salvo isomorsmos de R-m odulos;
(ii) si M es libre, entonces es proyectivo;
(iii) si M es proyectivo, entonces es llano.
Ejemplos 3.106 Veamos contraejemplos para las anteriores propiedades
(i) un m odulo proyectivo no es necesariamente libre: si R = Z
6
, entonces N = 2Z/6Z y
M = 3Z/6Z son ideales de R, M

N = R y M N = 0. N es proyectivo, por ser


sumando directo de un m odulo libre, pero no es libre pues no es de la forma R
(I)
;
(ii) aunque Q es un Z-m odulo llano (e inyectivo), no es ni proyectivo ni libre;
(iii) Z es Z-libre (por lo tanto, proyectivo y llano), pero no es inyectivo, pues la sucesi on exacta
0 Z Q Q/Z 0 no induce otra exacta
0 Hom
Z
(Q/Z, Z) Hom
Z
(Q, Z) Hom
Z
(Z, Z) 0;
(iv) Z
2
es un Z-m odulo inyectivo, pero no es llano, pues la sucesi on exacta obvia dada por
0 Z
2
Z Z/2Z 0 no induce otra exacta
0 Z Z
2
Z Z
2
Z/2Z Z
2
0.
30 3. Un poco de

Algebra Homol ogica
Para R-m odulos inyectivos, se cumple
Lema 3.107 Se verican las propiedades
(i) unR-m oduloN es inyectivosi y s olosi todasucesi onexactade R-m odulos y R-homomorsmos
0 N M
1
M
2
0 escinde;
(ii) si M
i
: i I es una familia de R-m odulos y

iI
M
i
es un R-m odulo inyectivo, entonces
cada M
i
lo es;
(iii) si M
i
: i I es una familia de R-m odulos, entonces

iI
M
i
es un R-m odulo inyectivo si
y s olo si cada M
i
lo es;
(iv) un grupo abeliano G es divisible si y s olo si es Z-inyectivo;
(v) un sumando directo de un R-m odulo inyectivo es inyectivo;
(vi) criterio de Baer: un R-m odulo N es inyectivo si y s olo para todo ideal I de R y toda
aplicaci on R-lineal : I N, se extiende a R.
Ejemplos 3.108 Se verica
(i) Q/Z es Z-inyectivo;
(ii) Z
p
es Z-inyectivo para todo p primo;
(iii) un R-subm odulo de un m odulo inyectivo no lo es en general: Q es Z-inyectivo y Z no lo
es.
Para R-m odulos proyectivos, se cumple
Lema 3.109 Se verican las propiedades
(i) un R-m odulo N es proyectivo si y s olo si toda sucesi on exacta de R-m odulos y R-
homomorsmos 0 M
1
M
2
N 0 escinde;
(ii) todo R-m odulo que sea sumando directo de un R-m odulo proyectivo, es proyectivo;
(iii) si M
i
: i I es una familia de R-m odulos, entonces

iI
M
i
es un R-m odulo proyectivo
si y s olo si cada M
i
lo es;
(iv) si M
i
: i I es una familia de R-m odulos y

iI
M
i
es un R-m odulo proyectivo, entonces
cada M
i
lo es;
(v) si R es un cuerpo, M es R-libre si y s olo si es proyectivo.
31
Ejemplos 3.110 Se verica
(i) el cociente de unR-m oduloproyectivonoes engeneral proyectivo: por ejemploZ/nZ = Z
n
;
(ii) un R-subm odulo de un m odulo proyectivo no tiene porque ser proyectivo: si R = M = Z
4
,
M es proyectivo, pero N = 2Z
4
no lo es.
Para R-m odulos llanos, se cumple
Lema 3.111 Se verican las propiedades
(i) un R-m odulo N es llano si y s olo dado un R-homomorsmo inyectivo f: M
1
M
2
,
entonces 1
N
f: N M
1
N M
2
es tambi en inyectivo;
(ii) un sumando directo de un R-m odulo llano es llano;
(iii) si M
i
: i I es una familia de R-m odulos, entonces

iI
M
i
es un R-m odulo llano si y
s olo si cada M
i
lo es.
Ejemplos 3.112 Se verica
(i) R es llano como R-m odulo;
(ii) el cociente de un R-m odulo llano no es en general llano: por ejemplo Z/nZ = Z
n
no es
llano como Z-m odulo.
3.7 Los functores Ext y Tor
Denici on 3.113 Sea M un R-m odulo. Una resoluci on de M es un complejo de cadenas T

: . . .
d
n+1
F
n
d
n
F
n1
d
n1
. . .
d
1
F
0
d
0
0
y un homomorsmo : F
0
M tal que la sucesi on
. . .
d
n+1
F
n
d
n
F
n1
d
n1
. . .
d
1
F
0

M0
es exacta, es decir, H
n
(T

) = 0 para cada n > 0 y H


0
(T

)

M. Denotaremos la
resoluci on por (T

, d

, ). (T

, d

, ) se dice proyectiva (respectivamente, libre), si todos los F


n
son R-m odulos proyectivos (respectivamente, libres).
Teorema 3.114 Todo R-m odulo posee una resoluci on libre.
Observaci on 3.115 El m odulo M
1
= Ker() se llama primer R-m odulo de syzygies de M
y se denota syz
1
(M). En general, dada
. . .
d
n+1
F
n
d
n
F
n1
d
n1
. . .
d
1
F
0

M0
32 3. Un poco de

Algebra Homol ogica
una resoluci on proyectiva (respectivamente, libre) de M, se denota
syz
n
(M) := syz(syz
n1
(M)) = Ker(d
n1
),
al n- esimo R-m odulo de syzygies de M. Al menor n umero natural d 0 para el que
syz
d
(M) es proyectivo, se le llama dimensi on proyectiva de M, y se denota pdim(M). Se
dene syz
0
(M) := M. Por lo tanto, M es proyectivo cuando pdim(M) = 0. En general,
pdim(M) = d < , cuando M tiene una resoluci on proyectiva nita
0 P
d
. . . P
1
P
0
M 0.
Observaci on 3.116 El teorema de syzygies de Hilbert arma que para cada cuerpo K, todo
K[x
1
, . . . , x
n
]-m odulo M es tal que pdim(M) n.
Observaci on 3.117 La palabra syzygie viene del griego , y signica conjunci on,
uni on.
Teorema 3.118 Seaf: MM

unhomomorsmode R-m odulos y T

, T

resoluciones proyec-
tivas de M y M

respectivamente. Existen homomorsmos (salvo homotopa) F

: T

y
se obtiene el siguiente diagrama de cuadrados conmutativos
. . .
d
n+1
P
n
d
n
P
n1
d
n1
. . .
d
2
P
1
d
1
P
0

M 0

_
F
n

_
F
n1

_
F
1

_
F
0

_
f
. . .
d

n+1
P

n
d

n
P

n1
d

n1
. . .
d

2
P

1
d

1
P

0
Corolario 3.119 Sea M un R-m odulo. Dos resoluciones proyectivas de M, T

y T

, son
homot opicamente equivalentes.
Lema 3.120 Sea 0 M

M M

0 una sucesi on exacta de R-m odulos. Existe


una sucesi on exacta de resoluciones libres O T

O, de modo que el
siguiente diagrama de las y columnas exactas conmuta
0 0 0

0 M

M M

0

0 F

0
F
0
F

0
0

0 F

1
F
1
F

1
0

.
.
.
.
.
.
.
.
.
33
Observaci on 3.121 Dados M y N dos R-m odulos y
. . .
d
3
P
2
d
2
P
1
d
1
P
0

M0
una resoluci onproyectiva (respectivamente, libre). Se puede hacer actuar
R
N yHom
R
(, N)
sobre T

y se obtienen los dos complejos


T

R
N : . . .
d
3
id
N
P
2

R
N
d
2
id
N
P
1

R
N
d
1
id
N
P
0

R
N
d
0
id
N
0
Hom
R
(T

, N) : 0
d

0
Hom
R
(P
0
, N)
d

1
Hom
R
(P
1
, N)
d

2
. . .
el primero es un complejo de cadenas y el segundo de cocadenas. No son complejos exactos en
general, porque
R
N y Hom
R
(, N) no son functores exactos en general. La exactitud de
estos se describe a trav es de los functores Ext y Tor
Denici on 3.122 Sean M y N dos R-m odulos y T

una resoluci on proyectiva de M. Para cada


n N, se dene el R-m odulo Tor
R
n
(M, N) como
Tor
R
n
(M, N) := H
n
(T

R
N) = Ker(d
n
id
N
)/Im(d
n+1
id
N
)
y el R-m odulo Ext
n
R
(M, N) como
Ext
n
R
(M, N) := H
n
(Hom
R
(T

, N)) = Ker(d

n
)/Im(d

n1
).
Por el corolario 3.119, Tor y Ext est an denidos salvo isomorsmo, y no dependen de la
resoluci on elegida para M.
Lema 3.123 Sean M, N dos R-m odulos y n N. Entonces, Tor
R
n
(M, N) Tor
R
n
(N, M) es
un isomorsmo natural.
Se verican las siguientes propiedades para Tor
Proposici on 3.124 Sean M, N dos R-m odulos y n N. Se verica
(i) Tor
R
n
(, ): Mod
R
Mod
R
Mod
R
es un bifunctor, covariante en M y N;
(ii) se tienen los isomorsmos
Tor
R
n
(M, N

) Tor
R
n
(M, N)

Tor
R
n
(M, N

)y
Tor
R
n
(M

, N) Tor
R
n
(M, N)

Tor
R
n
(M

, N);
(iii) existe una equivalencia natural Tor
R
0
(M, N) M
R
N;
(iv) si M o N son llanos, entonces
Tor
R
n
(M, N) =
_
M
R
N si n = 0
0 si n ,= 0
34 3. Un poco de

Algebra Homol ogica
Se otiene la sucesi on exacta larga del functor Tor
Teorema 3.125 Sea M un R-m odulo y 0 N

N N

0 una sucesi on exacta de


R-m odulos. Existe una sucesi on exacta natural y larga
. . . Tor
R
2
(M, N

) Tor
R
1
(M, N

) Tor
R
1
(M, N) Tor
R
1
(M, N

)
M
R
N

M
R
N M
R
N

0.
Corolario 3.126 Sea M un R-m odulo. Las siguientes condiciones son equivalentes
(i) M es llano,
(ii) para cada R-m odulo N, es Tor
R
1
(M, N) = 0,
(iii) para cada R-m odulo N y cada n umero natural n 1, es Tor
R
n
(M, N) = 0.
Corolario 3.127 Sea N un R-m odulo y 0 M

M M

0 una sucesi on exacta


de R-m odulos. Existe una sucesi on exacta natural y larga
. . . Tor
R
2
(M

, N) Tor
R
1
(M

, N) Tor
R
1
(M, N) Tor
R
1
(M

, N)
M

R
N M
R
N M

R
N 0
Ejemplos 3.128 Sea N un Z-m odulo, entonces
1.
Tor
Z
n
(Z, N) =
_
Z
Z
N N si n = 0
0 si n ,= 0
2. sea k Z 0. Se tiene la siguiente sucesi on exacta
0 Z
k
Z Z
k
0,
y se obtiene una resoluci on libre de Z
k
. As,
Tor
Z
n
(Z
k
, N) = 0, para n 2,
Tor
Z
0
(Z
k
, N) Z
k

Z
N N/kN,
Tor
Z
1
(Z
k
, N) = Ker
_
Z
Z
N
kid
N
Z
Z
N
_
Ker(N
k
N).
As, Tor
Z
1
(Z
k
, N) n N : k.n = 0, puede verse como la k-torsi on de N. Y es
Tor
Z
1
(Z
k
, N) = 0, cuando para n N 0 es k.n ,= 0.
Denici on 3.129 Un ideal del anillo R es un subgrupo I de (R, +), tal que para cada i I y
r R, es r.i I. Un ideal de la forma r.i : r R con i R es un ideal principal. Un anillo
cuyos ideales son principales se llama anillo de ideales principales.
35
Observaci on 3.130 Si R es un anillo de ideales principales, cada subm odulo de un R-m odulo
libre es libre. As, cada R-m odulo M tiene una resoluci on libre, que es a lo sumo de longitud 1,
0 F
1
d
1
F
0

M 0,
es decir, pdim(M) 1. Y entonces, obtenemos Tor
R
n
(M, N) = 0 y Ext
R
n
(M, N) = 0,
para n 2.
Se verican las siguientes propiedades para Ext
Proposici on 3.131 Sean M y N dos R-m odulos; entonces
(i) para cada n N, Ext
n
R
(, ): Mod
R
Mod
R
Mod
R
es un bifunctor, contravariante
en M y covariante en N;
(ii) se tienen los isomorsmos
Ext
R
n
(M, N

) Ext
R
n
(M, N)

Ext
R
n
(M, N

) y
Ext
R
n
(M

, N) Ext
R
n
(M, N)

Ext
R
n
(M

, N);
(iii) se tiene una equivalencia natural Ext
0
R
(M, N) Hom
R
(M, N);
(iv) si M es proyectivo o N es inyectivo, entonces para cada n N, es
Ext
n
R
(M, N) =
_
Hom
R
(M, N) si n = 0
0 si n ,= 0
Ejemplo 3.132 Sea K un cuerpo, M := K[x] =

nN
Kx
n
una suma directa de K-m odulos.
Sea K[[x]] :=
_
_
_

nN
r
n
x
n
: r
n
R
_
_
_
el anillo de las potencias formales sobre K. Entonces,
se tiene el isomorsmo K[[x]]

Hom
K
(K[x], K), que asocia a

nN
s
n
x
n
el homomorsmo
_
_
m

j=0
r
j
x
j

j=0
s
j
r
j
_
_
. Y
Hom
K
(

nN
Kx
n
, K) = Hom
K
(K[x], K) K[[x]] K
N
.
Por otro lado,

nN
Hom
K
(Kx
n
, K)

nN
K = K
(N)
.
Por lo tanto,

nN
Hom
K
(Kx
n
, K) Hom(

nN
Kx
n
, K), pero no coinciden.
36 3. Un poco de

Algebra Homol ogica
Se obtiene la sucesi on exacta larga del functor Ext
Teorema 3.133 Sea M un R-m odulo y 0 N

N N

0 una sucesi on exacta


corta de R-m odulos. Existe una sucesi on exacta natural y larga
0 Hom
R
(M, N

) Hom
R
(M, N) Hom
R
(M, N

)
Ext
1
R
(M, N

) Ext
1
R
(M, N) Ext
1
R
(M, N

) Ext
2
R
(M, N

) . . .
y una sucesi on exacta larga natural
0 Hom
R
(N

, M) Hom
R
(N, M) Hom
R
(N

, M)
Ext
1
R
(N

, M) Ext
1
R
(N, M) Ext
1
R
(N

, M) Ext
2
R
(N

, M) . . .
Teora singular
Estamos en el ciclo de los nervios.
El m usculo cuelga,
como recuerdo, en los museos;
mas no por eso tenemos menos fuerza:
el vigor verdadero
reside en la cabeza.
Arte po etica
Vicente Huidobro (18931948)
4.1 Preliminares anes
Denici on 4.1 Un subconjunto Adel espacio eucldeo R
n
es an, si para cada x, y A, la recta
por x e y est a contenida en A. Y es convexo, si el segmento por x e y est a en A.
Observaci on 4.2 Todo conjunto afn es convexo. El vaco y los puntos son trivialmente anes.
Teorema 4.3 Sea X
j

jJ
una familia de subconjuntos de R
n
convexos (respectivamente,
anes), entonces

jJ
X
j
es tambi en convexo (respectivamente, an).
Tiene sentido hablar del subconjunto convexo (respectivamente, an) en R
n
generado por
X R
n
, es decir, la intersecci on de los subconjuntos convexos (respectivamente, anes) de R
n
conteniendo a X
Denici on 4.4 La envolvente convexa de X es el subconjunto convexo generado por X y se
denota por [X], y existe, pues R
n
es an, luego convexo.
Vamos a describir el conjunto [X], para X nito
Denici on 4.5 Una combinaci on an de n + 1 puntos p
0
, . . . , p
m
R
n
, es otro punto x R
n
,
x = t
0
p
0
+ . . . + t
m
p
m
, donde t
0
+ . . . + t
m
= 1. Una combinaci on convexa es una an, para
la que t
i
0, para cada i 0, . . . , m.
Teorema 4.6 Si p
0
, . . . , p
m
R
n
, entonces el conjunto convexo formado por esos puntos o
m-smplice afn de v ertices p
0
, . . . , p
m
, [p
0
, . . . , p
m
], es la familia de todas las combinaciones
lineales convexas de p
0
, . . . , p
m
.
37
38 4. Teora singular
Corolario 4.7 El conjunto afn generado por p
0
, . . . , p
m
R
n
, consiste en todas las combi-
naciones anes de esos puntos.
Denici on 4.8 Un conjunto ordenado de puntos se llama anmente independiente, si el conjunto
p
1
p
0
, p
2
p
0
, . . . , p
n
p
0
es linealmente independiente en el espacio vectorial real R
n
.
Observaci on 4.9 Todo subconjunto linealmente independiente de R
n
es anmente independien-
te; el recproco no es cierto, pues un conjunto linealmente independiente junto con el origen, es
anmente independiente.
Ejemplos 4.10 Se tienen los siguientes ejemplos
1. p
0
es anmente independiente, pues no existen puntos de la forma p
i
p
0
para i ,= 0 y el
conjunto vaco es linealmente independiente;
2. p
0
, p
1
es anmente independiente, si p
0
,= p
1
;
3. p
0
, p
1
, p
2
es anmente independiente, si los puntos no son colineales;
4. p
0
, p
1
, p
2
, p
3
es anmente independiente, si los puntos no son coplanarios.
Teorema 4.11 Sobre un conjunto ordenado de puntos p
0
, . . . , p
m
R
n
, son equivalentes las
siguientes condiciones
(i) p
0
, . . . , p
m
es anmente independiente;
(ii) si s
0
, . . . , s
m
R satisface la relaci on s
0
p
0
+ . . . + s
m
p
m
= 0 y s
0
+ . . . + s
m
= 0,
entonces s
0
= . . . = s
m
= 0;
(iii) para cada x A, el conjunto afn generado por p
0
, . . . , p
m
R
n
, tiene una unica
expresi on como una combinaci on afn x = t
0
p
0
+ . . . + t
m
p
m
y t
0
+ . . . + t
m
= 1.
Corolario 4.12 La independencia an es una propiedad del conjunto p
0
, . . . , p
m
R
n
,
que no resulta del orden dado.
Corolario 4.13 Si Aes el conjunto afn de R
n
generado por el conjunto anmente independiente
p
0
, . . . , p
m
R
n
, entonces A es un trasladado de un subespacio vectorial V m-dimensional
de R
n
, A = V + x
0
, para alg un x
0
R
n
.
Denici on 4.14 Sea el conjuntoanmente independiente p
0
, . . . , p
m
R
n
ysea Ael conjunto
afn generado por esos puntos. Si x A, por el teorema 4.11, sabemos que existe una unica
(m+1)-tupla, (t
0
, t
1
, . . . , t
m
), tal que t
0
+. . .+t
m
= 1 y t
0
p
0
+. . .+t
m
p
m
= x. Los coecientes
de esta (m+ 1)-tupla, se llaman coordenadas baric enticas de x, relativas al conjunto ordenado
p
0
, . . . , p
m
. Estas coordenadas no dependen del espacio ambiente R
n
.
Proposici on 4.15 Si p
0
, . . . , p
m
R
n
es un conjunto anmente independiente, entonces cada
x [p
0
, . . . , p
m
] tiene una expresi on unica de la forma x = t
0
p
0
+. . . t
m
p
m
, con t
0
+. . .+t
m
= 1
y t
i
0, i 0, . . . , m.
39
Denici on 4.16 Si p
0
, . . . , p
m
R
n
es un conjunto anmente independiente, el baricentro
de [p
0
, . . . , p
m
] es
1
m+1
(p
0
+ . . . p
m
) es decir, su centro de gravedad.
Ejemplos 4.17 Algunos ejemplos de baricentros son
1. p
0
es el baricentro de [p
0
];
2. el baricentro del segmento [p
0
, p
1
] es el punto medio de este segmento,
1
2
(p
0
+ p
1
);
3. el baricentro de [p
0
, p
1
, p
2
] (tri angulo de v ertices p
0
, p
1
y p
2
, con su interior) es el punto
1
3
(p
0
+ p
1
+ p
2
);
4. el baricentro de [p
0
, p
1
, p
2
, p
3
] (tetraedro s olido de v ertices p
0
, p
1
, p
2
y p
3
) es el punto
1
4
(p
0
+p
1
+p
2
+p
3
). La cara triangular opuesta a p
i
, consiste en los puntos cuya i- esima
coordenada baric entrica es 0;
5. para i = 1, . . . , n, si e
i
= (0, . . . ,
(i)
1 , . . . , 0) R
n+1
, los e
0
, . . . , e
n
sonanmente indepen-
dientes (incluso linealmente independientes). [e
0
, . . . , e
n
] consiste en las combinaciones
lineales convexas x = t
0
e
0
+ . . . + t
n
e
n
. En este caso, las coordenadas baric entricas y
cartesianas coinciden y [e
0
, . . . , e
n
] =
n
es el smplice geom etrico est andar.
Denici on 4.18 Sea una familia de puntos anmente independiente p
0
, . . . , p
m
R
n
y A el
conjunto afn generado por ellos. Una aplicaci on an T: AR
k
(para alg un k N), es una
funci on satisfaciendo T(t
0
p
0
+. . . +t
m
p
m
) = t
0
T(p
0
) +. . . +t
m
T(p
m
), para t
0
+. . . +t
m
= 1.
La restricci on de T a [p
0
, . . . , p
m
] se llama tambi en una aplicaci on an.
Observaci on 4.19 Las aplicaciones anes preservan combinaciones anes y por lo tanto, com-
binaciones convexas. Es claro que una aplicaci on afn est a determinada por sus valores sobre
un conjunto anmente independiente, su restricci on a un smplice se identica pues por sus
valores sobre los v ertices. Por otro lado, la unicidad de las coordenadas baric entricas relativas
a p
0
, . . . , p
m
, prueba que una tal aplicaci on afn existe, porque la f ormula dada est a bien
denida.
Teorema 4.20 Si [p
0
, . . . , p
m
] es un m-smplice, [q
0
, . . . , q
n
] es un n-smplice y se tiene una
funci on arbitraria f: p
0
, . . . , p
m
[q
0
, . . . , q
n
], entonces existe una unica aplicaci on afn
T: [p
0
, . . . , p
m
] [q
0
, . . . , q
n
], tal que T(p
i
) = f(p
i
), para cada i 0, . . . , m.
4.2 Teora singular
Se considera un producto numerable de copias de R,

nN
R = R

con la topologa de Tychonoff,


y para cada n N, los vectores e
0
= (0, 0, . . . , 0, . . .) y e
n
= (0, . . . ,
(n)
1 , . . . , 0, . . .). Identi-
camos R
n
con el subespacio de R

que posee todas las componentes mayores que n nulas. Para


40 4. Teora singular
cada n 0, sea
n
el n-smplice geom etrico est andar, es decir, el espacio afn generado por
e
0
, e
1
, e
2
, . . . e
n
. As,
0
es un punto,
1
es el intervalo unidad,
2
es un tri angulo (incluido su
interior),
3
es un tetraedro, etc.
Observaci on 4.21
n
es homeomorfo al disco cerrado unidad D
n
, para n > 0.
Denici on 4.22 Sean p
0
, p
1
, . . . , p
n
puntos linealmente independientes en un espacio afn E.
Sea f: R
n
E la unica aplicaci on afn que lleva e
i
en p
i
, para i 0, 1, . . . , n. La restricci on
de f a
n
, f[

n
, se denota por (p
0
p
1
. . . p
n
). En particular, (e
0
e
1
. . . e
n
) = 1

n
, se denota
n
.
Denici on 4.23 Sea X un espacio topol ogico. Un n-smplice singular en X, es una aplicaci on
continua f:
n
X. Es decir, un 0-smplice singular puede identicarse con un punto en
X, un 1-smplice singular puede pensarse con un camino en X, un 2-smplice singular es una
aplicaci on del triangulo est andar en X, etc. Observar que f(
n
) puede incluso degenerar en un
punto.
Vamos a aprender a sumar y restar estos smplices de manera puramente formal. Para ello,
consideramos un anillo conmutativo unitario R; tendremos en mente los anillos Z, Z
k
, Q, Ry C
Denici on 4.24 Se considera S
n
(X; R), el R-m odulo libre generado por los n-smplices sin-
gulares, es decir
S
n
(X; R) =
_

. : es n smplice singular, n

R, n

= 0 pct
_
, si n 0
S
n
(X; R) = 0, si n < 0.
La unica manera de que una tal suma sea nula, es que lo sean todos sus coecientes. S
n
(X; R)
es el R-m odulo de las n-cadenas singulares.
Si n > 0, se dene para 0 i n, la aplicaci on an,
i
n
:
n1

n
, donde

i
n
= (e
0
e
1
. . . e
i
. . . e
n
), es decir,

i
n
(e
j
) =
_
e
j
si j < i
e
j+1
si j i
_
;
as,
i
n
lleva el (n 1)-smplice
n1
homeom orca y anmente sobre la cara (desde el punto
de vista geom etrico usual) opuesta al v ertice e
i
en
n
. Y, en el caso singular
Denici on 4.25 Si es un n-smplice singular en X, se dene la i- esima cara,
(i)
de , como
el (n 1)-smplice singular denido por
i
n
. En particular,
i
n
= (
n
)
(i)
.
Por el momento, s olo hemos considerado caras no orientadas
Denici on 4.26 La frontera de un n-smplice singular , es la (n1)-cadena singular denida
por
n
() =
n

i=0
(1)
i

(i)
, es decir, es la suma formal de sus caras, dotadas de signo.
41
Ejemplos 4.27 Algunos ejemplos de fronteras, son
1. la frontera del 2-smplice (e
0
e
1
e
2
) es
2
(e
0
e
1
e
2
) = (e
1
e
2
) (e
0
e
2
) + (e
0
e
1
) y puede
interpretarse como la suma algebraica de los bordes del tri angulo est andar, con los signos
elegidos de modo que se empieza por e
0
y se viaja alrededor de un lazo hasta volver a
llegar a e
0
(aunque no es un lazo, sino una suma formal, con signos, de tres caminos);
2. si X es un espacio afn y = (p
0
p
1
. . . p
n
), entonces
n
() =
n

i=0
(1)
i
(p
0
p
1
. . . p
i
. . . p
n
).
Observaci on 4.28 Por linealidad, se puede extender el operador frontera a un homomorsmo
de R-m odulos,
n
: S
n
(X; R)S
n1
(X; R), donde
n
_

.
_
=

.
n
().
Lema 4.29 Si j < i, se da la igualdad
i
n+1

j
n
=
j
n+1

i1
n
:
n1

n+1
.
El operador frontera es idempotente, en el siguiente sentido
Lema 4.30 Para cada n 0, es
n

n+1
= 0, es decir, Im(
n+1
) Ker(
n
).
Tenemos as el complejo de cadenas singulares (S

(X; R), ), donde


. . .

n+1
S
n
(X; R)

n
S
n1
(X; R)

n1
S
n2
(X; R) . . .

2
S
1
(X; R)

1
S
0
(X; R)

0
0.
Denici on 4.31 Una n-cadena singular c S
n
(X; R) es un n-ciclo, si
n
(c) = 0, es decir,
c Ker(
n
). Y si existe c

S
n+1
(X; R), tal que
n+1
(c

) = c, se dice que c es un n-borde;


de otro modo, c Im(
n+1
). Si se denota por Z
n
(X; R) el conjunto de los n-ciclos y por
B
n
(X; R) el conjunto de los n-bordes, claramente ambos son subm odulos de S
n
(X; R), y a su
vez B
n
(X; R) es un subm odulo de Z
n
(X; R).
Se dene la siguiente relaci on de equivalencia sobre S
n
(X; R)
c
1
c
2
si existe c
3
S
n+1
(X; R) tal que c
1
c
2
=
n+1
(c
3
),
es decir, si c
1
y c
2
dieren en un borde, esto es, c
1
c
2
B
n
(X; R). En tal caso, se dice que c
1
y c
2
son n-cadenas hom ologas.
Denici on 4.32 Como B
n
(X; R) es un subm odulo de Z
n
(X; R), tiene sentido hablar del R-
m odulo cociente, H
n
(X; R) = Z
n
(X; R)/B
n
(X; R), y se llama n- esimo R-m odulo de ho-
mologa singular de X. La homologa total de X es
H

(X; R) =

nZ
H
n
(X; R) =

n0
H
n
(X; R).
Observaci on 4.33 Es decir, la homologa singular es la homologa del complejo de las cadenas
singulares H
n
(X; R) := H
n
(S

(X; R)).
42 4. Teora singular
Se verica el axioma de dimensi on
Lema 4.34 Si X se reduce a un punto,
H
n
(X; R) =
_
R si n = 0
0 en otro caso
Denici on 4.35 X se llama acclico, si H
n
(X; R) = 0, para n > 0.
Proposici on 4.36 Sea X

: el conjunto de las componentes conexas por caminos de


X. Entonces, para cada n 0, existe un isomorsmo can onico
H
n
(X; R)

H
n
(X

; R).
Lema 4.37 Si X es conexo por caminos, H
0
(X; R) R.
Proposici on 4.38 En las condiciones de la proposici on 4.36, H
0
(X; R)

R, es decir, el
R-m odulo libre con tantos generadores como componentes conexas tiene X.
Observaci on 4.39 Teniendo en cuenta la proposici on 4.36, se puede suponer a partir de ahora
que X es conexo por caminos.
Nuestro siguiente objetivo, es probar que H
n
(; R) es un functor de Top en Mod
R
. Sea
para ello f: XY continua y :
n
X un n-smplice, entonces, f :
n
Y es un
n-smplice en Y . Si se extiende esta aplicaci on linealmente, tenemos un homomorsmo de
grupos S
n
(f): S
n
(X; R)S
n
(Y ; R), denido del modo S
n
(f)
_

.
_
=

.(f ).
Y se verica
Lema 4.40 Si f: XY es continua, entonces para n 0, es S
n1
(f)
X
n
=
Y
n
S
n
(f).
Lema 4.41 Si f: XY es continua, entonces para n 0, es
S
n
(f)(Z
n
(X; R)) Z
n
(Y ; R) y S
n
(f)(B
n
(X; R)) B
n
(Y ; R).
Del lema anterior, se deduce f acilmente
Teorema 4.42 Para n 0, H
n
(; R) es un functor covariante de Top en Mod
R
.
Cada R-m odulo de homologa es un invariante del espacio X
Corolario 4.43 Si X e Y son espacios homeomorfos, entonces para cada n 0, H
n
(X; R) y
H
n
(Y ; R) son isomorfos.
Propiedades de Homotopa
Dentro de la claridad
del aceite y sus aromas,
indican tu libertad
la libertad de tus lomas.
Aceituneros
Miguel Hern andez (19101942)
5.1 El teorema de invarianza por homotopa
El objetivo es probar que si f, g: XY son continuas y hom otopas, entonces para cada n 0,
es H
n
(f) = H
n
(g).
Si H : f g es la homotopa que las relaciona y para cada t [0, 1], denimos

t
: XX [0, 1] por
t
(x) = (x, t), entonces
t
: t [0, 1] es una homotopa entre

0
y
1
. Adem as, H
t
: XY , verica que H
0
= f y H
1
= g, luego para cada
n 0, es H
n
(f) = H
n
(H) H
n
(
0
) y H
n
(g) = H
n
(H) H
n
(
1
). Si probamos que para cada
n 0, es H
n
(
0
) = H
n
(
1
), entonces quedar a probado el resultado deseado.
Para probar esta igualdad, se dene un homomorsmo, el operador prisma,
P
X
n
: S
n
(X; R)S
n+1
(X [0, 1]; R),
vericando la llamada relaci on prism atica: para n 0,

X[0,1]
n+1
P
X
n
+ P
X
n1

X
n
= S
n
(
1
) S
n
(
0
), (5.1)
y as, seg un la denici on 3.59, P
X
:
1

0
es una homotopa en cadenas.
Lema 5.1 Si se cumple (5.1), entonces para cada n 0, es H
n
(
0
) = H
n
(
1
).
Lema 5.2 Si :
n
X es un n-smplice singular en X, entonces = S
n
()(
n
).
43
44 5. Propiedades de Homotopa
Para conocer P
X
n
para n 0, bastar a con conocer P

n
n
(
n
) y denir entonces
P
X
n
S
n
() = S
n+1
( 1
[0,1]
) P

n
n
.
Por lo tanto, es P
X
n
S
n
()(
n
) = S
n+1
( 1
[0,1]
) P

n
n
(
n
), y usando el lema 5.2, queda
P
X
n
() = S
n+1
( 1
[0,1]
) P

n
n
(
n
). (5.2)
De hecho, (5.2) equivale a que para todo par de espacios X e Y , cada aplicaci on continua
f: XY y cada n 0, sea
P
Y
n
S
n
(f) = S
n+1
(f 1
[0,1]
) P
X
n
, (5.3)
que es la condici on de naturalidad para el operador prisma.
Denotamos, ahora a
i
= (e
i
, 0) y b
i
= (e
i
, 1), para i 0, . . . , n y denimos
P

n
n
(
n
) =
n

i=0
(1)
i
(a
0
. . . a
i
b
i
. . . b
n
),
donde claramente (a
0
. . . a
i
b
i
. . . b
n
):
n+1

n
[0, 1].
Proposici on 5.3 Con las deniciones anteriores, el operador prisma verica la relaci on (5.1).
Observaci on 5.4 La propiedad expresada por la relaci on (5.1), expresa que la frontera orientada
del prisma s olido

n
[0,1]
n+1
P

n
n
(
n
) es precisamente la uni on de las tapas superior e inferior
del prisma, salvo un factor corrector P

n
n1

n
n
(
n
) formado por sus paredes laterales.
Proposici on 5.5 Sean f, g: XY aplicaciones hom otopas. Entonces, para cada n Z, es
H
n
(f) = H
n
(g): H
n
(X; R)H
n
(Y ; R).
Corolario 5.6 Si X e Y son homot opicamente equivalentes, entonces los R-m odulos H
n
(X; R)
y H
n
(Y ; R) son isomorfos, para cada n 0.
Corolario 5.7 Si X es contr actil, entonces es H
n
(X; R) = 0, para cada n > 0.
Corolario 5.8 Si A es un retracto por deformaci on de X, la inclusi on natural i
A
: AX
induce un isomorsmo entre H
n
(A; R) y H
n
(X; R).
5.2 El teorema de Hurewicz
En este apartado, se considera el anillo R = Z. Se trata de relacionar el grupo fundamental

1
(X, x
0
) y el grupo abeliano H
1
(X; Z), para un espacio topol ogico X, a trav es del teorema
de Hurewicz
45
Teorema 5.9 Existe un homomorsmo de grupos :
1
(X, x
0
)H
1
(X; Z), la aplicaci on de
Hurewicz, que lleva la clase de homotopa de un camino basado en x
0
en la clase de homologa
del 1-smplice singular . Adem as, si X es conexo por caminos, se verica que
(i) es sobreyectiva y
(ii) Ker() es el subgrupo conmutador de
1
(X, x
0
), es decir,
[
1
(X, x
0
),
1
(X, x
0
)] = aba
1
b
1
: a, b
1
(X, x
0
)),
de otro modo, H
1
(X; Z) es el grupo abelianizado de
1
(X, x
0
),

1
(X, x
0
)
ab
:=
1
(X, x
0
)/ [
1
(X, x
0
),
1
(X, x
0
)] .
Corolario 5.10 Si X es conexo por caminos, es un isomorsmo si y s olo si
1
(X) es abeliano.
Ejemplos 5.11 Como consecuencia del teorema de Hurewicz, se pueden calcular los siguientes
grupos de homologa
1. H
1
(S
1
; Z) Z;
2. H
1
(T
2
; Z) Z Z;
3. como
1
(8) Z Z, se deduce que H
1
(8; Z) Z Z;
4. si X es simplemente conexo, entonces H
1
(X; Z) = 0. En particular, H
1
(S
n
; Z) = 0, para
n > 1.
46 5. Propiedades de Homotopa
Homologa relativa
Est an mejor; una luz
que el sol no sabe, unos rayos
los iluminan, sin noche,
para siempre revelados.
El Poema
Pedro Salinas (18911951)
6.1 Los m odulos de homologa relativa
El concepto de homologa relativa es an alogo al de cociente de un grupo por un subgrupo. Si
A X, dos cadenas en X se dir an iguales (mod A), si su diferencia es una cadena en A. En
particular, una cadena en X ser a un ciclo (mod A), si su borde est a contenido en A. Esto reeja
la estructura de X A y el modo en que est a conectada con A. En un sentido, los cambios en
el interior de A (fuera de su frontera con X A) no deberan alterar los grupos de homologa
de X A.
Los grupos de homologa relativos a A X se introducen en un espacio X, para intentar
generalizar y hacer m as precisa la noci on de propiedades con borde de las curvas cerradas sobre
una supercie: un sistema de cortes abiertos uniendo puntos de A, dividir a X, si los cortes
realizados (junto con una porci on de los bordes de los agujeros) forman una frontera de X.
Denici on 6.1 Sea A X. Para cada n 0, S
n
(A; R) es un subm odulo de S
n
(X; R),
que consiste en las combinaciones lineales de n-smplices singulares :
n
X, tales que
(
n
) A. Se puede entonces considerar el m odulo cociente S
n
(X; R)/S
n
(A; R). Adem as,
como el operador
n
enva S
n
(A; R) en S
n1
(A; R), induce un homomorsmo sobre los espacios
cociente,

n
: S
n
(X; R)/S
n
(A; R)S
n1
(X; R)/S
n1
(A; R),
de modo que si c S
n
(X; R), es
n
(c + S
n
(A; R)) =
n
(c) + S
n1
(A; R).
Por otro lado, como
n1

n
es la aplicaci on nula, Im(
n+1
) es un subm odulo de Ker(
n
),
y se puede considerar el m odulo cociente Ker(
n
)/Im(
n+1
), que se denota por H
n
(X, A; R)
y se llama n- esimo m odulo de homologa relativa de X m odulo A.
47
48 6. Homologa relativa
Observaci on 6.2 Esta homologa es precisamente la del complejo cociente de S

(X; R) m odulo
S

(A; R), seg un la denici on 3.11.


Se puede obtener directamente este m odulo a partir de S
n
(X; R), de la manera siguiente:
sea c S
n
(X; R), decir que c + S
n
(A; R) Ker(
n
) equivale a
n
(c) S
n1
(A; R). Por lo
tanto, el conjunto
Z
n
(X, A; R) = c S
n
(X; R) :
n
(c) S
n1
(A; R),
es un subm odulo de S
n
(X; R), cuyos elementos se llaman n-ciclos relativos de X m odulo
A. As, si
n
: S
n
(X; R)S
n
(X; R)/S
n
(A; R) es la aplicaci on cociente, se puede expresar
Z
n
(X, A; R) =
1
n
(Ker(
n
)). Y, qui en es entonces
1
n
(Im(
n+1
))? Es un subm odulo de
S
n
(X; R), el grupo de los n-bordes relativos en X m odulo A, y que es precisamente
B
n
(X, A; R) = c S
n
(X; R) : existe c
A
S
n
(A; R) tal que c es hom ologo (en X) a c
A
.
Observaci on 6.3 Claramente, S
n
(A; R) B
n
(X, A; R).
Denici on 6.4 Cuando c c

B
n
(X, A; R), se escribe c c

(mod A).
Lema 6.5 H
n
(X, A; R) Z
n
(X, A; R)/B
n
(X, A; R).
Observaci on 6.6 Si A = , es S
n
(A; R) = 0, para todo n 0, y entonces es claramente
H
n
(X, ; R) = H
n
(X; R), es decir, la homologa puede pensarse como un caso particular de
homologa relativa.
Dada una aplicaci on entre pares de espacios f: (X, A; R)(Y, B; R), el homomorsmo
inducido en cadenas S
n
(f): S
n
(X; R)S
n
(Y ; R) enva S
n
(A; R) en S
n
(B; R), y por lo
tanto, lleva Z
n
(X, A; R) en Z
n
(Y, B; R) y B
n
(X, A; R) en B
n
(Y, B; R), as pues, da lu-
gar, por paso al cociente, a un homomorsmo H
n
(f): H
n
(X, A; R)H
n
(Y, B; R), tal que
H
n
(1
X
) = 1
H
n
(X,A;R)
y H
n
(g f) = H
n
(g) H
n
(f), es decir
Lema 6.7 Los m odulos de homologa relativa son functoriales en (X, A).
Proposici on 6.8 Si X

: es la familia de las componentes conexas por caminos de X


y A

= A X

, entonces existe un isomorsmo can onico


H
n
(X, A; R)

H
n
(X

, A

; R).
Proposici on 6.9 Si X es conexo por caminos y A ,= , entonces H
0
(X, A; R) = 0.
Corolario 6.10 Si X

: es la familia de las componentes conexas por caminos de X y


A

= AX

, entonces H
0
(X, A; R) es un m odulo abeliano libre con tantos generadores como
ndices tales que A

= , es decir,
H
0
(X, A; R) =

iJ
R = R
(J)
,
donde J = i I : X
i
A = .
49
6.2 Sucesi on exacta larga de homologa
La propiedad m as importante de los m odulos de homologa relativa H
n
(X, A; R) : n 0, es
la existencia de un homomorsmo de enlace,
n
: H
n
(X, A; R)H
n1
(A; R), por medio del
cual va a obtenerse una sucesi on innita de homomorsmos
. . . H
n
(A; R)
H
n
(i
A
)
H
n
(X; R)
H
n
(1
X
)
H
n
(X, A; R)

n
H
n1
(A; R) . . . , (6.1)
llamada sucesi on de homologa del par (X, A). Este homomorsmo de enlace se dene del
modo siguiente
si z Z
n
(X, A; R),
n
(z + B
n
(X, A; R)) =
n
(z) + B
n1
(A; R).
Teorema 6.11 La sucesi on (6.1), de homologa del par (X, A) es exacta.
Observaci on 6.12 Esta precisamente la sucesi on exacta larga de homologa del teorema 3.72,
asociada a la sucesi on de complejos
O S

(A; R)
S

(i
A
)
S

(X; R)
S

(1
X
)
S

(X, A; R) O.
Ejemplos 6.13 Algunos ejemplos que se obtienen estudiando la sucesi on (6.1) son los siguientes
1. si X es conexo por caminos y A = x
0
, para cada n > 0, la aplicaci on inducida sobre los
grupos de homologa, H
n
(1
X
): H
n
(X, ; R)H
n
(X, A; R), es un isomorsmo,
2. para n 1, H
n
(S
k1
; R) y H
n+1
(D
k
, S
k1
; R) son isomorfos,
3. para n > 1, H
1
(D
n
, S
n1
; R) = 0,
4. H
1
(D
1
, S
0
; R) R.
Proposici on 6.14 La sucesi on de homologa (6.1) es functorial en el par (X, A).
6.3 Homotopas en pares
Denici on 6.15 Dos aplicaciones f, g: (X, A)(Y, B) se llaman hom otopas en pares, si
f, g: XY son hom otopas como aplicaciones, pero a trav es de una homotopa
H: (X [0, 1], A [0, 1])(Y, B),
es decir, f se deforma de manera continua en g, y en cada paso de la trasformaci on, A se lleva
en B.
Se puede transformar la prueba correspondiente al caso general, para ver que los homomor-
smos inducidos, H
n
(f), H
n
(g): H
n
(X, A; R)H
n
(Y, B; R) son iguales. Se dene la
50 6. Homologa relativa
equivalencia de homotopa de pares de manera evidente, y se prueba que, si f: (X, A)(Y, B)
es una equivalencia de homotopa entre pares, entonces H
n
(f): H
n
(X, A; R)H
n
(Y, B; R)
es un isomorsmo en homologa relativa.
Ejemplo 6.16 Sean X = Y = D
2
, A = S
1
B = (x, y) R
2
:
1
4
x
2
+ y
2
1. La
aplicaci on 1
X
: (X, A)(Y, B) es una equivalencia de homotopa.
Proposici on 6.17 Una homotopa entre pares f, g: (X, A)(Y, B), induce en particular una
homotopa f, g: XY y una homotopa f[
A
, g[
A
: AB.
Ejemplos 6.18 Sin embargo, el recproco no es cierto
1. si A = 0, 1 X = [0, 1] yB = (1, 0) Y = S
1
, las aplicaciones f, g: (X, A)(Y, B)
dadas por f(x) = e
2ix
y g(x) = (1, 0) no son hom otopas en pares, pero son hom otopas
las aplicaciones f, g: XY y sus restricciones f[
A
, g[
A
: AB;
2. dados los pares de espacios (X, A) e (Y, B), donde X = [0, 1] = Y , A = [0, 1]
1
2
y
B = 0, 1, es X Y , A B y (X, A) , (Y, B).
Usando el lema de los cinco 3.71, se prueba
Proposici on 6.19 Si f: (X, A)(Y, B) es una equivalencia de homotopa, entonces las apli-
caciones f: XY y f[
A
: AB tambi en son equivalencias de homotopa. Y en tal caso,
H
n
(f): H
n
(X, A)H
n
(Y, B) es un isomorsmo para n 0.
Sin embargo, el recproco no es cierto, como lo prueba el siguiente ejemplo
Ejemplo 6.20 Si X = Y = D
2
, A = S
1
B = (x, y) R
2
: 0 < x
2
+ y
2
1,
la aplicaci on H
n
(1
X
): H
n
(X, A; R)H
n
(Y, B; R) es un isomorsmo en homologa relativa,
pero 1
X
: (X, A)(Y, B) no es una equivalencia entre pares.
De modo similar
Proposici on 6.21 Dada una terna de espacios (X, A, B) (es decir, B A X) y las apli-
caciones inclusi on i
A
: (A, B)(X, B) y proyecci on 1
X
: (X, B)(X, A), se verican las
siguientes propiedades
(i) se tiene una sucesi on exacta larga
H
n+1
(A, B; R)
H
n+1
(i
A
)
H
n+1
(X, B; R)
H
n+1
(1
X
)
H
n+1
(X, A; R)

n+1
H
n
(A, B; R),
llamada sucesi on exacta larga de homologa de la terna (X, A, B), donde el homomor-
smo
n+1
es precisamente el compuesto de los dos homomorsmos
H
n+1
(X, A; R)

n+1
H
n
(A; R)
H
n
(1
A
)
H
n
(A, B; R).
Adem as, si B = , esta sucesi on se reduce a la sucesi on exacta larga de homologa usual;
51
(ii) si la inclusi on i
B
: BA, induce para cada n 0 un isomorsmo entre los grupos de
homologa correspondientes, H
n
(i
B
): H
n
(B; R)H
n
(A; R), entonces para cada n se
tiene un isomorsmo H
n
(1
X
): H
n
(X, B; R)H
n
(X, A; R).
Ejemplos 6.22 Algunos ejemplos de aplicaci on de las anteriores propiedades son
1. dada la terna (N, S
q1
, D
q
), donde N es el polo norte, se cumple que H
n
(D
q
, S
q1
; R) es
isomorfo a H
n1
(S
q1
, N; R);
2. si H
q
+
= (x
1
, . . . , x
q+1
) S
q
: x
q+1
0, se pueden calcular los grupos de homologa
H
n
(S
q
, S
q1
; R), con ayuda de la sucesi on exacta de homologa de la terna (S
q1
, H
q
+
, S
q
).
6.4 Una interpretaci on de la homologa relativa
La familia de m odulos H
n
(X, A; R) : n 0 mide, en un cierto sentido, lo lejos que el
homomorsmo H
n
(i
A
): H
n
(A; R)H
n
(X; R) est a de ser un isomorsmo. De hecho
Lema 6.23 El homomorsmo H
n
(i
A
): H
n
(A; R)H
n
(X; R) es un isomorsmo para cada
n 0 si y s olo si es H
n
(X, A; R) = 0 para todo n 0.
Lema 6.24 El homomorsmo H
n
(1
X
): H
n
(X; R)H
n
(X, A; R) es un isomorsmo para
cada n 0 si y s olo si es H
n
(A; R) = 0 para todo n 0.
Corolario 6.25 Si A es un retracto por deformaci on de X, entonces es H
n
(X, A; R) = 0, para
n 0.
52 6. Homologa relativa
La sucesi on de Mayer-Vietoris
Cuenca, toda de plata,
quiere en ti verse desnuda,
y se estira, de puntillas,
sobre sus treinta columnas.
Romance del J ucar
Gerardo Diego (18961987)
7.1 Teorema de excisi on
Sea U A X. Vamos a trabajar con smplices m odulo A, es decir, en H

(X, A; R).
El teorema de excisi on da condiciones para que partiendo en trozos sucientemente peque nos
estos smplices, podamos prescindir de la parte del smplice contenida en U, es decir, no va a
ser signicativo lo que suceda en este conjunto. Para ello, vamos a introducir el concepto de
smplice peque no de un cierto orden, que deniremos a trav es de cubrimientos por abiertos del
espacio X, U
i
: i I, exigiendo que las im agenes de los
n
est en contenidas en alguno de
los U
i
. Lo que pretendemos hacer, por lo tanto, es representar n-cadenas mediante smplices
m as peque nos en el sentido indicado anteriormente, sin cambiar las clases de homologa durante
el proceso.
Denici on 7.1 La inclusi on j: (X U, A U)(X, A) es una excisi on, si induce un iso-
morsmo H
n
(j): H
n
(X U, A U; R)H
n
(X, A; R), para cada n 0.
7.2 Caso simplicial
Denici on 7.2 Sea = (a
0
a
1
. . . a
n
) S
n
(
q
; R). Dado p
q
, el cono de sobre p es
p S
n+1
(
q
; R), denido por p = (pa
0
a
1
. . . a
n
). El operador cono sobre p se extiende de
manera lineal sobre las n-cadenas simpliciales, con lo cual es un homomorsmo de m odulos.
Si = 0, se dene p = 0.
53
54 7. La sucesi on de Mayer-Vietoris
Lema 7.3 Si = (a
0
a
1
. . . a
n
) S
n
(
q
; R), entonces
(i) si n = 0,
1
(p) = (p),
(ii) si n > 0,
n+1
(p) = p
n
().
Estas propiedades se traspasan a cadenas por linealidad, de la manera obvia.
Denici on 7.4 El operador subdivisi on baric entrica, Sd
n
: S
n
(
q
; R)S
n
(
q
; R), se dene
entonces de manera inductiva
Sd
n
() =
_
si n = 0
b

(Sd
n1
(
n
)) en otro caso
donde b

es el baric entro de . De este modo, el operador queda denido sobre una base de
S
n
(
q
; R), y se extiende por linealidad.
Lema 7.5 Sd
n
es una aplicaci on en cadenas, es decir,
n
Sd
n
= Sd
n1

n
.
Se dene por inducci on un nuevo operador, T
n
: S
n
(
q
; R)S
n+1
(
q
; R), por
T
n
() = b

(Sd
n
() T
n1
(
n
)),
para n > 0, y convenimos que T
0
= 0. Y entonces
Lema 7.6 T
n
es una homotopa en cadenas entre Sd
n
y 1
S
n
(
q
;R)
, es decir,

n+1
T
n
+ T
n1

n
= Sd
n
1
S
n
(
q
;R)
.
Observaci on 7.7 Por el lema anterior, y usando el lema 5.1, Sd
n
y 1
S
n
(
q
;R)
inducen aplica-
ciones iguales en homologa.
7.3 Caso general
Vamos a generalizar a cadenas singulares sobre X lo que acabamos de hacer para cadenas anes
Proposici on 7.8 Se denen para S
n
(X; R),
Sd
X
n
() = S
n
()(Sd
n
(1

n
)) y T
X
n
() = S
n+1
()(T
n
(1

n
)),
y verican
(i) son ambas naturales, es decir, si f: XY , entonces S
n
(f) Sd
X
n
= Sd
Y
n
S
n
(f) y
S
n+1
(f) T
X
n
= T
Y
n
S
n
(f);
(ii) Sd
X

es una aplicaci on en cadenas;


(iii) T
X

es una homotopa en cadenas entre Sd


X

y 1
S

(X;R)
;
55
(iv) Sd
X

y T
X

extienden sobre espacios abstractos las deniciones realizadas sobre espacios


anes.
Lema 7.9 Si = (a
0
a
1
. . . a
n
) es un smplice an en
q
, entonces todo smplice an que
aparece en la expresi on de Sd
n
() tiene di ametro menor o igual a
n
n+1
di am().
Corolario 7.10 Todo smplice an en Sd
k
n
(e
0
e
1
. . . e
n
) S
n
(
q
) tiene di ametro menor o igual
a (
n
n+1
)
k
di am(
q
), di ametro que converge a cero si k crece.
Denici on 7.11 Si | = U
i
: i I es un cubrimiento por abiertos de X, se dice que un n-
smplice singular es peque no de orden |, si (
n
) est a contenido en alguno de los abiertos de
|. Denotamos por S
U

(X; R) el subcomplejo de S

(X; R) formado por los smplices peque nos


de orden |.
La inclusi on i: S
U

(X; R)S

(X; R) es una equivalencia de complejos de cadenas e induce


un isomorsmo i

: H
n
(S
U

(X; R))H
n
(S

(X; R)).
Corolario 7.12 Sea | = U
i
: i I un cubrimiento por abiertos de X y un n-smplice
singular de X. Existe k N, tal que cada smplice de (Sd
X
n
)
k
() es peque no de orden |.
Teorema 7.13 En las condiciones anteriores, toda clase de homologa relativa en H
n
(X, A; R)
puede representarse por un ciclo relativo, que es una combinaci on lineal de smplices peque nos
de orden |.
Teorema 7.14 (Teorema de excisi on) Si U

A, entonces U puede excindirse.


Teorema 7.15 Si V U A, y adem as
(i) V puede excindirse,
(ii) (X U, A U) es un retracto por deformaci on de (X V, A V ),
entonces U puede excindirse.
7.4 La sucesi on de Mayer-Vietoris
Vamos a considerar ahora ternas ordenadas de espacios (X, X
1
, X
2
), donde X
1
y X
2
son sub-
espacios de X y X = X
1
X
2
. Se consideran las aplicaciones de inclusi on
k
1
: (X
1
, X
1
X
2
)(X, X
2
) y k
2
: (X
2
, X)(X
1
X
2
, X
1
),
obtenidas al excindir X
2
(X
1
X
2
) y X
1
(X
1
X
2
) de X, respectivamente.
Denici on 7.16 Si k
1
y k
2
son excisiones, se dice que la terna (X, X
1
, X
2
) es exacta.
56 7. La sucesi on de Mayer-Vietoris
Ejemplos 7.17 Son ejemplos de ternas exactas
1. si X
1
y X
2
son abiertos y X = X
1
X
2
, entonces la terna (X, X
1
, X
2
) es exacta, siendo
A = X
1
y U = X
1
(X
1
X
2
) los ingredientes de la excisi on;
2. (S
n
, E
+
n
, E

n
) es una terna exacta.
Comenzamos probando un lema puramente algebraico, el lema de Barratt-Whitehead
Lema 7.18 Sea un diagramade R-m odulos y homomorsmos, en el que los cuadrados conmutan
y las lneas son exactas
. . . A
i
f
i
B
i
g
i
C
i
h
i
. . .

i
. . .

A
i

f
i


B
i
g
i


C
i

h
i
. . .
Si las aplicaciones
i
son isomorsmos, entonces existe una sucesi on exacta larga,
. . . A
i


A
i
B
i


B
i

i
A
i1
. . . ,
llamada sucesi on de Barratt-Whitehead, donde
(i)
i
(a
i
) = (
i
f
i
)(a
i
, a
i
),
(ii)
i
( a
i
, b
i
) =

f
i
( a
i
) +
i
(b
i
),
(iii)
i
(

b
i
) = h
i

1
i
g
i
(

b
i
).
Observaci on 7.19 La functorialidad de una sucesi on del tipo Barratt-Whitehead es una conse-
cuencia inmediata de su denici on.
Si (X, X
1
, X
2
) es una terna exacta, X = X
1
X
2
y A = X
1
X
2
, la aplicaci on de inclusi on
i
X
1
: (X
1
, A)(X, X
2
) induce el diagrama de cuadrados conmutativos (y con las exactas)
. . . H
n
(A; R)
H
n
(i
X
1
A
)
H
n
(X
1
; R)
H
n
(1
A
X
1
)
H
n
(X
1
, A; R)

(X
1
,A)
n
. . .

_
H
n
(i
X
2
A
)

_
H
n
(i
X
X
1
)

_
H
n
(i
X
1
)
. . . H
n
(X
2
)
H
n
(i
X
X
2
)
H
n
(X; R)
H
n
(1
X
2
X
)
H
n
(X, X
2
; R)

(X,X
2
)
n
. . .
Y esto da lugar a la sucesi on de Mayer-Vietoris
Teorema 7.20 En el diagrama anterior, H
n
(i
X
1
): H
n
(X
1
, A; R)H
n
(X, X
2
; R) es un iso-
morsmo, para cada n 0. La sucesi on de Barrat-Whitehead asociada,
. . . H
n+1
(X; R)

n+1
H
n
(A; R)

n
H
n
(X
1
; R) H
n
(X
2
; R)

n
H
n
(X; R) . . . ,
se llama sucesi on de Mayer-Vietoris de la terna (X, X
1
, X
2
), y es functorial.
57
Observaci on 7.21 Podra haberse deducido esta propiedad directamente de la sucesi on de
Mayer-Vietoris algebraica (3.1) del teorema 3.76, tomando
(

= S

(X; R), (

= S

(X
1
; R) y (

= S

(X
2
; R),
y utilizando la propiedad de excisi on.
Ejemplos 7.22 Aplicando la sucesi on de Mayer-Vietoris, se pueden calcular grupos de ho-
mologa en muchos ejemplos
1. tomando X
1
= S
1
N y X
2
= S
1
S, se deduce que H
n
(S
1
; R) = 0, si n > 1;
2. para q, n 1, se obtiene
H
n
(S
q
; R)
_
R si q = n
0 si q ,= n
3. para la rosa de m p etalos G
m
(la suma topol ogica de m copias de S
1
identicadas a trav es
de un punto),
H
n
(G
m
; R) =
_

_
R si n = 0
R
(m)
. . . R si n = 1
0 si n > 1
4. para el toro
H
n
(T
2
; R) =
_

_
R si n = 0, 2
R R si n = 1
0 en otro caso
5. para T
g
, la supercie compacta de g enero g,
H
n
(T
g
; R) =
_

_
R si n = 0, 2
R
2g
si n = 1
0 en otro caso
De manera similar, puede obtenerse la sucesi on de Mayer-Vietoris relativa
Teorema 7.23 Si A y B son abiertos en X, se tiene la sucesi on exacta larga
. . . H
n+1
(X, A B; R) H
n+1
(X, A B; R)
H
n
(X, A; R) H
n
(X, B; R) H
n
(X, A B; R) . . .
58 7. La sucesi on de Mayer-Vietoris
Axiomas de la Homologa
La vida que murmura. La vida abierta.
La vida sonriente y siempre inquieta.
La vida que huye volviendo la cabeza,
tentadora o quiz a, s olo ni na traviesa.
Biografa
Gabriel Celaya (19111991)
Sea R un anillo conmutativo con unidad. Para cada par de espacios (X, A) y cada n Z,
sea un R-m odulo H
n
(X, A; R) y un R-homomorsmo

(X,A)
n
: H
n
(X, A; R)H
n1
(A, ; R).
Para cada aplicaci on entre pares f: (X, A)(Y, B) y cada n Z, sea un R-homomorsmo
de m odulos H
n
(f): H
n
(X, A; R)H
n
(Y, B; R).
Se denen los axiomas de Eilenberg-Steenrod como
Axioma 1 (de identidad) para cada par (X, A) y n Z es H
n
(id
(X,A)
) = id
H
n
(X,A;R)
;
Axioma 2 (de composici on) si f: (X, A)(Y, B) y g: (Y, B)(Z, C) son aplicaciones,
para cada n Z es H
n
(g f) = H
n
(g) H
n
(f): H
n
(X, A; R)H
n
(Z, C; R);
Axioma 3 (de conmutatividad) Si f: (X, A)(Y, B) y f[
A
: AB es la restricci on, hay
dos maneras de llevar H
n
(X, A; R) en H
n1
(B, ; R), que se muestran en el siguiente diagrama
H
n
(X, A; R)
H
n
(f)
H
n
(Y, B; R)

(X,A)
n

(Y,B)
n
H
n1
(A, ; R)
H
n1
(f|
A
)
H
n1
(B, ; R)
El axioma exige que estas dos composiciones
(Y,B)
n
H
n
(f) y H
n1
(f[
A
)
(X,A)
n
sean iguales
para cada elemento de H
n
(X, A; R);
Axioma 4 (de exactitud) Si (X, A) es un par de espacios, i: AX y j: (X, )(X, A) son
las aplicaciones de inclusi on, entonces la siguiente sucesi on de grupos y homomorsmos
59
60 8. Axiomas de la Homologa
. . .

(X,A)
n+1
H
n
(A, ; R)
H
n
(i)
H
n
(X, ; R)
H
n
(j)
H
n
(X, A; R)

(X,A)
n
H
n1
(A, ; R)
H
n1
(i)
. . . ,
es exacta y se llama sucesi on de homologa del par (X, A);
Axioma 5 (de homotopa) Dadas dos aplicaciones hom otopas f
0
, f
1
: (X, A)(Y, B), en-
tonces para cada entero n, los homomorsmo inducidos
H
n
(f
0
), H
n
(f
1
): H
n
(X, A; R)H
n
(Y, B; R)
coinciden;
Axioma 6 (de excisi on) Si U es un abierto en X cuya clausura est a contenida en el interior de
A, y k: (X U, A U)(X, A) es la inclusi on, entonces para cada entero n, la aplicaci on
inducida H
n
(k): H
n
(X U, A U; R)H
n
(X, A; R) es un isomorsmo. En este caso, k se
llama una excisi on;
Axioma 7 (de dimensi on) Si P es el espacio topol ogico formado por un unico punto, entonces
H
n
(P; R) = 0 para n ,= 0.
Estos siete axiomas denen lo que se denomina una Teora de Homologa con coecientes
en el anillo R.
Observaci on 8.1 La Homologa Singular verica los axiomas de Eilenberg-Steenrod.
Algunas aplicaciones de la Homologa
Caminito que anduvo
de sur a norte
mi raza vieja
antes que en la monta na
la Pachamama
se ensombreciera.
Caminito del indio
Atahualpa Yupanqui (19081992)
9.1 Homologa de las esferas
Teorema 9.1 Sean E
+
q
y E

q
las semiesferas cerradas de la esfera S
q
, donde q 1. Es decir,
E
+
q
E

q
= S
q1
es el ecuador de S
q
. Entonces, j: (E
+
q
, S
q1
)(S
q
, E

q
) es una excisi on.
Si proyectamos a lo largo de las q primeras coordenadas, se obtiene un homeomorsmo,
: (E
+
q
, S
q1
)(D
q
, S
q1
). Adem as,

n
: H
n
(D
q
, S
q1
; R)H
n1
(S
q1
; R)
es tambi en un isomorsmo, seg un se ha visto en los ejemplos 6.13 para q > 1. Por otro lado,
E

q
tiene el mismo tipo de homotopa que un punto p
0
S
q
, luego la invarianza por homotopa
de la homologa relativa, dice que
H
n
(D
q
, S
q1
; R) H
n
(S
q
, p
0
; R) H
n
(S
q
; R), q > 0.
Luego, hemos probado que para n 2 y q 1, es H
n
(S
q
; R) H
n1
(S
q1
; R). Y para q 1,
H
1
(S
q
; R) H
1
(S
q
, E

q
; R).
Teniendo en cuenta todo esto, se puede calcular la homologa total de cualquier esfera
Corolario 9.2 Para q n 1, se obtiene
H
n
(S
q
; R)
_
R si q = n
0 si q ,= n
61
62 9. Algunas aplicaciones de la Homologa
Del c alculo de la homologa sobre esferas, se deducen las propiedades
Corolario 9.3 Para n 1, S
n1
no es un retracto de D
n
.
Y se obtiene el teorema del punto jo de Brouwer
Corolario 9.4 Toda aplicaci on f: D
n
D
n
posee un punto jo.
Corolario 9.5 Si m ,= n, las esferas S
m
y S
n
no son homeomorfas. De hecho, ni siquiera tienen
el mismo tipo de homotopa.
Corolario 9.6 Si m ,= n, R
m
y R
n
no son homeomorfos.
Corolario 9.7 Si n 0, S
n
no es contr actil.
9.2 Grado de una aplicaci on entre esferas
En este apartado, el anillo R = Z.
Sea n 1 y f: S
n
S
n
una aplicaci on. Si es un generador de H
n
(S
n
; Z) Z, entonces
H
n
(f): H
n
(S
n
; Z)H
n
(S
n
; Z) es tal que H
n
(f)() = m, para alg un m Z. Adem as, el
entero m es independiente del generador elegido.
Denici on 9.8 Este entero se llama grado de Brouwer de f y se denota por d(f).
Observaci on 9.9 Para n = 1, d(f) = ind([f]).
Lema 9.10 Se verican las siguientes propiedades
(i) d(1
S
n) = 1;
(ii) si f, g: S
n
S
n
, d(f g) = d(f).d(g);
(iii) d(cte) = 0;
(iv) si f g, entonces d(f) = d(g);
(v) si f es una equivalencia de homotopa, entonces d(f) = 1.
Existe un recproco de (iv), debido a Hopf, y puede adem as probarse que existen aplicaciones
de cualquier grado (ver [Z], p ag. 186). Con esto, quedara demostrado que el grado es un
invariante algebraico completo para estudiar las clases de homotopa de aplicaciones de S
n
en
S
n
, es decir, existe una biyecci on : [S
n
, S
n
] Z, denida por ([f]) = d(f).
Ejemplo 9.11 Dada f: S
n
S
n
, se dene la aplicaci onf: S
n+1
S
n+1
, llamada suspensi on
de f, por la f ormula
f(x
1
, . . . , x
n+2
) =
_
(0, . . . , 0, x
n+2
) si [x
n+2
[ = 1
(tf(
x
1
t
, . . . ,
x
n+1
t
, x
n+2
) si [x
n+2
[ < 1
63
donde t =
_
1 x
2
n+2
. f lleva el polo norte de S
n+1
en el polo norte, el polo sur de S
n+1
en
el polo sur, y el ecuador en el ecuador, de acuerdo con f. El meridiano de S
n+1
a trav es del
punto x en el ecuador se lleva homeom orcamente sobre el meridiano a trav es del punto f(x).
El grado de f es el mismo que el de f. Para una prueba de este resultado, ver [Mas1], p ag. 41.
Se puede probar
Proposici on 9.12 Si n 1 y f: S
n
S
n
es la funci on
f(x
1
, x
2
. . . , x
n+1
) = (x
1
, x
2
. . . , x
n+1
),
(es decir, una reexi on), entonces d(f) = 1.
Corolario 9.13 Si n 1 y f: S
n
S
n
es la aplicaci on
(i) f(x
1
, . . . , x
n+1
) = (x
1
, . . . x
i
, . . . , x
n+1
), entonces d(f) = 1;
(ii) antipodal f(x
1
, . . . , x
n+1
) = (x
1
, . . . x
i
, . . . , x
n+1
), entonces d(f) = (1)
n+1
.
Proposici on 9.14 Si n 1 y f, g: S
n
S
n
son tales que f(x) ,= g(x) para cada x S
n
,
entonces es g a f y H
n
(f) = (1)
n+1
H
n
(g).
Corolario 9.15 Sea n 1 y f: S
n
S
n
. Si
(i) f no tiene puntos jos, entonces f a;
(ii) f cte, entonces f tiene un punto jo.
Corolario 9.16 Si f: S
2n
S
2n
,
(i) existe x S
2n
, tal que f(x) = x o existe y S
2n
tal que f(y) = y;
(ii) existe x S
2n
, tal que x no es ortogonal a f(x).
Y puede darse una prueba topol ogica del teorema fundamental del algebra
Corolario 9.17 Un polinomio p(z) = z
n
+ a
n1
z
n1
+ . . . + a
1
z + a
0
, de grado n 1 y de
coecientes a
0
, . . . , a
n1
C, tiene una raz en el plano complejo.
Una aplicaci on f: S
m
R
m+1
puede verse como una familia de vectores, con f(x) pegado
a S
m
por x, es decir, S
m
es una bola peluda. Un pelo est a peinado, cuando es tangente a la
esfera. El siguiente teorema dice que no es posible peinar una bola peluda de dimensi on par: es
el teorema de la bola peluda
Corolario 9.18 No existe un campo de vectores tangentes no nulo sobre S
2n
.
Observaci on 9.19 Sin embargo, esto siempre es posible en grados impares: en S
2n+1
X(x
1
, . . . x
2n+2
) = (x
2
, x
1
, x
4
, x
3
, . . . , x
2n+2
, x
2n+1
)
es un campo de vectores tangentes, que verica la propiedad deseada.
64 9. Algunas aplicaciones de la Homologa
9.3 Teoremas de Jordan-Brouwer
Denici on 9.20 Un conjunto dirigido es un conjunto con un orden parcial , tal que para cada
a, b , existe c , tal que c a y c b. Un sistema dirigido de conjuntos, X
a
, f
b
a

a,b
,
es una familia X
a
: , donde es un conjunto dirigido y una familia de funciones
f
b
a
: X
a
X
b
: a b, satisfaciendo
(i) f
a
a
= 1
X
a
, para cada a ;
(ii) si a b c, f
c
a
= f
c
b
f
b
a
.
Vamos a aplicarlo al caso en que los conjuntos son R-m odulos y las aplicaciones son R-
homomorsmos
Denici on 9.21 Sea M
a
, f
b
a
un sistema dirigido de R-m odulos y R-homomorsmos. Se
dene un R-subm odulo M de
_
a
M
a
, por
M =
_
n

i=1
x
a
i
: existe c , c a
i
y
n

i=1
f
c
a
i
(x
a
i
) = 0
_
.
El lmite directo del sistema dado, es el R-m odulo cociente lim

M
a
=
_
a
M
a
/M.
Observaci on 9.22 En el caso particular en que para a b, M
a
es un R-subm odulo de M
b
y
f
b
a
: M
a
M
b
es la aplicaci on inclusi on, entonces lim

M
a
=
_
a
M
a
. Observar que, en este
caso, dos puntos x
a
M
a
y x
b
M
b
son iguales en lim

M
a
, si existe c , tal que c a, c b
y f
c
a
(x
a
) = f
c
b
(x
b
).
Lema 9.23 Sea X un espacio y X
a
: a la familia de sus subespacios compactos,
parcialmente ordenada por la inclusi on. La familia de R-m odulos de homologa
H
n
(X
a
; R) : a
forma un sistema dirigido, donde los homomorsmos est an inducidos por las aplicaciones
inclusi on. Adem as, para cada n 0, es H
n
(X; R) lim

H
n
(X
a
; R).
Lema 9.24 Si A S
q
es homeomorfo a [0, 1]
k
, para 0 k q, entonces
H
n
(S
q
A; R)
_
R si n = 0
0 en otro caso
Corolario 9.25 Si B S
q
es homeomorfo a S
k
, para 0 k q 1, entonces el R-m odulo
H

(S
q
B; R) =

n0
H
n
(S
q
B; R),
es abeliano libre con dos generadores, uno en dimensi on 0 y otro en dimensi on q k 1. En
particular, si q ,= k + 1, S
q
B es conexo por caminos.
65
Se deduce el teorema de separaci on de Jordan-Brouwer
Teorema 9.26 Una (n 1)-esfera embebida en S
n
, separa S
n
en dos componentes acclicas,
siendo adem as la (n 1)-esfera, la frontera com un de esas dos componentes.
Corolario 9.27 Sea n 2 y A R
n
homeomorfo a S
n1
. Entonces R
n
A tiene dos
componentes conexas, con A como frontera com un.
Corolario 9.28 Sea n 2 y f: D
n
R
n
una aplicaci on uno a uno. Entonces, f es un
homeomorsmo de D
n
sobre f(D
n
). Si A = f(S
n1
), f lleva el interior de D
n
en la parte
interna encerrada por A.
Se obtiene el teorema de Jordan-Brouwer sobre invarianza de dominio
Teorema 9.29 Sean U
1
y U
2
subconjuntos de S
n
y h: U
1
U
2
un homeomorsmo. Si U
1
es un
conjunto abierto en S
n
, entonces U
2
tambi en lo es.
Corolario 9.30 Sea n 2, U R
n
abierto y conexo y f: U R
n
una aplicaci on uno a uno.
Entonces, f(U) es un abierto conexo y f es un homeomorsmo sobre f(U).
9.4 Homologa en algunos cocientes
Comenzamos recordando algunas propiedades de espacios de adjunci on
Lema 9.31 Sean X e Y espacios topol ogicos, A X y f: AY . Se denota por X
f
Y al
cociente de X.Y por la relaci on de equivalencia que identica x Acon f(x) Y . Entonces
(i) Y se puede pensar como un subespacio de X
f
Y , con lo que hay una copia homeomorfa
de Y en X
f
Y ;
(ii) si X e Y son espacios compactos y Hausdorff, Aes cerrado en X y f: AY es continua,
entonces X
f
Y es compacto y Hausdorff;
(iii) si Aes cerrado y se adjunta a Y = y
0
, por f(A) = y
0
, entonces el espacio de adjunci on
asociado es homeomorfo al cociente X/A;
(iv) el cono de X, se obtiene adjuntando X [0, 1] a y
0
, por f(X 1) = y
0
. Y la
suspensi on de X, se obtiene adjuntando X [1, 1] a Y = a, b, por g(X 1) = a
y g(X 1) = b;
(v) si (X, x) e (Y, y) son espacios con puntos base, se dene su wedge, XY , como el cociente
de su suma disjunta X . Y , tras identicar los puntos base; se trata de un espacio de
adjunci on;
(vi) sean X, Y y W espacios compactos Hausdorff y A un subconjunto cerrado de X. Sea
f: AY continua y g: X . Y W continua y sobreyectiva. Si para cada w W,
66 9. Algunas aplicaciones de la Homologa
g
1
(w) es o bien un punto de X A o bien la uni on de un punto y Y con f
1
(y) A,
entonces W es homeomorfo a X
f
Y .
Denici on 9.32 Una n-celda es un espacio homeomorfo al disco D
n
. Consideremos X = D
n
,
A = fr(D
n
) = S
n1
, Y un espacio topol ogico y f: AY una aplicaci on continua. Se dice
que Y
f
= D
n

f
Y es el espacio obtenido al adjuntar una n-celda a Y por f.
Ejemplo 9.33 Sea X = D
2
y A = fr(D
2
) = S
1
. Sea Y una copia disjunta de S
1
y la aplicaci on
f: AY , dada por f(z) = z
2
. Entonces, X
f
Y es el espacio proyectivo real RP
2
. Se puede
calcular su homologa usando esta caracterizaci on y la sucesi on de Mayer-Vietoris, y se obtiene
H
q
(RP
2
; R) =
_

_
R si n = 0
R/2R si n = 1
0 si n 2
Proposici on 9.34 Seann 1e Y
f
el espacioobtenidoapartir del espaciocompactoy Hausdorff
Y , adjunt andole una n-celda va f. Existe una sucesi on exacta
. . . H
q
(S
n1
; R)
H
q
(f)
H
q
(Y ; R)
H
q
(i
Y
)
H
q
(Y
f
; R)

q
H
q1
(S
n1
; R) . . .
. . . H
0
(S
n1
; R)
H
0
(f)
H
0
(Y ; R) R
H
0
(i
Y
)
H
0
(Y
f
; R),
donde i
Y
: Y Y
f
es la aplicaci on inclusi on.
Esta sucesi on exacta muestra lo cerca que est an los grupos de homologa de Y e Y
f
. Si se pega
una n-celda a Y , entonces H
n
(i
Y
): H
n
(Y ; R)H
n
(Y
f
; R) es un monomorsmo, con con ucleo
0oR-libre. Eneste sentido, si coker(H
n
(i
Y
)) ,= 0, se ha creadounnuevoagujeron-dimensional.
Por otro lado, H
n1
(i
Y
): H
n1
(Y ; R)H
n1
(Y
f
; R) es un epimorsmo, de n ucleo 0 o cclico,
y si ker(H
n
(i
Y
)) ,= 0, esta nueva n-celda ha tapado un agujero (n1)-dimensional en Y . Aparte
de estas dimensiones, la adjunci on de n-celdas no afecta a la homologa.
Aplicando la proposici on 9.34, podemos calcular la homologa de algunos espacios.
9.4.1 El espacio proyectivo real
Proposici on 9.35 Se verica
(i) el espacio proyectivo real de dimensi on n RP
n
se obtiene al adjuntar al espacio proyectivo
real RP
n1
una n-celda a trav es de la aplicaci on can onica p
n1
: S
n1
RP
n1
;
(ii) la anterior descripci on permite comprobar que
H
q
(RP
n
; R) =
_

_
R si q = 0
R/2R si q impar y 1 q n
Tor
2
(R) si q par y 2 q n
0 q > n
donde Tor
2
(R) = r R : 2r = 0.
67
9.4.2 El espacio proyectivo complejo
Se dene el espacio proyectivo complejo de dimensi on n, CP
n
del modo siguiente: en el espacio
complejo de dimensi on n + 1, C
n+1
, se considera el subespacio
S
2n+1
= z = (z
1
, . . . , z
n+1
) C
n+1
: |z|
2
= |z
1
|
2
+ . . . +|z
n+1
|
2
= 1.
Se dene sobre S
2n+1
la siguiente relaci on de equivalencia
z z

si y s olo si existen c C : |c| = 1 y z

= cz.
El cociente bajo esta relaci on de equivalencia es CP
n
. Sea q
n
: S
2n+1
CP
n
la aplicaci on
cociente. Intuitivamente hablando, S
2n+1
es un producto torcido de CP
n
y S
1
: se dice que S
2n+1
es un brado sobre CP
n
, de bra S
1
. Por ejemplo, CP
0
es un punto y CP
1
es homeomorfo a S
2
.
La aplicaci on cociente q
1
: S
3
CP
1
se llama aplicaci on de Hopf.
Proposici on 9.36 Se verica
(i) el espacio proyectivo complejo de dimensi on n, CP
n
se obtiene al adjuntar al espacio CP
n1
una 2n-celda a trav es de la aplicaci on can onica q
n1
: S
2n1
CP
n1
;
(ii) la anterior descripci on permite calcular
H
q
(CP
n
; R) =
_
R si q = 0, 2, 4, . . . , 2n
0 en otro caso
9.4.3 La botella de Klein
Proposici on 9.37 Se verica
(i) la botella de Klein K
2
se obtiene adjuntando una 2-celda a S
1
S
1
;
(ii) la anterior descripci on permite comprobar que
H
q
(K
2
; R) =
_

_
R si q = 0
R R/2R si q = 1
Tor
2
(R) si q = 2
0 si q > 2
9.4.4 El toro generalizado
El toro generalizado es un producto de esferas S
m
S
n
. Aunque calcularemos m as tarde su
homologa utilizando la f ormula de K unneth (ver el teorema 10.11), se puede usar tambi en un
argumento de tipo Mayer-Vietoris y la proposici on 9.34 para conocer sus m odulos de homologa
singular
68 9. Algunas aplicaciones de la Homologa
Proposici on 9.38 Se verica
(i) denotamos por I al intervalo unidad de R. El n-cubo I
n
R
n
tiene como frontera
fr(I
n
) = (x
1
, . . . , x
n
) R
n
: existe i tal que x
i
= 0 o 1.
As, I
m
I
n
= I
m+n
y fr(I
m+n
) = (fr(I
m
) I
n
) (I
m
fr(I
n
)). Sean z
m
S
m
y z
n
S
n
puntos base. Existe una aplicaci on entre pares f
k
: (I
k
, fr(I
k
))(S
k
, z
k
),
para k m, n, que es un homeomorsmo relativo, es decir, tal que la restricci on
f
k
[
I
k
fr(I
k
)
: I
k
fr(I
k
)S
k
z
k
es un homeomorsmo. Tomando productos carte-
sianos, se obtiene una aplicaci on f
m
f
n
: I
m
I
n
S
m
S
n
, que lleva fr(I
m+n
) so-
bre S
m
S
n
. Se concluye que S
m
S
n
es homeomorfo al espacio obtenido adjuntando
una (m + n)-celda a S
m
S
n
va la aplicaci on fr(I
m+n
) S
m+n1
S
m
S
n
;
(ii) utilizando la sucesi on de Mayer-Vietoris y (i) se pueden calcular los m odulos de homologa
de S
m
S
n
: se comprueba que H

(S
m
S
n
; R), m, n 0, es un R-m odulo libre con
cuatro generadores, en las dimensiones 0, m, n y m + n.
Homologa en productos
Ac ercate.
Junto a la noche te espero.
Ofrecimiento
Carmen Conde Abell an (19071996)
Los productos de espacios no se comportan bien para las propiedades de homologa. Por
ejemplo, ya sabemos que H
2
(T
2
; R) R, pero H
2
(S
1
; R) H
2
(S
1
; R) 0.
Vamos a dividir el an alisis de este mal comportamiento en dos partes
(i) el primer paso es topol ogico, relacionando S

(X Y ; R) con S

(X; R)
R
S

(Y ; R);
(ii) el segundo paso es algebraico, relacionando las homologas de los complejos de cadenas
H

((
R
(

) y H

(()
R
H

((

).
10.1 Estudio Topol ogico
Si :
n
X Y es un n-smplice singular, puede expresarse de manera unica como
= (, ), donde = p
X
y = p
Y
son n-smplices sobre X e Y respectivamente. Para
0 p n, vamos a denotar
(i)
p
:
p

n
a la inclusi on natural, la aplicaci on an
p
= (e
0
e
1
. . . e
p
), es decir, la
aplicaci on cara p frontal;
(ii)
np
:
np

n
a la aplicaci on an
np
= (e
p
e
p+1
. . . e
n
), es decir, la aplicaci on cara
n p dorsal.
Se asocia entonces a cada par = (, ) el elemento
(
p
)
R
(
np
) S
p
(X; R)
R
S
np
(Y ; R),
es decir, la p-cara frontal de tensorizada por la (n p)-cara dorsal de .
Si se extiende por linealidad, se obtiene un homomorsmo
A
n,p
: S
n
(X Y ; R)S
p
(X; R)
R
S
np
(Y ; R), para p 0, . . . , n.
69
70 10. Homologa en productos
Vamos a sumar todos los homomorsmos as obtenidos. Para ello, denotamos
(S(X; R)
R
S(Y ; R))
n
=
n

p=0
(S
p
(X; R)
R
S
np
(Y ; R)) .
Denici on 10.1 El homomorsmo de Alexander-Whitney,
A
n
: S
n
(X Y ; R)(S(X; R)
R
S(Y ; R))
n
,
es la aplicaci on que asocia a cada n-smplice singular = (, ) el elemento,
A
n
(, ) =
n

p=0
A
n,p
(, ) =
n

p=0
((
p
)
R
(
np
)) .
Lema 10.2 El homomorsmo de Alexander-Whitney es functorial en (X, Y ).
10.2 Estudio homol ogico
Vamos a denir a partir de la sucesi on de m odulos (S(X; R)
R
S(Y ; R))
n

nN
un complejo
de cadenas, introduciendo un operador borde. En general, si ((

, d) y ((

, d

) son complejos de
cadenas y se denota
((
R
(

)
n
=
n

p=0
_
C
p

R
C

np
_
,
se puede denir un operador frontera
d

n
: ((
R
(

)
n
((
R
(

)
n1
,
por
d

n
(z
R
z

) = (d
p
(z)
R
z

) + (1)
p
z
R
d

np
(z

),
donde z
R
z

C
p

R
C

np
, y que se extiende por linealidad. Claramente, se verica que
d

n1
d

n
= 0.
En nuestro caso, trabajamos con (

= S

(X; R) y (

= S

(Y ; R), y se obtiene
Lema 10.3 El homomorsmo de Alexander-Whitney es un homomorsmo de cadenas, es decir,
para el diagrama siguiente
S
n+1
(X Y ; R)

n+1
S
n
(X Y ; R)

n
S
n1
(X Y ; R)

_
A
n+1

_
A
n

_
A
n1
(S(X; R)
R
S(Y ; R))
n+1

n+1
(S(X; R)
R
S(Y ; R))
n

n
(S(X; R)
R
S(Y ; R))
n1
se verica que A
n1

n
=

n
A
n
, para cada entero n.
71
Se pueden formar los m odulos de homologa H
n
((
R
(

) del modo habitual, considerando


Z
n
((
R
(

) = Ker(d

n
) y B
n
((
R
(

) = Im(d

n+1
),
y entonces
H
n
((
R
(

) = Z
n
((
R
(

)/B
n
((
R
(

).
El lema 10.3 garantiza entonces que, tomando (

= S

(X; R) y (

= S

(Y ; R), A induce
un homomorsmo para cada n 0,
H
n
(A
n
): H
n
(X Y ; R)H
n
(S(X; R)
R
S(Y ; R)).
La prueba del siguiente teorema de Eilenberg-Zilber se basa en el m etodo de los mode-
los acclicos, que es un m etodo general para construir morsmos de complejos de cadenas y
homotopas entre morsmos
Teorema 10.4 Para cada n 0, H
n
(A
n
) es un isomorsmo. De hecho, A es una equivalencia
en cadenas entre los complejos S

(X Y ; R) y S

(X; R)
R
S

(Y ; R).
Veamos ahora cual es la relaci on entre la homologa del complejo S(X; R)
R
S(Y ; R) y
el producto tensorial de las homologas de los espacios X e Y .
Si z Z
p
(X; R) y z

Z
np
(Y ; R), entonces z
R
z

es un ciclo en (S(X; R)
R
S(Y ; R))
n
,
y se puede entonces denir una correspondencia bilineal
H
p
(X; R) H
np
(Y ; R) H
n
(S(X; R)
R
S(Y ; R))
que asocia al par (z + B
p
(X; R), z

+ B
np
(Y ; R)) H
p
(X; R) H
np
(Y ; R) el elemento
z
R
z

H
n
(S(X; R)
R
S(Y ; R)). As, tenemos un homomorsmo unico
H
p
(X; R)
R
H
np
(Y ; R) H
n
(S(X; R)
R
S(Y ; R))
que enva (z + B
p
(X; R))
R
(z

+ B
np
(Y ; R)) en z
R
z

. Del mismo modo que antes, si


denotamos
(H(X; R)
R
H(Y ; R))
n
=
n

p=0
(H
p
(X; R)
R
H
np
(Y ; R)) ,
se tiene un homomorsmo
i
n
: (H(X; R)
R
H(Y ; R))
n
H
n
(S(X; R)
R
S(Y ; R)),
dado por i
n
_
_
n

p=0
(z + B
p
(X; R))
R
(z

+ B
np
(Y ; R))
_
_
=
n

p=0
z
R
z

. Claramente, i
n
es
functorial en el par (X, Y ).
72 10. Homologa en productos
Vamos a adoptar la siguiente notaci on
(H(X; R)
R
H(Y ; R))
n
i
n
H
n
(S(X; R)
R
S(Y ; R))
B
n
H
n
(X Y ; R),
donde si (z + B
p
(X; R))
R
(z

+ B
np
(Y ; R)) H
p
(X; R)
R
H
np
(Y ; R), se denota
B
n
i
n
((z + B
p
(X; R))
R
(z

+ B
np
(Y ; R))) = z z

.
Para facilitar los c alculos, vamos a tratar un caso m as general, reemplazando S(X; R) y
S(Y ; R) por complejos de cadenas arbitrarios ((

, d) y ((

, d

), y consideramos
((
R
(

)
n
=

p+q=n
_
C
p

R
C

q
_
.
Se dene el operador frontera como se ha indicado anteriormente
d

n
: ((
R
(

)
n
((
R
(

)
n1
,
por
d

n
(z
R
z

) = (d
p
(z)
R
z

) + (1)
p
z
R
d

np
(z

),
donde z
R
z

C
p

R
C

np
.
Tenemos el homomorsmo de cadenas can onico i: H(()
R
H((

)H((
R
(

): vamos
a determinar su n ucleo y su con ucleo, suponiendo que R es un anillo de ideales principales y
que (

es libre, es decir, cada C


n
es un R-m odulo libre.
Observaci on 10.5 Si X es un espacio topol ogico, tomando C
n
= S
n
(X; R) se obtiene de hecho
un R-m odulo libre.
Sean Z

y B

los complejos denidos por los ciclos y los bordes de (

. Sea B

el complejo
dado por B

q
= B
q1
para q 0. Entonces, tenemos una sucesi on exacta de complejos de
cadenas
O Z

O. (10.1)
Como por hip otesis B

es libre, la anterior sucesi on escinde, por lo que tensorizando por (

,
obtenemos otra sucesi on exacta de complejos de cadenas
O Z

R
(

R
(

1
C


R
(

O.
Por el argumento habitual, esta sucesi on induce una sucesi on exacta innita de homologa
. . . H
n
(Z
R
(

) H
n
((
R
(

)H
n
(B

R
(

)

n1
H
n1
(Z
R
(

) . . . (10.2)
Pero Z

es un complejo libre, cuyo operador frontera es id enticamente nulo. Por lo tanto su


homologa es H

(Z) = Z

, y se obtiene el siguiente resultado


Lema 10.6 El homomorsmo i: Z

R
H

((

)H

(Z
R
(

) es un isomorsmo.
73
De manera similar, se demuestra que
Lema 10.7 El homomorsmo i: B


R
H

((

)H

(B

R
(

) es un isomorsmo.
Sustituyendo estos m odulos isomorfos en la sucesi on exacta (10.2), se obtiene otra sucesi on
exacta
. . . (B
R
H((

))
n
(Z
R
H((

))
n
H
n
((
R
(

)(B
R
H((

))
n1
. . .
En otras palabras, se tiene la sucesi on exacta
0 Coker(
n
) H
n
((
R
(

) Ker(
n1
) 0, (10.3)
donde
n
: (B
R
H((

))
n
(Z
R
H((

))
n
es el homomorsmo de enlace.
Para determinar Coker(
n
) y Ker(
n1
), se utiliza la sucesi on exacta
0B
p
j
p
Z
p
H
p
(() 0, (10.4)
que en general no escinde. Si se tensoriza por H
np
((

), se obtiene la sucesi on exacta


B
p

R
H
np
((

)
j
p

R
1
Z
p

R
H
np
((

)H
p
(()
R
H
np
((

) 0. (10.5)
La echa de la izquierda no es necesariamente inyectiva, pero como la sucesi on (10.4) es una
resoluci on libre de H
p
(() (ya que Z es un complejo libre), el n ucleo de esta aplicaci on es por
denici on Tor
1
(H
p
((), H
np
((

)).
Como
n
=

p
j
p

R
1, si se suman todas estas sucesiones, se obtiene una sucesi on exacta
0

p
Tor
1
(H
p
((), H
np
((

)) (B
R
H(())
n

n
(Z
R
H((

))
n
(H(()
R
H((

))
n
0,
que proporciona el n ucleo y con ucleo buscados, y se obtiene la sucesi on exacta de K unneth
Teorema 10.8 Si R es un anillo de ideales principales y (

es libre, para cada n se tiene la


sucesi on exacta
0

p
(H
p
(()
R
H
np
((

)) H
n
((
R
(

p
Tor
1
(H
p
((), H
np1
((

))0.
Observaci on 10.9 As, existe un isomorsmo
H
n
(( (

p+q=n
(H
p
(() H
q
((

))

p+q=n1
Tor
1
(H
p
((), H
q
((

)).
Observaci on 10.10 La sucesi on de K unneth escinde, pero no de manera can onica: en efecto,
la sucesi on (10.1) escinde, con lo que se tienen sendas proyecciones
: (

: (

.
74 10. Homologa en productos
Si se componen estas proyecciones con los homomorsmos cociente
: (

(() y

: (

((

),
se obtiene el homomorsmo
H

(
R

): H

((
R
(

)H

(H(()
R
H((

)) = H

(()
R
H

((

),
que es una proyecci on y hace de H

(()
R
H

((

) un factor directo.
En el caso topol ogico, en que (

= S

(X; R) y (

= S(Y ; R), se puede usar el teorema de


Eilenberg-Zilber para calcular la homomologa de X Y en funci on de la de X y la de Y , es
decir, la f ormula de K unneth topol ogica
Teorema 10.11 Si Res unanillode ideales principales, paracadan Nse tiene unisomorsmo
H
n
(X Y )
n

p=0
(H
p
(X)
R
H
np
(Y ))
n1

p=0
Tor
1
(H
p
(X), H
n1p
(Y )).
Corolario 10.12 Si todos los m odulos de homologa de Y (o de X) son libres en dimensiones
menores que n (por ejemplo, si R es un cuerpo) entonces
H
n
(X Y )
n

p=0
(H
p
(X)
R
H
np
(Y )) .
Observaci on 10.13 El c alculo de la homologa del toro generalizado de la proposici on 9.38,
puede ahora calcularse f acilmente usando f ormula de K unneth.
Si se considera (

= S

(X, Z) y (

dado por C

0
= R y C

n
= 0 para n ,= 0, se tiene el
isomorsmo
((
R
(

)
n
= S
n
(X, Z)
Z
R S
n
(X, R),
y se obtiene el teorema de los coecientes universales
Teorema 10.14 La sucesi on
0 H
n
(X, Z)
Z
R H
n
(X, R)Tor
1
(H
n1
(X, Z), R))0
es exacta y escinde.
Corolario 10.15 Se tiene el isomorsmo
H
n
(X; R) (H
n
(X, Z)
Z
R) Tor
1
(H
n1
(X, Z), R)).
En particular, si R es libre de torsi on, entonces Tor
1
(H
n1
(X, Z), R)) = 0 para cada n y es
H
n
(X; R) H
n
(X, Z)
Z
R.
75
Ejemplo 10.16 Si X = Y = RP
2
, entonces
(i) H
0
(RP
2
RP
2
; Z) Z;
(ii) H
1
(RP
2
RP
2
; Z) (Z Z/2Z) (Z/2Z Z) Z/2Z Z/2Z;
(iii) H
2
(RP
2
RP
2
; Z) Z/2Z Z/2Z Z/2Z;
(iv) H
3
(RP
2
RP
2
; Z) Tor
1
(Z/2Z, Z/2Z) Z/2Z.
Observaci on 10.17 En el caso relativo, se tiene la sucesi on exacta
0
n

p=0
(H
p
(X, A; R)
R
H
np
(Y, B; R)) H
n
(S(X, A; R)
R
S(Y, B; R))

n1

p=0
Tor
1
(H
p
(X, A; R), H
np1
(B; R))0
76 10. Homologa en productos
Dualidad
Altos muros del agua, torres altas,
aguas de pronto negras contra nada,
impenetrables, verdes, grises aguas,
aguas de pronto blancas, deslumbradas.
Mar por la tarde
Octavio Paz (19141998)
11.1 Cohomologa de complejos
Sea un complejo de cadenas ((

, d),
. . .
d
2
C
1
d
1
C
0
d
0
C
1
d
1
. . .
y M un R-m odulo. Se dene el complejo de cocadenas (Hom
R
((

, M), d

), siendo
d
n
:= (1)
n
d
t
n+1
: Hom
R
(C
n
, M)Hom
R
(C
n+1
, M)
para n Z, donde
d
t
n+1
: Hom
R
(C
n
, M)Hom
R
(C
n+1
, M),
se dene por d
t
n+1
() = d
n+1
.
Denici on 11.1 Hom
R
(C
n
, M) es el n- esimo R-m odulo de cocadenas de ((

, d) con valores en
M. Un elemento de Ker(d
n
) se llama un n-cociclo y un elemento de Im(d
n1
) es un n-coborde.
Denici on 11.2 Para n Z se dene el n- esimo m odulo de cohomologa de ((

, d) con coe-
cientes en M como
H
n
((

, M) := H
n
(Hom
R
((

, M), d

) = Ker(d
n
)/Im(d
n1
).
Observaci on 11.3 El coeciente (1)
n
que multipilica a la diferencial se explicar a m as tarde,
a la hora de enunciar el teorema de dualidad de Poincar e. En algunos textos se elimina este
factor corrector.
77
78 11. Dualidad
Se obtiene la sucesi on exacta larga de cohomologa
Lema 11.4 Sean M un R-m odulo y (

, (

, (

complejos de cadenas. Si la sucesi on


O Hom
R
((

, M) Hom
R
((

, M) Hom
R
((

, M) O
es exacta, entonces existe otra sucesi on natural, exacta y larga
. . . H
n
((

, M) H
n
((

, M) H
n
((

, M)v
H
n+1
((

, M) H
n+1
((

, M) H
n+1
((

, M) . . . .
Vamos a dar la relaci on entre H
m
((

) y H
m
((

, M).
Denici on 11.5 Sea (

un complejo de cadenas y M un R-m odulo. Dadas una n-cocadena


Hom
R
(C
n
, M) y una cadena c C
n
, se dene
, c) := (c) M,
y se llama producto escalar o producto de Kronecker de y c. Tambi en se habla de la evaluaci on
de en c. Cuando y c tienen distinta dimensi on, es decir, Hom
R
(C
p
, M) y c C
q
con
p ,= q, se dene , c) = 0.
Corolario 11.6 Sea (

un complejo de cadenas y M un R-m odulo. El producto escalar es una


aplicaci on bilineal y para Hom
R
(C
n
, M) y c C
n+1
, se tiene la f ormula
d
n
(), c) = (1)
n
, d
n+1
(c)).
Observaci on 11.7 El producto escalar induce una aplicaci on R-lineal, el homomorsmo de
evaluaci on,
Hom
R
((

, M)
R
(

M, por

p+q=n

p
c
q

_

n
2
, c
n
2
), si n par
0 si n impar
,
donde
p
, c
q
) = 0 si p ,= q.
Lema 11.8 Sea (

un complejo de cadenas y M un R-m odulo. El homomorfsmo de evaluaci on


induce un homomorsmo natural
: H
n
((

, M)Hom
R
(H
n
((

), M), por ([])([c]) = (c),


con las notaciones obvias. Si M es un R-m odulo inyectivo, es un isomorsmo.
Se tiene el siguiente teorema (algebraico) de los coecientes en cohomologa
Teorema 11.9 Sea ((

, d

) un complejo de cadenas tal que Z


n
((

) y B
n
((

) son proyectivos
para cada n Z. Entonces, para todo n Z existe una sucesi on exacta natural y que escinde,
0 Ext
1
R
(H
n1
((

), M) H
n
((

, M)

Hom
R
(H
n
((

), M) 0,
donde ([]) = ([c] (c)).
79
11.2 Cohomologa singular
Los m odulos de cohomologa para espacios topol ogicos no se conocen hasta que se alcanza un
mayor desarrollo de la Topologa Algebraica en 1930, cuando Lefschetz formula algunos de los
teoremas de dualidad para variedades.
La cohomologa es dual de la homologa en dos sentidos
(i) hay una aplicaci on bilineal entre cadenas y cocadenas,
(ii) H
q
es un functor contravariante.
Denici on 11.10 Sea (X, A) un par de espacios topol ogicos y M un R-m odulo. Se introducen
(i) el grupo de las n-cocadenas singulares de (X, A) con valores en M es el R-m odulo
S
n
(X, A; M) := Hom
R
(S
n
(X, A; R), M);
(ii) el operador cocadena singular
d
n
: S
n
(X, A; M)S
n+1
(X, A; M);
se dene por d
n
()() = (1)
n
(d
n+1
()), para S
n
(X, A; M) y S
n+1
(X, A; R)
y se extiende por linealidad. (S

(X, A; M), d

) resulta ser un complejo de R-m odulos;


(iii) diremos que S
n
(X, A; M) es un n-cociclo cuando d
n
() = 0 y un n-coborde si
Im(d
n1
). Se denota por Z
n
(X, A; M) al grupo de los n-cociclos y por B
n
(X, A; M)
el grupo de los n-cobordes, y entonces
H
n
(X, A; M) := Z
n
(X, A; M)/B
n
(X, A; M) = H
n
(S

(X, A; M), d

),
se llama n-grupo de cohomologa singular de (X, A) con valores en M.
Observaci on 11.11 Se tiene un isomorsmo
S
n
(X, A; M) Hom
R
(S
n
(X, R), M) : [
S
n
(A;R)
= 0.
Aqu, S
n
(X, A; R) es un R-m odulo libre sobre el conjunto S
n
(X)/S
n
(A) de los n-smplices
singulares :
n
X con Im() , A. Por lo tanto, S
n
(X; M) y S
n
(X, A; M) pueden
interpretarse como los espacios de funciones : S
n
(X)M y : S
n
(X)/S
n
(A)M res-
pectivamente. Los R-m odulos S
n
(X; M) y S
n
(X, A; M) son, por lo tanto, isomorfos a la suma
directa de S
n
(X) y (S
n
(X)/S
n
(A)) de copias de M, respectivamente.
Observaci on 11.12 Si M es un R-m odulo libre (respectivamente, proyectivo, llano), por ejem-
plo, si M = R, entonces S
n
(X, A; M) es un R-m odulo libre (respectivamente, proyectivo,
llano).
Observaci on 11.13 Envirtudde los anteriores argumentos, S
n
(X, A; M) puede denirse tambi en
como Hom
Z
(S
n
(X, A; Z), M).
80 11. Dualidad
Denici on 11.14 Sea M un R-m odulo y una aplicaci on entre pares f: (X, A)(Y, B). Sobre
los complejos de cadenas se tiene la aplicaci on inducida f

: S

(X, A; R)S

(Y, B; R), y se
dene entonces el homomorsmo dual de f

,
f

:= Hom
R
(f

; M): S

(Y, B; M)S

(X, A; M),
dado por f

() = f

. f

es un homomorsmo de complejos de cocadenas, que induce a su


vez un homomorsmo entre los R-m odulos de cohomologa
f
n
:= H
n
(f; M): H
n
(Y, B; M)H
n
(X, A; M).
Corolario 11.15 En las condiciones anteriores, H
n
: ParTopMod
R
es un functor con-
travariante de la categora de pares de espacios topol ogicos en la categora de R-m odulos.
Observaci on 11.16 De hecho, H
n
: HomParTopMod
R
es un functor contravariante de la
categora de homotopa de pares de espacios topol ogicos en la categora de R-m odulos.
Se obtiene el teorema (topol ogico) de los coecientes en cohomologa
Teorema 11.17 Sea R un anillo de ideales principales, M un R-m odulo y (X, A) un par de
espacios. Para cada n Z existe una sucesi on natural exacta, que escinde
0 Ext
1
R
(H
n1
(X, A; R), M) H
n
(X, A; M)

Hom
R
(H
n
(X, A; R), M) 0,
donde ([]) = ([c] (c)) es la aplicaci on inducida.
Corolario 11.18 Sea R un anillo de ideales principales, M un R-m odulo y (X, A) un par de
espacios. Si H
n1
(X, A; R) es libre (por ejemplo, si R es un cuerpo) o M es inyectivo, se
obtiene un isomorsmo
: H
n
(X, A; M)

Hom
R
(H
n
(X, A; R), M),
dado por ([]) = ([c] (c))
11.3 Productos cup y cap
Algo que distingue la cohomologa de la homologa es la existencia de una operaci on interna
natural, el producto cup, que hace de los R-m odulos de cohomologa una R- algebra graduada.
Y este anillo de cohomologa operar a sobre los R-m odulos de homologa a trav es del producto
cap.
81
11.3.1 El producto cup
Vamos a denir el producto cup sobre S

(X; R) =

qN
S
q
(X; R)
Denici on 11.19 Sea X un espacio topol ogico. Se dene
(i) para p, q N, sea
p+q
el (p + q)-smplice est andar. Tenemos dos inclusiones naturales

p
:
p

p+q
,
p
= (e
0
. . . e
p
)

q
:
q

p+q
,
q
= (e
p
, . . . , e
p+q
);
(ii) para p, q N, sean c S
p
(X; R) y d S
q
(X; R) dos cocadenas singulares. Se dene una
(p + q)-cocadena singular c d S
p+q
(X; R) del modo siguiente: para cada (p + q)-
smplice singular :
p+q
X sea
(c d)() := c d, ) := c,
p
)d,
q
);
c opera sobre la p-cara frontal de y d opera sobre la q-cara dorsal;
(iii) dadas c, d S

(X, R), existen k, l N tales que c =


k

p=0
c
p
y d =
l

q=0
d
q
, donde para cada
p = 0, . . . , k y q = 0, . . . , l es c
p
S
p
(X; R) y d
q
S
q
(X; R). Entonces se dene
c d :=
k

p=0
l

q=0
c
p
d
q
S

(X; R).
Queda as denida una operaci on bilineal
: S

(X; R) S

(X; R)S

(X; R) por (c, d) = c d,


llamada el cup-producto de S

(X; R).
Denici on 11.20 Si M es un R-m odulo, es una R- algebra si para cada a, b M y r, s R es
(ra)(sb) = rs(ab). Si adem as M =

q
M
q
, con M
q
R-subm odulos tales que M
q
M
p
M
p+q
,
entonces M es un algebra graduada. Un homomorsmo de R- algebras f: MM

es una
aplicaci on R-lineal y tal que f(ab) = f(a)f(b).
Lema 11.21 Sea X un espacio topol ogico. Entonces
(i) (S

(X; R), +, ) es un anillo con elemento unidad 1 S


0
(X; R) tal que 1, ) = 1 para
cada S
0
(X; R). Sin embargo, este anillo no es en general conmutativo;
(ii) sean a S
p
(X; R) y b S
q
(X; R); para la diferencial d en S

(X; R) se verica
d
p+q
(a b) = (1)
q
(d
p
a) b + a (d
q
b),
es decir, el operador coborde es una derivaci on del anillo graduado S

(X; R);
82 11. Dualidad
(iii) Z

(X; R) :=

pN
Z
p
(X; R) es un subanillo de S

(X; R) y B

(X; R) :=

qN
B
q
(X; R)
es un ideal bil atero de Z

(X; R). As, por paso del cup al cociente, se deduce que
H

(X; R) :=

pN
H
p
(X; R) es un R- algebra graduada con unidad;
(iv) si f: XY es continua, se obtienen dos homomorsmos de R- algebras
f

: S

(Y ; R)S

(X; R) y f

: H

(Y ; R)H

(X; R),
denidos de la manera obvia.
Observaci on 11.22 S

y H

son functores contravariantes de la categora Top de espacios


topol ogicos en la categora GradAlg
R
de R- algebras graduadas.
Teorema 11.23 (H

(X; R), +, ) es un anillo anticomutativo, es decir, si [a] H


p
(X; R) y
[b] H
q
(X; R), es [a] [b] = (1)
pq
[b] [a]. En particular, si a = b y p impar, es [a] [a] = 0,
si R tiene caracterstica distinta de 2.
Ejemplo 11.24 La anterior identidad no es v alida en (S

(X; R), +, ): en efecto, sean X =


1
,
a S
0
(
1
; R) y b S
1
(
1
; R) denidos de modo que
si S
0
(
1
; R), es a, ) =
_
1 si = e
0
0 si ,= e
0
si S
1
(
1
; R), es b, ) =
_
1 si = 1

1
0 si ,= 1

1
.
Entonces
a b, 1

1
) = a, 1

1

0
)b, 1

1

1
) = a, e
0
)b, 1

1
) = 1.1 = 1,
b a, 1

1
) = b, 1

1

1
)a, 1

1

0
) = b, 1

1
)a, e
1
) = 1.0 = 0.
11.3.2 El producto cap
Este producto es esencial para enunciar los teoremas de dualidad.
Denici on 11.25 Sea X un espacio topol ogico. Dadas una cocadena singular a S
p
(X; R) y
un smplice singular S
p+q
(X; R) se dene
a := a,
p
)(
q
) S
q
(X; R).
Extendiendo la denici on por linealidad, se obtiene una aplicaci on lineal
: S

(X; R) S

(X; R)S

(X; R),
llamada producto cap de S

(X; R) y S

(X; R).
83
Observaci on 11.26 Para q N, puede identicarse S
q
(X; R) con Hom
R
(S
q
(X; R), R), aso-
ciando a S
q
(X; R), la aplicaci on que lleva b S
q
(X; R) enb, ).
Lema 11.27 Sean a S
p
(X; R) y S
p+q
(X; R). Entonces se puede mirar a como un
elemento de Hom
R
(S
q
(X; R), R), donde para cada b S
q
(X; R) es
(a )(b) := b, a ) = a b, ).
Lema 11.28 Se verica
(i) es bilineal y dene una multiplicaci on escalar del anillo S

(X; R) sobre S

(X; R): esto


hace de S

(X; R) un S

(X; R)-m odulo a la derecha;


(ii) para cada a S
p
(X; R) y cada z S
p+q
(X; R), la diferencial posee la propiedad
d
p
(a z) = (1)
p
(a d
p+q
(z)) (d
p
(a) z);
(iii) induce una multiplicaci on escalar
: H
p
(X; R) H
p+q
(X; R)H
q
(X; R)
de H

(X; R) en H

(X; R). As, el producto cap hace de H

(X; R) un H

(X; R)-m odulo


graduado;
(iv) si f: XY es continua, se tiene unhomomorsmode m odulos f

: H

(X; R)H

(Y ; R)
sobre el homomorsmode anillos f

: H

(Y ; R)H

(X; R), es decir, paraa H

(Y ; R)
y z H

(X; R) es f

(f

(a) z) = a f

(z).
11.4 Orientaci on
11.4.1 Orientaci on en variedades
Si se toma homologa con coecientes en Z, la idea ahora es mirar las dos posibles elecciones
de generadores en H
n
(R
n
, R
n
0) Z como las dos orientaciones alternativas en R
n
. Esto
puede justicarse heursticamente como sigue: si la posici on del n-smplice est andar
n
en R
n
es tal que 0 R
n
est a en el interior de
n
, entonces la inclusi on de
n
en R
n
representa un
generador i de H
n
(R
n
, R
n
0), ya que esta inclusi on induce un isomorsmo
H
n
(
n
,
n
) H
n
(R
n
, R
n
0),
y H
n
(
n
,
n
) est a generada por la identidad de
n
en
n
. Si f: R
n
R
n
es una trans-
formaci on lineal inversible, entonces la restricci on f[

n
es un ciclo relativo que representa la
clase H
n
(f)(i) H
n
(R
n
, R
n
0). Pero H
n
(f)(i) es i o i dependiendo del signo del de-
terminante de f, luego H
n
(f) preserva los generadores de H
n
(R
n
, R
n
0), lo cual signica
que f preserva la orientaci on en R
n
, con lo que es natural identicar los dos generadores de
H
n
(R
n
, R
n
0) con las dos orientaciones de R
n
.
84 11. Dualidad
Lema 11.29 Sea M una variedad n-dimensional, n 1. Para cada x M y q Z, es
H
q
(R
n
, R
n
0; R) H
q
(M, Mx; R) H
q
(M, Mx; Z)
Z
R =
_
R si q = n
0 si q ,= n
.
Denici on 11.30 Sea M una variedad de dimensi on n y x M. La elecci on de un generador
de H
n
(M, Mx; R) Rse llama una R-orientaci on local de M en x. Para R = Z se habla
de orientaci on local de M en x.
Observaci on 11.31 Si R = Z, hay dos Z-orientaciones locales de M en x, al tener Z dos
generadores. Si R = Z
2
, hay una unica Z
2
-orientaci on local de M en x.
Una orientaci on global para M existe, cuando las orientaciones locales se pegan de manera
coherente. C omo elegir coherentemente una orientaci on local en cada punto de la variedad?
En peque nos entornos, esto siempre funciona
Lema 11.32 Sea M una variedad de dimensi on n y x M. Existe una base local B
x
en el
punto x, tal que para cada U B
x
y cada y U el homomorsmo inducido por la inclusi on
j
U
y
: H
n
(M, M U; R)H
n
(M, M y; R),
es un isomorsmo.
Denici on 11.33 Sea M una variedad de dimensi on n y U M un abierto. Para cada y U
sea
j
U
y
: H
n
(M, M U; R)H
n
(M, M y; R)
la aplicaci oninducida por la inclusi on. Unelementoo H
n
(M, MU; R) es una R-orientaci on
local de M en U, si para cada y U,
y
= j
U
y
(o) es un generador de H
n
(M, My; R). Una
Z-orientaci on local de M en U, se llama sencillamente orientaci on local de M en U.
Proposici on 11.34 Sea M una variedad de dimensi on ny
x
una R-orientaci on local en x M.
Existe un entorno abierto U de x, tal que
x
se extiende de forma unica a una R-orientaci on
local sobre U.
Denici on 11.35 Sea M una variedad de dimensi on n, U
i

iI
un cubrimiento por abiertos de
M y para cada i I sea o
i
una R-orientaci on local de M en U
i
. Al sistema U
i
, o
i

iI
se le
llama sistema de R-orientaci on local de M. Si R = Z, se habla de un sistema de orientaci on
local de M.
Denici on 11.36 Se dice que un tal sistema es coherente, cuando dados i, j I y x U
i
U
j
,
es j
U
i
x
(o
i
) = j
U
j
x (o
j
), con las notaciones obvias
Denici on 11.37 M se dice R-orientable, si admite al menos un sistema de orientaci on local
coherente.
85
Denici on 11.38 Sea M una variedad de dimensi on n. Se puede siempre inducir un sistema
coherente a partir de uno R-orientado (U
i
, o
i
)
iI
del modo siguiente
x o
x
:= j
U
i
x
(o
i
) para i I y x U
i
,
en cada punto x M, y esto proporciona una R-orientaci on local bien denida. Dos sistemas
coherentes se dicen equivalentes, si sus R-sistemas locales inducidos coinciden.
Denici on 11.39 Una R-orientaci on para M es una clase de equivalencia de sistemas locales R-
orientados coherentes de M. Una variedad se dice R-orientada si se ha jado una R-orientaci on
en M. Se dice orientada si es R-orientada y R = Z.
Proposici on 11.40 Se verican las siguientes propiedades
(i) si R tiene caracterstica 2, toda variedad topol ogica es R-orientable. En particular, toda
variedad est a Z
2
-orientada: el grupo de homologa relativo H
n
(M, M x, Z
2
) es
cclico de orden 2, por lo que tiene un unico generador o
x
. Si o es la funci on que asigna
a cada x M el elemento o
x
, se dice que es una orientaci on (mod 2) para M;
(ii) dos R-orientaciones de una variedad topol ogica conexa son iguales si y s olo si coinciden
en un punto;
(iii) una variedad es orientable si y s olo si es R-orientable para todo anillo R.
Para estudiar el problema de la orientaci on en variedades, resulta util asociar a una variedad M
otra variedad orientable
Denici on 11.41 Sea M una variedad de dimensi on n. Sea

M := (x, o
x
) : x M, o
x
orientaci on local del M en x.
El revestimiento de las orientaciones p de

M de M es la proyecci on p:

MM, que lleva
p(x, o
x
) = x. Una aplicaci on s: M

M con p s = 1
M
se llama una secci on de p.
Observaci on 11.42 Para cada x M, p
1
(x) posee dos puntos o

x
H
n
(M, Mx; Z) Z.
Por el lema 11.29 para cada punto x M existe un entorno U
x
tal que
p
1
(U
x
) =

U
+
x


U

x
= (y, o
+
y
) : y U
x
(y, o

y
) : y U
x

con o

y
= j
U
y
(j
U
x
)
1
(o

x
) y donde o

x
es la orientaci on local elegida para el punto x. Se puede
denir una topologa sobre

M del modo siguiente: un conjunto V

M ser a abierto, si para
cada x M los conjuntos p(V

U
+
x
) y p(V

U

x
) son abiertos en M.
86 11. Dualidad
Teorema 11.43 Sea M una variedad n-dimensional y p:

MM el revestimiento de las orien-
taciones. Entonces
(i) p es un revestimiento de dos hojas de M;
(ii) la aplicaci on M
_
xM
H
n
(M, M x; Z) que lleva x en o
x
, donde o
x
es un generador
de H
n
(M, M x; Z) es continua. As, queda jada una orientaci on de M, en cuanto
se da la aplicaci on s: M

M denida por s(x) = (x, o
x
).
Corolario 11.44 Sea M una variedad de dimensi on n. Entonces
(i) si M est a orientada, lo est a cualquier subespacio abierto de M;
(ii) M est a orientada cuando cada una de sus componentes conexas lo est a;
(iii) si M es conexa, existen excatamente dos orientaciones;
(iv) M es orientable cuando el revestimiento de las orientaciones p:

MMes equivalente
al brado trivial p
1
: M S
0
M;
(v) si M es conexo, es orientable si y s olo si

M tiene dos componentes.
Corolario 11.45 Sea M una variedad de dimensi on n y x
0
M. Si M es conexo por caminos
y el grupo
1
(M, x
0
) no contiene ning un subgrupo de ndice 2 (en particular, si es simplemente
conexo), entonces M es orientable.
Lema 11.46 Si M es una variedad de dimensi on n, entonces

M es una variedad de dimensi on
n y orientable.
11.4.2 Fibrado de las orientaciones y clase fundamental
Sea M una variedad topol ogica de dimensi on n. Ya hemos construido el revestimiento de dos
hojas de las orientaciones p:

MM, con bra
p
1
(x) = (x, o
x
) : o
x
H
n
(M, M x; Z) : o
x
es generador 1 Z/2Z.
Vamos a construir ahora un revestimiento de innitas hojas q: O
M
M.
Denici on 11.47 Sea O
M
:= (x,
x
) : x M,
x
H
n
(M, M x; Z). Para cada
abierto U M y x U, sea j
U
x
: H
n
(M, M U; Z)H
n
(M, M x; Z) la aplicaci on
inducida por la inclusi on. Para U M abierto y
U
H
n
(M, M U; Z), se dene el
conjunto U,
U
) = (x,
x
) : x U,
x
= j
U
x
(
U
). Sea p: O
M
M la proyecci on can onica
p(x,
x
) = x. La terna (O
M
, p, M) se llama brado de las orientaciones de M.
87
Lema 11.48 En las condiciones anteriores
(i) la familia U,
U
) : U M abierto,
U
H
n
(M, M U; Z) es base de una topologa
sobre O
M
;
(ii) p: O
M
M es un revestimiento con bra discreta p
1
(x) = H
n
(M, M x; Z) Z.
En las condiciones anteriores, se dene la aplicaci on : O
M
Z, por (x,
x
) = [
x
[ y se
denota O
M
(r) :=
1
(r) para r N 0.
Observaci on 11.49 Para cada x M, tenemos dos isomorsmos H
n
(M, M x; Z)

Z,
lo que garantiza que
(i) est a bien denida, es localmente constante y por lo tanto continua;
(ii) O
M
es la suma topol ogica de los O
M
(r) para r N 0;
(iii) O
M
(1) es homeomorfo a

M;
(iv) O
M
(r) O
M
(1) para r N y O
M
(0) M.
Denici on 11.50 Sea M una variedad de dimensi on M y Z M. El conjunto de las secciones
de O
M
sobre Z es
(Z, O
M
) := s: ZO
M
: continua y p s = 1
Z
.
Se identica cada secci on s (Z, O
M
) con la aplicaci on x (x, o
x
) a trav es de la aplicaci on
continua x o
x
H
n
(M, M x; Z) Z, es decir, se puede pensar s como una aplicaci on
continua Z Z.
(M, O
M
) se denomina el conjunto de las secciones globales de M.
Denici on 11.51 Para s (Z, O
M
), su soporte, sop(s), es la clausura de x Z : s(x) ,= 0.
El conjunto de las secciones sobre Z con soporte compacto se dene por

C
(Z, O
M
) := s (Z, O
M
) : sop(s) es compacto.
Se verica
Proposici on 11.52 Dada una variedad M de dimensi on n, existe una biyecci on entre
(i) el conjunto de las orientaciones sobre M;
(ii) el conjunto de las secciones globales s (M, O
M
) tales que im(s) O
M
(1); y
(iii) el conjunto de las trivializaciones del revestimiento de las orientaciones O
M
(1) de M.
Sea M una variedad de dimensi on M y A M. Para H
n
(M, M A, Z), sea la
aplicaci on j
A
(): AO
M
dada por j
A
()(x) = (x, j
A
x
()), que es continua. j
A
es adem as
una secci on de O
M
sobre A. (A, O
M
), es un grupo abeliano con la suma
(s
1
+ s
2
)(x) = s
1
(x) + s
2
(x) H
n
(M, M x; Z) Z
88 11. Dualidad
Y se tiene
Teorema 11.53 En las condiciones anteriores, si A M es cerrado, entonces
(i) H
q
(M, M A; Z) = 0 para cada q > n;
(ii) el homomorsmo can onico j
A
: H
n
(M, M A; Z)(A, O
M
) dado por j
A
() como
antes, es inyectivo e im(j
A
) =
C
(A, O
M
);
(iii) en particular, para A = M, es H
n
(M, Z)
C
(M, O
M
) y H
q
(M, Z) = 0 para cada
q > n.
Observaci on 11.54 Claramente, si A es compacto, es (A, O
M
) =
C
(A, O
M
).
Corolario 11.55 Sea M una variedad de dimensi on n y A M cerrado, conexo, pero no
compacto. Entonces, H
n
(M, M A; Z) = 0.
En particular, si M una variedad de dimensi on n conexa y no compacta, es H
n
(M; Z) = 0.
Denici on 11.56 Sea M una variedad topol ogica de dimensi on n y A M. Si existe una
secci on s (A, O
M
) tal que para cada x A el elemento s(x) H
n
(M, M x; Z) es
generador, se dice que M es orientable a lo largo de A.
Corolario 11.57 Sea M una variedad de dimensi on n y A M compacto con k componentes
conexas. Entonces, M es orientable a lo largo de A y H
n
(M, M A; Z) Z
k
.
Corolario 11.58 Sea M una variedad de dimensi on n compacta y conexa. Entonces,
H
n
(M, Z)
_
Z si M orientable
0 en otro caso
.
Observaci on 11.59 Son orientables S
n
, R
n
, CP
n
y RP
n
para n impar. No son orientables la
botella de Klein, la banda de M obius My RP
n
para n par. Adem as, al ser S
1
orientable y Mno
orientable, se deduce que la orientabilidad no es una propiedad de homotopa.
Denici on 11.60 Un elemento H
n
(M; Z) se llama clase fundamental de M cuando para
cada x M el elemento j
M
x
() H
n
(M, M x; Z) es un generador.
Ejemplo 11.61 Para n N, S
n
posee una clase fundamental. Sin embargo, R
n
no posee clase
fundamental, pues H
n
(R
n
; Z) = 0 y H
n
(R
n
, R
n
x; Z) Z.
Corolario 11.62 Sea M una variedad de dimensi on n, entonces
(i) si M posee una clase fundamental, M es orientable;
(ii) si M es compacta y orientable, posee una clase fundamental;
(iii) si M es compacta y orientable, existe una correspondencia uno a uno entre las clases
fundamentales de M y las orientaciones de M.
89
11.5 Teorema de dualidad de Poincar e
11.5.1 El caso compacto
Empecemos con el teorema de dualidad de Poincar e para variedades compactas
Teorema 11.63 Sean M una n-variedad orientable, conexa y compacta y z
M
una clase funda-
mental de M. Para cada q Z, el homomorsmo de Poincar e
P: H
p
(M; Z)H
nq
(M; Z)
denido por P(c) = c z
M
es un isomorsmo.
Teorema 11.64 Sean M una n-variedad orientable, conexa y compacta. Entonces
(i) para cada q N se tiene un isomorsmo
H
q
(M; Z)/T(H
q
(M; Z)) H
nq
(M; Z)/T(H
nq
(M; Z)),
donde T((H
q
(M; Z)) y T(H
nq
(M; Z)) son los respectivos grupos de torsi on. En parti-
cular, para los n umeros de Betti denidos por
q
= rg(H
q
(M; Z)), se deduce la igualdad

q
=
nq
;
(ii) para cada q N, se tiene un isomorsmo T((H
q
(M; Z)) T(H
nq
(M; Z)).
Ejemplo 11.65 Sea M una variedad de dimensi on 3, orientable, compacta y conexa. Vamos a
calcular los grupos de homologa de M, a trav es de H
1
(M; Z)
(i) como M es conexa, es H
0
(M; Z) = Z, que no depende de H
1
(M; Z);
(ii) por el teorema 11.64, es
H
2
(M; Z) H
2
(M; Z)/T(H
2
(M; Z)) T(H
2
(M; Z))
H
1
(M; Z)/T(H
1
(M; Z)) T(H
0
(M; Z)) H
1
(M; Z)/T(H
1
(M; Z));
(iii) como T(H
3
(M; Z)) T(H
1
(M; Z)) 0, es H
3
(M; Z) H
0
(M; Z) Z.
Teorema 11.66 Sea M una variedad de dimensi on n, orientable, compacta y conexa. Si n es
impar, (M) =

qZ
(1)
q

q
= 0.
11.5.2 El caso no compacto
El primer paso para probar la dualidad de Poincar e en variedades arbitarias es construir clases
fundamentales.
90 11. Dualidad
Lema 11.67 Sea M una n-variedad y K M compacto. Entonces
(i) H
q
(M, M K; R) = 0 para q > n y H
n
(M, M K; R) = 0 si y s olo si su imagen
en H
n
(M, M x; R) es trivial para cada x K;
(ii) si x o
x
es una R-orientaci on de M, existe una unica clase o
K
H
n
(M, M K; R)
cuya imagen en H
n
(M, M x; R) es o
x
para cada x K;
(iii) en particular si M es cerrada y orientable, tomando K = M en (ii) se obtiene una clase
fundamental para M.
Proposici on 11.68 Sea X un espacio topol ogico, X =
_

, uni on de una familia dirigida de


subespacios con la propiedad de que cada compacto en X est a contenido en alg un X

. Entonces
la aplicaci on natural lim

H
q
(X

; R) H
q
(X; R) es un isomorsmo para cada q.
Denici on 11.69 Sea X un espacio topol ogico. La familia de sus subespacios compactos forma
un sistema dirigido para la inclusi on, ya que la uni on de dos compactos es un conjunto compacto.
Acada compacto K se le asocia el grupo H
q
(X, XK; R) con q jo y a cada inclusi on K
1
K
2
de compactos se le asocia el momomorsmo natural
H
q
(X, X K
1
; R) H
q
(X, X K
2
; R).
El grupo resultante
H
q
C
(X; R) = lim

H
q
(X, X K; R),
es el q- esimo grupo de cohomologa singular con soporte compacto de X.
Observaci on 11.70 El nombre se debe a que los elementos de este grupo se representan con
cocadenas que se anulan sobre todos los smplices singulares en el complementario de un
compacto K

X. Si X es compacto, H
q
C
(X; R) = H
q
(X; R) pues X es el unico compacto
maximal que contiene a los compactos de X.
Observaci on 11.71 En realidad es
H
q
C
(X; R) :=
_
_

KX,compacto
H
q
(X, X K; R)
_
_
/ ,
donde si K
1
, K
2
X son dos compactos, dados dos elementos H
q
(X, X K
1
; R) y
H
q
(X, X K
2
; R), es cuando existe K X compacto tal que K
1
K
2
K y
i

1
() = i

2
(), donde i
j
: (X, X K)(X, X K
j
) es la inclusi on natural para j = 1, 2.
Observaci on 11.72 Si X es un espacio topol ogico y K X : K compacto es un
sistema conal de espacios compactos (es decir, para cada compacto K X, existe K

tal
que K K

), entonces para cada q Z es


H
q
C
(X; R) = lim

H
q
(X, X K; R) : K .
91
Ejemplos 11.73 Se tienen los ejemplos
1. sea X compacto; entonces
H
q
C
(X; Z) = H
q
C
(X, X X; Z) = H
q
(X; Z),
ya que = X es un sistema conal de conjuntos compactos;
2. sea X = R
n
S
n
x. El espacio B
r
(0) R
n
: r R
+
de las bolas cerradas
centradas en el origen, es un sistema conal de compactos. Para q N y r R
+
, sea
f: R
n
S
n
x el homeomorsmo usual. Con las notaciones del problema 12.3 del
captulo 12, se obtiene
H
q
(R
n
, R
n
B
r
(0); Z) H
q
(S
n
x, S
n
(x f(B
r
(0)); Z)
H
q
(S
n
, S
n
f(B
r
(0)); Z)

H
q
(S
n
; Z).
Y entonces
H
q
C
(R
n
; Z) = lim

H
q
(R
n
, R
n
B
r
(0); Z)) : r R
+
=

H
q
(S; Z).
Observaci on 11.74 Si f: XY es continua y K X compacto, entonces f(K) Y es
compacto, pero en general f(X K) , Y f(K), es decir, f no induce ninguna aplicaci on
H
q
(Y, Y f(K); Z) H
q
(X, X K; Z), y en general tampoco induce ninguna aplicaci on
H
q
C
(Y ; Z) H
q
C
(X; Z).
Sean o una R-orientaci on de M, K M compacto y o
K
H
n
(M, MK; Z) la unica clase
que le corresponde seg un el lema 11.67. El producto cap con o
K
produce un homomorsmo
o
K
: H
q
(M, M K; Z)H
nq
(M; Z), a a o
K
.
Por la naturalidad del producto cap, los homomorsmos as denidos para diferentes con-
juntos compactos son compatibles en el siguiente sentido: si K
1
y K
2
son compactos y
K
1
K
2
, entonces si f: H
q
(M, M K
1
)H
q
(M, M K
2
) es una aplicaci on, se verica
que ( o
K
1
) = ( o
K
2
) f. Pero, por las propiedades b asicas de los lmites directos
Denici on 11.75 Una tal familia compatible de homomorsmos induce un homomorsmo del
lmite directo,
P: H
q
c
(M; Z) = lim

H
q
(M, M K; Z)H
nq
(M; Z),
que se llama homomorsmo de Poincar e.
Y se deduce el teorema de Mayer-Vietoris relativo en cohomologa
Teorema 11.76 Sea X un espacio topol ogico, A, B X, de modo que A y B son abiertos en
A B. Entonces, existe la sucesi on exacta larga
H
q
(X, AB; Z) H
q
(X, A; Z) H
q
(X, B; Z) H
q
(X, AB; Z) H
q+1
(X, AB; Z)
92 11. Dualidad
Lema 11.77 El lmite directo lim

es un functor exacto.
Yusando el teorema 11.76 y el lema 11.77, se concluye el teorema de dualidad de Poincar e
Teorema 11.78 Sea M una variedad de dimensi on n y orientable. Entonces el homomorsmo
de Poincar e, P: H
q
c
(M; Z)H
nq
(M; Z) es un isomorsmo, para cada q.
11.6 Otros teoremas de dualidad
11.6.1 La dualidad m odulo 2
La versi on mod 2 del teorema de dualidad de Poincar e es m as d ebil puesto que s olo se aplica a
la homologa y cohomologa de grupos con coecientes en Z
2
. Pero tiene la ventaja de que se
aplica a todas las variedades, orientables o no.
Si M es una variedad de dimensi on n arbitraria, para cada x M, sea o
x
el unico elemento
no nulo del grupo de homologa local H
n
(M, M x; Z
2
) y para cada compacto K M sea
o
K
el unico elemento de H
n
(M, M K; Z
2
) que le corresponde para cada x K, seg un el
lema 11.67.
Sea G un espacio vectorial sobre Z
2
. Se dene el homomorsmo
o
K
: H
n
(M, M K; G)H
nq
(M; G)
por la f ormula ( o
K
)(x) = x o
K
, usando el isomorsmo natural GZ
2
G para denir
este producto cap. Los homomorsmos as denidos para cada compacto K son compatibles, y
queda denido un homomorsmo sobre el grupo lmite directo, P
2
: H
q
c
(M; G)H
nq
(M, G),
que es el homomorsmo (mod 2) de Poincar e.
Teorema 11.79 Para cada variedad M de dimensi on n y cada Z
2
-espacio vectorial G, P
2
es
un isomorsmo.
11.6.2 La dualidad sobre variedades cerradas. Dualidad de Lefschetz
Denici on 11.80 Una variedad de dimensi on n con borde es un espacio de Hausdorff M, en
que cada punto tiene un entorno abierto homeomorfo a R
n
o al semiespacio
R
n
+
= (x
1
, . . . , x
n
) R
n
: x
n
0.
Si x M corresponde por un tal homeomorsmo a un punto (x
1
, . . . , x
n
) R
n
+
con x
n
= 0,
entonces por excisi on se tiene
H
n
(M, M x) H
n
(R
n
+
, R
n
+
x) = 0,
93
y si x corresponde a (x
1
, . . . , x
n
) R
n
+
con x
n
> 0 o a un punto de R
n
, entonces
H
n
(M, M x) H
n
(R
n
, R
n
0) = Z.
Denici on 11.81 Los puntos de M con H
n
(M, M x) = 0 forman un subespacio M bien
denido, el borde de M, que es una variedad de dimensi on n 1, con frontera vaca. Por
ejemplo, R
n
+
R
n1
y D
n
S
n1
.
Denici on 11.82 Si M es una variedad con borde M, un entorno collar de M es un entorno
abierto homeomorfo a M[0, 1), a trav es de un homeomorsmo que lleva M en M0.
Proposici on 11.83 Si M es compacta con borde, M posee un entorno collar.
Observaci on 11.84 M as en general, se pueden construir collares para los bordes de variedades
paracompactas.
Denici on 11.85 Una variedad compacta con borde M se dice R-orientable si M M es
R-orientable como variedad sin borde.
Si M [0, 1) M es un entorno collar de M, entonces H
q
(M, M; R) es naturalmente
isomorfo a H
q
(M M, M (0, 1/2); R). As, si M es R-orientable, tenemos una clase
fundamental relativa z

H
n
(M, M; R), por restricci on a una orientaci on dada en cada punto
de M M.
As, se puede generalizar la dualidad de Poincar e a variedades cerradas
Teorema 11.86 Sea M una variedad de dimensi on n, compacta y R-orientable, cuyo borde M
se descompone en la uni on de dos variedades A y B de dimensi on n 1, compactas, tales que
AB = A = B. Entonces, el producto cap por una clase fundamental z

H
n
(M, M; R)
dene isomorsmos D
q
M
: H
q
(M, A; R)H
nq
(M, B; R), para cada q.
Observaci on 11.87 En el anterior teorema, no se excluye el caso en que A, B o A B = .
Los casos en que A o B = se suelen llamar dualidad de Lefschetz.
11.6.3 Cohomologa de

Cech
Hay una manera de extender estos teoremas de dualidad, reemplazando la cohomologa singular
por otra cohomologa llamada cohomologa de

Cech. Esta cohomologa se dene del modo
siguiente
94 11. Dualidad
Denici on 11.88 A cada | = U

cubrimiento abierto de un espacio X, se le asocia un


complejo simplicial N(|) llamado nervio de |, donde
(i) a cada abierto U

, se le asocia un v ertice v

,
(ii) un conjunto de k +1 v ertices v

1
, . . . , v

k+1
dene un k-smplice, siempre que los k +1
abiertos correspondientes U

1
, . . . , U

k+1
tengan intersecci on no vaca.
Si otro cubrimiento 1 = V

es un renamiento de |, cada V

est a contenido en alg un U

y estas inclusiones inducen una aplicaci on simplicial N(1) N(|) que est a bien denida,
salvo homotopa. Se puede entonces formar el lmite directo lim

H
q
(N(|); G) con respecto
a cubrimientos abiertos cada vez m as nos. El grupo lmite es por denici on el grupo de
cohomologa de

Cech,

H
q
(X; G).
Observaci on 11.89 Con una denici on an aloga de grupos relativos, la cohomologa de

Cech
verica los mismos axiomas que la cohomologa singular.
Para espacio homot opicamente equivalentes a CW-complejos, la cohomologa de

Cech coin-
cide con la cohomologa singular, pero para espacios con anomalas locales, esta cohomologa
resulta en general m as razonable
Ejemplo 11.90 Si X es el subespacio de R
3
que consiste en la uni on de las circunferencias
X =
_
nN
S
__
1
n
, 0, 0
_
,
1
n
_
, contrariamente a lo que se pudiera esperar es H
3
(X; Z) ,= 0.
Pero,

H
3
(X; Z) = 0 y

H
2
(X; Z) = Z

suma directa de una familia contable de copias de


Z. Sin embargo, los correspondientes grupos de homologa de

Cech denidos usando lmites
inversos, no se comportan tan bien, porque el axioma de exactitud falla, pues el lmite inverso de
sucesiones exactas no es necesariamente una sucesi on exacta. Pero, hay una manera de salvar
este problema, usando una denici on m as renada, que es la teora de homologa de Steenrod.
Existen muchas m as teoras de homologa y cohomologa, adaptadas a diversas situaciones.
Y para cada una de ellas, se pueden dar los correspondientes teoremas de dualidad.
Algunos ejercicios
En las noches claras,
resuelvo el problema de la soledad del ser.
Invito a la luna y con mi sombra somos tres.
En las noches claras
Gloria Fuertes (1917-1998)
12.1 N umeros de Betti y caracterstica de Euler
La caracterstica de Euler-Poincar e de un espacio topol ogico es un poderoso invariante que tiene
numerosas aplicaciones fuera del ambito de la topologa, por ejemplo
1. s olo las esferas impares admiten campos de vectores que no se anulan. Estas son justo las
esferas con caracterstica de Euler-Poincar e nula. Se puede denir la noci on de campo
de vectores sobre una variedad diferenciable X (la diferenciabilidad se precisa para poder
hablar de vectores tangentes). Si X es compacto y conexo, existe un campo de vectores
tangente no nulo si y s olo si (X) = 0. Luego, para supercies compactas, s olo T
2
y
K
2
poseen un tal campo de vectores. Si X es de dimensi on impar y compacta, siempre
admite uno. Con argumentos de geometra diferencial, se prueba que si X no es compacto,
siempre admite un tal campo de vectores;
2. una clase un poco m as general de caracterstica de Euler juega un papel clave en el teorema
de Riemann-Roch para variedades algebraicas proyectivas no singulares.
Si G es un grupo abeliano nitamente generado, se sabe que los elementos de orden nito en G
constituyen el subgrupo de torsi on T y que el grupo cociente G/T es abeliano libre. El n umero
minimal de generadores de G/T es el rango de G.
El rango de H
n
(X; Z) (para aquellos espacios X en que los que tenga sentido esta denici on)
se llama n- esimo n umero de Betti,
n
(X), de X. Si H
n
(X; Z) es un grupo abeliano libre,
est a caracterizado por su rango; en otro caso, hay m as informaci on contenida en el grupo de
homologa.
95
96 12. Algunos ejercicios
Se dene tambi en la caracterstica de Euler, (X), por la f ormula
(X) =

n0
(1)
n

n
(X),
cuando esta suma es nita.
Estos dos n umeros son, por supuesto, invariantes topol ogicos. Se pide
(i) calcular los n umeros de Betti y la caracterstica de Euler de S
n
, RP
n
, CP
n
, la rosa de r
p etalos y la supercie compacta de g enero g;
(ii) dada una sucesi on exacta de grupos abelianos nitamente generados
0 A
1
i
1
A
2
i
2
. . .
i
n1
A
n
0,
probar que rg(A
1
) rg(A
2
) + . . . + (1)
n+1
rg(A
n
) = 0;
(iii) si Z se obtiene a partir de Y adjunt andole una n-celda y (Y ) est a denido, entonces
(Z) = (Y ) + (1)
n
;
(iv) aditividad de la caracterstica de Euler: si X es un espacio topol ogico, A, B X y
X =

B (condici on de Mayer-Vietoris), entonces si (X), (A), (B) y (A B)


est an denidos, es (X) = (A) + (B) (A B);
(v) si X es un poliedro regular en el espacio de dimensi on tres (homeomorfo a S
2
), se divide
su supercie en tri angulos de modo que si dos de ellos se cortan, lo hacen en un v ertice o
una arista com un. Si F es el n umero de caras, E el de aristas y V el de v ertices, entonces
V E + F = 2: este es un viejo teorema de Euler;
(vi) si R es un dominio de ideales principales, los resultados sobre grupos abelianos se pueden
generalizar a m odulos sobre R. Y se puede denir
(X; R) =

q0
(1)
q
H
q
(X; R).
Probar que si las caractersticas de Euler (X; R) y (Y ; R) est an denidas, entonces
(X Y ; R) est a tambi en denida y (X Y ; R) = (X; R)(Y ; R).
12.2 Teorema del punto jo de de Lefschetz
Sea V un espacio vectorial real de dimensi on nita, con base v
1
, . . . , v
n
y sea : V V una
aplicaci on lineal dada por (v
i
) =
n

j=1
a
ij
v
j
. Sea tr() =
n

j=1
a
ii
la traza de (que no depende
de la base elegida). Sean X un espacio topol ogico y f: XX una aplicaci on continua. Para
n N, sea

n
(f) := tr (H
n
(f): H
n
(X; R)H
n
(X; R)) .
97
Se dene el ndice de Lefschetz de f por (f) :=

nN
(1)
n

n
(f) R. Se pide probar
(i) los anteriores n umeros est an bien denidos, es decir, no dependen de las bases elegidas;
(ii)
n
(id
X
) =
n
(X) y (id
X
) = (X);
(iii) si f, g: XX son aplicaciones hom otopas, entonces (f) = (g);
(iv) si c: XX es una aplicaci on constante, es (c) = 1;
(v) teorema del punto jo de Lefschetz: Sea X un poliedro compacto y f: XX tal que
(f) ,= 0. Entonces, f tiene un punto jo.
12.3 Espacios asf ericos
Sea ((

, d) un complejo de cadenas, con C


n
= 0 si n < 0. Se dene
Denici on 12.1 Una aumentaci on sobre el anillo R para el complejo (

es un epimorsmo
: C
0
R, tal que
1
= 0 y C
0
/Ker() R.
Dado un complejo de cadenas ((

, d) con aumentaci on : C
0
R, se puede formar el complejo
de cadenas reducido (

,

d), tomando

C
q
= C
q
si q 1,

C
0
= Ker() y

d
q
= d
q
. Como
Im(d
1
) Ker(), se tiene

d
1
:

C
1

C
0
.
Denici on 12.2 Un complejo de cadenas con aumentaci on es acclico si el complejo de cadenas
reducido lo es, es decir, si Im(d
q+1
) = Ker(d
q
) e Im(d
1
) = Ker().
Se pide probar la siguiente propiedad
Proposici on 12.3 Un complejo ((

, d) con aumentaci on : C
0
R, es acclico si y s olo si
H
q
(() = 0 para q > 0 y H
0
(() R.
Denici on 12.4 Un espacio X es asf erico si toda funci on continua f: S
n
X se extiende al
disco f: D
n+1
X. Para n = 0, la propiedad dice simplemente que X es conexo por caminos.
Ejemplos 12.5 Algunos ejemplos de espacios asf ericos son
1. un convexo X en un espacio eucldeo: sea p X; representamos los puntos de D
n+1
por
coordenadas polares (t, x) con 0 t 1, x S
n
y (0, x) = (0, x

) es el origen. Los
puntos de S
n
tienen coordenadas (1, x). Dada f: S
n
X, denimos f: D
n+1
X por
f(t, x) = (1 t)p + tf(x);
2. un espacio contr actil X: sea H: X [0, 1] X la homotopa que contrae, es decir, para
x X es H(x, 0) = x y H(x, 1) = p para alg un punto jo p X. Se dene entonces
f: D
n+1
X por f(t, x) = H(f(x), 1 t);
98 12. Algunos ejercicios
3. la curva seno topol ogico S =
_
(x, sen(
1
x
)) : 0 < x 1
_
(0, y) : 1 y 1 junto
con un arco de curva que va de (0, 1) a (1, sen1) (y s olo corta a S en estos puntos) es
asf erica, pero no es contr actil.
Se pide probar la siguiente propiedad
Teorema 12.6 Si X es un espacio asf erico, entonces S

(X; Z) es acclico.
12.4 Homologa reducida
Dado un espacio topol ogico X, el R-m odulo H

0
(X; R) se obtiene al considerar un operador
borde diferente sobre las 0-cadenas:

0
(

x
n
x

x
) =

x
. Con esta denici on, se verica que

1
= 0, y se dene la homologa reducida de X por
H

0
(X; R) = Ker(

0
)/Im(
1
) y para q > 0, H

q
(X) = H
q
(X).
Se pide probar
(i) si X es conexo por caminos, entonces H

0
(X; R) = 0;
(ii) si X tiene k componentes conexas, H

0
(X; R) es un R-m odulo libre con (k1) generadores.
12.5 Homologa de un ejemplo de complejo de cadenas
Sea ((

, d) un complejo de cadenas tal que


H
n
((; Z) =
_

_
Z si n = 0
Z
2
si n = 1
Z
3
si n = 2
0 si n > 2
Probar que
H
n
((; Z
2
) =
_
Z
2
si n = 0, 1, 2
0 si n > 2
y H
n
((; Z
3
) =
_

_
Z
3
si n = 0
0 si n = 1
Z
3
si n = 2, 3
0 si n > 3
99
12.6 Algunos ejemplos de homologa de espacios
Demostrar que
Lema 12.7 Para la k-esfera S
k
, H
n
(S
k
; Z) es libre en cualquier dimensi on.
Deducir la siguiente propiedad
Proposici on 12.8 Sea Y un espacio topol ogico, entonces
H
n
(S
k
Y ; Z) H
n
(Y ; Z) H
nk
(Y ; Z).
Usando esta propiedad, calcular las homologas de
(i) T
2
y el toro generalizado;
(ii) RP
2
S
3
y RP
3
S
2
: sus grupos fundamentales son isomorfos, pero sus grupos de
homologa no lo son, de lo que se deduce que no tienen el mismo tipo de homotopa;
(iii) CP
3
y S
4
S
2
: sus grupos fundamentales no son isomorfos, aunque si lo son sus grupos
de homologa.
12.7 El teorema de separaci on de Jordan-Brouwer
Probar las siguientes propiedades, consecuencias del teorema de separaci on de Jordan-Brouwer
(i) si Aes una (n1)-esfera embebida en R
n
(donde n 2), entonces R
n
Atiene exactamente
dos componentes conexas, una de las cuales es acotada y la otra no. La componente acotada
es acclica y la no acotada posee la misma homologa que S
n1
;
(ii) invarianza del dominio: si U R
n
es abierto y V R
n
es homeomorfo a U, entonces V
es tambi en abierto;
(iii) invarianza de la dimensi on: si U R
n
y V R
m
son abiertos homeomorfos, entonces
m = n.
12.8 Es mejor la cohomologa que la homologa?
Sea la uni on por un punto de dos copias de S
1
y una copia de S
2
, es decir, X = S
1
S
1
S
2
. El
espacio as obtenido X es conexo, por lo que H
0
(X; Z) Z. Para n > 0 es f acil ver que
H
n
(X; Z) H
n
(S
1
; Z) H
n
(S
1
; Z) H
n
(S
2
; Z)
_
_
_
Z Z si n = 1
Z si n = 2
0 si n > 2
.
100 12. Algunos ejercicios
Luego X tiene la misma homologa que el toro T
2
, es decir, es un toro homol ogico.
Es X homot opicamente equivalente al toro? Usando s olo homologa, no se puede responder
a esta pregunta, pero la cohomologa resulta muy util en este caso, se pide probar
Proposici on 12.9 En calidad de anillos graduados H

(X; Z) y H

(T
2
; Z) no son isomorfos.
Y de lo anterior, se deduce que X e T
2
no son homot opicamente equivalentes.
12.9 Por qu e la dualidad?
Por qu e no es H
p
(X; Z) H
np
(X; Z), en vez del isomorsmo H
p
(X; Z) H
np
(X; Z)?
La dualidad de Poincar e es casi el isomorsmo H
p
(X; Z) H
np
(X; Z), excepto porque
existen espacios orientables con torsi on. Estos espacios tienen una especie de propiedad de
autoenrollamiento. Entre estos espacios, los m as sencillos son los espacios lenticulares L(p, q),
con p y q enteros relativamente primos: sea la esfera S
3
considerada como subconjunto del plano
complejo
S
3
= (z
1
, z
2
) C
2
: [z
1
[
2
+[z
2
[
2
= 1,
y el homeomorsmo h: S
3
S
3
, denido por h(z
1
, z
2
) = (z
1
.e
2i
p
, z
2
.e
2iq
p
). Se comprueba
f acilmente que que h
p
= 1
S
3. El grupo cclico Z
p
opera sobre S
3
por
n.(z
1
, z
2
) = h
n
(z
1
, z
2
) para n Z
p
.
La aplicaci oncociente p: S
3
S
3
/Z
p
es unrevestimientoyel espaciocociente L(p, q) = S
3
/Z
p
,
se llama espacio lenticular. Se pide probar
(i) el grupo fundamental de L(p, q) es cclico de orden p;
(ii) L(2, 1) es el plano proyectivo real de dimensi on 3, RP
3
;
(iii) para estos espacios es
H
n
(L(p, q); Z) =
_
_
_
Z si n = 0, 3
Z
p
si n = 1
0 en otro caso.
Pero
H
m
(L(p, q); Z) =
_
_
_
Z si n = 0, 3
Z
n
si n = 2
0 en otro caso.
As, es H
1
(L(p, q); Z) H
2
(L(p, q); Z), pero H
1
(L(p, q); Z) , H
2
(L(p, q); Z).
Bibliograa
[AB] E. Artin and H. Braun, Introduction to Algebraic Topology, Merry Publ. Co.,
1969.
[ADQ] R. Ayala, A. Dominguez y A. Quintero, Elementos de teora de homologa
cl asica, Pub. Universidad de Sevilla, 2002.
[BBIF] Y. Borisovich, N. Blinznyakov, Y. Izrailevich and T. Fomenko, Introduction
to Topology, Mir, 1985.
[Br] G.E. Bredon, Topology and Geometry, Springer, 1993.
[BRS] S. Buoncristiano, C.P. Rourke and B.J. Sanderson, A geometric approach to
homology theory, Cambridge, 1976.
[CH] A. Cavicchioli y F. Hegenbarth, Lezioni di Topologia Algebrica e differenziale,
Pitagora, 1997.
[CC] J.M. Cohen y F. Colonna, Introduzione alla Topologia Algebrica, Mediter-
ranean Press, 1990.
[DK] J.F. Davis and P. Kirk, Lecture Notes in Algebraic Topology, Graduate Studies
in Mathematics 35, A.M.S., 2001.
[De] S. Deo, Algebraic topology: a primer, Hindustain Book Agency, 2003.
[Di] J. Dieudonn e, A history of algebraic and differerential topology 1900-1960,
Birkh auser, 1989.
[DP] C.J.J. Dodson and P.E. Parker, A users guide to Algebraic Topology, Kluwer,
1997.
[Do] A. Dold, Lectures on Algebraic Topology, Springer, 1980.
[ES] S. Eilenberg and N. Steenrod, Foundations of Algebraic Topology, Princeton
University Press, 1952.
[ET] L. Evens and R. Thomson, Algebraic Topology, New York University Press,
2001.
[F] W. Fulton, Algebraic Topology: a rst course, Springer, 1995.
[God] C. Godbillon, El ements de topologie alg ebrique, Hermann, 1998.
101
102 12. Algunos ejercicios
[GH] M.J. Greenberg y J. Harper, Algebraic topology: a rst course, Addison Wes-
ley, 1981.
[Ha] A. Hatcher, Algebraic Topology, Cambridge University Press, 2001.
[HY] J.G. Hocking and G.S. Young, Topology, Dover, 1961.
[J] I.M. James (editor), History of Topology, North-Holland, 1999.
[Law] T. Lawson, Topology: a geometric approach, Oxford Graduate Texts in Ma-
thematics 9, Oxford University Press, 2003.
[Lee] J.M. Lee, Introduction to topological manifolds, Graduate Texts in Maths 202,
Springer, 2000.
[Lef] S. Lefschetz, Algebraic Topology, AMS Colloquium Publications 27, 1991.
[Mas1] W.S. Massey, Singular homology theory, Springer, 1980.
[Mas2] W.S. Massey, Introducci on a la topologa algebraica, Revert e, 1982.
[Mau] C.R.F. Maunder, Algebraic topology, Dover, 1996.
[May] J.P. May, A concise course in Algebraic Topology, Chicago Lecture Mathe-
matical Series, 1999.
[McL] S. McLane, Homology, Springer, 1963.
[Mu] J.R. Munkres, Elements of algebraic topology, Addison-Wesley, 1984.
[Nak] M. Nakahara, Geometry, topology and physics, IOP Publ., 1990.
[NS] C. Nash and S. Sen, Topology and geometry for physicists, Academic Press,
1983.
[NP] V. Navarro y P. Pascual, Topologia Algebraica, Col-lecci o UB 34, 1999.
[P] J.C. Pont, Topologie alg ebrique des origines ` aPoincar e, Presses Universitaires
de France, 1974.
[R] J.J. Rotman, An introduction to algebraic topology, Springer, 1988.
[ST] I.M. Singer and J.A. Thorpe, Lecture Notes on elementary topology and geo-
metry, Springer, 1976.
[Sp] E.H. Spanier, Algebraic Topology, McGraw Hill, 1966.
[Vi] J.W. Vick, Homology theory: an introduction to algebraic topology, Springer,
1994.
[Wa1] A.H. Wallace, An introduction to algebraic topology, Pergamon Press, 1957.
[Wa2] A.H. Wallace, Algebraic Topology, W.A. Benjamin Inc., 1970.
[Z] M. Zisman, Topologie alg ebrique el ementaire, Armand Collin, 1972.

Potrebbero piacerti anche