Libro DR AGarciaA

HOMOLOGA SINGULAR
MEMORIAS ACADMICAS
EN HONOR DE
AGRIPINO GARCA ARMAS
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMTICAS
HOMOLOGIA SINGULAR
Agripino Garca Armas
Indice general
0.1. Presentacion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.2. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
6
1. CONCEPTOS PRELIMINARES
1.1. Categoras y funtores . . . . . . . . . . . . . . . . . . . . . . .
7
7
2. TEORIA DE HOMOTOPIA ELEMENTAL

2.1. Homotopa . . . . . . . . . . . . . . . . . . . . . . .
2.2. Equivalencia homotopica y espacios contraibles
2.3. Cofibracion . . . . . . . . . . . . . . . . . . . . . . .
2.4. H-Espacios . . . . . . . . . . . . . . . . . . . . . . .
2.5. H-Coespacios . . . . . . . . . . . . . . . . . . . . . .
2.6. Construccion de James . . . . . . . . . . . . . . . .
2.7. Desviacion de aplicaciones entre H-espacios . . . . . .
2.8. Sucesion exacta de Barrat- Puppe . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13
20
22
26
30
37
41
44
3. TEORIA DE HOMOLOGIA
3.1. Axiomas de Eilenberg -Steenrod .
3.2. Homologa de complejo de cadenas
3.3. Homomorfismo inducido . . . . . .
3.4. Homotopa de cadenas . . . . . . .
3.5. Teorema de modelos acclicos . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
51
55
60
68
4. HOMOLOGIA SINGULAR
4.1. Complejo singular . . . . . . . . . .
4.2. Invariabilidad bajo homotopa . . .
4.3. Subdivision baricentrica . . . . . . .
4.4. Susecion de Mayer-Vietoris . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
83
85
93
5. APLICACIONES ELEMENTALES
99
5.1. Teorema de punto fijo de Brouwer . . . . . . . . . . . . . . . . 99
5.2. Grado de Brouwer . . . . . . . . . . . . . . . . . . . . . . . . 100
3
4
6. HOMOLOGIA CELULAR
107
6.1. Espacio celular . . . . . . . . . . . . . . . . . . . . . . . . . . 107
ENTRE LOS GRUPOS DE HOMOTOPIA Y
7. RELACION
HOMOLOGIA
111
7.1. Teorema de Hurewicz . . . . . . . . . . . . . . . . . . . . . . . 111
7.2. Teorema de Whitehead . . . . . . . . . . . . . . . . . . . . . . 112
8. FIBRACIONES
113
8.1. Fibraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
8.2. Haces fibrados . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
9. ANILLO DE COHOMOLOGIA SINGULAR
125
9.1. Cohomologa singular . . . . . . . . . . . . . . . . . . . . . . 125
10.HOMOLOGIA DE ESPACIOS FIBRADOS
131
10.1. Pareja Exacta . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
10.2. Sucesion espectral de una fibracion . . . . . . . . . . . . . . . 136
10.3. Cuadrados de Steenrod y relaciones de Adem . . . . . . . . . 136
0.1.
Presentaci
on
Estas notas tienen por objeto presentar la homologa singular y algunas

aplicaciones a resultados clasicos, surgieron de un curso que el autor dicto en
el segundo semestre del a
no 1998 en la Escuela Academico Profesional de
Matematicas para los estudiantes del octavo semestre en la Universidad Nacional Mayor de San Marcos.
Considero que el material que aqu se presenta, debe ser del conocimiento
de todo estudiante de Licenciatura en Matematica, justificando as la aparicion de estas notas.
0.2.
Introducci
on
El objeto de la Topologa Algebraica es hallar modelos algebracos de los

espacios topologicos . As , si X es un espacio topologico , un modelo puede
ser un grupo,T (X), y si f : X Y es una aplicacion continua es natural
requerir que induzca un homomorfismo T (f ) : T (X) T (Y ) tal que:
f
1. Si X Y Z, T (g f ) = T (f ) T (g) : T (X) T (Z)

2. Si idX : X X es la aplicacion identidad ,T (idX ) : T (X) T (X)
sea el homomorfismo identidad.
Bajo estas condiciones si f : X Y es homeomorfismo entonces
T (f ) : T (X) T (Y ) es isomorfismo. Luego T (X) 6= T (Y ) implica que
X no es homeomorfo a Y.
Un problema que siempre se presenta es : Dados un subconjunto A de
un espacio topologico X y una aplicacion continua g : A Y existe una
aplicacion continua f : X Y tal que f |A = g ?
Existen, en casos particulares, soluciones famosas .
Teorema de extensi
on de Tietze. Sea A un subconjunto cerrado de
un espacio topologico X y g : A R una aplicacion continua, entonces existe
f : X R una aplicacion continua tal que f |A = g
Un espacio X es conectable por trayectorias si para cualesquiera x, y X
existe : [0, 1] X una aplicacion continua tal que (0) = x y (1) = y
La conectabilidad por trayectorias puede plantearse como un problema de
extension. Sea A = {0, 1} , X = [0, 1] entonces Y es conectable por trayectorias s y solo si para cada par de puntos x, y de Y , la aplicacion : A Y
es tal que (0) = x y (1) = y puede extenderse a f : X Y
Por medio del modelo T(X)el problema de extension induce un problema
de extension algebraca
T (X)
T (i) %
& T (g)
T (A) T (f ) T (Y )
Captulo 1
CONCEPTOS
PRELIMINARES
1.1.
Categoras y funtores
Introducimos el lenguaje de categoras y funtores por dos razones: La

primera es que se encuentra con frecuencia estos conceptos cuando lee los
articulos de la referencia y la segunda es que resulta la formulacion mas
conveniente de muchos de los resultados de estas notas estan dadas en este
contexto
Definici
on 1.1.1 Una categora C consiste de:
1. Una clase de objetos, denotado por Obj(C)
2. Para cualquier par de objetos A, B, un conjunto de morfismos de A
a B,denotado por M orC (A, B). Si f M orC (A, B), A se denomina
f
dominio de f y B el rango de f, se escribe f : A B o A B

3. Para cualquier terna ordenada de objetos A,B,C se da una ley de composicion
M orC (A, B) M orC (B, C) M orC (A, C)
(f, g) 7 g f
satisfaciendo las siguientes dos axiomas:
1. Si f M orC (A, B),g M orC (B, C), h M orC (C, D) entonces
h (g f ) = (h g) f
7
Categoras y Funtores
2. Existe un morfismo identidad idA M orC (A, A) tal que para cualesquiera f M orC (A, B), g M orC (C, A) se verifica
f idA = f,
idA g = g
este morfismo identidad es u

nico, en efecto,
idA = idA id,A = id,A
Ejemplo 1 Categora de conjuntos, C = Conj
Los objetos de esta categora son los conjuntos y los morfismos las aplicaciones entre conjuntos con la composicion usual
Ejemplo 2 Categora de grupos abelianos, C = GA
Los objetos de esta categora son los grupos abelianos y los morfismos los
homomorfismos de grupos con la composicion usual
Ejemplo 3 Catregora de espacios topol
ogicos ,
C = TOP
Los objetos de esta categora son los espacios topologicos y los morfismos las
aplicaciones continuas con la composicion usual
Ejemplo 4 Sea G un grupo y la categora que contiene a G como u
nico
objeto y morfismos los elementos de G multiplicando a la izquierda
Definici
on 1.1.2 Sean C y D dos categoras. Un funtor covariante T de
C a D, escrito, T : C D, asocia a cada objeto A C un objeto T (A) D
y a cada morfismo f : A B de C un morfismo T (f ) : T (A) T (B)de D
tal que
f
1. T (f g) = T (f ) T (g) para todo morfismo A B C

2. T (idA ) = idT (A) para todo A Obj(C)
Un funtor contravariante T de C a D, escrito, T : C D asocia a cada
objeto A C un objeto T (A) D y a cada morfismo f : A B de C un
morfismo T (f ) : T (B) T (A) tal que
f
1. T (f g) = T (g) T (f ) para todo morfismo A B C en C

2. T (idA ) = idT (A) para todo A Obj(C)
Ejemplo 5 Funtor identidad , id : C C
id(A) = A para todo A Obj(C) y id(f ) = f para todo f M orC (A, A)
conceptos preliminares
Ejemplo 6 Si T : C D y S : D E dos funtores , la composicion

