Topología Algebraica

Marcelo Aguilar
Octavio Alberto Agustn Aquino

Notas de Topologa Algebraica
SUNEO
Mexico
Prefacio
En el siglo XVIII, Euler observo que la siguiente formula
= v a +c,
donde v es el n umero de vertices, a es el n umero de arstas y c es el n umero
de caras, es invariante para cierta clase de poliedros. Por ejemplo, el tetraedro
tiene cuatro vertices, seis aristas y cuatro caras, por lo que = 2. Puede verse
que para un cubo o un octaedro, se obtiene el mismo resultado.
Para el poliedro siguiente, sin embargo
tenemos que = v a + c = 6 11 + 8 = 3, lo que quiza indique que este
n umero permite distinguir entre espacios topologicos simples.
En este curso se estudiaran objetos formados por bloques sencillos llama-
dos simplejos, y se tomara la suma alternada del n umero de n-simplejos y
probaremos que se preserva para espacios topologicos homeomorfos. La esta-
tegia sera construir un invariante topologico que sea igual a esta suma.
Indice general
1. Introduccion homotopica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1. Lazos y homotopa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. El grupo fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Grupos de homotopa de ordenes superiores . . . . . . . . . . . . . . . . . 3
1.4. Propiedades funtoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2. Bordismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1. Los grupos de bordismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2. Bordismo orientado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3. Homologa simplicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2. Homologa simplicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3. Homologa de

Cech . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4. Homologa singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.1. Complejos singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2. Homologa singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3. Cadenas anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.4. Escision . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5. Complejos CW . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.1. Primeras deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2. Los espacios proyectivos reales y complejos . . . . . . . . . . . . . . . . . 75
5.3. El teorema de Jordan-Brouwer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.4. Otra descripcion de S
1
S
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.5. Caracterstica de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
1
Introduccion homotopica
1.1. Lazos y homotopa
Denicion 1.1. Sea X un espacio topologico con un punto distinguido x
0
(que llamaremos punto base). Un lazo basado en x
0
es una funcion continua
: I := [0, 1] X tal que (0) = x
0
y (1) = x
0
.
Escolio 1.2. Observese que la funcion c
x0
(y) = x
0
para todo y [0, 1] es un
lazo, llamado lazo trivial.
Algo que sera importante para denir invariantes topologicos es que un lazo
pueda deformarse en otro. Tentativamente, podemos denir lo siguiente:
sean y lazos en X. Decimos que se puede deformar a (o que es
homotopo a ) si existe una familia de H
t
tI
de funciones de I en X tales
que H
0
= y H
1
= .
El problema con lo anterior es que existe la posibilidad de que se rompa
un lazo y que as rodee hoyos en el espacio topologico de manera ilcita.
Sera bueno topologizar esta familia de tal suerte que sea continua, evitando
as situaciones de esta naturaleza. Sin embargo, eso es algo complicado, as que
procederemos de un modo algo mas sencillo.
Denicion 1.3. Sean y basados en el punto x
0
. A la funcion continua
H : I I X
(s, t) H
t
(s);
tal que
1. cada H
t
es un lazo basado en x
0
,
2. se satisface que H(s, 0) = (s) y H(s, 1) = (s),
la denominaremos una homotopa entre y . Cuando existe una homotopa
entre los lazos y , decimos que los lazos son homotopos.
2 1 Introduccion homotopica
Ejercicio 1.4. Demostrar que la relacion de homotopa en
(X, x
0
) = : I X : es continua, (0) = (1) = x
0
,
es de equivalencia.
Lema 1.5. Sea f : X Y , y supongamos que X =
n
i=1
X
i
, donde cada X
i
es cerrado. Si f[
Xi
es continua, entonces f es continua.
Demostracion. Sea V cerrado en Y . Entonces
f
1
(V ) = X f
1
(V ) = (
n
i=1
X
i
) f
1
(V )
=
n
i=1
(X
i
f
1
(V )) =
n
i=1
(X
i
f
1
i
(V ))
y cada f
1
i
(V ) es cerrado en X
i
. Por ser X
i
cerrado, X
i
f
1
i
(V ) es cerrado
en X. Vemos que f
1
(V ) es la union nita de cerrados, por lo cual es cerrado.
En consecuencia, f es continua en X.
Solucion 1.6. Denotemos por a la relacion de homotopa.
1. Todo lazo (X, x
0
) esta relacionado consigo mismo. En efecto,
t I, H(s, t) = (s)
es una homotopa entre y . Luego .
2. Si , existe una homotopa H tal que H(s, 0) = (s) y H(s, 1) = (s).
Deniendo H
t
(s, t) = H(s, 1 t), tenemos que H
t
es una homotopa tal
que H
t
(s, 0) = H(s, 1) = y H
t
(s, 1) = H(s, 0) = . Luego .
3. Si y , entonces . Por supuesto, si H
1
es una homotopa
entre y y H
2
es una homotopa entre y , entonces
H
3
(s, t) =
_
H
1
(s, 2t), t [0, 1/2],
H
2
(s, 2t 1), t [1/2, 1].
Por el Lema 1.5, es una homotopa tal que H
3
(s, 0) = y H
3
(s, 1) = .
Por lo anterior, es una relacion de equivalencia.
Al conjunto de las clases de equivalencia (X, x
0
)/ lo denotaremos como
1
(X, x
0
).
1.2. El grupo fundamental
Vamos a dotar a
1
(X, x
0
) de una operacion que lo convierta en un grupo.
Para este efecto, denimos (X, x
0
) a traves de
(t) =
_
(2t), t [0,
1
2
],
(2t 1), t [
1
2
, 1].
1.3 Grupos de homotopa de ordenes superiores 3
Ahora, dado (X, x
0
) denimos (s) = (1 s).
Designemos como [] a la clase de homotopa de (X, x
0
)/ , y
denamos
[][] = [ ].
y observese que el neutro de esta operacion es [c
x0
]. Ademas []
1
= [].
Se puede vericar que esta operacion en
1
(X, x
0
) lo hace, efectivamente, un
grupo. No necesariamente es abeliano. Peor a un, no parece facil calcularlos de
manera efectiva (de hecho, no lo es).
1.3. Grupos de homotopa de ordenes superiores
En 1935, Witold Hurewicz generalizo el grupo fundamental a ordenes ma-
yores a 1. Veamos cual es la idea.
El q-cubo es el conjunto I
q
. Su frontera, I
q
, es el conjunto de todas las
q-tuplas para las cuales al menos una de las componentes s
j
es 0 o 1.
Un q-cubo basado en x
0
en X es una funcion continua : I
q
X tal que
(x) = b para toda s I
q
. Dos q-cubos y basados en x
0
se dicen homoto-
pos si existe una funcion continua H : I
q
I X tal que H(s, 0) = (s),
H(s, 1) = (s) y H(s, t) = x
0
para todo s I
q
y todo t I. Nuevamente
la relacion de homotopa es de equivalencia. A la clase de todos q-los cubos
basados en x
0
homotopos a es la clase de homotopa de , y la denotaremos
como []. La coleccion de tales clases de homotopa se denota como
q
(X, x
0
).
Otra vez, queremos darle estructura de grupo a
n
(X, x
0
). Para este
proposito, denimos el producto de q-cubos y como
(s
1
, . . . , s
q
) =
_
(2s
1
, . . . , s
q
), s
1
[0,
1
2
],
(2s
1
1, . . . , s
q
), s
1
[
1
2
, 1].
Claramente, es nuevamente un q-cubo. Tambien denimos para el
q-cubo el cubo
(s
1
, . . . , s
n
) = (1 s
1
, . . . , s
n
).
As,
q
(X, x
0
) es un grupo con [] = []
1
. Los grupos que hemos obtenido
tienen una propiedad que no tiene el grupo fundamental.
Teorema 1.7. El grupo
q
(X, x
0
) es abeliano para q 2.
El grupo
q
(X, x
0
) puede verse tambien como el grupo de clases homotopa
de mapeos de la q-esfera S
q
en X que satisfacen (y) = x
0
para alg un
punto jo (digamos, el polo norte) de la q-esfera. En virtud de que el espacio
cociente obtenido de I
q
al identicar a I
q
a un punto es homeomorfo a la
compacticacion por un punto de R
q
, tenemos que existe una funcion
t
I
q
p
X
I
q
/I
q
= S
q
conmuta, donde p es la inmersion canonica.
Ejemplo 1.8. Para encontrar un ejemplo de un espacio X para el cual
q
(X, x
0
) ,= 0,
basta encontrar un X y un mapeo : S
q
X tal que no sea homotopo a
la constante. Soprendentemente, el espacio que sirve es la misma S
q
cuando
n 1! En particular, si X = S
2
,
q
(S
2
) =
_
0, q = 1,
Z, q = 2.
Sera que
3
(S
2
) = 0? Hopf demostro que, de hecho, no es as.
La idea para demostrar lo aseverado en el ejemplo anterior es la siguiente.
A cada funcion S
n
f
S
n
le asociamos un n umero entero, llamado grado, que
sea un isomorsmo de grupos. Para n = 1, esto se puede lograr a traves de
aplicaciones cubrientes.
En el caso general, vemos a S
n
como una variedad diferenciable.
Denicion 1.9. Sea g : M N C
una funcion entre las variedades

diferenciables M y N, de modo que induce el mapeo lineal (dg)
x
: T
x
M
T
g(x)
N entre los espacios tangentes de x y g(x), respectivamente. El punto x
se dice regular de g si (dg)
x
es suprayectiva. Se dice tambien valor regular de
g si la imagen inversa de g esta ntegramente formada por puntos regulares.
Se puede probar que una funcion continua f entre n-esferas es homotopa
a otra funcion g que es diferenciable. Usando el teorema de Sard, vemos que
existe un valor regular.
Teorema 1.10 (Sard). La imagen inversa de un valor regular de una funcion
f es una subvariedad del dominio.
Si y es un valor regular, g
1
(y) es una subvariedad de dimension 0. Por
lo tanto, es un conjunto discreto, y como S
n
es compacto, es incluso nito. A
cada punto de g
1
(y) le asociamos un signo seg un (dg)
X
: T
x
S
n
T
g(x)=y
S
n
preserve o no la orientacion. Entonces el isomorsmo es
]g
1
(y)]
i=1
(g
1
(y)
i
).
El mismo argumento funciona para
q
(S
n
) con q < n. En este caso tenemos
g : S
q
S
n
, pero la imagen inversa de un valor regular es vaca. Luego g no
es suprayectiva. En consecuencia
S
n
y

_
i
S
q
h
v
v
v
v
v
g
S
n
1.4 Propiedades funtoriales 5
pero S
n
y

= R
n
. Dada S
q
f
R
n
, veamos que f es homotopa a la constante.
Sea H : S
q
I R
n
, dada por H(s, t) = (1t)f(s), que es continua y satisface
H(s, 0) = f(s) y H(s, 1) = 0. Por todo lo anterior, S
q
se retrae a un punto.
Este argumento tambien es raz de los invariantes de Hopf. Si S
3
f
S
2
,
reemplazamos f por g con g diferenciable. Tomamos ahora un valor regular y
su preimagen es una subvariedad compacta de dimension 1.
Teorema 1.11 (Serre). Si n es par,
q
(S
n
) es nito si q > n excepto
2n1
(S
n
)

= Z F,
donde F es un grupo nito.
El siguiente teorema muestra que la tarea de calcular grupos de homotopa
no es sencilla.
Teorema 1.12. Sea X un complejo CW compacto y conexo. Supongamos que
1
(X) = 0 y que existe alguna q tal que
q
(X) ,= 0. Entonces hay una innidad
de dimensiones n tal que
n
(X) ,= 0.
1.4. Propiedades funtoriales
Sea f : (X, x
0
) (Y, y
0
) una funcion continua. Denimos
f
#
:
q
(X, x
0
)
q
(Y, y
0
),
[] [f ].
Esta denicion es correcta. En efecto, si [] = [] existe una homotopa
H : S
q
I X entre y . Tenemos que H
t
= f H es una homotopa entre
f y f , pues H
t
(s, 0) = f(H(s, 0)) = f(s), H
t
(s, 1) = f(H(s, 1)) =
f(s) y H
t
(x
0
, t) = f(H(x
0
, t)) = f(x
0
) = y
0
para todo 0 t 1.
Lema 1.13. La funcion f
#
es un homeomorsmo.
Demostracion. Sean [][]
n
(X, x
0
). Tenemos
f
#
([][]) = f
#
([ ]) = [f ( )].
Ahora bien
f ( )(s
1
, . . . , s
n
) =
_
f (2s
1
, . . . , s
n
), s
1
[0,
1
2
],
f (2s
1
1, . . . , s
n
), s
1
[
1
2
, 1],
pero esto ultimo no es sino
[(f ) (f )] = [f ][f ] = f
#
[]f
#
[]
Escolio 1.14. Observese que si id(X, x
0
) (X, x
0
), entonces
id
#
n
(X, x
0
)
n
(X, x
0
),
[] [id ] = [],
es decir id
#
= id
n(X,x0)
.
Ejercicio 1.15. Sean f : (X, x
0
) (Y, y
0
) y g : (Y, y
0
) (Z, z
0
). Demostrar
que
(g f)
#
= g
#
f
#
.
Solucion 1.16. Tenemos
(g f)
#
[] = [(g f) ] = [g (f )] = g
#
[f ] = (g
#
f
#
)[].
En virtud de lo anterior, tenemos un funtor de la categora de espacios
basados en la categora de los grupos.
Proposicion 1.17. Los grupos de homotopa son invariantes topologicos.
Demostracion. Queremos probar que si f : (X, x
0
) (Y, y
0
) es un homeo-
morsmo entonces f
#
:
n
(X, x
0
)
n
(Y, y
0
) es un isomorsmo de grupos.
Como f es un homeomorsmo basado, existe una funcion continua g :
(Y, y
0
) (X, x
0
) tal que g f = id
X
y f g = id
Y
. Por las propiedades del
operador #,
(f g)
#
= f
#
g
#
= (id
X
)
#
= id
n(X,x0)
.
Por lo tanto f
#
es un isomorsmo de grupos cuyo inverso es g
#
.
Escolio 1.18. Cuando probamos que
q
(S
n
) = 0 para q < n, para [f]
q
(S
n
), S
q
f
S
n
. Tomabamos g diferenciable tal que [f] = [g]. Resulta
el diagrama
S
n

_
S
q
g
v
v
v
v
v
g
S
n
que, al aplicar el funtor se transforma en
q
(S
n
)

_
i
#
q
(S
q
)
g
#
q
q
q
q
q
g
#

q
(S
n
).
Como [ g] = [0] para toda g, entonces
q
(R
n
) = 0 para toda q. En particu-
lar,
q
(S
n
) para toda q, y por la relacion funtorial, [g] = [0] para toda
g.
Denicion 1.19. Dadas dos funciones continuas f, g : (X, x
0
) (Y, y
0
) de-
cimos que son homotopas si existe una funcion continua H : X I Y tal
que
H(x, 0) = f(x), H(x, 1) = g(x),
t I, H(x
0
, t) = y
0
.
Ejercicio 1.20. Demostrar que la homotopa es una relacion de equivalencia.
Solucion 1.21. Primeramente, la funcion denida por H(x, t) = f(x) y
H(x
0
, t) = y
0
para todo t I es una homotopa entre f y f. Si H es una
homotopa entre f y g, entonces H
t
(x, t) = H(x, 1 t) es una homotopa
entre g y f, pues H
t
(x, 0) = H(x, 1) = g(x) y H
t
(x, 1) = H(x, 0) = f(x).
Finalmente, si H
1
es una homotopa entre f y g y H
2
es una homotopa entre
g y h, entonces
H
3
(x, t) =
_
H
1
(s, 2t), t [0,
1
2
],
H
2
(s, 2t 1), t [
1
2
, 1],
es una homotopa entre f y h, pues es continua por el Lema 1.5 y H
3
(x, 0) =
f(x) y H
3
(x, 1). Luego la homotopa es una relacion de equivalencia.
Denicion 1.22. La familia de espacios (X, x
0
) que son del mismo tipo de
homotopa que un punto se denominan contrables.
Corolario 1.23. Si (X, x
0
) es contrable entonces
q
(X, x
0
) = 0 para todo q.
Ejercicio 1.24. El espacio R
n
es contrable para todo n.
Solucion 1.25. En efecto, si c(x) = 0 para todo x R
n
e i : 0 R
n
denido como i(0) = 0, entonces c i = id
0
e i c = i. As que solo hay
que probar que i id
R
n. Para ello, denamos H(s, t) = (1 t)s. Tenemos
que H(s, 0) = 0 = c(s) y H(s, 1) = s = id
R
n(s). Claramente, H es continua
respecto a ambos parametros, por lo que es una homotopa entre i e id
R
n.
Denicion 1.26. La esfera innitamente dimensional S
es el subespacio
de R
n
que consiste en todas las sucesiones x
i
i=1
que tienen a lo mas una
cantidad nita de elementos no nulos, tales que
i=1
x
2
i
= 1.
Ejercicio 1.27. Demostrar que S
es contrable.
Solucion 1.28. Consideremos primero a la funcion denida a traves de
x
i
i=1
((1 t)x
1
+t, (1 t)x
2
, (1 t)x
3
, . . .).
Ahora denimos la homotopa
H : S
I S
(x
i
i=1
, t)
(x, t)
|(x, t)|
,
y claramente H(x, 0) = id
S
, mientras que H(x, 1) = (1, 0, . . .).
Denicion 1.29. Sea X un espacio topologico. Denimos el cono CX de X
como X I/(X 1).
Ejercicio 1.30. Demostrar que CX es contrable.
Solucion 1.31. Consideremos a las funciones [x, 1]
i
CX y CX
f
[x, 1] dada por [x, t] [x, 1]. Ya tenemos que f i = id

[x,1]
. Ahora i f =
[x, 1] para todo x CX. La homotopa H([x, s], t) = [x, t+s(1t)] claramente
es continua y satisface H([x, s], 0) = id
CX
y H([x, s], 1) = [x, 1] = i f.
Proposicion 1.32. Sea f : X Y una funcion continua. La funcion f es
homotopa a la constante si, y solo si, f se extiende a CX.
Demostracion. Supongamos que f es homotopa a la constante. Entonces exis-
te una funcion continua H : XI Y tal que H(x, 0) = f(x) y H(x, 1) = c.
Denimos enseguida
f : CX Y
[x, t] H(x, t).
Esto esta bien denido pues el unico punto donde [x, t] tiene mas de un
representante es cuando t = 1, pero en tal caso H(x, 1) = c para todo x. Por
hipotesis,

f es continua.
Recprocamente, supongamos que f : X Y se puede extender al cono
CX. Entonces existe

f tal que el diagrama
X
i
Y
CX
conmuta. Denimos entonces H : X I Y a traves de H(x, t) =

f([x, t]).
Tenemos que H(x, 0) =

f([x, 0]) =

f(i(x)) = f(x), y ademas H(x, 1) =
f([x, 1]) = c, pues [x, 1] consiste en un solo punto en CX para todo x. La

hipotesis de extension hace que H sea continua.
Ejercicio 1.33. Demostrar la Proposicion 1.32 para el caso de espacios ba-
sados.
Solucion 1.34. Supongamos que f es homotopa a la constante. Entonces
existe una funcion continua H : XI Y tal que H(x, 0) = f(x), H(x, 1) =
y
0
y H(x
0
, t) = y
0
para todo t I. Denimos enseguida
f : C(X, x
0
) Y
[x, t] H(x, t).
Esto esta bien denido pues el unico punto donde [x, t] tiene mas de un
representante es cuando t = 1 o x = x
0
; en el primer caso H(x, 1) = c para
todo x. En el segundo, [x
0
, t] tambien consiste solamente de un punto, y de
hecho es el mismo que para el caso de [x, 1]. Por hipotesis,

f es continua.
Recprocamente, supongamos que f : X Y se puede extender al cono
C(X, x
0
). Entonces existe

f tal que el diagrama
X
i
Y
C(X, x
0
)
conmuta. Denimos entonces H : X I Y a traves de H(x, t) =

f([x, t]).
Tenemos que H(x, 0) =

f([x, 0]) =

f(i(x)) = f(x), y ademas H(x, 1) =
f([x, 1]) = c, pues [x, 1] consiste en un solo punto en CX para todo x. Ademas,
H(x
0
, t) =

f([x
0
, t]) = c para todo t I, pues [x
0
, t] representa tambien a un
solo elemento de C(X, x
0
). La hipotesis de extension hace que H sea continua.
Corolario 1.35. Sea []
q
(X, x
0
). Tenemos que [] = 0 si, y solo si, se
puede extender a la q + 1-bola.
Demostracion. Ya que
S
q

_
X
D
q+1

y
y
y
y
y
y
y
y
y puesto que CS
q
= D
q+1
, el resultado se sigue.
2
Bordismo
El ultimo corolario del captulo anterior nos induce a olvidarnos a S
q
como
espacio a sumergir para obtener invariantes topologicos. Un sustituto natural
parecen ser las variedades diferenciables.
Sea M
q
una variedad diferenciable compacta con frontera y f : M
q
X
continua. Podemos preguntarnos ahora si existe una variedad compacta con
frontera V
q+1
y una funcion

f : V
q+1
X tal que V
q+1
= M
q
y