S T : C E definido por (S T )(A) = S(T (A) y (S T )(f ) = S(T (f )) es
un funtor
Ejemplo 7 Para cualquier D Obj(D) fijado tenemos el funtor constante
T : C D tal que T (A) = D para todo A Obj(C) y T (f ) = idD para todo
f M orC (A, B)
Ejemplo 8 Sea C la categora de conjuntos, n un n
umero natural,T : C C
n
n
tal que T (A) = A para todo Obj(C), T (f ) = f para todo f M orC (A, B)
es un funtor
EjemploP
9 Sea C la categora de espacios topologicos , T : C C tal que
T (X) =
X = suspencion de X = espacio de identificacion
de X P
I al
P
P
identificar X 0 y X 1 a puntos , X Obj(C), T (f ) = P
f: X
Y
es un funtor, denominado funtor suspension denotado por
Ejemplo 10 Sea C la categora de espacios topologicos , T : C C tal que
T (X) = (X) = espacio de lazos de X = curvas que empiezan y terminan
en un punto fijo x0 para X Obj(C) , T (f ) = (f ) : (X) (Y ) para
f M orC (X, Y ) ,es un funtor denominado funtor lazo denotado por
Ejemplo 11 Sea C la categora de espacios vectoriales sobre un campo K ,
T : C C tal que T (A) = A = Hom(A, K) para A Obj(C) y T (f ) = f :
B A , para f M orC (A, B) es un funtor contravariante
Definici
on 1.1.3 Si f : A B, g : B A son morfismos en una categora
C tales que g f = id entonces g se denomina inverso izquierdo de f, y f
inverso derecho de g.
Si f admite un inverso izquierdo g y tambien un inverso derecho h entonces
g = g(f h) = (gf )h = h
en este caso a f se denomina una equivalencia o isomorfismo
Se dice que A es equivalentes a B si existe un isomorfismo f M or(A, B).
Una equivalencia en la categora Conj es una aplicacion biyectiva, una
equivalencia en la categora TOP es un homeomorfismo y en la catregora
GA es un isomorfismo en el sentido usual.
Proposici
on 1.1.1 Sea T : C D un funtor covariante. Si f M orC (A, B)
es un isomorfismo entonces T (f ) M orD (T (A), T (B)) es un isomorfismo y
T (f 1 ) = T (f )1
10
Demostraci
on Como f es un isomorfismo tiene un inverso denotado por
1
f tal que f f = id y f 1 f = id tenemos T (f ) T (f 1 ) = T (f f 1 ) =
T (id) = id y T (f 1 )T (f ) = T (f 1 f ) = T (id) = id,luego T (f 1 ) = T (f )1
1
Definici
on 1.1.4 Sean S, T : C D funtores covariantes . Una transformaci
on natural de T a S escrito : T S consiste de un sistema de
morfismos A M orD (T (A), S(A)) uno para cada objeto A Obj(C) tal
que para cualquier morfismo f M orC (A, B) el siguiente diagrama
T (A)
A
S(A)
T (f )
S(f )
T (B)
B
S(B)
conmuta
Una transformacion natural : T S tal que A es una equivalencia
en D para cada A Obj(C) se denomina una equivalencia natural
Ejemplo 12 Sea C una categora arbitraria , D = Conj, para A Obj(C)
fijo tenemos el funtor CA : C D definido de la siguiente manera : CA (X) =
M orC (A, X) para cada X Obj(C) y CA (f ) = f = composicion de f
por la izquierda , para f M orC (X, Y )
Sea T : C D un funtor arbitrario , a T (A) fijo
Definamos
a : CA T
aX : CA (X) = M orC (A, X) T (X)
g 7 ag = T (g)(a)
tenemos
(aY CA (f ))(g) = aY (CA (f )(g))
= aY (f g)
= T (f g)
= (T (f ) aX )(g)
Ejemplo 13 Sea C la categora de espacios vectoriales sobre K , si V es
objeto de C , V dual de V y V doble dual de V son objetos de C, existe una
aplicacion lineal iV : V V dada por iV (v) = vb donde vb() = (v) , v V
, V i es una transformacion natural del funtor identidad id : V V al
conceptos preliminares
11
funtor : C C o sea i : Id en efecto, , sea f : V W un morfismo

en C , el siguiente diagrama conmuta
i
V
V
V
f
f
iW
W
W
(f iV )(v)() = (f ())(v) = f vb() = vb(f ()) = (f ())(v) = (f (v)) =

fd
(v)() = (iW f )(v)()
Proposici
on 1.1.2 (Lema de Yoneda) Si T : C Conj es un funtor covariante y : CA T una transformacion natural entonces existe un u
nico
a
elemento a T (A) tal que = , es decir, a = A (idA )
Demostraci
on.- Como es una transformacion natural , el diagrama
CA (A)
A
T (A)
CA (f )
T (f )
CA (X)
X
T (X)
conmuta para cualquier f M orC (A, X)

En particular
X (CA (f )(idA )) = (T (f )A )(idA )
Como CA (f )(idA ) = f idA = f
Tenemos
X (f ) = T (f )(a)
= aX (f )
donde a = A (idA )
Ahora supongamos que existe otro b T (A) tal que = b luego
a = A (idA ) = bA (idA ) = T (idA )(b) = idT (A) (b) = b
Definici
on 1.1.5 Si T : C Conj es un funtor covariante y A Obj(C)
entonces u T (A) es un elemento universal si u es una equivalencia
natural
No es cierto que todo funtor covariante T : C Conj admita un elemento universal , si lo admite diremos que T es representable y el par (A, u)
representa al funtor T . El par (A, u) es unicamente determinado salvo equivalencia como veremos a seguir
12
Proposici
on 1.1.3 Sea T : C Conj un funtor representable con elemento
universal u T (A) . Si c Obj(C) y c T (C) entonces existe un u
nico
morfismo f : A C tal que T (f )(u) = c . Si c es elemento universal , f es
una equivalencia
Demostraci
on. Si c es un elemento universal existe g : C A tal que
T (g)(c) = cC (g) = u entonces
T (g f )(u) = T (g) (T (f )(u)) = T (g)(c) = u
luego g f = idA por la universalidad de u
T (f g)(c) = T (f ) (T (g)(c)) = T (f )(u) = c
luego f g = idC por la universalidad de c
Captulo 2
TEORIA DE HOMOTOPIA
ELEMENTAL
2.1.
Homotopa
Definici
on 2.1.1 Sean X, Y espacios topologicos , f, g : X Y aplicaciones continuas . Diremos que f es homot
opico a g si existe una aplicacion
continua H : X I Y tal que H(x, 0) = f (x) y H(x, 1) = g(x) para
cualquier x X
A la aplicacion H se denomina una homotopa entre f y g . denotado
por f ' g o H : f ' g
Para cada 0 t 1 se denota H(x, t) por Ht (x) que da origen a una
familia de aplicaciones continuas Ht : X Y
Definici
on 2.1.2 Una aplicacion f : X Y se denomina nulo homot
opico si f es homotopico a una aplicacion constante
Definici
on 2.1.3 Sea A un sub conjunto de X y f, g : X Y aplicaciones
continuas. Diremos que f es homot
opico a g realtivo a A , denotado por
f ' g rel A si existe una homotopa
H :X I Y
tal que
H(x, 0) = f (x),
para cualquier
xX
H(x, 1) = g(x),
para cualquier
xX
H(a, t) = f (a),
para cualquier
13
a A, t I
14
homotopa
Si f ' g rel A se tiene f (a) = g(a) para todo a A . Si A = , f ' g

rel A es equivalente a f ' g : X Y
Definici
on 2.1.4 Una aplicacion f : X Y se denomina nulo homot
opico relativo a A si f es homotopico a una aplicacion constante relativo a A
Proposici
on 2.1.1 La homotopa relativo a A es una relacion de equivalencia en el conjunto de aplicaciones de X en Y
Demostraci
on
Reflexiva: f ' f rel A, para f : X Y , en efecto, definamos H :
X I Y por H(x, t) = f (x)
Simetra: Si H : f ' g rel A .Veamos que g ' f rel A, en efecto, definamos
F :X I Y
por
F (x, t) = H(x, 1 t)
Transitiva : Si H : f ' g rel A y F : g ' h rel A. Veamos G : f ' h rel
A , en efecto,definamos
G:X I Y
por

G(x, t) =
H(x, 2t)
si
F (x, 2t 1) si
0 t 21
1
t1
2
G es continua , puesto que la restriccion a cada uno de los conjuntos cerrados

X [0, 21 ] y X [ 21 , 1] es continua
Esas clases de equivalencia se denominan clases de homotopa relativo a
A . Denotemos por [X, Y ]A al conjunto de estas clases de homotopa . Dado
f : X Y usaremos [f ]A para denotar un elemento de [X, Y ]A determinado
por f.
Para espacios X e Y la notacion [X, Y ] significa [X, Y ] .
Una pregunta que surge inmediatamente es se le puede dar una estructura
de grupo al conjunto [X, Y ]A ? , en las secciones posteriores daremos respuesta
a esta pregunta
Proposici
on 2.1.2 Sean f0 , f1 : X Y homotopicos relativos a A X y
g0 , g1 : Y Z homotopicos relativos a B Y tal que f1 (A) B , entonces
g0 f0 ' g1 f1 rel A
teora de homotopa elemental
15
Demostraci
on .- Sean H : f0 ' f1 rel A y G : g0 ' g1 rel B , la composicion
H
g0
X I Y Z
es g0 H : g0 f0 ' g0 f1 relA, y la composicion
f1 id
X I I Y I Z
es G (f1 idI ) : g0 f1 ' g1 f1 rel f 1 (B). Como A f 1 (B) hemos
probado que g0 f0 ' g0 f1 rel A y g0 f1 ' g1 f1 rel A por la transitividad
de la relacion de homotopa resulta g0 f0 ' g1 f1 rel A
Definici
on 2.1.5 Un espacio con punto base es un espacio topologico X
con un punto fijo elegido x0 X llamado punto base
Sean X e Y espacios con punto base x0 , y0 respectivamente .Una aplicacion
continua f : X Y preserva punto base si, f (x0 ) = y0
Definici
on 2.1.6 Sean X e Y espacios con punto base x0 , y0 respectivamente
y f, g : X Y aplicaciones que preservan punto base , f es homotopico a g
si, f ' g rel x0 . El conjunto de las clases de equivalencia de aplicaciones
que preservan punto base de X en Y por la relacion de homotopa relativo
al punto base x0 se denotan [X, Y ]. Para cualquier aplicacion que preserva
punto base f : X Y , [f ] denota la clase de homotopa determinada por f
Proposici
on 2.1.3 Son equivalentes las siguientes afirmaciones:
1. la aplicacion continua f : S n Y es nulo homotopico
2. Existe una aplicacion continua F : Dn+1 Y tal que F |S n = f
3. Sea p0 un punto arbitrario de S n , f : S n Y es nulo homotopico
relativo a p0
Demostraci
on.-(1) (2) Sea c : S n Y , c(y) = y0 para todo y
S . Como f es nulo homotopico existe una homotopa H : f ' c tal que
H(y, 0) = f (y) y H(y, 1) = c(y) = y0 para todo y S n . Definamos

y0
si 0 k x k 12
F (x) =
x
H( kxk
, 2 2 k x k) si 21 k x k 1
n
como H(y, 1) = y0 , F esta bien definida y es continua pues la restriccion

a cada uno de los conjuntos cerrados {x Rn+1 : 0 k x k 12 } y {x
Rn+1 : 21 k x k 1} es continua . Como H(y, 0) = f (y) para todo y S n ,
16
homotopa
F |S n = f
(2) (3)Para f : S n Y por (2) existe F : Dn+1 Y tal que F |S n = f .
Definamos una homotopa H : S n I Y por
H(x, t) = F ((1 t)x + tp0 )
tenemos H(x, 0) = F (x) = f (x) y H(x, 1) = F (p0 ) para x S n . Como
H(p0 , t) = F ((1 t)p0 + tp0 ) = F (p0 ) para t I resulta que H es una homotopa relativo a {p0 } de f a una aplicacion constante . (3) (1) es inmediato
La categora homot
opica de espacios con punto base es la categora cuyos objetos son espacios con punto base y los morfismos las clases de
homotopa [f ], la composicion es definido por [f ] [g] = [f g] la proposicion
2.1.2 garantiza que esta bien definida
Definici
on 2.1.7 El n-
esimo grupo de homotopa de un espacio X con
punto base n (X) es definido por
n (X) = [S n , X]
para n 0
0 (X) no es un grupo en general , 1 (X) se denomina grupo fundamental de X.
Una aplicacion f : Y1 Y2 que preserva punto base induce para cualquier
espacio X con punto base una aplicacion
f : [X, Y1 ] [X, Y2 ]
definida por
f [] = [f ]
Esta aplicacion esta bien definida , en efecto, si : X Y1 es tal que '
por la proposicion 2.1.2 f ' f luego f [] = [f ] = [f ] = f []
Proposici
on 2.1.4 Sean X, Y, Y1 ,Y2 , Y3 espacios topologicos con punto base. Se cumplen las siguientes afirmaciones :
1. Si f, g : Y1 Y2 son aplicaciones que preserva punto base y g ' f ,
entonces g = f
2. Si id : X X es la aplicacion identidad , entonces id : [X, Y ]
[X, Y ] es la aplicacion identidad
17
3. Si f : Y1 Y2 ,g : Y2 Y3 son aplicaciones que preservan punto base

entonces (g f ) = g f
Demostraci
on.- Las afirmaciones 1,2 y 3 son consecuencias inmediatas de
la definicion
Una aplicacion f : X1 X2 que preserva punto base induce para cualquier espacio Y con punto base una aplicacion
f : [X2 , Y ] [X1 , Y ]
definido por
f ([] = [f ]
esta aplicacion esta bien definida
Proposici
on 2.1.5 Sean X, X1 , X2 , X3 , Y espacios con punto base. Se
cumplen las siguientes afirmaciones:
1. Si f, g : X1 X2 son aplicaciones preservando punto base, g ' f
entonces g = f
2. Si id : X X es la aplicacion identidad , entonces id : [X, Y ]
[X, Y ] es la aplicacion identidad
3. Si f : X1 X2 ,g : X2 X3 son aplicaciones preservando punto base,
entonces (g f ) = f g
Demostraci
on.-Las afirmaciones 1,2 y 3 son consecuencias inmediatas de la
definicion
Sean X e Y espacios topologicos con punto base x0 , y0 respectivamente
, definamos el sub espacio X Y de X Y como
X Y = (X {y0 }) ({x0 } Y )
El producto smash , X Y es definido por
X Y =
X Y
(X {y0 }) ({x0 } Y )
denotaremos por x y los elementos de X Y donde x X , y Y

Proposici
on 2.1.6 Sean X, Y, Z espacios topologicos con punto base , entonces
18
homotopa
1. [X Y, Z]
= [X, Z] [Y, Z]
2. [X, Y Z]
= [X, Y ] [X, Z]
Demostraci
on.- (1)Sean iX : X X Y y iY : X X Y las
inclusiones
Definamos
: [X Y, Z] [X, Z] [Y, Z]
por
([]) = (iX ([]), iY ([])
para [] [X Y, Z]. Veamos que es sobre , en efecto, sea ([1 ], [2 ])
[X, Z] [Y, Z] donde 1 : X Z y 2 : Y Z aplicaciones preservando
punto base , entonces existe una u
nica aplicacion : X Y Z tal que
|X = 1 y |Y = 2 luego ([]) = ([1 ], [2 ])
Veamos que es inyectiva, en efecto, supongamos que ([]) = ([]) entonces iX ([]) = iX ([]) e iY ([]) = iY ([]) esto es, existen homotopas
H : |X ' |X y F : |Y ' |Y
Definamos
G : (X Y ) I Z
por

G(x, t) =
H(x, t)
F (x, t) para x Y
para x X
es una homotopa de a luego [] = []

(2).- Sean pY : Y Z Y y pZ : Y Z Z las proyeciciones
Definamos
: [X, Y Z] [X, Y ] [X, Z]
por
([]) = (pY ([]), pZ ([]))
para [] [X, Y Z] de la misma manera que (1) se prueba que es biyectiva
Como consecuencia de la parte 2 de la proposicion 2.1.5 tenemos
n (X Y ) = n (X) n (Y )
para n 0
Dados los espacios topologicos X e Y , es denotado por M ap(X, Y ) el
espacio de funciones continuas con la topologa compacta abierta
19
Si X e Y son espacios con punto base, el espacio de funciones continuas que

preservan punto base, es denotado por Y X y es un sub espacios de M ap(X, Y )
Proposici
on 2.1.7 Sean X un espacio topologico de Hausdorff con punto
base x0 , Y un espacio topologico de Hausdorff localmente compacto con punto base y0 , Z espacio topologico con punto base z0 . Entonces la aplicacion
asociada reducida
X
: Z XY Z Y
induce una aplicacion biyectiva
: [X Y, Z] [X, Z Y ]
Demostraci
on
La aplicacion esta definida por [f ] = [(f )]
Veamos que esta bien definida , en efecto, Sea g ' f , existe una homotopa
H : (X Y ) I Z tal que H(x y, 0) = g(x y) ,H(x y, 1) = f (x y)
, H(x0 y, t) = z0 , H(x y0 , t) = z0 . Sea p : X Y X Y la aplicacion
cociente . La composicion
pid
X Y I I (X Y ) I Z
es tal que H p idI (x0 , y, t) = H(x0 y, t) = z0 y H p idI (x, y0 , t) =
H(x y0 , t) = z0 ,la cual induce una aplicacion
e : (X I) Y Z
H
la aplicacion asociada
e : X I ZY
(H)
es una homotopa entre (g) y (f ) pasando a clases de homotopa tenemos
[g] = [(g)] = [(f )] = [f ]
Veamos que es sobre , en efecto, sea [g] [X, Z Y ] donde g : X Z Y .
Como es sobre existe f : X Y Z tal que (f ) = g ,por lo tanto existe
[f ] [X Y, Z] tal que [f ] = [(f )] = [g]
Veamos que es inyectiva ,en efecto, supongamos [f ] = [g] o sea
(f ) ' (g) entonces existe una homotopa H : X I Z Y tal que
H(x, 0) = (f )(x) y H(x, 1) = (g)(x). Como es sobre existe una aplicacion G : (X I) Y Z tal que G) = H. Sea q : X Y I (X I) Y
la aplicacion definida por q(x, y, t) = (x, t) y, la composicion
q
X Y I (X I) Y Z
20
equivalenica homotopica
es tal que G q(x0 , y, t) = z0 y G q(x, y0 , t) = z0 .Como p : X Y I

(X Y ) I es una aplicacion cociente Gq induce una aplicacion F : (X
Y ) I Z tal que F p = G q y F : f ' g , luego pasando a clases
tenemos [f ] = [g]
Corolario 2.1.1 Sea X un espacio con punto base , entonces
n (X)
= 0 (n X)
= 1 (n1 X)
para n 0
2.2.
Equivalencia
contraibles
homot
opica
espacios
Definici
on 2.2.1 Dado un funtor T : T OP GA diremos que es un funtor de homotopa si T (f ) = T (g)cuando f ' g
Definici
on 2.2.2 A una aplicacion continua f : X Y se denomina una
equivalencia homot
opica si existe una aplicacion continua g : Y X
tal que g f ' idX y f g ' idY . La aplicacion g se denomina inverso
homotopico de f
Un espacio X es homotopicamente equivalente a Y si, existe una equivalencia homotopica entre X e Y . En este caso se dice que X tiene el mismo
tipo de homotopa que Y y se denota X ' Y
Si T es un funtor de homotopa entonces los grupos T(X) y T(Y) son
isomorfos
Definici
on 2.2.3 Un espacio topologico se denomina contraible si la aplicacion identidad es homotopico a alguna aplicacion constante de X en X
Ejemplo 14 Sea Y un espacio topologico con punto base y0 . Una trayectoria en Y es una aplicacion continua : I Y , a (0) se denomina punto
inicial y a (1) punto final. Al conjunto
P (Y, y0 ) = { : I Y : (0) = y0 }
con la topologa compacta abierta se denomina espacio de trayectorias de
Y
P (Y, y0 ) es contraible al camino constante cy0 , en efecto , bastara definir una
aplicacion continua
21
H : P (Y, y0 ) I P (Y, y0 )
tal que H (f, 0) = f , H (f, 1) = cy0 para cualquier f como I es localmente
compacto la topologia compacta abierta es admisible , luego la aplicacion
evaluacion e : P (Y, y0 ) I Y es continua. Consideremos la aplicacion
continua
: I P (Y, y0 ) I Y
(s, f, t) = e (f, s (1 t))
para todo s I , t I f P (Y, y0 ) la aplicacion asociada a es:
H : () : P (Y, y0 ) I Y I
() (f, t) (s) = (s, (f, t))
= e (f, s (1 t))
= f (s (1 t))
tenemos
H (f, 0) (s) = f (s)
H (f, 0) (s) =
f (0) = y0
como H(f, t)(0) = f (0) = y0 . Podemos considerar a H : P (Y, y0 ) I
P (Y, y0 ) como la aplicacion buscada .
El espacio
(Y, y0 ) = {f P (Y, y0 ) /f (0) = y0 = f (1)}
se denomina espacio de lazos basado en y0.
Ejemplo 15 El intervalo cerrado I es contraible; en efecto, definamos una
homotopa
H :I I I
por F (s, t) = 1 (1 s)(1 t)
de la misma manera I n es contraible y cualquier espacio homeomorfo a
ello es contraible por ejemplo el disco Dn
Ejemplo 16 El cono CX sobre X es contraible , en efecto , definamos una
homotopa
H : CX I CX
por H(< x, s >, t) =< x, 1 (1 s)(1 t) >
22
cofibracion
Proposici
on 2.2.1 Cualquiera dos aplicaciones de un espacio arbitrario a
un espacio contraible son homotopicos
Demostraci
on Sea X un espacio arbitrario , Y un espacio contraible , esto es,
idY ' c , donde c : Y Y es una aplicacion constante . Sean f0 , f1 : X Y
dos aplicaciones arbitrarias, entonces
f0 = idY f0 ' cf0 = cf1 ' idY f1 = f1
Proposici
on 2.2.2 Un espacio es contraible s y solo si tiene el mismo tipo
de homotopa que un espacio de un solo punto
Demostraci
on Supongamos que X es contraible, por la definicion 2.2.3 existe una homotopa H entre la aplicacion identidad idX : X X y la constante
c : X X , c(x) = x0 para todo x X , si j : {x0 } X es la inclusion la
composicion cj = id{x0 } y H : idX ' jc,luego c : X {x0 } es una equivalencia homotopica
Supongamos que X es del mismo tipo de homotopa que un espacio de un
solo punto P entonces existen aplicaciones f : X P y g : P X tales que
idX ' g f y como g f es constante , X es contraible.
Corolario 2.2.1 Cualesquiera dos espacios contraibles tienen el mismo tipo
de homotopa
Definici
on 2.2.4 Un sub espacio A de X se denomina retracto de X si la
incluson i : A , Xtiene un inverso izquierdo , es decir, existe una aplicacion
continua r : X A tal que r i = idA
A un sub espacio A de X se denomina retracto d
ebil de X si i : A , X tiene
un inverso homotopico izquierdo , es decir, existe una aplicacion continua
r : X A tal que ri ' idA
2.3.
Cofibraci
on
Lo concerniente a los problemas de extension de aplicaciones continuas

es tema central en topologa . Dado un sub espacio A de X y una aplicacion
continua f : A Y existe una aplicacion continua g : X Y tal que
g |A = f ? . Si Y = A y f = idA existe una retraccion X A ?
El estudio de estos problemas se facilita enormemente si la inclusion i : A ,
X satisface la condicion de cofribacion
23
Definici
on 2.3.1 Una aplicacion continua : A X es una cofribaci
on
si, para cualquier espacio topologico Y y dadas las aplicaciones continuas
f : X Y y G : A I Y tales que
G(a, 0) = f ((a))
para cualquier a A, existe una aplicacion continua F : X I Y tal que
F (x, 0) = f (x)y F ((a), t) = G(a, t) para cualquier x X , a A, t I ,
esto es , el siguiente diagrama conmuta
X
Y
F %
k
X I
k
G
A , A I
Y
En la seccion 2.2 hemos introducido el concepto de espacio de trayectorias

P Y = Y I , definamos la aplicacion = : P Y Y por 0 () = (0) para
PY
Una definicion equivalente a la dada en 2.3.1 es la siguiente:
Una aplicacion continua : A X es una cofribaci
on si tiene la siguiente
propiedad para todo espacio topologico Y. Dadas una aplicacion continua
f : X Y y una homotopa g : A P Y tal que 0 g = f . Entonces existe
una homotopa h : X P Y tal que 0 h = f y h = g
g
A
PY
h % 0
X
Un caso especial es, cuando A es un sub espacio de X , es decir , cuando

(X, A) es una pareja de espacios
Definici
on 2.3.2 Una pareja de espacios (X, A) es un par cofibrado si,
la inclusion i : A , X es una cofibracion
Proposici
on 2.3.1 (X, A) es un par cofibrado si y solo si X 0 A I es
un retracto de X I
Demostraci
on.Supongamos que es un par cofibrado . Veamos la existencia de una aplicacion continua r : X I X 0 A I tal que
24
cofibracion
r |X0AI = id, en efecto, como la inclusion i : A , X es una cofibracion

,el siguiente diagrama conmuta
id
X 0AI X 0AI
k
r
X I
X 0AI
luego r es la retraccion
Supongamos que r : X I X 0 A I es una retraccion , sean Y un
espacio topologico, f : X Y y G : A I Y tales que G |A0 = f |A .
Veamos la existencia de una aplicacion continua H : X I Y tal que el
siguiente diagrama
f G
X 0AI Y
k
H
X I
Y
conmute , en efecto, tomando H como la composicion
X I X 0 A I f GY
tenemos el resultado
Proposici
on 2.3.2 Sean : A X, : A Y y : X Y aplicaciones
continuas tales que = . Supongamos que admite inverso izquierdo ,
entonces es cofibracion si es cofibracion
Demostraci
on .- Sea Y un espacio topologico , : Y X inverso izquierdo
de . Dado el diagrama conmutativo
g
A PA
0
X
Veamos la existencia de una aplicacion continua h : X P A tal que

h = g, 0 h = f , en efecto, en el diagrama
g
A = A PA
0
Y
tenemos f = f = 0 g pues = . Com es una cofibracion existe L : Y P A tal que L = g y 0 L = f . Pongamos h = L : X P A, tenemos h = L = L = g y
25
0 h = 0 L = f = f .
Dada una aplicacion : A X la aplicacion cilindro M () es definida
como el push out
j
M () X
H
1
AI A
Tenemos el siguiente diagrama
H
A P M ()
1
X
M ()
donde H esta definido por H(a)(t) = H(a, t) y 1 (f ) = f (1). El diagrama

resulta conmutativo, en efecto, 1 (H(a)) = H(a)(1) = H(a, 1) = H1 (a) =
j (a) para todo a A o sea 1 H = j
Si es una cofribacion , existe h : X P M () tal que h = H y 1 h = j.
Ahora ,1 h = 1 H luego es un encaje , esto prueba la siguiente
Proposici
on 2.3.3 Si : A X es una cofibracion entonces es un encaje
De acuerdo a esta proposicion sin perdida de generalidad podemos
restringirnos al caso cuando A es un sub espacio de X y la inclusion
Proposici
on 2.3.4 Si A es contraible y j : A , X es una cofibracion,
es una equivalencia homotopica
entonces la aplicacion cociente p : X X
A
Demostraci
on.- Sea a0 punto base de A : Como A es contractible, existe
una homotopa H : A I A tal que H(a, 0) = idA y H(a, 1) = a0 para
X tal que p q ' id y q p ' id ,
todo a A. Veamos la existencia q : X
A
en efecto, tenemos el siguiente diagrama conmutativo
A
k
j0
id
X
X
F %
X I
k
A AI
jH
Como j es cofibracion , existe F : X I X tal que F (j 1) = j H y

F j0 = idX tenemos Ft : X X definido por Ft (x) = F (x, t), en particular
F0 (x) = F (x, 0) = x = 1X (x) y F1 (a) = F (a, 1) = j H(a, 1) = a0 constante
26
H-espacios
para todo a A , Luego F1 induce una aplicacion continua q :

hace conmutativo al diagrama
X
A
X que
X 1 X
p %q
X
A
luego F : X I X es una homotopa entre la identidad y q p en

efecto, F (x, 0) = x y F (x, 1) = F1 (x) = q p(x)
Definamos una aplicacion continua
G:
X
X
I
A
A
por
G(p(x), t) = p Ft (x)
G es una homotopa entre la identidad y p q
2.4.
H-Espacios
Los espacios topologicos considerados en esta seccion son los espacios

topologicos con punto base y las aplicaciones continuas son las que preservan
punto base. Y X denota el espacio de funciones que preservan punto base con
la topologa compacta abierta y [X, Y ] el conjunto de clases de homotopa
que preservan punto base de aplicaciones que preservan punto base de X en
Y. Queremos dotar de una estructura algebraica a este conjunto para ello es
necesario introducir los espacios de Hopf
Definici
on 2.4.1 Un espacio topologico Y con punto base y0 es un H- espacio si existe una aplicacion continua
:Y Y Y
llamada multiplicaci
on, tal que si c : Y Y es una constante , c(y) = y0 ,
entonces es una identidad salvo homotopa , es decir, las composiciones
Y
Y
(c,idY )
(idY ,c)
Y Y Y
homotopicas a la identidad idY
Y Y Y
27
Un H-espacio Y es homot
opicamente asociativo si el diagrama
Y Y Y
idY
Y Y
idY
Y Y
conmuta salvo homotopa

Un H-espacio Y es homot
opicamente conmutativo si el diagrama
Y Y
Y Y
=
Y
conmuta salvo homotopa ,donde T (x, y) = (y, x)

Una aplicacion : Y Y es un inverso homot
opico si el diagrama
Y Y
Y Y Y
(, idY )
k
(idY , )
c
c
Y
Y
Y
Definici
on 2.4.2 Un H-espacio es un H-grupo si es homotopicamente
asociativo con inverso homotopico
Proposici
on 2.4.1 Sea Y un H-grupo y sea X un espacio de Hausdorff con
punto base . Entonces Y X es un H-grupo
Demostraci
on.- Sea : Y Y Y la multiplicacion con inverso homotopico : Y Y y sea : Y X Y X Y X el homeomorfismo.La
multiplicacion en Y X
:YX YX YX
se define como
= idX
donde idX : (Y Y )X Y X , idX (g) = g . El inverso homotopico
:YX YX
se define como = idX . La multiplicacion es asociativa con inverso homotopico por consiguiente Y X un H-grupo
28
H-espacios
Ejemplo 17 Espacio de lazos . Sea Y un espacio topologico con punto

base y0 su espacio de lazos (Y ) tiene una estructura de H-grupo , en efecto,
la multiplicacion
: Y Y Y
esta definida por

(, ) =
(2t)
0 t 21
(2t 1) 21 t 1
para todo , Y , es continua. Si c : Y Y es la aplicacion

constante 0 : I Y , 0 (t) = y0 . Veamos que (0 , ) ' y (, 0 ) '
para todo Y , en efecto, la homotopa
H : Y I Y
es definida por

H(, s)(t) =
2t
( 1+s
) 0 t 1+s
2
1+s
y0
1
2
Para ver que es homotopicamente asociativo debemos construir una

homotopa entre (, idY ) y (idY , ), en efecto, la homotopa
H : Y Y Y I Y
esta definida por
4t
)
( 1+s
(4t 1 s)
H(, , , s)(t) =
( 4t2s
)
2s
0 t 1+s
4
1+s
2+s
4
4
2+s
1
4
El inverso homotopico : Y Y esta dada por ()(t) = (1 t).

Veamos (, idY ) ' c y (1Y , ) ' c ,en efecto, la homotopa
H : Y I Y
esta definida por

H(, s)(t) =
(2(1 s)t)
0 t 21
(2(1 s)(1 t)) 12 t 1
Definici
on 2.4.3 Si X e Y son H - espacios y f : X Y una aplicacion
continua preservando punto base , diremos que f es una H-aplicaci
on si el
diagrama
X
X X
X
f f
f
Y
Y Y Y
29
Si este diagrama conmuta estrictamente , diremos que f es homomorfismo

. Es claro que cualquier homomorfismo es una H-aplicacion pero el reciproco
no es verdad en general
Teorema 2.4.1 Si Y es un H-grupo, entonces [X, Y ] es un grupo para cualquier espacio X con punto base
Demostraci
on.- Definamos una operacion binaria
: [X, Y ] [X, Y ] [X, Y ]
([f ], [g]) = [f g]
donde f g = (f g) 4X
0
Veamos que esta operacion esta bien definida, en efecto, sean f , g :

0
0
X Y aplicaciones continuas tales que f ' f , g ' g entonces existen
0
0
homotopas F : f ' f y G : g ' g. Definamos la aplicacion
M :X X I Y Y
por
M (x, y, t) = (F (x, t), G(y, t))
0
M es una homotopa entre f g y f g, luego

0
f g = (f g ) 4X
' (f g) 4X
=f g
Veamos la propiedad asociativa , en efecto
(f g) h =
((f g) h) 4
=
(( (f g) 4) h) 4
= (( id) (f g h) (4 id)) 4
' ((id ) (f g h) (id 4)) 4
=
(f (g h) 4) 4
=
(f (g h)) 4
=
f (g h)
Veamos la existencia del elemento neutro; en efecto, sea c : X Y la
aplicacion constante c(x) = y0 para todo x X
f c = (f c) 4
=
i1 f
'
idY f
=
f
30
H-coespacios
donde i1 : Y Y Y definida por i1 (y) = (y, y0 ) . De la misma manera se

prueba que c f ' f
Veamos la existencia del inverso, en efecto, sea : X Y el inverso
homotopico
( f ) f = (( f ) f ) 4
= ( id) 4 f
'
c
de la misma manera se prueba f ( f ) ' c
Proposici
on 2.4.2 Sea Y un H-grupo, X e Y espacios con punto base, una
aplicacion f : X Z preservando punto base induce un homomorfimo de
grupos
f : [Z, Y ] [X, Y ]
Demostrac
on.- La aplicacion f : [Z, Y ] [X, Y ] esta definida por
f [g] = [g f ]. Veamos que esta bien definida, en efecto, si h ' g entonces
existe una homotopa H : Z I Y tal que H(z, 0) = h(z) y H(z, 1) = g(z)
la composicion
f id
H
X I I Z I Y
es la homotopa entre h f y g f , luego
(g h) f =
(g h) 4 f
= (g h) (f f ) 4
= (g f h f ) 4
=
gf hf
Corolario 2.4.1 Si f es una equivalencia homotopica entonces f es un isomorfismo de grupos
Demostrac
on.-Si f es una equivalencia homotopica , existe una aplicacion continua g : Z X tal que g f ' idX y f g ' idZ . Como
(g f ) = f g , idX = id , (g f ) = (idX ) y (f g) = (idZ ) tenemos el
isomorfismo
2.5.
H-Coespacios
Sean X e Y espacios con punto base x0 y y0 respectivamente . Su producto

cartesianoX Y es un espacio con punto base x0 y0 . El producto reducido
o cu
na de X e Y , X Y , es un sub espacio de X Y
X Y = X {y0 } {x0 } Y
31
Sean f : X Z, g : Y Z aplicaciones continuas preservando punto

base . Definamos la aplicacion
< f, g >: X Y Z
por

< f, g > (x, y) =
f (x) si
g(y) si
y = y0
x = x0
Sean f : X Y , g : Z Q aplicaciones continuas preservando punto

base .Definamos la aplicacion preservando punto base
f g :X Z Y Q
por
(f g)(x, z) = (f (x), g(z))
Definici
on 2.5.1 Un espacio topologico X con punto base x0 es un Hcoespcio si existe una aplicacion continua
:X X X
llamada comultiplicacion tal que si c : X X es la aplicacion constante
con valor el punto basico, c(x) = x0 para todo x X , entonces es una
coidentidad salvo homotopa , es decir, las composiciones
(idX ,c)
(c,idX )
X X X X
X X X X
son homotopicos a la identidad idX
Un H- espacio X es homot
opicamente coasociativo, si el diagrama
X
X X
iX
X X
idX
X X X

Una aplicacion : X X es un coinverso homot
opico si el diagrama
X X X X X
(idX , )
k
(, idX )
c
c
X
X
X
32
H-coespacios
es conmutativo salvo homotopa.

Un H- espacio X es homotopicamente coconmutativo, si el diagrama
X
=
X
T
X X X X
es conmutativo salvo homotopa , donde T (x, y) = (y, x)
Definici
on 2.5.2 Un H- coespacio es un H-cogrupo si es homotopicamente coasociativo con coinverso homotopico
Definici
on 2.5.3 Si X e Y son H-coespacios y f : X Y es una aplicacion
continua preservando punto base, diremos que f es un H-coaplicacion si el
diagrama
X
X
X X
f
f f
Y
Y
Y Y
Proposici
on 2.5.1 Sea X un espacio de Hausdorff con punto base . Supongamos que X es H-cogrupo con comultiplicacion : X X X . Entonces
Y X es un H-grupo
Demostraci
on Sea : X X X la comultiplicacion con coinverso
homotopico : X X y sea : Y X Y X Y XX el homeomorfismo . La
multiplicacion en Y X
:YX YX YX
se define como
= idY
donde idY : Y XX Y X , idY (f ) = idY f . El inverso homotopico
:YX YX
se define como = idY
La multiplicacion es asociativo con inverso por consiguiente Y X un Hgrupo
33
[0,1]
I
= {0,1}
,S 1 es un H-cogrupo con la coEjemplo 18 S 1 se identifica con I
multiplicacion : S 1 S 1 S 1 definido por

(2t, )
0 t 21
(t) =
(, 2t 1) 12 t 1
y un coinverso homotopico (t) = 1 t

Corolario 2.5.1 n Y es un H-espacio para n 1
Proposici
on 2.5.2 Sean X e Y espacios con punto base . Supongamos que
X es H-cogrupo. Entonces X Y es H-cogrupo
Demostraci
on.Sea : X X X la comultiplicacion en X con coinverso : X X . La comultiplicacion
: X Y (X Y ) (X Y )
esta definida por
= g ( idY )
donde g : (X X) Y (X Y ) (X Y ) es un homeomorfismo
El coinverso
:X Y X Y
esta definida por
= idY
La comultiplicacion es homotopicamente asociativo con coinverso , luego
X Y es un H-cogrupo
Sea X un espacio con punto base . La n-
esima suspenci
on de X es
definido por
n X = S n X
Por la proposicion 2,5,2 como S 1 es un H-cogrupo
n X = (S 1 S 1 ... S 1 ) X = S 1 n1 X
es H-cogrupo ,hemos probado la siguiente
Proposici
on 2.5.3 Sea X un espacio con punto base . Entonces n X es un
H-cogrupo para n 1
34
H-coespacios
Teorema 2.5.1 Sea Y un espacio con punto base y X un H-cogrupo . Entonces [X, Y ] es un grupo
Demostraci
on.Definamos una operacion binaria
: [X, Y ] [X, Y ] [X, Y ]
([f ], [g]) = [f g]
donde f g = 5 (f g)
0
Veamos que esta operacion esta bien definida, en efecto, sean f , g : X

0
0
0
0
Y aplicaciones continuas tales que f ' f , g ' g entonces f g ' f g,
0
0
0
0
luego f g = 5 (f g) ' 5 (f g ) = f g pasando a clases se
tiene la igualdad . El elemento neutro es la clase de la aplicacion constante.
El inverso de [f ] es [f ]
Proposici
on 2.5.4 Sea X un H-cogrupo, la aplicacion f : Y Z preservando punto base induce un homomorfismo de grupos
f : [X, Y ] [X, Z]
Demostraci
on.- La aplicacion
f : [X, Y ] [X, Z]
esta definida por
f [g] = [f g]
0
Veamos que esta bien definida , en efecto, si g ' g tenemos f g ' f g y

pasando a clases de homotopa obtenemos la igualdad Veamos que f es un
homomorfismo , en efecto,
f (g h) =
f 5 (g h)
' 5 (f g f h)
=
f gf h
Corolario 2.5.2 Si f es una equivalencia homotopica entonces f es un isomorfismo
Demostraci
on.- Como f es una equivalencia homotopica existe una aplicacion g : Z Y tal que g f ' idY y g f ' idZ , luego (g f ) = g f =
(idY ) = id y (f g) = f g = (idZ ) = id de aqu resulta que f es un
isomorfismo
35
Lema 2.5.1 Sea X un conjunto con dos multiplicaciones Y satisfaciendo

:
1. Existe e X tal que
xe=xe=x=ex=ex
para todo x X
0
2. (x x ) (y y ) = (x y) (x y ), para todo x, x , y, y X entonces

y son iguales y ambas son asociativas y conmutativas
Demostraci
on. Veamos que las operaciones y son iguales, en efecto,
x y = (x e) (e y) = (x e) (e y) = x y
Veamos que es conmutativo, en efecto,
x y = (e x) (y e) = (e y) (x e) = y x = y x
de la misma manera se prueba que es conmutativo
Veamos que es asiciativo, en efecto,
x (y z) = (x e) (y z) = (x y) (e z) = (x y) z
de la misma manera se prueba que es asociativo
Teorema 2.5.2 Sean X un H-cogrupo, Y un H- grupo entonces las dos multiplicaciones en [X, Y ] inducidas por y son iguales y ambas son asociativas
y conmutativas
Demostraci
on.-Sean [f ], [g] [X, Y ], la multiplicacion inducida por
esta dada por [f g] es la clase de homotpopa representada por la composicion
f g
X X X Y Y Y
La inducida por esta dada por [f g]es la clase de la homotopa representada por la composicion
4
f g
X X X Y Y Y
0
para hacer uso del lema 2.5.1 es suficiente probar que, para [f ], [f ], [g], [g ]
[X, Y ], se cumple la siguiente igualdad
0
([f ] [f ]) ([g] [g ]) = ([f ] [g]) ([f ] [g ])
36
H-coespacios
lo que es lo mismo
0
(f f ) (g g ) ' (f g) (f g )
esto es, el siguiente diagrama
44
X X X
k
X X X
(X X) (X X)
(f f )(gg )
(X X) (X X)
(Y Y ) (Y Y )
(f g)(f g )
(Y Y ) (Y Y )
55
Y Y
Y Y
debe conmutar salvo homotopa . Para ello bastara probar que los siguientes
diagramas conmutan
1.
44
X X X
k
X X X
(X X) (X X)
= (X X x0
id T id
(X x0 X x0 ) (x0 X x0 X)
(X X) (X X)
0
00
donde T (x, y) = (y, x) . Consideremos (x) = (x , x ) XX XX

( ) 4(x) =
( )(x, x)
=
((x), (x))
0
00
0
00
=
(x , x , x , x )
0
0
00
00
=
id T id(x , x , x , x )
0
00
= id T id (4 4)(x , x )
= id T id (4 4) (x)
xX
2.
0
(X X) (X X)
id T id
(f f )(gg )
(X x0 X x0 ) (x0 X x0 X)
(f,f ,g,g
(X X) (X X)
es inmediata la conmutatividad
(Y y0 Y y0 ) (y0 Y
(f g)(f g )
(Y Y ) (Y Y )
id T id
(Y Y ) (Y Y )
Teora de Homotopa elemental
37
3.
(Y Y y0 y0 ) (y0 y0 Y Y ) =
(Y Y ) (Y Y )
id T id
(Y y0 Y y0 ) (y0 Y y0 Y )
(Y Y ) (Y Y )
(5 5) id T id(y, y , y0 , y0 ) = (5 5)(y, y0 , y , y0 )
0
=
(y, y )
0
=
5((y, y ), y0 )
0
= 5 ( )(y, y , y0 , y0 )
de la misma manera se prueba
0
(5 5) id T id(y0 , y0 , y, y ) = 5 ( )(y0 , y0 , y, y )
Proposici
on 2.5.5 Sea X un H-cogrupo homotopicamente conmutativo , Y
un espacio con punto base , entonces [X, Y ] es un grupo abeliano
Demostraci
on.-Sean [f ], [g] [X, Y ] :Veamos f g ' g f ,en efecto,
f g =
5 (f g)
' 5 (f g) T
'
5 (g f )
=
gf
Corolario 2.5.3 Sea X un espacio con punto base, el n-esimo grupo de homotopa
n (X) = [S n , X]
es un grupo abeliano para n 2
2.6.
Construcci
on de James
Sea X un espacio con punto base , para cada k 0. Definamos

xk
Jk (X) =
donde X k = X
. . X} y es la relacion de equivalencia generada
| .{z
por
kveces
(x1 , x2 , x3 , ..., xi1 , , xi+1 , ..., xk ) (x1 , x2 , ....., xj1 , , xj+1 , ..., xk )
55
38
construccion de James
para cualquier 1 i, j k, esto es, el punto base conmuta en la k-

upla con
cualquier elemento. Los elementos de Jk (X) son denotadas por [x1 , x2 , ..., xk ]
Si k = 0 , Jk (X) =
Si k = 1, Jk (X) = X
La inclusion X k1 X k , (x1 , x2 , ..., xk1 ) , (x1 , x2 , ..., xk1 , ) induce
una aplicacion
ik : Jk1 Jk
tal que el diagrama
X k1
Xk
qk1
qk
ik
Jk1 (X) Jk (X)
conmuta donde qk : X k Jk (X) es la aplicacion cociente . Sea C subconjunto
1
cerrado de Jk1 (X) , como qk1 es continua qk1
(C) es cerrado en X k1 .
Veamos que ik (C) es cerrado en Jk (X)para ello basta probar que qk1 (ik (C))
es cerrado en X k , en efecto,
qk1 (ik (C)) = ki=1 Ei
donde Ei = {(x1 , ..., xi1 , , xk+1 , ...xk ) X k : (x1 , ..., xi1 , xk+1 , ...xk )
1
1
(C)) ,
qk1
(C)} es cerrado en X k debido a que Ei = X i1 X ki i1 (qk1
k
k1
i : X X , i (x1 , ...., xk ) = (x1 , ...xi1 , xi+1 , ..xk ) es la proyeccion coordenada . Luego ik aplica Jk1 (X) homeomorficamente sobre el sub espacio
cerrado ik (jk1 (X)) de Jk (X) , podemos identificar Jk1 (X) con un sub espacio cerrado de Jk (X)
Tenemos
= X 0 X 1 X 2 ......X k X k+1 ....
Definici
on 2.6.1 Definimos la Construcci
on de James por
J(X) = k0 Jk (X)
J(X) es un espacio topologico con la topologa debil y cada Jk (X) es un sub
espacio cerrado de J(X)
Proposici
on 2.6.1 Sea X un espacio de Hausdorff localmente compacto con
punto base , entonces J(X) es un H- espacio estrictamente asociativo con la
siguiente propiedad universal: Cualquier aplicacion f : X M en un H- espacio estrictamente asociativo M, puede extenderse a una u
nica H- aplicacion
39
f : J(X) M , esto es, el siguiente diagrama conmuta

J(X)
q
&f
Demostraci
on .- Tenemos el siguiente diagrama conmutativo
Xn Xm =
qn q m &
qn+m
X n+m
Jn+m (X)
nm %
Jn (X) Jm (X)
esto es nm (qn qm ) = qmn . Com X es localmente compacto de Hausdorff
qn qm es una aplicacion cociente
nm ([x1 , .., xn ], [y1 , ..., ym ]) = [x1 , ..., xn , y1 , ..., ym ]
nm induce una u
nica aplicacion
: J(X) J(X) J(X)
tal que el diagrama
nm
Jn (X) Jm (X)
J(X) J(X)
Jn+m (X)
J(X)
conmuta para cualquier n,m . Sea C un conjunto cerrado en J(X). Veamos

que 1 (C) es cerrado en J(X) J(X), en efecto, C Jn+m (X) es cerrado
en Jn+m (X) para cualquier n,m y 1
nm (C Jn+m (X)) es cerrado en Jn (X)
Jm (X) luego
1 (C) (Jn (X) Jm (X)) = 1
nm (C Jn+m (X))
es cerrado en Jn (X) Jm (X) lo que prueba que es continua , luego
J(X) es un H-espacio con multiplicacion : J(X) J(X) J(X)
Podemos definir
f : J(X) M
por
f ([x1 , x2 , ..., xk ]) = f (x1 )f (x2 )....f (xk )
f es una H-aplicacion que hace conmutativo el siguiente diagrama
J(X)
q
&f
40
construccion de James
esto es , f q = f
Observaci
on .- La proposicion sigue siendo valida si reemplazamos a
M por un H-espacio homotopicamente asociativo en este caso el diagrama
resulta ser homotopicamente conmutativo
Denotemos por X (n) = X
. . X}
| .{z
nveces
Proposici
on 2.6.2 Para cada n
Jn (X)
X (n)
Jn1 (X)
Demostraci
on.- Sean qn : X n Jn (X), pn : X n X (n) las aplicaciones
cociente. La aplicacion pn : X n X (n) se factoriza atraves de Jn (X) , esto
es existe una aplicacion p0n : Jn (X) X (n) tal que el siguiente diagrama
conmuta
pn
X (n)
Xn
qn &
% p0n
Jn (X)
p0n
o sea p0n qn = pn , p0n es una aplicacion cociente . Como p0n (Jn (X)) = ,
induce una aplicacion
p00n :
Jn (X)
X (n)
Jn1 (X)
es un homeomorfismo por ser inyectiva, sobre y una aplicacion cociente

Definici
on 2.6.2 Dado un espacio X con punto base . Definamos la Suspenci
on de Freudental E : X X como la aplicacion adjunta a la
aplicacion identidad X X
Esto es, dado x X , E(x) es un lazo en X dada por E(x)(t) = [x, t]
X . La aplicacion E suele pensarse como la inclusion de X en X
Considerando M = X y f = E en el diagrama anterior obtenemos
una u
nica H- aplicacion
: J(X) X
tal que el siguiente diagrama conmuta
J(X)
&
X
X
41
Aun mas en el caso que X es un CW-complejo, que sera definido en el

proximo captulo, : J(X) X resulta ser una equivalencia homotopica
Teorema 2.6.1 (Teorema de James) Si X es un CW- complejo conectable
por trayectorias ,entonces
1. : J(X) X es una equivalencia homotopica debil
2. Existe una equivalencia homotopica
(J(X)) ' k0 X k
conocida como la Descomposici
on de James
2.7.
Desviaci
on de aplicaciones entre H-espacios
Dados X, Y H-espacios conviene saber si una aplicacion arbitraria f :

X Y es o no un H-aplicacion, con este proposito se introduce una nueva
aplicacion D(f ) : X X Y conocida como la desviacion de f.
Definici
on 2.7.1 Sea X un espacio con punto base x0 el fat-wedge, F Wk (X)
de X es el sub espacio de X k = |X .{z
. . X}
kveces
F Wk (X) = {(x1 , x2 , ..., xk ) X k : xj = x0 para algun j}

Si k = 1, F W1 (X) = {x0 }
Si k = 2, F W2 (X) = X X
Si k 3 tenemos X X ... X F Wk (X)
Definici
on 2.7.2 Un espacio X tiene categora n si la aplicacion diagonal
n+1 : X X n+1 se factoriza atraves de F Wn+1 (X), esto es, si existe una
aplicacion
n+1 : X F Wn+1 (X)
tal que el siguiente diagrama
X
& n+1
n+1
X n+1
%j
F Wn+1 (X)
donde j : F Wn+1 (X) X n es la aplicacion inclusion ,es homotopicamente conmutativo
42
desviaciones de aplicaciones
Observaci
on .-Una condicion equivalente para que un espacio con punto
base tenga categora n es que tenga un cubrimiento abierto de exactamente
n abiertos contraibles en X
Lema 2.7.1 Si A tiene categora n entonces tiene categora m para todo
mn
Demostraci
on.- Bastara probar que A tiene categora n+1 para afirmar
que A tiene categora m para m > n. Veamos que la diagonal 4 : A An+2
se factoriza atraves de F Wn+2 , en efecto, sea t : An+1 An+2 la inclusion
0
0
t(a1 , a2 , ..., an+1 ) = (a1 , a2 , ..., an+1 , an+1 ) tenemos t 4 = 4 4 : A An+1
es la aplicacion diagonal. Como A tiene categora n existe una aplicacion
n+1 : A F Wn+1 (A) que hace homotopicamente conmutativo el siguiente
diagrama
A
& n+1
n+1
An+1
i1 %
F Wn+1 (X)
0
o sea i1 n+1 ' entonces existe una homotopa H : A I An+1

0
tal que H(a, 0) = i1 n+1 (a) y H(a, 1) = (a) .Como t(F Wn+1 ) F Wn+2
pongamos n+2 = t n+1 como queremos que el diagrama
A
& n+2
An+2
i2 %
F Wn+2 (X)
homotopicamente conmute o sea i2 n+2 ' 4, definamos una homotopa
H : A I An+2
por
H =tH
tenemos
H(a, 0) = t H(a, 0) = t i1 n+1 (a) = i2 t n+1 (a) = i2 n+2 (a)
0
H(a, 1) = t H(a, 1) = t 4 (a) = 4(a)

esto prueba que i2 n+2 ' 4
43
Hemos definido anteriormente que una aplicacion f : X Y entre Hespacios es una H- aplicacion si el diagrama siguiente es homotopicamente
conmutativo
f f
X X Y Y
X
Y
f
esto es, f X ' Y (f f )

Definici
on 2.7.3 Sean X un H- espacio , Y un H-grupo y f : X Y una
aplicacion , la desviaci
on de f es la aplicacion
D(f ) : X X Y
dada por
D(f )(x1 , x2 ) = f (x2 )1 .f (x1 )1 f (x1 .x2 )Y (f X (x1 , x2 ), Y (f (x2 )1 , f (x1 )1 )
donde X es la multiplicacion en X y Y la multiplicacion en Y
La desviacion tiene las siguientes propiedades :
1. f es una H- aplicacion si, y solo si D(f ) '
2. Sea Z un H- grupo y g : Y Z una H- aplicacion , entonces
D(gf ) = gD(f )
Definici
on 2.7.4 Las desviaciones superiores Dn (f ) : X n Y se definen
por induccion como sigue:
D1 (f ) = f
D2 (f ) = D(f )
.
.
.
Dn (f )(x1 , x2 , ..., xn ) = (Dn1 (f )(x1 , ..., xn2 , xn ))1 Dn1 (f )(x1 , ..., xn1 ))1
Dn1 (f )(x1 , ..., xn2 , xn1 .xn ))
Proposici
on 2.7.1 La restriccion de Dn (f ) a F Wn (X),Dn (f ) |F Wn (X) , es
una aplicacion nulohomotopico
44
sucesion exacta
Demostraci
on .- Veamos por induccion en n. Para n = 1 , D1 (f ) |F W1 (X)
es la aplicacion que manda punto base en el punto base es una aplicacion
nulohomotopico.
Ahora supongamos por hipotesis de induccion que el resultado vale para n o sea Dn (f ) |F Wn (X) es nulohomotopico . Veamos para n + 1 o sea
que Dn+1 (f ) |F Wn+1 (X) es nulohomotopico, en efecto, sea (x1 , x2 , .., xn+1 )
F Wn+1 (X) tenemos
Dn+1 (f )(x1 , x2 , ..., xn+1 ) = (Dn (f )(x1 , ..., xn1 , xn+1 ))1
(Dn (f )(x1 , ..., xn ))1 Dn (f )(x1 , ..., xn1 , xn .xn+1 )
por hipotesis de induccion el primer o segundo factor son nulohomotopicos
los dos terminos restantes se cancelan salvo homotopa
2.8.
Sucesi
on exacta de Barrat- Puppe
Sean A y B conjuntos de puntos con punto base a0 ,y b0 respectivamente

, f : A B una funcion que preserva punto base
Denotaremos Ker(f ) = f 1 (b0 ) la pre- imagen del punto base b0
Una sucesion de conjunto con punto base y aplicaciones que preservan
punto base
fn+1
fn1
fn
.... An+1 An An1 ...
se denomina exacta si cada aplicacion fn preserva punto base y Ker(fn ) =
Im(fn+1 )
Sean X e Y espacios topologicos que preservan punto base y [X, Y ] denota
el conjunto de las clases de homotopa de aplicaciones que preservan punto
base bajo la relacion de homotopa que preservan punto base .
Proposici
on 2.8.1 Sea f : X Y una aplicacion preservando punto base
y j : Y Y f CX la inclusion, entonces la sucesion
j
[Y f CX, Z] [Y, Z] [X, Z]

es exacta para cualquier espacio Z con punto base
Demostraci
on .- Veamos Im(j ) Ker(f ) , en efecto, sea [h] Im(j )
entonces existe [g] [Y f CX, Z] tal que j [g] = [g j] = [h] o sea h ' g j.
45
Para que [h] Ker(f ) f [h] = [h f ] = [constante] o sea h f '

constante relativo al punto base , pero h f ' g j f ' constante relativo
al punto base .Por lo tanto, bastara probar que j f ' Constante raltivo al
punto base , en efecto, tenemos el diagrama siguiente conmutativo
p
X I
i0
X
CX
i
jf
Y f CX
donde i0 (x) = (x0 , 0), p : X I CX la proyeccion. La composicion

i p es una homotopa entre j f y la aplicacion constante relativo al punto
base
Veamos Ker(f ) Im(j ), en efecto, sea [] Ker(f ) entonces f [] =
[ f ] = [constante] o sea f ' constante , existe una homotopa
H :X I Z
tal que H(x, 0) = f (x), H(x, 1) = z0 , H(x0 , t) = z0 . Para que []
Im(j ) s, y solo si exite [h] [Y f CX, Z] tal que j [h] = [h j] = [] o
sea h ' j tenemos el siguiente diagrama conmutativo
H
X I Z
q
H
CX
= CX
o sea H q = H donde q es la aplicacion cociente . Tenemos la aplicacion
H : Y CX Z y el siguiente diagrama conmuta
Y CX
p
Y f CX
e
Y f CX
y
e |Y = o sea
e j = esto prueba [] Im(j
Dada una aplicacion continua F : X Y existe una sucesion de espacios
y aplicaciones
f
X Y Y f CX (Y f CX)j CY ((Y f CX)j CY )k C(Y f CX) ....

Proposici
on 2.8.2 Tenemos las siguientes afirmaciones:
1. (Y f CX) j CY es homotopicamente equivalente a la Y
46
sucesion exacta
2. ((Y f CX) j CY ) k C(Y f CX) es homotopicamente equivalente a
la X
Demostraci
on .-(1)
(Y f CX)j CY
CY
'
'
=
Y f CX
Y
CX
X
(2)
((Y f CX)j CY )k C(Y f CX)
C(Y f CX)
'
'
'
((Y f CX)j CY )
Y f CX
CY
Y
Proposici
on 2.8.3 El siguiente diagrama es homotopicamente conmutativo
(Y f CX) j CY
'
X
, ((Y f CX) j CY ) k C(Y f CX)

'
f
Como consecuencia de las proposiciones anteriores tenemos el siguiente :

Teorema 2.8.1 (Barrat- Puppe) Sean X,Y espacios topologicos con punto
base y f : X Y , una aplicacion preservando punto base. Entonces existe
una sucesion exacta larga
... [Y f CX, Z] [Y, Z] [X, Z] [Y f CX, Z] [Y, Z] [X, Z]
para cualquier Z espacio topologico con punto base
Captulo 3
TEORIA DE HOMOLOGIA
Comenzaremos este captulo enunciando los axiomas de Eilenberg-Steenrod
para luego construir un funtor de homologa de la categora de parejas de espacios topologicos a la categora de grupos abelianos que verifiquen estos
axiomas y como consecuencia tendremos la homologa singular
3.1.
Axiomas de Eilenberg -Steenrod
Sea (X,A) una pareja de espacios topologicos, esto es, A un sub espacio
de X y f : (X, A) (Y, B) una aplicacion de parejas de espacios , esto es,
es una aplicacion continua f : X Y tal que f (A) B
A la categora cuyos objetos son parejas de espacios topologicos y los
morfismos aplicaciones de parejas se denomina Categora de parejas de
espacios y se denota T OP 2
Si f, g : (X, A) (Y, B) son aplicaciones de parejas . Se dice que f
es homotopico a g y denotado por f ' g si existe una aplicacion continua
F : X I Y tal que F (x, 0) = f (x), F (x, 1) = g(x) y F (A I) B, esto
es , la homotopa F es una aplicacion
F : (X, A) I = (X I, A I) (Y, B)
Definici
on 3.1.1 Una Teora de Homologa h es una familia de funtores covariantes de la categora de parejas de espacios topologicos a la categora
de grupos abelianos
hn : T P O2 GA
para n Z, junto con transformaciones naturales
47
48
Axiomas de Eilenberg-Steenrod
: hn (X, A) hn1 (A)

para cualquier n Z y cualquier pareja de espacios (X, A) llamado homomorfismo de conexion , satisfaciendo los siguientes axiomas:
1. Axioma (Naturalidad) Para cualquier aplicacion f : (X, A) (Y, B)
el diagrama siguiente conmuta
hn (X, A)
hn1 (A)
fn
(f |A )n1
hn (Y, B)
hn1 (B)
2. Axioma (exactitud )Para cualquier pareja de espacios (X, A) existe

n+1
jn
n
n
... hn+1 (X, A) hn (A)
..
hn (X) hn (X, A)
donde i : (A, ) (X, ) y j : (X, ) (X, A) son las aplicaciones

inclusion
3. Axioma (homotopa )Si f, g : (X, A) (Y, B) son aplicaciones homotopicas , f ' g, entonces f = g : h (X, A) h (Y, B)
4. Axioma (Escision) Si U es un sub conjunto abierto de X cuya clausura ,U , esta contenido en el interior de A, Int(A),( esto es, U V A
para alg
un conjunto abierto V)entonces la inclusion j : (X U, A
U ) (X, A) induce un isomorfismo
j : hn (X U, A U ) hn (X, A)
para cada n Z
5. Axioma(dimension) Sea P un espacio que consiste de un solo punto,
entonces hn (P ) = 0 para n 6= 0
Una teora de homologa generalizada es una teora de homologa
h que satisface los primeros cuatro axiomas excepto el axioma dimension
Una teora de homologa ordinaria es una teora de homologa h que
satisface los cinco axiomas
Teora de Homologa
49
En este caso , h (X, A) se denomina la homologa de la pareja (X,A)

con coeficientes en G = h0 (P ) y es denotado por H (X, A; G). Escribiremos
H (X, A) para la homologa entera H (X, A; Z)
Proposici
on 3.1.1 El axioma 3 es equivalente a la siguiente afirmacion:
Sean j0 , j1 : (X, A) (X, A) I aplicaciones definidas por j0 (x) = (x, 0),
j1 (x) = (x, 1) entonces j0 = j1
Demostraci
on .- Supongamos que se cumple el axioma 3 y sean j0 , j1 :
(X, A) (X I, A I)las aplicaciones definidas por j0 (x) = (x, 0), j1 (x) =
(x, 1) .Veamos j0 = j1 , en efecto, definamos una aplicacion continua
F : (X, A) I (X, A) I
por
F (x, t) = (x, t)
tenemos F (x, 0) = (x, 0) = j0 (x) ,F (x, 1) = (x, 1) = j1 (x) y F (AI) AI
. Luego F : j0 ' j1 y por el axioma 3 tenemos j0 = j1
Ahora supongamos que las aplicaciones f, g : (X, A) (Y, B) son homotopicos f ' g y se cumple la afirmacion . Veamos f = g , en efecto,
como f ' g existe una aplicacion continua F : (X, A) I (Y, B) tal que
F (x, 0) = f (x) , F (x, 1) = g(x) y F (A I) B
tenemos
F j0 (x) = F (x, 0) = f (x)
F j1 (x) = F (x, 1) = g(x)
luego como j0 = j1 tenemos
f = (F j0 ) = F j0 = F j1 = (F j1 ) = g
Proposici
on 3.1.2 El axioma 4 es equivalente a la siguiente afirmacion:
Sean X1 , X2 sub espacios de X tales que X1 es cerrado y X = Int(X1 )
Int(X2 ). Entonces la inclusion i : (X1 ; X1 X2 ) (X; X2 ) induce un isomorfismo
i : hn (X1 ; X1 X2 )
= hn (X; X2 )
Demostraci
on .- Supongamos que se cumple el axioma 4 y que X1 y
X2 son subespacios de X tales que X1 es cerrado y X = Int(X1 ) Int(X2 ).
Veamos i : hn (X1 ; X1 X2 ) hn (X; X2 ) es un isomorfismo , en efecto,
50
Axiomas de Eilenberg-Steenrod
pongamos A = X2 y U = X X1 , luego como X1 es cerrado en X , U es

abierto en X, la clausura de U
U CX1 C(Int(X1 )) Int(X2 ) Int(A)
como
X U = X (X X1 ) = X1
A U = X2 (X X1 ) = X1 X2
la inclusion i : (X U ; A U ) = (X1 ; X1 X2 ) (X A) = (X, X2 ) por
axioma 4 induce un isomorfismo
i : hn (X; X1 X2 ) hn (X, X2 )
para cada n
De la misma manera se prueba la implicacion que falta
Definici
on 3.1.2 Una teora de cohomologa h es una familia de funtores contravariantes de la categora de parejas de espacios topologicos a la
categora de grupos abelianos
hn : T P O2 GA
para n Z, junto con transformaciones naturales
: hn (X, A) hn1 (A)
para cualquier n Z y cualquier pareja de espacios (X, A) llamado homomorfismo de conexi
on , satisfaciendo los siguientes axiomas
1. Axioma (Naturalidad) Para cualquier aplicacion f : (X, A) (Y, B)
el diagrama siguiente conmuta
hn (X, A)
hn1 (A)
fn
(f |A )n1
hn (Y, B)
hn1 (B)
2. Axioma (exactitud )Para cualquier pareja de espacios (X, A) existe

n+1
jn
n
... hn+1 (X, A) hn (A)
hn (X) hn (X, A) ..
donde i : (A, ) (X, ) y j : (X, ) (X, A) son las aplicaciones

inclusion
Teora de Homologa
51
3. Axioma (homotopa ) Si f, g : (X, A) (Y, B) son aplicaciones

homotopicas , f ' g entonces f = g : h (X, A) h (Y, B)
4. Axioma (Escision) Si U es un sub conjunto abierto de X cuya clausura
U esta contenido en el interior de A, Int(A),( esto es, U V A para
alg
un conjunto abierto V)entonces la inclusion j : (X U, A U )
(X, A) induce un isomorfismo
j : hn (X U, A U ) hn (X, A)
para cada n Z
5. Axioma (dimension) Sea P un espacio que consiste de un solo punto,
entonces hn (P ) = 0 para n 6= 0
Una teora de cohomologa generalizada es una teora de cohomologa h
que satisface los primeros cuatro axiomas execpto el axioma de la dimension
Una teora de cohomologa ordinaria es una teora de cohomologa h
que satisface los cinco axiomas
En este caso , h (X, A) se denomina la cohomologa de la pareja (X,A)
con coeficientes en G = h0 (P ) y es denotado por H (X, A; G). Escribiremos
H (X, A) para la cohomologa entera H (X, A; Z) que estudiaremos en el
proximos captulos
3.2.
Homologa de complejo de cadenas
Definici
on 3.2.1 Un complejo de cadenas C = (Cq , q ) es un par de
sucesiones: una de grupos abelianos (Cq )qZ y otra de homomorfismos q :
Cq Cq1 tal que q1 q = 0 para toda q Z.
Con frecuencia un complejo de cadenas es representado por un diagrama
de la forma
q+2
q+1
q1
q
.... Cq+1 Cq Cq1 .....
A los elementos de Cq se denominan q-cadenas
En las aplicaciones de estas nociones usualmente se considera Cq = 0 si
q < 0 ,esto es,
q
C : ....Cq Cq1 ...... 2 C1 1 C0 0

en este caso se denomina complejo de cadenas no negativo
52
complejo de cadenas
Definici
on 3.2.2 Un complejo de cadenas aumentado es un complejo
de cadenas no negativo con un epimorfismo : C0 Z tal que 1 = 0.
A un complejo de cadenas C = (Cq , q ) esta asociada de modo natural
ciertos subgrupos de Cq en cada dimension q.
Zq (C) = Kerq
Bq (C) = Imq+1
A los elementos de Zq (C) se denominan q- ciclos del complejo C y a los
de Bq (C) q-bordes del complejo C.
Definici
on 3.2.3 De la condicion q q+1 = 0 , para todo q, tenemos Bq (C)
Zq (C). Al grupo cociente
Zq (C)
Hq (C) =
Bq (C)
Se denomina el q-esimo grupo de homologa del complejo C
Los elementos de Hq (C) se denominan clases de homologa y si z Zq (C) ,
la clase de homologia a la cual z pertenece es denotada por z + Bq (C)
Definici
on 3.2.4 Dados dos complejos de cadenas (cq , q ) y C 0 = (c0q , q0 ).
Una aplicaci
on de cadenas : C C 0 es una familia de homomorfismos
= (q )qZ donde q : Cq Cq0 es tal que q0 q = q1 q , para toda
qZ
Podemos imaginar a una aplicacion de cadenas : C C 0 como una
escalera
q+1
q
... cq+1
cq cq1 ....
q
q
q1
... c0q+1
0
q+1
c0q
q0
c0q1
...
sujeto a la condicion que cada cuadrado de este diagrama constituye una

subdiagrama conmutativo
Proposici
on 3.2.1 Sean : C C 0 , 0 : C 0 C 00 dos aplicaciones de
cadenas , entonces 0 : C C 00 es una aplicacion de cadenas
Teora de Homologa
53
Demostraci
on .Sean C = (Cq , q )qZ , C 0 = (Cq0 , q0 )qZ y C 00 = (Cq00 , q00 )qZ ,
como = (q ) y 0 = (0q ) .Definamos
( 0 )q = 0q q
q Z
luego
( 0 )q1 q = 0q1 (q1 q )
= (0q1 q0 ) q
=
q00 (0q q )
=
q00 (0 )q
Definici
on 3.2.5 Sea C = (Cq , q ) un complejo de cadena .Un sub complejo de cadena es una sucesion de subgrupos Dq Cq y de homomorfismo
q0 : Dq Dq1 tal que q0 = q |Dq
Una sucesion de subgrupos Dq Cq define un subcomplejo s y solo si es
estable en relacion a los q , es decir ,q (Dq ) Dq1
Definici
on 3.2.6 Dado un subcomplejo D C el complejo cociente E =
C
es
el
complejo
de cadena E = (Eq , q )qZ donde
D
Eq =
Cq
Dq
q : Eq Eq1
se obtiene de q pasando al cociente ( visto que q (Dq ) Dq1 )

A los elementos de Eq =
actua seg
un la formula
Cq
Dq
denotaremos por c + Dq donde c Cq y q
q (c + Dq ) = (q (c)) + Dq1
Se verifica inmediatamente que q1 q = 0
La operacion de suma esta dada por:
c + Dq + c0 + Dq = (c + c0 ) + Dq
Proposici
on 3.2.2 Dada una aplicacion de cadenas : C C 0
1. (q (Cq )) define un subcomplejo de C 0
2. (Ker(q ))define un subcomplejo de C
54
complejo de cadenas
Demostraci
on Sean C = (Cq , q ) , C 0 = (Cq0 , q ) y Gq = q (Cq )
(1).- Veamos q0 (Gq ) Gq1 , en efecto, sea x q0 (Gq ) entonces existe y Gq ,
y = q (z) para alg
un z Cq tal que x = q0 (y) de aqu x = q0 (y) =
q0 (q (z)) = q1 q (z) Gq1
(2).- Veamos q0 (Ker(q )) Ker(q1 ) , en efecto, sea x q0 (Ker(q )),
x = q0 (y) para alg
un y Ker(q ), q (y) = 0 tenemos
q1 (x) = q1 q0 (y) = q0 q (y) = q0 (0) = 0
Estos subcomplejos seran denotadas por:
Ker() = (Ker(q ), q )
Im() = (q (Cq ), q0 )
Definici
on 3.2.7 Una sucesion
f
ABC
de grupos abelianos y homomorfismos es una sucesi
on exacta en B si
Im(f ) = Ker(g)
Una sucesion exacta de la forma
f
0ABC0
se denomina una sucesi
on exacta corta
Definici
on 3.2.8 Una sucesion exacta corta se denomina escindible o separable si una de las siguientes condiciones equivalentes se tiene
1. Existe un homomorfismo h : B A tal que h f = idA
2. Existe un homomorfismo : C B tal que g = idC
Definici
on 3.2.9 Un complejo de cadena C es un complejo acclico si
Hq (C) = 0 para toda q
Definici
on 3.2.10 Si C = (Cq , q ) ,C 0 = (Cq0 , q0 ) ,C 00 = (Cq00 , q00 ) son complejos de cadenas, = (q ) : C C 0 , = (q ) : C 0 C 00 aplicaciones de
cadenas . Diremos que la sucesion
C C 0 C 00
es exacta si la sucesion
Cq Cq0 Cq00
es exacta para cada q, es decir, Im(q ) = Ker(q )
homologa de complejo de cadenas
55
Ejemplo 19 Si D es un subcomplejo de C , i = (iq ) donde iq : Dq Cq las

inclusiones, i : D C es una aplicacion de cadenas.
C
Ejemplo 20 Sea E = D
el complejo cociente , j = (jq ) donde jq : Cq Eq
C
las proyecciones entonces j : C E = D
es una aplicacion de cadenas.
j
Proposici
on 3.2.3 La sucesion 0 D C
C
D
0 es exacta.
iq
Demostraci
on.- Para cada q la sucesion de grupos abelianos 0 Dq
jq Cq
Dq
Cq
0 es exacta.
Consideremos dos pares de complejos de cadena D C , D0 C 0 , una

aplicacion de cadenas : C C 0 tal que (D) D0 induce una aplicacion
en el cociente
Cq0
Cq
0
q :
Dq
Dq
Proposici
on 3.2.4 Si : (C, D) (C 0 , D0 ) es una aplicacion de pares de
C
C0
cadenas entonces : D
D
on de cadenas
0 es una aplicaci
Demostraci
onVeamos la conmutatividad del siguiente diagrama
Cq
Dq
q0
q
Cq1
Dq1
Cq0
Dq0
q1
0
Cq1
0
Dq1
en efecto
0
0
q0 q (c + Dq ) = q0 (q (c)) + Dq1
= q1 q (c) + Dq1
= q1 q (c + Dq )
3.3.
Homomorfismo inducido
Sea = (q ) : C = (Cq , q ) C 0 = (Cq0 , q0 ) una aplicacion de cadenas ,la

relacion q0 q = q1 q implica q (Zq (C)) Zq (C 0 ) y q (Bq (C)) Bq (C 0 )
luego q : Cq Cq0 para cada q, induce de modo natural un homomorfismo
de grupos de homologa
Hq () : Hq (C) Hq (C 0 )
Hq ()(cq + Bq (C)) = q (cq ) + Bq (C 0 )
denominado homomorfismo inducido
56
homomorfismo inducido
Proposici
on 3.3.1 El homomorfismo inducido tiene las siguientes propiedades:
1. Si : C C es la identidad ,entonces Hq () es la identidad
2. Si : C C 0 es nula ,entonces Hq () es nula.
3. Si : C C 0 y : C 0 C 00 son aplicaciones de cadenas entonces
Hq ( ) = Hq () Hq ()
Por comodidad denotaremos por ? en lugar de H() para el homomorfismo inducido en homologa por
Demostraci
on (1).- ?q (cq + Bq (C)) = q (cq ) + Bq (C) = cq + Bq (C)
(2).- ?q (cq + Bq (C)) = q (c) + Bq (C 0 ) = Bq (C 0 ) pues es nula
(3).- ( )?q (cq +Bq (C)) = ( )q (cq )+Bq (C 00 ) = ?q (?q (cq +Bq (C)) =
?q ?q (cq + Bq (C)
Proposici
on 3.3.2 Sean , : C C 0 aplicaciones de cadenas, entonces
+ : C C 0 es una aplicacion de cadenas,y
( + )? = ? + ?
Demostraci
on Sean C = (Cq , q ),C 0 = (Cq0 , q0 ) , = (q ), = (q ).Veamos
+ es una aplicacion de cadenas, en efecto, q0 (q +q ) = q0 q +q0 q =
q1 q + q1 q = (q1 + q1 ) q
Veamos ( + )? = ? + ? , en efecto,
( + )?q (cq + Bq (C)) =
(q + q )(cq ) + Bq (C 0 )
=
q (cq ) + q (cq ) + Bq (C 0 )
= ? (cq + Bq (C)) + ? (cq + Bq (C))
j
Teorema 3.3.1 Si 0 A B C 0 es una sucesion exacta de

complejos de cadenas, entonces
i
j?
?
?
....... Hq (A)
Hq (B) Hq (C) Hq1 (A)
.........
es una sucesion exacta larga de grupos de homologia
57
Demostraci
on Para definir el homomorfismo conexion . Consideremos
el siguiente diagrama
Aq+1
q+1
Aq
q
Aq1
q1
Aq2
iq+1
iq
iq1
iq2
Bq+1
0
q+1
Bq
q0
Bq1
0
q1
Bq2
jq+1
jq
iq1
jq2
Cq+1 0
00
q+1
Cq
q00
Cq1 0
00
q1
Cq2
sea cq + Bq (C) Hq (C) con cq Zq (C) o sea q00 (cq ) = 0 Como jq

es epimorfismo existe bq Bq tal que jq (bq ) = cq . Tenemos 0 = q00 (cq ) =
q00 jq (bq ) = jq1 q0 (bq ) o sea q0 (bq ) Ker(jq1 ) = Im(iq1 ) lo que implica que
existe aq1 Aq1 tal que iq1 (aq1 ) = q0 (bq ). Veamos que q1 (aq1 ) = 0
0
0
iq1 (aq1 ) = iq2 q1 (aq1 ) y como iq2 es
q0 (bq ) = q1
,en efecto, 0 = q1
monomorfismo se tiene q1 (aq1 ) = 0
Definamos
(c + Bq (C)) = aq1 + Bq1 (A)
Veamos que esta bien definida, en efecto, si c0q = cq + Bq (C) existe b0q Bq
tal que jq0 (bq ) = c0q y iq1 (a0q1 ) = q0 (b0q ) como c0q cq = q00 (cq+1 ) para alg
un
elemento cq+1 Cq+1 y jq+1 es sobre existe bq+1 Bq+1 tal que jq+1 (bq+1 ) =
cq+1
Ahora
0
0
bq+1
(bq+1 ) = jq (b0q ) jq (bq ) jq q+1
jq (b0q bq q+1
0
00
= cq cq q+1 jq+1 (bq+1 )
00
=
c0q cq q+1
(cq+1 )
0
0
=
cq cq cq + cq = 0
0
0
luego b0 q bq q+1
(bq+1 ) Kerjq = Im(iq ) o sea b0q bq q+1
(bq+1 ) =
iq (aq ) para alg
un aq Aq
Por otra parte
iq1 (a0q1 aq1 q (aq )) =

iq1 (a0q1 ) iq1 (aq1 ) iq1 q (aq )
=
iq1 (a0q1 ) iq1 (aq1 ) q0 iq (aq )
0
0
= q (bq ) q0 (bq ) q0 (b0q bq q+1
(bq+1 ))
=
0
58
homomorfismo inducido
como iq1 es monomorfismo a0q1 aq1 = q (aq ) o sea a0q1 = aq1 +Bq1 (A)lo
que prueba que esta bien definida
Veamos la exactitud en Hq (B) o sea Im(i? ) = Ker(j? ), en efecto,
j?q i?q = (jq iq )? = 0 esto prueba Im(i? ) Ker(j? ) Para la otra inclusion
tomemos un elemento bq + Bq (B) Ker(j?q ),q0 (bq ) y j?q (bq + Bq (B)) = 0,
probemos que bq + Bq (B) Im(i? ), en efecto,tenemos
0 = j?q (bq + Bq (B)) = jq (bq ) + Bq (C)
00
(cq+1 ) para alg
un
de donde se deduce jq (bq ) Bq (C), esto es , jq (bq ) = q+1
cq+1 Cq+1 .Como jq+1 es sobre existe bq+1 Bq+1 tal que jq+1 (bq+1 ) = cq+1
luego
00
(cq+1 )
jq (bq ) =
q+1
00
= q+1 jq+1 (bq+1 )
0
= jq (q+1
(bq+1 ))
0
0
bq+1 =
bq+1 Ker(jq ) = Im(iq ) luego bq q+1
de aqui se deduce que bq q+1
iq (aq ) para alg
un aq Aq
iq1 q (aq ) =
q0 iq (aq )
0
0
bq+1 )
= q (bq q+1
0
=
q (bq )
=
0
y como iq1 es monomorfismo q (aq ) = 0 o sea aq es un ciclo,pasando
a clases aq + Bq (A) Hq (A) luego i?q (aq + Bq (A)) = bq + Bq (B) o sea
bq + Bq (B) Im(i? ) Veamos la exactitud en Hq (C) o sea Im(j? ) =
Ker() .Para probar la inclusion Ker() Im(j) tomemos un elemento cq + Bq (C) Ker(), q (cq ) = 0. Veamos cq + Bq (C) Im(j), en efecto ,
0 = (cq + Bq (C)) = aq1 + Bq1 (A) donde jq (bq ) = cq y iq1 (aq1 ) = q0 (bq )
luego aq1 Bq1 (A) ,esto es , aq1 = q0 (aq ) para alg
un aq Aq
jq (bq iq (aq )) = jq (bq ) jq iq (aq )
=
jq (bq )
=
cq
de donde
j? ((bq iq (aq )) + Bq (B)) = jq (bq iq (aq )) + Bq (C)
=
cq + Bq (C)
59
o sea cq + Bq (C) Im(j? ). Para probar la inclusion Im(j? ) Ker() basta

probar j? = 0, en efecto ,sea bq + Bq (B) Hq (B), q0 (bq ) = 0, luego
j? (bq + Bq (B)) =
(jq (bq ) + Bq (B))
=
aq1 + Bq1 (A)
= Bq1 (A) pues aq1 = 0
Veamos la exactitud en Hq1 (A) o sea Im() = Ker(i? ). Para probar
Im() Ker(i? ) basta probar i? = 0, en efecto,sea cq + Bq (C) Hq (C),
00 (cq ) = 0
i? (cq + Bq (C)) = i? (aq1 ) + Bq1 (B)
= iq1 (aq1 ) + Bq1 (B)
=
0 (bq ) + Bq1 (B)
=
Bq1 (B)
Para probar que Ker(i? ) Im()tomemos un elemento arbitrario aq1 +
Bq1 (A) Ker(i?q ), q1 (aq1 ) = 0 veamos aq1 + Bq1 (A) Im(), en
efecto, 0 = i?q (aq1 + Bq1 (A)) = iq1 (aq1 ) + Bq1 (B) esto implica que
iq1 (aq1 ) Bq1 (B), esto es, iq1 (aq1 ) = q0 (bq ) para alg
un bq Bq
Tenemos
iq1 q0 (bq )
q00 jq (bq ) =
= jq1 iq1 (aq1 )
=
0
pasando al cociente tenemos jq (bq ) + Bq (C) Hq (C) luego (jq (bq ) +

Bq (C)) = aq1 + Bq1 (A) lo que prueba Ker(i? ) Im()
Proposici
on 3.3.3 -Si
j
A B C 0
f
g
h
A0
i0
B0
j0
C0
es un diagrama conmutativo de aplicaciones de cadenas con filas exactas,

entonces
.. Hq (B)
g?
.. Hq (B 0 )
j?
0
jstar
Hq (C) Hq1 (A)

h?
f?
0
Hq (C 0 )
es tambien un diagrama conmutativo
Hq (A0 )
i0star
Hq1 (B) ..
g?
Hq (B 0 )
..
60
homotopia de cadenas
Demostraci
on. Como i0 f = gi por la proposicion 1.5 i0? f? = (i0 f )? =
(gi)? = g? i? , de la misma manera h? j? = j?0 g? .Veamos h? = f? ,en efecto,
f? (cq + Bq (C)) = f? (aq1 + Bq1 (A))
= fq1 (aq1 ) + Bq1 (A0 )
= (hq (cq ) + Bq (C 0 ))
=
h? (cq + Bq (C))
3.4.
Homotopa de cadenas
Si C = (Cq , q ) y C 0 = (Cq0 , q0 ) son complejos de cadena podemos determinar un nuevo complejo de cadena
Hom(C, C 0 ) = (Hom(C, C 0 )q , q00 )
Q
0
donde Hom(C, C 0 )q = mZ Hom(Cm , Cq+m
) , esto es, un elemento f de este
grupo es una sucesion
0
f = {fm : Cm Cq+m
}
de homomorfismos.
q00 : Hom(C, C 0 )q Hom(C, C 0 )q1
esta definido por
0
q00 (f ) = q+m
fm (1)q f m 1m }qZ
00
= 0 , Z0 (Hom(C, C 0 )) consiste de todas las aplicaciones de
resulta q00 q+1
cadenas C C 0 , esto es, una aplicacion de cadenas f : C C 0 es un 0-ciclo
, decir que dos aplicaciones de cadenas f, g : C C 0 son homologas significa
que existe H Hom(C, C 0 )1 tal que 100 = f g a esta nocion se denomina
homotopa de cadenas
Definici
on 3.4.1 Dadas dos aplicaciones de cadenas
f, g : C = (Cq , q ) C 0 = (Cq0 , q0 )
una homotopa de cadenas H de f a g ,denotada por H : f ' g es una
0
sucesion de homomorfismos H = (hq ) donde hq : Cq Cq+1
tal que , para
todo q.
q0 hq + hq1 q = fq gq
61
Diremos que f y g son homotopicos si tal H existe

Proposici
on 3.4.1 La relacion de homotopa de cadenas ' es una relacion
de equivalencia
Demostraci
on
Reflexiva: 0 : f ' f
Simetrica:H : f ' g H : g ' f
Transitiva:H : f ' g y T : g ' k H + T : f ' k
Denotaremos por [f ] la clase de homotopa de f
Proposici
on 3.4.2 Si f ' g : C C 0 y f 0 ' g 0 : C 0 C 00 entonces
f 0f ' g0g
Demostraci
on Si H : f ' g tenemos f 0 H : f 0 f ' f 0 g
Si H 0 : f 0 ' g 0 tenemos H 0 g : f 0 g ' g 0 g por la transitividad de la relacion de
equivalencia ' resulta f 0 f ' g 0 g
Si se verifica la relacion dada en la proposicion 1.9 diremos que la relacion
de homotopa es compatible con la composicion
Proposici
on 3.4.3 Si f, g : C C 0 son homotopicos de cadena entonces
f? = g? : H? (C) H? (C 0 )
Demostraci
on Sea cq + Bq (C) Hq (C) , q (cq ) = 0
(f?q g?q )(cq + Bq (C)) =
fq (cq ) gq (cq ) + Bq (C 0 )
0
=
(q+1 hq + hq1 q )(cq ) + Bq (C 0 )
0
= (q+1
hq (cq ) + hq1 q (cq )) + Bq (C 0 )
0
=
q+1
hq (cq ) + Bq (C 0 )
=
Bq (C 0 )
Definici
on 3.4.2 Una aplicacion de cadenas f : C C 0 es una equivalencia homot
opica si existe g : C 0 C aplicacion de cadena tal que f g ' idC 0
y gf ' idC
Proposici
on 3.4.4 Si f : C C 0 es una equivalencia homotopica entonces
f? : H? (C) H? (C 0 ) es un isomorfismo
62
Demostraci
on . Como f g ' idC 0 y gf ' idC se tiene f? g? = (f g)? =
(idC 0 )? = id y g? f? = (gf )? = (idC )? = id lo que prueba que f? es un
isomorfismo
Definici
on 3.4.3 Un complejo de cadenas C es contractible si idC ' 0
o equivalentemente C ' 0
Proposici
on 3.4.5 Si C es contractible entonces H? (C) = 0
Demostraci
on . Como idC ' 0 tenemos
id = (idC )? = 0? = 0 : H? (C) H? (C)
Proposici
on 3.4.6 Si H y G son grupos abelianos y tenemos
f
HGH
son tales que gf = idH , entonces G = f (H) Ker(g) y f : H f (H)

Demostraci
on .Dado x G , x f g(x) Ker(g) luego x = f g(x) + y
, y Ker(g) .Veamos f (H) Ker(g) = {0}, en efecto, z = f (t) para alg
un
t H y g(z) = 0 luego 0 = g(z) = gf (t) = idH (t) = t de aqu z = f (0) = 0 .
Ahora veamos que f es monomorfismo , esto es, Ker(f ) = 0, en efecto , sea
y Ker(f ),f (y) = 0 de aqu y = idH (y) = gf (y) = g(0) = 0 luego y = 0
Proposici
on 3.4.7 Sea C un complejo acclico , esto es, H? (C) = 0 entonces C ' 0 s y solo si para todo q , Zq (C) es un sumando directo de
Cq
Demostraci
on () Sea H : idC ' 0 ,es decir ,H = (hq ) y los hq verifican
la igualdad q hq1 + hq2 q1 = idCq1 . Para cada bq1 Bq1 (C) = Imq =
Kerq1 , q1 (bq1 ) = 0, q hq1 (bq1 )+hq2 q1 (bq1 ) = idCq1 (bq1 ) = bq1
luego q hq1 (bq1 ) = bq1 o sea q hq1 |Bq1 (C) = idBq1 (C) por la proposicion
1.13
Cq = hq1 (Bq1 (C)) Zq (C)
lo que prueba Zq (C)es un sumando directo de Cq
()Sea Zq (C) un sumando directo de Cq . Veamos C ' 0 , en efecto, existe
tq1 : Bq1 (C) Cq con q tq1 = idBq1 (C) es decir,
Cq = tq1 (Bq1 (C)) Zq (C)
= tq1 (Bq1 (C)) Bq (C)
63
Definamos para cada q , hq : Cq Cq+1 tal que q+1 hq + hq1 q = idCq , en

efecto, definamos
hq |Bq (C)
= tq
hq |tq1 (Bq1 (C)) = 0
Para cada bq Bq (C) = Zq (C), q (bq ) = 0, luego
q+1 hq (bq ) + hq1 q (bq ) = q+1 tq (bq )
=
bq
Para cada x tq1 (Bq1 (C)) ,x = tq1 (bq1 ) para alg
un bq1 Bq1 (C) =
Zq1 (C) luego
q+1 hq (x) + hq1 q (x) =
hq1 q (x)
= hq1 q (tq1 (bq1 ))
=
hq1 (bq1 )
=
tq1 (bq1 )
=
x
esto prueba q+1 hq + hq1 q = idCq
Definici
on 3.4.4 Si f : C = (Cq , q ) C 0 = (Cq0 , q0 ) es una aplicacion de
cadenas definamos un nuevo complejo de cadena Cf , la Aplicaci
on Cono
de f
(Cf )q = Cq0 Cq1 ,
q00 (y, x) = (q0 (y) + fq1 (x), q1 (x))
Tenemos
00
00
q+1
q00 (y, x) =
q+1
(q0 (y) + fq1 (x), q1 (x))
0
(q0 (y) + fq1 (x)) + fq (q1 (x)), q (q 1(x)))
= (q+1
0
0
fq1 (x) fq q1 (x), q (q1 (x)))
= (q+1
q0 (y) + q+1
=
(0, 0)
Si C 0 = 0 ,f = 0 entonces C + = Cf se denomina Suspensi

on de C
Cq+ = Cq1 ,
q+ = q1
luego
Hq (C + ) = Hq1 (C)
A la aplicacion cono de la identidad , idC : C C, Cid , se denomina
Cono de C y se denota Con(C)
64
Tenemos una sucesion exacta corta de complejo de cadenas
i
0 C 0 Cf C + 0
las aplicaciones de cadenas dadas por
i(y) = (y, 0),
p(y, x) = x
Lema 3.4.1 Si Cf ' 0 entonces i ' 0 y p ' 0

Demostraci
on .- Supongamos que Cf ' 0, esto es, idCf ' 0 entonces
existe para cada q Z un homomorfismo
h0q : (Cf )q (Cf )q+1
tal que
00
q+1
h0q + h0q1 q00 = id
Definamos un homomorfismo para cada q Z

hq : Cq0 (Cf )q+1
por
hq (y) = h0q (y, 0)
tenemos
00
00
q+1
hq (y) + hq1 q0 (y) = q+1
h0q (y, 0) + h0q1 (q0 (y), 0)
00
h0q (y, 0) + h0q1 (q00 (y, 0))
= q+1
00
=
(q+1
h0q + h0q1 q00 )(y, 0)
=
id(y, 0)
=
(y, 0)
=
iq (y)
luego H = (hq )qZ : i ' 0

Para la segunda parte definamos un homomorfismo para cada q Z
e
hq : (Cf )q C +
q+1
por
e
hq = pq+1 h0q
tenemos
+
+
q+1
e
hq + e
hq1 q00 = q+1
pq+1 h0q + p h0q1 q00
00
= pq q+1
h0q + pq h0q1 q00
00
=
pq (q+1
h0q + h0q1 q00 )
=
pq id
=
pq
e = (e
luego H
hq )qZ : p ' 0
65
Proposici
on 3.4.8 Si el cono de la aplicacion f : C = (Cq , q ) C 0 =
(Cq0 , 0 ) es contractible entonces f es una equivalencia homotopica
Demostraci
on Suponiendo Cf ' 0. Veamos la existencia de una aplicacion de cadenas g : C 0 C tal que g f ' idC y f g ' idC 0 en efecto ,
haciendo uso del lema 3.4.1 tenemos i ' 0,entonces existe una homotopa de
cadenas H = (hq )qZ : i ' 0. Definamos para cada q Z
gq : Cq Cq0
0
q : Cq0 Cq+1
por
hq (y) = (q (y), gq (y))
tenemos
(y, 0) =
iq (y)
00
=
q+1 hq (y) + hq1 q0 (y)
00
=
q+1 (q (y), gq (y)) + (q1 (q0 (y)), gq1 ( 0 (y)))
= (q0 (q (y) + fq (gq (y)), q (gq (y))) + (q1 (q0 (y)), gq1 (q0 (y)))
0
= (q+1
(q (y) + fq gq (y) + q1 (q0 (y)), gq1 (q0 (y)) q (gq (y)))
por igualdad de pares
0
q+1
(q (y) + fq gq (y) + q1 (q0 (y)) = y
gq1 (q0 (y)) q (gq (y)) = 0

luego
0
q+1
q + q1 q0 = id fq gq
gq1 q0 = q gq
esto prueba que existe una aplicacion de cadenas g = (gq )qZ : C 0 C que
es inverso derecho de f o sea f g ' id
Por otra parte por el mismo lema tenemos p ' 0 entonces existe una
e = (e
homotopa de cadenas H
hq )qZ : p ' 0. Definamos para q Z
gq0 : Cq0 Cq
q : Cq Cq+1
por
e
hq (y, x) = gq0 (y) + q1 (x)
66
tenemos
x =
pq (y, x)
+ e
=
(q+1 hq + e
hq1 q00 )(y, x)
+
=
q+1
(gq0 (y) + q1 (x)) + e
hq1 (q0 (y) + fq1 (x), q1 (x))
+
0
=
q+1
(gq0 (y) + q1 (x)) + gq1
(q0 (y) + fq1 (x)) + q2 (q1 (x))
+
+
0
0
fq1 (x)) q2 q1 (x)
(q0 (y) + gq1
q1 (x) + gq1
= q+1
gq0 (y) + q+1
0
0
0
0
=
(q gq + gq1 q )(y) + (q q1 + gq1
fq1 q2 q1 )(x)
luego
0
q q1 + q2 q1 = gq1
fq1 id
0
q gq0 = gq1
q0
esto prueba la existencia de una aplicacion de cadenas g 0 : C 0 C inverso

izquierdo de f o sea f g 0 = id
Veamos que g = g 0 , en efecto
g 0 = g 0 id = g 0 (f g) = (g 0 f ) g = id g = g
Definici
on 3.4.5 Un complejo de cadenas C = (Cq , q ) es libre si Cq es
libre para cada q Z
Proposici
on 3.4.9 En un complejo libre C = (Cq , q ) el grupo de ciclos
Zq (C) es un sumando directo de Cq
Demostraci
on Los subgrupos de un grupo libre son libres por lo tanto
Bq (C) es libre entonces existe un homomorfismo g tal que la composicion
g
Bq1 (C) Cq Bq1 (C)

q g = idBq (C) . De la proposicion 3.4.6 Zq (C) es un sumando directo de
Cq
Proposici
on 3.4.10 Si f : C C 0 es una aplicacion de cadenas entonces
el homomorfismo conexion de la sucesion exacta
i
0 C 0 Cf C + 0
coincide con f : H (C) H (C 0 )
67
Demostraci
on Consideremos el diagrama
0
Cq0
q0
iq
pq
C fq
q00
Cq+ = Cq1
q+ = q1
pq1
iq1
+
0
= Cq2
Cfq1 Cq1
0 Cq1
Veamos que = f , en efecto, sea cq1 +Bq1 (C) Hq1 (C), q1 (cq1 ) = 0,
tenemos
(q0 (c0q ) + fq1 (cq1 ), q1 (cq1 ))
q00 (c0q , cq1 ) =
= (q0 (c0q ) + fq1 (cq1 ), 0), pues q1 (cq1 ) = 0
=
iq (q0 (c0q ) + fq1 (cq1 ))
luego aplicando la definicion del homomorfismo conexion 4 tenemos
(cq1 + Bq1 (C)) =
fq1 (cq1 ) + q0 (c0q ) + Bq1 (C 0 )
= fq1 (cq1 ) + Bq1 (C 0 ) pues q0 (c0q ) Bq1 (C 0 )
=
f (cq1 + Bq1 (C))
o sea 4 = f
Proposici
on 3.4.11 Si f : H (C) H (C 0 ) es isomorfismo donde f :
C C 0 es una aplicacion de cadenas ,entonces Cf es acclico
Demostraci
on .- Veamos que H (Cf ) = 0 , en efecto, consideremos la
sucesion exacta de homologa asociada a la sucesion exacta corta de complejo
de cadenas
i
0 C 0 Cf C + 0
. Hq+1 (C + ) Hq (C 0 )
Hq (Cf ) Hq (C + )
Hq1 (C 0 )
k
% f
k
% f
. Hq (C)
Hq1 (C)
por la exactitud y como f es isomorfismo Hq (C 0 ) = Im(f ) = Ker(i ) y

Im(p ) = Ker(f ) , tenemos la sucesion exacta
Ker(f ) Hq (Cf ) Im(p )
veamos que Ker(i ) = 0 , en efecto, sea c0q + Bq (C 0 ) Ker(i ) ,q0 (c0q ) = 0
68
modelos acclicos
0 = i (c0q + Bq (C 0 )) = iq (c0q ) + Bq (Cf )

de donde resulta iq (c0q ) = 0 y como iq es monomorfismo c0q = 0 o sea
Ker(i ) = 0
Veamos Imp = 0, en efecto , como f es isomorfismo Kerf = 0 luego
Imp = Kerf = 0, luego obtenemos la sucesion exacta
0 Hq (Cf ) 0
por lo tanto H (Cf ) = 0
Proposici
on 3.4.12 Si f : C C 0 es una aplicacion de cadenas entre
complejos de cadenas libres tal que f : H (C) H (C 0 ) es isomorfismo
entonces f es una equivalencia homotopica
Demostraci
on Para que f sea equivalencia homotopica de acuerdo con
la proposicion 3.4.8 basta probar Cf ' 0 , en efecto, como f es isomorfismo
por la proposicion 3.4.11, Cf es acclico . Como la suma de dos grupos libres
es libre tenemos (Cf )q = Cq0 Cq1 es libre, luego por la proposicion 3.4.9
Zq (Cf ) es sumando directo de (Cf )q . Concluimos por la proposicion 3.4.7 que
Cf ' 0
3.5.
Teorema de modelos acclicos
Definici
on 3.5.1 Una categora con modelos es una categora C
junto con un conjunto M de objetos de C llamado modelos . Sea T : C
GA un funtor covariante de la categora C a la categora de grupos abelianos
Una base para T es un conjunto {gj }J tal que gj T (Mj ) para cierto
Mj M de modo que para todo objeto X de C el conjunto
{T (f )gj }jJ,f Hom(Mj ,X)
es una base de T (X)
Diremos que T es un funtor libre con modelos en M si tiene una base
con modelos en M
Sea ahora GA la categora de complejos de cadena y
T : (C, M) GA
un funtor ,diremos que T es libre con modelos en M si cada funtor Tq es
libre con modelos en M para toda q
69
Diremos que T es aciclico en dimensiones positivas si Hq (T (M )) = 0 si

q>0yM M
Teorema 3.5.1 (Teorema de los modelos acclicos )Sea C una categora con
modelos M. Sean T, Te : C GA tales que T es libre y no negativo y Te es
acclico en dimensiones positivas . Entonces toda transformacion natural
: H0 (T ) H0 (Te)
esta inducido por una transformacion natural : T Te y si y
e
son dos transformaciones naturales inducen la misma transformacion natural
H0 (T ) H0 (Te) entonces son naturalmente homotopicas , esto es, existe una
transformacion natural : T Te tal que (X) es una homotopa entre
(X) y (X)
e
para todo objeto X
Demostraci
on.-(Existencia) Para cada objeto X de C definiremos una
e de modo que si h : X Y es un
aplicacion de cadenas (X) : T (X) X
morfismo en C entonces debe conmutar el siguiente diagrama
T (X)
(X)
Te(X)
T (h)
Te(h)
T (Y )
(Y )
Te(Y )
sea Te(h) (X) = (Y ) T (h) Como T es libre y no negativo para cada

q 0 fijemos una base {gj }jJ de Tq de modo que gj Tq (Mj ) para alg
un
Mj M , esto es, cada grupo abeliano Tq (X) tiene como base al conjunto
{Tq (f )(gj )}jJq ,f Hom(Mj ,X)
El homomorfismo
q (X) : Tq (X) Teq (X)
que queremos definir quedara determinado por
q (X)(i,j ni,j Tq (fi,j )(gj )) = i,j ni,j Teq (fi,j )(q (Mj )(gj ))
si especificamos {q (Mj )(gj )}jJq

definiremos q (X) por induccion en q tal que
q1 (X) = q (X)
Para q = 0 cualquier elemento de T0 (Mj ) es ciclo , en particular los gj
con j J0 son ciclos . Definamos 0 (Mj )(gj ) Te0 (Mj ) de tal manera que
70
modelos acclicos
[0 (Mj )(gj )] = (Mj )([gj ]) extendemos a 0 (X) por . Veamos que induce
a , en efecto, si g g T0 (X) entonces [0 (X)(g)] = (X)([g])
si j J1 entonces 0 (Mj )(gj ) es una frontera en Te0 (Mj ) podemos definir
1 (Mj )(gj ) Te1 (Mj ) tal que
(1 (Mj )(gj )) = 0 (Mj )(gj )
y extendemos por a 1 (X) : T1 (X) Te(X)
supongamos que i esta definido para i < q, q > 0 bastara definir q (Mj )(gj )
para j Jq tal que
(q (Mj )(gj )) = q1 (Mj )((gj ))
luego q (X) queda determinado por . El termino del lado derecho es un

ciclo en Teq1 (Mj ) , por hipotesis Hq (Te(Mj )) = 0, luego es una frontera por
lo que q (Mj (gj ) podemos definir de tal manera que se cumple y por
tenemos definido q (X) . Esto completa la demostracion de la primera parte
Unicidad.- Para cada objeto X de C definimos una homotopa de cadenas
D(X) : T (X) Te(X) de modo que si h : X Y es un morfismo en C
entonces conmuta el siguiente diagrama
T (X)
D(X)
Te(X)
T (h)
Te(h)
T (Y )
D(Y )
Te(Y )
o sea Te(h) D(X) = D(Y ) T (h)

el homomorfismo
Dq (X) : Tq (X) Teq+1 (X)
que queremos definir quedara determinado por
Dq (X)(i,j ni,j Tq (fi,j )(gj )) = i,j ni,j Teq (fi,j )(Dq (Mj )(gj ))
definiremos Dq (X) por induccion en q tal que

eq+1 Dq (X) + Dq1 (X)q = q (X) (X)
e
por hipotesis y
e inducen la misma transformacion natural
H0 (T ) H0 (Te) entonces para j J0 ,0 (Mj )(gj )
e0 (Mj )(gj ) debe ser una
frontera , podemos definir D0 (Mj )(gj ) Te1 (Mj ) tal que
D0 (Mj )(gj ) = 0 (Mj )(gj )
e0 (Mj )(gj )
71
y extendemos a D0 (X) por

supongamos definido Dr (X) para r < q , q > 0, bstara definir Dq (Mj )(gj )
para j Jq tal que
eq+1 Dq (Mj )(gj ) + Dq1 (Mj )q (gj ) = 0 (Mj )(gj )
e0 (Mj )(gj )
luego Dq (X) queda determinado por , el termino 0 (Mj )(gj )
e0 (Mj )(gj ) Dq1 (Mj )q (gj ) es un ciclo en Teq (Mj ) , en efecto,

e q (Mj )(gj )
(
eq (Mj )(gj ) Dj1 (Mj )q (gj )) =
e q (Mj )(gj )) eq (
= (
eq (Mj )(gj )) eq (Dj1 (Mj )q (gj ))
= q1 (Mj )q (gj )
eq1 (Mj )q (gj ) (q1 (Mj )
eq1 (Mj )+
Dq2 (Mj )q1 )q (gj )
= q1 (Mj )q (gj ) +
eq1 (Mj )q (gj ) + Dq2 (Mj )q1 q (gj )+
q1 (Mj )q (gj )
eq1 (Mj )q (gj )
= 0
por hipotesis Hq (Te(Mj )) = 0 y como acabamos de probar que es un ciclo
resulta ser un borde por lo que Dq (Mj )(gj ) podemos definir de tal manera
que
q+1 (Dq (Mj )(gj )) = q (Mj )(gj )
eq (Mj )(gj )Dq1 (Mj )q (gj )
y por definido Dq (X) : Tq (X) Teq+1 (X) lo que completa la demostracion de la segunda parte
72
modelos acclicos
Captulo 4
HOMOLOGIA SINGULAR
4.1.
Complejo singular
En este captulo construiremos un funtor covariante de la categora de

pares de espacios topologicos a la categora de grupos abelianos que verifican
todos los axiomas de Eilenberg- Steenrod
En Rq+1 consideremos el subconjunto
q = (x0 , x1 , x2 , .......xq ) R
q+1
q
X
xi = 1, xi 0
i=0
q es el q-simplejo estandard
Definamos transformaciones para i = 0, 1, ..., q
iq : q1 q
iq (x0 , x1 , ....., xq1 ) = (x0 , x1 , ..., xi1 , 0, xi , ..., xq1 )
No es dificil verificar que:
iq jq1 = jq i1
q1
si
0j<iq
Definici
on 4.1.1 Para q 0, q-simplejo singular en un espacio topologico X es una aplicacion continua
q : q X
73
74
complejo singular
Para q > 0 , 0 i q , la i-cara de q , i q , es el (q 1)- simplejo

singular q iq o sea
i q = q iq
Sea q (X) el grupo abeliano libre generado por los q-simplejos singulares
en X, denominado el grupo de q-cadenas singulares de X
Cualquier elemento c q (X) tiene un u
nica representacion como una
combinacion lineal finita de q-simplejos singulares q
X
c=
c q
con
c Z
Para q < 0 pondremos q (X) = 0
Definamos
q : q (X) q1 (X)
por
q (q ) =
q
X
(1)i q iq
i=0
Lema 4.1.1 q1 q = 0
Demostraci
on .- Basta verificar en los generadores
P
q1 q (q ) = q1 ( qi=0 (1)i q ) iq )
P
=
(1)j+i (q iq jq1 )
Pi,j
P
j+i
j+i
=
q jq i1
q iq jq1
q1 +
j<i (1)
ij (1)
en el primer sumando reemplazamos i 1 por j y j por i
P
P
j+i+1
=
i j + ij (1)j+i i j
ij (1)
= 0
como consecuencia inmediata del lema 4.1.1
Proposici
on 4.1.1 (X) = (q (X), q ) es un complejo de cadenas , denominado complejo singular de X
Definamos : 0 (X) Z por () = 1. Entonces da un agregado al
complejo (X)
homologa singular
75
Definici
on 4.1.2 Al grupo de homologa del complejo de cadenas (X)
Hq (X) = Hq ((X))
se denomina el q-
esimo grupo de homologa singular de X
Si f : X Y es una aplicacion continua , f induce un homomorfismo
q (f ) : q (X) q (Y )
al considerar
q (f )(q ) = f q
donde q : q X es un simplejo singular de X y el diagrama
q (X)
q
q (X)
fq (f )
q1 (f )
q (Y )
q0
q (Y )
conmuta, en efecto
q1 (f )(q (q ) =
=
=
=
P
q1 (f )( qj=0 (1)j q j )
Pq
(1)j q1 (f )(q j )
Pj=0
q
j
j
j=0 (1) f q
0
q q (f )(q )
como consecuencia tenemos la siguiente :

Proposici
on 4.1.2
(f ) : (X) (Y )
es una aplicacion de cadenas
Como (f ) : (X) (Y ) es una aplicacion de cadenas por seccion
3,3 del captulo 3 (f ) induce un homomorfismo en homologa Hq ((f )) :
Hq (X) Hq (Y ) que sera denotado simplemente por f
Proposici
on 4.1.3 Sean f : X Y , g : Y Z aplicaciones continuas ,
idX : X X la identidad , entonces
1. Hq (g f ) = Hq (g) Hq (f )
2. Hq (idX ) = idq (X)
para todo
para todo
76
complejo singular
Demostraci
on
Hq (g f )(q ) = g f q
= Hq (g)(f q )
= Hq (g) Hq (f )(q )
Hq (idX )(q ) = idX q = q = idq (X) (q ).
Notaci
on: denotaremos por f] en lugar de (f )
El complejo singular es un funtor
: T OP GA
de la categora de espacios topologicos en la categora de complejos de cadenas

Tenemos un funtor
H : GA GA
que asocia a cada complejo de cadenas su grupo de homologa
La composicion de los funtores con H es un funtor
H : T OP GA
que a continuacion extenderemos a
H : T OP 2 GA
que verificara los axiomas de Eilemberg - Steenrod
Proposici
on 4.1.4 Sea (X, A) un pareja de espacios topologicos i : A X
es la aplicacion inclusion. Entonces i]q : q (A) q (X) es monomorfismo q.
Demostraci
on .-Veamos Ker (i]q ) = 0. En efecto, sea Ker (i]q ) entonces
0 = i]q () = i o sea i = 0 y como i es monomorfismo = 0.
Proposici
on 4.1.5 Sea (X, A) una pareja de espacios topologicos .Si
q (X) q1 (X)
entonces q (q (A)) q1 (A)
q :
Demostraaci
on Sea q (q (A)). Veamos q1 (A),en efecto,
0
= q ( ) para alg
un 0 q (A). tenemos
homologa singular
77
q ( 0 ) =
Pq
j=0
(1)j ( 0 j ) q1 (A)
de donde resulta q1 (A).

Tenemos
(A). = (A), q |(A).
Denotemos por

qZ
es un subcomplejo de (X)
(X, A) al complejo cociente
(X)
(A)
o sea
q (X, A) = (q (X, A) , q )
El homomorfismo q (q (A)) q1 (A) induce en el cociente el homomorfismo
q : q (X, A) q (X, A)
tal que q1 q = 0
Al complejo de cadenas
(X, A)
(X)
(A)
se denomina complejo singular del par
Definici
on 4.1.3 Al grupo de homologa del complejo de cadenas (X, A)
, Hq ( (X, A)), se denomina q-
esimo grupo de homologa relativa
de X m
odulo A y se denota
Hq (X, A) = Hq ( (X, A))
Si A = , (X, A) = (X)
Teorema 4.1.1 El funtor
H : T OP 2 GA
es una teora de homologa , denominada homologa singular
Demostraci
on.- Verificaremos en las secciones siguientes cada uno de
los axiomas de Eilenberg - Steenrod
Para cada q Z ,tenemos una sucesion exacta corta de homomorfismos de
grupos
0 q (A) q (X)
q (X)
q (A)
que da origen a una sucesion exacta corta de aplicaciones de cadenas
78
complejo singular
0 (A) (X) (X, A) 0
que a su vez por el teorema 3.3.1 del capitulo 3 da origen a una sucesion
exacta larga homologa
....... Hq+1 (A) Hq+1 (X) Hq+1 (X, A) Hq (A) ....
denominada sucesi
on de homologa del par (X, A)
Dada una aplicacion f : (X, A) (Y, B) de parejas cada rectangulo del
siguiente diagrama conmuta
Hq+1 (A) Hq+1 (X) Hq+1 (X, A) Hq (A)
(f |A )
f
f
(f |A )
Hq+1 (B) Hq+1 (Y ) Hq+1 (Y, B) Hq (B)
Si consideramos una terna de espacios topologicos B A X ,escrito
(X, A, B) . La sucesion exacta corta
0 (A, B) (X, B) (X, A) 0
de complejos de cadenas induce una sucesion exacta larga en homologa
.. Hq+1 (A, B) Hq+1 (X, B) Hq+1 (X, A) Hq (A, B)
..
denominada sucesi
on de homologa de la terna (X, A, B) .
Proposici
on 4.1.6 Si X = pto es un espacio topologico formado por un
solo punto, entonces

Hq (X) =
Z
0
si q = 0
si q 6= 0
Demostraci
on Para q 0 existe un solo simplejo singular en X , q :
jq
q X ,para q > 0 y 0 j q tenemos q1 q X,

q1 , consideremos el complejo de cadenas
q jq =
(pto) : .... 2 (pto) 1 (pto) 0 (pto) 0

donde cada q (pto)
es un grupo ciclico infinito generado por q .
El operador borde esta dada por
homologa singular
79

Pq
(q ) =
(1)j q jq
j=0
Pq
j
=
j=0 (1) q1
o sea para q impar y par tenemos

(2q1 ) = q1 q1 + q1 q1 + ....... + q1 q1 = 0
(2q ) = q1 q1 + q1 q1 + ....... + q1 q1 = q1
Luego
(q
si q es impar o cero
= Z)
0
si q es par mayor que cero

(q
= Z) si q es impar
Bq (pto) =
0
si q es par

Zq (pto)
Z
si q = 0
=
Hq (pto) =
0
si q 1
Bq (pto)

Zq (pto) =
Definici
on 4.1.4 Sean X un espacio topologico y P un punto , : X
P una aplicacion constante; el homomorfismo inducido : H (X)
H (P ) se denomina aumentaci
on
Proposici
on 4.1.7 Sea f : X Y una aplicacion continua y si el siguiente diagrama conmuta
f
X
Y
X
Y
P
= P
entonces a nivel de inducido conmuta
f
Ademas
H X H Y
X
Y
H P = H P

Ker(X ) Ker Y
Demostraci
on sea y f (Ker(X ) entonces y = f (x) para alg
un
X
X
Y
Y
X
x Ker( , (x) = 0 luego (y) = (f (x)) = (x) = 0 o sea
y Ker(Y )
80
complejo singular
Definici
on 4.1.5 H q (X) = Ker X se denomina homologia reducida
de X
Proposici
on 4.1.8 Se tiene la siguiente relacion
(
e q (X) L Z
H
si q = 0
Hq (X) =
e
Hq (X)
si q =
6 0
Demostraci
on Si q 6= 0 tenemos ,X : Hq (X) Hq (P ) = 0 luego
e q (X) = Ker(( X)) = Hq (X)
H
i
Si q = 0 la aplicacion inclusion P , X es un inverso derecho de X o sea

X i = idP de donde resulta X i = id Por la proposicion 3.4.6 tenemos
e q (X)
Hq (X) = Im(i ) Ker(X ) = Z H
Proposici
on 4.1.9 .-Sea X un espacio con punto base x0 entonces
e 0 (X) = H0 (X, x0 )
H
Demostraci
on Consideremos la sucesion de homologa del par (X, x0 )
j
H1 (X, x0 ) H0 (x0 )
H0 (X) H0 (X, x0 ) 0
=
=
Z
Z H 0 (X)
por el teorema fundamental del algebra tenemos

j
H0 (X)
=
H 0 (X)
Z H 0 (X)
Z
H0 (X, x0 ) 0
%
=
H0 (X)
Ker(j )=Im(i )
Proposici
on 4.1.10 Sea X un espacio topologico , (X)
es un complejo de cadenas aumentada
Demostraci
on .-Sea
1
(X) : .. q (X) .............. 1 (X)
0 (X) Z
donde X esta definido por X (0 ) = 1. Veamos

que X 1 = 0 ,
P
1
j
j
en efecto, X 1 (1 ) = X
=
j=0 (1) 1
P1
j X
j
X
0
X
1
j=0 (1) (1 ) = (1 ) (1 ) = 1 1 = 0
Z puede considerarse como un complejo de cadenas
OBSERVACION
Z = (Cq , q ) donde Cq = 0 q 6= 0 y C0 = Z ,q = 0 q
homologa singular
81
Proposici
on 4.1.11 Se cumplen las siguientes afirmaciones:
1. P X = X donde P es un punto
2. P es isomorfismo
3. Ker(X ) = Ker(X )
Demostraci
on .- Consideremos el siguiente diagrama
X
0 (X) Z
\X
%P
0 (X)
donde X : X P es la aplicacon constante. Tenemos
P \X (0 ) = P ( X 0 )
=1
= X (0 )
de donde obtenemos P X = X
Para demostrar que P es isomorfismo basta probar P : (P ) Z es
una equivalencia homotopica, en efecto, definiendo 0 : Z 0 (P ) por
0 (1) = 0 y considerando q = 0 para q 6= 0, tenemos = (q ) : Z
(P ) es una aplicacion de cadenas inverso a P
Proposici
on 4.1.12 Sea X un subespacio convexo no vacio de Rn entonces
la aumentacion X : (X) Z es una equivalencia homotopica. En par
ticular H q (X) = 0
Demostraci
on .- Bastara definir una aplicacion de cadenas P : Z
(X) tal que X P ' id , P X ' id ., en efecto, sea P X ,definamos

una aplicacion de cadenas
P : Z (X)
por
P (m) = mP, m Z
82
complejo singular
(los 0-simplejos pueden identificarse con los puntos de X)
Veamos X P ' id, en efecto, X P (m) = X (mP ) = m (P ) = m
Veamos P X ' id,en efecto, debemos definir un homomorfismo

Pq : q (X) q+1 (X)
tal que
q+1 Pq + Pq1 q = id(X) P X

lo que equivale probar las siguientes dos afirmaciones
1. q+1 Pq = id(X) Pq1 q para q > 0
2. 1 P0 = id(X) ( P X )0
Sea q (X) definamos Pq () = P donde
P : q+1 X
esta dada por
(
P q (x0 , x1 , .., xq+1 ) =
si x0 = 1

x0 P + (1 x0 )q
x1
, ..,
1x0
xq+1
1x0

si x0 6= 1
luego
(P q ) i (x0 , x1 , ..., xq ) =
(P q )(x0 , x1 , ..., xi1 , 0, xi, ..., xq )
si i = 0
(x0 , ..., xq )
P
si i = 1, q = 0
=
i1
P ( )(x0 , ..xq )
si i > 0, q > 0
para q > 0
q+1 Pq (q ) =
=
=
=
q+1 (P q )
Pq+1
i
q ) i
i=0 (1) (P
P
i
i
(P q )0 q+1
i=0 (1) (P q )
q Pq1 q (q )
luego q+1 Pq = id Pq1 q ,aqu P = 0.

para q = 0
1 P0 (0 ) = 1 (P 0 )
P1
i
i
=
i=0 (1) (P 0 )
= (P 0 )0 (P 0 )1
= 0 ( P )0 (0 )
homologa singular
83
pues (P 0 )1 = P = P (1) = P ( X (0 )) = ( P X )(0 )
luego 1 P0 = id ( P )0
Corolario 4.1.1 Si X es un subespacio convexo no vacio de Rn entonces
Hq (X) = 0 q.
Demostraci
on .-Como X : (X) Z es una equivalencia ho
=
motopica X : Hq ((X)) Hq (Z ) , por otra parte , Hq (Z) = 0 para q 6=
Hq ((X)) = Hq ((X)) para q 6= 0 resulta
Hq ((X)) = 0 para q 6= 0 H0 (X) Z =H0 (X)

= H0 (Z) = Z resulta
0 y Z para q = 0 , y como
H0 (X) = 0
Corolario 4.1.2 Los complejos de cadenas (q ) y (q I) son acclicos
4.2.
Invariabilidad bajo homotopa
Teorema 4.2.1 Si f, g : X Y son aplicaciones continuas homotopicas

,f ' g, entonces f = g : H (X) H (Y )
Demostraci
on .-De acuerdo a la proposicion 3.4.3 para demostrar que
f = g es suficiente probar f] , g] : (X) (Y ) son aplicaciones homotopicos de cadenas,f ' g , en efecto, como f ' g existe una aplicacion continua
H : X I Y tal que H(x, 0) = f (x) , H(x, 1) = g(x) lo que es lo mismo
cada triangulo del diagrama siguiente es conmutativo
X
g0 & f
H
X I Y
g1 % g
X
o sea H g1 = g , H g0 = f donde g0 (x) = (x, 0) , g1 (x) = (x, 1) de
aqu resulta
g] = (H g1 )] = H g1]
f] = (H g0 )] = H] g0]
basta probar g0] ' g1] : (X) (X I) para tener g] ' f]

Por induccion en q construiremos un homomorfismo
Tq : q (X) q+1 (X I)
tal que
84
invariabilidad bajo homologa

1. q+1 Tq + Tq1 q = g0] g1]
2. Para toda aplicacion f : X Y el diagrama siguiente conmuta
Tq
q (X) q+1 (X I)
f]
(f idI )]
Tq
q (Y ) q+1 (Y I)
Sea q q (X) un q- simplejo singular de X , q : q X tenemos
q] : q (q ) q (X)
para iq q (q ) generador tenemos
iq 7 q )] (iq ) = q
Si el siguiente diagrama fuese conmutativo
q]
q (q )
Tq
q+1 (q I)
(q idI )]
q (X)
Tq
q+1 (X I)
tendriamos
Tq (q ) = Tq q] (iq ) = (q idI )] Tq (iq )
Tq (q ) quedara definido si definimos Tq (iq ) para iq q (q ) generador
Para q = 0 , 0 = , 1 = I
T0 : o (0 ) 1 (0 I)
i0 7 T0 (i0 ) = idI
Supongamos definido
Tk : q (X) q+1 (X I)
para 0 < k < q y todo X tal que
1. q+1 Tk + Tk1 k = g0] g1]
2. Para toda aplicacion f : X Y el diagrama siguiente conmuta
T
k (X) k k+1 (X I)
f]
(f idI )]
T
k (Y ) k k+1 (Y I)
homologa singular
85
Definamos Tq para q = k + 1 , la cadena