[
V
q+1 =
f. Ya vimos que esto es as para la variedad S
q
.
Sea, pues, M
q
una variedad diferenciable compacta, sin frontera, y f :
M
q
X una funcion continua. Como caso especial tendramos que X es una
variedad diferenciable de dimension m, esto es f : M
n
N
m
, o inclusive
M
n
N
m
.
Denicion 2.1. Sea X un espacio topologico y consideremos parejas (M, f)
donde M es una variedad diferenciable compacta con frontera de dimension
n y f : M X continua. Decimos que (M, f)

= (N, g) si existe una variedad
diferenciable V
n+1
compacta y una funcion continua H : V
n+1
X tal que
V
n+1
= M HN y H[
M
= f y H[
N
= g.
Proposicion 2.2. La relacion denida es de equivalencia, llamada bordis-
mo.
Demostracion. Sea M una variedad compacta y diferenciable con frontera.
Tomemos M I y denimos H : M I X como H(p, t) = f(p) para
todo t. Desde luego, H es continua, y (M I) = M 0 H M 1 Por
construccion, H[
M0]
= f y H[
M1]
= f. De aqu que (M, f) (M, f).
Supongamos ahora que (M, f) (N, g). Hay una variedad V y una funcion
continua H : V X tal que V

= M H N, H[
M
= f y H[
N
= g. Pero esto
tambien signica que (N, f) (M, f).
Si (M, f) (N, g) y (N, g) (P, h), existen funciones continuas H : V
X y H
t
: V
t
X tales que H[
N
= g y H
t
[
N
= g. Usando el teorema del
collar, existe un encaje de N [0, 1) V y tambien otro N [0, 1) V
t
,
a traves de los cuales pueden pegarse V y V
t
de forma que se obtiene una
12 2 Bordismo
variedad diferenciable compacta con M H N como frontera, que llamaremos
W. Esta variedad hace ver que (M, f) (P, h).
Denicion 2.3. Denotamos por
n
(X) al conjunto de clases de equivalencia
bajo la relacion de bordismo, donde [M, f] denota a la clase de equivalencia
de (M, f).
2.1. Los grupos de bordismo
Podemos dotar a
n
(X) con una operacion que lo convierta en grupo, de
la siguiente manera
[M, f] + [N, g] := [M HN, f Hg].
Estos grupos siempre son abelianos. Quien es el neutro de este grupo?
Resulta ser [S
n
, c], donde c es la funcion constante. Esto es as porque, en
primer lugar,
[S
n
, c] = [, ],
pues c puede extenderse continuamente como V a la bola B
n
seg un el Coro-
lario, y claramente B
n
= S
n
H . As, c[
S
n = c, y c[
= , precisamente. Es
claro ahora que
[M, f] + [, ] = [M H, f H] = [M, f].
Mas a un: [M, f] +[M, f] = [, ]. En efecto f se extiende como una funcion
continua a M I trivialmente y (M I) = M H M (lo cual ya sabamos).
En otras palabras, [M, f] = [M, f].
A los grupos
n
(X) que hemos obtenido los denominamos grupos de bor-
dismo (no orientado) de X de dimension n.
Denicion 2.4. Sea : X Y continua. Denimos un homomorsmo de
grupos
:
n
(X)
n
(Y ) como
([M, f]) = [M, f].

Ejercicio 2.5. Demostrar que
esta bien denido y es un homomorsmo.

Solucion 2.6. Supongamos que [M, f] = [N, g]. Tenemos que
([M, f]) =
[M, f]. Pero H es tal que H[
M
= f y H[
N
= g. As que
[M, f] = [N, g] =
([M, g]).
Por otro lado
([M, f] + [N, g]) =
([M HN, f Hg])

= [M HN, (f Hg)]
= [M HN, f H g]
= [M, f] + [N, g]
=
([M, f]) +
([N, g]),
2.1 Los grupos de bordismo 13
pues f Hg es una funcion sobre MHN tal que (f Hg)[
M
= f y (f Hg)[
N
= g,
y de aqu que (f Hg)[
M
= f y (f Hg)[
N
= g. En consecuencia
(f Hg) = ( f) H( g),
como se armaba. Luego
es un homomorsmo.
Proposicion 2.7. Los homomorsmos recien denidos son funtoriales.
Demostracion. Si id : X X, entonces id
:
n
(X)
n
(X), pues
id
([M, f]) = [M, id f] = [M, f]. Ahora, si tenemos las funciones continuas
: X Y y : Y Z, entonces
([M, f]) =
([M, f])
= [M, ( f)]
= [M, ( ) f] = ( )
([M, f]).
Corolario 2.8. Los grupos de bordismo son invariantes topologicos.
Proposicion 2.9. Sean , : X Y tales que . Entonces
n
(X)
n
(Y ).
Demostracion. Sea [M, f]
n
(X). Tenemos que
M I
fid
Y
X I
H
x
x
x
x
x
x
x
x
x
donde H es una homotopa de a . Por lo tanto para todo p M,
H
t
[
M
= H
t
(p, 0) = H(f id)(p, 0) = H(f(p), 0) = (f(p))
y
H
t
[
M
= H
t
(p, 1) = H(f id)(p, 1) = H(f(p), 1) = (f(p)),
luego f = f. Esto implica que
.
Corolario 2.10. Los grupos
n
(X) son invariantes homotopicos.
Denicion 2.11. Sea (X, A) una pareja de espacios topologicos. Vamos con-
siderar parejas (V, f) donde V
n
es una variedad diferenciable compacta con
frontera y f(V, V ) (X, A). Denimos una relacion de la siguiente ma-
nera: (V, f) (W, g) si, y solo si, existe una variedad compacta con frontera
Q y una funcion continua H : Q X que satisface V, W Q, H[
V
= f,
H[
W
= g y H(Q (V HW)) A.
Es facil ver que la relacion anterior (que denominamos bordismos de pa-
rejas) es de equivalencia.
14 2 Bordismo
Denicion 2.12. Al conjunto de clases de bordismos de parejas los denota-
mos como
n
(X, A). Dotado con la union ajena, es un grupo abeliano.
Dada una pareja (X, A) existe una sucesion exacta larga inducida por
A
i
X
j
(X, A),
ya que los grupos
n
(X, A) son funtoriales. Esto es, dada : (X, A) (Y, B)
continua, podemos denir
:
n
(X, A)
n
(Y, B) como
([V, f]) = [V,

f]. As, resulta la sucesion

n
(A)
i

n
(X)
j

n
(X, A)
n

n1
(A)
i

n1
(X) ,
donde
n
([V, f]) = [V, f[
V
].
Consideremos a
n
:=
n
(), esto es, el n-esimo grupo de bordismo de un
solo punto. Nos podemos olvidar de las funciones asociadas pues en realidad
solo una es posible: la constante. La coleccion de estos grupos fueron un anillo
graduado de la siguiente manera: dado [M
n
] =
n
y [N
m
] =
m
, denimos
[M][N] = [M N]
n+m
.
A este anillo lo denotamos como
=
n
n=0
.
Denicion 2.13. La coleccion
n
(X)
n0
es el modulo graduado
(X) so-
bre el anillo graduado
. Esto es, tenemos una operacion

m
(X)
n+m
(X)
([M
n
], [N
m
, f]) [M N, f
N
],
donde M N

N
N
f
X.
Analogamente se dene el producto para
(X, A). No hay problema con

la denicion por que una de las variedades no tiene frontera. Tenemos ahora
el nada trivial problema de describir a
.
0

= Z
2
.
Solucion 2.15. Tenemos que una variedad 0-dimensional es un punto. Pero
cualquier []
0
es su propio inverso. Mas a un: cualesquiera variedades 0-
dimensionales son frontera de una variedad 1-dimensional, a saber: el intervalo
[0, 1]. Por lo tanto
0
consta de solo dos elementos: [] y []. Dado que []+[] =
[], se sigue que el isomorsmo entre
0
y Z
2
esta dado por [] 1 y [] 0.
Rene Thom logro, sin embargo, una descripcion bastante completa de
.
Teorema 2.16 (R. Thom). El anillo
es isomorfo a un anillo de poli-

nomios sobre Z
2
con un n umero innito de variables, con una variable de
dimension n para cada n ,= 2
m
1, m 1.
2.2 Bordismo orientado 15
Los grupos
n
(X) forman una teora de homologa en el sentido de que
son una coleccion de funtores denidos en parejas de espacios topologicos, son
invariantes homotopicos, existen sucesiones exactas y poseen excision. Esto
ultimo consiste en lo siguiente: si U A X, con U int A, entonces
n
(X, A)

=
n
(X U, A U).
El hecho de que
n
(X) sean una teora de homologa, los hace tener pro-
piedas muy buenas para ser calculados. Sin embargo, el anillo
n
(X, A) es
demasiado grande.
2.2. Bordismo orientado
Por lo antes discutido, vamos a denir una teora de homologa similar al
bordismo, pero en este caso consideraremos una orientacion.
Sea V un espacio vectorial real de dimension n. Consideremos a la familia
de bases de V con la relaci on de equivalencia siguiente:
1 = (v
1
, . . . , v
n
) (u
1
, . . . , u
n
) = | det A
/
\
> 0,
donde A
/
\
es la matriz de cambio entre las bases 1 y |. A la clase de equiva-
lencia de (v
1
, . . . , v
n
) la denotaremos como [v
1
, . . . , v
n
].
Ejercicio 2.17. Demostrar que dene solamente dos clases de equivalencia.
Solucion 2.18. Sean | = u
i
n
i=1
,1 = v
i
n
i=1
y J = w
i
n
i=1
bases de V .
Supongamos que 1 , | y 1 , J. Entonces A
\
/
< 0 y A
V
\
< 0. Por lo tanto
A
V
/
= A
\
/
A
V
\
> 0, luego | J. Esto implica que solo hay dos clases de
equivalencia.
Cualquiera de las dos clases de equivalencia inducidas a las que pertenezca
una base de V es una orientacion. Un espacio vectorial orientado es un espacio
vectorial V donde hemos elegido una orientacion ja para sus bases.
Sea M una variedad diferenciable de dimension n (con o sin frontera).
Para todo x X, T
x
(M) es un espacio vectorial real de dimension n. Una
orientacion de M en x es una orientacion de T
x
(M) que denotaremos como
x
. Una orientacion de M es una orientacion denida para cada punto x con
la siguiente propiedad. Para cada punto x M, existe una carta (U, ) tal que
para cada x U, se satisface que (d)
X
: T
x
(M) R
n
= T
(x)
R
n
preserva
la orientacion. En otras palabras,
[(d)
x
(v
1
), . . . , (d)
x
(v
n
)] = [e
1
, . . . , e
n
],
donde (v
1
, . . . , v
n
) es una base de T
x
(M) con orientacion
x
.
Si V es un variedad con frontera que esta orientada, entonces la frontera
tiene una orientacion inducida de la siguiente manera. Sea x V y conside-
remos el espacio tangente T
x
(V ). Tenemos que T
x
(V ) es un subespacio de
T
x
(V ) de condimension 1. Sea B una base orientada de T
x
(V ) con las siguien-
tes propiedades:
V
v
1
= 0 y v
2
, . . . , v
n
T
x
(V ). As,
x
= [v
2
, . . . , v
n
].
16 2 Bordismo
Denicion 2.19. Sea (M, f), donde M es una variedad compacta orientada
de dimension n y f : M X es una funcion continua. Decimos que (M, f)
(N, g) si, y solo si, existe una variedad orientada V y una funcion continau
H : V X tal que V

= M H(N), H[
M
= f y H[
N
= g.
Se prueba que es de equivalencia, y se le denomina bordismo orientado.
Se convierte en grupo bajo la union ajena, de la misma manera que en el
caso del bordismo no orientado. Al n-esimo grupo de bordismo orientado lo
denotamos como
n
(X).
El neutro sigue siendo la clase [S
n
, c], donde S
n
esta orientada como la
frontera de la bola B
n+1
que tiene la orientacion canonica de R
n+1
.
De manera analoga, se denen grupos de bordismo orientado de parejas,
n
(X, A).
Lema 2.20. Tenemos que [M, f] = [M, f].
Demostracion (Bosquejo). Queremos probar que [MH(M), f Hf] = [S
n
, c].
Consideremos al cilindro M I y H : M I X. Se comprueba facilmente
que las orientaciones de (M, 0) y de (M, 1) son contrarias.
Ahora bien:
n
(X, A) es una teora de homologa y
(X, A) es un anillo
graduado sobre el anillo
n
:=
n
(). No debe ser sorpresa que tambien
Thom describio en gran medida este anillo.
Teorema 2.21 (R. Thom).
1. Si 4 ,n,
n
es un grupo abeliano nito.
2. Si n = 4k,
n
es un grupo nitamente generado de rango (k), donde
es el n umero de particiones de k.
3. Una base para la parte libre de
4k
consta de las clases de los productos
CP
2j1
CP
2jr
,
con j
1
+. . . +j
r
= k y 1 j
1
j
k
k.
Denicion 2.22. Al valor de una teora de homologa h en un punto se le
llaman los coecientes de la teora. Una teora es ordinaria si h
n
() = 0 para
n ,= 0. En otro caso, se le dice no ordinaria.
Por lo que hemos visto, tanto el bordismo orientado como el no orientado
son teoras no ordinarias.
3
Homologa simplicial
3.1. Generalidades
Denicion 3.1. Consideremos a un conjunto nito a
0
, . . . , a
n
R
m
. De-
cimos que estos puntos son afnmente independientes si el conjunto a
1

a
0
, . . . , a
n
a
0
es linealmente independiente.
Ejercicio 3.2. El conjunto a
0
, . . . , a
n
es afnmente independiente si, y solo
si, dados
0
, . . . ,
n
R tales que

n
i=0
i
= 0 y

n
i=0
i
a
i
= 0, entonces
i
= 0 para todo i.
Solucion 3.3. Supongamos que a
0
, . . . , a
n
son afnmente independientes y
que

n
i=0
i
= 0 y
n
i=0
i
a
i
= 0. Entonces,
n
i=1
i
(a
i
a
0
) =
n
i=0
i
(a
i
a
0
)
=
n
i=0
i
a
i

n
i=0
i
a
0
=
n
i=0
i
a
i
+a
0
n
i=0
i
= 0,
lo cual puede ser solamente si
i
= 0 para 1 i n. Sin embargo,
0
=
n
i=1
i
= 0, as que
i
= 0 para 0 i n.
Recprocamente, supongamos que siempre que
n
i=0
i
= 0 y
n
i=0
i
a
i
=
0 entonces
i
= 0 para todo i. Cuando
n
i=0
i
(a
i
a
0
) = 0,
pero
j
,= 0, podemos suponer en particular que
j
= 1, dividiendo entre el
j
original. As
18 3 Homologa simplicial
a
j
= 1a
j
,
a
j
=
i,=j
i
a
i
+ (1 +
i,=j
i
)a
0
,
por lo cual, restando las expresiones, existen
i
tales que
0 =
n
i=1
i
a
i
,
y observese que la suma de los coecientes la segunda expresion para a
j
es 1.
Por lo tanto,
n
i=1
i
= 1 +
i,=j
i
1
i,=j
i
= 0.
Deniendo
0
= 0, tendremos que 0 =

n
i=0
i
a
i
y

n
i=0
i
= 0. Por
hipotesis,
i
= 0 para 0 i n. Pero eso es contradictorio, porque
j
= 1.
Luego,
i
= 0 para 1 i n, lo que implica que a
i
a
0
n
i=1
son linealmente
independientes y en particular que a
i
n
i=0
son afnmente independientes.
En particular, la denicion de independencia afn es independiente de quien
es a
0
.
Denicion 3.4. Un n-simplejo geometrico en R
m
esta denido como
n
:=
_
n
i=0
i
a
i
: a
i
n
i=0
es afnmente independiente,
n
i=0
i
= 1,
i
0
_
.
El interior de
n
es, claramente, lo anteriormente denido pero con
i
> 0.
Denimos ademas el baricentro de
n
como b
n
=
1
n+1
n
i=0
a
i
.
Vamos a escribir
n
= a
0
, . . . , a
n
) y diremos que n es la dimension de
n
.
Dado un subconjunto a
i1
, . . . , a
iq
de a
0
, . . . , a
n
a a
i1
, . . . , a
iq
) le denomi-
naremos una cara de
n
.
Ejercicio 3.5. Dado
n
R
m
es cerrado, convexo y compacto.
Solucion 3.6. Sea
i,k
a
i
k=1
una sucesion convergente de elementos en
n
. Entonces
|(
i,k

i,j
)a
i
|
_
_
_
i,k
a
i

i,j
a
i
_
_
_,
lo que implica que
i,k
a
i
k=1
es una sucesion convergente tambien. En par-
ticular,
i,k
k=1
es convergente. Sea
i
dicho lmite, el cual no es negativo
pues
i,k
0 para cada k. Como
1 = lm
k
n
i=0
i,k
=
n
i=0
lm
k
i,k
=
n
i=0
i
,
3.1 Generalidades 19
entonces

n
i=0
i
a
i

n
. Ademas, para un > 0 arbitrario existe K tal que
|
i
a
i

i,K
a
i
| /(n + 1) para cada 0 i n, y de aqu que
_
_
_
i
a
i

i,K
a
i
_
_
_
|
i
a
i

i,K
a
i
|

n + 1
= .
As, lm
k
i,k
a
i
=
i
a
i
. Por lo tanto,
n
es cerrado.
Sean x =

i
a
i
y y =

i
a
i
elementos de
n
. Entonces, para cada
[0, 1], se tiene que
x + (1 )y =
(
i
+ (1 )
i
)a
i
pero
(
i
+ (1 )
i
) =
i
+ (1 )
i
= + (1 ) = 1,
y ademas
i
0 lo mismo que (1)
i
0. Esto implica que x+(1)y
n
, y la convexidad del mismo.
Finalmente, sea d = max
i
|a
0
a
i
|. Entonces la bola centrada en a
0
y de
radio d+1 contiene a todo a
i
, y en consecuencia a todos los puntos de
n
. Esto
es por que tal bola es convexa y por lo tanto todas las combinaciones convexas
de a
i
n
i=0
caen en ella. Siendo
n
cerrado y acotado en R
m
, es compacto.
Proposicion 3.7. Sean
n
= a
0
, . . . , a
n
) R
n
y
n
= b
0
, . . . , b
n
) R
n-simplejos geometricos. Entonces

n
y
son afnmente homeomorfos.

Demostracion. Denamos f :
n

n
como
f
_
n
i=0
i
a
i
_
=
n
i=0
i
b
i
.
La funcion f es afn en el sentido de que esta determinada por los valores
de la misma en los vertices. Esto es, enviamos al vertice a
i
al vertice b
i
. As,
f(
n
i=0
i
a
i
) =

n
i=0
i
f(a
i
). La funcion f es claramente biyectiva. Supon-
gamos por el momento que es continua. Como
n
es compacto y
n
es un
espacio de Hausdor, entonces f es cerrada, luego es un homeomorsmo.
Ejercicio 3.8. Vericar que f es continua.
Solucion 3.9. Sea
n
i=0
i,k
a
i
k=1

n
una sucesion convergente. La so-
lucion del problema anterior demuestra que
i,k
k=1
es una sucesion conver-
gente para cada i con lmite
i
y ademas lm
k
n
i=0
i,k
a
i
=

n
i=0
i
a
i
.
De aqu que
lm
k
f
_
n
i=0
i,k
a
i
_
= lm
k
n
i=0
i,k
f(a
i
)
=
n
i=0
lm
k
i,k
f(a
i
) =
n
i=0
i
f(a
i
)
= f
_
n
i=0
i
a
i
_
= f
_
lm
k
n
i=0
i,k
a
i
_
,
y por esto f es continua.
Denicion 3.10. Un complejo simplicial nito en R
m
es un conjunto nito
U de simplejos geometricos en R
m
que satisfacen lo siguiente.
1. Cada simplejo
n
pertenece a K y si
m
es una cara de
n
entonces
m
K.
2. Si
n
,
m
K, entonces o bien
n

m
= o bien
n

m
es una cara
de
m
y
n
.
Denotamos por [K[ al subespacio topologico de R
m
formado por los puntos
que pertenecen a alg un simplejo en K.
Ahora denimos una familia de complejos simpliciales nitos, llamados
simplejos estandar, que denotamos
n
R
n
, como
n
= e
0
, . . . , e
n
), donde
e
0
= 0 y e
i
n
i=1
es la base canonica. De forma explcita,
n
=
_
(
1
, . . . ,
n
) R
n
:
i
0,
n
i=0
i
1
_
.
Una denicion alternativa (con identica notacion) es la envolvente convexa
de la base canonica. En este caso,
n
=
_
(
0
, . . . ,
n
) R
n+1
:
i
0,
n
i=0
i
= 1
_
.
Denicion 3.11. Un complejo simplicial K es una familia de suconjuntos
nitos no vacos de un conjunto V
K
que denominaremos vertices de K y que
satisfacen lo siguiente.
1. Para cada v V
K
, v K.
2. Si K y , entonces ,= implica que K.
Ejemplo 3.12. Sea V
K
= v
1
, . . . , v
3
. Si
K = v
1
, v
3
, v
3
, v
1
, v
2
, v
2
, v
3
, v
3
, v
1
, v
1
, v
2
, v
3
,
es facil comprobar que K es un simplejo.
Ejemplo 3.13. Un complejo simplicial nito en R
m
determinan un complejo
simplicial.
Ejemplo 3.14. Sea X un espacio topologico y | = U
A
una familia de
subconjuntos de X. Deniremos un complejo simplicial llamado el nervio
N(|) de la familia |. Hacemos V
N(/)
= | y
U
0
, . . . , U
n
K
n
i=0
U
i
,= .
3.1 Generalidades 21
Denicion 3.15. Sea X un espacio topologico. La dimension de cubierta de
Lebesgue es el mnimo n umero natural n tal que cualquier cubierta abierta |
de X tiene un renamiento V en el cual ning un punto pertenece a mas de
n + 1 abiertos del renamiento.
Observese que la denicion anterior implica que N(|) tiene dimension de
cubierta de Lebesgue menor o igual que n.
Denicion 3.16. Sea K un complejo simplicial. Denimos su realizacion
geometrica [K[ como
[K[ :=
_
: V
K
I :
1
((0, 1]) K,
vV
K
(v) = 1
_
.
La suman en la denici on anterior tiene sentido porque (v) no es nula
solamente en un simplejo, y por lo tanto hay a lo mas un conjunto nito de
vertices tales que (v) ,= 0.
Denicion 3.17. Dotamos a [K[ de una metrica a traves de
d(, ) :=
vV
k
((v) (v))
2
.
Ejercicio 3.18. Demostrar que d es una metrica.
Solucion 3.19. Claramente, d(, ) = 0. Ademas, si
vV
K
((v)(v))
2
=
0, es por que (v) (v) = 0 para cada v V
K
. De aqu que = . Tambien
es evidente que d(, ) = d(, ). Ahora bien,
(d(, ) +d(, ))
2
= (d(, ))
2
+
2
_
((v) (v))
2
((v) (v))
2
+ (d(, ))
2
,
y por la desigualdad de Cauchy-Schwarz,
(d(, ) +d(, ))
2
(d(, ))
2
+ 2
((v) (v))((v) (v))

+ (d(, ))
2
((v) (v) +(v) (v))

2
= (d(, ))
2
,
de donde se sigue que d satisface la desigualdad del triangulo.
Usando esta metrica podemos inducir una topologa en [K[ y al subespacio
topologico resultante lo denotaremos como [K[
d
.
Denicion 3.20. Si S K, denimos [S[ = [K[ :
1
((0, 1]) S.
Vamos a ver que [S[ es isometrico a un simplejo estandar
q
R
q+1
. Para
esto denimos una funcion entre [S[ y
q
(donde S = v
0
, . . . , v
q
), dada por
: [S[
q
,
((v
0
), . . . , (v
q
)),
cuya inversa es
:
q
[S[,
(
0
, . . . ,
q
)
(0,...,q)
,
donde
(0,...,q)
(v
i
) =
_
i
v S,
0 v / S.
Ejercicio 3.21. Vericar que es una isometra.
Solucion 3.22. En efecto,
d(, ) =
vV
K
((v) (v))
2
=
_
(() ())(() ())
T
= |() ()|
2
.
Puesto que [K[ =
SK
[S[, entonces [K[ es una union de subespacios
homeomorfos a complejos simpliciales estandar.
Denicion 3.23. Demos a [K[ una topologa donde cada [S[ tiene la topologa
metrica pero cada subconjunto A [K[ es abierto si, y solo si, A[S[ es abierto
en cada [S[.
Con esta topologa, [K[ tiene la siguiente propiedad: una funcion f : [K[
Y es continua si, y solo si, f[
]S]
es continua para cada S K. Consideremos
ahora a id : [K[ [K[
d
. Esta funcion es continua pues id[
]S]
: [S[ [S[
d
es
de hecho id[
]S]
: [S[
d
[S[
d
por construccion.
Denicion 3.24. Un complejo simplicial K es localmente nito si cada verti-
ce v pertenece solo a un n umero nito de simplejos.
Teorema 3.25. Son equivalentes las siguientes armaciones.
1. El complejo K es localmente nito.
2. El espacio [K[ es localmente compacto.
3. La funcion id : [K[ [K[
d
es un homeomorsmo.
4. El espacio [K[ satisface el primer axioma de numerabilidad.
3.2 Homologa simplicial 23
Denicion 3.26. Sean K y L complejos simpliciales. Una funcion : V
K

V
L
respeta simplejos cuando
S = v
0
, . . . , v
q
K (v
0
), . . . , (v
q
) L.
En tal caso, decimos que es una funcion simplicial de K en L.
Los complejos, junto con las funciones simpliciales forman una categora.
Si : K L es una funcion simplicial, denimos [[ : [K[ [L[ como sigue
([[)(w) =
v
1
(w)
(v).
Ejercicio 3.27. Ver que esta bien denida y que es continua.
Solucion 3.28. Sea S =
1
((0, 1]) = v
i
q
i=0
. Tenemos que S =
1
((S)),
por lo que

wV
L
v
1
(w)
(v) = 1 y T = ([[)
1
((0, 1]) es un simplejo
de L. Elijamos > 0 arbitrario. Si d(, ) /
p, donde p es la cardinalidad
de T, entonces
d([[, [[) =
wV
L
_
_

v
1
(w)
((w) (w))
_
_
2
wT
2
/p =

2
= ,
lo que implica que [[ es continua.
Se puede probar que dada f : [K[ [L[ existe una funcion simplicial
: K L tal que f [[.
Ejemplo 3.29. Las esferas son homeomorfas a la realizacion de complejos sim-
pliciales. Dada f : S
q
S
n
continua, tomemos una homotopa de la forma [[
donde es una funcion simplicial. Observese que no puede ser suprayectiva.
Denicion 3.30. Un espacio X es un poliedro o espacio triangulado si existe
un complejo simplicial K y un homeomorsmo : [K[ X.
Ejemplo 3.31. Toda variedad diferenciable es un poliedro.
3.2. Homologa simplicial
Sea R un anillo conmutativo con unidad. Para construr una teora de
homologa, la idea es considerar para cada q el R-modulo libre generado por
los q-simplejos. Esto es, expresiones de la forma

m
i=1
r
i
i
con r
i
R y
i
q-simplejos de K.
Denicion 3.32. Consideremos un q-simplejo s = v
0
, . . . , v
q
y a los verti-
ces ordenados (v
0
, . . . , v
q
) bajo la relacion de equivalencia (v
0
, . . . , v
q
)
(v
t
0
, . . . , v
t
q
) si existe una permutacion par que enva un ordenamiento en el
otro.
Hay dos clases de equivalencia bajo esta relacion, las cuales se denominan
orientaciones de S. A un elemento del cociente lo denotamos como [v
0
, . . . , v
q
].
Denicion 3.33. Denotamos con C
q
(K) al modulo libre generado por los q-
simplejos orientados de K.
A los elementos de C
q
(K) se les denomina q-cadenas y son de la forma
, r
R con casi todo r
= 0. Denimos ahora el operador

q
tal que
C
q
(x)
q
C
q1
(K)
q
C
q2
(K),
a traves de
q
([v
0
, . . . , v
q
]) =
q
i=0
(1)
q
[v
0
, . . . , v
i
, . . . , v
q
],
donde v
i
indica la ausencia del i-esimo vertice.
q1

q
= 0.
Solucion 3.35. Sea u
i
= (1)
i
[v
0
, . . . , v
i
, . . . , v
q
]. Claramente
q1
q
([v
0
, . . . , v
q
]) =
q
i=0
q1
u
i
,
y
q1
(u
i
) =
j<i
(1)
i+j
[v
0
, . . . , v
j
, . . . , v
i
, . . . , v
q
]
j>i
(1)
i+j
[v
0
, . . . , v
i
, . . . , v
j
, . . . , v
q
].
Si intercambiamos i por j en la ultimo sumando, vemos que
q1
(u
i
) = 0,
y de aqu que
q1
q
([v
0
, . . . , v
q
]) = 0.
El ejercicio anterior implica que Im
q+1
n uc
q
para todo q.
Denicion 3.36. Denimos
H
q
(K; R) =
n uc
q
Im
q+1
.
A los elementos de n uc
q
se les denomina q-ciclos, y a los de Im
q+1
se
les denomina q-fronteras.
Denicion 3.37. Sea : K L una funcion simplicial. Denimos
#
: C
q
(K; R) C
q
(L; R)
a traves de
#
([v
0
, . . . , v
q
]) =
_
[(v
0
), . . . , (v
1
)], i ,= j (v
i
) ,= (v
j
),
0, en caso contrario.
Ejercicio 3.38. Demostrar que el diagrama
C
q
(K)
C
q1
(K)
C
q
(L)
q
C
q1
(L)
conmuta.
Solucion 3.39. En efecto,
q
(
#
([v
0
, . . . , v
q
]) =
q
([(v
0
), . . . , (v
q
)])
=
q
i=0
(1)
i
[(v
0
), . . . ,

(v
i
), . . . , (v
q
)]
=
#
_
q
i=0
(1)
i
[v
0
, . . . , v
i
, . . . , v
q
]
_
=
#
(
q
([v
0
, . . . , v
q
])).
Por el ejercicio anterior,
#
induce un homomorsmo
#
: H
q
(K; R) H
q
(L; R),
c [
#
(c)].
Al modulo C
q
(K) se le puede describir de manera alternativa. Damos un
orden al complejo K de modo que cada simplejo este totalmente ordenado.
Ahora C
q
(K) es el R-modulo libre generado por los elementos de la forma
v
0
< v
1
< < v
q
. As
q
(v
0
< < v
q
) =
q
i=0
(1)
i
v
0
< < v
i
< < v
q
.
Sin embargo, esta denicion complica la de
como funcion simplicial,

pues K y L tienen un orden propio.
Denicion 3.40. Dado K un complejo simplicial, denimos su subdivision
baricentrica sd(K) como V
sd(K)
= K y los simplejos de la forma
S
0
S
1
S
q
,
con S
i
K.
Ejercicio 3.41. Demostrar que [K[

= [sd (K)[.
Solucion 3.42. Se tiene que id
K
: K sd (K), as que [K[ [sd (K)[. Se
dene ahora f : [sd (K)[ [K[ que enva a S al baricentro de [S[

=
q
(es
decir, obtenemos el baricentro de
q
y despues su imagen bajo la isometra
con [S[). Como la interseccion de simplejos en un complejo es un simplejo y
el baricentro esta contenido en la realizacion geometrica de cada simplejo, f
es continua. Es claro as que [id
K
[ [f[ = id
]sd (K)]
y que [f[ [id
K
[ = id
]K]
,
comprobandose que [K[

= [sd (K)[.
Hay otra forma de calcular la homologa simplicial usando otro complejo
de cadenas

C
q
(K), que es el modulo libre generado por las tuplas ordenadas
(v
0
, . . . , v
q
),
donde v
0
, . . . , v
q
K.
Ejemplo 3.43. Se tiene que (v, . . . , v
. .
q+1 veces
)

C
q
(K).
Denicion 3.44. Dada una funcion simplicial : K L, denimos
#
:

C
q
(K)

C
q
(L)
como
#
(v
0
, . . . , v
q
) = ((v
0
), . . . , (v
q
)).
La denicion anterior tiene sentido pues v
0
, . . . , v
q
K implica que
(v
0
), . . . , (v
q
) L por ser una funcion simplicial.
De la misma manera que antes, denimos
q
:

C
q
(K)

C
q1
(K)
(v
0
, . . . , v
q
)
q
i=0
(1)
i
(v
0
, . . . , v
i
, . . . , v
q
),
y como v
0
, . . . , v
q
K, entonces v
0
, . . . , v
i
, . . . , v
q
K.
q1

q
.
Solucion 3.46. Sea u
i
= (1)
i
(v
0
, . . . , v
i
, . . . , v
q
). Claramente
q1
q
(v
0
, . . . , v
q
) =
q
i=0
q1
u
i
,
y
q1
(u
i
) =
j<i
(1)
i+j
(v
0
, . . . , v
j
, . . . , v
i
, . . . , v
q
)
j>i
(1)
i+j
(v
0
, . . . , v
i
, . . . , v
j
, . . . , v
q
).
Si intercambiamos i por j en la ultimo sumando, vemos que
q1
(u
i
) = 0,
y de aqu que
q1
q
(v
0
, . . . , v
q
) = 0.
Escolio 3.47. Se puede probar que H
q
(C
(K))

= H
q
(

C
(K)).
Ejercicio 3.48. Sea K el complejo simplicial con V
K
= v
0
, v
1
, v
2
y
K = v
0
, v
1
, v
2
, v
0
, v
1
, v
1
, v
2
, v
0
, v
2
.
Vericar que
H
q
(K; Z) =
_
Z, q = 0, 1,
0, q ,= 0, 1.
Hay que elucidar la cuestion si los modulos descritos son invariantes to-
pologicos. Esto es, dados K y L complejos simpliciales cuyas realizaciones son
homeomorfas, entonces
H
q
(K; R)

= H
q
(L; R).
Poincare, para probar lo anterior, planteo tres pasos.
1. Si K

= L, esto es, existe una biyeccion : V
K
V
L
tal que v
0
, . . . , v
q

K (v
0
), . . . , (v
q
) L, entonces H
q
(K; R)

= H
q
(L; R). Esto es
claro porque entonces s n uc
K
q
si, y solo si, (s) n uc
L
q
, y analoga-
mente s Im
q+1
si, y solo si, (s) Im
L
q+1
2. Se satisface que H
q
(K; R)

= H
q
(sd (K), R).
3. Si [K[

= [L[, entonces existen subdivisiones de K y L tal que sd
n
(K)

=
sd
m
(L). Este enunciado se le conoce como Hauptvermutung (hipotesis
principal).
Estos tres pasos implicaran la invariancia topologica. Sin embargo, el
Hauptvermutung es falso e innecesario. En 1915 Alexander logro demostrar la
invariancia con otro metodo.
En la decada de los 60, Milnor dio un contraejemplo del Hauptvermutung.
Consideremos a
S
3
= (z
1
, z
2
) : [z
1
[
2
+[z
2
[
2
= 1 C
2
y sea w = exp(2i/p). Sea la accion Z/pZ S
3
S
3
dada por
T(z
1
, z
2
) = (wz
1
, w
q
z
2
),
donde T es un generador de Z/pZ. El espacio lente de tipo L(p, q) es
S
3
Z/pZ
,
que resulta ser una variedad diferenciable de dimension 7.
Denimos
X
1
= L(7, 1)
n
cono((L(7, 1)
n
)),
X
2
= L(7, 2)
n
cono((L(7, 1)
n
)).
Teorema 3.49. Si n > 3, X
1

= X
2
, pero ninguna subdivision de X
1
es iso-
morfa a una subdivision de X
2
.
Usando la invariancia topologica de la homologa simplicial, podemos de-
nir la homologa de espacios triangulables, ya que si X es triangulable entonces
existe un complejo simplicial K tal que
[K[

=
f
X
a traves del cual podemos denir H
q
(X; R) = H
q
(K; R), lo cual es correcto
en virtud de la invariancia topologica.
3.3. Homologa de

Cech
Nuestro siguiente objetivo es extender la denicion de homologa a espacios
arbitrarios. El primer intento corresponde a

Cech, en 1930.
Tomamos una cubierta abierta | de X, y le asociamos un complejo sim-
plicial (el nervio de |) para tomar H
(N(|; R)). Sin embargo, tomar una

cubierta arbitraria puede provocar una perdida innecesaria de informacion.
Dadas dos cubiertas | y 1 de X, decimos que | 1 si para cada V 1
existes U | tal que V U. Con esta denicion las cubiertas dirigidas de X
forman un conjunto dirigido. La idea es considerar
lm
U
H
(N(|), R) :=

H
(X; R).
A n de no tomar cubiertas arbitrarias, tomamos al mismo X como con-
junto de ndices; es decir, | = U
x
xX
con la propiedad de que x U
x
.
Al asociarle a las cubiertas | y 1 de X sendos nervios N(|) y N(1),
cuando U V se tiene que N(1) N(|). Observese que V
N(/)
= V
N(\)
=
X.
3.3 Homologa de

Cech 29
Lo anterior quiere decir que la funcion identidad sobre X manda simplejos
en simplejos. En efecto, si v
x0
, . . . , v
xq
es un q-simplejo de N(1) entonces
q
k=0
V
x
k
= , y as id(V
x0
, . . . , V
xq
) = U
x0
, . . . , U
xq
, por lo cual
, =
q
k=0
V
x
k

q
k=0
U
x
k
,
y queda claro que U
x0
, . . . , U
xq
es un simplejo.
Hemos obtenido un homomorsmo
(id
/\
)
: H
(N(1); R) H
(N(|); R).
H
q
(X; R) = lm
U
H
q
(N(|)),
donde lm
U
N(|) es el submodulo del producto
/
H
q
(N(|); R)
que consiste en todos los elementos del producto cuyas entradas estan relacio-
nadas por los homomorsmos (id
/\
)
.
La homologa de

Cech tiene el defecto de que no tiene sucesiones exactas
para parejas, pues el lmite inverso no preserva exactitud. Por otra parte, la
cohomologa de

Cech que se dene tomando el limite directo de las cohomo-
logas de los nervios tiene buenas propiedades como teora cohomologica.
Entre la tercera y la cuarta decada del siglo XX se denieron otras teoras
de homologa, entre ellas las de Steenrod o la de Vietoris. El primero en intro-
ducir la nocion de homologa como la asociacion entre un espacio topologico
y un grupo abstracto fue Vietoris, alrededor de 1926.
4
Homologa singular
En 1944, Eilenberg denio la homologa singular.
4.1. Complejos singulares
Denicion 4.1. Sea S
q
(X) el R-modulo libre generado por los simplejos sin-
gulares, que son funciones continuas
:
q
X.
A los elementos de S
q
(X) se les denomina cadenas singulares, y las escri-
bimos como

, con r
R y casi todo r
nulo.
En terminos mas formales, una cadena es una funcion que asocia a cada
:
q
X continua un elemento en R de manera que se anula para casi
toda . Notemos que
(r
+s
)
y
r
(rr).
Escribimos en vez de 1 y r
como la funcion r
]
.
Denicion 4.2. A la funcion
F
i
q
:
q1

q
, 0 i q
dada por
e
j

_
e
j
, j < i,
e
j+1
, j i.
extendiendola afnmente, la llamaremos i-esima cara del simplejo
q
.
32 4 Homologa singular
Ejercicio 4.3. Demostrar que F
i
q
F
j
q1
= F
j
q
F
i1
q1
si j < i.
Solucion 4.4. Por un lado
F
i
q
F
j
q1
(e
k
) =
_
_
e
k
, k < j,
e
k+1
, j k, k + 1 < i,
e
k+2
, j k, k + 1 i,
=
_
_
e
k
, k < j,
e
k+1
, j k < i 1,
e
k+2
, k i 1,
mientras que por otro,
F
j
q
F
i1
q1
(e
k
) =
_
_
e
k
, k < i 1, k < j,
e
k+1
, k < i 1, k j,
e
k+2
, k i 1, k + 1 j,
=
_
_
e
k
, k < j,
e
k+1
, j k < i 1,
e
k+2
, k i 1,
comprobandose la igualdad propuesta.
Si hemos denido a un simplejo singular como una funcion continua entre
un simplejo geometrico y un espacio topologico, hay una forma muy natural
de denir sus caras.
Denicion 4.5. Si :
q
X, denimos la i-esima cara de como
(i)
:= F
i
q
:
q1
X.
De manera analoga al caso de los simplejos geometricos, denimos el ope-
rador frontera.
Denicion 4.6. El morsmo frontera esta dado por
q
: S
q
(X) S
q1
(X),

q
i=0
(1)
i
(i)
,
extendido linealmente.
q1

q
= 0.
Solucion 4.8. En principio
q1

q
=
q
i=0
(1)
i
q1
(i)
,
=
q
i=0
(1)
i
q1
j=0
(1)
j
( F
i
q
) F
j
q1
,
=
q
1j<i
(1)
i+j
(F
j
q
F
i1
q1
) +
q1
0i<j
(1)
i+j
(F
i
q
F
j
q1
),
donde la ultima igualdad resulta de la aplicacion del ejercicio anterior. Si
ahora hacemos i
t
= j y j
t
= i 1, vemos que ambos sumandos se cancelan y
el ejercicio se sigue.
4.2 Homologa singular 33
4.2. Homologa singular
Al par (S
(X),
) se le domina complejo de cadenas singular de X. De-

nimos ademas
Z
q
(X) = n uc
q
, B
q
(X) = Im
q+1
,
as que
q1

q
= 0 implica que B
q
(X) Z
q
(X). As, el q-esimo grupo de
homologa (singular) como
H
q
(X; R) :=
Z
q
(X)
B
q
(X)
.
Proposicion 4.9. Se satisface
H
q
(; R) =
_
R, q = 0,
0, q ,= 0.
Demostracion. Tenemos que
q
:= :
q
es, necesariamente, cons-
tante para cada q. Por lo tanto
q
(
q
) =
q
i=0
(1)
i
(i)
q
=
_
q
i=0
(1)
i
_
q1
,
de donde
q
(
q
) =
_
q1
, q mod 2 = 0, q > 0,
0 q mod 2 = 1.
En consecuencia,
Z
q
= B
q
=
_
0, q mod 2 = 0, q > 0,
S
q
(), q mod 2 = 1,
lo que implica que H
q
(; R) = 0 para q > 0. Si q = 0, tenemos
0
(
0
) = 0 por
lo que n uc
0
= S
0
(). Tambien
1
(
1
) =
(0)
1

(1)
1
= 0,
o, lo que es lo mismo, B
0
= 0. Luego H
0
(; R) =
S0()
0
= S
0
(). Dado que
S
0
() tiene un solo generador, entonces H
0
(; R) = R.
Proposicion 4.10. Sea X un espacio conectable por trayectorias. Entonces
H
0
(X; R)

= R.
Demostracion. Tenemos la cadena
S
1
(X)
1
S
0
(X)
0
0.
Como n uc
0
= S
0
(X),
n uc
0
Im
1
=
S
0
(X)
Im
1
= H
0
(X; R),
vamos a denir un homomorsmo : S
0
(X) R llamado aumentacion para
calcular Im
1
.
Dado que un 0-simplejo singular es una funcion continua :
0
X,
identicamos a con (0) X. As, las 0-cadenas son

xX
r
x
x y tiene
sentido denir
x
r
x
x
_
=
xX
r
x
R.
Tenemos que es suprayectivo. En efecto, si r R, resulta que rx S
0
(X)
para todo x X, y (rx) = r. Si probamos que n uc = Im
1
, tendremos que
S
0
(X)
n uc
=
S
0
(X)
Im
1
= R.
Primeramente, Im
1
n uc . Tomemos c =
S
1
(X). Luego
1
(c) =
1
_
_
=
((e
1
) (e
0
))
=
(1)
(0),
y al aplicar ,
(
1
(c)) =
_
(1)
(0)
_
=
= 0.
Por otro lado, n uc Im
1
. Sea c =
xX
r
x
x tal que (c) =
xX
r
x
=
0. Sea x
0
X arbitrario. Como X es conectable por trayectorias, para
cada x X a la trayectoria entre x
0
y x la designamos como
x
. Sea
d =
xX
r
x
x
S
1
(X), resulta que
1
(d) =
1
(
xX
r
x
x
) =
xX
r
x
(
x
(1)
x
(0))
=
xX
r
x
x
(1)
xX
r
x
x
0
=
xX
r
x
x x
0
xX
r
x
=
xX
r
x
.
De aqu que n uc = Im
1
.
Denicion 4.11. Sea f : X Y continua. Denimos el homomorsmo f
#
:
S
q
(X) S
q
(Y ) como f
#
() = f (
q

X
f
Y ) y extendida linealmente.
Para ver que f
#
induce un homomorsmo en homologa, vamos a consi-
derar el diagrama
S
q
(A)
f
#
S
q
(X)
f
#
S
q1
(A)
q
S
q1
(X)
Puesto que
f
#
(
q
()) = f
#
_
q
i=0
(1)
i
(i)
_
=
q
i=0
(1)
i
f
(i)
=
q
i=0
(1)
i
f
#
(
(i)
)
=
q
(f
#
()),
entonces el diagrama conmuta. Un f
#
de esta naturaleza se denomina mor-
smo de cadenas.
Denicion 4.12. Un complejo de cadenas es una coleccion de R-modulos
C
q
qZ
y homomorsmos
q
: C
q
C
q1
tales que
q1

q
= 0 y un
morsmo de cadenas f entre (C
q
qZ
,
q
qZ
) y (C
t
q
qZ
,
t
q
qZ
) es una
familia de homomorsmos f
q
: C
q
C
t
q
de R-modulos tales que el diagrama
C
q
(A)
fq
C
q1
(X)
fq1
C
t
q
(A)

C
t
q1
(X)
conmuta para cada q.
Ejercicio 4.13. Sea f : (C
) (C
t
,
t
) un morsmo de cadenas. Demos-

trar que f induce un homomorsmo f
#
: H
q
(C
) H
q
(C
t
), donde
H
q
(C
) =
n uc
q
Im
q+1
.
Solucion 4.14. Parece obvio denir
f
#
: H
q
(C
) H
q
(C
t
),
c f
q
(c);
veamos que esto esta bien denido. Sean z
1
, z
2
H
q
(C
), con z
1
, z
2
n uc
q
,
tales que z
1
= z
2
. Existe b Im
q+1
tal que z
1
= z
2
+b y
f
q
(z
2
+b) = f
q
(z
1
) +f
q
(b).
Ahora bien,
t
q
(f
q
(z
i
)) = f
q1
(
q
(z
i
)) = f
q1
(0) = 0, i = 1, 2,
mientras que existe b
t
C
q+1
(X) tal que
q+1
(b
t
) = b, y
f
q
(b) = f
q
(
q+1
(b
t
)) =
t
q+1
(f
q+1
(b
t
)),
de lo cual deducimos que
f
q
(z
2
), f
q
(z
1
) n uc
t
q
, f
q
(b) Im
t
q+1
,
y con ello que
f
q
(z
1
) = f
q
(z
2
) +f
q
(b),
que signica que f
q
(z
1
) = f
q
(z
2
). Finalmente para todo r R,
f
q
(z
1
+rz
2
) = f
q
(z
1
) +rf
q
(z
2
) = f
q
(z
1
) +rf
q
(z
2
)
pues las operaciones de un anillo pasan al cociente. Esto comprueba que f
#
es un homomorsmo entre los anillos H
q
(C
) y H
q
(C
t
).
Corolario 4.15. Dado f : X Y continua, tenemos un homomorsmo f
:
H
q
(X; R) H
q
(Y ; R) para todo q dado por f
[c] = [f
#
(c)].
Ejercicio 4.16. Demostrar que la asociacion X S
(X) es un funtor de la
categora de espacios topol ogicos a la categora de complejos de cadenas.
Solucion 4.17. Sean X
f
Y
h
Z una funcion continua entre los espacios
topologicos X, Y y Z. Para cualquier q, sea :
q
X S
q
(X). As,
(hf)
#
() = (hf) = h(f ) = h(f
#
()) = h
#
(f
#
()) = (h
#
f
#
)(),
esto es S
q
(X)
f
#
S
q
(Y )
h
#
S
q
(Z). Si X
id
X, entonces
id
#
() = id = ,
lo que implica que id
#
= id
Sq(X)
.
Ejercicio 4.18. Si : ( T es un funtor y f : C C
t
es un isomorsmo,
entonces (f) : (C) (C
t
) es un isomorsmo.
Solucion 4.19. Existe f
t
tal que f
t
f = 1
C
y f f
t
= 1
C
. Luego
(f
t
f) = (f
t
) (f) = (1
C
) = 1
(C)
y
(f f
t
) = (f) (f
t
) = (1
C
) = 1
(C
)
.
En consecuencia, (f) es un isomorsmo.
Ejercicio 4.20. La homologa es un funtor de Comp
R
R-Mod.
Solucion 4.21. En efecto, sean f y g morsmos entre las cadenas (C
),
(C
t
,
t
) y (C
tt
,
tt
). Entonces, para cada q,

(f g)
#
(c) = (f
q
g
q
)(c) = f
#
(g
q
(c)) = f
#
(g
#
(c)) = (f
#
g
#
)(c),
y como id
C
es un isomorsmo, (id
C
)
#
es un isomorsmo de H
(C
).
Corolario 4.22. La homologa singular es un invariante topologico.
Demostracion. Tenemos los funtores
Top
S
Comp
R
H
R-Mod,
que al componerlos envan a un espacio topologico X a H
q
(X; R) y a un ho-
meomorsmo (que es un isomorsmo en la categora Top) en un isomorsmo.
Denicion 4.23. Sean (C
)
A
una familia de complejos de cadenas
(o de R-modulos). La suma directa de los complejo de cadenas (
A
C
)
como
(
)
q
:=

)
q1
:=

q1
donde
q
se dene usando la propiedad universal de la suma directa
C
q1
i
q1
q1
pues la familia de homomorsmos i
q1

q
determina a
q
.
q1

q
= 0.
Solucion 4.25. Sea y q arbitrarios y c
q
. Entonces i
q
(c) = c
q1

q
(i
q
(c)) =
q1
i
q1

q
(c)
= i
q2

q1

q
(c)
= i
q2
0(c) = 0.
Puesto que esto es valido para cualquier y cualquier q, se sigue el ejer-
cicio.
H
q
_
H
q
(C
).
Solucion 4.27. Dado que
H
q
_
_
=
n uc
q
Im
q+1
=
n uc
Im
q+1
=
n uc
q
Im
q+1
=
H
q
(C
),
el resultado es inmediato.
Proposicion 4.28. Sea X un espacio topologico y denotemos por X
A
a
la familia de sus componentes por trayectorias. Entonces los homomorsmos
(i
A
denen un isomorsmo
A
(i
A
H
q
(X
; R)

=
H
q
(X; R)
para cada q.
Demostracion. Estudiemos primero S
(X) y a (i
: S
(X
) S
(X).
Usando la propiedad universal de la suma directa, tenemos el diagrama con-
mutativo
S
(X
)
(i)
#
v
v
v
v
v
v
v
v
v
v
(i)
(X
)
(i)
(X)
Probemos que
A
(i
es un morsmo de cadenas. Dado

S
q
(X
)
(i)q
S
q1
(X
)
(i)q1
S
q
(X)
q
S
q1
(X)
y la ecuacion
q
((i
)
q
) = (
q
(i
)
q
)
=
_
(i
)
q1

q
_
= (i
)
q1

q
,
tenemos que el diagrama conmuta para cada q, vericandose el aserto. Mas
a un
_
(X
),
=
_
(X),
_
,
pues el isomorsmo directo es
,
mientras que el inverso es
_
_
i()
r
i()
i()
_
_
,
pues, siendo que
q
es conexo y :
q
X es continua, debe caer solamente
en una componente conectable por trayectorias.
Aplicando homologa y el ejercicio anterior
H
q
(S
(X),
) = H
q
_
(X
),
H
q
(S
(X
),
),
de donde se sigue el resultado.
Proposicion 4.29. Para un espacio arbitrario X se tiene que H
0
(X; R) es
la suma directa de una copia de R por cada componente por trayectorias de
X.
Demostracion. Sea X
A
la familia de componentes por trayectarias de
X. Por la proposicion anterior
H
0
(X; R)

=
H
0
(X
; R)
y por la Proposicion 4.10, H
0
(X
; R)

= R para cada , de donde
H
0
(X; R)

=
R
Sea A X. Tenemos el morsmo de cadenas
S
q
(A)
A
q
i
#
S
q
(X)
X
q
S
q1
(A)
i
#
S
q1
(X)
que conmuta por ser i
#
un morsmo de cadenas. Consideremos a los grupos
S
(X)/S
(A) y el diagrama
S
q
(A)
A
q
i
#
S
q
(X)
X
q
S
q
(X)/S
q
(A)
q
S
q1
(A)
i
#
S
q1
(X)

S
q1
(X)/S
q1
(A)
que es conmutativo pues
q
: S
q
(X)/S
q
(A) S
q1
(X)/S
q1
(A),
C
q
(C),
esta bien denido. Ciertamente, pues si C = D, entonces CD S
q
(A), por lo
que
q
(CD) =
q
(C)
q
(D) S
q1
(A). Resulta as que (S
(X)/S
(A),
)
es un complejo de cadenas, que denotamos como (S
(X, A),
).
Denicion 4.30. Denimos la homologa de parejas H
q
(X, A; R) como
H
q
(X, A; R) := H
q
(S
(X, A),
).
Para ver que H
q
es un funtor, consideremos a la funcion continua f :
(X, A) (Y, B). El diagrama
S
q
(X)
f
#
S
q
(Y )
S
q
(A)
i
#
(f]
A
)
#
S
q
(B)
j
#
es conmutativo, pues S
q
es un funtor. Se induce el diagrama
S
q
(X)/S
q
(A)
f
#
S
q
(Y )/S
q
(B)
S
q
(X)
f
#
S
q
(Y )
S
q
(A)
i
#
(f]
A
)
#
S
q
(B)
j
#

arrojando un homomorsmo f
#
que hace conmutar al diagrama
S
q
(X, A)
X
q
f
#
S
q
(Y, B)
Y
q
S
q1
(X, A)
f
#
S
q1
(Y, B)
En efecto
Y
q
f
#
(c) =
Y
q
f
#
(c) =
Y
q
f
#
(c)
y
f
#

X
q
= f
#

X
q
= f
#

X
q
,
pero
Y
q
f
#
(c) = f
#

X
q
por ser f
#
un morsmo de cadenas, y por esto f
#
es un morsmo de cadenas.
Dada la sucesion
S
q+1
(X)
q+1
S
q
(X)
q
S
q
(X)
Dados los modulos
Z
q
(X) = c S
q
(X) :
q
(c) = 0,
Z
q
(X, A) = c S
q
(X) :
q
(c) S
q1
(A),
B
q
(X) = c S
q
(X) : c =
q+1
(c
t
), c
t
S
q+1
(X),
B
q
(X, A) = c S
q
(X) : c =
q+1
(c
t
) c
tt
, c
t
S
q+1
(X), c
tt
S
q
(A),
que satisfacen Z
q
(X) Z
q
(X, A) y B
q
(X) B
q
(X), queremos ver que
B
q
(X, A) Z
q
(X, A). Sea c B
q
(X, A). Podemos escribir
c =
q+1
(c
t
) +c
tt
, c S
q+1
(X), c
tt
S
q
(A),
por lo que
q
(c) =
q

q+1
(c
t
) +
q
(c
tt
) =
q
(c
tt
) S
q1
(A),
como queramos.
Denicion 4.31. Denimos H
q
(X, A; R) := Z
q
(X, A)/B
q
(X, A).
Escolio 4.32. Tenemos que S
() = 0, de manera que si A = , entonces

H
q
(X, A; R) = H
q
(X; R).
Ejercicio 4.33. Demostrar que Z
q
(X, A)/B
q
(X, A)

= H
q
(S
(X, A)).
Solucion 4.34. Primeramente
q
(c) = 0
q
(c) S
q1
(A) c Z
q
(X, A)
y
c Im
q+1
c
t

S
q+1
(X)
S
q+1
(A)
,
q+1
(c
t
) = c
c
tt
= c
q+1
(c
t
) S
q
(A)
c B
q
(X, A).
Esto hace sonar razonable que el isomorsmo esta dado por [c] [c]. En
efecto,
[c] = [d] c d Im
q+1
c d B
q
(X, A) [c] = [d].
Demostraremos que H
q
vuelve a ser funtorial para parejas con la segunda
denicion. Sea f : (X, A) (X, B) continua, que induce el morsmo de
cadenas f
#
: S
q
(X) S
q
(Y ). Queremos ver que f
#
: Z
q
(X, A) Z
q
(Y, B)
es un morsmo. Sea c Z
q
(X, A); entonces f
#
(c) S
q
(Y ) y
q
f
#
(c) =
f
#

q
(c) S
q1
(B). Como f(A) B, entonces f
#
(c) Z
q
(Y, B).
Sea c B
q
(X, A) y consideremos
f
#
(c) = f
#
(
q+1
(c
t
) +c
tt
)
= f
#

X
q+1
(c
t
) +f
#
(c
tt
)
=
Y
q+1
f
#
(c
t
) +f
#
(c
tt
).
Ya que f
#
S
q+1
(Y ) y f
#
(c
tt
) S
q
(B), resulta que f
#
(C) B
q
(Y, B).
En consecuencia, se induce f
#
: Z
q
(X, A)/B
q
(X, A) Z
q
(Y, B)/B
q
(Y, B)
dado por f
#
[c] = [f
#
(c)].
Proposicion 4.35. Sea X un espacio conectable por trayectorias y A X
no nulo. Entonces H
0
(X, A; R) = 0.
Demostracion. Veremos que S
0
(X) B
0
(X, A). Como A ,= , sea x
0
A y
c =
x
r
x
x S
0
(X). Para x X, consideremos una trayectoria
x
:
1
X
tal que
x
(0) = x
0
y
x
(1) = x. Denimos la 1-cadena

x
r
x
x
S
1
(X). Su
frontera es
1
(
x
r
x
x
) =
x
r
x
(xx
0
) =
x
r
x
xx
0
x
r
x
. Transponiendo
terminos
x
r
x
x =
1
_
x
r
x
x
_
+
_
x
r
x
_
x
0
,
y (
x
r
x
) S
0
(A), por lo cual c B(X, A), implicando que H
0
(X, A; R) = 0.
Proposicion 4.36. Sea (X, A) una pareja de espacios. Sea X
la fa-
milia de componentes por trayectorias de X y A
= X
A. Entonces las
inclusiones i
: (X
, A
) (X, A) inducen un isomorsmo
H
q
(X
, A; R)

=
H
q
(X, A; R).
Demostracion. Dadas las inclusiones
A

_
A
_
X
el diagrama inducido
S
(A
)

_
(A)

_
(X
(i)
#
(X)
(X
)/S
(A
)
(i)
#
(X)/S
(A).
es conmutativo pues la parte superior conmuta (al ser S
un funtor) y por lo
tanto (i
)
#
pasa al cociente. Por la propiedad universial de la suma directa,
tenemos el homomorsmo
(X
, A
) :=
(X
)/S
(A
) S
(X)/S
(A) =: S
(X, A).
Sea un generador de S
q
(X, A). Como
q
es conectable por trayecto-
rias, (
q
) X
y ya que (
q
) , A
, es generador de S
q
(X
)/S
q
(A
).
Luego
(i
)
#
es suprayectiva. La inyectividad se sigue del hecho de que las
imagenes de dos generadores no pueden ser identicas. Luego
(i
)
#
es un iso-
morsmo. De aqu que H
q
(
(X
, A
)

= H
q
(S
(X, A)). Por un ejercicio,

H
q
(
(X
, A
)

=
H
q
(S
(X
, A
)), lo que completa la demostracion.

Escolio 4.37. El grupo S
(X)/S
(A) es un complejo de cadenas libre cuyos

generadores son los simplejos singulares :
q
X tales que (
q
) , A.
Proposicion 4.38. Sea X un espacio y A X un subespacio. Entonces
H
0
(X, A; R) es isomorfo a una suma directa de copias de R, una por cada
componente por trayectorias que no intersecta a A.
Demostracion. Sea X
la familia de componentes por trayectorias de X y

sea A
= AX
. Por la proposicion anterior, H

0
(X, A; R)

=
H
0
(X
, A
; R),
y si A
,= , por la Proposicion 4.35 H

0
(X
, A
; R) = 0. Luego
H
0
(X, A; R) =
A=
H
0
(X
, A
; R)
y ya sabemos que H
0
(X
, ; R) = H
0
(X
; R) = R.
Denimos el operador
q
: H
q
(X, A; R) H
q1
(A; R)
a traves de

q
[z] = [
q
z]. Esto esta bien denido ya que
[z
t
] = [z] z z
t
B
q
(X, A)
z z
t
=
q+1
(c
t
) +c
tt

q
(z)
q
(z
t
) =
q
(c
tt
) B
q1
(A),
que trae como consecuencia que

q
[z] = [
q
z] = [
q
z
t
] =

q
[z
t
].
Teorema 4.39. Sea (X, A) una pareja de espacios topologicos. Entonces te-
nemos la sucesion exacta
H
q
(A; R)
i
H
q
(X; R)
j
H
q
(X, A; R)

q
H
q1
(A; R)
Demostracion. Sea [z] H
q
(A; R). Se satisface
j
[z] = j
[i
#
z] = [j
#
i
#
z] H
q
(X, A; R)
y esto ultimo es nulo porque z S
q
(A).
Sea [z] H
q
(X; R) tal que j
[z] = 0 en H
q
(X, A; R), lo que implica que
z B
q
(X, A) y esto a su vez que z =
q+1
(c
t
) + i
#
(c
tt
). De aqu que z
i
#
(c
tt
) =
q+1
(c
t
), y as [z] = [i
#
(c
tt
)] = i
[c
tt
] H
q
(X; R).
Tambien

q
j
[z] = 0. En efecto
q
j
[z] =

q
[j
#
z] = [
q
j
#
z] = [j
#
q
z] = 0
ya que z n uc
q
.
Sea [z] H
q
(X, A; R) y supongamos que

q
[z] = 0. Entonces
q
[z] = [
q
(z)] = 0 H
q1
(A; R)
esto es, existe c S
q
(A) tal que
q
(c) =
q
(z) = 0. As c z Z
q
(X).
Finalmente, i
q
[z] = 0, dado que
i
[
q
(z)] = [i
#
q
(z)] = [
q
(z)] = [0],
pues
q
[
A
(z) =
q
(z) por pertenecer z a S
q1
(A).
Si i
(c + Im
q
(A)) = Im
q
(X), entonces i
#
c =
q
b, y
q
j
#
b = j
#
q
b = j
#
i
#
c = 0,
pues c S
q1
(A). As, j
#
b n uc
q
, pero
q
[j
#
b] = [
q
b] = [i
#
c] = [c],
lo que implica el teorema.
Teorema 4.40. Sean f y g funciones homotopas. Entonces
f
= g
: H
q
(X; R) H
q
(Y, R)
para toda q.
Corolario 4.41. La homologa singular es un invariante homotopico.
Demostracion. Lo anterior se puede reescribir considerando una nueva cate-
gora que denotamos por HTop cuyos objetos son los espacios topologicos y
cuyos morsmos son las clases de homotopa. En HTop los isomorsmos son
precisamente las equivalencias homotopicas. En efecto, si X
[f]
Y y Y
[g]
X,
tenemos que [g] [f] = [id
X
] si, y solo si, [g f] = [id
X
], y esto ultimo si, y
solo si, g f

= id
X
. Analogamente [f g] = [id
Y
]. En conclusion X

= Y . Por
lo ya visto H
q
( , R) : HTop R-Mod es un funtor que enva isomorsmos
en isomorsmos.
Ejercicio 4.42. Probar el corolario anterior directamente.
Sea
i
: X X I para i = 0, 1 dadas por
0
(x) = (x, i).
Entonces H
0
= f y H
1
= g. Aplicando homologa, (H
0
)
= f
y
(H
1
)
= g
, y mas a un H

0
= f
y H

1
= g
. Si probamos que
0
=
1
, tendremos que g
= f
.
Recordando las deniciones
0
y
1
, sabemos que
i
[z] = [
i#
(z)].
Queremos probar que [
0#
(z)] = [
1#
(z)] si [z] H
q
(X; R) y [
i#
(z)]
H
q
(X I; R) para i = 0, 1. Para tal efecto, requerimos una (q + 1)-cadena
con S
q+1
(X I) tal que
q+1
(c) =
0#
(z)
1#
(z). Para esto se necesitan
morsmos diagonales T
X
q
tales que
S
q+1
(X)
1#
0#
q+1
S
q
(X)
T
X
q
o
o
o
o
o
o
1#
0#
S
q1
(X)
T
X
q1
o
o
o
o
o
o
1#
0#
S
q+1
(X I)

q+1
S
q
(X I)

S
q1
(X I)
Estos morsmos deben satisfacer
0#

1#
=
t
q+1
T
X
q
T
X
q1
q
.
Denicion 4.43. Sean (C
) y (D
,
t
) complejos de cadenas (de R-modu-

los) y sean , : C
morsmos de cadenas. Decimos que es homotopo

a si existe una coleccion de homomorsmos T
q
: C
q
D
q+1
tales que
q

q
=
t
q+1
T
q
+T
q1

q
.
A a la coleccion de mormos T
q
se le denomina homotopa de cadenas.
Ejercicio 4.44. Vericar que la homotopa de cadenas es una relacion de
equivalencia entre los morsmos de cadenas entre C
y D
.
Solucion 4.45. La relacion es reexiva. En efecto,
0 =
q

q
=
t
q+1
0 + 0
q
,
esto es, el morsmo 0 es una homotopa de cadenas entre un morsmo de
cadenas y el mismo. Si es homotopo a y
q

q
=
t
q+1
T
q
+T
q1

q
,
deniendo T
t
q
= T
q
, entonces
q

q
=
t
q+1
T
t
q
+T
t
q1

q
,
por lo que es homotopo a , comprobandose as que la relacion es simetrica.
Finalmente, supongamos que es homotopo a y que es homotopo a .
Existen homotopas T y T
t
tales que
q

q
=
t
q+1
T
q
+T
q1

q
,
q

q
=
t
q+1
T
t
q
+T
t
q1

q
.
entonces, sumando las dos expresiones,
q

q
=
t
q+1
(T
q
+T
t
q
) + (T
q1
+T
t
q1
)
q
,
y T
q
+ T
t
q
: C
q
D
q
es un homomorsmo de cadenas, lo que signica que
es homotopo a . Por lo tanto, la relacion es transitiva.
Ya que y son morsmos de cadenas entonces tenemos los homomor-
smos inducidos
: H
q
(C
) H
q
(D
).
Si y evaluamos en la clase de un q-ciclo [z] H
q
(C
)
(
q

q
)[z] = [(
q

q
)(z)]
= [
t
q+1
T
q
(z) +T
q1
q
(z)]
= [
t
q+1
T
q
(z)] = 0,
lo que signica que
[z] =
[z], es decir
.
Para este caso construiremos una homotopa de cadenas entre
0#
y
1#
,
T
X
q
: S
q
(X) S
q+1
(XI). Queremos construir T
X
q
de manera natural, es
decir, que la construccion para dos espacios este relacionada de alguna forma
logica. Con mas precision, si f : X Y es una funcion continua queremos
que el diagrama
S
q
(X)
T
X
q
f
#
S
q+1
(X I)
(fid)
#
S
q
(Y )
T
Y
q
S
q+1
(Y I)
conmute. Para denir a T
X
q
basta denirla sobre los generadores S
q
(X),
:
q
X. Por lo tanto el diagrama
S
q
(
q
)
T
X
q
S
q+1
(
q
I)
(id)
#
S
q
(X)
T
Y
q
S
q+1
(X I)
debe conmutar. Tenemos
T
X
q
() = T
X
q
(
#
(id
q )) = ( id)
#
(T
q
q
(id
q )),
por lo que basta a denir T
q
:= T
q
q
(id
q ) S
q+1
(
q
I). Por denicion,
debe satisfacerse
1#
(id
q )
0#
(id
q ) =
q+1
T
q
q
(id
q ) +T
q
q1
q
(id
q )
y de aqu que
1

0
=
t
q+1
T
q
+T
q
q1
q
(id
q ).
Desarrollamos el segundo semando
T
q
q+1
q
(id
q ) = T
q
q1
_
q
i=0
(1)
i
(id
q )
(i)
_
= T
q
q1
_
q
i=0
(1)
i
F
i
q
_
=
q
i=0
(1)
i
T
q
q1
(F
i
q
).
Expandiendo los terminos de la sumatoria
T
q
q1
(F
i
q
) = T
q
q1
(F
i
q#
(id
q1))
= (F
i
q
id
I
)
#
T
q1
q1
(id
q1)
= (F
i
q
id
I
)
#
T
q1
,
por lo que
T
q
q+1
q
(id
q ) =
q
i=0
(1)
i
(F
i
q
id
I
)
#
T
q1
.
Juntando todo lo anterior
1

0
=
t
q+1
T
q
+
q
i=0
(1)
i
(F
i
q
id
I
)
#
.
Queda ver como construir T
q
necesitamos asociar a cada q-cadena una
(q + 1)-cadena cuya frontera sea
1

0

q
i=0
(1)
i
(F
i
q
id
I
)
#
T
q1
.
4.3. Cadenas anes
Recordemos que el baricentro de
q
es b
q
=
1
q+1
q
i=0
e
i
, y denimos el
baricentro de
q
I como p
q
= (b
q
, 1/2) y las funciones
d
t
q
:
q

q
I
a (a, t)
y

F
i
q
= F
i
q
id
I
, entonces
F
i
q

F
j
q1
=

F
j
q

F
i1
q1
, (4.1)
F
i
q
d
t
q1
= d
t
q
F
i
q
. (4.2)
Denicion 4.46. Sea :
q
R
n
un simplejo afn dado por = [v
0
, . . . , v
q
]
y sea v R
n
. Denimos un (q +1)-simplejo afn que denotaremos como v
como v = [v, v
0
, . . . , v
q
].
Lema 4.47. Las caras de v son
(v )
(i)
=
_
, i = 0,
v
(i1)
, i > 0.
Demostracion. Como
q
(v)
(i)
F
i
q+1
R
n
q+1
v
x
x
x
x
x
x
x
x
Es claro que = [v
0
, . . . , v
q
] = (v )
(0)
. Si i > 0,
v
(i)
=
_
_
(v )(e
j
) =
_
v, j = 0,
v
i1
, j > 0,
j < i,
(v )(e
j+1
) = v
j
, j i,
as que (v )F
i
q+1
= [v, v
0
, . . . , v
i2
, v
i
, v
i+1
, , v
q
] = v
(i1)
.
4.3 Cadenas anes 49
Lema 4.48. Sea z =
un q-ciclo afn, si denimos v z =
(v ),
entonces
q+1
(v z) = z.
Demostracion. Tenemos que
q+1
(v z) =
q+1
_
(v )
_
=
q+1
(v )
=
_
q+1
i=0
(1)
i
(v )
(i)
_
=
( v
q
())
=
v
q
() = z v
q
()
= z v
q
_
_
= z v
q
(z),
y como
q
(z) = 0, el lema se sigue.
Denicion 4.49. Para q = 0, sea T
0
S
q+1
(
q
I) denido como
T
0
= p
0
(
0
0

0
1
)
y en general
T
q
= p
q
(
q
1

q
1

q
i=0
(1)
i
(

F
i
q
)
#
(T
q1
))
Lema 4.50. Se satisface
1
(T
0
) =
0
1

0
0
,
q+1
(T
q
) =
q
1

q
0

q
i=0
(1)
q
(

F
i
q
)
#
T
q1
) =: z
q
n uc
q
.
Denicion 4.51. Sea X un espacio topologico. Denimos el homomorsmo
T
X
q
: S
q
(X) S
q+1
(X I) como
T
X
q
() = ( id
I
)(T
q
)
donde :
q
X y ( id)
q
: S
q+1
(
q
I) S
q+1
(X I).
Lema 4.52. Se satisface
1#

0#
=
q+1
T
X
q
+T
q1
q
.
Demostracion. Sea S
q
(X). Entonces
(
q+1
T
X
q
+T
X
q1

q
)() =
q+1
T
X
q
() +T
X
q1

q
()
=
q+1
(( id
I
)
#
(T
q
)) +T
X
q1
_
q
i=0
(1)
i
(i)
_
= ( id
I
)
#
q+1
T
q
+
q
i=0
(1)
i
T
X
q1
(i)
. (4.3)
Para evaluar T
X
q1
(
(i)
), recordemos que
(i)
= F
i
q
. Claramente
( F
i
q
) id
I
= ( id
I
)

F
i
q
y as
T
X
q1
(
(i)
) = T
X
q1
( F
i
q
)
= (( F
i
q
) id
I
)
#
T
q1
= ( id
X
)

F
i
q
(T
q1
).
Sustituyendo en (4.3), tenemos
(
q+1
T
X
q
+T
X
q1

q
)() = ( id
I
)
#
q+1
T
q
+
q
i=0
(1)
i
( id
X
)

F
i
q
(T
q1
)
= ( id
I
)
#
(
q
1

q
0
+
q
i=0
(1)
i

F
i
q#
(T
q1
))
=
1#
()
0#
().
Todo lo anterior nos lleva al teorema siguiente.
Teorema 4.53. Sean f y g funciones continuas homotopas. Entonces
f
= g
: H
q
(X; R) H
q
(Y ; R)
para toda q.
Corolario 4.54. La homologa singular es un invariante homotopico.
Corolario 4.55. Si X es un espacio contrable entonces
H
q
(X; R) =
_
R, q = 0,
0, q ,= 0.
Demostracion. Sabemos que X es contrable si, y solo si, X

= . Entonces
H
q
(X; R)

= H
q
(; R) = R.
4.3 Cadenas anes 51
Ejemplo 4.56. Vemos facilmente que
H
q
(R
n
; R) = H
q
(D
n
; R) = H
q
(CX; R) = H
q
(S
; R) = R.
para cualquier espacio topologico X.
De lo anterior obtuvimos dos construcciones. La primera es el homomor-
smo T tal que
S
q
(X)
T
X
q
f
#
S
q+1
(X I)
(fid
I
)
#
S
q
(Y )
T
Y
q
S
q+1
(Y I)
conmuta para cada f : X Y y el segundo el homomorsmo

(X,A)
q
que hace
conmutar el diagrama
H
q
(X, A; R)
(X,A)
q
f
#
H
q1
(A; R)
(f]
A
)
#
H
q
(Y, B; R)
(Y,A)
q
H
q1
(B; R)
.
Ejercicio 4.57. Vericar que los diagramas anteriores efectivamente, conmu-
tan.
Solucion 4.58. Para el caso del primero
(f id
I
)
#
T
X
q
() = (f id
I
)
#
( id
I
)
q
(T
q
)
= (f id
I
)
q
(T
q
)
= T
Y
q
(f ) = T
Y
q
f
#
()
mientras que para el segundo
(f[
A
)
#
(X,A)
q
[z] = (f[
A
)
#
[
q
z] = [f[
A

q
(z)]
= [
q
f(z)] =

(Y,B)
q
[f(z)]
=

(Y,B)
q
f
#
[z].
Denicion 4.59. Sean ( y ( categoras y y funtores de ( y T. Una
transformacion natural T entre y asocia a cada objeto c ( un morsmo
(c)
T
c
(c) tal que el diagrama
(c)
T
c
(f)
(c)
(f)
(c
t
)
T
c
(c
t
)
El concepto de naturalidad es el origen de la teora general de categoras
y aparece en el artculo General Theory of Natural Equivalences de S. Ei-
lenberg y S. MacLane, en 1945.
Denicion 4.60. Si para cada objeto c (, el morsmo T
c
: (c) (c) es
un isomorsmo decimos que T es una equivalencia natural.
Ejemplo 4.61. Hay una equivalencia natural entre la homologa simplicial de
X y cualquier homologa singular.
Ejemplo 4.62. Tambien T
q
es una transformacion natural, con ( = Top y
T = R-Mod. Tenemos que = S
q
: Top R-Mod, = S
q+1
: Top
R-Mod, donde : Top Top, con X

X I.
4.4. Escision
Teorema 4.63. Sea (X, A) una pareja de espacios topologicos y U A un
subespacio tal que U
A. Entonces la inclusion i : (X U, A U) (X, A)

induce un isomorsmo en todos los modulos de homologa
i
: H
q
(X U, A; R) H
q
(X, A; R).
La idea es considerar las cadenas
c
t
=
tt
1
+
2
+
3
+
4
H
1
(X U, A U; R)
y
c =
1
+
2
+
3
+
4
H
1
(X, A; R)
y demostrar que [c] = [c
t
] en H
1
(X, A; R) ya que cc
t
=
1
tt
1
y si denimos
d :
2
X, entonces c c
t
=
1

tt
1
=
2
d
t
1
B
1
(X, A).
Denicion 4.64. Sea X un espacio y | = U
,
una familia de subespa-
cios de X. Denimos el complejo de cadenas S
/
donde S
/
q
(X) es el modulo
libre generado por los q-simplejos singulares tales que para cada hay un
subespacio U
tal que (
q
) U
.
Claramente S
/
q
S
q
(X). El operador
q
se restringe a S
/
q
(X) ya que si
S
/
q
(X) entonces (
q
) U
. Como
q
() =

q
i=0
(1)
i
(i)
y
(i)
=
F
i
q
U
si (
q
) U
, luego
q
() S
/
q1
(X).
Teorema 4.65. Si X =
, entonces i : S
/
q
(X) S
q
(X) es una equi-
valencia homotopica de cadenas y por lo tanto H
q
(S
/
(X))

= H
q
(S
(X)) =
H(X; R).
Para demostrar este teorema, necesitamos un concepto nuevo.
4.4 Escision 53
Denicion 4.66. Sea : (C
) (C
t
,
t
) un morsmo de cadenas. Deci-

mos que es una equivalencia homotopica de cadenas si existe un morsmo
de cadenas : (C
t
,
t
) tal que id
C
y id
C
.
En particular,
: H
(C
)

=
H
(C
t
,
t
) ya que id
C
y
entonces
= ( )
= (id
C
)
= id
H(C)
,
= ( )
= (id
C
= id
H(C
)
.
Probaremos que i : S
/
(X) es una equivalencia homotopica de ca-

denas. Para esto hay que denir un inverso homotopico de cadenas
X
:
S
(X) S
/
(X) que sea natural. La naturalidad permitira denirlo para

espacios sencillos y as extenderlo a otros espacios mas complicados.
Antes, denimos un operador
sd
X
q
: S
q
(X) S
q
(X)
llamado operador subdivision, que sea natural. Esto signica que, si f : X
Y es una funcion continua entonces el diagrama
S
q
(X)
f
#
sd
X
q
S
q
(X)
f
#
S
q
(Y )
sd
Y
q
S
q
(Y )
conmuta. En particular, para denir sd
X
q
(), donde :
q
X es un gene-
rador de S
q
(X), se obtiene el diagrama
S
q
(
q
)
sd
X
q
S
q
(
q
)
S
q
(X)
sd
Y
q
S
q
(X)
que indica que deben satisfacerse la relacion
sd
X
q
() = sd
X
q
(
#
(id
q )) =
#
sd
X
q
(id
q );
construiremos, pues, o
q
= sd
X
q
(id
q ).
Dado que sd
X
q
debe pasar a la homologa, necesitamos que sea un morsmo
de cadenas. Por consiguiente, el diagrama
S
q
(X)
sd
X
q
S
q1
(X)
sd
X
q1
S
q
(X)
q
S
q1
(X).
debe conmutar. En particular
S
q
(
q
)
sd
q
q
S
q1
(
q
)
sd
q
q1
S
q
(
q
)
q
S
q1
(
q
).
De aqu deducimos que
q
(o
q
) =
q
(sd
q
q
(id
q )
= sd
q
q1
(
q
(id
q )
= sd
q
q1
_
q
i=0
(1)
i
F
i
q
_
=
q
i=0
(1)
i
sd
q
q1
(F
i
q
),
y como sd
X
q
() =
#
(o
q
), entonces
sd
q
q1
(F
i
q
) = (F
i
q
)
#
(o
q1
)
lo que trae como consecuencia que
q
(o
q
) =
q
i=0
(1)
i
(F
i
q
)
#
(o
q1
).
En seguida, denimos inductivamente a o
q
. Primero, S
0
(
0
) o
0
= id
0.
Si o
1
S
1
(
1
) es una 1-cadena tal que
(o
1
) = (F
1
0
)
#
(S
0
) (F
1
1
)
#
(S
0
).
Como sabemos que
q+1
(r z) = z para un ciclo afn z R
n
y r R
n
.
Denimos
o
q
= b
q

_
q
i=0
(1)
i
(F
i
q
)
#
(o
q1
)
_
.
De lo anterior resulta tambien que
4.4 Escision 55
sd
q
q1
(
q
(id
q )) =
q
i=0
(1)
i
(F
i
q
)
#
(o
q1
),
por lo que podemos escribir a o
q
de otra forma:
o
q
= b
q
(sd
q
q1
(
q
(id
q )).
Denicion 4.67. Denimos el morsmo sd
X
q
: S
q
(X) S
q
(X) a traves de
sd
X
q
() =
#
(o
q
).
Lema 4.68. El morsmo sd
X
es una transformacion natural.
Demostracion. Sea f : X Y continua. El diagrama
S
q
(X)
sd
X
q
f
#
S
q
(X)
f
#
S
q
(Y )
sd
Y
q
S
q
(Y )
conmuta. En efecto,
f
#
sd
X
q
() = f
#
(
#
o
q
)
= (f )
#
o
q
= sd
q
(X)(f )
= sd
X
q
(f
#
()).
Lema 4.69. El morsmo sd
X
es un morsmo de cadenas.
Demostracion. Probaremos que el diagrama
S
q
(X)
sd
X
q
S
q
(X)
q
S
q1
(X)
sd
X
q1
S
q1
(X)
q1
.
.
.
.
.
.
S
0
(X)
0=0
sd
X
0
S
0
(X)
0=0
0

0
conmuta.
Denotemos por d
q
al q-esimo cuadrado del diagrama donde d
0
es el cua-
drado inferior. Es claro que este ultimo conmuta, pues
0
= 0. Supongamos
que d
q1
conmuta, y demostremos que d
q
es conmutativo. Ya sabemos que
q+1
(r c) = c r
q
(c). Sea S
q
(X). Luego
q
sd
X
q
() =
q
#
(o
q
)
=
q
#
(b
q
(sd
q
q1
(
q
(id
q )))
=
#
q
(b
q
(sd
q
q1
(
q
(id
q )))
=
#
(sd
q1
q1
(
q
(id
q ))
r
q

q1
(sd
q
q1
(
q
(id
q ))).
El ultimo sumando se transforma
r
q

q1
(sd
q
q1
(
q
(id
q ))) = r
q
sd
q
q1
(
q1
(
q
(id
q ))) = 0
pues d
q1
conmuta. As,
q
sd
X
q
() =
#
(sd
q1
q1
(
q
(id
q ))
=
#
(sd
q1
q1
((id
q )))
= sd
X
q1
q
(id
q )
= sd
X
q1
q
(),
lo que comprueba la armacion hecha.
Vamos a demostrar que sd
X
no cambia la clase de homologa, probando
que
sd
X

= id
S(X)
mediante una homotopa de cadenas
h
X
q
: S
q
(X) S
q+1
(X)
tal que
q+1
h
X
q
+h
X
q+1
q
= sd
X
q
id
S(X)
Pidiendo que h
q
sea una transformacion natural basta denir
h := h
q
q
(id
q ) S
q+1
(
q
).
As,
q+1
(h
q
) +
q
i=0
(1)
i
(F
i
q
)
#
(h
q1
) = o
q
id
q (4.4)
donde o
q
= sd
q
(id
q ). Denimos h
q
por induccion:
4.4 Escision 57
h
0
S
1
(
0
),
1
h0

0
,
es la funcion constante, y satisface lo requerido pues
1
(h
0
) = 0 y
o
0
id
0 = id
0 id
0 = 0.
Ahora, si h esta denido para 0 i q, despejando de (4.4),
q+1
(h
q
) = o
q
id
q
q
i=0
(1)
i
(F
i
q
)
#
(h
q1
),
y vemos que el lado derecho de la expresion anterior es un ciclo afn, por lo
que usando el Lema, podemos denir
h
q
= b
q

_
o
q
id
q
q
i=0
(1)
i
(F
i
q
)
#
(h
q1
)
_
donde b
q
es el baricentro de
q
. Dado S
q
(X), denimos
h
X
q
() =
#
(h
q
) S
q+1
(X).
Ejercicio 4.70. Vericar que h
X
as denida es una homotopa de cadenas
entre sd
X
e id.
Sea X un espacio metrico y A X. Si X es compacto y | es una cubierta
de X, entonces existe > 0 tal que
A X, diam(A) < (U |)A U.
A un n umero con esta propiedad se le llama n umero de Lebesgue. Se puede
probar lo siguiente.
Proposicion 4.71. Sea :
q
R
q
un simplejo singular afn. Entonces
sd
R
q
q
() contiene solamente simplejos de diametro no mayor que
_
q
q + 1
_
diam(
q
).
En particular,
_
sd
q
q
_
r
contiene solamente simplejos de diametro no ma-
yor que
_
q
q + 1
_
r
diam(
q
).
Lema 4.72. Sea | = U
A
una familia de subconjuntos de X tales que
= X. Para cualquier q-simplejo singular :

q
X, existe r 0
tal que
_
sd
q
q
_
r
S
/
q
(X).
Demostracion. Como

A
= X, entonces
q
=

A
1
(
). Sea
un n umero de Lebesgue de la cubierta. Sea r 0 tal que
_
q
q + 1
_
r
diam(
q
) < .
Por la proposicion anterior,
_
sd
q
q
_
r
contiene solamente simplejos de
diametro menor o igual a
_
q
q+1
_
r
diam(
q
), luego todos los simplejos de
_
sd
q
q
_
r
satisfacen diam < . Puesto que
_
sd
q
q
()
_
r
=
#
_
sd
q
q
(id
q ()
_
r
,
entonces todos los simplejos de
_
sd
q
q
()
_
r
son de la forma donde
:
q

q
_
sd
q
q
(id
q ()
_
r
.
Ademas para cada existe una tal que (
q
)
1
(
). Por lo tanto
(
q
)
,
luego
_
sd
q
q
_
r
S
/
q
(X).
Al menor de los enteros que satisfacen las conclusiones del lema anterior
lo denotaremos como r(). Tenemos que r() = 0 si, y solo si, S
/
q
(X) y
r(
(i)
) r().
A continuacion, intentemos construir el morsmo de cadenas
q
: S
q
(X) S
/
q
(X)
que es el inverso de la inclusion S
/
q
(X)
i
S
q
(X). Tentativamente haramos
q
() =
_
sd
X
q
()
_
r()
S
/
q
(X),
sin embargo, esto no es un morsmo de cadenas.
Vamos a denir primero una homotopa de cadenas Q entre i e id
S(X)
.
Para esto recordemos que tenemos una homotopa de cadenas
h
X
q
: S
q
(X) S
q+1
(X)
que satisface
q+1
h
X
q
+h
X
q1

q
= sd
X
q
id
S(X)
. (4.5)
Denimos Q
q
: S
q
(X) S
q+1
(X) como
4.4 Escision 59
Q
q
() =
0jr()1
h
X
q
(sd
X
q
())
i
.
Ya que r() = 0 si, y solo si, S
/
q
(X), entonces Q
q
() = 0 si, y solo
si, S
/
q
(X). Comprobemos que, efectivamente, Q es una homotopa de
cadenas.
Q
q1
(
q
()) = Q
q1
_
q
i=0
(1)
i
(i)
_
=
q
i=0
(1)
i
Q
q1
(
(i)
).
Tenemos que
Q
q1
(
(i)
) =
0jr(
(i)
)1
h
X
q1
(sd
X
q
)
j
(
(i)
)
y as,
Q
q1
(
q
()) =
q
i=0
(1)
i
0jr(
(i)
)1
h
X
q1
((sd
X
q
)
i
()).
Por otro lado
q+1
Q
q
() =
q+1
_
_

0jr()1
h
X
q
((sd
X
q
)
j
()
_
_
,
y cada sumando de esta expresion es (despejando de (4.5))
q+1
h
X
q
((sd
X
q
)
i
()) = sd
X
q
((sd
X
q
)
i
()) (sd
X
q
)
i
() h
X
q1
(
q
(sd
X
q
)
i
())
= (sd
X
q
())
i+1
(sd
X
q
())
i
h
X
q1
_
_
(sd
X
q
)
i
_
_
q
j=0
(1)
j
(j)
_
_
_
_
.
Sustituyendo y mutatis mutandis,
q+1
Q
q
() = (sd
X
q
())
r()

0ir()1
q
j=0
(1)
j
h
X
q1
((sd
X
q1
)
i
(
(j)
)).
En suma,
q+1
Q
q
() +Q
q1
q
() = (sd
X
q
)
r()
()
+
q
i=0
(1)
i
r(
(i)
)jr()1
h
X
q1
((sd
X
q1
)
i
(
(j)
)).
Demostracion (del Teorema 4.63). Hagamos
q
() = +
q+1
Q
q
() +Q
q+1
q
().
De la denicion de r(), es claro que el primer sumando esta en S
/
q
(X).
Como j r(
(i)
), entonces sd
X
q1
(
(i)
) S
/
q
(X). Solo resta ver que al
aplicar h
X
q1
nos quedamos en S
/
q
(X). Sea c =

S
/
q
(X). Para
cada existe u
tal que (
q
) U
. Consideremos a h
X
q
() =
#
(h
q
),
donde h
q
S
q+1
(
q
). Cada complejo de la cadena
#
(h
q
) es de la forma
q+1

q

X donde es un complejo de la cadena h
q
. Ya que U
para alg un , tambien tenemos que (

q+1
) U
. Por lo tanto, los sim-

plejos de h
X
q
() :=
#
(h
q
) estan en S
/
q
(X).
Tenemos que es un morsmo de cadenas. En efecto
q
() = ( +
q+1
Q
q
() +Q
q1
q
())
=
q
() +
q
Q
q1
q
(),
mientras que
q1
q
() =
q
() +
q
Q
q1
q
(),
por lo que el diagrama
S
q
(X)
q
S
/
q
(X)
q
S
q1
(X)
q1
S
/
q1
(X)
conmuta. Por construccion, es claro que
q+1
Q
q
() +Q
q1
q
() =
q
() ,
por lo que i
q
id
S(X)
. Por otra parte, tenemos que
S
/
q
(X)
i
S
q
(X)
q
S
/
q
(X)
de donde i() = S
q
(X) y
i() = +
q+1
Q
q
() +Q
q1
q
().
Como S
/
q
(X), entonces Q
q
() = 0, lo mismo que Q
q1
q
() = 0. Por
lo tanto, i() = . De aqu que
q
i = id
S
U
(X).
Proposicion 4.73. Sea X un espacio topologico y C y D subespacios del
mismo. Las siguientes armaciones son equivalentes.
1. Si A es un subespacio de X y U A un subespacio tal que U
A,
entonces la inclusion i : (X U, A U) (X, A) induce un isomorsmo
en homologa.
4.4 Escision 61
2. Si X =

C
D, entonces j : (C, C D) (X, D) induce un isomorsmo

en homologa.
Demostracion. Sea A = D y U = X C. Como

C C, entonces X
C
X C = U, as que U = X X X
C pues X
C es cerrado. Pero
X
C = (
D)
C =

D
D =

A.
Ademas,
X U = X (X C) = C y A U = D (X C) = D C,
por lo cual el par (X U, A U) es el par (C, C D) y el par (X, A) es el par
(X, D).
Recprocamente, sea U
A, D = A y C = X U. Ahora U U
A
implica que X U X U X
A. COmo X U es abierto, X U =
(X U) X
A. Por lo tanto
D =
(X U)
(X U)
A (X
A)
A = X.
De aqu que X =

C
D. Finalmente CD = (XU) A = (XA) U =

A U, y as (C, C D) = (X U, A U) y (X, D) = (X, A).
Teorema 4.74. Sea C un R-modulo y A, B C submodulos y A + B =
a +b : a A, b B = A B). Entonces la inclusion i : A A + B induce
un isomorsmo i : A/(A B) (A+B)/B.
Teorema 4.75 (Escision). Sea (X, A, B) una triada tal que X =

A
B.
Entonces la inclusion j : (A, A B) (X, B) induce isomorsmos en todos
los modulos de homologa.
Demostracion. Sea | = A, B. Como X =

A
B, por un teorema anterior

la inclusion i
#
: S
/
(X) S
(X) es una equivalencia homotopica de cadenas.

En este caso, S
/
(X) = S
(A)+S
(B). Consideremos los complejos de cadenas

S
(A)/S
(A B) y S
(X)/S
(B). La inclusion
j
#
: S
(A) S
(X)
induce el homomorsmo j
#
: S
(A)/S
(AB) S
(X)/S
(B). Tnemos que

i : S
(A) +S
(B) S
(X) y su inverso homotopico de cadenas : S
(X)
S
(A) + S
(B) que satisface i = id. En particular, enva a S
(B) en
S
(B). Resultan los cocientes

i : (S
(A) +S
(B))/S
(B) S
(X)/S
(B)
y
: S
(X)/S
(B) (S
(A) +S
(B))/S
(B).
Claramente, S
(A B) = S
(A) S
(B) y tenemos el diagrama

S(A)
S(AB)
i
j
#
u
u
u
u
u
u
u
u
u
u
S(A)+S(B)
S(B)
i
S(X)
S(B)
donde la parte superior del diagrama es consecuencia del teorema de Noether.
Ejercicio 4.76. Demostrar que es una equivalencia homotopica de cadenas
con inverso i.
Denicion 4.77. Se dice que el espacio X Y es un retracto por deforma-
cion si existe un mapeo r : Y X tal que si j : X Y es la inclusion
entonces r j = id
X
y j r id
Y
.
Proposicion 4.78. Sea X un espacio topologico y V U A X tales que
Puede escindirse a V .
El par (X U, A U) es retracto por deformacion de (X V, A V ).
Entonces U puede escindirse.
Demostracion. Tenemos que existe j : (X U, A U) (X U, A V ) y
r : (X V, A V ) (X U, A U) tales que r j = id y j r id. Por el
teorema de invariancia homotopica, j induce un isomorsmo en homologa.
Dado : (X V, A V ) (X, A), por hipotesis induce un isomorsmo en
homologa. Tenemos
(X U, A U)
j
(X V, A V )
(X, A)
y, dado que tanto j como inducen isomorsmo, i tambien.
Lema 4.79. Sean S
n
+
y S
n
los hemisferios cerrados norte y sur de S

n
. La
inclusion i : (S
n
+
, S
n1
) (S
n
, S
n
) induce un isomorsmo en homologa.

Demostracion. Queremos escindir U = S
n
. Como U S
n
, buscamos a V
como en la proposicion anterior. Sea V = x S
n
: x
n+1
<
1
2
. Es claro
que V se puede escindir y ademas (S
n
+
, S
n1
) es retracto por deformacion de
(S
n
V, S
n
V ), pues podemos movernos por los crculos maximos. Aplicando

la proposicion, U se puede escindir.
4.4 Escision 63
Vamos a modicar un poco la denicion de homologa de suerte que tenga
mejores propiedades para los calculos. Al resultado lo denominaremos homo-
loga reducida y que denotaremos como

H
q
(X; R).
H
q
(X; R) := H
q
(X, x
0
; R)
donde x
0
X.
Consideremos ahora la sucesion de la pareja (X, x
0
)
H
q
(x
0
; R)
i
H
q
(X; R)
j
H
q
(X, x
0
; R)

q
H
q1
(x
0
; R) .
Si
x
0
id
p
p
p
p
p
p
p
p
X
c
x
0
entonces c
= id, esto es, la sucesion de la pareja se escinde en

0 H
q
(x
0
; R) H
q
(X; R) H
q
(X, x
0
; R) 0.
Por lo tanto
H
q
(X; R)

=

H
q
(X; R) H
q
(x
0
; R)
y as H
q
(X; R)

=

H
q
(X; R) para q > 0. Si X es contrable
0

H
0
(x
0
; R)

= R H
0
(X; R)

= R

H
0
(X; R) 0
luego

H
0
(X; R)

= 0.
Denicion 4.81. Dado el complejo de cadenas
S
q
(X) S
q1
(X) S
1
(X)
1
S
0
(X)

R.
donde (
x
r
x
x) =
x
r
x
, denimos
H
q
(X; R) = H
q
(X; R),

H
0
(X; R) =
n uc
Im
1
.
Proposicion 4.82. Sea (X, A) una pareja de espacios. Entonces tenemos una
sucesion exacta larga

H
q
(A; R)

H
q
(X; R) H
q
(X, A; R)
q

H
q1
(A; R) .
Ejercicio 4.83. Demostrar la Proposicion 4.82.
Denicion 4.84. Tenemos H
q
(X; R)
c
#
H
q
(; R). Denimos

H
q
(X; R) =
n uc c
.
Escolio 4.85. La denicion anterior se puede extender a otras teoras homologi-
cas. Para el bordismo
q
(x)
c
#

q
()
[M
q
, f] [M
q
] = 0,
y
q
(X) es el grupo de clases [M, f] donde M es frontera de alguna variedad.
Usando la sucesion de la pareja (X, x
0
) pero en bordismo
q
() =
q
0
q

q
(X)
q
(X) 0
y as
q
(X)

=
q
(X)
q
.
Ejercicio 4.86. Demostrar la equivalencia de las tres deniciones de homo-
loga reducida.
Lema 4.87. Se satisface H
q
(D
n
; S
n1
)

=

H
q1
(S
n1
; R).
Demostracion. Basta aplicar la sucesion de homologa reducida a la pareja
(D
n
, S
n1
) pues as
H
q
(S
n1
; R)

H
q
(D
n
; R) H
q
(D
n
, S
n1
; R)
q

H
q1
(S
n1
; R),
como D
n
es contrable,

H
q
(D
n
; R)

=

H
q
(; R)

= 0 para q 0. Esto implicara
que

H
q1

= H
q
(D
n
, S
n1
; R).
Escolio 4.88. Si X = H
m
i=1
X
i
, entonces
H
0
(X; R)

=
m1
R.
En efecto, tenemos la sucesion exacta
0 H
0
(; R) = R H
0
(X; R) =
m
R

H
0
(X; R)
m1
R 0.
H
q
(S
n
; R) =
_
R, q = n,
0, q ,= 0.
Demostracion. La proyeccion en las n primeras coordenadas induce un ho-
meomorsmo
: (S
n
+
, S
n1
) (D
n
, S
n1
).
Tomando la sucesion de homologa reducida de la pareja
4.4 Escision 65
0 =

H
q
(S
n
; R)

H
q
(S
n
; R) H
q
(S
n
, S
n
)

q
H
q1
(S
n
; R) = 0
por lo que

H
q
(S
n
; R)

= H
q
(S
n
, S
n
). Tenemos ahora la sucesion

H
q
(S
n
, S
n
; R)
()
H
q
(S
n
+
, S
n1
; R)

H
q
(D
n
, S
n1
; R)
()
H
q
(S
n
; R)
H
q
(S
n1
; R)
donde () es por escision y () es consecuencia del lema anterior. Por el
escolio anterior,

H
0
(S
0
; R)

= R, y
H
q
(S
0
; R)

= H
q
(S
0
; R)
= H
q
(; R) H
q
(; R)
= 0 0 = 0
cuando q > 0. El resultado es consecuencia de una evidente induccion.
Escolio 4.90. Este es un caso particular del llamado isomorsmo de suspen-
sion, y en tal caso
H
q
(X; R)

=

H
q+1
(SX; R),
donde la suspension SX del espacio X es
SX =
X I
X 0, X 1
.
Proposicion 4.91. El espacio S
n1
no es retracto de D
n1
para n 1.
Demostracion. De ser esto cierto, tendramos el diagrama conmutativo
D
n
r
p
p
p
p
p
p
p
p
S
n1
i
x
x
x
x
x
x
x
x
id
S
n1
de donde
H
n1
(D
n
; R)
r
H
n1
(S
n1
; R)
i
n
n
n
n
n
n
n
n
n
n
n
n
id

H
n1
(S
n1
; R)
o, equivalentemente
0
r
d
d
d
d
d
d
d
d
R
i

id
R.
Por un lado, esto implica que r
= id
R
pero por otro que r
= 0,
lo cual es contradictorio.
Teorema 4.92 (Brouwer). Toda funcion continua f : D
n
D
n
tiene un
punto jo. Esto es, existe x
0
D
n
tal que f(x
0
) = x
0
.
Demostracion. Si n = 0, no hay nada que probar. Supongamos, para n > 0,
que existe una f continua que no tiene puntos jos. Sea x D
n
y f(x) D
n
.
Como x ,= f(x), consideremos al rayo que une a f(x) con x y su interseccion y
con S
n1
. Denotemos por r a la funcion que manda a cada x con y. Se puede
probar que r as denida es continua, y que por lo tanto es una retraccion de
D
n
a S
n1
, lo cual es imposible.
Ejercicio 4.93. Demostrar que la funcion r denida es continua.
Proposicion 4.94. Si n ,= m, entonces S
n
y S
m
no son del mismo tipo de
homotopa.
Demostracion. Sabemos que

H
n
(S
n
; R)

= R y

H
n
(S
m
; R) = 0. Si hubiera
una equivalencia homotopica entre S
n
y S
m
, inducira un isomorsmo f
H
n
(S
n
; R)

H
n
(S
m
; R), lo cual es imposible.
Ejercicio 4.95. La esfera S
n1
es un retracto por deformacion de R
n
0.
En particular, son del mismo grupo de homotopa.
Solucion 4.96. En efecto, haciendo H(x, t) = (1 t + t/[x[)x para todo
x R
n
0 y t [0, 1], entonces H(x, 0) = x y H(x, 1) S
n1
para todo
x R
n
0 y H(x, 1) = x si x S
n1
.
Proposicion 4.97. Si n ,= m, entonces R
n
no es homeomorfo a R
m
.
Demostracion. Sean S
m1
y S
n1
. Sea i
m
: S
m1
R
m
0 el mapeo de
inclusion y r
n
: R
n
0 S
n1
el mapeo que manda x R
n
en x/[x[.
Entonces tanto i
m
como r
n
son equivalencias homotopicas.
Supongamos que existe un homomorsmo h : R
m
R
n
, que sin perdida
de generalidad podemos suponer que satisface h(0) = 0. Entonces f = h[
R
m
sera tambien un homeomorsmo. Por lo tanto r
n
f i
m
: S
m1
S
n1
sera un equivalencia homotopica, lo cual es imposible a menos que n = m.
Proposicion 4.98. Sea f : S
n
S
n
la reexion dada por r(x
0
, . . . , x
n
) =
(x
0
, . . . , x
n
). Entonces r
:

H
n
(S
n
; R)

H
0
(S
n
; R) es la multiplicacion por
1.
4.4 Escision 67
Demostracion. Para un espacio X,

H
0
(X; R) =
n uc
Im1
, donde : S
0
(X) R
es el morsmo de aumentacion. Tenemos
H
0
(S
0
; R) = n uc = a +b : + = 0,
en virtud de que r(a) = b y r(b) = a,
r
(a +b) = b +a = b a = (b +a).
El resultado se sigue por induccion y la naturalidad de la transformacion
r
.
Proposicion 4.99. Cualquier rotacion de la esfera es homotopa a la identi-
dad.
Proposicion 4.100. Sea G X X una accion continua. Para x
0
X
denimos
x0
: G X a traves de g g x
0
. Entonces
x0
induce una
biyeccion continua
x0
: G/G
x0
orb(x
0
).
Demostracion. Sea p : G G/G
x0
la proyeccion natural. Si h, f G van a
los elementos p(h) = p(f) entonces h = fa para a G
x0
y
x0
(h) = h x
0
= (fa) x
0
= f (a x
0
) = f (x
0
) =
x0
(f).
Ejercicio 4.101. Ver que
x0
es inyectiva.
Escolio 4.102. Si G es compacto y X es de Hausdor,
x0
es un homeomos-
mo.
Teorema 4.103. Si X es Hausdor y Y es totalmente compacto y Hausdor
entonces es tambien biyeccion al restringir a funciones continuas.
Aplicando este resultado a Z = X = R
n
e Y = I, tenemos que es un ho-
meomorsmo entre Map(R
n
I, R
n
)

Map(I, Map(R
n
, R
n
)). En particular,
una trayectoria en SO(n) es equivalente a una homotopa entre rotaciones.
Como SO(n) es una variedad diferenciable, entonces es localmente conectable
por trayectorias y, por lo tanto, la conexidad es equivalente a la conexidad
por trayectorias.
Ejercicio 4.104. Demostrar que la accion de SO(n) sobre S
n1
es transitiva
y que SO(n)
x0
= SO(n 1).
Proposicion 4.105. El grupo SO(n) es conexo.
Demostracion. Como SO(1) = e es conexo. Supongamos que SO(n) es
conexo y consideremos
SO(n 1)

i
SO(n)
p
SO(n)/SO(n 1)

= S
n1
.
En general, sean G un grupo topologico y H H conexo, de modo tal
que H/G tambien es conexo. Entonces G es conexo. En efecto, para g
0
G
los mapeos g g
0
g y g gg
0
son homeomorsmos. Como H es conexo, gH
es conexo para cada g G. Supongamos que G = A B con A y B abiertos
disjuntos. Luego A y B son abiertos y cerrados. Cada clase lateral intersecta
a A o B, y por ser H conexo, debe estar contenida en solo una de ellas. As,
A es una union de clases laterales, lo mismo que B. Por lo tanto, al tomar la
proyeccion p : G G/H tenemos que p(A) p(B) = . Si probamos que p es
abierta, tendremos una disconexion de G/H, lo cual sera contradictorio.
Tal es el caso. Sea HX X una accion continua de un grupo topologico
sobre un espacio topologico X. Sea A X un conjunto abierto. Veamos que
p
1
(p(A)) es abierto; como p
1
(p(A)) =

hH
hA y cada hA es abierto, el
aserto se sigue.
Proposicion 4.106. Sea f : S
n
S
n
la restriccion de una transformacion
ortogonal de R
n+1
en R
n+1
. Entonces f
:

H
n
(S
n
; R)

H
n
(S
n
; R) es la
multiplicacion por det(f).
Demostracion. Si det(f) = 1, f SO(n), por lo que f id y f
= id
, luego
f
es lo mismo que multiplicar por 1. Si det(f) = 1, entonces componemos

a f con la reexion r(x
1
, . . . , x
n+1
) = (x
1
, . . . , x
n+1
) y obtenemos dos rota-
ciones r f y f r. Luego r f id y f r id, r
= id y f
= id.
Como r
es equivalente a multiplicar por 1, resulta que (r

1
)
= r
, esto es
f
= r
.
Corolario 4.107. Sea a : S
n
S
n
la funcion antipoda. a(x) = x. Entonces
a
:

H
n
(S
n
; R)

H
n
(S
n
; R) es multiplicar por (1)
n+1
.
Teorema 4.108. La n-esfera S
n
tiene un campo vectorial tangente que no se
anula en ning un punto si, y solo si, n es impar.
Demostracion. Un campo vectorial v en S
n
es una funcion continua v : S
n
R
n+1
tal que x v(x). Si n = 2m+ 1, m 0, denimos v(x
0
, , v
2m+1
) =
(x
1
, x
0
, . . . , x
2m+1
, x
2m
). Se puede vericar que v as denida es un campo.
Para n = 2m supongamos que existe un campo vectorial v que no se anula en
ning un punto y sea w(x) = v(x)/|v(x)|. Sea F : S
n
I S
n
una homotopa
dada por
F(x, t) = xcos t +w(x) sent,
donde F(x, 0) = x, F(x, 1/2) = w(x) y F(x, 1) = x. De aqu tendramos que
a id y as a
es la multiplicacion por (1)

n+1
lo cual no puede ser a menos
que n sea impar.
Sea Y un espacio y f : S
n1
Y una funcion contina. Al pegar una bola
B
n
a Y mediante f obtenemos un espacio que denotamos como Z = D
n
f
Y ,
y tenemos
D
n
HY
p
Z = D
n
f
Y.
4.4 Escision 69
Ejercicio 4.109. Demostrar que p[
Y
es un encaje cerrado que permite ver
a Y como subespacio de Z y que p[
D
n
\S
n1 : D
n
S
n1
Z es un encaje
abierto cuya imagen es Z Y .
Solucion 4.110. Para cualquier y Y tenemos que p(y) = y, esto es, es la
identidad sobre Y , luego es un encaje cerrado. Ahora bien, U = D
n
S
n1
es
abierto y ning un elemento de este conjunto pertenece a Y en Z. Por lo tanto
p restringido a U tiene como imagen a ZY , e Y U = Imf Y es un cerrado
en Z, luego U es abierto en Z, por lo que p[
U
es un encaje abierto.
Denotamos a p[
D
n como F : D
n
Z.
Escolio 4.111. La funcion F resulta ser una extension de f en el sentido de
que el diagrama
S
n1
f

_
Y
_
p]
Y
D
n
F=p]
D
n
Z.
conmuta. En efecto, p(f(x)) = [f(x)] = [x] = p[
D
n(x).
Proposicion 4.112. Sea Y un espacio y f : S
n1
Y una funcion continua
y F : (D
n
, S
n1
) (Z, Y ) la funcion de parejas inducida. Entonces F induce
isomorsmo en todos los modulos de homologa.
Demostracion. Sea = x D
n
: [x[ > 1/2 y B = S
n1
. Tenemos
H
q
(D
n
, S
n1
; R)
F
i

H
q
(D
n
, ; R)
H
q
(D
n
S
n1
, B; R)
k
H
q
(Z, Y ; R)
j

H
q
(Z, Y F(); R) H
q
(Z Y, F(B); R).
l
Luego, escribiendo D por D

n
, S por S
n1
y omitiendo a R,
H
q
(S)

H
q
(D)
H
q
(D, S)
i
H
q1
(S)
H
q1
(D)
H
q
()

H
q
(D)

H
q
(D, )

H
q1
()

H
q1
(D)
pues S
n1
es un retracto por deformacion de . Por el lema de los cinco, i
es
un isomorsmo. Por escision, k
es un isomorsmo. Analogamente, se puede

ver que j
y l
son isomorsmos. Por el ejercicio anterior, D

n
S
n1
= Z Y ,
S
n1
se identica con F( S
n1
). Luego p
es un isomorsmo.
Teorema 4.113. Sea Z = D
n
f
Y el espacio de adjuncion. Entonces
H
q
(Z; R)

=
_
H
q
(Y ; R) q ,= n, n 1
H
q
(Y ; R)/Imf
q = n 1,
y se tiene la sucesion exacta
0

H
n
(Y ; R)

H
n
(Z; R) n uc f
0 (4.6)
donde f
:

H
n1
(S
n1
; R)

H
n1
(Y ; R).
Demostracion. Consideremos la sucesion exacta de la pareja (Z, Y )
H
q
(Y ; R)
i

H
q
(Z; R)
j

H
q
(Z, Y ; R)
q

H
q1
(Y ; R)
H
q
(D
n
, S
n1
; R)
F
H
q1
(S
n1
; R)
f
y demostremos que el cuadrado conmuta. Sea [z] H

q
(D
n
, S
n1
; R); por un
lado
q
F
[z] = [
q
F
#
(z)] = [F
#

q
(z)]
mientras que por otro F
q
[z] = [F
#
q
(z)], pero z es un ciclo relativo, por lo
cual
q
(z) S
q1
(S
n1
) y F[
S
n1 = f, por lo cual [F
#

q
(z)] = [f
#

q
(z)].
Como D
n
es contrable,

q
para el caso (D
n
, S
n1
) es un isomorsmo, lo
que transforma el diagrama en
H
q
(Y ; R)
i

H
q
(Z; R)

H
q1
(S
n1
; R)
f

H
q1
(Y ; R)

H
q1
(Z; R).
Si q ,= n, n 1, tanto H
q
(S
n1
; R) y H
q1
(S
n1
; R) son cero, por lo que
i
es un isomorsmo. Si q = n 1, entonces
R
f

H
n1
(Y ; R)
i

H
n1
(Z; R) 0
y as
H
n1
(Z; R) =

H
n1
(Y ; R)
n uc i
=

H
n1
(Y ; R)
Imf
por ser la sucesion exacta. Si q = n

H
n
(S
n1
; R)

H
n
(Y ; R)
i

H
n
(Z; R)

H
n1
(S
n1
; R)
f

H
n1
(Y ; R),
donde H
n
(S
n1
; R) = 0, y para hacer exacto lo anterior reemplazamos
H
n1
(S
n1
; R) por Im
= n uc f
y

H
n1
(Y ; R) por 0, quedando
0

H
n
(Y ; R)

H
n
(Z; R) n uc f
0.
4.4 Escision 71
Escolio 4.114. Resolver el caso de la sucesion (4.6) no es trivia. Si la sucesion
se escinde, el problema se resuelve facilmente, pues en tal caso

H
n
(Z; R) =
H
n
(Y ; R) n uc f
. Tal cosa ocurre cuando R es un campo o n uc f
es libre
sobre R.
De otro modo, diremos que dos cadenas 0 A E B 0 y 0 A
E
t
B 0 son equivalentes si existe un morsmo tal que el diagrama
0

A

e
e
e
e
e
e
e
e
E
t
B

0
E
}
}
}
}
}
}
}
}
conmuta (por el lema de los cinco, esto basta para que sea un isomorsmo).
Al conujnto de clases de equivalencia de cadenas resultante se le denota como
Ext(A, B).
Vamos a suponer que R es un anillo de ideales principales, y denimos
el grupo Ext
1
R
(A, B) (denominado el primer derivado del funtor Hom). Sea
0 M

N

P 0 una sucesion exacta de R-modulos y el funtor @Q.
Aplicando el funtor a la sucesion obtenemos
P@Q
@Q
N@Q
@Q
M@Q
donde @Q(f) = f .
Ejercicio 4.115. Demostrar que la sucesion anterior es exacta.
Ahora Ext
1
R
(A, B) queda denido como sigue. Sea una resolucion libre de
A
0 n uc

F

A 0
donde F es un R-modulo libre, es suprayectiva y es la inclusion de n uc .
Como R es un dominio de ideales principales es tambien un R-modulo libre.
Aplicando el funtor @B,
0 A@B
@B
F@B
@B
n uc @B,
denimos
Ext
1
R
(A, B) := con uc @B =
n uc @B
Im@B
.
Siempre existe una resolucion libre: basta tomar a F como el R-modulo
libre generado por los elementos de A.
Teorema 4.116. Existe una biyeccion entre Ext
1
R
(A, B) y Ext
R
(A, B).
Demostracion. Dado el diagrama
0
h
h
h
h
h
h
h
h

B
i
E
j

A

0
n uc
]
n uc
1
1
1

como denir a ? Dado que F es libre, a traves de una de sus bases v
i
i1
y considerando a los elementos (v
i
) A que deben satisfacer j(e
i
) = (v
i
),
denimos (v
i
) = e
i
. As, el triangulo de la derecha conmuta. En efecto,
j (v
i
) = j(e
i
) = (v
i
). Tomemos a v n uc F. Entonces 0 = (v) =
j (v), esto es (v) n uc j. Como la sucesion de arriba es exacta, existe un
unico elemento b B tal que b = i(b) = (v), luego envia n uc a . La
biyeccion deseada es
[0 B E A 0] [
]
Ejemplo 4.117. Sea A un modulo libre. Si lo vemos en terminos de extensiones,
que A sea libre implica que la extension se escinde y en consecuencai E

=
B A, lo que implica que Ext
K
(A, B) = 0. Si lo vemos con Ext
1
R
(A, B)
tomemos una resolucion libre 0 0

A
id
A 0. Esto implica que
con uc @B y con ello que Ext
1
R
(A, B) = 0.
Ejemplo 4.118. Para calcular Ext
Z
(Z
n
, Z), buscamos identicar las extensio-
nes de la forma
0 Z

Z

Z
n
0
con (a) = na, y al aplicar @Z,
0 Z
n
@Z
@Z
Z@Z

= Z
@Z
Z@Z

= Z
Sea a Z al que le asociamos el homomorsmo
a
: Z Z dado por
(1) = a. Siendo as, a se mapea en @Z(
)(1) =
q
((1)) =
a
(n) = na.
Luego @Z(
a
) =
na
. En consecuencia, con uc (@Z) =
Z
nZ

= Z
n
, de donde
Ext
Z
(Z
n
, Z)

= Z
n
.
5
Complejos CW
5.1. Primeras deniciones
Denicion 5.1. Un complejo CW X es un espacio topologico junto con la
familia de subespacios X
0
X
1
X
2
X tal que

i0
X
i
= 0 tal que
1. El subespacio X
0
es un espacio discreto.
2. Para cada n 0, existe un conjunto de ndices C
n
(que puede ser vaco)
y funciones continuas f
n
: S
n1
X
n1
, C
n
de manera que X
n
=
X
n1
I
f
n
H
Cn
D
n
.
3. Un subconjunto en C X es cerrado si, y solo si, CX
n
es cerrado para
cada n 0.
Denicion 5.2. Una equivalencia homotopica debil es una funcion f : X
Y tal que, para cada x X, el homomorsmo f
#
:
q
(X, x)
q
(Y, f(x)) es
un isomorsmo para cada q 0.
Se puede probar que si f es una equivalencia homotopica debil entonces
f
: H
q
(X; R) H
q
(Y ; R) es un isomorsmo para toda q y para cualquier
anillo.
Teorema 5.3. Dado cualquier espacio Y existe un complejo CW X y una
equivalencia homotopica debil f : X Y .
Demostracion (Bosquejo). Sea o
n
(Y ) = :
n
Y : es continua. Con-
sideremos al esapcio H
n0
o
0
(Y )
n
, donde o tiene la topologa discreta y
la relacion de equivalencia generada por
(, F
i
n
(t)) ((F
i
n
)
(), t)
induce un espacio topologico que es un complejo CW. Damos ahora una fun-
cion continua f de X en H
n0
o
0
(Y )
n
que cuando pasa al cociente sigue
siendo continua. Tal f es f(, t) = (t).
74 5 Complejos CW
Ejercicio 5.4. Vericar que existe

f continua tal que
H
n0
o
0
(Y )
n
f
Y
H
n0
(o
0
(Y )
n
)/ .
n
n
n
n
n
n
n
Teorema 5.5.
1. La funcion f es una equivalencia homotopica debil.
2. El espacio H
n0
o
n
(Y )
n
/ es un complejo CW.
3. Esta construccion es funtorial.
Sea : Y Z continua. Queremos ver que induce una funcion

:

Y
Z. En efecto esta denido mediante la funcion

H
n0
o
n
(Y )
n
H
n0
o
n
(Z)
n
(, t) ( , t).
Ejercicio 5.6. Ver que esta funcion pasa al cociente denida como

[, t] =
[ , t].
El siguiente diagrama conmuta
Y
f
Y

Z
f
Z
Z
En efecto, [, t]

Y , f
Z

[, t] = f
Z
[ , t] = (t), mientras que
f
Y
[, t] = (t).
Ejercicio 5.7. Que es

?
Escolio 5.8. Como muestra el ejercicio anterior el complejo CW asociado a
un espacio puede ser muy grande. Se puede construir un complejo CW mas
peque no (denotado como Y ) que se obtiene de

Y identicando ciertos puntos
de modo que = . Esta construccion se debe a J. Milnor.
Las variedades diferenciables y espacios triangulables son complejos CW.
Ejercicio 5.9. Sea Z un espacio de Hausdor y Y Z un subespacio ce-
rrado. Supongase que existe una funcion F : (D
n
, S
n1
) (Z, Y ) tal que
F[
D
n
\S
n1 : D
n
S
n1
Z Y es un homeomorsmo. Entonces
Z

= D
n
H
F]
S
n1
Y.
Solucion 5.10. Por un ejercicio anterior, sabemos que Z = D
n
H
F]
S
n1
Y es
un espacio tal que p[
D
n
\S
n1 = F[
D
n
\S
n1, pues p es un encaje abierto y F
es un homeomorsmo, por lo que su imagen es homeomorfa a Z Y .
5.2 Los espacios proyectivos reales y complejos 75
5.2. Los espacios proyectivos reales y complejos
Recordemos que RP
n
= (R
n+1
0)/ , donde v v para cada R
+
.
Ejercicio 5.11. Demostrar que el espacio S
n
/ , donde x x para cada
x S
n
es homeomorfo a RP
n
.
Proposicion 5.12. EL espacio RP
n
es un complejo CW con una celda de
dimension r para cada 0 r n.
Demostracion. Para n = 0, RP
0
= , que es un complejo CW. Supongamos
que RP
n1
satisface el teorema. El espacio RP
n1
es un subespacio de RP
n
.
Usando el ejercicio y la composicion
(D
n
, S
n1
)

=
(S
n
+
, S
n1
) (S
n
, S
n1
)
p
(RP
n
, RP
n1
).
Tenemos que F es de la forma
F(x
1
, . . . , x
n
) =
_
_
x
1
, x
2
, . . . ,
_
1
n
i=1
x
2
i
_
_
Si consideramos F[
D
n
\S
n1, su inversa esta dada por
F
1
: RP
n
RP
n1
D
n
S
n1
[x
1
, . . . , x
n+1
]
x
n+1
_
n
i=1
(x
i
x
n+1
)
2
(x
1
, . . . , x
n
)
Se sigue que RP
n
= D
n
F]
S
n1
RP
n1
. Como RP
n1
es un complejo CW,
tambien lo es RP
n
Ejercicio 5.13. Probar que F
1
es, efectivamente, la inversa de F[
D
n
\S
n1.
Recordemos tambien que CP
n
= (C
n+1
0)/ , donde v v para cada
C.
Ejercicio 5.14. Demostrar que CP
n
= S
2n+1
/ , donde v zr con [z[ = 1.
Proposicion 5.15. El espacio CP
n
es un complejo CW con una celda de
dimension 2r para cada 0 r n.
Demostracion. Claramente, CP
0
es un complejo CW. Sea F(D
2n
, S
2n1
)
(CP
n
, CP
n1
) dado por
F(x
1
, . . . , x
2n1
, x
2n
) =
_
_
x
1
+ix
2
, . . . , x
2n1
+ix
2n
,
_
1
2n
i=1
x
2
i
_
_
.
76 5 Complejos CW
Esta funcion enva S
2n1
a CP
n1
. Denimos ahora
F
1
: CP
n
CP
n1
D
2n
S
2n1
[z
1
, . . . , z
n+1
]
1
a
n+1
('z
1
z
n+1
, z
1
z
n+1
, . . . , 'z
n
z
n+1
, z
n
z
n+1
),
donde a
n+1
= [z
n+1
[
_
n+1
i=1
[z
i
[
2
.
Por un ejercicio anterior, CP
n
= D
2n
F]S
2n1 CP
n1
, luego CP
n
es un
complejo CW.
H
q
(CP
n
; R) =
_
0, q > 2n, q mod 2 = 1,
R, q 0, q mod 2 = 0.
Demostracion. Para n = 0, esto es cierto. Supongamos que es verdadero para
1, . . . , n 1. Siendo CP
n
un complejo CW, por un teorema anterior,
H
q
(CP
n
; R) = H
q
(CP
n1
; R)
si q ,= 2n, 2n 1. Si q = 2n 1,
H
2n1
(CP
n
; R)

=

H
2n1
(CP
n1
; R)/Imf

= H
2n1
(CP
n1
; R) = 0.
Finalmente
0

H
2n
(CP
n1
) = 0

H
2n
(CP
n
, R) H
2n1
(S
2n1
; R) 0
y de que aqu que

H
2n
(CP
n
; R) = R.
Calcular los grupos de homologa de los planos proyectivos reales es, en
general, no tan facil como el caso complejo. A modo de ilustracion, calculare-
mos H
(RP
2
; R). Para esto, vamos a usar otra descripcion de RP
2
= D
2
f
S
1
,
donde f : S
1
S
1
es f(z) = z
2
.
Ejercicio 5.17. Ver que RP
2
puede ser descrito de esta manera. Usar que
RP
1
= S
1
.
Para aplicar el teorema de calculo de homologa, necesitamos determinar
f
:

H
1
(S
1
; R)

H
1
(S
1
; R) y con ello un generador explcito de H
1
(S
1
; R).
Para tal efecto, consideremos la sucesion de la pareja
H
1
(I; R)

H
1
(I; R) = 0 H
1
(I, I; R)

1
H
0
(I; R) = 0.
Tenemos que [id] genera a H
1
(I, I; R), pues
(I, I)
q
(S
1
, )
(I/I, ),
=
e
s
s
s
s
s
s
s
s
s
s
con e(t) = e
2it
, en virtud de que I/I = I
cte
y un teorema anterior.
Vamos a expresar a [e] como la suma siguiente. Denimos
e
1
:
1
S
1
: t e
2it/2
, e
2
:
1
S
1
: t e
2i(t+1)/2
,
y [e] = [e
1
] + [e
2
], y as f
[e] = f
[e
1
+ e
2
] = [f(e
1
+ e
2
)] = [e + e] = 2[e].
Aplicando el teorema anterior,
H
q
(RP
2
; R)

=

H
q
(S
1
; R) =
_
R, q = 1,
0, q ,= 1,
luego
H
1
(RP
2
; R) = H
1
(S
1
; R)/Imf
= R/2R
y por ultimo
0 H
2
(S
1
; R) = 0 H
2
(RP
2
; R)

= n uc f
0.
Ejemplo 5.18. Si R = Z, H
1
(RP
2
; Z) = Z/2Z y H
2
(RP
2
; Z) = 0. Si R = Z
2
,
H
1
(RP
2
; Z
2
) = Z
2
/0 = Z
2

= Z/2Z y H
2
(RP
2
; Z
2
) = Z
2
/0 = Z
2
.
H
q
(RP
n
; R) =
_
_
0, q > n,
n uc f
, 1 < q n, q mod 2 = 0,
R/2R, 1 q n 1, q mod 2 = 1,
R q = 0, n.
Demostracion. Para n = 0, el aserto se cumple. Supongamoslo valido para
n 1. Como RP
n
= RP
n1
f
D
n
donde f : S
n1
RP
n1
esta dada por
f(x
1
, . . . , x
n
) = [x
1
, . . . , x
n
]. Tenemos f
: H
n1
(S
n1
; R) H
n1
(RP
n1
; R)
que resulta ser
f
(s) =
_
0 n 1 mod 0,
2s n 1 mod 1.
En el ultimo caso, H
n1
(RP
n1
; R)

= R. Aplicando el teorema
H
q
(RP
n
; R)

=

H
q
(RP
n1
; R), q = n, n 1,
ademas
78 5 Complejos CW
H
n1
(RP
n
; R)

=

H
n1
(RP
n1
; R)/Imf
=
_
n uc f
, n 1 mod 2 = 0,
R/2R, n 1 mod 2 = 1,
y nalmente
0

H
n
(RP
n1
; R) = 0

H
n
(RP
n
; R)

= n uc f
0,
de donde
H
n
(RP
n
; R) =
_
R, n mod 2 = 1,
n uc f
, n mod 2 = 0.
Teorema 5.20. Consideremos una sucesion exacta cortga de complejos de
cadenas
0 (
0.
Entonces existe una sucesion exacta larga en homologa
H
q
((
)

H
q
(T
)

H
q
(c
)
q
H
q1
(() .
Demostracion. Para cada q, la sucesion
0 (
q
T
q
c
q
0
es exacta. Como y son morsmos de cadenas, obtenemos el diagrama
conmutativo
(
k+1
C
k+1

k+1
T
k+1
D
k+1
k+1

c
k+1
E
k+1
(
k
C
k
T
k
D
k
k

c
k
E
k
(
k1
C
k1

k1
T
k1
D
k1
k1

c
k1
E
k1
(
k+2

k+2
T
k+2
k+2

c
k+2
.
Construimos primero el morsmo
q
. Sea [z] H
k
((), z c
k
tal que
L
k
(z) = 0. Como
k
es suprayectiva, existe
1
k
(z) T
k
. Por consecuencia
k1
(
1
k
(
1
k
(z))) =
L
k
(
k
(
1
k
(z))) =
L
k
(z) = 0,
lo cual quiere decir
1
k
(
1
k
(z)) n uc
k1
= Im
k1
. Luego existe
x =
1
k1
(
1
k
(
1
k
(z))) (
k1
.
Queremos ver que este elemento es un ciclo. Como
k1
es inyectiva basta
ver que
k2
(
L
k1
(x)) = 0. En efecto,
k2
(
L
k1
(
1
k1
(
1
k
(
1
k
(z))))) =
1
k1
(
k1
(
1
k1
(
1
k
(
1
k
(z)))))
=
1
k1
(
1
k
(
1
k
(z))) = 0.
Siendo as, denimos
k
(z) := [
1
k1
L
k1
1
k
z].
Solo demostraremos que n uc
= Im
y el resto quedara de ejercicio.

Sea d T
k
tal que
1
k
(d) = 0 y
[d] = 0. Por denicion,
[d] = [
k
(d)] = 0,
lo que implica que existe (
L
k1
)
1
k
(d). Como
k+1
es suprayectiva, existe
1
k+1
(z). Consideremos a d
1
k+1
(
1
k+1
(z)). Aplicando
k
k
(d)
k
1
k+1
1
k+1
(z) =
L
k+1
z
k
1
k+1
1
k+1
(z)
=
L
k+1
z
L
k+1
k+1
1
k+1
(z) = 0,
esto es, d
1
k+1
1
k+1
z n uc
k
= Im
k
. Existe entonces
1
k
(d
1
k+1
z).
Como
k1
es inyectivo
k1
L
k
(
1
k
(d
1
k+1
1
k+1
z) =
1
k

k
(
1
k
(d
1
k+1
1
k+1
z))
=
1
k
(d
1
k+1
1
k+1
z)
=
1
k
d = 0,
con lo que comprobamos que
1
k
(d
1
k+1
1
k+1
z) es un ciclo. Ademas,
[
1
k
(d
1
k+1
1
k+1
z)] = [
k
1
k
(d
1
k+1
1
k+1
z)]
= [d
1
k+1
1
k+1
z]
= [d] [
1
k+1
1
k+1
z] = [d].
Ejercicio 5.21. Completar la demostracion del Teorema 5.20.
Sea X un espacio topol ogico y subespacios
A
1
A X y B
1
B X,
y su analogo algebraico, donde G es un grupo y tenemos los subgrupos H
1

H G y K
1
K G.
Lema 5.22. Hay una sucesion exacta
0
H K
H
1
K
1
i
H
H
1
K
K
1
j
H +K
H
1
+K
1
0.
Demostracion. Denimos i[g]
H1K1
= ([g]
H1
[g]
K1
). y j([h]
H1
, [k]
K1
) = [h+
k]
H1+K1
. Es claro que i es inyectiva, que j es suprayectiva y que j i = 0.
Supongamos que j([h]
H1
, [k]
K1
) = [h +k]
H1+K1
= 0, entonces h +k = h
t
+k
t
implica que H h h
t
= k
t
k K, de donde h h
t
H K. As,
i[h h
t
]
H1K1
= ([h h
t
]
H1
, [h h
t
]
K1
) = ([h]
H1
, [k k
t
]
K1
) = ([h]
H1
, [k]
K1
).
80 5 Complejos CW
Aplicando esto al caso
S
(A
1
)
(A)
(X)
S
(B
1
)
(B)
,
u
u
u
u
u
u
u
u
u
tenemos la sucesion exacta
0
S
(A) S
(B)
S
(A
1
) S
(B
1
)

S
(A)
S
(A
1
)

S
(B)
S
(B
1
)

S
(A) +S
(B)
S
(A
1
) +S
(B
1
)
0.
Evidentemente, S
(A B) = S
(A) S
(B). Aplicando el Teorema

5.20, apareceran H
(A B, A
1
B
1
; R), H
(A, A
1
; R) H
(B, B
1
; R) y
H
(
S(A)+S(B)
S(A1)+S(B1)
). Para que esto ultimo coincida con H
(X; R), necesitamos

mas hipotesis.
Denicion 5.23. Sean C y D subespacios de X. Diremos que la pareja (C, B)
es escisiva si la inclusion S
(C) +S
(D) S
(C D) induce isomosmo en
homologa.
Supondremos que las parejas (A, B) y (A
1
, B
1
) son escisivas. Graucas a
esta hipotesis, sabemos cual es la homologa del numerador y el denomina-
dor. para saber cual es la homologa del cociente, consideremos las siguientes
sucesiones exactas
0

t
t
t
t
t
t
t
t
t
t
t
t
t
S
(A
1
) +S
(B
1
)

_
(A) +S
(B)

_
S(A)+S(B)
S(A1)+S(B1)
0
S
(A
1
B
1
)
(A B = X)

S(X)
S(A1B1)
v
v
v
v
v
v
v
v
v
v
v
donde los triangulos y cuadrados conmutan.
Ejercicio 5.24. Demostrar que las sucesiones exactas en homologa son fun-
toriales. Esto es, si el diagrama entre sucesiones exactas
0
b
b
b
b
b
b
b
b
0
(
t
T
t
c
t
conmuta, entonces el diagrama

H
q
((
)
f
H
q
(T
)
f
H
q
(c
)
f
H
q1
((
)
f

H
q
((
t
)

H
q
(T
t
)

H
q
(c
t
H
q1
((
t
)

conmuta.
Solucion 5.25. Los primeros dos cuadrados conmutan porque la homologa
es funtorial. Sea [z
tt
] H
q
(c
). Como p es suprayectiva, entonces [z

tt
] = [ps]
para alg un s T
. Pero
f
t
([z
tt
]) = f
t
([ps]) = f
t
[i
1
s]
= [f
t
i
1
s] = [j
1
fs]
= [j
1
t
fs]
=
t
[qfs]
=
t
[f
tt
ps] =
t
f
tt
[ps] =
t
f
[z
tt
].
por lo que el diagrama conmuta.
Aplicando el ejercicio, la escisividad de las parejas y el lema de los cinco,
tenemos que
H
_
S
(A) +S
(B)
S
(A
1
) +S
(B
1
)
_
= H
(X, A
1
B
1
; R).
Del Teorema 5.20, junto con lo anterior, se deduce el siguiente resultado.
Teorema 5.26 (Mayer-Vietoris). Si las parejas (A, B) y (A
1
, B
1
) son es-
cisivas, X = A B, Y = A
1
B
1
, C = A B y C
1
= A
1
B
1
, entonces se
tiene la sucesion exacta larga
H
q
(C, C
1
) H
q
(A, A
1
)H
q
(B, B
1
) H
q
(X, Y ) H
q1
(C, C
1
)
Corolario 5.27. Sea X un espacio, y consideremos a los subespacios C
D X. Entonces existe una sucesion exacta larga
H
q
(D, C; R) H
q
(X, C; R) H
q
(X, D; R) H
q1
(D, C; R) .
Demostracion. Consideremos las inclusiones C X X y D D X.
Resulta que (X, D) y (C, D) son escisivas, pues S
(X) = S
(X) + S
(D)
S
(X D) = S
(D) y analogamente S
(C) + S
(D) = S
(C D) = S
(D).
Como H
q
(X, X; R) = 0 para todo q pues S
(X, X) =
S(X)
S(X)
= 0, el resultado
se sigue.
Escolio 5.28. Si C = , obtenemos la sucesion de la pareja. Si ponemos C =
x
0
, obtenemos la sucesion de homologa reducida de (X, D).
Proposicion 5.29. Sean A y B subespacios de X tales que A B = X. La
pareja (A, B) es escisiva si, y solo si, (A, AB)
j
(X, B) induce isomorsmo
en homologa.
82 5 Complejos CW
Demostracion. Consideremos el diagrama
S(A)
S(AB)
v
v
v
v
v
v
v
v
v
v
j
#
S(X)
S(B)
S(A)+S(B)
S(B)
.
i
Por el teorema de Nothere, es un isomorsmo de complejos de cadenas.

Pasando a homologa,
es un ismormorsmo e i
= j
. Por lo tanto, i
es un isomorsmo si, y solo si, j
es un isomorsmo.
Tenemos ahora las sucesiones exactas largas
H
q
(B)
H
q
(S
(A) +S
(B))
i
#
H
q
_
S(A)+S(B)
S(B)
_
i
#
H
q1
(B)
H
q
(B)

H
q
(X)

H
q
(X, B)

H
q1
(B)
Si i
es un isomorsmo, i
tambien lo es y viceversa, por el lema de los

cinco.
Denicion 5.30. Sean (X, x
0
) y (Y, y
0
) espacios basados. El producto cua de
X e Y es X Y = (X H Y )/x
0
, y
0
. En general, si x
1
con x
,
denimos
_
= HX
/x
1
.
Si el n umero de espacios en el producto es nito, la denicion es equivalente
a
X Y = (x, y) X Y : x = x
0
o y = y
0
.
Proposicion 5.31. Consideremos la cu na de n crculos
_
n
S
1
. Entonces la
homologa reducida de
_
n
S
1
es isomorfa a la suma directa de las homologas
reducidas de cada crculo.
Demostracion. Para n = 1, el resultado es trivial. Supongamos que el resul-
tado es verdadero para n 1. Dado que
n
S
1
=
n1
S
1
S
1
,
y haciendo X =
_
n
S, A =
_
n1
S
1
y B = S
1
, queremos probar que (A, B)
es escisivo. Esto sera cierto si j : (A, A B) (X, B) induce isomorsmo en
homologa. Si queremos escindir U : B A, veamos que U ,
B. Si tomamos
a V como un semicirculo inferior, vemos que (X V, S
1
V ) es retracto por
deformacion de (X U, B U). Aplicando el teorema de Mayer Vietoris,
5.3 El teorema de Jordan-Brouwer 83
H
q
(, ) H
q
(
n1
S
1
, ) H
q
(S
1
, ) H
q
(
n
S
1
, ) H
q1
(, )
y, dado que H
(, ; R) = 0, se sigue que
H
q
(
n
S
1
; R)

=

H
q
(
n1
S
1
; R)

H(S
1
; R),
que es lo requerido.
5.3. El teorema de Jordan-Brouwer
Proposicion 5.32.
1. Sea A R
n
cerrado. Entonces

H
q
(R
n+1
A; R)

=

H
q1
(R
n
A; R). Mas
a un,

H
q+i
(R
n+i
A; R)

=

H
q
(R
n
A; R) para i > 0.
2. Sean A R
p
y B R
q
subespacios cerrados y homeomorfos. Dados los
conjuntos
A0

= A R
p
R
q
y 0 B

= B R
p
R,
entonces R
p
R
q
A0

= R
p
R
q
0 B.
Demostracion. Sea Z = R
n+1
A. Denimos
Z
+
= (x, 1) R
n
R : r > 0 o x R
n
A,
Z
= (x, 1) R
n
R : r < 0 o x R
n
A.
Dado que A es cerrado, se tiene que Z
+
y Z
son abiertos en Z y
Z = Z
+
Z
y Z
+
Z
= (R
n
A) R.
Sea H
1
= (x, 1) R
n
R
i
Z
+
y denamos : Z
+
H
1
a traves de
(x, r) = (x, 1). As, i = id y i = id
Z+
mediante la homotopa
H : R
n+1
I R
n+1
,
(x, r, t) (x, (1 +t)r +t),
que satisface H(x, r, 0) = (x, r) y H(x, r, 1) = (x, 1). Esto es, H
1
es retracto
por deformacion de Z
+
. En consecuencia, Z
+
es del mismo tipo de homotopa
de un punto, pues H

= R
n
. De manera completamente analoga se demuestra
que Z
tambien tiene el mismo tipo de homotopa que un punto.

Procedemos ahora a aplicar el teorema de Mayer-Vietoris para el caso
reducido,
H
q+1
(Z)

H
q
(Z
+
Z
H
q
(Z
+
)

H
q
(Z
+
)

H
q
(Z
H
q
(Z)

H
q1
(Z
+
Z
)
84 5 Complejos CW
pero
H
q
(Z
+
; R)

H
q
(Z
; R) = 0 0 = 0,

H
q
(Z
+
) = 0
de donde

H
q
(Z; R)

= H
q1
(Z
+
Z
; R). Asimismo, Z = R
n+1
A y Z
+
Z
=
(R
n
A) R

= R
n
A, por ser R contrable. En consecuencia
H
q
(R
n+1
A; R)

= H
q1
(R
n
A; R),
quedando probado el primer inciso.
Sean : A B un homeomorsmo y : B A su inverso. Como A
es cerrado de R
p
que es normal y es una funcion con valores en R
q
, por el
teorema de extension de Tietze, se extiende a : R
p
R
q
. Analogamente,
se extiende a : R
q
R
p
. Denimos las funciones L, R : R
p
R
q
R
p
R
q
como
L(x, y) = (x, y (x)) y R(x, y) = (x (y), y).
Tenemos que L es un homeomorsmo con inverso L(u, v) = (u, (u) +v)
y R es un homeomorsmo cuyo inverso es R(u, v) = (u +(v), v). Hagamos
= (x, y) R
p
R
q
: x A, y = (x),
= (x, y) R
p
R
q
: y B, x = (y).
En consecuencia L() = A0 ya que
L(x, y) = L(x, (x)) = (x, (x) (x)) = (x, 0)
en virtud de que es extension de . De la misma manera, R() = 0 B,
de donde se deduce que
R
p+q
(A0)
L
= R
p+q

R
= R
p+q
(0 B),
lo que demuestra el segundo inciso.
El siguiente resultado es importante en la teora de nudos.
Teorema 5.33. Sean A, B R
n
subconjuntos cerrados homeomorfos. Enton-
ces
H
q
(R
n
A; R)

= H
q
(R
n
B; R)
para todo q.
Demostracion. Por la proposicion anterior,
H
q
(R
n
A; R)

=

H
q+n
(R
2n
A; R)
=

H
q+n
(R
2n
B; R)
=

H
q
(R
n
B; R),
Si agregamos a cada lado del isomorsmo H
q
(; R), obtenemos
H
q
(R
n
A; R)

= H
q
(R
n
B; R).
Supongamos ahora que A = R
n
, y pensemos a A como subespacio de
R
n+1
. Por lo anterior
H
q
(R
n+1
A; R)

=

H
q
(R
n+1
B; R); (5.1)
en particular

H
0
(R
n+1
A; R)

=

H
0
(R
n+1
B; R). Pero A = R
n
, por lo
que R
n+1
A = R
n+1
R
n
que tiene dos componentes. Por (5.1), R
n+1
B
tendra tambien dos componentes. Si B R
n
, entonces R
n+1
B, tendra una
componente, pues
H
0
(R
n+1
B; R)

= H
1
(R
n
B; R) = 0,
lo cual es contradictorio, quedando probado el teorema.
Corolario 5.34. Sea A, B R
n
subconjuntos cerrados homeomorfos. Enton-
ces sus complementos tienen el mismo n umero de componentes.
Demostracion. Sabemos que H
0
( , ) mide el n umero de componentes por tra-
yectorias, y ademas en R
n
esto equivale al n umero de componentes conexas.
Corolario 5.35 (Jordan-Brouwer). Cualquier subconjunto de R
n
, con n >
1, homeomorfo a S
n1
separa a R
n
en 2 componentes.
Demostracion. Hagamos
S
n1
= x R
n
: |x| = 1 = A
y sea B R
n
homeomorfo a A. El caso para n = 2 es claro, y por induccion
los restantes.
Proposicion 5.36. Sea n 2 y f : D
n
R
n
continua e inyectiva. Entonces
f es un encaje que mapea

D
n
en la componente acotada de R
n
f(S
n1
).
Demostracion. Como D
n
es compacto y R
n
es Hausdor, f es cerrada y por
consecuencia, un encaje. Por el corolario anterior, el n umero de componentes
de R
n
f(D
n
) es el mismo que el de R
n
D
n
. Pero solo hay una pues n 2.
Como R
n
f(D
n
) es no acotado, esta contenido en la componente no
acotada de R
n
f(S
n1
) que denotamos por N. Sea A la componente acotada
de R
n
f(S
n1
). Tenemos que A y N son abiertos pues R
n
es localmente
conexo. Tambien
f(D
n
) R
n
N = f(S
n1
) A
y ademas
f(D
n
) = f(

D
n
) Hf(S
n1
).
Dado que

D
n
es conexo, resulta que f(

D
n
) = A.
86 5 Complejos CW
Teorema 5.37 (Invariancia del dominio). Sea n 2 y U R
n
un sub-
conjunto abierto y conexo. Sea f : U R
n
una funcion continua e inyectiva.
Entonces f(U) es conexo y abierto y f es un encaje.
Demostracion. Sea x U y V una vecindad abierta de x. Sea e
n
una bola
cerrada con centro en x tal que e
n
V . Por la proposicion anterior, f(

e
n
) es
una vecindad abierta de f(x), por lo que f es abierta. Luego f es un encaje
y f(U) es abierto.
Escolio 5.38. En particular, si U R
n
es abierto y V R
n
con V

= U,
entonces V es abierto.
Lema 5.39. Sea X un espacio y z :
1
X un 1-ciclo. Sea z(t) = z(1 t).
Entonces [z] = [z] H
1
(X; R).
Demostracion. Necesitamos una 2-cadena c tal que
2
(c) = z+z. Sea c :
2
X dado por c(t

0
, t
1
) = z(t
0
) donde
2
= (t
0
, t
1
) : t
0
, t
1
0, t
0
+ t
1
1.
Tenemos
2
( c) = c
0
c
1
+ c
2
= c F
0
2
c F
1
2
+ c F
2
2
.
Adicionalmente,
F
1
2
(t) = (0, t), F
2
2
(t) = (t, 0), F
0
2
(t) = (1 t, t),
de donde
c
0
(t) = c(1 t, t) = z(1 t) = z(t),
c
1
(t) = c(0, t) = z(0),
c
2
(t) = c(t, 0) = z(t),
por lo que
2
( c) = c cte
z0
+ z. Sea c :
2
X la funcion constante con
valor z
0
. Siendo as,
2
( c) +
2
( c) =
2
( c + c) = z + z, por lo que haciendo
c = c + c tenemos el resultado.
Sea X un espacio tal que X = A B. Tenemos la sucesion
H
q
(A B)

H
q
(A)

H
q
(B)

H
q
(X)
q
H
q1
(A B)
y las inclusiones
i
1
: (A, A B) (X, B),
1
: A X,
i
2
: (B, A B) (X, A),
2
: B X,
j
1
: X (X, A), k
1
: A B A,
j
2
: X (X, B), k
2
: A B B,
donde
() = (k
1
(), k
2
()) y (, ) = (
1
()
2
()).
Para determinar quien es
q
, usamos la sucesion de Mayer-Vietoris para
parejas. Esto arroja el diagrama de inclusiones
H
q
(X)
j2

u
u
u
u
u
u
u
u
u
u
j1

H
q
(X, A) H
q
(B, A B)
=
i2
H
q1
(A B)
H
q
(X, B) H
q
(A, A B)
=
i1
n
n
n
n
n
n
n
n
n
n
n
n
donde i
2
y i
1
son isomorsmos por escision. As
q
=

q
i
1
2
j
1
=
t
q
i
1
1
j
2
.
Lema 5.40. Consideremos n puntos distintos sobre S
1
y [
1
+
n
]
H
1
(S
1
; R), donde
i
: I S
1
es un encaje tal que
i
(0) = x
i
y
i
(1) =
x
i+1 mod n
. Entonces [
1
+
n
] es un generador.
Demostracion. Sea X = S
1
, B = Im
1
y A = Im
2
Im
n
. Tenemos
que A B = x
1
, x
2
. Empleando la sucesion de Mayer-Vietoris reducida
H
1
(A)

H
1
(B)

H
1
(S
1
)
1
H
0
(x
1
, x
2
) 0.
El primer termino de la sucesion es 0 por que tanto A como B se pueden
contraer a un punto. Tomemos [
1
] H
1
(B, A B; R). Basta ver que [
1
+

n
] = [
1
] H
1
(S
1
, A; R). Pero
1
+ +
n

1
=
2
+ +
n
B
1
(S
1
, A)
por lo que
1
[
1
+ +
n
] =

1
[
1
] =
1
(
1
) = x
2
x
1
que es un generador pues (x
2
x
1
) = 1 1 = 0.
H
q
(S
1
S
1
; R)

=
_
_
0, q = 0, q > 2,
R R, q = 1,
R, q = 2.
Demostracion. Describimos a S
1
S
1
como complejo CW
I I
F
S
1
S
1
(I I)
?
S
1
S
1
.
?
88 5 Complejos CW
Sea F(s, t) = (e
2is
, e
2it
). Claramente F[
II\(II)
es un homeomorsmo
entre I I (I I) y S
1
S
1
S
1
S
1
.
Sabemos que
S
1
S
1

= I
2
f
(S
1
S
1
)
aplicando el teorema de calculo de homologa
H
q
(S
1
S
1
; R)

=

H
q
(S
1
S
1
; R)

=
_
R R/Imf
, q = 1,
0 q ,= 1, 2.
Para resolver el caso para q = 2, necesitamos el homomorsmo
f
:

H
1
((I
2
); R)

= R

H
1
(S
1
S
1
; R)

= R R
y con ello, generadores explcitos de los generadores de los grupos de homo-
loga. Sean
i
1
: S
1
S
1
S
1
, i
1
(z) = (z, 1),
i
2
: S
1
S
1
S
1
, i
2
(z) = (1, z).
Los generadors de H
1
(S
1
S
1
; R) son i
1
[e] y i
2
[e]. Denotemos
i
1
[e] = [], (t) = (e
2it
, 1),
i
2
[e] = [], (t) = (1, e
2it
).
Para obtener el generador para

H
1
((I
2
); R), aplicamos el lema anterior
el generador es [a +b +c +d] H
1
((I
2
); R) donde
a(t) = (t, 0), b(t) = (1, t), c(t) = (1 t, 1), d(t) = (0, 1 t)
(los extremos del cuadrado). Por lo tanto
f
[a +b +c +d] = [f
#
(a +b +c +d)] = [f a +f b +f c +f d]
y
f a(t) = (e
2it
, 1) = (t),
f b(t) = (1, e
2it
) = (t),
f c(t) = (e
2i(1t)
, 1) = (t),
f d(t) = (1, e
2i(1t)
) = (t),
por lo que f
[a +b +c +d] = [] + [] + [] + []. Por un lema anterior

[] = [], [] = [],
5.4 Otra descripcion de S
1
S
1
89
de donde f
[a +b +c +d] = 0. As
H
1
(S
1
S
1
; R)

=

H
1
(S
1
S
1
, R)/Imf
= R R.
y para la 2-homologa
0 H
2
(S
1
S
1
; R) = 0 H
2
(S
1
S
1
; R) n uc f

= R 0,
esto es, H
2
(S
1
S
1
)

= R.
5.4. Otra descripcion de S
1
S
1
Procedemos a describir al toro como espacio de identicacion de I
2
. Con-
sideremos al diagrama
I I
q=p
(S
1
S
1
)
f
I
2
(I I)/
n
n
n
n
n
n
n
n
n
n
n
n
donde es la proyeccion al cociente de la relacion (t, 0) (t, 1) y (0, t) (1, t)
para todo t [0, 1],
p : S
1
S
1
HI
2
S
1
S
1
H
f
I
2
y q es una identicacion ya que es una funcion cerrada.
Ejercicio 5.42. Ver que q y son compatibles.
Consideremos al siguiente cuadrado.
b
1
1
-
a
1
6
b
1
-
a
1
1
6
Identicamos lados con la misma letra y subndice mediante la expresion
a
1
b
1
a
1
1
b
1
1
.
Tomemos el generador canonico de la homologa de (I
2
) y le ponemos a
cada lado un 1 si pegamos en direccion contraria al generador o lo dejamos
igual si va en la misma direccion.
Denicion 5.43. Una supercie es un espacio de Hausdor que es localmente
homeomorfo a
D
2
90 5 Complejos CW
Denicion 5.44. La suma conexa de dos supercies se obtienen removiendo
un disco abierto de cada una e identicando las fronteras que quedan.
Teorema 5.45.
1. Toda supercie compacta orientable es homeomorfa a a S
2
, T = s
1
S
1
o a una suma conexa de toros.
2. Toda supercie compacta no orientable es homeomorfa al plano proyectivo
sobre R o a una suma conexa de planos proyectivos.
Corolario 5.46. Sea T
g
la suma conexa de g 1 toros.
1. La supercie T
g
se obtiene tomando el producto cu na de 2g crculos y
pegandole una 2-celda que se describe como un polgono de 4g lados, que
pegamos mediante la expresion
a
1
b
1
a
1
1
a
g
b
g
a
1
g
b
1
g
.
2. Sea N
r
la suma conexa de espacios proyectivos r 2. Entonces N
r
se
obtienen tomando el producto cu na de r crculos y pegando un disco que
se describe como un polgono de 2r lados mediante la expresion
a
1
a
1
a
2
a
2
a
r
a
r
.
Teorema 5.47. Se satisface lo siguiente.
H
q
(T
g
) =
_
_
R, q = 0, q = 2,
R
2g
, q = 1,
0, q > 2,
H
q
(N
k
) =
_
_
R, q = 0,
R
k1
R/2R, q = 1,
R
[2]
, q = 2,
0, q > 2.
Demostracion. Solo probaremos el resultado para N
2
y q = 1 y el resto queda
como ejercicio. Tenemos
R

R R

R (R/2R)
donde (r) = (2r, 2r) y (r, s) = (r s, [s]). Se verica facilmente que este
ultimo es un homomorsmo. La funcion es suprayectiva ya que (a+b, b) =
(a, [b]). Ademas, Im = n uc . Es claro que = 0. Tambien
(r, s) = (r s, [s]) = 0 r s = 0, s 2R s = 2,
por lo que () = (2, 2) = (r, s). En consecuencia
R (R/2R)

=
R (R/n uc ) = R (R/Im).
5.5 Caracterstica de Euler 91
5.5. Caracterstica de Euler
Sea X un espacio topologico tal que H
q
(X; Z) es nitamente generado
para cada q. Por un teorema algebraico H
q
(X; Z) = F T, donde F es un
grupo libre y T es el grupo de torsion, de manera que F

= H
q
(X; Z)/T.
Denicion 5.48. Al n umero de sumandos isomorfos a Z en F se le llama el
rango del grupo. En este caso, al rango se le llama q-esimo n umero de Betti
de X y se denota por
q
(X).
Denimos a su vez
(X) =
q
(1)
q
q
(X)
cuando esta suma sea nita.
Ejemplo 5.49. Sea X = S
n
. Tenemos que
0
=
n
= 1 y
q
= 0 para q ,= 0, 1.
Entonces
(S
n
) =
_
0, n mod 2 = 1,
2, n mod 2 = 0,
o, en otras palabras, (S
n
) = 1 + (1)
n
.
Ejercicio 5.50. Calcular (CP
n
) y (RP
n
). Comprobar que (T
g
) = 2 2g
y que (N
k
) = 2 k.
Solucion 5.51. Primeramente
(T
g
) =
0
(T
g
)
1
(T
g
) +
2
(T
g
) = 1 2g + 1 = 2 2g
pues los grupos de homologa a partir de 3 son cero. Ademas
(N
k
) =
0
(N
k
)
1
(N
k
) +
2
(N
k
) = 1 k + 1 = 2 k,
ya que los grupos de homologa a partir de 3 son cero. Por ultimo
(CP
n
) =
2n
q=0
q
(CP
n
) = n
y
(RP
n
) =
n
q=0
q
(RP
n
)
=
0
(RP
n
) +
n
(RP
n
) +
n/2
q=0
2q
(RP
n
)
= 2 +n/2|rango n uc f
.
92 5 Complejos CW
Denicion 5.52. Sea X un complejo CW con un n umero nito de celdas.
Sea
i
(X) el n umero de celdas de dimension i. Denimos la caracterstica de
Euler de X como
(X) =
i
(1)
i
i
(X).
Nuestro ultimo objetivo es probar que (X) = (X) donde (X) es la
caraterstica de Euler, cuando X es un complejo CW con un n umero nito de
celdas. Como resultara ser un invariante topologico, tambien (X) sera un
invariante topologico.
Proposicion 5.53. La sucesion exacta de grupos abelianos nitamente gene-
rados
0 A
1
f1
A
2
A
r1
fr1
A
r
0
satiface

r
i=1
(1)
i+1
rango (A
i
) = 0.
Demostracion. para r = 1, 0 A
1
0 implica que A
1
= 0, y el resultado
es trivial. Para r = 2, 0 A
1
f1
=
A
2
0, como f
1
es un isomorsmo,
rango A
1
= rango A
2
y nuevamente el aserto se satisface. Para r = 3 tenemos
0 A
1
f1
A
2
f2
A
3
0
sea A
i
la parte libre de A
i
. Cada homomorsmo f
i
manda al subgrupo de
torsion en el subgrupo de torsion y por lo tanto induce f
i
: A
i
A
i+1
.
Resulta as la sucesion
0 A
1
f
1
A
2
f
2
A
3
0
que no necesariamente es exacta. A manera de contraejemplo, considerese
0 2Z
f1
Z
f2
Z/2Z 0,
que arroja
0 2Z
f
1
Z
f
2
0 0.
que no es exacta. Probaremos que f
1
es inyectiva, que f
2
es un epimorsmo
y que n uc f
2
/Imf
1
es un grupo de torsion.
Sea [a
1
] A
1
tal que f
1
[a
1
] = [f
1
(a
1
)] = 0. Entonces f
1
(a
1
) pertenece a
la torsion de A
2
y por lo tanto existe n tal que nf
1
(a
1
) = 0, o lo que es lo
mismo, f
1
(na
1
) = 0. Luego na
1
= 0, lo que signica que a
1
esta en la torsion
de A
1
, y con ello que [a
1
] = 0.
Sea [a
3
] A
3
. Como f
2
es suprayectiva, existe a
2
A
2
tal que f(a
2
) = a
3
,
de donde f
2
[a
2
] = [f
2
(a
2
)] = [a
3
].
Para ver que n uc f
2
/Imf
1
es de torsion. Sea [a
2
] = n uc f
2
. Entonces
f
2
[a
2
] = 0. En consecuencia, f
2
(a
2
) pertenece a la torsion de A
3
, por lo que
5.5 Caracterstica de Euler 93
existe n tal que nf
2
(a
2
) = f
2
(na
2
) = 0. Como la sucesion es exacta, existe
a
2
A
1
tal que f
1
(a
1
) = na
2
. Consideremos
n[a
2
] = [na
2
] = [f
1
(a
1
)] = f
1
[a
1
]
y, consecuentemente n[a
2
] Imf
1
. En conclusion n uc f
2
/Imf
1
es de torsion.
Aplicando el Ejercicio 5.54, rango A
1
= dimA
1
= dimImf
1
= dimn uc f
2
,
y as
rango A
1
= dimn uc f
2
. (5.2)
Tenemos la sucesion exacta
0 n uc f
2
A
2
f2
A
3
0.
Como A
3
es libre, la sucesion se escinde y f
2

= n uc f
2
A
3
, lo que acarrea
que
dimA
2
= dimn uc f
2
+ dimA
3
. (5.3)
De (5.2) y (5.3), resulta que rango A
2
= rango A
1
+ rango A
3
.
Para el caso r = 3v, con r > 3, consideremos las sucesiones exactas
0 A
1
f1
A
2
f2
Imf
2
0
y
0 Imf
2
A
3
f3
A
r
0.
Por induccion, tenemos el resultado para cada una de las sucesiones.
Tomamos la primera suma y le restamos la segunda, cancelandose en ellas
rango Imf
2
quedando el resultado deseado.
Ejercicio 5.54. Sea A un grupo abeliano nitamente generado y B A un
grupo tal que A/B es de torsion. Entonces rango A = rango B.
Solucion 5.55. Sabemos que A = F
1
T
1
donde F
1
es libre y T
1
es la torsion,
y analogamente B = F
2
T
2
con F
2
libre y T
2
la torsion. Si
A/B =
F
1
T
1
F
2
T
2
es de torsion, quiere decir que F
1
= F
2
, pues de lo contrario el cociente tendra
una componente libre. Luego rango F
1
= rango F
2
.
Escolio 5.56. Si A X, (X, A) =

i
(1)
i
i
(X, A) donde
i
(X, A) es el
rango de H
i
(X, A; Z) cuando H
i
(X, A; Z) son nitamente generados.
Proposicion 5.57. Para una pareja (X, A) tal que (X), (A) y (X, A)
estan denidos, tenemos que (X) = (X, A) +(A).
94 5 Complejos CW
Demostracion. Consideremos la sucesion de la pareja (X, A)
H
q
(A; Z) H
q
(X; Z) H
q
(X, A; Z) H
q1
(A; Z) .
Por la proposicion anterior, la suma alternada de los rangos de estos gru-
pos, que denotamos por , es nula. Con los grupos de cada espacio, aparecen
cada tres con signos distintos
= (A) (X) (X, A) = 0
y es claro (!) que (A) y (X, A) tienen el mismo signo. En conclusion, (X) =
(X, A) +(A).
Proposicion 5.58. Sea Z = D
n
f
Y y supongamos que (Y ) esta denido.
Entonces (Z) = (Y ) + (1)
n
Demostracion. Ya es sabido que F : (D
n
, S
n1
) (Z, Y ) induce un isomor-
smo
F
: H
q
(D
n
, S
n1
; Z)

=
H
q
(Z, Y ; Z) (5.4)
para todo q. Por la proposicion anterior
(D
n
, S
n1
) = (D
n
) (S
n1
) = 1 + (1 + (1)
n1
) = (1)
n
y nuevamente por la porposicion anterior
(Z) = (Y ) +(Z, Y )
conjuntamente con (5.4), que implica que (Z, Y ) = (D
n
, S
n1
), y as (Z) =
(Y ) + (1)
n
.
Teorema 5.59. Sea X un complejo CW con un n umero nito de celdas. En-
tonces (X) = (X) y por lo tanto (X) es un invariante homotopico.
Demostracion. Si X tiene solo una celda, tiene que ser una 0-celda, y por lo
tanto (X) = 1 y (X) = 1. Supongamos que el teorema anterior es cierto
para complejos CW con m celdas. Sea X = D
n
f
Y con Y un complejo
CW con m celdas. Por la proposicion anterior, (X) = (Y ) + (1)
n
, y por
la hipotesis de induccion (Y ) = (Y ). Como a Y le pegamos una n-celda,
entonces
(Y ) + (1)
n
= (X) = (Y ) + (1)
n
= (X).
Corolario 5.60. Sea X un poliedro con un n umero nito de simplejos. Sea
i
el n umero de simplejos de dimension i, entonces (X) =
i0
(1)
i
i
no
depende de la triangulacion de X.
Ejercicio 5.61. Demostrar el Corolario 5.60.
Bibliografa
[Dol80] Dold, Albrecht: Lectures on algebraic topology, volumen 200 de Gundlehren
der mathematischen Wissenschaften. Springer-Verlag, 1980.
[Hat02] Hatcher, Allen: Algebraic topology. Cambridge University Press, 2002.
[LP05] Lluis Puebla, Emilio:

Algebra homologica, cohomologa de grupos y K-teora
algebraica clasica. Sociedad Matematica Mexicana, 2005.
[Rot88] Rotman, Joseph J.: An introduction to algebraic topology, volumen 119 de
Graduate Texts in Mathematics. Springer-Verlag, 1988.

Topología Algebraica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Topología Algebraica

Cargado por

Copyright:

Formatos disponibles

Marcelo Aguilar

Octavio Alberto Agustn Aquino

una funcion entre las variedades

[x, 1] dada por [x, t] [x, 1]. Ya tenemos que f i = id

conmuta. Denimos entonces H : X I Y a traves de H(x, t) =

f([x, 1]) = c, pues [x, 1] consiste en un solo punto en CX para todo x. La

conmuta. Denimos entonces H : X I Y a traves de H(x, t) =

([M, f]) = [M, f].

esta bien denido y es un homomorsmo.

([M, f] + [N, g]) =

([M HN, f Hg])

([V, f]) = [V,

. Esto es, tenemos una operacion

(X, A). No hay problema con

es isomorfo a un anillo de poli-

n-simplejos geometricos. Entonces

son afnmente homeomorfos.

((v) (v))((v) (v))

((v) (v) +(v) (v))

R con casi todo r

= 0. Denimos ahora el operador

como funcion simplicial,

(N(|; R)). Sin embargo, tomar una

) se le domina complejo de cadenas singular de X. De-

) un morsmo de cadenas. Demos-

). Entonces, para cada q,

es un morsmo de cadenas. Dado

4.2 Homologa singular 41

() = 0, de manera que si A = , entonces

) (X, A) inducen un isomorsmo

(X, A)). Por un ejercicio,

)), lo que completa la demostracion.

(A) es un complejo de cadenas libre cuyos

la familia de componentes por trayectorias de X y

. Por la proposicion anterior, H

,= , por la Proposicion 4.35 H

) complejos de cadenas (de R-modu-

morsmos de cadenas. Decimos que es homotopo

un q-ciclo afn, si denimos v z =

A. Entonces la inclusion i : (X U, A U) (X, A)

) un morsmo de cadenas. Deci-

(X) es una equivalencia homotopica de ca-

(X) que sea natural. La naturalidad permitira denirlo para

= X. Para cualquier q-simplejo singular :

para alg un , tambien tenemos que (

. Por lo tanto, los sim-

D, entonces j : (C, C D) (X, D) induce un isomorsmo

D. Finalmente CD = (XU) A = (XA) U =

B, por un teorema anterior

(X) es una equivalencia homotopica de cadenas.

(B). Consideremos los complejos de cadenas

(B). Tnemos que

(X) y su inverso homotopico de cadenas : S

(B) que satisface i = id. En particular, enva a S

(B). Resultan los cocientes

(B) y tenemos el diagrama

los hemisferios cerrados norte y sur de S

) induce un isomorsmo en homologa.

V ), pues podemos movernos por los crculos maximos. Aplicando

= id, esto es, la sucesion de la pareja se escinde en

). Tenemos ahora la sucesion

es lo mismo que multiplicar por 1. Si det(f) = 1, entonces componemos

es equivalente a multiplicar por 1, resulta que (r

es la multiplicacion por (1)