c = g0] (iq ) g1] (iq ) Tq1 (q (iq )) q (q I)
es un ciclo
q (c) =
q g0] (iq ) q g1] (iq ) q Tq1 (q (iq ))
= g0] (q (iq )) g1] (q (iq )) (g0] (q (iq )) g1] (q (iq )) Tq2 q1 (q (iq )))
=
0
c Ker(q) = Im(q+1 ) puesto que Hq (q I) = 0 para q > 0 podemos
escoger b q+1 (q I) tal que q+1 (b) = c . Definimos Tq (iq ) = b
(q+1 Tq + Tq1 q )(iq ) =
q+1 (Tq (iq )) + Tq1 (q )(iq ))
=
q+1 (b) + Tq1 q (iq )
=
c + Tq1 q (iq )
= g0] (iq ) g1] (iq ) Tq1 (q (iq )) + Tq1 q (iq )
=
g0] (iq ) g1] (iq )
4.3.
Subdivisi
on baric
entrica
Definici
on 4.3.1 El Baricentro de un q-simplejo estandard q es el punto

P
ei
1
1
1
, q+1
, ............, q+1
= qi=0 q+1
Bq = q+1
donde ei = (0, ...., 0, 1, 0, ......, 0) son los vertices de q
Definici
on 4.3.2 Para cualquier espacio topologico X definamos homomorfismos
q : q (X) q (X)
q0
como sigue :
0
= id0 (X)
q (iq ) = Bq .q1 ((iq ))
q (q ) = q (q (iq ))
donde q : q X es un q- simplejo singular arbitrario, iq : q q es
la aplicacion identidad.
Al homomorfismo q , q 0, se denomina subdivisi
on baric
entrica
Proposici
on 4.3.1 La sucesion
86
subdivision baricentrica
q : q (X) q (X)
q0
es una aplicacion de cadenas natural

Demostraci
on
Sea f : X Y una aplicacion continua . Veamos la conmutatividad
del siguiente diagrama
f]
q (X) q (Y )
q
q
f]
q (X) q (Y )
f] q = q f] , en efecto
(f] q ) q f (q (q ))
f (q (q (iq )))
q (f q )
(q f] )(q )
Veamos por induccion en q que q es una aplicacion de cadenas, esto es, debe
conmutar el siguiente diagrama
q (X)
q
q (X)
q
q1
q1 (X) q1 (X)
q q = q1 q en efecto, para q = 0 es evidente
Supongamos que el resultado vale para k < q,esto es , k k = k1 k
Veamos que el resultado se tiene para q, en efecto , primero probaremos la
conmutatividad del siguiente diagrama.
q (q )
q
q (q )
q
q1
q1 (q ) q1 (q )
en efecto, sea iq q (q ), en la demostracion de la proposicion 3.6.12 se vio
(P ) = P ()
aplicando esta igualdad tenemos
homologa singular
87
(Bq q1 ( (iq ))) = q1 ( (iq )) Bq1 (q1 (q (iq )))

= q1 ((iq )) Bq1 q2 ((iq ))
= q1 ((iq ))
Sea q q (X)
q q (q ) =
=
=
=
=
=
=
=
=
q (q (q (iq )))
q q] (q (iq ))
q] q (q (iq ))
q q (q (iq ))
q q (Bq q1 (q (iq )))
q q1 (q (iq ))
q] (q1 (q (iq )))
q1 q] (q (iq ))
q1 q (q )
Proposici
on 4.3.2 Si : q Rk es un simplejo lineal con vertices P0 , P1 , P2 , ......, Pq
entonces
1. k P P 0 k max k P Pi k
P P 0 (q )
2. k k max k Pi Pj k
on .-Tenemos P 0 =
Pq Demostraci
0
i=0 xi = 1. Luego
k P P0 k =
=
=
=
Pq
i=0
x0i Pi
con x0i 0
P
kP
P qi=0 x0i Pi k
k qi=0 x0i (P Pi ) k
P
q
k x0i (P Pi ) k
Pi=0
q
0
i=0 xi k P Pi k
k P Pi k
de donde k P P 0 k max k P Pi k
(2)Como k k= max {k (x) (x) k / x, y q }
aplicando dos veces 1 se obtiene k k max k Pi Pj k
Proposici
on 4.3.3 Si : q Rk es un simplejo lineal entonces q (q )
q
contiene solo simplejos lineales de diametro q+1
kk
n
En particular q (iq ) = q q ......... q (iq ) contiene solo simplejos lineales
q n
de diametro ( q+1
) kk.
88
Demostraci
on
1.- Dados : q Rl , P Rl y f : Rl Rk aplicacion lineal se
tiene : f (P ) = f (P ) (f ) .
2.- Si : q Rl es lineal con vertices Q0 , Q1 , ..................., Qq entonces
P : q+1 Rl es lineal con vertices P, Q0 , Q1 .........., Qq .
Ahora:
q (q ) =
=
=
=
q (q (iq ))
q (Bq .q1 q (iq ))
q (Bq ).q (q1 q (iq ))
q (Bq ).q1 q q (iq )

Pq
j
j
= q (Bq ).q1 q
j=0 (1) (q )
Pq
j
j
=
j=0 (1) q (Bq ) q1 (q )
de aqu resulta que () contiene solo simplejos de la forma 0 = q (Bq )

donde esta contenido en alg
un q1 (q j ) . El diametro de 0 es igual a
k P Q k donde P y Q son vertices de 0 esos vertices son vertices de
o uno de ellos es q Bq .
Si P y Q son vertices de entonces
k 0 k = k P Q k k k
q1
q
q1
q
q
q+1
k j k
kk
kk
Si P = q (Bq ) por 1 de la proposicion 3.7.5 tenemos

k 0 k = k P Q k k P Pi k
P
1
Pj
para alg
un i , luego como (Bq ) = qj=0 q+1
P
1
k k k B Pi k =k qj=0 q+1
P j Pi k
Pq
1
=k j=0 q+1 (Pj Pi ) k
P
1
qj=0 q+1
k Pj Pi k
1
q+1 k k
Proposici
on 4.3.4 La subdivision baricentrica
q : q (X) q (X)
tiene la siguiente propiedad para todo q 0 , > 0 existe un n
umero real
n
N = N (, q) tal que (iq ) para n N contiene simplejos de diametro <
homologa singular
89
Demostraci
on .- Sean q 0 y > 0 por la proposicion 3.7.6 n (iq )
q n
) k iq k.
contiene simplejos lineales de diametro ( q+1
q n
Por otra parte limn ( q+1 ) = 0, entonces existe N = N (, q) para q 0
, > 0 tal que para todo n N n (iq ) contiene simplejos con k k
Proposici
on 4.3.5 ' Id , donde es la subdivision baricentrica
Demostraci
on .-Por induccion en q definiremos los homomorfismos
Tq : q (X) q+1 (X)
tal que
q+1 Tq + Tq1 q = q idq (X)
Para q = 0 considerar Tq = 0
Supongamos definido para k < q los
Tk : k (X) k+1 (X)
tal que k+1 Tk + Tk1 k = k idk (X)
Definamos para q
Tq : q (q ) q+1 (q )
por
Tq (iq ) = Bq (iq q (iq ) Tq1 (q (iq ))
En general
Tq : q (X) q+1 (X)
por
Tq (q ) = q] (Tq (iq ))
Proposici
on 4.3.6 Sean f, g : (X) (X) aplicaciones de cadenas naturales e iguales en dimension cero entonces existe una homotopa de cadenas
natural H : f ' g
Demostraci
on .- Para hacer uso de la proposicion consideremos la aplicacion j : X I X dada por j(x) = (0, x). las composiciones j] f y
j] g son iguales en dimension cero por la proposicion mencionada existe una
homotopa de cadenas natural H : j] f ' j]
La proyeccion en el segundo factor p : I X X , p(t, x) = x para
(t, x) I X induce una aplicacion de cadenas
p] : (I X) (X)
90
q+1 (X)
q+1 (I X)
p]
q+1 (X)
q+10
q+1
q (X)
. hq
q1 (X)
. hq1
q (I X) q1 (I X)
p]
p]
q (X)
q1 (X)
0
q+1 pq+1] hq + pq] hq1 q = pq] q+1
hq + pq] hq1 q
0
=
pq] (q+1 hq + hq1 q )
=
pq] (jq] fq jq] gq )
= pq] jq] fq pq] jq] gq )
=
id] fq id] gq
=
fq gq
puesto que pq jq (x) = pq (0, x) = x = id(x)

luego p] H : f ' g
Corolario 4.3.1 ' Id , donde es la subdivision baricentrica.
Demostraci
on .-Como, 0 = id por la proposicion ' id
Lema 4.3.1 (N
umero de Lebesgue) Sea (X, d) un espacio metrico compacto y {U } un cubrimiento abierto de X . Entonces existe un n
umero real
> 0 llamado n
umero de Lebesgue del cubrimiento, tal que cada bola
esta contenido por lo menos en un U
Demostraci
on .-Para cada y X , elijamosnr (y)
> 0 tal
o que B(y, r (y))
r(y)
extraemos un
U para alg
un y del cubrimiento abierto B y, 2
subcubrimiento finito

r (yi )
/i = 1, ....., n
B yi ,
2
n
o
r(y1 )
r(yn )
Sea = mim
, .... 2
, > 0 es el n
umero de Lebesgue. Para cual2

quier B(y, r) dado tenemos y B yi , r(y2 i )
Para alg
un i , y para cualquier z B(y, )
d(z, yi ) d(z, y) + d(y, yi ) < +
r(yi )
2
r (yi )
homologa singular
91

yi , r(y2 i )
es decir, B(y, ) B
U se tiene el resultado.
dado que el u
ltimo conjunto esta en alg
un
Sea una coleccion de subconjuntos de un espacio topologico X y q () el

sub complejo de (X) generado por aquellos q-simplejos : q X tal
que (q ) U para alg
un U
Como q y Tq son naturales (()) () y T (()) ()
Proposici
on 4.3.7 Sea = {U } tal que X = {int(U )/U } para
cualquier q-simplejo : q X existe n 0 tal que
n () ()
Demostraci
on .-Como X = int (A ) , tenemos
1
q (int (A )) , en efecto
q int (A )
entonces
q 1 ( int (A )) = 1 (int (A ))
Como q es metrico compacto por el lema 3.7.1 existe un n
umero real > 0
1
llamado n
umero de Lebesgue del cubrimiento { (int (A )}tal que cualquier
subconjunto de q cuyo diametro es menor que esta contenido por lo
menos en un 1 (int (A ) por la proposicion 3.7.7 existe N tal que para
n N n (iq ) q (q ) consiste solo de simplejos de diametro < .Por
consiguiente n (iq ) consiste de simplejos cada uno de los cuales esta en alg
un
, 1 int (A ) entonces n () = n (iq ) consiste de simplejos cada uno de
los cuales esta en alg
un int (A ) A . Por lo tanto n () ()
Proposici
on 4.3.8 Sea = {U } tal que X = {int(U )/U }, la
inclusion i] : () (X) es una equivalencia homotopica de cadenas.
En particular i? : Hq ()
= Hq (X) para toda q
Demostraci
on .- Como () y (X) , son complejos de cadenas
libres para probar que i] : () (X) es una equivalencia homotopica
de cadenas es suficiente probar H ()
= H(X), en efecto, la sucesion exacta
corta de complejo de cadenas
0 () (X)
(X)
()
92
d induce una sucesion exacta larga en homologa

.... Hq+1
(X)
()
i?
Hq ( ()) Hq ( (X)) Hq
(X)
()
para obtener el isomorfismo basta probar Hq ( (X)

) = 0 para todo q , en
()
efecto, sea [z] Hq ( (X)
) es una clase homologica donde z (X) es un
()
ciclo tal que (z) . Veamos z = (y) + u donde y (X) , u () , en
efecto, como n ' id existe T tal que T + T = id n evaluando en
z tenemos T (z) + T (z) = z n (z) luego
z = T (z) + T (z) + n (z)
por la proposicion 3.7.9 n (z) () , como (z) () y T ((z))
T (()) () tenemos T ((z)) () luego [z] = 0
Definici
on 4.3.3 Sean X1 , X2 sub espacios del espacio topologico X , a la
terna de espacios (X; X1 , X2 ) se denomina terna escisiva si la inclusion
i : ({X1 , X2 }) induce isomorfismo en homologa
Corolario 4.3.2 Si X = int(X1 )int(X2 ) entonces (X; X1 , X2 )es una terna
escisiva
Proposici
on 4.3.9 Sean U A X tal que U int(A) entonces la inclusion j : (X U, A U ) (X, A) induce isomorfismo en homologa
Demostraci
on.- (X; int(X U ), int(A)) es una terna escisiva , como
X = int(X U ) int(A) , = {int(X U ), int(A)} es un cubrimiento de
X . Por la proposicion 3.7.10
(X) ' () = (X U ) + (int(A))
como A = int(A U ) int(A) , 0 = {int(A U ), int(A)} es un cubrimiento
de A la proposicion 3.7.10
Delta(A) ' (0 ) = (A U ) + (int(A))
(X)
(X, A) =
(A)
()
'
(0 )
)+(int(A))
= (XU
(AU )+(int(A))
(XU )
=
(AU )
= (X U, A U )
luego H (X, A) = H (X U, A U )
homologa singular
4.4.
93
Suseci
on de Mayer-Vietoris
Sean X un espacio topologico, X1 , X2 dos sub espacios de X , denotaremos

esta situacion por (X; X1 , X2 ) y llamaremos una triada, sean i : X2 , X ,
= 1, 2 las incluciones .
Queremos establecer la relacion entre H (X) , H (X1 ),H (X2 ) y H (X1 X2 ) .
Proposici
on 4.4.1 Una triada (X; X1 , X2 ) es una triada escisiva si
las siguiente afirmaciones son equivalentes
1. i1 : H (X1 , X1 X2 )
= H (X1 X2 , X2 )
2. i2 : H (X2 , X1 X2 )
= H (X1 X2 , X1 )
3. (i1 i2 ) : H (X1 , X1 X2 )H (X2 , X1 X2 )
= H (X1 X2 , X1 X2 )
4. i : H ( {X1 , X2 })
= H ( (X1 X2 )) = H (X1 X2 )

(X1 X2 )
{X1 ,X2 }
5. i : H (X1 X2 ) = H (X1 X2 ) = H (X1 X2 , X1 X2 )

6. p : H (X, X1 X2 ) = H
(X)
(X1 X2 )
= H
(X)
{X1 ,X2 }
donde {X1 , X2 } es el subcomplejo de (X1 X2 ) generado por (X1 ) , (X2 ) i

es la inclucion y p la proyeccion.
Demostraci
on
Veremos
(1) (4) (2) , (4) (5)
(3)
(5) (6) tenemos las siguientes sucesiones exactas de aplicaciones de
cadenas
(X1 )
1 X2 )
1 X2 )
(a) 0 (X
(X
(X
0
(X2 )
{X1 ,X2 }
1 X2 )
(X1 X2 )
{X1 ,X2 }
(X1 X2 )
0
{X1 ,X2 }
(X)
0
(X1 X2 )
(b) 0 {X1 , X2 } (X1 X2 )

(c) 0
{X1 ,X2 }
(X1 X2 )
(X1 X2 )
{X1 ,X2 }
(X1 X2 )
(X1 X2 )
(X1 X2 )
{X1 ,X2 }
(d) 0
Veamos (1) = (4) pasando (b) a homologa obtenemos

i
1 X2 )
) ....
... Hq ( {X1 , X2 })
Hq ( (X1 X2 )) Hq ( (X
{X1 ,X2 }
para que resulte i isomorfismo, es necesario probar que
1 X2 )
Hq ( (X
)=0
{X1 ,X2 }
En efecto, pasando (a) a homologa obtenemos
94
sucesion de Mayer- Vietyoris

(X1 )
1 X2 )
1 X2 )
) Hq ( (X
) Hq ( (X
)
Hq ( (X
(X2 )
{X1 ,X2 }
1 X2 )
usando la hipotesis obtenemos la siguiente sucesion exacta corta

1 X2 )
0 Hq ( (X
) 0
{X1 ,X2 }
Veamos (4) = (1) pasando (a) a homologa obtenemos

i
1
(X1 )
1 X2 )
1 X2 )
Hq ( (X
)
Hq ( (X
) Hq ( (X
)
(X2 )
{X1 ,X2 }
1 X2 )
para probar que i1 es un isomorfismo basta probar que

1 X2 )
Hq ( (X
)=0
{X1 ,X2 }
En efecto pasando (b) a homologa obtenemos

i
1 X2 )
) ......
... Hq ( {X1 , X2 })
Hq ( (X1 X2 )) Hq ( (X
{X1 ,X2 }
usando la hipotesis obtenemos la sucesion exacta corta

1 X2 )
) 0
0 Hq ( (X
{X1 ,X2 }
(4) (5) (6) se demuestra de la misma manera.

(2) (4) se demuestra de lo anterior por simetra.
Veamos (3) (5) Tenemos el siguiente diagrama conmutativo
(X1 )
(X1 X2 )
(X2 )
(X
1 X2 )
(i1 , i2 ) &
(i1 ,i2 )
{X1 ,X2 }
(X1 X2 )
.i
(X1 X2 )
(X1 X2 )
pasando a homologa obtenemos el siguiente diagrama conmutativo

(X1 )
(X2 )
Hq ( (X
) Hq ( (X
)
1 X2 )
1 X2 )
(i1 , i2 ) &
=
(i1 ,i2 )
{X1 ,X2 }
Hq ( (X
)
1 X2 )
. i
1 X2 )
)
Hq ( (X
(X1 X2 )
por hipotesis (i1 , i2 ) resulta que i es isomorfismo.

(5) (3) Considerando el mismo diagrama conmutativo se tiene el resultado.
Teorema 4.4.1 Para cualquier triada la sucesion
homologa singular
(?)
95
(j1 ,,j2 )
(i1 ,i2 )
0 (X1 X2 ) (X1 ) (X2 ) {X1 , X2 } 0
es exacta donde i , j son las inclusiones. Si la triada es escisiva entonces la

sucesion de homologa de (?) tiene la forma
.... Hq (X1 X2 ) Hq (X1 ) Hq (X2 ) Hq (X1 X2 ) .....
y es natural.
Esta sucesion exacta se denomina la sucesion de MAYER VIETORIS
de (X, X1 , X2 ) .
Demostraci
on .-Veamos la exactitud de la sucesion (?) . En efecto (i1 , i2 )
es epimorfismo por la definicion de {X1 , X2 } ,
(j1 , , j2 )es monomorfismo y (i1 , i2 ) (j1 , , j2 ) = 0. Veamos Ker (i1 , i2 )
Im (j1 , , j2 ) En efecto, sea (c1 , c2 ) Ker (i1 , i2 ) entonces 0 = (i1 , i2 ) (c1 , c2 ) =
i1 (c1 )+i2 (c2 ) esto significa que c1 y -c2 son la misma cadena de (X) ,como
c1 (X1 ) y c2 (X2 ) se tiene c = c1 = c2 X1 X2 tenemos (j1 , , j2 ) (c) =
(c1 , c2 ) o sea (c1 , c2 ) Im (j1 , , j2 ) .
La sucesion (?) induce una sucesion exacta larga en homologa.
.... Hq ( (X1 ) (X2 )) Hq ( {X1 , X2 })
Hq1 ( (X1 X2 )) ..
Como (X; X1 , X2 ) es una terna escisiva, por la proposicion 2.48
Hq ( {X1 , X2 }) = Hq (X1 X2 )
luego
.... Hq (X1 ) Hq (X2 ) Hq (X1 X2 ) Hq1 ( (X1 X2 )) ..
es una sucesion exacta.
Naturalidad : Si f : X Y es una aplicacion continua tal que
f (X ) Y , = 1, 2 donde (X; X1 , X2 ) , (Y ; Y1 , Y2 ) son ternas excisivas
el siguiente diagrama conmuta
.. Hq ( (X1 X2 )) Hq (X1 ) Hq (X2 ) Hq (X) ..
f?
f? f?
f?
.. Hq ( (Y1 Y2 )) Hq (Y1 ) Hq (Y2 ) Hq (Y ) ..
96
Proposici
on 4.4.2 (Axioma de Escision) . Sea U A X tal que U
int(A) entonces la inclusion j : (X U, A U ) (X, A) induce isomorfismo en homologa.
c
Demostraci
on .-Como U int(A) ,tenemos int(A)c U ,de donde
X = int(A) int (U c ) ,luego (X, int(A) , int (U c )) es una terna escisiva por la
proposicion 2.28 (b) se tiene el isomorfismo en homologa.
ZZ
n
Z
Ejemplo 21 Hq (S ) =
q=n=0
q = n, n 1
q 6= n
Veamos por induccion en n.

Para n = 0 y q = 0 tenemos
H0 (S 0 ) = H0 (pto pto)
= H0 (pto) H0 (pto)
ZZ
=
Para n = 0 y q 6= 0 tenemos
Hq (S n )
= Hq (pto) Hq (pto)
= 0
Ahora supongamos que el resultado vale para n 1,o sea

Z q =n1
n1
Hq (S ) =
0 q 6= n 1
Veamos para n .En efecto , sean a = (0, ..,0, 1) , b = (0, ..,0, 1) ,
X1 = S n {a} X2 = S n {b} . Tenemos S n {a} Rn , S n {b}
Rn , X1 X2 S n1 X1 X2 S n . Consideremos la sucesion de Mayer
Vietoris.
.. Hq (X1 ) Hq (X2 ) Hq (X1 X2 ) Hq1 (X1 X2 ) ..
l
l
l
=
=
=
n
n
n
Hq (R ) Hq (R )
Hq (S )
Hq1 (S n1 )
para q > 1 se tiene la siguiente sucesion exacta
0 Hq (S n ) Hq1 (S n1 ) 0
de donde resulta
homologa singular
97
Hq (S n )
= Hq1 (S n1 )
para q = 1 tenemos
j?
0 H1 (S n ) H0 (S n1 ) H0 (Rn ) H0 (Rn )
como S n1 es conexo por caminos ,para n > 1 H0 (S n1 )
= Z Tenemos j? es
monomorfismo y Im = Ker j? = 0 de donde resulta la sucesion exacta
0 H1 (S n ) 0
luego H1 (S n ) = 0 para n > 1.
Ahora para n = 1 conideremos la sucesion exacta
j?
0 H1 (S 1 ) H0 (S 0 ) Z Z
tenemos H1 (S 1 )
= Im = Ker j .Consideremos(1, 0) , (0, 1)
generadores de Z Z , como i j = 0 debe cumplirse j (1, 0) = (1, 1) y
j (0, 1) = (1, 1) .
Luego
j (1, 0) =
j ((x, 0) + (0, y))
= x (1, 1) + y (1, 1)
=
(x + y, (x + y))
=
(0, 0)
de donde x = y . Por lo tanto Kerj esta generado por (1, 1) o sea
Kerj
= Z resultando H1 (S 1 )
= Z.
98
Captulo 5
APLICACIONES
ELEMENTALES
5.1.
Teorema de punto fijo de Brouwer
Sean
Dn+1 = {x Rn+1 /kxk 1} el disco uniatrio
S n = {x Rn+1 /kxk = 1} la esfera unitaria
Proposici
on 5.1.1 S n no es un retracto de Dn+1
Demostraci
on .-Supongamos que S n es un retracto de
Dn+1 ,entonces existe una retraccion r : Dn+1 S n ,o sea r |S n = idS n .Pasando
a homologa tenemos el siguiente diagrama conmutativo
Hq (S n )
id &
Hq (Dn+1 )
. r
n
Hq (S )
como Hq (S n )
= Z para q = n, Hq (Dn+1 ) = 0 q 6= 0.
Tenemos para q = n 6= 0 el siguiente diagrama conmutativo
i
0
id &
. r
Z
la cual es una contradiccion.

99
100
grado de Brouwer
Definici
on 5.1.1 Sea X un espacio topologico, f : X X una aplicacion continua. Un punto p X es un punto fijo de la aplicacion f si
f (p) = p.
Proposici
on 5.1.2 (Teorema de punto fijo de Brouwer) Toda aplicacion f :
Dn+1 Dn+1 tiene un punto fijo.
Demostraci
on .- Supongamos que f no tiene punto fijo, entonces x 6=
f (x) y consideremos el segmento de recta que une x con f (x) y lo prolongamos hasta intersectar S n esto nos define una retraccion r : Dn+1 S n
la cual contradice la proposicion anterior.
Proposici
on 5.1.3 Para n 6= m , S n y S m no son
homotopicamente equivalentes
Demostraci
on .-Como n 6= m podemos suponer que 0 n < m .Tenemos
m
Hn (S ) = 0 y Hn (S n ) = Z. .Si S n fuese homotopicamente equivalente a
S m tendramos 0 = Hn (S m ) = Hn (S n ) = Z. la cual es una contradiccion.
Proposici
on 5.1.4 Para n 6= m , Rn y Rm no son homeomorfos.
Demostraci
on .- Supongamos que Rn y Rm son homeomorfos entonces
existe un homeomorfismo f : Rn Rm , sea x = f (0) donde o Rn es el origen de coordenadas . Tenemos que Rn {0} homeomorfo a Rm {f (0)} y como Rn {0}es homeomorfo S n1 y Rm {f (0)}es homeomorfo S m1 resulta
S n1 es homeomorfo S m1 para n 6= m la cual es una contradicion a la proposicion 3.4.
5.2.
Grado de Brouwer
Sea f : S n S n , n 1, una aplicacion continua , pasando a homologa tenemos f : Hn (S n ) Hn (S n ) un homomorfismo , elijamos un

generador Hn (S n )
un entero r. Si
= Z ,tenemos f () = r para alg
n
x Hn (S ) x = m ,luego f (x) = f (m) = mf () = mr = rx. En
particular tenemos f () = r(). Por consiguiente el entero r no depende
de la eleccion del generador del grupo Hn (S n )
= Z.
Definici
on 5.2.1 El entero r se denomina el grado de la aplicacion f y
se denota deg (f ) = r.
Proposici
on 5.2.1 Si dos aplicaciones f, g : S n S n son homotopicas
,f ' g, entonces deg (f ) = deg (g)
Aplicaciones elementales
101
Demostraci
on Como f ' g tenemos f = g luego f () = r =
r = g () o sea (r r0 ) = 0 lo que implica deg (f ) = r = r0 = deg (g)
0
Proposici
on 5.2.2 Sean f, g : S n S n aplicaciones continuas ,entonces
deg (f g) = deg (f ) deg (g)
Demostraci
on .-Sea f, g : S n S n pasando a homologa tenemos (f g) : Hn (S n ) Hn (S n ) , luego para x Hn (S n ) tenemos deg (f g) x =
(f g) (x) =
= f (g (x)) = f (deg (g) x) = deg (g) f (x) = deg (g) deg (f ) x.
Proposici
on 5.2.3 Si f : S n S n es una aplicacion de grado r entonces
S n+1 S n+1 tiene grado r.
f:
Demostraci
on Consideremos el siguiente diagrama conmutativo
Hn (S n )
Hn+1 (S n+1 )
P
f
( f )
Hn (S n )
Hn+1 (S n+1 )
P
n+1
donde
es
el
isomorfismo
suspensi
o
n
.Para
x
H
(S
)
tenemos
deg(
f) x =
n+1
P
1
1
1
( fP
) (x) = f (x) = (deg (f ) (x)) = deg (f ) (x) = deg (f ) x luego
deg( f ) = deg (f ) = r.
Proposici
on 5.2.4 Si f : S n S n es una equivalencia homotopica entonces deg (f ) = 1
Demostraci
on Como f es una equivalencia homotopica existe g : S n
S una aplicacion continua tal que f g ' idS n y gf ' idS n luego por la proposicion 3.6 deg (f ) deg (g) = deg (idS n ) = 1 de donde resulta que deg (f ) = 1
y deg (g) = 1 o deg (f ) = 1 y deg (g) = 1 Por lo tanto deg (f ) = 1.
n
Corolario 5.2.1 Si f : S n S n es un homeomorfismo entonces deg (f ) =

1
Proposici
on 5.2.5 Sea f : S n S n , n 1 una aplicacion continua definida por
f (x1 , x2 , ....., xn+1 ) = (x1 , x2 , ..., xn+1 )
entonces
deg(f ) = 1
102
grado de Brouwer
Demostraci
on .-En S n consideremos los puntos z = (0, 0, ....., 1) , z 0 =
(0, 0, ....., 1) U = S n z, V = S n z 0 tenemos U V = S n , U V =
S n1 , f (U ) U, f (V ) V. En el ejemplo del capitulo 2 vimos H1 (S 1 )
=
Im = Kerj , Hq (S n )
= Hq1 (S n1 ) . Por la naturalidad de la sucesion de
Mayer- Vietoris tenemos el siguiente diagrama conmutativo con filas exactas
.
0 H1 (S 1 ) H0 (U V )
f
(f |U V )
1
0 H1 (S ) H0 (U V )
Un generador H1 (S 1 ) es representado por el ciclo c + d donde c =
x y = d y () por x y.
f () = (f |U V ) ( ()) = (f |U V ) (x y) = yx = () = ()
como es monomorfismo f () = , de donde se deduce que deg (f ) =
1.
Ahora supongamos que el resultado vale para n1.Veamos para n. En efecto
para n 2,en la sucesion de Mayer Vietoris es un isomorfismo y tenemos
el siguiente diagrama conmutativo.
Hn (S n ) Hn1 (U V )
Hn1 (S n1 )
f
(f |U V )
f
i
n
n1
Hn (S ) Hn1 (U V ) Hn1 (S )
tenemos
f () = 1 ((f |U V ) ()) = 1 i f i1
()
1
= i i1
()
=
1 ()
=
de donde deg (f ) = 1.
Proposici
on 5.2.6 Sea fi : S n S n , i = 1, 2, ..., n + 1 aplicaciones continuas definidas por fi (x1 , ......, xn+1 ) =
(x1 , ....., xi , ........, xn+1 ) entonces deg (fi ) = 1.
Demostraci
on La aplicacion continua g : S n S n definida por gi (x1 , ..., xi , ..., xn+1 ) =
(xi , x2 , ..., xi1 , x1 , xi , ..., xn+1 ) es un homomorfismo ,por el corolario 3.1 deg (g) =
1.Si consideramos h : S n S n la aplicacion definida como en la proposicion 3.9 deg(h) = 1. Tenemos fi = ghg,de donde deg (fi ) = deg (g) deg (h) deg (g) =
()2 (1) = 1.
103
Proposici
on 5.2.7 Sea A : S n S n una aplicacion continua definida por
A (x1 , x2 , ....., xn+1 ) = (x1 , x2 , ....., xn+1 )
entonces deg (A) = (1)n+1 .
Demostraci
on .-Tenemos A = f1 f2 ... fn+1 donde fi , 1 i n + 1
esta definida como en la proposicion 3.13 . Por lo tanto deg(A) = (1)n+1 .
Proposici
on 5.2.8 Dado un entero m existe una aplicacion f : S n
n
S , n 1 tal que deg(f ) = m.
Demostraci
on .-Veamos por induccion en n.Para n = 1,definamos f :
1
S S por f (z) = z m , z S 1 .El homomorfismo inducido en homologa f : H1 (S 1 ) H1 (S 1 ) es tal que f (x) = mx,para x H1 (S 1 ) de
donde deg(f ) = m. Supongamos que el resultado vale para n1,esto es existe f : S n1 S n1 tal que el deg(f ) = m. Veamos para n.P
En efecto, como
existe f : S n1 S n1 consideremos la suspensi
o
n
de
f,
f : S n S n
P
por la proposicion 3.7 m = deg(f ) = deg( f ). O sea existe f tal que
deg(f ) = m.
1
Proposici
on 5.2.9 Sean g, f : S n S n aplicaciones continuas tales que
f (x) 6= g(x) x S n ,entonces g ' Af.
Demostraci
on .-La aplicacion continua F : S n I S n ,definida por
F (x, t) =
(1t)Af (x)+tg(x)
k(1t)Af (x)+tg(x)k
da la homotopa entre g y Af.
Proposici
on 5.2.10 Sea f : S 2n S 2n una aplicacion continua entonces
existe x S 2n tal que f (x) = x o existe x S 2n tal que f (x) = x.
Demostraci
on .- Supongamos que para todo x S 2n ,
f (x) 6= x y f (x) 6= x ,por la proposicion 3.15 f ' A y f ' AA =
idS n y por la proposicion 3.5 1 = deg(A) =
deg(f ) = deg(A) deg(A) = deg(idS n ) = 1 pero esto es una contradiccion.
Proposici
on 5.2.11 No existe aplicacion continua f : S 2n S 2n tal que
x y f (x) sean ortogonales para todo x S 2n .
104
grado de Brouwer
Demostraci
on .- Supongamos que existe una aplicacion continua f :
2n
S S tal que hx, f (x)i = 0 .Por otra parte por la proposicion 3.17
existe x S 2n tal que f (x) = x o existe x S 2n tal que f (x) = x .
Ahora si x S 2n tal que f (x) = x tenemos 0 = hx, f (x)i = hx, xi =k
x k2 = 1,pero esto es una contradiccion.Ahora si existe x S 2n tal que f (x) =
x tenemos 0 = hx, f (x)i = hx, xi = k x k2 = 1 pero esto tambien es
una contradiccion. Esto prueba la proposicion.
2n
Definici
on 5.2.2 Un campo vectorial sobre S n es una aplicacion continua
V que asigna a cada x S n un vector V (x) Rn1 tal que hV (x), xi = 0.
Proposici
on 5.2.12 No existe campo vectorial sobre S 2n
Demostraci
on Supongamos que existe un campo vectorial no cero so(x)
2n
es un campo vectorial sobre S 2n de longitud
bre S entonces (x) = k(x)k
1 , la cual contradice a la proposicion
EJERCICIOS
1. Si una sucesion exacta corta de homomorfismos de grupos
f
0 A B C 0
se descompone , entonces B
=AB
2. Para cualquier sucesion exacta corta de homomorfismos de grupos
f
0 A B C 0
son equivalentes
(a) La sucesion exacta corta se descompone
(b) El homomorfismo f tiene inverso izquierdo
(c) El homomorfismo g tiene inverso derecho
3. Si en el siguiente diagrama de homomorfismos de grupos
f
f0
g0
h0
A0 B 0 C 0 D0
105
los dos renglones son exactas y los tres cuadrados conmutativos , epimorfismo
y monomorfismo, entonces tenemos
Im () = g 01 (Im ())
Ker () = g (Ker ())
Por lo tanto , si es un epimorfismo tambien lo es , y si es un
monomorfismo tambien lo es .
4. Si en el siguiente diagrama de homomorfismo de grupos
f
f0
g0
k0
h0
A0 B 0 C 0 D0 E 0
los dos renglones exactos y los cuatro cuadrados conmutativos y los homomorfismos , , , son isomorfismos, entonces el homomorfismo
es isomorfismo
5. Si en el siguiente diagrama de homomorfismo de grupos
f
0 A
f0
g0
C 0
0 A0 B 0 C 0
los dos renglones exactos y los dos cuadrados conmutativos, entonces

(a) si , son monomorfismos, tambien los es .
(b) Si , son epimorfismos , tambien lo es
6. Consideremos el siguiente diagrama de homomorfismo de grupos
f
A B C 0
h
D
donde el renglon es exacta y hf = 0. Probar que existe un homomorfismo k : D C unicamente determinado que satisface kg = h.
106
grado de Brouwer
7. Consideremos el siguiente diagrama de homomorfismo de grupos

D
h
f
0 A B C
donde el renglon es exacta y gh = 0. Probar que existe un homomorfismo k : D A unicamente determinado que satisface f k = h.
8. Si f : X Y es homotopico a una aplicacion constante .Probar
fq = 0 q
9. Supongamos que X tiene m componentes conexas. Calcular H 0 (X) .

10. Sean X e Y espacios topologicos ,Y conexo por caminos, f : X Y
una aplicacion continua .Probar f : H0 (X) H0 (Y ) es epimorfismo.
Si X es tambien conexo por caminos f es isomorfismo.
11. Sea x0 X , r : X {x0 } es una retraccion .Probar que H q

(X)
= Ker(rq )
12. Si X es conexo por caminos y A X, A 6= . Calcular H0 (X, A)
13. Sea (Xk )k una familia de componentes conexas por caminos de X ,
Ak = Xk A Probar Hq (X, A)
= k Hq (Xk , Ak ).
14. Sea f ' f 0 : (X, A) (Y, B) tal que f 0 (X) B . Probar fq :
Hq (X, A) Hq (Y, B) es el homomorfismo nulo q.
15. Sea S 2 la esfera unitaria de R3 , A = {(0, 0, x3 ) / k x3 k 1} .
Calcular los grupos de homologa de X = S 2 A.
16. Sea S n1 = {x S n /xn+1 = 0} .Calcular Hq (S n , S n1 )
P
P
17. Sea
X suspension de X ,i : X ,
X la inclusion . Probar q se
tiene la sucesion exacta corta
P
P
0 Hq+1 ( X) Hq+1 ( X, X) Hq (X) 0.
Captulo 6
HOMOLOGIA CELULAR
6.1.
Espacio celular
Es posible descomponer un espacio X cuya homologa se quiere calcular

en simples pedazos cuyas propiedades homologicas son conocidas y de ese
modo deducir informacion acerca de la homologa de X.
En esta seccion discutiremos la descomposicion celular de un espacio y probaremos que ello puede ser usado para simplificar el calculo de la homologa
de X.
Un ejemplo importante de descomposicion celular son las CW- descomposiciones .
Definici
on 6.1.1 Una filtraci
on de un espacio topologico X es una sucesion de subespacios X n X , n Z tal que X n X n+1 n.
Una filtracion se denomina celular si :
4.1.1.- Hi (X n , X n1 ) = 0 para i 6= n
4.1.2.- (X) = nZ (X n )
OBSERVACION
X = nZ X n , puesto que o (X) = nZ o (X n )
Definici
on 6.1.2 Un espacio junto con una filtracion celular se denomina
un espacio celular
Definici
on 6.1.3 Si X , Y son espacios celulares a una aplicacion continua
f : X Y
tal que
f (X n ) Y n n , esta se
denomina
aplicaci
on celular
107
108
espacio celular
Definici
on 6.1.4 Sea X un espacio celular escribamos
Wn X = Hn (X n , X n1 )
y definamos
n : Wn X Wn1 X como la composicion
Hn (X n , X n1 )
Hn1 (X n1 ) i Hn1 (X n1 , X n2 )
Proposici
on 6.1.1 W (X) = (Wn X, n ) es un complejo de cadenas
denominado complejo celular
Demostraci
on .-Veamos que n1 n = 0 . En efecto, consideremos el
siguiente diagrama
Hn2 (X n2 )
%
& j
00
n
Hn (X n , X n1 )
Hn1 (X n1 , X n2 )
0
&
% i
Hn1 (X n1 )
0
n1
Hn2 (X n2 , X n3 )
00
donde , son los homomorfismos de conexion , i, j son las inclusiones

00
0
00
de pares n1 n = j i , pero i = 0,luego n1 n = 0.
Proposici
on 6.1.2 Hn (X p , X q ) = 0 para p q n o n > p q
Demostraci
on .-Veamos por induccion en p-q , en efecto ,para pq = 0
tenemos Hn (X p , X q ) = 0 n.Para p q > 0 la sucesion de homologia
de la terna (X p ; X q+1 , X q )contiene lo siguiente
Hn (X p+1 , X q ) Hn (X p , X q ) Hn (X p , X q+1 )
el termino de la izquierda es cero por 4.1.1. igual que el termino de la
derecha por hipotesis de induccion , luego el termino de medio es cero.
Proposici
on 6.1.3 Hn (X, X q ) = 0 para q n
homologa celular
109
Demostraci
on .-Sea [z] Hn (X, X q ) .Veamos [z] = 0. En efecto, z
n (X) es un ciclo representante. Como n (X) = n n (X p ) existe p q
tal que z n (X p ) entonces [z] Im(Hn (X p , X q ) Hn (X, X q )) luego
[z] = 0
Proposici
on 6.1.4 Hn (X q , X r )
= Hn (X, X r )Si q > n y q r
Demostraci
on .-Consideremos la homologa de la terna (X; X q , X r )
0 = Hn+1 (X, X q ) Hn (X q , X r ) Hn (X, X r ) Hn (X, X q ) = 0
para q > n por la proposicion ...tanto el termino de la izquierda como de
la derecha son iguales a cero.Luego Hn (X q , X r )
= Hn (X, X r )
4.9 H (X, X 1 )
OBSERVACION
= H(X, X 2 )
= H (X, X 3 )
= ...
se tiene de la sucesion de homologa de una terna apropiada.
Teorema 6.1.1 Para cualquier espacio celular X existe un isomorfismo

natural
H (W X)
= H (X; X 1 )
Demostraci
on .-Para k n 2 consideremos el diagrama
Hn+1 (X n+1 , X n )
0
& n+1

n
k
n
n1
n1
0 Hn X , X Hn (X , X )
Hn1 X , X k

& n
n+1
k
n1
Hn X , X
Hn1 (X , X n1 )
0
donde las dos columnas y la fila del medio son porciones de la sucesion de
homologia de las ternas apropiadas, los ceros que aparecen son justificados
por la proposicion ya dada debido a la naturalidad de los dos triangulos
son conmuatativos. Ahora
110
espacio celular
Hn X n+1 , X k
= Hn X n+1 , X k
Hn (X n ,X k )
Ker()
Hn (X n ,X k )
Im
Imi
Im(i )
Ker
Imn+1
Kerj
Imn+1
Kern
Imn+1
Hn (W X)
entonces Hn (W X)
= Hn (X n+1 , X 1 ) si n > 0 , H0 (W X)
= H0 (X, X 2 )
= H0 (X, X 1 )
Captulo 7
ENTRE LOS
RELACION
GRUPOS DE HOMOTOPIA Y
HOMOLOGIA
7.1.
Teorema de Hurewicz
Sea X un espacio con punto base x0 y [f ] n (X) , la aplicacion f :

S X induce un homomorfismo de grupos
n
f : Hn (S n )
= Z Hn (X)
sea el generador de Hn (S n )
= Z . Definamos
hn : n (X) Hn X)
por hn [f ] = f () . esta aplicacion esta bien definida , puesto que si f ' g
entonces f ' g
Proposici
on 7.1.1 La aplicacion hn : n (X) Hn (X) es un homorfismo
de grupos para n 1
Demostraci
on Sean [f ], [g] n (X) por definicon [f ] [g] = [f.g] es la
clase de homotopa representada por la composicion
S n
S n S nf gX X 5 X
tomando homologa tenemos

Hn (S n ) Hn (S n S n ) = Hn (S n )Hn (S n )(f g) Hn (XX) = Hn (S n )Hn (S n )5 Hn (S n )
111
112
teorema de Whitehead
como () = (, )
hn ([f ] [g]) = f + g = hn ([f ]) + hn ([g])
Al homomorfismo hn se denomina la aplicaci
on de Hurewicz
Teorema 7.1.1 (Hurewicz) Sea X un CW-complejo conectable por trayectorias . Supongamos que i (X) = 0 para 1 i < n con n 2 entonces
hn : n (X) Hn (X) es un isomorfismo
Definici
on 7.1.1 Un espacio X es m -conexo si X es conectable por trayectorias y i (X) = 0 para i m
Corolario 7.1.1 Sea X un CW-complejo . Supongamos que 1 (X) es trivial
y Hi (X) = 0para i < n , entonces X es (n-1)-conexo y n
= Hn
7.2.
Teorema de Whitehead
Teorema 7.2.1 (Whitehead) Sea f : X Y una aplicacion entre CWcomplejos simplemente conexo. supongamos que f : Hn (X)
= Hn (Y ) es
isomorfo para todo n entonces f es una equivalencia homotopica
Demostraci
on
Definici
on 7.2.1 Una aplicacion f : X Y es una equivalencia homotopica debil si, f : n (X, x0 )
= n (Y, f (x0 )) es isomorfismo para cada n 0
Una aplicacion f : X Y es una equivalencia homologica si, f : Hn (X)
Hn (Y ) es un isomorfismo para todo n
El teorema de Whitehead establece que una equivalencia homologica entre
CW-espacios simplemente conexos es una equivalencia homotopica
Captulo 8
FIBRACIONES
8.1.
Fibraciones
Dualizamos la definicion y la teora dada al estudio de fibraciones las

cuales, son salvo homotopa, generalizaciones del espacio de cubrimiento.
Definici
on 8.1.1 Una aplicacion continua p : E B es una fibraci
on
si tiene la siguiente propiedad, para todo espacio topologico X, dada una
aplicacion continua f : X E y una homotopa G : X I B tal que
G0 = f . Entonces existe una homotopa H : X I E tal que H0 = f y
pH = G
X
0
p
X I
G
B
A esta propiedad se denomina propiedad de levantamiento de homotopa (PLH)
El subespacio p1 (b) se denomina fibra de p sobre b B ,B es el espacio
base y E el espacio total de la fibracion
Cuando el espacio X = I n son los cubos a la fibracion p : E B se denomina
fibraci
on de Serre
0
Definici
on 8.1.2 Sean p : E B y p : E B aplicaciones continuas
0
, una aplicacion fe : E E se denomina aplicacion fibrada si aplica fibras
0
en fibras, esto es si existe una aplicacion continua f : B B que hace
113
114
fibraciones
conmutativo el siguiente diagrama

E
p
0
B
fe
E
p
B
Ejemplo 22 Sea B un espacio topologico con punto base b0 . Sea

P B = {w : I B/w(0) = b0 }
espacio de trayectorias de B con la topologa compacta abierta. La aplicacion
q : PB B
definida por q(w) = w(1) es una fibracion con fibra el espacio de lazos de B,
B
B = {w : I B/w(0) = w(1)}
En efecto, sea X un espacio topologico y el diagrama conmutativo
X
f PB
0
q
X I
H B
queremos construir una homotopa G : X I P B tal que G0 = f y

H = qG para ello definamos una aplicacion continua
F :X I I B
por

F (x, t, s) =
f (x)(s(t + 1))
H(x, s(t + 1) 1)
para
para
1
0 s t+1
1
s1
t+1
para s = 0, F (x, t, 0) = f (x)(0) = b0 . Definamos una aplicacion continua

G : X I PB
dada por
G(x, t)(s) = F (x, t, s)
luego
q 1 (b0 ) = {w P B/q(w) = b0 }
= {w P B/w(1) = b0 }
= {w P B/w(1) = w(0)}
=
W
fibraciones
115
PB es contraible , en efecto, definamos una homotopa

H : PB I PB
por
H(w, s) = w((1 s)t)
tenemos H(w, 0) = w(t), H(w, 1) = w(0) = b0
Definici
on 8.1.3 Sea G un grupo abeliano y n > 0 un entero. Un espacio
K(G, n) es un espacio X tal que q (X) = 0 si q 6= 0 y n (X) = G . A estos
espacios se les denomina espacios de Elenberg- Mac Lane
Tenemos K(G, n) = K(G, n + 1)
Lema 8.1.1 Sea G un grupo abeliano y n > 1 un entero. Existe una fibracion
K(G, n 1) E K(G, n)
donde E es contraible
Demostraci
on.- En el ejemplo anterior pongamos X = K(G, n) entonces
tenemos
K(G, n) P K(G, n) K(G, n)
una fibracion . Como n > 1, K(G, n) = K(G, n 1)
Proposici
on 8.1.1 Sea n > 0 , 0 A B C 0 una sucesion exacta
de grupos abelianos . Existen fibraciones
1. K(A, n) K(B, n) K(C, n)
2. K(B, n 1) K(C, n 1) K(A, n)
3. K(C, n 1) K(A, n) K(B, n) cuyas sucesiones exactas de homotopa se reducen a
0ABC0
Demostraci
on .- Veamos la existencia de la fibracion
K(A, n) K(B, n) K(C, n)
sean Y y X los espacios K(B, n) y K(C, N ) respectivamente , sea f : Y X
una aplicacion tal que f : n (Y ) n (X) es el epimorfismo B C . Sea
E = {(y, ) Y X I /f (y) = (0)}
116
fibraciones
y p : E X definido por p(y, ) = (1) es claro que p es continua y sobre.

Veamos que p es una fibracion, en efecto, sea Z un espacio topologico y dado
el diagrama conmutativo
Z
g E
j0
p
Z I
H X
b : Z I E tal
esto es, Hj0 = pg. Construiremos una aplicacion continua H
b 0 = g y pH
b = H, para ello consideremos las proyecciones p1 : E Y
que Hj
I
y p2 : E X y definamos la aplicacion continua
: Z I XI
por
H(z, t + s 1)
p2 g(z)(t + s)
(z, t)(s) =
p2 g(z)(2s)
H(z, 2s 1)
sit s, t + s 1
sit s, t + s 1
sit s, 0 s 21
sit s, 12 s 1
es facil ver que esta bien definida y que es continua . Si (z, t) Z I se tiene
(z, t)(0) = p2 g(z) = (0) = f (p1 g(z)) porque (p1 g(z), p2 g(z)) = g(z) E.
Entonces hay una funcion continua
b :Z I E
H
definida por
b t) = (p1 g(z), (z, t))
H(z,
b = H y H(z,
b 0) = g(z)
Es facil de ver que pH
Ahora sea
j:Y E
definida por
j(y) = (y, y )
donde y X I es constante en f (y) . Veamos que j es una equivalencia
homotopica , en efecto, j es continua y p1 i = 1Y . Sea
: XI I XI
definida por (, T )(S) = (T S) y
F :EI E
definida por
F (y, , t) = (y, (, t)
fibraciones
117
Entonces F (y, , 0) = (y, (, 0) = (y, y ) = yp1 (y, ) y F (y, , 1) = (y, (, 1) =

(y, ) , luego jp1 = 1E . Entonces E es un K(B, n) . Viendo la sucesion exacta
de la fibracion p : E X , es claro que la fibra es un espacio K(A, n) y que
esta sucesion se reduce a = A B C 0
Los otros se demuestra de la misma manera
Proposici
on 8.1.2 Sea i : A , X una cofibracion , entonces
1iZ : Z X Z A
es una fibracion
Demostraci
on.- Dado el diagrama conmutativo
Y
ZX
0
1iZ
Y I
G ZA
Veamos la existencia de una aplicacion continua H : Y I Z X tal que

1iZ H = G y H0 = f , en efecto, tomando adjunto de las aplicaciones del
diagrama anterior tenemos el siguiente diagrama
X Y
X Y I AY I
de la propiedad de extension de homotopa de la pareja (X Y, A Y ) =
(X, A) (A, ) existe la aplicacion
b :X Y I Z
H
tomando adjunto se tiene H.
Corolario 8.1.1 La aplicacion
p : XI X
definida por p(w) = w(1) es una fibracion
Definici
on 8.1.4 Un punto base x0 de X se denomina no degenerado si
{x0 } , X es una cofibracion
118
fibraciones
Proposici
on 8.1.3 Sea p : E B una fibracion , entonces para cualquier
espacio localmente compacto Z la aplicacion
p1Z : E Z B Z
es una fibracion
Demostraci
on .- Dada el diagrama conmutativo
X
EZ
0
p1 Z
X I
G BZ
Veamos la existencia de una aplicacion continua H : X I E Z tal que

p1Z H = G y H0 = f , en efecto, tomando adjunto de las aplicaciones del
diagrama anterior tenemos el siguiente diagrama
Z X
E
p
Z X I B
b : Z X I E que hace
como p es una fibracion existe una aplicacion H
conmutativo el diagrama . Tomando adjunto obtenemos la aplicacion H
Proposici
on 8.1.4 Sean p : E B y q : B C dos fibraciones , entonces
la composicion qp : E C es una fibracion
Demostraci
on Consideremos el siguiente diagrama conmutativo
X
k
%
X I
E
p
pg
%
X
& 0
%F q
X I
C
como q es fibracion existe la aplicacion F : X I B tal que qF = G y

F 0 = pg y como p es tambien fibracion la aplicacion H : X I E tal que
pH = F y H0 = g, luego qpH = G y H0 = g lo que prueba la proposicion
fibraciones
119
Definici
on 8.1.5 Sean p : E By f : A B aplicaciones continuas
b = {a, e) A E/p(e) = f (a)}
E
b A es tal que pb(a, e) = a , se dice que pb es una aplicaci
y pb : E
on
b
inducida por p a trav
es de f y se denota por E = f E
b
E
fb
pb
p
A f B
Si fb : f E Ees tal que fb(a, e) = e resulta que fb es una aplicacion fibrada

Proposici
on 8.1.5 Si p : E B es una fibracion y g : A B es una
b A por p a
aplicacion continua , entonces la aplicacion inducida pb : E
traves de g es una fibracion
Demostraci
on Para X un espacio topologico consideremops el siguiente
diagrama conmutativo
X
b
E
gb
0
pb
p
X I
F A g B
b tal que
donde 0 (x) = (x, 0). veamos la existencia de Fb : X I E
Fb(x, 0) = f (x) y pbFb = F , en efecto, este diagrama se reduce al siguiente
diagrama conmutativo
X gf E
0
p
XI gF
B
como p es una fibracion , existe una aplicacion continua H : X I E

tal que H(x, 0) = gf (x) y p H = gF . Definamos
F : X I E
por
F (x, t) = (F (x, t), H(x, t))
F esta bien definida y es tal que
p F (x, t) = p(F (x, t). H(x, t))F (x, t)
F 0 (x) = F (x, 0) = (F (x, 0), H(x, 0)) = ( pf (x), gf (x)) = f (x)
pues pf (x) es la proyeccion de f (x) en el primer factor y gf (x) es la
proyeccion de f (x) en el segundo factor.
120
8.2.
haces fibrados
Haces fibrados
Definici
on 8.2.1 Un haz es una terna = (E, p, B) donde p : E B es
una aplicacion continua , el espacio B se denomina espacio base , el espacio
E se denomina espacio total y la aplicacion p se denomina proyeccion del haz
Para cada b B, p1 (b)se denomina fibra del haz sobre b B
Definici
on 8.2.2 Un morfismo de haces (f, f ) : es un par de
aplicaciones continuas f : E() E() y f : B() B() tal que el
diagrama conmuta
E() f E()
p()
p()
B() f B()
conmuta
Ejemplo 23 La proyeccion del producto cartesiano
p:BF B
(x, y) 7 x
es un haz con fibra F denominado haz trivial
Definici
on 8.2.3 Un haz fibrado p : E B es un haz localmente trivial con
fibra fija F , esto es, para cada x B existe una vecindad abierta U de x tal
que p1 (U ) es un haz trivial , en otras palabras , existe un homeomorfismo
U : p1 (U ) U F tal que el diagrama
U F
1
U
p1 (U )
p
=
U
esto es , p((x, y) = x para x U , y F

Al igual que variedades podemos usar el concepto de cartas para describir
un haz fibrado
Definici
on 8.2.4 Una carta (U, ) para un haz p : E B es un conjunto habierto U de B y un homeomorfismo : U F p1 (U ) tal que
p((x, y)) = x para x U , y F
Un atlas es una coleccion de cartas {(U , )} tal que {U } es un cubrimiento
abierto de B
firaciones y sucesiones
121
Proposici
on 8.2.1 Un haz p : E B es un haz fibrado con fibra F s y
solo si tiene un atlas
Demostraci
on Es evidente
Proposici
on 8.2.2 Sea p : E B un haz fibrado , entonces p es una
fibracion de Serre
Demostraci
on Veamos que p : E B tiene la propiedad de levantamiento
de homotopa para I n , en efecto dado el diagrama
In 0
p
G
In I
B
queremos construir una homotopa H : I n I E que hace conmutativo
los dos triangulos , esto es, H |I n 0 = g y pH = G . Sea {(U , )} un atlas
. Como {U } es un cubrimiento abierto de B , {G1 (U )} es un cubrimiento
abierto de I n I esto es
G1 (U ) = I n I
como I n I es compacto, existe un conjunto finito de abiertos G1 (1 ), ..., G1 (Uk )
tal que
kk=1 G1 (Uk ) = I n I
subdividamos I n en cubos peque
nos que denotamos por C e I en intervalos
Ij = [] , 0 j m, cada producto C Ij es aplicado de G en Uk para alg
un
1 k K . Ordenemos los cubos peque
nos C por C1 , C2 , ..., Ct y definamos
un orden {Ci Ij } por
C1 I0 , C2 I0 , ..., Ct I0 , ...., C1 I1 , C2 I1 , ..., Ct I1 , ......, C1 Im , C2 Im , ..., Ct Im
como G(Ci Ij ) Ukij para alg
un 1 kij K el problema de levantamiento puede resolverse por induccion construiendo H |Ci Ij con la propiedad
deseada
Comencemos con el primer caso . Dado el diagrama conmutativo
C1 0
g |C1
C1 I0 G |C1 I0
p1 (Uk1,0 )
p
Uk1,0
p
B
122
haces fibrados
como p : p1 (Uk1,0 ) Uk1,0 es un haz trivial , existe el levantamiento

H |C1 I0
Sea = (E, p, B) un haz fibrado con fibra F y un atlas {U , )} la
composicion
1
1
1
: (U U ) F p (U U ) (U U ) F
tiene la propiedad que
1
(x, y) = (x, g (x, y))
para cualquier x U U , y F
consideremos la aplicacion continua g : (U U ) F F . Fijando x,
g (x, ) : F F dada por y 7 g (x, y) es homeomorfismo con inverso
dada por g (x, ). Esto da origen a una funcion de transicion
g : U U Hom(F, F )
donde Hom(F, F ) denota el grupo de homeomorfismosde F en F, y satisface
la ecuacion
g (x)g (x) = g (x)
para x U U U ) Si = =
g (x)g (x) = g (x)
luego g (x) = (x) para x U
Si =
g (x)g (x) = g (x) = x
luego g (x) = g (x)1 para x U U
consideremos en Hom(F, F ) la topologa compacta abierta . Veamos que las
funciones de transicion
g : U U Hom(F, F )
son continuas , en efecto,sea WK,U un abierto sub basico del espacio Hom(F, F )
1
. Bastara probar que g
(WK,U ) sea abierto en U U ,para ello , sea x0
1
g (WK,U ) probemos que existe una vecindad V de x0 tal que x0 V
1
1
g
(WK,U ) o que g (V K) U . Como U es abierto g
(U ) es abierto en
1
(U U ) F con x0 K g (U ), pues g : (U U ) F es continua
1
(U ) es abierto para cada y K existen vecindades abiertas V
. Como g
1
de y N de y tal que V N g
(U ) , como {Ny /y K}es un cubrimiento abierto de K , existe un subcubrimiento finito {N (y1 ), ..., N (ym )} de K .
1
consideremos V = m
j=1 ,luego V K g (U ) o sea g (V K) U
firaciones y sucesiones
123
Definici
on 8.2.5 Sea G un grupo topologico y X un espacio topologico . Una
G-accion por la derecha sobre X es una aplicacion
:X GX
(x, y) 7 x.g
para x X , g G tal que
1. x,1 = x
2. (x.g).h = x.(gh)
A X se denomina G-espacio(derecha)
Definici
on 8.2.6 Sean X e Y G- espacios . Una aplicacion f : X Y es
una G-aplicaci
on si f (x.g) = f (x).g para x X y g G
el conjunto de las G-orbitas xG , x X con la topologa cociente
Sea X
G
Para g G fijo la aplicacion x 7 x.g es un homoemorfismo , en efecto,
tiene como inverso a la aplicacion x 7 x.g 1
es una aplicacion abierta, en efecto, sea U un sub
La aplicacion : X X
G
conjunto abierto de X
1 ((U )) = gG U.g
es abierto , puesto que es la union de conjuntos abiertos.
Estamos interesados en que : X X
sea un haz fibrado con fibra G es
G
decir un haz principal , estamos buscando condiciones para que esto suceda .
G
entonces 1 (x) = {x.g/g G} = Hx
donde Hx = {g G/x.g =
Sea x X
G
x}, para tener una fibra constante G es necesario asumur que la G-accion
sobre X sea libre , esto es, x.g = x g = 1 para x X . En este caso se
dice que X es un G-espacio libre
Como un haz fibrado es localmente trivial , existe siempre una seccion local
del espacio base al espacio total entonces una de las condiciones es que :
tenga una seccion local, esto es, para cualquier x X
existe una
X X
G
G
vecindad abierta U de x con una aplicacion continua sx : U X tal que
sx = 1U
Definamos
x : U G 1 (U )
por
(y, g) 7 sx (g).g
124
haces fibrados
para cuaquier y U . Tenemos que x es biyectiva

Lo que queremos es que x sea homeomorfismo para ello es necesario buscar alguna condicion para que se cumpla, con ese objetivo consideremos la
aplicacion
: X G
tal que
x. (x, y) = y
para todo (x, y) X donde X = {(x, x.g) : x X, g G} X X
a la aplicacion se denomina la aplicacion traslaci
on(es u
nica)
Proposici
on 8.2.3 Las siguientes afirmaciones son equivalentes
la aplicacion x : U G 1 (U ) donde U es una
1. Para cada x X
G
vecindad de x es un homeomorfismo
2. Existe un atlas {U , } de
X
G
tal que los homeomorfismos satisfacen
: U G 1 (U )
satisfacen la condicion
(y, gh) = (y, g).h
esto es, es un homeomorfismo de G-espacios
3. la aplicacion traslacion es continua
Demostraci
on(1) (2) Es evidente
(2) (3)La traslacion para G-espacios libres es u
nica (3) (1)
Definici
on 8.2.7 Un G-haz principal es un G-espacio libre X tal que
:X
X
G
tiene una seccion local y una de las condiciones de la proposicion anterior.
Captulo 9
ANILLO DE COHOMOLOGIA
SINGULAR
9.1.
Cohomologa singular
Sean A y G grupos abelianos, denotemos por Hom(A, G) al grupo abeliano de homomorfismos de A en G. En particular , si (X, A) es una pareja
de espacios . Definamos
n (X, A; G) = Hom(n (X, A), G))
y
n : n (X, A; G) n+1 (X, A; G)
por
n (f )(c) = f n+1 (c)
donde c n+1 (X, A) y f n (X, A; G)
Proposici
on 9.1.1 (n (X, A; G), n ) es un complejo de cocadenas
Demostraci
on .- Basta probar que n+1 n = 0 ,en efecto,
n+1 n (f )(c) = n (f )n+2 (w) = f n+1 n+2 (c) = 0
q : q q1 para toda q 0 y n+1 n+2 = 0 , c n+2 , f n (X, A; G)
Definici
on 9.1.1 Al grupo abeliano
H n (X, A; G) =
Z n (X, A; G)
B n (X, A; G)
donde Z n (X, A; G) = Ker( n : n (X, A; G) n+1 (X, A; G)), B n (X, A; G) =

Im( n1 : n1 (X, A; G) n (X, A; G)) se denomina el n-
esimo grupo
de cohomologa singular de (X, A) con coeficientes en G
125
126
cohomologa
Si
0ABC0
es una sucesion exacta de grupos abelianos y G es un grupo abeliano, la
siguiente sucesion
0 Hom(C, G) Hom(B, G) Hom(A, G)
es exacta y si es escindible resulta que la sucesion
0 Hom(C, G) Hom(B, G) Hom(A, G) 0
es exacta
Si (X, A) es una pareja de espacios , la sucesion
0 q (X, A; G) q (X, G) q (A, G) 0
es exacta escindible puesto que q (X, A) es libre , luego la sucesion
0 q (X, A; G) q (X; G) q (A, G) 0
es exacta e induce una sucesion exacta en cohomologa
.. H q (X, A; G) H q (X; G) H q (A; G)
H q+1 (X, A; G) ...
el homomorfismo de conexion se define en forma analoga al homomorfismo

de conexion para homologa.
Sean C y D complejo de cadenas , f, g : C D aplicaciones de cadenas
, f ' g, G un grupo abeliano enlas aplicaciones de cocadena
F ] , g ] : Hom(D, G) Hom(C, G)
son homotopicos de cadena , F ] ' g ] , en efecto, si T : f ' g entonces
T ] : F ] ' g]
Una aplicacion de parejas f : (X, A) (Y, B) induce un homomorfismo
f : H (Y, B; G) H (X, A) y si g : (Y, B) (Z, C) es otra aplicacion de
parejas , entonces (gf ) = f g
Proposici
on 9.1.2 Si f, g : (X, A) (Y, B) son aplicaciones de parejas
homotopicas entonces f = g : H (Y, B; G) H (X, A; C)
Demostraci
on.- Si f ' g entonces f] ' g] , luego f ] ' g ] de aqu resulta
f = g
cohomologa singular
127
Proposici
on 9.1.3 Sea una pareja de espacios tales que U
A entonces la
inclusion i : (X U, A U ) , (X, A) induce isomorfismo en cohomologa
I : H (X, A; G) H (X U, A U )
Demostraci
on .-Por corolario i] : q (X U, A U ) q (X, A) induce
isomorfismo en homologa i : H q (X U, A U ) H q (X U, A U ) para
cada q . Como q (X U, A U ) y q (X, A) son grupos abelianos libres i
es una equivalencia homotopica H q (X, A; G)
= H q (X U, A U ; G)
H q (; G) es un funtor contravariante de la categora de parejas de espacios en la categora de grupos abelianos. Existen transformaciones naturales
: H q (A, G) H q (X, A; G)
hacen que verifique los axiomas de Eilenberg- Steenrod que define una teora
de cohomologa , esto es:
1.-.. H q (A; G) H q+1 (X, A; G) H q+1 (X, G) ...
2.- Si f ' g : (X, A) (Y, B) entonces f = g : H q (Y, B; G) H q (X, A; G)
3.- Si U U A, la inclusion i : (X U, A U ) (X, A) induce isomorfismo H q (X, A; G) H q (X U, A U ; G)
4.- Si P es un espacio de un solo punto entonces H q (P, G) = G si q = 0 y es
0 si q 6= 0
Hemos definido el grupo de cocadenas q (X, A; G) = Hom(q (X, A); G).
Si es una cocadena en q (X, A; G) y c es una cadena en q (X, A)el valor
de en c , (c) es un elemento de G denotado usualmente por h, ci o sea
(c) = h, ci . Este apareamiento produce un homomorfismo
h, i : q (X, A; G) q (X, A) G
para cada p.
Tenemos
h1 + 2 , ci = h1 , ci + h2 , ci
h, c1 + c2 i = h, c1 i + h, c2 i
Los operadores borde y coborde son adjuntos, esto es,
h, ci = h, ci
128
cohomologa
Aun mas, si f : (X, A )(Y, B) es una aplicacion de parejas , q (X, A; G)

, c q (X, A) entonces
h, f] (c)i = hf ] (), ci
Una cocadena q (X, A; G) es un cocclo s solo si h(), ci = 0 para todo
c q+1 (X, A) o equivalentemente h, ci = 0
Si q (X, A; G) es un coborde , = donde q1 (X, A; G)
entonces h, ci = h, ci = h, ci
Sean [] H n (X, A; G) y [c] Hn (X, A) definamos un apareamiento
h, i : H n (X, A; G) Hn (X, A) G
por
h[], [c]i = h, ci
esta definicion no depende de la eleccion de y c, en efecto, si = ()
y c d = (e) tenemos
h, ci h, di = h , c di
= h(), (e)i
=
h, (e)i
=
0
este apareamientose denomina Indice de Kronecker
se puede ver como un homomorfismo
: H n (X, A; G) Hom(Hn (X, A); G)
([])([c]) = h, ci
Proposici
on 9.1.4 es un isomorfismo si Hn1 (X, A) = 0 o es libre
Demostraci
on Veamos que es sobre, en efecto, sea f Hom(Hn (X, A); G)
la composicion
Zn (X, A) p Hn (X, A) f G
se extiende a un homomorfismo F : n (X, A) G

Ahora
hF, ci = hF, ci
=
0
cohomologa singular
129
donde c n+1 (X, A)

luego [F ] H n (X, A; G)
([F ])([c]) = hF, ci
= F (c)
= f ([c])
o sea [F ] = f
Veamos Ker() = 0 en efecto, sea [] Ker() entonces ([])([c]) = 0
Zn1 (X,A)
es libre o cero
para todo [c] Hn (X, A) . Como Hn1 (X, A) = B
n1 (X,A)
1
: Bn1 (X, A) G puede extenderse a g : Zn1 (X, A) G entonces
puede extenderse a : n1 (X, A) G . Luego
h(), [c]i = h, [c]i
= 1 ([c])
=
h, [c]i
es decir () =
En general tenemos
Proposici
on 9.1.5 Dada una pareja de espacios (X,A) y un grupo G la
sucesion
0 Ext(Hn1 (X, A); G) H n (X, A; G)
Hom(Hn (X, A); G) 0
es exacta escindible
130
cohomologa
Captulo 10
HOMOLOGIA DE ESPACIOS
FIBRADOS
En este captulo introducimos el metodo de la sucesion espectral para el
estudio de la homologa de una fibracion la cual se obtendra a partir de la
pareja exacta de Massey
10.1.
Pareja Exacta
En la discucion algebraica de esta seccion supondremos que estamos trabajando en la categora de gruabelianos graduados
Definici
on 10.1.1 Una pareja exacta es un par D, E de grupos abelianos
junto con homomorfismos , , tales que el triangulo
D
D
-.
E
es exacta en cada vertice

.
Si d = : E E entonces dd = = 0 , pues = 0. As (E, d)es
un complejo de cadenas , donde
Ker(d) = 1 ((D)), en efecto , x Ker(d) d(x) = 0 (x) =
0 (x) Ker() = Im(d) = (D) x 1 ((D))
Im(d) = (Ker()) , en efecto, y Im(d) existe x E tal que
d(x) = y (x) = y y (Ker()) pues (x) Im() = Ker()
131
132
homologa de espacios fibrados

1
((D))
Si E1 = H(E, d) = Ker(d)
= (Ker(d))
, D1 = (D) D, 1 = |D1 ,
Im(d)
1 (/(x)) = [(x)], donde x D , 1 [y] = (y) donde y E
Veamos (x) es un cclo , en efecto, d((x)) = (x) = 0. Veamos que 1 (z)
con z D1 depende solo de z, en efecto, si (x) = (y) entonces (xy) = 0
o sea x y Ker(), luego
(x) (y) = (x y) (Ker()) = Im(d)

o sea (x) (y) = d(u) para alg
un u E. Pasando a clases tenemos
[(x)] [(y)] = [(x y)] = [d(u)] = 0
1 ((x)) = [(x)] = [(y)] = 1 ((y))
Veamos (y) D1 , en efecto, (y) = d(y) = 0 , pues y es cclo ,
luego(y) Ker() = Im() = (D) = D1
Veamos (y) = 0 s y es una frontera, en efecto, si y = d(x) para alg
un
x E entonces y = (x), luego (y) = (x) = 0, pues = 0
Proposici
on 10.1.1
D1
D1
1 -. 1
E1
es una pareja exacta

Demostraci
on .- Im1 Ker(1 ) , en efecto, 1 1 [z] = (z) = 0 . Veamos Ker(1 ) Im1 , en efecto, sea x Ker(1 ) entonces 1 (x) = 0 con
x D1 = Im() = Ker() de donde resulta (x) = 0. Como 1 = |D ,
x Ker1 = Ker() = Im() entonces existe y E tal que (y) = x ,
luego (y) = (y) = (x) = 0 , pasando a clases [y] E1 , 1 [y] = (y) = x
lo que prueba x Im1
Veamos Im(1 )Ker(1 ), en efecto, 1 1 (x) = [(x)] = 0 pues x D1 =
Ker()
Veamos Ker(1 ) Im(1 ) , en efecto, sea z Ker(1 ) entonces 1 (z) =
0 con z D1 = (D)o sea z = (x) , con x D luego 0 = 1 ((x)) = [(x)]
de donde (x) Im(d) entonces existe y E tal que d(y) = (y) = (x)
luego ((y) x) = 0 o sea (y) x = x0 con x0 Ker() = Im() = D1
luego z = (x) = ((y) x) = 1 (x0 ) = (x0 ) Im(1 )
pareja exacta
133
Veamos Im(1 ) Ker(1 ) , en efecto,

1 1 ((x)) = 1 [(x)] = (x) = 0
Veamos Ker(1 ) Im(1 ) , en efecto, se [z] Kewr(1 ) o sea (z) =
1 [z] = 0 o sea z Ker() = Im() entonces existe x D tal que (x) = z
pasando a clases [z] = [(x)] = 1 ((x)) Im(1 )
A la pareja exacta de la proposicion se denomina pareja derivada de la
pareja exacta original.
El proceso de derivacion puede ser indefinido, produciendo una sucesion
infinita de parejas exactas
Dn
n -. n
En
Dn
donde dn = n (D) D, n = ..... , n = |Dn

En =
1 (n (D))
(Ker(n ))
definamos
n (n (x)) = (x) + (Ker(n ))
Veamos que esta bien definida, en efecto, si n (x) = n (y) tenemos x y =
Ker(n ) y (x) (y) (Ker(n )) luego
n (z + (Ker(n ))) = (z) n (D) = Dn
definamos
dn : En En
por dn = n n tenemos
dn (z + (Ker(n ))) = n n (z + (Ker(n )))
=
n ((z))
=
n (n (z))
=
(x) + (Ker(n ))
pues (z) = n (x) con x D
As (En , dn ) es un complejo de cadenas cuyo grupo de homologa es En+1
. De esta manera obtenemos una sucesion espectral denomina sucesi
on espectral de la pareja exacta
Asociada a cada sucesion espectral existe un importante grupo lmite E
E =
1 (n0 Im(n ))
(n0 Ker(n ))
134
homologa de espacios fibrados
Definici
on 10.1.2 Una sucesi
on espectral es una sucesion {En , dn : n
+
Z } donde En son grupos abelianos , dn : En En endomorfismos tales que
n)
dn dn = 0 y En+1 = H(En , dn ) = Ker(d
, n = 0, 1, 2....
Im(dn )
Un homomorfismo de una sucesion espectral {En , dn : n Z + } a otra
0
0
sucesion espectral {En , dn : n Z + } es una sucesion de homomorfismos
0
fn : En En
tal que
0
1.-dn fn = fn dn
2.-fn+1 es inducido por fn en homologa , para todo n Z +
Ejemplo 24 Pareja exacta de un complejo de cadenas filtrado y la sucesion

espectral asociada.
Sea (C, ) un complejo de cadenas, {C p } una filtracion de C o sea una
familia de sub complejos de C tal que
... C p1 C p C p+1 .... C
supongamos C p = 0 para p < 0
p C p = C
de la sucesion exacta corta
j
i
0 C p1
C p
Cp
0
C p1
obtenemos una sucesion exacta larga en homologa
... Hp+q (C p1 )
Hp+q (C p ) Hp+q (
Cp
) Hp+q1 (C p1 ) ...
C p1
de aqu obtenemos una pareja exacta bigraduada

p
Dp,q = Hp+q (C p ) , Ep,q = Hp+q ( CCp1 )

p,q : Dp,q = Hp+q (C p ) Dp+1,q1 = Hp+q (C p+1 )
p,q : Dp,q = Hp+q (C p ) Ep,q = Hp+q (
Cp
)
C p1
pareja exacta
135
p,q : Ep,q = Hp+q (
Cp
) Dp1,q = Hp+q1 (C p1 )
C p1
tenemos
p1,q+1
p,q
p,q
... Dp1,q+1 Dp,q Ep,q Dp1,q ...

La diferencial de la pareja exacta es
d = : Ep,q = Hp+q (
Ep,q
=
Cp
) Ep1,q = Hp+q1 (C p1 )
C p1
1 (r0 Im(r : Dp1r,q+r Dp1,q ))

(r0 Ker(r : Dp,q Dp+r,qr ))
afirmamos que esta sucesion espectral converge a H (C, ), en efecto,

definamos una filtracion de H (C, ).
Fp H (C, ) = Im(ip : H (C p ) H (C)
y definamos
: Fp Hp+q (C, ) Ep,q
como sigue: dado x Fp Hp+q (C, ), x = ip (y) para alg

un y Hp+q (C p ) =
Dp,q , p,q (y) Ep,q . Como p,q p,q (y) = 0 el elemento p,q (y) representa una
clase en Ep,q
. Luego
(x) = [p,q (y)]
Veamos que esta bien definido. Tenemos
Ker(ip ) Ker(r : H (C p ) H (C p+r ))
si r es suficientemente grande , en efecto, sea u Ker(ip ), u0 C p un ciclo
representante de u entonces u0 = v0 para alg
un v0 C .
p
p+r
Como C = C , v0 C
para alg
un r y as u Ker(r ). Ahora si z
es otro elemento con ip (z) = x entonces y z Ker(ip ) y por lo anterior
y z Ker(r ) para alg
un r entonces (y) (z) es cero en E .
Ker()
1 (0)
= (r0
Veamos que es sobre, en efecto, [u] Ep,q
= (r0
Ker(r ))
Ker(r ))
, pues r0 Im(r ) = 0, debido a que C p = 0 si p es suficientemente peque
no.
p
Como Ker() = Im() existe y Dp,q = Hp+q (C ) tal que (y) = u, luego
existe ip (y) Fp Hp+q (C, ) tal que
(ip (y)) = [(y)] = [u]
136
cuadrado de Steenrod
Veamos Ker() = Fp1 Hp+q (C, ) , en efecto, sea x Fp1 Hp+q (C, ) ,
existe y H (C p1 ) tal que x = ip1 (y) = ip ((y)), luego (x) = [((y))] =
0 o sea x Ker(), lo que prueba
Fp1 Hp+q (C, ) Ker()
Sea x Ker(), (x) = 0 en E , ip (y) = x entonces (y) = (z) para
alg
un z tal que r (z) = 0 para alg
un r . Tenemos y z Ker() = Im() ,
y z = (u) para alg
un u
x =
ip (y)
=
ip (z)
+
ip ((u))
= ip ((u)) pues ip (z) = 0 ya que Ker(ip ) Ker(r )
= ip1 (u)
pues
ip
=
ip1
luego x Fp1 Hp+q (C, ), por el teorema fundamental de isomorfismo
Fp Hp+q (C, )
= Ep,q
Fp1 Hp+q (C, )
10.2.
Sucesi
on espectral de una fibraci
on
Teorema 10.2.1 Sea p : E B una fibracion con fibra F, B simplemente conexa, p,q,r 2 son enteros entonces existen grupos abelianos Erp,q y
p,q
pr,q+r1
homomorfismos dp,q
tal que
r : Er Er
1. Erp,q = 0 si p < 0 o q < 0
2. E2p,q = Hp (B, Hq (F ))
p,q
3. Er+1
=
p,q
4. E
=
Ker(dp,q
r )
Im(dp+r,qr+1
)
r
J p,q
Jp1,q+1
donde Hn (E) = J n,0 J n1,1 J n2,2 ..... J 0,n J 1,n+1 = 0
10.3.
Cuadrados de Steenrod y relaciones de

Adem
0
Definici
on 10.3.1 una operaci
on cohomol
ogica de tipo (q, G; n, G ) es
una transformacion natural
0
: H q (, G) H n (, G )
operaciones cohomologicas
137
esto es, si X es un espacio topologico

0
X : H q (X, G) H n (X, G )
es homomorfismo y si, f : X Y una aplicacion continua, el diagrama
siguiente conmuta
X
0
H q (X, G)
H n (X, G )
f
f
Y
0
H q (Y, G)
H n (Y, G )
Construiremos una familia de operaciones cohomologicas {Sqi }
i=0 denominado cuadrados de Steenrod
Sqi : H q (, Z2 ) H q+i (, Z2 )
satisfaciendo las siguientes propiedades
1. Sqi es homomorfismo, S0i es la identidad
2. Si dim(x) = i ,Sqi x = x2
3. Si i > q ,Sqi x = 0 , (q = dim(x))
4. Si u H (X, A) , v H (Y, B) y {A Y, X B} es un par escisivo
en X Y entonces
Sqi (u v) = ki=0 Sqi u Sqki v
Para cualquier complejo de cadenas C sea T : C C C Cla
aplicacion de cadenas que cambia los factores
T (x y) = (1)dim(x)dim(y) y x
escribamos 4(X) para 4(X, Z2 )
Lema 10.3.1 Existe una familia funtorial de homomorfismos
Dj : 4(X) 4(X) 4(X)
de grado j tal que:
1. D0 es de cadena y conmuta con la aumentacion
138
cuadrado de Steenrod
0
2. Para j > 0 , Dj + Dj + Dj1 + T Dj1 = 0 Si {Dj } y {Dj } son dos

sucesiones , existe una familia de homomorfismos funtoriales {Ej }
Ej : 4(X) 4(X) 4(X)
de grado j tal que
3. E0 = 0
0
4. Si j 0 , Ej+1 + Ej+1 + Ej + T Ej + Dj + Dj = 0
Demostraci
on.- Usaremos la teora de modelos acclicos. Sea R el anillo
de grupo de Z2 sobre el campo Z2 , R es Z2 [t] modulo ,la relacion t2 + 1 = 0
, los elementos de R son a + bt con a, b Z2 . Construiremos una resolucion
R- libre y acclico de Z2

0 Z2
C0 C1 C2 ....
cq tiene un generador dq y q dq = (1 + t)dq1 , q1 q dq = (1 + t)2 dq2 = 0 .

Veamos que es acclico . Supongamos
q ((a + bt)dq ) = (a + bt)(1 + t)dq1 = 0
luego a + b = 0 , (a + bt)dq = q+1 (adq+1 ) y (d0 ) = 1
consideremos el funtor 4(X) Z2 C, es aumentado y libre sobre R con
modelos {4q }q0 y base {q dj }. Consideremos 4(X) 4(X) como r
modulo , dejando que t actue como T entonces 4(X) 4(X) es aumentado
y acclico con modelos {4q }q0 . Por el teorema de modelos acclicos existe
una aplicacion de cadenas
: 4(X) C 4(X) 4(X)
que preserva aumentacion.

Libro DR AGarciaA

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Libro DR AGarciaA

Încărcat de

Drepturi de autor:

Formate disponibile

HOMOLOGA SINGULAR

AGRIPINO GARCA ARMAS

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

2. TEORIA DE HOMOTOPIA ELEMENTAL

Estas notas tienen por objeto presentar la homologa singular y algunas

El objeto de la Topologa Algebraica es hallar modelos algebracos de los

1. Si X Y Z, T (g f ) = T (f ) T (g) : T (X) T (Z)

Introducimos el lenguaje de categoras y funtores por dos razones: La

dominio de f y B el rango de f, se escribe f : A B o A B

este morfismo identidad es u

1. T (f g) = T (f ) T (g) para todo morfismo A B C

1. T (f g) = T (g) T (f ) para todo morfismo A B C en C

Ejemplo 6 Si T : C D y S : D E dos funtores , la composicion

funtor : C C o sea i : Id en efecto, , sea f : V W un morfismo

(f iV )(v)() = (f ())(v) = f vb() = vb(f ()) = (f ())(v) = (f (v)) =

conmuta para cualquier f M orC (A, X)

Si f ' g rel A se tiene f (a) = g(a) para todo a A . Si A = , f ' g

G es continua , puesto que la restriccion a cada uno de los conjuntos cerrados

teora de homotopa elemental

como H(y, 1) = y0 , F esta bien definida y es continua pues la restriccion

teora de homotopa elemental

3. Si f : Y1 Y2 ,g : Y2 Y3 son aplicaciones que preservan punto base

denotaremos por x y los elementos de X Y donde x X , y Y

es una homotopa de a luego [] = []

teora de homotopa elemental

Si X e Y son espacios con punto base, el espacio de funciones continuas que

es tal que G q(x0 , y, t) = z0 y G q(x, y0 , t) = z0 .Como p : X Y I

teora de homotopa elemental

Lo concerniente a los problemas de extension de aplicaciones continuas

teora de homotopa elemental

En la seccion 2.2 hemos introducido el concepto de espacio de trayectorias

Un caso especial es, cuando A es un sub espacio de X , es decir , cuando

r |X0AI = id, en efecto, como la inclusion i : A , X es una cofibracion

Veamos la existencia de una aplicacion continua h : X P A tal que

teora de homotopa elemental

donde H esta definido por H(a)(t) = H(a, t) y 1 (f ) = f (1). El diagrama

Como j es cofibracion , existe F : X I X tal que F (j 1) = j H y

para todo a A , Luego F1 induce una aplicacion continua q :

luego F : X I X es una homotopa entre la identidad y q p en

Los espacios topologicos considerados en esta seccion son los espacios

homotopicas a la identidad idY

teora de homotopa elemental

conmuta salvo homotopa

conmuta salvo homotopa ,donde T (x, y) = (y, x)

Ejemplo 17 Espacio de lazos . Sea Y un espacio topologico con punto

para todo , Y , es continua. Si c : Y Y es la aplicacion

Para ver que es homotopicamente asociativo debemos construir una

El inverso homotopico : Y Y esta dada por ()(t) = (1 t).

teora de homotopa elemental

Si este diagrama conmuta estrictamente , diremos que f es homomorfismo

Veamos que esta operacion esta bien definida, en efecto, sean f , g :

M es una homotopa entre f g y f g, luego

donde i1 : Y Y Y definida por i1 (y) = (y, y0 ) . De la misma manera se

Sean X e Y espacios con punto base x0 y y0 respectivamente . Su producto

teora de homotopa elemental

Sean f : X Z, g : Y Z aplicaciones continuas preservando punto

Sean f : X Y , g : Z Q aplicaciones continuas preservando punto

conmuta salvo homotopa

es conmutativo salvo homotopa.

teora de homotopa elemental

y un coinverso homotopico (t) = 1 t

Veamos que esta operacion esta bien definida, en efecto, sean f , g : X

Veamos que esta bien definida , en efecto, si g ' g tenemos f g ' f g y