Topo Alg 0708

TOPOLOG
IA ALGEBRAICA
Curso 2007/2008
Prof. Marta Macho Stadler
Marta Macho Stadler
Departamento de Matem aticas
Facultad de Ciencia y Tecnologa
Universidad del Pas VascoEuskal Herriko Unibertsitatea
Barrio Sarriena s/n, 48940 Leioa
e-mail: marta.macho@ehu.es
http://www.ehu.es/ mtwmastm
Tlf: 946015352 Fax: 946012516
Portada: Cuttlas caminando por una banda de M obius
c _CALPURNIO, http://www.calpurnio.com
Un especial agradecimiento al artista Calpurnio, por permitirme usar una de sus vi netas
(una muy topol ogica) en la portada.
Indice general
Introducci on III
0.1. Por qu e la Topologa Algebraica? . . . . . . . . . . . . . . . . . . . . . III
0.2. Estructura del curso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V
0.3. D onde se aplica la Topologa Algebraica? . . . . . . . . . . . . . . . . . V
0.3.1. Teora de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . V
0.3.2. La teora de nudos . . . . . . . . . . . . . . . . . . . . . . . . . VII
0.3.3. Otras aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . IX
1. Preliminares 1
1.1. Categoras y functores . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Conexi on por caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Algunas nociones sobre grupos . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1. Grupo (no abeliano) libre con dos generadores . . . . . . . . . . 6
1.3.2. Grupo libre sobre un conjunto . . . . . . . . . . . . . . . . . . . 7
1.3.3. Producto libre de dos grupos . . . . . . . . . . . . . . . . . . . . 7
1.3.4. Producto amalgamado de dos grupos . . . . . . . . . . . . . . . 7
1.3.5. Presentaciones de grupos . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Clasicaci on de supercies compactas . . . . . . . . . . . . . . . . . . . 9
1.4.1. Denici on de supercie y ejemplos . . . . . . . . . . . . . . . . 9
1.4.2. Regiones poligonales . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.3. Suma conexa de supercies . . . . . . . . . . . . . . . . . . . . 12
1.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6. Problemas adicionales . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2. Homotopa de aplicaciones 27
2.1. Homotopa de aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2. La categora de espacios topol ogicos y homotopas . . . . . . . . . . . . 29
3
4

Indice general
2.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3. El grupo fundamental 37
3.1. Homotopa de caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2. El grupo fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3. Grupo fundamental de la esfera de dimensi on 1 . . . . . . . . . . . . . . 41
3.4. Teorema de SeifertVan Kampen . . . . . . . . . . . . . . . . . . . . . . 45
3.5. Grupos de homotopa superiores . . . . . . . . . . . . . . . . . . . . . . 46
3.6. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4. Estudio de los espacios de revestimiento 57
4.1. Espacios de revestimiento . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.2. Propiedades de levantamiento . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3. Aplicaciones de revestimiento y grupo fundamental . . . . . . . . . . . . 62
4.4. El grupo de las transformaciones de revestimiento . . . . . . . . . . . . . 62
4.5. Homomorsmos de revestimiento . . . . . . . . . . . . . . . . . . . . . 65
4.6. El espacio de revestimiento universal . . . . . . . . . . . . . . . . . . . . 66
4.7. Acciones propiamente discontinuas y revestimientos . . . . . . . . . . . 67
4.8. El teorema de clasicaci on de los espacios de revestimiento . . . . . . . . 68
4.9. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
5. Homologa Singular 75
5.1. Preliminares anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.2. Teora singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.3. El teorema de invarianza por homotopa . . . . . . . . . . . . . . . . . . 85
5.4. El teorema de Hurewicz . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.5. Homologa relativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.6. Sucesi on exacta larga de homologa . . . . . . . . . . . . . . . . . . . . 89
5.6.1. Aplicaciones a retractos . . . . . . . . . . . . . . . . . . . . . . 90
5.6.2. Homotopas en pares . . . . . . . . . . . . . . . . . . . . . . . . 91
5.6.3. Una interpretaci on de la homologa relativa . . . . . . . . . . . . 92
5.7. Teorema de excisi on . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.7.1. Caso simplicial . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.7.2. Caso general . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.7.3. Un ejemplo de aplicaci on . . . . . . . . . . . . . . . . . . . . . . 95
5.8. La sucesi on de MayerVietoris . . . . . . . . . . . . . . . . . . . . . . . 96
5.9. Algunas aplicaciones de la Homologa . . . . . . . . . . . . . . . . . . . 99
Indice general I
5.9.1. Grado de una aplicaci on entre esferas . . . . . . . . . . . . . . . 99
5.9.2. Teoremas de JordanBrouwer . . . . . . . . . . . . . . . . . . . 100
5.9.3. Homologa en algunos cocientes . . . . . . . . . . . . . . . . . . 101
5.10. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Bibliografa 109
II

Indice general
Introducci on
Con el alma en carne viva,
abajo, sue no y trabajo;
ya estar a el de abajo arriba,
cuando el de arriba est e abajo.
Con el alma en carne viva,
abajo, sue no y trabajo.
Cuando yo vine a este mundo
Nicol as Guill en (Cuba, 1902-1989)
0.1. Por qu e la Topologa Algebraica?
Uno de los problemas b asicos de la topologa es el de determinar cuando dos espa-
cios son o no homeomorfos. No hay un m etodo general para resolver esta cuesti on, pero
existen t ecnicas que se pueden aplicar en casos particulares.
Probar que dos espacios son homeomorfos consiste en encontrar una funci on continua
de uno de los espacios sobre el otro, que tenga una inversa continua. Pero, la construcci on
de funciones continuas no es un problema sencillo en general.
Probar que dos espacios no son homeomorfos es un asunto diferente: para ello, debe-
mos demostrar que no existe ninguna funci on continua con inversa continua entre ambos
espacios. Si encontramos una propiedad topol ogica vericada por uno de los espacios
pero no por el otro, entonces el problema queda resuelto, y los espacios no pueden ser ho-
meomorfos. Por ejemplo, el intervalo cerrado [0, 1] no puede ser homeomorfo al intervalo
abierto (0, 1) (ambos provistos de la topologa inducida por la de la recta real), porque el
primer espacio es compacto y el segundo no. Tambi en sabemos que los espacios eucl-
deos R y R
2
no pueden ser homeomorfos, porque si se elimina un punto de R
2
el espacio
resultante sigue siendo conexo, pero este no es el caso si se priva a R de un punto.
III
IV Introducci on
Las herramientas topol ogicas que conocemos de un curso de topologa general no son
las m as adecuadas para solucionar este problema de detectar la equivalencia topol ogica de
dos espacios. Por ejemplo, podemos probar que el plano eucldeo R
2
no es homeomorfo
al espacio eucldeo R
3
? Si pasamos revista a las propiedades topol ogicas que conocemos
compacidad, conexi on, metrizabilidad, etc. no encontramos ninguna peculiaridad que
nos permita distinguirlos.
Otro ejemplo ilustrativo se obtiene al considerar supercies como la esfera S
2
, el toro
T
2
o la supercie compacta de g enero dos T
2
. De nuevo, ninguna de las propiedades
topol ogicas que conocemos nos permiten distinguirlos: los tres espacios son compactos,
conexos y metrizables.
As, debemos introducir nuevas propiedades y t ecnicas para resolver este problema.
Una de las herramientas m as naturales entre estas es la de conexi on simple: de manera
informal, un espacio X es simplemente conexo, cuando toda curva cerrada en X puede
contraerse a un punto en el espacio. Esta cualidad permite distinguir R
2
de R
3
: si se
elimina un punto de R
3
, el espacio resultante es simplemente conexo, pero este no es el
caso si se considera R
2
privado de un punto. Esta propiedad tambi en diferencia S
2
, que es
simplemente conexo, de T
2
que no lo es. Pero, por ejemplo, no distingue entre T
2
y T
2
,
porque ninguno de los dos espacios posee este atributo.
Hay una idea, m as general que la de conexi on simple, un concepto que engloba a esta
como un caso particular y que tiene relaci on con un cierto grupo, llamado el grupo funda-
mental del espacio. Dos espacios homeomorfos tienen grupos fundamentales isomorfos;
y la condici on de conexi on simple consiste precisamente en que el grupo fundamental
sea trivial. La prueba de que S
2
y T
2
no son homeomorfos puede reformularse, diciendo
que el grupo fundamental de S
2
es trivial y que el de T
2
no lo es. El grupo fundamen-
tal distingue mejor los espacios que la condici on de conexi on simple. Puede usarse, por
ejemplo, para probar que T
2
y T
2
no son homeomorfos, argumentando que T
2
tiene grupo
fundamental abeliano, mientras que el de T
2
no lo es.
Pero, con estas herramientas, tampoco somos capaces de probar que, por ejemplo, S
2
y S
n
para n > 2 no son homeomorfos: para demostrarlo, en este curso, recurriremos a
propiedades de homologa singular.
0.2. Estructura del curso V
0.2. Estructura del curso
Este curso est a estructurado en dos bloques distintos. En el primero se estudia la ho-
motopa y las propiedades relacionadas: homotopa de aplicaciones, grupo fundamental
y espacios de revestimiento, descritos someramente en los p arrafos anteriores. En la se-
gunda parte, nos centraremos en la homologa singular. Para comprender ambas teoras,
estudiaremos gran cantidad de ejemplos, siendo uno de los objetivos primordiales el de
distinguir espacios no homeomorfos, como se ha indicado antes.
En estas notas no aparecen las demostraciones de las propiedades enunciadas, que
se realizar an con detalle durante las horas de clase. Al nal de cada tema aparece una
relaci on de ejercicios que solucionaremos en su mayora en el aula, y una lista de proble-
mas adicionales que son m as complicados en algunos casos, en otros se trata simplemente
de introducir ejemplos conocidos de espacios y de estudiar sus propiedades esenciales.
La Bibliografa que aparece al nal de esta Memoria es muy amplia, aunque no ex-
haustiva. Se indican con * los textos m as recomendables, por su sencillez en algunos
casos, o por tratarse de textos b asicos y cl asicos en otras ocasiones.
0.3. D onde se aplica la Topologa Algebraica?
Los resultados que veremos en este curso, que son tan s olo una peque na parte de
lo que se denomina topologa algebraica, se aplican en primer lugar a otras ramas de
las matem aticas: son, sin duda alguna, esenciales en muchos de los razonamientos de
geometra diferencial, an alisis, algebra, an alisis num erico e investigaci on operativa.
Pero es adem as una herramienta indispensable en fsica, qumica, medicina, biologa,
inform atica, teora de juegos y hasta en psiquiatra.
A continuaci on, se citan brevemente algunas de estas aplicaciones.
0.3.1. Teora de grafos
El estudio de grafos est a ligado habitualmente a la topologa, convirti endose en una
valiosa herramienta matem atica en campos tan dispares como la investigaci on operativa,
la ling ustica, la qumica, la fsica, la gen etica y la teora de redes. Un grafo es un conjunto
de puntos, los v ertices, algunos de los cuales est an ligados entre s por medio de lneas,
las aristas. La naturaleza geom etrica de estos arcos no tiene importancia, s olo cuenta la
manera en la que los v ertices est an conectados. Un buen texto para profundizar en esta
materia es [R. Diestel, Graph Theory, Springer, 2000].
Uno de los problemas cl asicos de matem aticas resueltos con esta teora es el conocido
problema de los siete puentes de K onisberg: en 1700, los habitantes de K onisberg, se
VI Introducci on
preguntaban si era posible recorrer esta ciudad pasando una vez y s olo una por cada uno
de los puentes sobre el ro Pregel, y volviendo al punto de partida. En aquella epoca,
K onisberg tena siete puentes, uniendo las cuatro partes de la ciudad separadas por las
aguas, y dispuestas como se muestra en la gura.
En 1736, L. Euler prob o que la respuesta a esta pregunta era negativa, usando un grafo
con cuatro v ertices simbolizando las cuatro partes separadas de la ciudad y trazando entre
estos v ertices las aristas, representando los puentes: este grafo no es euleriano, condici on
probada como necesaria y suciente para que el problema tenga respuesta positiva.
En 1847, G. Kirchhoff analiz o un tipo especial de grafo llamado arbol y utiliz o este
concepto en ciertas aplicaciones de redes el ectricas, al formular su extensi on de las leyes
de Ohm para ujos el ectricos. Diez a nos despu es, A. Cayley us o el mismo tipo de grafos
para contar los distintos is omeros de hidrocarburos saturados del tipo C
n
H
2n+2
, para n
entero positivo.
El teorema de los cuatro colores (ver un excelente repaso hist orico del problema en
[R. A. Wilson, Four colors sufce: how the map problem was solved, Penguin Books,
2002]) tiene tambi en estrecha relaci on con esta teora. En 1852, F. Guthrie plantea la
siguiente conjetura: para colorear cualquier mapa geopoltico plano (suponiendo cada
pas formado por un unico trozo), de tal modo que dos pases con frontera com un sean de
distinto color, basta (como m aximo) con cuatro colores. Si se elige un punto en cada pas
representado y se traza una lnea uniendo dos puntos cada vez que correspondan a dos
pases adyacentes, se obtiene un grafo. El problema del coloreado consiste entonces en
0.3. D onde se aplica la Topologa Algebraica? VII
atribuir un color a cada v ertice del grafo, de manera que dos v ertices conectados tengan
siempre un color diferente.
En 1976, K. Appel y W. Haken dan una prueba del teorema de los cuatro colores,
demostrando mediante un complicado programa de ordenador que, efectivamente, cuatro
colores son sucientes para colorear cualquier mapa plano. Algunos matem aticos tienen
muchas reservas con respecto a esta demostraci on. Pero, en 1996, N. Robertson, D. P.
Sanders, P. Seymour y R. Thomas, publican una nueva prueba, sin los inconvenientes de
la demostraci on de Appel y Haken, como el elevado n umero de conguraciones a estudiar
y el tiempo que todo este procedimiento requiere.
El teorema de los cuatro colores es igualmente cierto para mapas esf ericos. Sobre otras
supercies, el n umero de colores necesarios vara, por ejemplo un mapa t orico precisa
como mnimo siete colores.
Los grafos no s olo interesan a los matem aticos puros. Se usan tambi en para represen-
tar circuitos el ectricos, para realizar c alculos te oricos relativos a partculas elementales,
etc. La teora de grafos tiene igualmente una importancia econ omica directa, por sus nu-
merosas aplicaciones en investigaci on operativa. Por ejemplo, para determinar el trayec-
to optimo (el menos costoso, el m as r apido) de camiones que deben repartir y recoger
productos a numerosos clientes esparcidos por un pas determinado, la red de carreteras
puede modelizarse por un grafo, cuyas aristas son las carreteras de una ciudad a otra, a
cada arista se le asocian varios n umeros: longitud del camino correspondiente, tiempo de
recorrido, coste del peaje, etc. Usando c alculos y algoritmos a veces complejos, se de-
terminan una o varias soluciones, y se trata entonces de encontrar la mejor de ellas: se
est a estudiando la llamada topologa de la red.
0.3.2. La teora de nudos
La t ecnica de tejido, que precisa cruces y anudados de hi-
los, se conoce ya en el neoltico. A un en epocas anteriores,
existen m etodos que permiten unir una l amina de slex a
su mango, con tripas, nervios de animales o bras vege-
tales. Lamentablemente, la descomposici on de todas estas
ligaduras org anicas no permitir a nunca conocer con pre-
cisi on la edad de los primeros nudos. En la epoca actual,
los marinos se han apropiado de esta t ecnica, esencial para
su trabajo. En 1944, el pintor C.W. Ashley describe y dibu-
ja en su libro The Ashley Book of Knots exactamente 3.854
nudos.
Los nudos est an presentes en ambitos tan dispares como
la decoraci on, la industria textil, la magia, el alpinismo o
la ciruga. Su estudio matem atico permite adem as ver su
relaci on con la fsica, la qumica o la biologa molecular.
VIII Introducci on
El ADN, el material gen etico m as importante en la mayora de los organismos, se ve
habitualmente como una doble h elice, en la que dos cadenas de nucle otidos complemen-
tarios se enrollan a lo largo de un eje curvo com un. La doble h elice puede moverse en
el espacio para formar una nueva h elice de orden mayor; en este caso se habla de ADN
sobreenrollado. Una gran parte de los ADN conocidos se muestran de esta manera so-
breenrollada en alg un momento del ciclo de su vida. Cada propiedad fsica, qumica y
biol ogica del ADN (comportamiento hidrodin amico, energ etico, ...) est a inuenciado por
las deformaciones asociadas al sobreenrollamiento.
Fotografa ADN
Nudo que la representa
La comprensi on del mecanismo del sobreenrollamiento y las consecuencias de estas
caractersticas estructurales para el ADN es un problema matem atico bastante complejo,
que hace intervenir dos ramas de la matem atica: la topologa algebraica y la geometra
diferencial. Para estudiar matem aticamente el sobreenrrollamiento, hay que construir un
modelo en el que la estructura se represente como un estrecho lazo torcido de espesor in-
nitesimal. Por ello, es necesario describir los nudos, encontrar caractersticas esenciales
que permitan distinguirlos, en otras palabras, clasicarlos sin riesgo a confusi on. Esta
propiedades, que deben permanecer inalterables a lo largo de la deformaci on, se llaman
invariantes del nudo.
En el estudio de la replicaci on del ADNcelular, se encuentran sacos de nudos: el ADN
est a m as o menos enrollado sobre s mismo y en el momento de la replicaci on se forman
nudos controlados por ciertas protenas. Un mejor conocimiento de estas protenas y de su
interacci on con el ADN, abrira nuevas perspectivas en la lucha contra las enfermedades
gen eticas, los virus, las bacterias o el c ancer.
Combinando la teora de nudos con la teora fsica de cuerdas, ha sido posible dar
una descripci on unicada de las cuatro fuerzas fundamentales de la naturaleza: gravedad,
electromagnetismo y las interacciones fuertes y d ebiles entre partculas.
Los qumicos crean en el laboratorio mol eculas anudadas, cuyas propiedades les per-
miten modicar su forma o desplazarse en funci on de factores el ectricos, qumicos o
luminosos, decididos por la persona que dirige la experiencia. Estas nuevas mol eculas se
parecen en algunas ocasiones a aquellas que, en la naturaleza, estuvieron en el origen de
la vida. Otras, permiten imaginar memorias para futuros ordenadores moleculares, ya no
electr onicos.
0.3. D onde se aplica la Topologa Algebraica? IX
0.3.3. Otras aplicaciones
La topologa algebraica, en particular a trav es de la denominada topologa digital,
posee numerosas aplicaciones en inform atica gr aca, rob otica o procesamiento de im a-
genes digitales (utilizado a su vez en control autom atico de calidad, lectura autom atica de
documentos, radiologa, meteorologa, geologa, etc.).
En teora de sistemas din amicos, el estudio de las propiedades cualitativas (topol ogi-
cas) de los modelos permite hacer predicciones certeras sobre el comportamiento de los
sistemas observados.
La teora de homotopa se ha descubierto con una herramienta indispensable en fsica
(i) para clasicar formas de objetos como solitones, v ortices, etc.;
(ii) en estudio de cristales lquidos, sustancias que exhiben la dualidad s olido-lquido, es
decir que, simult aneamente, poseen propiedades de los lquidos (uidez y viscosi-
dad) y propiedades opticas que se parecen de modo asombroso a las de los cristales;
(iii) para la clasicaci on de defectos y texturas en medios ordenados, como los cristales.
Qumicos y fsicos se centran en la teora de casi-cristales, aleaciones met alicas,
donde la disposici on de los atomos es regular, como en un cristal, pero aperi odica. Las
teoras de grafos y de mosaicos proporcionan modelos de difracci on para los s olidos casi-
cristalinos.
La teora cu antica de campos emplea las teoras de homotopa y homologa como her-
ramientas b asicas, la teora de brados es esencial en estudios electromagn eticos, etc. Sin
duda, se descubrir an en el futuro otras muchas maneras de aplicar las teoras topol ogicas
a otros campos de la Ciencia.
Y sorprendentemente, tambi en se usa en psicologa. Se recoge debajo parte del panel
Clnica y topologa (1997), por Eva Lerner de Escuela Freudiana de Buenos Aires:
El inter es que me presta la topologa de Jacques Lacan y lo aclaro porque no es el
del matem atico estriba en la posibilidad que la topologa nos brinda, de pasar de la
particularidad del caso a la universalidad...
De este modo con las estructuras topol ogicas construimos rasgos invariantes que se
mantienen aunque acontezcan transformaciones en la estructura...
Cuando usamos la topologa en psicoan alisis no se trata de una topologa aplicada sino
que como en la escritura del japon es los caracteres por separado o reunidos tienen
X Introducci on
otra signicaci on. Esta escritura permite un hablar biling ue, es decir, decimos lo mismo
en otro lenguaje...
Leioa, septiembre de 2007
Preliminares
Te propongo construir
un nuevo canal
sin exclusas
ni excusas
que comunique por n
tu mirada
atl antica
con mi natural pacco.
Nuevo canal interoce anico
Mario Benedetti (Uruguay, 1920- )
En este captulo, repasamos algunos conceptos y estudiamos otros que utilizaremos
constantemente durante el curso.
1.1. Categoras y functores
Intuitivamente, una categora puede pensarse como una colecci on de conjuntos dota-
dos de estructuras de la misma especie y aplicaciones que preservan estas estructuras. De
manera m as precisa
Denici on 1.1. Una categora C est a formada por
(1) una clase de objetos, Obj(C),
(2) a cada par ordenado de objetos (X, Y ), le corresponde un conjunto de morsmos, de-
notado hom
C
(X, Y ), siendo las familias hom
C
(X, Y ) y hom
C
(X
, Y
) disjuntas si
el par (X, Y ) es distinto del par (X
, Y
). Un morsmo cualquiera f hom

C
(X, Y )
se escribe usualmente del modo f : XY ,
1
2 Captulo 1. Preliminares
(3) dada una terna de objetos de la categora (X, Y, Z), se dene una aplicaci on
: hom
C
(X, Y ) hom
C
(Y, Z)hom
C
(X, Z),
llamada composici on, que cumple los dos axiomas siguientes
Asociatividad: si f hom
C
(X, Y ), g hom
C
(Y, Z) y h hom
C
(Z, W), es
h (g f) = (h g) f,
Identidad: a cada objeto Y en la categora se le puede asociar el morsmo
identidad (que es unico, debido a los axiomas), 1
Y
hom
C
(Y, Y ), tal que si
f hom
C
(X, Y ) y g hom
C
(Y, Z), entonces g 1
Y
= g y 1
Y
f = f.
Ejemplos 1.1. Algunos ejemplos de categoras son
(i) Set, la categora de conjuntos y aplicaciones;
(ii) Group, la categora de grupos y homomorsmos de grupos;
(iii) Ab, la categora de grupos abelianos y homomorsmos de grupos;
(iv) Ring, la categora de anillos conmutativos con unidad y homomorsmos de anillos;
(v) Top, la categora de espacios topol ogicos y aplicaciones continuas;
(vi) Vect
R
, la categora de espacios vectoriales reales y aplicaciones Rlineales;
(vii) Diff
, la categora de variedades diferenciales de clase C
y aplicaciones diferen-
ciables de clase C
;
(viii) Top
, la categora de pares de espacios topol ogicos con punto base (X, x

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

cada aplicaci on lineal : V W la aplicaci on dual
: W
denida por
(f)(x) = f((x)), es un ejemplo de functor contravariante;

(v) el functor contravariante C
(; R): Diff
Ring, que asocia a una variedad

diferenciable M el anillo de las funciones reales diferenciables en M y a la apli-
caci on de clase C
f : MN el homomorsmo f
: C
(N; R)C
(M; R),
dado por f
() = f.
Proposici on 1.1. Si T : C
1
C
2
es un functor y f es una equivalencia en C
1
, entonces
T(f) es una equivalencia en C
2
, tal que (T(f))
1
= T(f
1
).
Denici on 1.5. Si T yS son dos functores de la categora C
1
en la categora C
2
, una
transformaci on natural de S en T, denotada : ST, es un sistema de morsmos
en C
2
,
X
hom
C
2
(S(X), T(X)) para cada objeto X en C
1
, que hace conmutativo el
siguiente diagrama, para cada f hom
C
1
(X, Y )
S(X)
S(f)
S(Y )
Y
T(X)
T(f)
T(Y )
Si cada
X
es una equivalencia, se llama una equivalencia natural. En tal caso, se
cumple =
1
(es decir,
X
=
1
X
, para cada objeto X en C
1
), y es tambi en una
equivalencia natural (invirtiendo las echas verticales en el diagrama anterior), llamada
equivalencia natural inversa.
Ejemplos 1.3. Algunos ejemplos de transformaciones naturales son
(i) consideremos los siguientes functores
()
X
: RingGroup, que asocia a un anillo R el grupo multiplicativo R
X
de los elementos inversibles del anillo, y a un homomorsmo f : RS su
restricci on al subconjunto de los elementos inversibles f[
R
X : R
X
S;
GL(n; ): RingGroup, que asocia a un anillo R el grupo GL(n; R) de
las matrices n n, inversibles y con valores en el anillo R, y a un homomor-
smo f : RS el homomorsmo de grupos f
: GL(n; R)GL(n; S),

denido por f
((a
ij
)
i,j
) = (f(a
ij
))
i,j
.
Entonces, det
R
: GL(n; R)R
X
, que asocia a cada matriz inversible su determi-
nante, es una transformaci on natural entre estos dos functores;
(ii) consideremos los functores
identidad Id: Vect
R
Vect
R
,
el functor doble dual ()
: Vect
R
Vect
R
.
Entonces, : Vect
R
Vect
R
, denido por
V
(v) = (f f(v)), para el espacio
vectorial real V y f V
, es una transformaci on natural entre estos dos functores.

Si restringimos a la subcategora de los espacios vectoriales de dimensi on nita,
se obtiene una equivalencia natural.
1.2. Conexi on por caminos 5
1.2. Conexi on por caminos
La conexi on es una propiedad difcil de manejar, al tratarse de una propiedad en sen-
tido negativo: un espacio topol ogico es conexo si no existe una separaci on no trivial por
abiertos disjuntos. La conexi on por caminos posee la ventaja de ser una propiedad alge-
braica y en sentido positivo.
Denici on 1.6. Dado un espacio topol ogico X, un camino en X es una aplicaci on con-
tinua : [0, 1] X. Si (0) = a y (1) = b, se dice que es un camino de a a b.
Denici on 1.7. X es conexo por caminos, si para todo par de puntos a, b X existe un
camino que los une.
Proposici on 1.2. Si X es conexo por caminos, es conexo.
El recproco no es cierto:
Ejemplo 1.1. La curva seno topol ogico es el sub-
espacio del plano eucldeo
A = ((, 0] 0)
__
x, sin
_
1
x
__
: x > 0
_
.
A es conexo, pero no es conexo por caminos.
Ejemplos 1.4. A continuaci on se dan algunos ejemplos de espacios conexos por caminos
(i) los espacios indiscretos son conexos por caminos;
(ii) en la recta real, los conjuntos conexos y los conexos por caminos coinciden;
(iii) para A R
n
, se verica
si A es conexo y abierto, es conexo por caminos;
si A es convexo, es conexo por caminos;
si A es contable y n > 1, R
n
A es conexo por caminos.
Teorema 1.3. La imagen continua de un espacio conexo por caminos, es conexa por
caminos.
Por lo tanto, la conexi on por caminos es una propiedad topol ogica, pasa al cociente,
etc. Pero, no es una propiedad hereditaria.
Teorema 1.4. El producto nito de espacios conexos por caminos, es conexo por caminos.
Se dene sobre X la relaci on binaria x y si y s olo si existe un camino en X que
une x e y. Se trata de una relaci on de equivalencia, cuyas clases son las componentes
conexas por caminos de X. Se denota usualmente por
0
(X) a la familia de estas clases.
La componente conexa por caminos de un punto x es el mayor conjunto conexo por
caminos de X que lo contiene.
Denici on 1.8. X es localmente conexo por caminos, si cada punto de X posee una base
local formada por conjuntos conexos por caminos.
A pesar del ejemplo 1.1, existe un recproco parcial de la proposici on 1.2
Proposici on 1.5. Si X es conexo y localmente conexo por caminos, entonces es conexo
por caminos.
1.3. Algunas nociones sobre grupos
1.3.1. Grupo (no abeliano) libre con dos generadores
Sea E el conjunto de las palabras nitas (incluida la palabra vaca) que se pueden
formar al yuxtaponer los smbolos a
p
y b
q
, con p, q Z. Dada una palabra, est a permitido
efectuar las siguientes reducciones
reemplazar un grupo de dos smbolos consecutivos a
p
a
q
por el smbolo a
p+q
;
reemplazar un grupo de dos smbolos consecutivos b
p
b
q
por el smbolo b
p+q
;
suprimir a
0
y b
0
.
Una palabra para la que toda reducci on es imposible, es una palabra reducida. Est a for-
mada por una sucesi on de smbolos alternativamente de la forma a
p
y b
q
, con exponentes
no nulos. Se verica f acilmente que toda palabra admite una unica reducci on.
Se denota por L(a, b) o Z Z, al conjunto de las palabras reducidas dotado de la
ley de composici on siguiente: el producto m.m
de dos palabras, es la palabra reducida

asociada a la palabra (no necesariamente reducida) obtenida al escribir m y m
conse-
cutivamente.
Para esta ley, L(a, b) es un grupo para el que la palabra vaca es el elemento neutro y
(a
p
n
b
q
n
. . . a
p
1
b
q
1
) es la inversa de la palabra (b
q
1
a
p
1
. . . b
q
n
a
p
n
).
Las aplicaciones a,
b: ZL(a, b) denidas por a(p) = (a

p
) y
b(q) = (b
q
) son dos
homomorsmos inyectivos.
Adem as, si G es un grupo y , : ZG son dos homomorsmos, existe un unico
homomorsmo : L(a, b)G tal que a = y
b = , y dado por (a
p
) = (p)
y (b
q
) = (q).
1.3. Algunas nociones sobre grupos 7
1.3.2. Grupo libre sobre un conjunto
Es una generalizaci on de la noci on anterior: en vez de formar palabras con la ayuda
de letras a y b, se utilizan todos los elementos del conjunto S. En particular, si S es un
conjunto nito de n elementos, se obtiene el grupo libre de n generadores, que se denota
L(S).
1.3.3. Producto libre de dos grupos
Es otra generalizaci on de la primera noci on: sean G
1
y G
2
dos grupos; se considera
el conjunto de las palabras nitas constituidas por elementos de G
1
y de G
2
. Se permite a
reemplazar dos letras consecutivas g
1
y g
1
si est an en el mismo grupo G
1
por la unica letra
g
1
.g
1
G
1
, y lo mismo con G
2
. Adem as, se suprimen los elementos neutros. Como antes,
una palabra reducida es una sucesi on nita de elementos provenientes alternativamente de
G
1
y G
2
. El conjunto de las palabras reducidas, dotado de la ley de composici on evidente,
constituye el grupo G
1
G
2
, producto libre de ambos grupos.
Para i 1, 2, las aplicaciones
i
: G
i
G
1
G
2
dadas por
i
(g
i
) = (g
i
), son
homomorsmos inyectivos. Adem as, si G es un grupo y se tienen los homomorsmos
i
: G
i
G, existe un unico homomorsmo : G
1
G
2
G tal que
i
=
i
. Se
habla de esta propiedad como de la propiedad universal del producto libre de dos grupos.
Observaciones 1.1. Para el producto libre de grupos, se verica que
(i) la anterior propiedad universal caracteriza el producto libre G
1
G
2
, salvo isomors-
mos;
(ii) si G
2
se reduce al elemento neutro, entonces
1
es un isomorsmo;
(iii) si G
1
y G
2
son los grupos generados por los smbolos a y b respectivamente estamos
en el caso del apartado 1.3.1.
1.3.4. Producto amalgamado de dos grupos
Recordemos que si H es un grupo y N un subgrupo, se dice que N es normal en H,
si para cada h H y x N, es h
1
xh N. Si K es un subgrupo de H, se denota por
K a la intersecci on de todos los subgrupos normales en H que contienen a K: este grupo
est a constituido por la familia de los elementos h
1
kh con h H y k K y por todos
sus productos, y es el menor subgrupo normal de H que contiene a K. Se dice que K es
la clausura normal de K en H.
Sean G
0
, G
1
y G
2
grupos y para i 1, 2 homomorsmos
i
: G
0
G
i
. Sea N el
menor subgrupo normal en G
1
G
2
que contiene todos los elementos de la forma
(
1
(g)
2
(g)
1
), (
2
(g)
1
(g)
1
) : g G
0
,
y sea : G
1
G
2
G
1
G
2
/N la sobreyecci on can onica. Se denota al grupo cociente
por G
1
G
2
/N = G
1

G
0
G
2
, y se dice que es el producto de G
1
y G
2
amalgamado por
G
0
.
Para i 1, 2, los homomorsmos
i
=
i
satisfacen la relaci on
1
1
=
2
2
,
ya que para g G
0
los elementos
1
(
1
(g)) y
2
(
2
(g)) dieren en un elemento que
est a en N = ker().
Adem as, si H es un grupo y para i 1, 2 los homomorsmos
i
: G
i
H veri-
can la identidad
1
1
=
2
2
, existe un unico homomorsmo : G
1
G
0
G
2
H tal
que
i
=
i
. En efecto, por la propiedad universal del producto libre, existe un unico
homomorsmo
: G
1
G
2
H tal que
i
=
i
; pero la identidad
1
1
=
2
2
prueba que (
1
(g)
2
(g)
1
), (
2
(g)
1
(g)
1
) : g G
0
ker(
), y por lo tanto, es
tambi en N ker(
), con lo que
pasa al cociente por N.

C omo se caracterizan los elementos de N? Para que una palabra (no necesariamente
reducida) represente un elemento de G
1
G
2
que est a en N, es necesario y suciente que
se pueda reducir al neutro (la palabra vaca) por una sucesi on de manipulaciones de los
tipos siguientes
(i) reemplazar una letra
1
(g) por
2
(g), para g G
0
y recprocamente;
(ii) reemplazar dos letras consecutivas g
i
y g
i
(donde g
i
, g
i
G
i
, i 1, 2), por la letra
g
i
= g
i
.g
i
G
i
, y recprocamente, descomponer una letra g
i
en una sucesi on g
i
g
i
,
si g
i
= g
i
.g
i
.
Estas manipulaciones no cambian el elemento correspondiente de G
1
G
2
y permiten
alcanzar la palabra reducida deseada.
Observaciones 1.2. Como casos particulares, tenemos
(i) si G
0
se reduce al elemento neutro, N es el grupo trivial y el producto amalgamado
G
1
G
0
G
2
es isomorfo a G
1
G
2
;
(ii) si G
2
se reduce al elemento neutro, entonces N es el subgrupo normal engendrado
por el conjunto
1
(G
0
) =
1
(g) : g G
0
. Adem as, G
1
G
2
es isomorfo a G
1
,
por la observaci on 1.1 (i). El producto amalgamado es entonces el cociente de G
1
por el menor subgrupo normal
1
(G
0
), que contiene a
1
(G
0
).
1.3.5. Presentaciones de grupos
A veces, es conveniente describir un grupo dando un conjunto de generadores y una
lista de reglas que expliquen como se multiplican estos generadores. Por ejemplo, el grupo
cclico de orden n generado por g puede describirse como el grupo generado por g, con
la unica relaci on g
n
= 1: cualquier otra relaci on del grupo, como g
2n
= 1 o g
3n
= g
3
se
deriva de la primera. Pero es preciso expresar con rigor estas nociones.
1.4. Clasicaci on de supercies compactas 9
Denici on 1.9. Una presentaci on de un grupo es un par ordenado, S[R), donde S es
un conjunto arbitrario y R es un conjunto de elementos del grupo libre L(S). Los ele-
mentos de S y R se llaman generadores y relaciones de la presentaci on, respectivamente.
Una presentaci on dene un grupo, denotado tambi en S[R), como el cociente S[R) =
L(S)/R, donde R es la clausura normal de R en L(S).
Cada generador s S determina un elemento en S[R) y toda relaci on r R repre-
senta un producto particular de generadores y sus inversos, que es igual a 1 en el cociente.
En cierto sentido, S[R) es el mayor grupo generado por S en el que todos los productos
representados por los elementos de R son iguales a 1.
Si G es un grupo y existe un isomorsmo G S[R), se dice que S[R) es una
presentaci on del grupo G. Todo grupo admite una presentaci on, pero lo importante es
encontrar una ecaz, es decir, con los conjuntos S y R lo menores posible.
Si G admite una presentaci on S[R), para S =
1
, . . . ,
n
y R = r
1
, . . . , r
m
conjuntos nitos, se dice que G tiene una presentaci on nita. Y la presentaci on se es-
cribe de la forma
1
, . . . ,
n
[r
1
, . . . , r
m
) o tambi en
1
, . . . ,
n
[r
1
= 1, . . . , r
m
= 1).
A veces, se escribe
1
, . . . ,
n
[r
1
= q
1
, . . . , r
m
= q
m
) para expresar la presentaci on
1
, . . . ,
n
[r
1
q
1
1
, . . . , r
m
q
1
m
).
Ejemplos 1.5. Algunos ejemplos de presentaciones de grupos son
(i) Z Z tiene como presentaci on g
1
, g
2
[g
1
g
2
= g
2
g
1
);
(ii) Z/nZ tiene como presentaci on g[g
n
= 1);
(iii) Z/nZ Z/mZ tiene como presentaci on g
1
, g
2
[g
n
1
= 1, g
m
2
= 1, g
1
g
2
= g
2
g
1
).
1.4. Clasicaci on de supercies compactas
1.4.1. Denici on de supercie y ejemplos
Denici on 1.10. Una variedad topol ogica de dimensi on n es un espacio topol ogico Haus-
dorff y segundo numerable, donde cada punto posee un entorno homeomorfo a R
n
(equi-
valentemente, a una bola abierta eucldea de dimensi on n). Es decir, se trata de un espacio
modelado por el espacio eucldeo R
n
.
Una supercie topol ogica es una variedad de dimensi on dos. Los primeros ejemplos
de supercies son el plano R
2
, la esfera S
2
, el toro T
2
, y en general, cualquier abierto de
una supercie sigue siendo una supercie.
La descripci on de las supercies no compactas es muy complicada. Aqu, vamos a
dar unicamente un breve repaso de las propiedades de las supercies compactas. Para su
estudio, es conveniente tener una manera uniforme de representarlas.
El prototipo es el toro T
2
, que se dene co-
mo el cociente de un cuadrado en R
2
, identi-
cando aristas por pares de una determinada
manera, como se muestra en la gura
Denici on 1.11. El toro T
2
es el cociente de [0, 1]
2
, por la relaci on de equivalencia
(0, t) (1, t) y (t, 0) (t, 1), si 0 t 1.
Nuestro objetivo es probar que toda supercie compacta se puede representar como
el cociente de una regi on poligonal en el plano por una relaci on de equivalencia que
identica los lados a pares. Como ejemplos b asicos, tenemos
Lema 1.6. La esfera S
2
es homeomorfa a cualquiera de los cocientes siguientes
(i) el cociente del disco unidad D
2
, bajo la relaci on de equivalencia (x, y) (x, y), si
(x, y) fr(D
2
);
(ii) el cociente de [0, 1]
2
, por la relaci on de equivalencia (0, t) (t, 0) y (1, t) (t, 1),
si 0 t 1.
Lema 1.7. El plano proyectivo real RP
2
es homeomorfo a cualquiera de los cocientes
siguientes
(i) el cociente de S
2
, obtenido tras identicar puntos antipodales;
(ii) el cociente de D
2
, bajo la relaci on (x, y) (x, y), si (x, y) fr(D
2
);
(iii) el cociente del cuadrado [0, 1]
2
, por la relaci on de equivalencia (0, t) (1, 1 t) y
(t, 1) (1 t, 0), si 0 t 1.
1.4.2. Regiones poligonales
Denici on 1.12. Una regi on poligonal P en el plano es un
conjunto compacto, cuya frontera topol ogica es uni on de una
familia nita de segmentos cerrados llamados aristas, con pun-
tos nales denominados v ertices, tales que
(i) para cada punto q en una arista que no sea un v ertice, existe un entorno U en R
2
, tal
que P U = U H, donde H = (x, y) : ax+by +c 0 es un cierto semiplano
cerrado;
(ii) cada v ertice v posee un entorno V en R
2
, tal que P V = V

H, donde

H es la
uni on de dos semiplanos cerrados cuyas fronteras se cortan en v.
El siguiente resultado es clave en todo lo que sigue (ver [Lee]).
Proposici on 1.8. Sea P una regi on poligonal en el plano con un n umero par de aristas
y sea una relaci on de equivalencia que identica cada arista con exactamente otra,
por medio de un homeomorsmo lineal que enva los puntos nales de una arista en los
puntos nales de la otra. El cociente resultante es una supercie compacta.
La importancia de esta representaci on plana para una
supercie es que, en muchas ocasiones, es m as sen-
cillo manipular objetos sobre la regi on poligonal que
la representa. Por ejemplo, esto sucede al estudiar
caminos sobre el toro T
2
, como muestra la gura de
la derecha.
Denici on 1.13. La botella de Klein K
2
se dene como el cociente de [0, 1]
2
por la
relaci on de equivalencia que identica (0, t) (1, t) y (t, 1) (1 t, 0), si 0 t 1.
Para visualizarlo, pensar primero en pegar las aristas izquierda y derecha para formar
un cilindro, y despu es pasar la tapa superior del cilindro a trav es de su pared, con el
n de pegar el crculo superior con el inferior desde dentro. Desde luego, esto no puede
realizarse con un modelo fsico; de hecho la supercie de Klein no es un subespacio de
R
3
. Sin embargo, la proposici on 1.8 prueba que es una supercie.
1.4.3. Suma conexa de supercies
Para construir otros ejemplos de supercies, vamos a introducir una manera est andar
de fabricar variedades, pegando otras m as sencillas, procedimiento que ser a v alido en
cualquier dimensi on.
Sean M
1
y M
2
dos variedades topol ogicas de dimensi on n y conexas. Para i 1, 2,
sean D
i
M
i
subconjuntos homeomorfos a bolas cerradas eucldeas de radio 1 y B
i
el
interior de D
i
. Elegimos un homeomorsmo : fr(D
1
)fr(D
2
) (que existe porque
ambas fronteras son homeomorfas a la esfera S
n1
). Si M
i
= M
i
B
i
, sobre la suma
disjunta M
1
. M
2
, se identica q fr(D
1
) con su imagen (q) fr(D
2
).
Denici on 1.14. El cociente resultante
se llama la suma conexa de M
1
y M
2
,
y se denota por M
1
M
2
. Geom etrica-
mente, la suma conexa se obtiene cor-
tando una peque na bola abierta de ca-
da una de las variedades y pegando los
espacios resultantes, a trav es de sus es-
feras frontera.
Proposici on 1.9. Si M
1
y M
2
son variedades de dimensi on n y conexas, cualquier suma
conexa M
1
M
2
es una variedad de dimensi on n y conexa.
La denici on de M
1
M
2
depende, a priori, de varias elecciones: para i 1, 2 los
conjuntos D
i
, el homeomorsmo , etc. A pesar de eso, se puede probar que diferentes
decisiones dan lugar a sumas conexas homeomorfas.
Ejemplos 1.6. Los siguientes son ejemplos sencillos de sumas conexas
(i) si M es una variedad, MS
n
es homeomorfa a M;
(ii) la suma conexa T
2
(n)
. . . T
2
es la supercie compacta de g enero n (este nombre se
aclarar a en los problemas) o esfera de n asas. Esta ultima nomenclatura se debe a
que, de hecho, esta supercie es homeomorfa a la suma conexa S
2
T
2
(n)
. . . T
2
, y
cada toro a nadido parece un asa pegada a la esfera base.
Como hemos mencionado antes, para dar el teorema de clasicaci on de supercies
compactas, precisamos una manera uniforme de describir tales objetos. Vamos a repre-
sentar todas estas supercies como cocientes de regiones poligonales con 2n lados. De
manera informal, podemos describir cada relaci on de equivalencia entre aristas, nom-
brando las aristas con letras a
1
, . . . , a
n
y dibujando sobre cada una de ellas una echa
apuntando hacia uno de sus v ertices, de modo que los v ertices con el mismo nombre se
identican, con las echas indicando el modo en que las aristas se pegan. Una vez reali-
zado este proceso, se asocia al polgono una sucesi on de smbolos, obtenidos al leer las
etiquetas de sus bordes en el sentido de las agujas del reloj: para cada smbolo a
i
en la
frontera, escribimos a
i
en la sucesi on si la echa posee el sentido horario y ponemos a
1
i
si la echa va en el sentido antihorario. Por ejemplo, la relaci on de equivalencia de [0, 1]
2
que da lugar al toro (ver denici on 1.11) resulta en una sucesi on de smbolos aba
1
b
1
.
Formalmente, la presentaci on de una supercie es un par, a
1
, . . . , a
n
[ W
1
, . . . W
k
),
que consiste en una familia nita de smbolos a
1
, . . . , a
n
y otro conjunto nito de pala-
bras W
1
, . . . W
k
cada una de las cuales es una sucesi on nita de elementos, que pueden
ser a
i
o a
1
i
(donde (a
1
i
)
1
= a
i
), para alg un a
i
en la lista, de tal manera que
(1) cada smbolo a
i
ocurre exactamente un n umero par de veces en W
1
, . . . W
k
(contando
ambos a
i
o a
1
i
como una aparici on);
(2) cada palabra W
j
posee longitud (n umero de letras) 3 al menos, salvo en el caso en que
la presentaci on completa tenga s olo una palabra, en cuyo caso a la palabra simple
se le asigna la longitud 2.
Una presentaci on determina un espacio topol ogico con la siguiente receta
(1) se asocia a cada palabra W
j
un k
j
polgono convexo P
j
en el plano, donde k
j
es la
longitud de W
j
, y donde los polgonos elegidos son disjuntos (en el caso especial
de k
j
= 2, se usa en su lugar un disco cerrado, porque no existe un polgono de dos
caras, y se consideran las aristas como los semicrculos izquierdo y derecho);
(2) se dene una correspondencia uno a uno entre las letras de W
j
y las aristas del
k
j
polgono, siguiendo el orden de las agujas del reloj, empezando por una arista
arbitraria;
(3) se identica cada par de aristas que tienen el mismo smbolo, de acuerdo con el
homeomorsmo afn que pega los primeros v ertices en orden de las agujas del reloj,
si dos aristas tienen la misma etiqueta a
i
o a
1
i
, y que identica el primer v ertice de
una con el segundo v ertice de la otra si las aristas est an etiquetadas a
i
y a
1
i
.
Por la proposici on 1.8, el espacio topol ogico resultante es una supercie compacta.
Los interiores, aristas y v ertices de los polgonos P
j
se llaman caras, aristas y v ertices de
la presentaci on. El n umero de caras es el mismo que el n umero de palabras, la cantidad
de aristas de la presentaci on es el doble que el n umero de smbolos a
1
, . . . , a
n
. Para una
arista etiquetada a
i
, el v ertice inicial es el primero siguiendo el orden de las agujas del
reloj, y el v ertice nal es el otro; para una arista etiquetada a
1
i
, estas deniciones se
invierten.
La supercie determinada por una presentaci on con una unica cara es conexa, porque
es un cociente de un polgono conexo; con m as de una cara, no hay certeza de que es
lo que sucede. Las unicas elecciones arbitrarias involucradas en esta construcci on son
formas, tama nos y ubicaciones de los polgonos y la decisi on de cual es la primera arista
(para seguir luego, a partir de ella, el orden de las agujas del reloj); es f acil ver que
diferentes elecciones en este sentido, dan lugar a supercies homeomorfas.
Ejemplos 1.7. Las siguientes supercies est an determinadas por las presentaciones indi-
cadas
(1) la esfera S
2
: a [ aa
1
) o a, b [ aa
1
bb
1
);
(2) el toro T
2
: a, b [ aba
1
b
1
);
(3) el plano proyectivo RP
2
: a [ aa) o a, b [ abab);
(4) la botella de Klein K
2
: a, b [ aba
1
b).
Ahora vamos a describir las presentaciones est andar de supercies formadas por suma
conexa. La clave es la siguiente proposici on
Proposici on 1.10. Sean M
1
y M
2
supercies dadas por presentaciones a
1
, . . . , a
n
[ W
1
)
y b
1
, . . . , b
m
[ W
2
) respectivamente (W
1
y W
2
representan palabras simples, y parte de
la hip otesis es que cada presentaci on tiene una cara simple). Entonces, la suma conexa
M
1
M
2
tiene como presentaci on a
1
, . . . , a
n
, b
1
, . . . , b
m
[ W
1
W
2
), donde W
1
W
2
indica la
palabra formada al concatenar W
1
y W
2
.
De la proposici on 1.10 y de los ejemplos 1.7, se deduce
Ejemplos 1.8. Se tienen las siguientes presentaciones, llamadas est andar
(1) a
1
, b
1
, . . . , a
n
b
n
[ a
1
b
1
a
1
1
b
1
1
. . . a
n
b
n
a
1
n
b
1
n
) para la supercie compacta de g enero
n;
(2) a
1
, . . . , a
n
[ a
1
a
1
. . . a
n
a
n
) para la suma conexa de n copias de RP
2
.
Hay ciertas reglas para transformar presentaciones de supercies en otras diferentes
de la misma supercie (bajo homeomorsmo). Se dice que dos presentaciones son equi-
valentes, si determinan supercies homeomorfas. Y puede probarse
Proposici on 1.11. Cada una de las siguientes operaciones sobre una presentaci on pro-
duce otra equivalente
(1) Renombramiento: cambiar las ocurrencias de un smbolo a
i
, por un nuevo smbolo,
a un no existente en la presentaci on; intercambiar todas las ocurrencias de dos
smbolos a
i
y a
j
o intercambiar todas las ocurrencias de a
i
y a
1
i
, para alg un i;
(2) Reejo: a
1
, . . . , a
n
[ a
1
. . . a
m
, W
2
, . . . , W
k
) a
1
, . . . , a
n
[ a
1
m
. . . a
1
1
, W
2
, . . . , W
k
);
(3) Rotaci on: a
1
, . . . , a
n
[ a
1
a
2
. . . a
m
, W
2
, . . . , W
k
)
a
1
, . . . , a
n
[ a
2
. . . a
m
a
1
, W
2
, . . . , W
k
);
(4) Corte: si W
1
y W
2
son palabras con al menos longitud 2, a
1
, . . . , a
n
[ W
1
W
2
)
a
1
, . . . , a
n
, c [ W
1
c, c
1
W
2
);
(5) Pegado: a
1
, . . . , a
n
, c [ W
1
c, c
1
W
2
) a
1
, . . . , a
n
[ W
1
W
2
);
(6) Doblado: si W
1
y W
2
tienen ambas longitud al menos 2, a
1
, . . . , a
n
, a [ W
1
aa
1
W
2
)
a
1
, . . . , a
n
[ W
1
W
2
).
Se presentan debajo esquem aticamente estas operaciones
Utilizando las anteriores transformaciones, es f acil comprobar
Lema 1.12. Se verican las propiedades
(1) la botella de Klein es homeomorfa a la suma conexa RP
2
RP
2
;
(2) la suma conexa RP
2
RP
2
RP
2
es homeomorfa a T
2
RP
2
.
1.5. Problemas 17
Y nalmente, combinando los anteriores resultados, se deduce el teorema de clasi-
caci on de supercies compactas
Teorema 1.13. Cualquier supercie conexa y compacta es homeomorfa a una de las
siguientes
(1) una esfera S
2
;
(2) una suma conexa de toros T
2
(n)
. . . T
2
;
(3) una suma conexa de planos proyectivos RP
2
(n)
. . . RP
2
.
1.5. Problemas
1.- Probar los siguientes espacios son conexos por caminos
(i) los espacios indiscretos;
(ii) las nvariedades conexas;
(iii) el cono de un espacio topol ogico X: sobre X [0, 1], se considera la relaci on de
equivalencia (x, 1) (y, 1), para x, y X. El cociente bajo esta relaci on, C(X),
es el cono de X. X se identica con el subespacio X 0 de C(X);
(iv) la suspensi on de un espacio X: sobre X [1, 1], se considera la relaci on de equi-
valencia (x, 1) (y, 1) y (x, 1) (y, 1), para x, y X. El cociente S(X) (que
tambi en puede verse como un cociente de C(X)) se llama suspensi on de X.
2.- Probar que la uni on de cualquier familia de conjuntos conexos por caminos con un
punto en com un, es un conjunto conexo por caminos.
3.- Si X es un espacio topol ogico, se denota por
0
(X) el conjunto de las componentes
conexas por caminos. Dada una funci on continua f : XY , se dene la aplicaci on
0
(f):
0
(X)
0
(Y ) que lleva una componente conexa por caminos C en X en la
unica componente conexa por caminos en Y que contiene al conjunto f(C). Demostrar
que
0
: TopSet es un functor covariante.
4.- Sean X e Y espacios topol ogicos, A X y f : AY continua. Se denota por
X
f
Y al cociente de la suma disjunta de X . Y por la relaci on de equivalencia que
identica x A con f(x) Y . Se dice tambi en que se ha adjuntado X a Y a trav es de
f.
Se pide probar
(i) Y se puede pensar como un subespacio de X
f
Y , con lo que hay una copia homeo-
morfa de Y en X
f
Y ;
(ii) si X e Y son espacios compactos y Hausdorff, A es cerrado en X y f : AY es
continua, entonces X
f
Y es compacto y Hausdorff;
(iii) si A es cerrado y se adjunta X a Y = y
0
por la aplicaci on constante f(A) = y
0
,
entonces el espacio de adjunci on asociado es homeomorfo al cociente X/A;
(iv) comprobar que el cono de X se obtiene adjuntando X [0, 1] a Y = y
0
, a
trav es de la aplicaci on constante f : X 1Y . Y la suspensi on de X, se ob-
tiene adjuntando X [1, 1] a Y = a, b, a trav es de la aplicaci on continua
g : X 1, 1Y que lleva g(X 1) = a y g(X 1) = b;
(v) si se adjunta X[0, 1]Y a la uni on disjunta X.Y a trav es de la aplicaci on continua
f : X 0, 1 Y X . Y denida por f(x, 0, y) = x y f(x, 1, y) = y, se
obtiene el join, X Y de X e Y .
Comprobar que Xx
0
es homeomorfo al cono de X y que XS
0
es homeomorfo
a su suspensi on;
1.6. Problemas adicionales 19
(vi) si (X, x) e (Y, y) son espacios con puntos base, se dene su wedge, X Y , como
el cociente de su suma disjunta X . Y , tras identicar los puntos base. Expresarlo
como un espacio de adjunci on;
(vii) supongamos que X, Y y W son espacios compactos Hausdorff y A es un sub-
conjunto cerrado de X. Sea f : AY continua y g : X . Y W continua y
sobreyectiva. Si para cada w W, g
1
(w) es o bien un punto de X A o bien la
uni on de un punto y Y con f
1
(y) A, probar que entonces W es homeomorfo
a X
f
Y .
1.6. Problemas adicionales
1.- A qu e grupos corresponden las siguientes presentaciones?
(i) a, b, c, d, e [ d = e
2
, bda = 1, ab
1
c = 1, ac
1
b
1
= 1, de = c);
(ii) a, b [ a
3
= b
2
= 1, a
2
b = ba).
2.- Para cada una de las siguientes presentaciones de supercies, aplicar el algoritmo de
clasicaci on de la proposici on 1.11 y determinar de que supercie se trata
(i) a, b, c [ abacb
1
c
1
); (ii) a, b, c [ abca
1
b
1
c
1
);
(iii) a, b, c [ abca
1
b
1
c); (iv) a, b, c [ ab
1
c
1
a
1
cb);
(v) a, b, c [ abc
1
bca); (vi) a, b, c, d, e, f [ abc, bde, c
1
df, e
1
fa);
(vii) a, b, c, d, e, f, g [ afg
1
e
1
b
1
bec
1
cgd
1
df
1
a
1
);
(viii) a, b, c, d, e, f [ ab
1
cedefa
1
bc
1
d
1
f);
(ix) a, b, c, d, e, f, g, h, i, j, k, l, m, n, o [ abc, bde, dfg, fhi, haj, c
1
kl, e
1
mn, g
1
ok
1
,
i
1
l
1
m
1
, j
1
n
1
o
1
).
3.- Probar las siguientes propiedades para supercies
(i) S
1
S
1
es homeomorfo al espacio de adjunci on de dos cilindros S
1
[0, 1] a trav es de
la aplicaci on identidad que identica sus crculos frontera, es decir, es homeomorfo
al toro T
2
(ver el ejercicio 6 de esta secci on).
Nota: El siguiente es un toro modular creado con la t ecnica artstica de la pa-
piroexia. Consta de 555 piezas de papel plegado, ensambladas sin usar pega-
mento alguno. El resultado es un toro poli edrico formado a partir de pent agonos,
hex agonos y hept agonos, us andose una pieza por cada arista.
Los 10 pent agonos de la parte exterior (en rojo) le dan
curvatura positiva, mientras que los 10 hept agonos de
la parte interior (en morado) proporcionan la curvatu-
ra negativa necesaria.
El dise no de las piezas se debe a Tom Hull y el del
toro de la gura a Roberto Gretter. Este modelo ha
sido plegado por Jos e Ignacio Royo Prieto.
(ii) S
1
S
2
es homeomorfo al espacio de adjunci on de dos toros s olidos S
1
D
2
a trav es
de la aplicaci on identidad entre los toros frontera S
1
S
1
;
(iii) S
3
es homeomorfo al espacio de adjunci on de dos toros s olidos S
1
D
2
a trav es
de la aplicaci on entre los toros frontera que intercambia los meridianos y paralelos
h: S
1
S
1
S
1
S
1
, denida por h(x, y) = (y, x).
4.- La banda de M obius
En [0, 1]
2
se identican (0, y) (1, 1 y), para cada y [0, 1]. La banda de M obius
es el cociente M = [0, 1]
2
/ , y es lo que se denomina una supercie con borde. Pro-
bar que si p: [0, 1]
2
M es la aplicaci on cociente, el subespacio de M denido por
p ([0, 1] 0, 1) (llamado la arista de la banda) es homeomorfo a S
1
.
August Ferdinand M obius (17901868) fue el creador de este
espacio topol ogico, que ha inspirado a artistas y cientcos,
como mostramos con algunos ejemplos a continuaci on.
La banda de M obius se usa hoy en da en industria,
para alargar el tiempo de grabaci on en cintas de vdeo,
o para reducir el desgaste en cintas transportadoras o
de grabaci on (su unica cara dura el doble de tiempo).
S. Tanda y sus colegas de la Hokkaido University de
Jap on http://exp-ap.eng.hokudai.ac.jp/ tanda/ han
demostrado que los cristales - conjuntos ordenados de
atomos, iones o mol eculas - pueden crecer en forma
de bandas, incluso a nadi endoles una torcedura. Estos
investigadores han conseguido sintetizar el niobium
triselenide, NbSe
3
, primer cristal con estructura de
banda de M obius.
Hay adem as bandas de M obius fabricadas con piezas de LEGO, construidas por Andrew
Lipson (http://www.lipsons.pwp.blueyonder.co.uk/mathlego.htm), cerveza de M obius
(http://www.mobiusbeer.com/),...
... bufandas hechas a ganchillo con cualidades excepcionales, hormigas de Escher que no
consiguen pasar del otro lado,...
... im agenes como M obius mit Kriechtier, c _ R. Wonisch (es una banda de M obius con
reptil, http://www.rainerwonisch.de/mathematik und kunst mit povray.htm), juegos
infantiles de M obius,...
Algunos experimentos realizados con la banda producen sorprendentes resultados
c _Tim Hunkin, http://www.HunkinsExperiments.com
La banda de M obius puede obtenerse de di-
versas maneras, como se ve en la portada del
libro [Pe]...
... o en este ejemplo (que surge de un problema de
elecci on social) de J.C. Candeal y E. Indurain, que
aparece en The Moebius strip and a social choice
paradox, Economics letters 45 (1994) 407-412.
5.- Una supercie S es orientable si no contiene ning un subespacio homeomorfo a la
banda de M obius (de otro modo, si no existe ning un embebimiento i : MS, de la
banda Men la supercie dada). En caso contrario se dice no orientable. Se pide probar
(i) la esfera S
2
es orientable;
(i) la orientabilidad es una propiedad topol ogica, es decir, se preserva por homeomors-
mos;
(ii) al contrario que las supercies no orientables, toda supercie orientable puede em-
beberse en R
3
.
6.- El toro
Sea la aplicaci on f : [0, 1]
2
S
1
S
1
, denida por
f(s, t) = (cos(2s), sin(2s), cos(2t), sin(2t)).
Se pide probar
(i) f pasa al cociente dado por la denici on 1.11, de donde se deduce que el toro T
2
es
homeomorfo al producto S
1
S
1
;
(ii) el toro (y cualquier suma conexa de toros) es una supercie orientable.
7.- La botella de Klein
Se pide probar que
(i) la botella de Klein K
2
es homeomorfa al espacio de adjunci on de dos bandas de
M obius por la aplicaci on identidad que identica sus aristas (ver problema 4);
(ii) deducir que la botella de Klein es no orientable;
(iii) K
2
no puede embeberse en R
3
, pero si en R
4
: la funci on f : [1, 1]
2
R
4
dada por
f(x, y) =
_
(1 +[x[) cos(y), (1 +[x[) sin(y), sin(x) cos
_
y
2
_
, sin(x) sin
_
y
2
__
,
es continua y pasa al cociente dado en la denici on 1.13.
F elix Klein (18491925) fue el creador de esta
sorprendente supercie.
Debajo se muestran algunas de las mag-
nicas obras de Cliff Stoll, que aparecen
http://www.kleinbottle.com/
Jacques Rouxel (19312004), dibuj o y supervis o en
1968 la serie de dibujos animados Shadoks (52 episo-
dios, ORTF). Aqu destacamos uno de sus dibujos,
con botella de Klein, donde se formula: Si no hay
soluci on, no existe el problema. Para m as informa-
ci on, ver
http://www.koikadit.net/JRouxel/jrouxel.html
8.- El plano proyectivo real
Se pide probar que
(i) el plano proyectivo real RP
2
es homeomorfo al espacio de adjunci on de una banda de
M obius y un disco por la aplicaci on identidad que identica sus fronteras;
(ii) deducir que RP
2
(y cualquier suma conexa de planos proyectivos) es no orientable;
(iii) el plano proyectivo real no puede embeberse en R
3
, pero si en R
4
: se considera
la funci on continua f : R
3
R
4
dada por f(x, y, z) = (x
2
y
2
, xy, yz, xz). La
imagen por f de dos puntos antipodales de S
2
R
3
es el mismo punto de R
4
, por lo
que esta funci on pasa al cociente dado por el lema 1.7, deniendo un embebimiento
del RP
2
en R
4
.
9.- Caracterstica de Euler y g enero de una supercie
Aunque hemos demostrado en el teorema 1.13 que toda supercie conexa y compacta
es homeomorfa a una esfera o a una suma conexa de toros o de planos proyectivos, no
sabemos si estos tipos de supercies son topol ogicamente distintos. En otras palabras
podra suceder, si m y n son enteros positivos distintos, que la suma conexa de n toros
fuera homeomorfa a la suma conexa de m toros? Para demostrar que esto no es posible
introducimos un invariante num erico, llamado caracterstica de Euler, y que tiene sus
races en la conocida f ormula de Euler que arma que si P es un poliedro convexo en el
espacio, con f caras, e aristas y v v ertices, entonces v e + f = 2.
Esta f ormula puede generalizarse a supercies compactas arbitrarias, del modo siguiente
Denici on 1.15. Si M es una supercie con una presentaci on P dada, se dene la ca-
racterstica de Euler de la presentaci on como (P) = v e + f, donde v es el n umero
de v ertices, e el de aristas y f el de caras de P, tras las identicaciones que denen la
supercie.
Se pide probar
(i) (P) depende s olo de M, es decir, es invariante por las transformaciones de la
proposici on 1.11, con lo que queda denida la caracterstica de Euler de M, (M)
como la de cualquier presentaci on de la supercie;
(ii) teorema de invariancia topol ogica de la caracterstica de Euler: sea M una supercie
compacta sin borde y conexa, entonces
1) si M es homeomorfa a la esfera, es (M) = 2,
2) si M es homeomorfa a la suma conexa de n toros, es (M) = 2 2n,
3) si M es homeomorfa a la suma conexa de n planos proyectivos, entonces es
(M) = 2 n;
(iii) si M
1
y M
2
son supercies compactas, entonces (M
1
M
2
) = (M
1
) +(M
2
) 2.
Observar que la caracterstica de Euler de la suma conexa de n toros coincide con la de la
suma conexa de 2n planos proyectivos: la orientaci on permite distinguir estos dos casos.
Adem as, es f acil comprobar que una supercie es
no orientable cuando tiene alguna presentaci on P,
donde aparecen dos smbolos consecutivos de la for-
ma a, a
1
, ..., a
n
/W
1
, ..., aa).
T
2
(n)
. . . T
2
se llama supercie compacta de g enero
n y RP
2
(n)
. . . RP
2
supercie compacta no orientable
de g enero n. La esfera es la unica supercie orientable
de g enero 0.
La anterior gura est a extrada de un cartel realizado con motivo del A no Mundial de las
Matem aticas 2000, por el Centre Sciences (http://www.centre-sciences.asso.fr).
Se pide probar
(i) la relaci on entre el g enero g(M) de una supercie M y su caracterstica de Euler es
g(M) =
_
1
2
(2 (M)) si M es orientable;
2 (M) si M es no orientable.
(ii) si M
1
y M
2
son supercies compactas, M
1
es homeomorfa a M
2
, si y s olo si son am-
bas orientables o no orientables y (M
1
) = (M
2
): este es un teorema topol ogico
por excelencia, que reduce el problema de clasicaci on de supercies compactas a
la determinaci on de la orientabilidad y la caracterstica de Euler, problemas que son
ambos f acilmente resolubles;
(iii) si M
1
y M
2
son supercies compactas, M
1
es homeomorfa a M
2
, si y s olo si son
ambas orientables o no orientables yg(M
1
) = g(M
2
).
Homotopa de aplicaciones
Siento que mi pecho tiembla
que se turba mi raz on
y de la vig uela al son imploro
a la alma de un sabio
que venga a mover mi labio
y alentar mi coraz on.
La Vuelta de Martn Fierro
Jos e Hern andez (Argentina, 1834-1886)
El problema central de la Topologa es el de decidir si dos espacios topol ogicos son o
no homeomorfos. En Topologa Algebraica, se usa el siguiente modelo de procedimiento
para solucionar esta cuesti on: dado un espacio topol ogico X, se le asocia un objeto alge-
braico A(X), de modo que si Y es otro espacio homeomorfo a X, el objeto algebraico
A(Y ) adjudicado a Y por el mismo procedimiento resulta ser isomorfo a A(X). Es decir,
A(.) es lo que se llama un invariante topol ogico. As, estos objetos algebraicos permiten
detectar cuando estos dos espacios topol ogicos no son homeomorfos, si los invariantes
asociados a uno y al otro no son isomorfos. Se pasa de objetos topol ogicos a algebraicos,
porque estos ultimos son m as sencillos de manejar, m as computables.
La homotopa, que introducimos a continuaci on, es el invariante topol ogico m as cono-
cido y utilizado.
2.1. Homotopa de aplicaciones
Denici on 2.1. Sean X e Y espacios topol ogicos y A X. Si f, g : XY son aplica-
ciones continuas, tales que f[
A
= g[
A
, se dice que f y g son hom otopas relativamente a
A, si existe una aplicaci on continua, H: X [0, 1] Y , tal que
(i) H(x, 0) = f(x), para cada x X,
(ii) H(x, 1) = g(x), para cada x X,
27
28 Captulo 2. Homotopa de aplicaciones
(iii) H(x, t) = f(x) = g(x), para cada x A y t [0, 1].
Se expresa del modo H : f g(rel A).
Si A = , se escribe H : f g, y se
dice que f y g son hom otopas (o libremente
hom otopas).
Observaci on 2.1. Si para t [0, 1] se dene
la aplicaci on continua h
t
: XY por la
f ormula h
t
(x) = H(x, t), la homotopa H da
lugar a una familia uniparam etrica h
t
t[0,1]
de funciones continuas, transformando de
manera continua h
0
= f en h
1
= g. La fun-
ci on h
t
puede pensarse como la deformaci on
en el instante t.
Ejemplos 2.1. Para ilustrar esta denici on se tienen los ejemplos siguientes
(i) dadas las funciones continuas 1
R
, f : RR, donde f(x) = x
2
, la aplicaci on conti-
nua H: R [0, 1] R dada por H(x, t) = x
2
(1t) +tx, es una homotopa entre
ambas;
(ii) dada la funci on f : [0, 1] R
2
0, denida por f(s) = (cos(2s), sin(2s)), la
aplicaci on H: [0, 1] [0, 1] R
2
0, dada por H(s, t) = (cos(2st), sin(2st))
es una homotopa entre la aplicaci on constante igual a (1, 0) y f.
Observaci on 2.2. El ejemplo 2.1 (ii) prueba que el camino cerrado f alrededor del ori-
gen, es hom otopo en R
2
0 a un camino constante, a pesar de que R
2
0 tiene un
agujero rodeado por f. Luego para detectar agujeros en X no es suciente con estudiar
los caminos cerrados hom otopos a constantes: la soluci on a este problema, que veremos
m as adelante, ser a considerar homotopas de caminos, que dejan los extremos de la de-
formaci on jos.
Teorema 2.1. La homotopa (rel A) es una relaci on de equivalencia sobre el conjunto
C(X, Y ) de las aplicaciones continuas de X en Y .
As, se puede hablar de clases de homotopa (rel A), de aplicaciones continuas de X
en Y . Se denota por [f]
A
(respectivamente, por [f], si A = ) la clase de homotopa de
f(rel A). Y [X, Y ]
A
(respectivamente, [X, Y ], si A = ) es la familia de dichas clases de
homotopa.
2.2. La categora de espacios topol ogicos y homotopas 29
2.2. La categora de espacios topol ogicos y homotopas
Proposici on 2.2. Sean X, Y, Z espacios topol ogicos, A X, B Y y f
0
, f
1
: XY
y g
0
, g
1
: Y Z aplicaciones continuas, tales que f
0
f
1
(rel A), f
0
(A) = f
1
(A) B
y g
0
g
1
(rel B). Entonces, g
0
f
0
g
1
f
1
(rel A).
Observaci on 2.3. Queda as denida una categora, hTop, la categora de homotopa,
donde
(i) los objetos son espacios topol ogicos,
(ii) los morsmos son las clases de homotopa (rel ) de aplicaciones entre estos espacios
topol ogicos, es decir, hTop(X, Y ) = [X, Y ]. La proposici on 2.2 garantiza que la
composici on est a bien denida, por [g] [f] = [g f], para clases [f] [X, Y ] y
[g] [Y, Z].
Observaci on 2.4. En vez de trabajar con espacios topol ogicos, podramos considerar
pares de espacios topol ogicos (X, A). Y llegaramos, de modo similar al anterior, a la
categora de pares de espacios y clases de homotopa de aplicaciones continuas entre
pares de espacios. Pero, para nuestros intereses y por sencillez, es suciente trabajar con
A = .
Denici on 2.2. Una aplicaci on continua f : XY es una equivalencia de homotopa si
existe otra aplicaci on continua g : Y X tal que gf 1
X
y f g 1
Y
. En tal caso, se
dice que X tiene el mismo tipo de homotopa que Y , y se escribe X Y . Intuitivamente,
es posible deformar X en Y .
Lema 2.3. La relaci on de ser homot opicamente equivalentes entre dos espacios topol ogi-
cos es una relaci on de equivalencia.
Observaci on 2.5. Las equivalencias de homotopa son precisamente los isomorsmos en
hTop.
Proposici on 2.4. Si X e Y son homeomorfos, son homot opicamente equivalentes.
Observaci on 2.6. El recproco no es cierto, y se ver an ejemplos m as adelante.
Observaci on 2.7. En muchas ocasiones, la manera m as sencilla de distinguir topol ogica-
mente dos espacios, ser a demostrar que no son homot opicamente equivalentes y aplicar
la proposici on 2.4.
Se trata, a partir de ahora, de construir functores T : TopC, donde C es una cate-
gora algebraica como Group, Ab, etc., de modo que si f g, sea T(f) = T(g). Esta
propiedad transforma la teora de homotopa en valiosa, porque garantiza que un proble-
ma algebraico en C, que proviene de uno topol ogico va T, es m as simple de resolver que
la cuesti on original.
Denici on 2.3. Una aplicaci on continua f : XY es nulhom otopa, si existe una apli-
caci on constante c: XY , tal que f c.
Denici on 2.4. Un espacio topol ogico X se dice contr actil, si la aplicaci on identidad
1
X
es nulhom otopa. La funci on H : 1
X
c que dene la homotopa se llama una
contracci on.
Ejemplo 2.1. Los conjuntos convexos en R
n
son contr actiles.
Proposici on 2.5. Si Y es contr actil, dos aplicaciones continuas cualesquiera f, g : XY
son hom otopas.
Observaci on 2.8. En particular, si Y es contr actil, dos aplicaciones constantes de Y en
s mismo son hom otopas, y a su vez hom otopas a la identidad. As, en un espacio con-
tr actil, 1
Y
es hom otopa a cualquier aplicaci on constante sobre este espacio, a trav es de
una homotopa libre; esta propiedad no se extiende a homotopas relativas a subespacios
arbitrarios A, como puede verse en [Sp], p ag. 26.
Proposici on 2.6. Un espacio es contr actil si y s olo si posee el tipo de homotopa de un
punto.
Corolario 2.7. Cualquier espacio homot opicamente equivalente a uno contr actil es tam-
bi en contr actil.
Denici on 2.5. Sea A X y la inclusi on i
A
: AX. Se dice que A es
(i) un retracto de X, si existe una aplicaci on continua r : XA, la retracci on, tal que
r i
A
= 1
A
. Observar que r es siempre sobreyectiva;
(ii) un retracto por deformaci on de X, si existe una retracci on r : XA, vericando
la condici on i
A
r 1
X
;
(iii) un retracto por deformaci on fuerte de X, si existe una retracci on r : XA, tal
que i
A
r 1
X
(rel A).
Proposici on 2.8. Si A X es un retracto por deformaci on de X, entonces A X.
Observaci on 2.9. En la denici on 2.5 se verican las implicaciones (iii) (ii) (i),
pero los recprocos no son ciertos, como lo prueban los siguientes contraejemplos
(i) ,(ii) dado un espacio X no contr actil y p X, p es un retracto de X, pero no por
deformaci on;
(ii) ,(iii) sean el espacio peine X =
___
1
n
: n N
_
0
_
[0, 1]
_
([0, 1] 0)
y A = (0, 1) X. Entonces, A es un retracto por
deformaci on de X, pero que no es fuerte.
2.3. Problemas 31
2.3. Problemas
1.- En el ejercicio 3 del apartado 1.5, se ha demostrado que
0
: TopSet es un functor
covariante. Probar que adem as, si f g, es
0
(f) =
0
(g).
2.- Una propiedad relativa a espacios topol ogicos es una propiedad de homotopa, si se
conserva por equivalencias de homotopa. Probar
(i) toda propiedad de homotopa es una propiedad topol ogica;
(ii) la conexi on, el n umero de componentes conexas por caminos (luego, la conexi on por
caminos) y la contractibilidad son propiedades de homotopa;
(iii) la convexidad (cuando tenga sentido), la compacidad y el axioma de Hausdorff, no
son propiedades de homotopa.
3.- Probar las siguientes propiedades relativas a espacios contr actiles
(i) todo conjunto convexo en R
n
es contr actil;
(ii) todo espacio contr actil es conexo por caminos;
(iii) la imagen continua de un espacio contr actil no es en general contr actil;
(iv) un retracto de un espacio contr actil es tambi en contr actil;
(v) X es contr actil si y s olo si todo atomo x es un retracto por deformaci on de X.
4.- Probar las siguientes propiedades relativas a retractos
(i) S
n
es un retracto por deformaci on fuerte de R
n+1
0 (0 es el origen de R
n+1
);
(ii) el ecuador de S
n
es un retracto por deformaci on de S
n
N, S (N es el polo norte
y S el polo sur);
(iii) el disco cerrado unidad D
n
R
n
, es un retracto por deformaci on de R
n
;
(iv) S
1
es un retracto por deformaci on de X = (x, y) R
2
: 1 x
2
+ y
2
4;
(v) la gura de ocho X = (x, y) R
2
: (x 1)
2
+ y
2
= 1 o (x + 1)
2
+ y
2
= 1 es un
retracto por deformaci on de R
2
(1, 0), (1, 0);
(vi) dados los conjuntos X, Y, Z R
2
, denidos por X = (x, y) : (x +1)
2
+y
2
= 1,
Y = (x, y) : (x 1)
2
+ y
2
1 y Z = (x, y) : (x 1)
2
+ y
2
= 1, se cumple
que X es un retracto por deformaci on de X Y . No sucede lo mismo con X Z,
aunque de momento no sabemos demostrarlo.
5.- Probar las siguientes propiedades relativas a conos de espacios
(i) el cono de cualquier espacio topol ogico es un espacio contr actil. Concluir que todo
espacio topol ogico puede embeberse en un espacio contr actil;
(ii) una aplicaci on continua f : XY es nulhom otopa si y s olo si posee una extensi on
continua al cono de X.
6.- Probar las siguientes propiedades relativas a la banda de M obius M
(i) el ecuador de la banda de M obius es un retracto por deformaci on fuerte de M;
(ii) concluir que S
1
tiene el mismo tipo de homotopa que M;
(iii) deducir que My el cilindro son homot opicamente equivalentes.
7.- Sea X el complementario de un punto en el toro T
2
. Probar que existe un subconjunto
de X homeomorfo a la gura de ocho, y que es un retracto por deformaci on fuerte de X.
Torus into 8, c _Josh Levenberg. http://www.technomagi.com/josh/images/index.html
2.3. Problemas 33
8.- Se pide probar
(i) si f, g : XS
n
son dos aplicaciones continuas tales que f(x) ,= g(x) para cada
x X, entonces f g. Deducir que si f : XS
n
es continua y no sobreyectiva,
entonces f es nulhom otopa;
(ii) si f : S
n
S
n
es continua y sin puntos jos, es hom otopa a la aplicaci on antipodal;
(iii) si f : S
n
S
n
es continua y f(x) ,= x, para cada x S
n
, es hom otopa a la
identidad.
9.- Sea p S
n
y f : S
n
Y continua. Probar que son equivalentes
(i) f es nulhom otopa;
(ii) f puede extenderse a una aplicaci on continua F : D
n+1
Y ;
(iii) f es hom otopa (rel p) a la aplicaci on constante igual a f(p).
Concluir que toda aplicaci on continua f : S
n
Y con Y contr actil, tiene una extensi on
continua al disco D
n+1
.
10.- Un conjunto A R
n
se llama estrella-convexo si existe un punto a
0
A, tal que
para cada a A, el segmento entre a y a
0
est a contenido en A. Se pide probar
(i) todo conjunto convexo en R
n
es estrella-convexo, pero el recproco no es cierto;
(ii) todo conjunto estrella-convexo en R
n
es contr actil.
11.- Probar las siguientes propiedades relativas a productos
(i) dos aplicaciones continuas f, g : XY
1
Y
n
son hom otopas si y s olo si para
cada i 1, . . . , n, es p
i
f p
i
g, donde p
i
: Y
1
Y
n
Y
i
es la proyec-
ci on can onica;
(ii) Y
1
Y
n
es contr actil si y s olo si Y
i
es contr actil para cada i 1, . . . , n.
12.- Sean X e Y espacios topol ogicos. Probar que [X, Y ] tiene un unico elemento en los
siguientes casos
(i) Y es contr actil;
(ii) X es contr actil e Y conexo por caminos.
1.- Sean X e Y espacios topol ogicos y f : XY continua. Se dene el mapping cylin-
der Z
f
de f como el espacio cociente de la suma disjunta (X[0, 1]).Y por la relaci on de
equivalencia determinada por (x, 0) f(x), para x X. Sea q : (X [0, 1]) . Y Z
f
la aplicaci on cociente.
Se pide probar
(i) si Y es un punto, entonces Z
f
es el cono de X;
(ii) q lleva homeom orcamente Y sobre un subespacio cerrado q(Y ) de Z
f
. Por medio
de este embebimiento, Y puede considerarse como un subespacio cerrado de Z
f
.
Y g : XZ
f
denida por g(x) = q(x, 1) lleva homeom orcamente X sobre el
subespacio cerrado q(X 1) de Z
f
. Luego, X e Y pueden considerarse como
subespacios disjuntos y cerrados de Z
f
, y se llaman dominio y rango de Z
f
, respec-
tivamente;
(iii) probar que q(Y ) es un retracto por deformaci on fuerte de Z
f
;
(iv) si f es una equivalencia de homotopa, probar que q(X 1) es un retracto por
deformaci on de Z
f
;
(v) dos espacios son homot opicamente equivalentes si y s olo si son ambos homeomorfos
a retractos por deformaci on de alg un espacio;
(vi) toda aplicaci on continua f : XY es homot opicamente equivalente a una apli-
caci on inclusi on g : XZ
f
;
(vii) las aplicaciones g : XZ
f
y q f : XZ
f
son hom otopas;
(viii) dadas dos aplicaciones continuas f : XY y g : XZ, son equivalentes
a) existe h: ZY continua tal que h g f;
b) existe una aplicaci on continua F : Z
g
Y , tal que F i
X
f, donde la
aplicaci on i
X
: XZ
g
es la inclusi on del apartado (ii).
2.- En este problema, se trata de dar un ejemplo no trivial de espacio contr actil
(i) sea S
1
C. Se consideran los caminos y en S
1
, basados en el punto 1 y denidos
por
(s) =
_
_
_
e
4is
si 0 s
1
2
e
4i(2s1)
si
1
2
s
3
4
e
8i(1s)
si
3
4
s 1
y (s) = e
2is
. Geom etricamente, enrol-
la cada uno de los segmentos [0,
1
2
], [
1
2
,
3
4
] y
[
3
4
, 1] en la circunferencia, los dos primeros
en sentido antihorario, y el tercero en senti-
do de las agujas del reloj. El lazo enrolla
[0, 1] una sola vez en la circunferencia y en
sentido antihorario. Probar que estos dos la-
zos son hom otopos;
(ii) un espacio contr actil puede tener una apariencia poco contr actil: identicamos los
lados de un tri angulo lleno, como muestra la gura. Se obtiene as un espacio, llamado el
capelo del tonto. Se trata de probar que este espacio es contr actil, aunque no es obvia la
manera de contraerlo.
Se pide probar lo anterior, siguiendo los pa-
sos
(a) si f, g : S
1
X son aplicaciones
continuas hom otopas, los espacios
obtenidos a partir de X uni endole un
disco utilizando f o g (X
f
D
2
y
X
g
D
2
, respectivamente), son ho-
mot opicamente equivalentes;
(b) usando (a) y la parte (i) de este pro-
blema, probar que el capelo del tonto
tiene el mismo tipo de homotopa que
un disco, y por consiguiente es con-
tr actil.
El anterior dibujo est a extrado de [Fr], p agina 21.
3.- Probar que la casa con dos
habitaciones es contr actil. For-
man parte del espacio las pare-
des laterales y las tres componentes
conexas horizontales sombreadas.
4.- Probar que un cubo lleno [0, 1]
3
R
3
privado de tres cilindros tiene el tipo de homo-
topa de una rosa de tres p etalos, es decir, la uni on por un punto de tres copias disjuntas
de S
1
.
5.- Tienen las dos guras siguientes el mismo tipo de homotopa? Los objetos son dos
cubos macizos con perforaciones diferentes: en el primer caso la gura est a agujereada
por medio de dos cilindros disjuntos y el segundo cubo est a atravesado por un objeto
conexo.
6.- Clasicar el conjunto de los n umeros N = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 y la familia de las
letras may usculas del alfabeto
A = A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q R, S, T, U, V, W, X, Y, Z
atendiendo a su tipo de homotopa.
El grupo fundamental
Aqu pasaba a pie por estas calles,
sin empleo ni puesto y sin un peso.
S olo poetas, putas y picados
conocieron sus versos.
Nunca estuvo en el extranjero.
Estuvo preso.
Ahora est a muerto.
No tiene ning un monumento...
Aqu pasaba a pie por estas calles
Ernesto Cardenal (Nicaragua, 1925- )
En este captulo, se trata de asociar un grupo topol ogicamente invariante a un espa-
cio, es decir, de modo que grupos asociados a espacios topol ogicos homeomorfos sean
isomorfos.
Qu e propiedad topol ogica de un espacio permite distinguir un disco D
2
de una corona
circular? En otras palabras, puede detectarse el agujero de la corona, sin utilizar para ello
ideas que no sean puramente topol ogicas (como distancias, angulos,... )? Una respuesta
natural se obtiene al intentar contraer un camino cerrado en cada uno de los espacios.
Intuitivamente, en D
2
, todo camino cerrado puede lle-
varse a un punto (el camino constante), mientras que
esto es imposible en la corona circular, en donde el
agujero act ua de barrera para caminos cerrados que
rodean a este agujero, impidiendo dicha contracci on.
3.1. Homotopa de caminos
Denici on 3.1. Dos caminos , : [0, 1] X, tales que (0) = (0) y (1) = (1) se
llaman caminos hom otopos si (rel0, 1). La homotopa de caminos, es decir, la
37
38 Captulo 3. El grupo fundamental
homotopa con extremidades jas, se denota por .
Explcitamente, existe una homotopa
H: [0, 1] [0, 1] X tal que
(i) H(t, 0) = (t) y H(t, 1) = (t), para
t [0, 1],
(ii) H(0, s) = (0) y H(1, s) = (1), para
s [0, 1].
Por el teorema 2.1, sabemos que es una relaci on de equivalencia sobre el conjunto de
los caminos en X, C([0, 1], X). Denotamos por [] la clase de homotopa del camino .
Denici on 3.2. Dados dos caminos
, : [0, 1] X, tales que (1) = (0), su
producto es el camino
( )(t) =
_
(2t) si 0 t
1
2
;
(2t 1) si
1
2
t 1.
El camino opuesto de es (t) = (1 t).
Lema 3.1. Sean
0
,
1
,
0
,
1
caminos en X tales que
0
(1) =
0
(0),
1
(1) =
1
(0) y
0

1
,
0

1
. Entonces,
0

0

1

1
.
As, es posible multiplicar clases de caminos: si , son caminos, tales que (1) = (0),
tiene sentido denir el producto de sus clases [].[]
def
= [ ], es decir, la equivalencia
de caminos es compatible con su producto.
Aunque la multiplicaci on de caminos no es asociativa, lo es el producto de sus clases,
es decir, en las condiciones anteriores, es ([].[]) .[] = []. ([].[])
Lema 3.2. Sean , , caminos en X, tales que (1) = (0) y (0) = (1). Entonces,
se verica que ( ) ( ) .
Sea
x
: [0, 1] X el camino constante igual a x. Si : [0, 1] X es un camino
con origen el punto x y extremo el punto y, entonces
Lema 3.3.
x

y
.
Con esto, hemos probado que [
x
].[] = [] = [].[
y
], es decir, [
x
] es el neutro a
izquierda de [] y [
y
] es su neutro a derecha.
3.2. El grupo fundamental 39
Lema 3.4. Si y son caminos tales que (0) = (0), (1) = (1) y , es .
La clase [] act ua como inversa a izquierda y a derecha de [], es decir, [].[] = [
y
]
y [].[] = [
x
]
Lema 3.5. Si es un camino tal que (0) = x y (1) = y, entonces
x
y

y
.
3.2. El grupo fundamental
Denici on 3.3. Un camino : [0, 1] X se llama cerrado o lazo, si (0) = (1). Si
adem as (0) = (1) = x, se dice tambi en que es un lazo (o un camino) basado en x.
Si (X, x) es la familia de los lazos basados en x, es claro que el producto y la
inversi on de caminos son operaciones internas en este conjunto. Sobre (X, x) se puede
considerar la relaci on de homotopa de caminos. Si
1
(X, x) = (X, x)/ es el cociente
bajo esta relaci on, los resultados del apartado 3.1 prueban que
Teorema 3.6.
1
(X, x) es un grupo, llamado grupo fundamental de X en x o grupo de
Poincar e de X en x.
Si se cambia el punto base, los grupos correspondientes no guardan relaci on
Ejemplo 3.1. Si consideramos el subespacio del plano eucldeo X = S
1
(0, 0),
veremos m as adelante que
1
(X, (1, 0)) Z y claramente
1
(X, (0, 0)) 0.
Sin embargo, se verica que
Teorema 3.7. Si x, y X y es un camino que une x e y, entonces el homomorsmo de
grupos
:
1
(X, x)
1
(X, y), denido por
([]) = [ ], es un isomorsmo.
Corolario 3.8. Si X es conexo por caminos, el grupo fundamental
1
(X, x) no depende
del punto x X. En tal caso, se escribe
1
(X), y se habla del grupo de Poincar e de X.
Qu e efecto ejerce una aplicaci on continua entre espacios topol ogicos sobre los gru-
pos fundamentales correspondientes? Sea f : XY continua. Si , son dos caminos
en X, son obvias las siguientes propiedades
(i) f es un camino en Y ,
(ii) si (X, x), entonces f (Y, f(x)),
(iii) dada la homotopa H : , entonces f H : f f .
Luego, si []
1
(X, x), es [f ]
1
(Y, f(x)), y
Lema 3.9. La aplicaci on
1
(f):
1
(X, x)
1
(Y, f(x)) dada por
1
(f)([]) = [f ]
es un homomorsmo de grupos, llamado homomorsmo inducido por f.
Teorema 3.10. Si f : XY y g : Y Z son aplicaciones continuas, se verica que
(i)
1
(g f) =
1
(g)
1
(f),
(ii)
1
(1
X
) = 1
1
(X,x)
.
Observaci on 3.1. As, el grupo fundamental proporciona una manera de pasar de la
topologa al algebra: acabamos de probar que
1
es un functor covariante de la categora
Top
en la categora Group.
Corolario 3.11. Si f : XY es un homeomorsmo, entonces la aplicaci on inducida
entre los grupos fundamentales,
1
(f):
1
(X, x)
1
(Y, f(x)) es un isomorsmo para
cada x X.
Observaci on 3.2. Esto no signica que dos espacios con grupos de Poincar e isomorfos
sean homeomorfos
(i) si X es un espacio discreto, una aplicaci on : [0, 1] X es continua si y s olo si es
constante. Luego, (X, x) =
x
y
1
(X, x) = 0 para cada x X;
(ii) si X es un espacio indiscreto, toda aplicaci on : [0, 1] X es continua. As, en este
caso, (X, x) = : [0, 1] X : (0) = x = (1). Para cada , (X, x),
es . Luego,
1
(X, x) = 0 para todo x X.
Dos aplicaciones hom otopas inducen el mismo homomorsmo sobre grupos funda-
mentales, salvo un automorsmo interior, que se comprende por el hecho de que dos
aplicaciones hom otopas pueden enviar el punto base de X en distintos puntos base de Y
Teorema 3.12. Sean f, g : XY aplicaciones continuas, H : f g una homotopa y
x X. Sea : [0, 1] Y el camino dado por (t) = H(x, t). Entonces, se cumple que
1
(g) =

1
(f), donde
es el isomorsmo inducido por , seg un el teorema 3.7.

Corolario 3.13. Si dos espacios conexos por caminos tienen el mismo tipo de homotopa,
entonces tienen grupos fundamentales isomorfos.
Corolario 3.14. Se verican las siguientes propiedades
(i) si Aes un retracto por deformaci on de X y a A, entonces la inclusi on i
A
: AX
induce un isomorsmo entre
1
(A, a) y
1
(X, a);
3.3. Grupo fundamental de la esfera de dimensi on 1 41
(ii) todo espacio contr actil tiene grupo fundamental trivial.
Denici on 3.4. Si X es conexo por caminos y
1
(X) es trivial, se dice que X es simple-
mente conexo.
Observaci on 3.3. El corolario 3.14 (ii), dice que un espacio contr actil es simplemente
conexo. El recproco no es cierto: si n > 1, S
n
no es contr actil, pero es simplemente
conexo; esto no podremos comprobarlo hasta el ultimo captulo.
Teorema 3.15. Sean X e Y espacios, x
0
X, y
0
Y y las proyecciones coordenadas
p
X
: X Y X, p
Y
: X Y Y . El homomorsmo
:
1
(X Y, (x
0
, y
0
))
1
(X, x
0
)
1
(Y, y
0
),
denido por = (
1
(p
X
),
1
(p
Y
)), es un isomorsmo.
Observaci on 3.4. El producto de espacios simplemente conexos es simplemente conexo.
3.3. Grupo fundamental de la esfera de dimensi on 1
Vamos a calcular el grupo fundamental de S
1
utilizando las propiedades especiales de
la esfera.
El producto de n umeros complejos, dene una estructura de grupo topol ogico sobre
la esfera unidad S
1
= x C : |x| = 1.
El punto de partida para calcular
1
(S
1
) es la aplicaci on exponencial, exp: RS
1
,
denida por exp(t) = e
2it
. La igualdad e
2i(s+t)
= e
2is
e
2it
, que expresa de manera
resumida las f ormulas cl asicas del coseno y el seno de una suma, arma que la sobreyec-
ci on continua exp es adem as un homomorsmo del grupo aditivo de los n umeros reales
(R, +) sobre el grupo multiplicativo de los n umeros complejos de m odulo 1, (S
1
, .). El
n ucleo de este homomorsmo es Z.
Adem as de estas cualidades algebraicas, exp verica las siguientes propiedades topo-
l ogicas
Lema 3.16. La aplicaci on exp: RS
1
es continua, sobreyectiva y abierta.
Proposici on 3.17. La restricci on de exp a cualquier intervalo de amplitud 1 (t, t +1), es
un homeomorsmo sobre S
1
exp(t).
Sea : [0, 1] S
1
un camino: para s [0, 1], existe s R tal que (s) = exp( s).
El problema es que s no est a determinado de modo unico a partir de s. El objetivo ahora
es probar que para cada s [0, 1], es posible elegir s R de modo que (s) = exp( s) y
que la funci on : [0, 1] R que lleva s en s, sea continua.
Comencemos por el lema de levantamiento de caminos
Lema 3.18. Para todo camino : [0, 1] S
1
, con (0) = exp(0) = 1, existe un unico
camino : [0, 1] R, tal que (0) = 0 y exp = . El camino se llama un levan-
tamiento de .
El siguiente se conoce como lema de levantamiento de homotopas
Lema 3.19. Sean , : [0, 1] S
1
dos caminos, tales que (0) = (0) = 1 S
1
y
H : . Existe una unica aplicaci on

H, tal que H = exp
H y

H : , donde
exp = y exp = .
Denici on 3.5. Sea : [0, 1] S
1
, un camino cerrado basado en 1. Se dene el grado
de , por deg() = (1), donde es el unico levantamiento de con (0) = 0.
Observaci on 3.5. Es claro que exp (1) = (1) = 1 y por lo tanto el grado de un
camino cerrado deg() = (1) ker(exp) = Z.
Observaci on 3.6. En general, se puede denir deg() = (1) (0), para un levan-
tamiento arbitrario de . Y en tal caso, es exp ( (1) (0)) = 1, es decir, deg() Z.
Observaci on 3.7. El grado de un camino cerrado denota el n umero lquido de vueltas
que un punto m ovil (t) recorre a lo largo de S
1
, cuando el tiempo t vara de 0 a 1.
Donde lquido signica la diferencia entre el n umero de vueltas positivas (en el sentido
antihorario) y el n umero de vueltas negativas (en el sentido de las agujas del reloj).
Teorema 3.20. La funci on ndice, ind:
1
(S
1
, 1)Z, denida por ind([]) = deg()
es un isomorsmo de grupos.
De esta propiedad se deducen de manera inmediata
Corolario 3.21. S
1
no es simplemente conexo.
Corolario 3.22. Dos caminos cerrados en S
1
basados en 1 son hom otopos si y s olo si sus
grados coinciden.
Corolario 3.23. S
1
no es un retracto del disco D
2
.
Y se deduce el teorema del punto jo de Brouwer
Corolario 3.24. Toda aplicaci on continua f : D
2
D
2
admite un punto jo.
Este resultado se generaliza al caso de discos de dimensiones mayores que dos: para
probarlo se utiliza como herramienta que S
n1
no es un retracto de D
n
, pero no se usan
argumentos de homotopa para probarlo; lo haremos m as adelante, con razonamientos de
teora de homologa.
3.3. Grupo fundamental de la esfera de dimensi on 1 43
Lema 3.25. Sea f : D
2
S
1
una aplicaci on continua, tal que f(1) = 1. El camino en
S
1
denido por (t) = f(exp(t)) posee grado 0.
Veamos un teorema de meteorologa: en cada instante, existen sobre la tierra puntos
antipodales en los que la temperatura y la presi on atmosf erica son id enticos; es el teorema
de BorsukUlam
Teorema 3.26. Sea f : S
2
R
2
una funci on continua. Existen puntos antipodales en S
2
,
tales que f(z) = f(z).
Como consecuencia de lo anterior, se deduce que no es posible dibujar un mapa
mundi, de manera homeomorfa, sobre la p agina de un atlas
Corolario 3.27. La esfera S
2
no es homeomorfa a ning un subconjunto del plano eucldeo.
El siguiente resultado tiene que ver con la divisi on de
vol umenes por planos: es posible, con un unico corte
de cuchillo, dividir dos trozos de pan y uno de jam on,
cada uno de ellos en dos mitades iguales, sin importar
lo muy irregulares que puedan ser estas piezas, ni sus
posiciones relativas; es el teorema del bocadillo de
jam on
Teorema 3.28. Sean U, V y W tres abiertos conexos
y acotados de R
3
. Existe un plano que divide cada
uno de estos subconjuntos en dos piezas del mismo
volumen.
Una versi on simp atica de este teorema aparece en la p agina web que cubre diferentes
problemas de matem aticas relacionados con los huevos http://new.math.uiuc.edu/eggmath.
Supongamos que queremos dividir un huevo en dos partes, de modo que cada una de
ellas contenga exactamente la misma cantidad de yema que de clara. Si el huevo fuera
sim etrico, una supercie de revoluci on, no habra problema y el cuchillo debera cortar
a lo largo de cualquier plano incluyendo este eje, como muestra la primera gura. Y
qu e sucede si el huevo tiene un aspecto como el de la segunda gura? Se puede dividir
un huevo frito en dos trozos con la misma cantidad de yema que de clara? El teorema de
BorsukUlam arma que s.
Los dos siguientes son los an alogos en dimensi on uno a los teoremas de BorsukUlam
y del bocadillo de jam on
Proposici on 3.29. Sea f : S
1
R continua. Existen puntos antipodales x, x S
1
,
tales que f(x) = f(x).
Y se deduce el teorema del pastel
Teorema 3.30. Sean U y V dos abiertos conexos y
acotados de R
2
. Existe una recta que divide cada uno
de estos subconjuntos en dos piezas de la misma area.
La aplicaci on ndice dada en el teorema 3.20 posee tambi en algunas utilizaciones en el
estudio de campos de vectores.
Denici on 3.6. Un campo de vectores X: S
2
R
3
es tangente a S
2
, si para cada z S
2
,
X(z) es ortogonal a z.
Lema 3.31. Sean el disco D
2
R
= (x, y) R
2
: x
2
+y
2
R
2
y X: D
2
R
R
2
un campo
de vectores sin puntos singulares en su frontera. Si el camino : [0, 1] S
1
R
= fr(D
2
R
)
denido por (t) = X(Rexp(t)) no es nulhom otopo, entonces X posee un punto singular
en el interior de D
2
R
.
Como consecuencia de este resultado, se
prueba que existe siempre un punto sobre la
supercie de la Tierra, en el cual el viento no
sopla: es el teorema de la bola peluda
Teorema 3.32. Todo campo de vectores tan-
gente a S
2
posee un punto singular.
Este resultado es cierto para esferas de di-
mensi on par arbitraria, como veremos m as
adelante. Sin embargo, es posible peinar es-
feras peludas de dimensi on impar y toros pe-
ludos.
3.4. Teorema de SeifertVan Kampen 45
3.4. Teorema de SeifertVan Kampen
El teorema de SeifertVan Kampen es clave para el c alculo de muchos grupos fun-
damentales
Teorema 3.33. Sea X = U V , donde U y V son abiertos conexos por caminos y U V
es no vaco y conexo por caminos. Si x
0
U V , entonces,
1
(X, x
0
) es el producto
amalgamado de los grupos
1
(U, x
0
) y
1
(V, x
0
), por el subgrupo
1
(U V, x
0
),
1
(X, x
0
)
1
(U, x
0
)
1
(UV,x
0
)

1
(V, x
0
).
Seg un el teorema 3.33, todo camino en X basado en x
0
se puede reescribir como un
producto de lazos basados en x
0
, cada uno de los cuales vive en U o en V . As pues, un tal
camino en X puede expresarse como un elemento del producto libre
1
(U, x
0
)
1
(V, x
0
).
Un lazo en U V representa s olo una clase de
1
(X, x
0
), aunque puede verse como
copia de dos elementos distintos del producto libre, uno en
1
(U, x
0
) y otro en
1
(V, x
0
).
As,
1
(X, x
0
) puede comprenderse como el cociente de este producto libre por algunas
relaciones de
1
(U V, x
0
) que maniestan justamente esta redundancia.
Corolario 3.34. En las condiciones del teorema 3.33, si U y V son simplemente conexos
y U V es conexo por caminos, entonces X es simplemente conexo.
Corolario 3.35. En las condiciones del teorema 3.33, si U V es simplemente conexo,
entonces
1
(X, x
0
) es el producto libre
1
(U, x
0
)
1
(V, x
0
).
Teorema 3.36. En las condiciones del teorema 3.33, si V es simplemente conexo,
1
(X, x
0
)
es el cociente de
1
(U, x
0
) por el menor subgrupo normal que contiene a
1
(U V, x
0
).
Ejemplos 3.1. Como aplicaci on del teorema de SeifertVan Kampen, se obtiene
(i) S
n
es simplemente conexa, para n > 1:
si N y S son el polo norte y el polo
sur, respectivamente, basta con aplicar
el teorema 3.33 a los dos abiertos U =
S
n
N y V = S
n
S
(ii)
1
(8) es el grupo libre con dos genera-
dores, Z Z;
(iii) usando el ejercicio 7 del apartado 2.3, se concluye que
1
(T
2
) es el grupo abeliano
libre con dos generadores, resultado deducido tambi en usando el teorema 3.15.
Observaci on 3.8. El argumento dado en el ejemplo 3.1(i) no es v alido para la esfera S
1
,
pues la intersecci on obtenida no sera conexa por caminos. Por ello, hemos calculado en
el apartado anterior su grupo fundamental directamente.
Observaci on 3.9. A pesar del resultado dado en el corolario 3.34, la uni on de dos conjun-
tos simplemente conexos con un punto en com un no es simplemente conexo en general,
como lo prueba el siguiente ejemplo: para cada n N, sean las circunferencias
Y
n
=
_
(x, y, 0) R
3
:
_
x +
1
n
_
2
+ y
2
=
1
n
2
_
Z
n
=
_
(x, y, 0) R
3
:
_
x
1
n
_
2
+ y
2
=
1
n
2
_
.
Sean Y =
_
nN
Y
n
, Z =
_
nN
Z
n
,

Y el cono de base Y y v ertice
(0, 0, 1) y

Z el cono de base Z y v ertice (0, 0, 1).

Y y

Z son
contr actiles, luego simplemente conexos,

Y

Z = (0, 0, 0)
y X =

Y

Z no es simplemente conexo.
3.5. Grupos de homotopa superiores
Existen an alogos ndimensionales del grupo fundamental: son los grupos de homo-
topa de orden superior,
n
(X, x
0
), para n N y x
0
X. En cierto sentido,
n
(X, x
0
)
mide los agujeros de dimensi on n de X.
Los elementos de
1
(X, x
0
) son clases de homotopa de caminos en X basados en
x
0
. Como primer paso en la construcci on de
n
(X, x
0
), hay que generalizar la noci on de
camino cerrado a la de lazo ndimensional
Denici on 3.7. un nlazo en X basado en x
0
es una aplicaci on continua : [0, 1]
n
X,
que lleva la frontera de [0, 1]
n
en x
0
.
Se dene el producto de dos nlazos, = , como el nlazo
(t
1
, . . . , t
n
) =
_
(2t
1
, t
2
, . . . , t
n
) si 0 t
1

1
2
;
(2t
1
1, t
2
, . . . , t
n
) si
1
2
t
1
1.
Denici on 3.8. Dos nlazos y basados en x
0
son hom otopos, , si existe una
aplicaci on continua H: [0, 1] [0, 1]
n
X, tal que
(i) H(0; t
1
, . . . , t
n
) = (t
1
, . . . , t
n
), para (t
1
, . . . , t
n
) [0, 1]
n
,
(ii) H(1; t
1
, . . . , t
n
) = (t
1
, . . . , t
n
), para (t
1
, . . . , t
n
) [0, 1]
n
,
(iii) H(s; t
1
, . . . , t
n
) = x
0
, para cada s [0, 1] y cada (t
1
, . . . , t
n
) fr([0, 1]
n
).
3.5. Grupos de homotopa superiores 47
Esta homotopa es una relaci on de equivalencia, y si se denota por [] la clase de los
nlazos hom otopos al nlazo , se verica
Lema 3.37. Cuando tengan sentido los siguientes productos, se cumple
(i) si
, entonces
;
(ii) ( ) ( );
(iii) si : [0, 1]
n
X se dene por (t
1
, . . . , t
n
) = x
0
, entonces ;
(iv) si se dene (t
1
, t
2
, . . . , t
n
) = (1 t
1
, t
2
, . . . , t
n
) y es , entonces ;
(v) .
Observaci on 3.10. Queda as demostrado que las clases de homotopa de nlazos basa-
dos en x
0
forman un grupo para el producto [].[] = [ ], el grupo de homotopa de
dimensi on n,
n
(X, x
0
).
Lema 3.38.
n
(X, x
0
) es un grupo abeliano, para n 2. Se trata adem as de un inva-
riante topol ogico.
Proposici on 3.39. Si X es conexo por caminos y x
0
, x
1
X, entonces
n
(X, x
0
) y
n
(X, x
1
) son isomorfos.
Teorema 3.40. Si X es contr actil, entonces
n
(X, x
0
) = 0 para cada n > 1.
Teorema 3.41. Si X e Y son espacios, x
0
X e y
0
Y , entonces
n
(X Y, (x
0
, y
0
))
n
(X, x
0
)
n
(Y, y
0
).
Observaci on 3.11. En general, es extremadamente difcil calcular los grupos de homo-
topa de orden superior. De hecho, incluso para esferas, su c alculo no est a a un completa-
mente realizado. A pesar de todo, pueden probarse resultados del tipo
(i)
n
(S
k
)
n+1
(S
k+1
), si n, k > 1;
(ii)
n
(S
k
) = 0, si n < k;
(iii)
1
(S
k
) = 0, si k > 1;
(iv)
n
(S
n
) Z, si n 1.
Algunos de los resultados conocidos son realmente sorprendentes, como muestra esta
tabla de grupos de homotopa de esferas extrada de [Ha]
3.6. Problemas
1.- Sean X un espacio topol ogico, A X, i
A
: AX la inclusi on natural y r : XA
una retracci on. Dado a A, demostrar
(i)
1
(r):
1
(X, a)
1
(A, a) es un epimorsmo;
(ii)
1
(i
A
):
1
(A, a)
1
(X, a) es un monomorsmo;
(iii) si r es una retracci on por deformaci on, entonces
1
(i
A
):
1
(A, a)
1
(X, a) es
un isomorsmo.
2.- Sea X un espacio conexo por caminos, a, b X y un camino uniendo estos puntos.
Demostrar que
1
(X, a) es abeliano si y s olo el isomorsmo
:
1
(X, a)
1
(X, b)
denido por seg un el teorema 3.7, no depende de hecho de .
3.- Probar que si X es un espacio conexo por caminos, son equivalentes
(i) X es simplemente conexo,
(ii) dos aplicaciones cualesquiera f, g : S
1
X son hom otopas,
(iii) toda aplicaci on continua f : S
1
X se extiende a la bola unidad cerrada D
2
.
4.- Probar las siguientes propiedades en el espacio topol ogico X
(i) si es un camino en X y h: [0, 1] [0, 1] es continua, tal que h(0) = 0 y h(1) = 1,
entonces h;
(ii) si es un camino en X y h: [0, 1] [0, 1] es continua, tal que h(0) = 1 y h(1) = 0,
entonces h.
3.6. Problemas 49
5.- Sea X un espacio topol ogico, : [0, 1] X un camino y 0 = t
0
< t
1
< < t
n
= 1
una partici on de [0, 1]. Para cada j 1, . . . , n, denimos el camino
j
: [0, 1] X por
j
(s) = ((1 s)t
j1
+ st
j
). Probar que [] = [
n

1
].
6.- Sea X un espacio topol ogico, x X y c(x) la componente conexa por caminos que
contiene a x. Probar que los grupos fundamentales
1
(X, x) y
1
(c(x), x) son isomor-
fos. Por esta raz on, basta con enunciar la mayora de las propiedades de homotopa para
espacios conexos por caminos.
7.- Sean , : [0, 1] S
1
dos caminos cerrados. Se dice que y son libremente hom o-
topos, si existe una homotopa libre entre ellos H : , tal que H(0, t) = H(1, t), para
cada t [0, 1]. Se pide probar
(i) si y son libremente hom otopos, entonces deg() = deg();
(ii) si deg() = deg(), entonces y son libremente hom otopos. Adem as ,
cuando tienen el mismo punto base.
8.- Sea [S
1
, S
1
] el conjunto de las clases de homotopa libre de aplicaciones continuas
f : S
1
S
1
. A cada [f] [S
1
, S
1
], se le asocia su ndice, ind([f]) = deg(f exp
0
),
donde exp
0
: [0, 1] S
1
es la aplicaci on exponencial exp
0
(t) = e
2it
. Probar
(i) la aplicaci on ndice, ind: [S
1
, S
1
] Z, est a bien denida y es biyectiva;
(ii) dada una aplicaci on continua f : S
1
S
1
, existe una funci on continua

f : [0, 1] R,
tal que exp
f = f exp
0
. Esta aplicaci on est a determinada salvo una constante
aditiva de la forma k Z, e ind(f) =

f(1)

f(0). Adem as, f : S
1
S
1
es
nulhom otopa si y s olo si existe

f : S
1
R continua, tal que f = exp
f.
9.- Sean X R
n
, x
0
X e Y un espacio topol ogico tal que f : XY es continua.
Probar que si f se puede extender a F : R
n
Y , entonces
1
(f) es trivial.
10.- Probar que el conjunto de los puntos z D
2
para los que D
2
z es simplemente
conexo es precisamente S
1
= fr(D
2
). Deducir que si f : D
2
D
2
es un homeomors-
mo, entonces f(S
1
) = S
1
.
11.- Sea (X, d) un espacio m etrico compacto y a, b X. Sea T el conjunto de caminos en
X de a a b, con la m etrica (, ) = supd((s), (s)) : 0 s 1, para , T.
Probar que si y s olo si y est an en la misma componente conexa por caminos
de T.
12.- Calcular los grupos fundamentales de
(i) un espacio discreto, un espacio indiscreto, la recta racional, el toro T
2
, la gura de
ocho, una corona circular, R
2
(0, 0);
(ii) la rosa de n p etalos, G
n
, uni on por un punto de n copias de S
1
;
(iii) X = (x, y) R
2
: 1 x, y 1 y x o y Z (observar que X tiene el mismo
tipo de homotopa que una rosa de 4 p etalos);
(iv) Y = R
2
A, donde A = (x, 0) R
2
: x Z (comprobar que
1
(Y, (1, 1)) es un
grupo libre con una cantidad numerable de generadores);
(v)
1
(X, x
0
), donde X es el espacio de Hausdorff X = AB, Ay B son homeomorfos
a un toro y A B = x
0
;
(vi) X, el espacio obtenido de S
n1
R, eliminando k subconjuntos disjuntos y homeo-
morfos cada uno de ellos al disco abierto D
n
;
(vii) para n m, R
m
R
n
y S
m
S
n
;
(viii) para n < m, R
m
S
n
;
(ix) X, donde X = a, b, c, d y = X, , a, b, d, a, c, d, a, d, a, d;
(x) X Y , donde (X, x) e (Y, y) son espacios con puntos base (ver la denici on de
X Y en el ejercicio 4 del apartado 1.5);
(xi) X = R
3
(A B), donde A es el eje 0Z y B = (x, y, 0) R
3
: x
2
+ y
2
= 1.
13.- Sean y dos lazos en R
2
con punto base (0, 0). Construir una homotopa de
caminos entre ellos.
14.- Sean y los lazos en S
1
, (t) = (cos 2t, sin 2t) y (t) = (cos 2t, sin 2t).
Demostrar que no son caminos hom otopos.
15.- Demostrar las siguientes propiedades
(i) R
2
p
1
, . . . , p
n
no es homeomorfo a R
2
q
1
, . . . , q
m
, si n ,= m;
(ii) R
n
p es simplemente conexo, si n > 2;
(iii) si n > 2, R
n
y R
2
no son homeomorfos;
(iv) si n > 2, S
n
y S
2
no son homeomorfos.
1.- El espacio proyectivo real
El espacio proyectivo real de dimensi on n se dene como el cociente RP
n
= S
n
/ ,
donde es la relaci on de equivalencia sobre la esfera que identica puntos antipodales.
Con la topologa cociente inducida RP
n
es un espacio de Hausdorff y compacto. Sea
p: S
n
RP
n
la aplicaci on cociente, que es abierta y localmente inyectiva. Se pide de-
mostrar
(i) cada punto p(x) RP
n
posee un entorno abierto V , tal que p
1
(V ) =

V
V es
uni on de dos abiertos, cada uno de los cuales se aplica homeomorcamente por p
sobre V . V se llama un entorno distinguido de p(x) RP
n
;
(ii) la aplicaci on cociente posee la propiedad de levantamiento de caminos, es decir, si
tenemos un camino : [0, 1] RP
n
y x
0
S
n
es tal que p(x
0
) = (0), entonces
existe un unico camino : [0, 1] S
n
, tal que (0) = x
0
y = p . El camino
se llama un levantamiento de . Dado : [0, 1] RP
n
, existen precisamente dos
levantamientos y y verican = ;
(iii) dados p(x), p(y) RP
n
, se dene d(p(x), p(y)) = mn|xy|, |x+y|, es decir,
geom etricamente, d(p(x), p(y)) es la longitud del menor lado del rect angulo cuyos
v ertices son x, x, y y y. Probar que d es una m etrica sobre RP
n
, compatible con
su topologa. Con esta m etrica, di am(RP
n
) =
2;
(iv) RP
1
es homeomorfo a S
1
;
(v) sean n 2 y x
0
S
n
. Dados dos caminos cerrados
1
y
2
basados en p(x
0
) RP
n
,
sean
1
y
2
sus levantamientos con origen en x
0
. Entonces,
1
(1) =
2
(1) si y s olo
si
1

2
. Concluir que
1
(RP
n
) es un grupo con dos elementos.
2.- Utilizar las propiedades de la aplicaci on ndice denida en el teorema 3.20, para dar
una prueba topol ogica del teorema fundamental del algebra:
Un polinomio p(z) = z
n
+ a
n1
z
n1
+ + a
1
z + a
0
, de grado n 1 y de coecientes
a
0
, . . . , a
n1
C, tiene una raz en el plano complejo.
3.- Utilizar el teorema de BorsukUlam, para demostrar el Teorema de LusternikSchni-
relmann: si S
2
se escribe como uni on de tres subconjuntos cerrados, S
2
= F
1
F
2
F
3
,
entonces existe i 1, 2, 3, tal que F
i
contiene un par de puntos antipodales.
4.- Sea X el toro T
2
privado de un disco abierto, es decir, un asa. Se pide
(i) probar que X tiene el tipo de homotopa de la gura de ocho (ver el problema 7 en
2.3);
(ii) probar que la inclusi on de la frontera de X en X, i : fr(X) S
1
X induce el
homomorsmo
1
(i):
1
(S
1
)
1
(X) que lleva el generador de
1
(S
1
) en el ele-
mento a
1
b
1
ab, donde
1
(X) es el grupo libre generado por a y b;
(iii) utilizar el teorema de Seifert VanKampen para comprobar que el grupo fundamen-
tal del toro es
1
(T
2
) a, b [ a
1
b
1
ab = 1).
5.- Sea Y la botella de Klein K
2
privada de un disco abierto. Se pide
(i) probar que Y tiene el tipo de homotopa de la gura de ocho;
(ii) probar que la inclusi on de la frontera de Y en Y , j : fr(Y ) S
1
Y induce el
homomorsmo
1
(j):
1
(S
1
)
1
(Y ) que lleva el generador de
1
(S
1
) en el ele-
mento a
1
b
1
ab
1
, donde
1
(Y ) es el grupo libre generado por a y b;
(iii) utilizar el teorema de Seifert VanKampen para comprobar que el grupo fundamen-
tal de la botella de Klein es
1
(K
2
) a, b [ a
1
b
1
ab
1
= 1);
(iv) observar que el asa (ver el problema 4) e Y tienen el mismo tipo de homotopa, sin
embargo, no son espacios homeomorfos. Por qu e?
6.- Sea Z el plano proyectivo real RP
2
privado de un disco abierto. Se pide
(i) probar que Z tiene el tipo de homotopa de una circunferencia;
(ii) probar que la inclusi on de la frontera de Z en Z, k: fr(Z) S
1
Z, induce el
homomorsmo
1
(k):
1
(S
1
)
1
(Z) que lleva el generador de
1
(S
1
) en el ele-
mento a
2
, donde
1
(Z) es el grupo generado por a;
(iii) aplicar el teorema de Seifert VanKampen para probar que
1
(RP
2
) a [ a
2
= 1);
(iv) probar que S
1
no es un retracto de RP
2
.
7.- Calcular los tipos de homotopa de una camiseta, una chaqueta sin abotonar, un pan-
tal on, un pantal on con un agujero en uno de sus bolsillos y un par de zapatos (hay zapatos
con cordones, con cremallera, ...).
8.- Sea X R
2
el conjunto compacto que consiste en todos los segmentos que unen
p = (0, 1) con q
n
=
_
1
n
, 0
_
, para n N, junto con el segmento de p al punto (0, 0).
Si A = (0, 0) X, se pide probar
(i) la inclusi on i
A
: AX es una equivalencia de
homotopa;
(ii) A no es un retracto por deformaci on fuerte de X.
9.- Sea f : XY una aplicaci on continua. Decidir si las siguientes armaciones son
ciertas o falsas, demostr andolas o dando un contraejemplo
(i) si f : XY es sobreyectiva, entonces
1
(f):
1
(X, x)
1
(Y, f(x)) es sobre-
yectiva;
(ii) si f : XY es inyectiva, entonces
1
(f):
1
(X, x)
1
(Y, f(x)) es inyectiva;
(i) si f : XY es biyectiva, entonces
1
(f):
1
(X, x)
1
(Y, f(x)) es biyectiva.
10.- Probar que todos los espacios que siguen son homeomorfos, salvo uno de ellos y
explicar la raz on.
11.- Sea C
n
el crculo de radio
1
n
en R
2
, con centro en el punto
_
1
n
, 0
_
. Sea X el subespacio
de R
2
formado por la uni on de todos estos crculos, es decir X es una uni on innita
numerable de crculos, que tienen el origen p = (0, 0) como punto com un.
Observar que X no es la uni on por un punto de los
crculos C
n
. A X se le llama pendiente innito.
Probar que
1
(X, p) no es un grupo libre.
12.- Sean n N, n > 1 y r : S
1
S
1
la rotaci on de angulo
2
n
, es decir, la aplicaci on
r(cos(), sin()) =
_
cos( +
2
n
), sin( +
2
n
)
_
. Sea X
n
el cociente del disco unidad D
2
obtenido al identicar cada punto x S
1
con los puntos r(x), r
2
(x), . . . , r
n1
(x). Se
pide probar
(i) X
n
es un espacio compacto Hausdorff, llamado sombrero de asno de n picos;
(ii) el sombrero de asno de 2 picos es homeomorfo a plano proyectivo real RP
2
;
(iii) el grupo fundamental de X
n
es un grupo cclico de orden n.
13.- El prop osito de este ejercicio es demostrar que si Ges un grupo con una presentaci on
nita, entonces existe un espacio compacto Hausdorff cuyo grupo fundamental es isomor-
fo a G. Se pide probar
(i) supongamos que G tiene una presentaci on nita formada por n generadores y m
relaciones,
1
, . . . ,
n
[r
1
, . . . , r
m
). Sean A la uni on por un punto de n crculos, m
copias D
1
, . . . , D
m
de discos unidad y una aplicaci on continua f :
m
_
i=1
fr(D
i
)A.
Sea X el espacio de adjunci on obtenido a partir de f (ver el problema 4 en 1.5).
Probar que X es un espacio compacto Hausdorff;
(ii) probar la propiedad enunciada para m = 1;
(iii) probar el siguiente lema algebraico: Sean f : GH y g : HK homomors-
mos y f sobreyectivo. Si a
0
G y ker(g) es el menor subgrupo normal de H
conteniendo a f(a
0
), entonces ker(g f) es el menor subgrupo normal N de G
que contiene a ker(f) y a
0
;
(iv) proceder por inducci on sobre m, utilizando (iii) para probar el enunciado.
14.- Encontrar espacios cuyos grupos fundamentales sean isomorfos a los siguientes gru-
pos, donde Z
n
denota el grupo aditivo de los enteros m odulo n
(i) Z
n
Z
m
y m as en general Z
n
1
Z
n
2
Z
n
k
;
(ii) Z
n
Z
m
y m as en general Z
n
1
Z
n
2
Z
n
k
.
15.- Se consideran los tres subespacios del plano
Se pide
(i) calcular el grupo fundamental de cada uno de ellos;
(ii) dibujar los generadores de esos grupos;
(iii) son homeomorfos? tienen el mismo tipo de homotopa?
16.- Se consideran los tres subespacios del R
3
Se pide
(i) calcular el grupo fundamental de cada uno de ellos;
(ii) dibujar los generadores de esos grupos;
(iii) son homeomorfos? tienen el mismo tipo de homotopa?
17.- Sea X = S
2
(x, 0, 0) : 1 x 1. Se pide
(i) calcular su grupo fundamental y dibujar en el los
generadores de este grupo;
(ii) es homeomorfo a la circunferencia S
1
? Y a la
esfera S
2
?
(iii) tiene el tipo de homotopa de la circunferencia S
1
? Y de la esfera S
2
?
Estudio de los espacios de revestimiento
Para mi coraz on basta tu pecho,
para tu libertad bastan mis alas.
Desde mi boca llegar a hasta el cielo
lo que estaba dormido sobre tu alma.
Para mi coraz on basta tu pecho
Pablo Neruda (Chile, 1904-1973)
Los espacios de revestimiento se introducen muchas veces como simples herramien-
tas, por ser normalmente m as sencillos que los espacios que cubren: por ejemplo, S
n
frente a RP
n
, como veremos m as adelante.
Luego, el principio de generalidad va a ser el siguiente: el objeto primario de inter es
ser a el espacio topol ogico X, pero cuando X es demasiado complicado, se recurre a un es-
pacio de revestimiento Y , m as sencillo, y se usa la teora de los espacios de revestimiento,
para obtener informaci on de X a partir de la de Y .
En los temas anteriores, hemos desarrollado dos t ecnicas para calcular grupos funda-
mentales
(i) la equivalencia de homotopa: un espacio topol ogico se reemplaza por otro cuyo
grupo fundamental coincide con el primero, pero que como espacio es m as simple;
(ii) el teorema de SeifertVan Kampen, para el c alculo del grupo fundamental de esferas
y otras supercies.
Otro grupo fundamental que hemos calculado es el de S
1
, y la estrategia para obte-
nerlo ha sido usar propiedades de la aplicaci on exponencial, para probar que todo camino
basado en 1, se puede levantar sobre R en un camino que empieza en 0 y que termina en
un entero.
Los ingredientes b asicos en la prueba han sido tres propiedades de levantamiento
(i) la propiedad de levantamiento unico,
(ii) el lema de levantamiento de caminos,
57
58 Captulo 4. Estudio de los espacios de revestimiento
(iii) la propiedad de levantamiento de homotopas.
Otra cualidad que se usa es que cada punto de S
1
posee un entorno distinguido (lo
deniremos m as adelante con rigor), es decir, un entorno abierto U, tal que exp
1
(U)
est a formado por copias disjuntas de U en R.
En este tema se generalizan estas ideas, y se ve que se pueden aplicar t ecnicas simila-
res a una gama bastante importante de espacios topol ogicos, que engloban a las variedades
conexas: son los espacios y las aplicaciones de revestimiento.
Una aplicaci on de revestimiento es una aplicaci on cociente y tiene muchas de las
propiedades de la aplicaci on exponencial. El estudio cuidadoso de las aplicaciones de
revestimiento permitir a analizar y calcular muchos m as grupos fundamentales.
Adem as, damos la clasicaci on de los espacios de revestimiento de un espacio dado
X y se ve que depende de su grupo fundamental, en el sentido de que hay tantos espacios
de revestimiento como subgrupos de
1
(X, x). Esto prueba de nuevo el poder del functor
grupo fundamental, como m etodo para distinguir cualidades topol ogicas de espacios a
trav es de las propiedades algebraicas de sus grupos de Poincar e.
4.1. Espacios de revestimiento
Denici on 4.1. Sean X e Y espacios topol ogicos y p: Y X una aplicaci on continua.
Un abierto U X se llama distinguido, si p
1
(U) =
_
iI
U
i
, uni on disjunta de abiertos
conexos U
i
: i I, cada uno de los cuales se aplica homeom orcamente sobre U por
p, es decir, p[
U
i
: U
i
U es un homeomorsmo.
Se puede visualizar esta familia de abiertos disjuntos,
como una pila de hojas, que se proyectan sobre U por
la aplicaci on p.
Los conjuntos U
i
son conexos, abiertos y cerrados en
p
1
(U), es decir, son precisamente las componentes
conexas de p
1
(U).
Denici on 4.2. Si Y es conexo, p: Y X es sobreyectiva y cada x X posee un
entorno abierto distinguido, se dice que p es una aplicaci on de revestimiento y que Y es un
espacio de revestimiento de X. A veces, se habla de X como de la base del revestimiento
y de Y como el espacio total.
Observaci on 4.1. Si p: Y X es un espacio de revestimiento, los espacios X e Y
son localmente id enticos, y las im agenes recprocas en Y de entornos distinguidos en X,
convenientemente combinados, realizan el espacio Y . Sin embargo, el espacio total y la
base pueden ser completamente distintos en un sentido global.
4.1. Espacios de revestimiento 59
Ejemplos 4.1. Las siguientes aplicaciones son de revestimiento
(i) la aplicaci on exponencial exp: RS
1
;
(i) La aplicaci on exponencial (ii) Los revestimientos sobre esferas
(ii) p
n
: S
1
S
1
, dada por p
n
(z) = z
n
;
(iii) p: R
n
T
n
, donde p(x
1
, . . . , x
n
) = (exp(x
1
), . . . , exp(x
n
));
(iv) la aplicaci on cociente p: S
n
RP
n
denida al identicar puntos antipodales de la
esfera.
Denici on 4.3. Una aplicaci on continua f : Y X es un homeomorsmo local, si para
cada y Y , existe un entorno abierto U que se aplica por f homeomorcamente sobre
un subconjunto abierto V X.
Lema 4.1. Un homeomorsmo local f : Y X verica
(i) f es una aplicaci on continua y abierta;
(ii) para cada x X, la bra sobre ese punto, f
1
(x), es un espacio discreto.
Observaci on 4.2. La existencia del homeomorsmo local f : Y X, hace que Y herede
todas las propiedades topol ogicas locales de X (la conexi on local, la compacidad local,
etc.). Si adem as f es sobreyectiva, X tambi en hereda las propiedades topol ogicas locales
de Y .
Lema 4.2. Si p: Y X una aplicaci on de revestimiento, entonces es un homeomors-
mo local y una aplicaci on cociente. Si p es inyectiva, entonces es un homeomorsmo.
Es importante observar que no todo homeomorsmo local sobreyectivo es una apli-
caci on de revestimiento
Ejemplo 4.1. Sea Y = (0, 2) R y la aplicaci on f : Y S
1
dada por f(x) = exp(x).
f es un homeomorsmo local por ser la restricci on de la aplicaci on exponencial, que
es una aplicaci on de revestimiento, y es claramente sobreyectiva. Pero, no se trata de una
aplicaci on de revestimiento, pues el punto 1 S
1
no posee un entorno abierto distinguido.
Lema 4.3. Si p: Y X es una aplicaci on de revestimiento, entonces el cardinal de las
bras es constante.
Observaci on 4.3. Usando el lema anterior, podra deducirse que la aplicaci on del ejemplo
4.1 no es de revestimiento, al tener todas las bras dos elementos, excepto la del punto 1
que tiene cardinal uno.
Denici on 4.4. Si p: Y X es una aplicaci on de revestimiento, el cardinal de cada
bra se llama n umero de hojas del revestimiento.
Ejemplos 4.2. A continuaci on, se dan ejemplos de revestimientos con distintos n umeros
de hojas
(i) p
n
: S
1
S
1
, p
n
(z) = z
n
, es un revestimiento de n hojas;
(ii) p: S
n
RP
n
es un revestimiento de dos hojas;
(iii) la aplicaci on exponencial es un revestimiento con una cantidad numerable de hojas.
4.2. Propiedades de levantamiento
Denici on 4.5. Sean p: Y X y f : ZX aplicaciones continuas. Un levantamiento
de f relativamente a p, es una aplicaci on continua

f : ZY tal que p

f = f.
Observaci on 4.4. No toda aplicaci on continua posee un levantamiento, aunque p sea un
homeomorsmo local, como se ver a m as adelante.
Las herramientas t ecnicas clave para trabajar con espacios de revestimiento son los
siguientes lemas de levantamiento, que son generalizaciones de las propiedades simi-
lares vericadas para la aplicaci on exponencial en el apartado 3.3. Empecemos por la
propiedad de levantamiento unico
Lema 4.4. Sea p: Y X un espacio de revestimiento. Si Z es conexo, f : ZX es
una aplicaci on continua y

f
1
,

f
2
: ZY son dos levantamientos de f que coinciden en
alg un punto de Z, entonces,

f
1
=

f
2
.
4.2. Propiedades de levantamiento 61
Se contin ua con la propiedad de levantamiento de caminos
Lema 4.5. Sean p: Y X un espacio de revestimiento, : [0, 1] X un camino y un
punto y
0
p
1
((0)). Existe un levantamiento : [0, 1] Y de , tal que (0) = y
0
.
Y nalmente, se da la propiedad de levantamiento de homotopas
Lema 4.6. Sean p: Y X un espacio de revestimiento,
0
,
1
: [0, 1] X dos caminos
hom otopos, H :
0

1
y p( x
0
) =
0
(0). Entonces
(i) existe una unica aplicaci on

H, tal que p

H = H y

H(0, 0) = x
0
;
(ii) teorema de monodroma: si
0
,
1
: [0, 1] Y son levantamientos de los caminos
0
y
1
respectivamente y
0
(0) =
1
(0), entonces
0

1
.
Como primera aplicaci on de la teora, podemos dar una soluci on general al problema
de levantamiento para aplicaciones de revestimiento: se trata de decidir, dado un reves-
timiento p: Y X y una aplicaci on continua : ZX, cuando esta ultima admite
un levantamiento : ZY . El siguiente resultado reduce este problema topol ogico a
uno algebraico: es el criterio de levantamiento
Teorema 4.7. Sean p: Y X un revestimiento, Z un espacio conexo por caminos y
localmente conexo por caminos y : ZX una aplicaci on continua. Dados z
0
Z e
y
0
Y tales que p(y
0
) = (z
0
), posee un levantamiento : ZY , vericando que
(z
0
) = y
0
, si y s olo si
1
()(
1
(Z, z
0
)) (subgrupo de
1
(X, (x
0
))) est a contenido en
1
(p)(
1
(Y, y
0
)).
Ejemplos 4.3. Algunos ejemplos de aplicaci on de este criterio son
(i) dado el revestimiento exp: RS
1
, la aplicaci on identidad 1
S
1 : S
1
S
1
no se
levanta respecto a exp, porque
1
(1
S
1)(
1
(S
1
, 1)) Z ,
1
(R) = 0;
(ii) sean p
3
: S
1
S
1
y p
5
: S
1
S
1
los revestimientos de tres y cinco hojas respecti-
vamente. p
3
no se levanta respecto a p
5
, porque
1
(p
3
)(
1
(S
1
, 1)) 3Z ,
1
(p
5
)(
1
(S
1
, 1)) 5Z;
(iii) si p: Y X es un espacio de revestimiento y : ZX es continua con grupo
fundamental
1
(Z, z
0
) trivial, siempre existe un levantamiento : ZY de .
4.3. Aplicaciones de revestimiento y grupo fundamental
El siguiente teorema de inyectividad caracteriza el homomorsmo inducido sobre
los grupos fundamentales por una aplicaci on de revestimiento
Teorema 4.8. Sea p: Y X una aplicaci on de revestimiento. Para cada y Y , el
homomorsmo
1
(p):
1
(Y, y)
1
(X, p(y)) inducido por p es inyectivo.
Observaci on 4.5. Este enunciado prueba que el grupo fundamental de un espacio de
revestimiento puede verse, en un cierto sentido, como un subgrupo del grupo fundamental
de la base. Pero, es necesario entender de que manera este hecho depende de la elecci on
del punto base y Y .
Denici on 4.6. Dos subgrupos H
1
y H
2
de un grupo G se llaman conjugados, si existe
un elemento g G, tal que H
2
= g
1
H
1
g. Es f acil probar que la conjugaci on es una
relaci on de equivalencia sobre el conjunto de todos los subgrupos de G. Adem as, H es
normal en G si y s olo si H es el unico subgrupo conjugado a H.
Como prueba el siguiente teorema de conjugaci on, el subgrupo
1
(p)(
1
(Y, y)) puede
cambiar cuando vara el punto base, pero puede transformarse s olo de un modo muy limi-
tado
Teorema 4.9. Sea p: Y X una aplicaci on de revestimiento, donde Y es conexo por
caminos. Para cada x X, la familia
1
(p)(
1
(Y, y)) : y p
1
(x) de subgrupos de
1
(X, x), es exactamente una clase de conjugaci on.
Denici on 4.7. Se dice que un revestimiento p: Y X es regular, si Y es conexo por
caminos y localmente conexo por caminos y para cada y Y , el subgrupo
1
(p)(
1
(Y, y))
es normal en
1
(X, p(y)).
Observaci on 4.6. Esto signica en particular que el subgrupo
1
(p)(
1
(Y, y)) es inde-
pendiente de la elecci on del punto base y en la bra de x, ya que el unico subgrupo
conjugado es el mismo.
Lema 4.10. Sea p: Y X una aplicaci on de revestimiento, donde Y es conexo por
caminos y localmente conexo por caminos. Si existe y Y tal que
1
(p)(
1
(Y, y)) es un
subgrupo normal de
1
(X, p(y)), entonces p es regular.
4.4. El grupo de las transformaciones de revestimiento
Vamos a introducir el concepto de grupo de las transformaciones de revestimiento y
a estudiar su relaci on con los grupos fundamentales del espacio total Y y de la base X.
4.4. El grupo de las transformaciones de revestimiento 63
Denici on 4.8. Sea p: Y X una aplicaci on de revestimiento. Un homeomorsmo
: Y Y se llama una transformaci on de revestimiento, si p = p. Se denota por
G
p
(Y ) el conjunto de las transformaciones de revestimiento de Y respecto a p.
Lema 4.11. Dada una aplicaci on de revestimiento p: Y X, se verican las propie-
dades siguientes
(i) si
1
,
2
G
p
(Y ), entonces
1

2
G
p
(Y );
(ii) si G
p
(Y ), entonces
1
G
p
(Y );
(iii) 1
Y
G
p
(Y ).
Luego, G
p
(Y ) es un grupo, llamado grupo de las transformaciones de revestimiento.
Proposici on 4.12. Sean p: Y X una aplicaci on de revestimiento y G
p
(Y ), en-
tonces
(i) si
1
,
2
G
p
(Y ) y existe y
0
tal que
1
(y
0
) =
2
(y
0
), entonces
1
=
2
;
(ii) excepto para = 1
Y
, act ua sin puntos jos, es decir, si (y) = y para alg un
y Y , entonces = 1
Y
;
(iii) para cada x X, permuta los puntos de la bra p
1
(x);
(iv) para cada U abierto distinguido en X, permuta las componentes conexas de
p
1
(U).
Ejemplos 4.4. Algunos ejemplos de tales transformaciones son
(i) para exp: RS
1
, G
p
(R) =
n
: n Z, donde
n
(x) = x + n.
(ii) si p: S
n
RP
n
es el revestimiento de dos hojas de RP
n
y : S
n
S
n
la apli-
caci on antipodal, entonces G
p
(S) = 1
S
n, .
Observaci on 4.7. Seg un la proposici on 4.12, G
p
(Y ) puede pensarse como un grupo de
permutaciones sobre cada bra, ya que cada transformaci on de revestimiento est a com-
pletamente determinada por lo que hace sobre una bra.
Denici on 4.9. Si Ges un grupo de permutaciones sobre un conjunto Z y z Z, la orbita
de z es el conjunto de las im agenes por G, es decir, G(z) = (z) : G. Se dice que
G act ua transitivamente sobre Z, si para cada z Z, es G(z) = Z, o equivalentemente,
si para cada z
1
, z
2
Z, existe G tal que (z
1
) = z
2
.
Es a menudo util disponer de un criterio para decidir cuando dos puntos est an en la
misma orbita, y por ello damos el criterio de orbitas
Proposici on 4.13. Sea p: Y X una aplicaci on de revestimiento, donde Y es conexo
por caminos y localmente conexo por caminos. Entonces
(i) si y
1
, y
2
p
1
(x), existe una transformaci on de revestimiento que lleva y
1
en y
2
si y
s olo si
1
(p)(
1
(Y, y
1
)) =
1
(p)(
1
(Y, y
2
));
(ii) G
p
(Y ) act ua transitivamente sobre cada bra si y s olo si p es un revestimiento
regular. En este caso, para cada y p
1
(x), la aplicaci on f
x
: G
p
(Y )p
1
(x)
denida por f
x
() = (y), es una biyecci on.
El siguiente teorema da una f ormula explcita para el grupo de las transformaciones de
revestimiento en t erminos de los grupos fundamentales del espacio total y el espacio base,
y lo podremos utilizar para calcular grupos fundamentales de ciertos espacios, a partir de
propiedades de sus revestimientos. El enunciado de este resultado envuelve la siguiente
condici on algebraica
Denici on 4.10. Si G es un grupo y H G un subgrupo, el normalizador de H en
G, N(H), es el conjunto de los elementos g G, tales que g
1
Hg = H. N(H) es un
subgrupo de G y de hecho es el mayor subgrupo de G en el que H es normal.
Podemos dar el teorema de estructura del grupo de las transformaciones de reves-
timiento
Teorema 4.14. Sea p: Y X una aplicaci on de revestimiento, donde Y es conexo por
caminos y localmente conexo por caminos y sea y Y . Si H =
1
(p)(
1
(Y, y)), los
grupos G
p
(Y ) y N(H) / H son isomorfos.
Para revestimientos regulares, el teorema dice simplemente que el grupo de las trans-
formaciones de revestimiento es isomorfo al cociente del grupo fundamental de la base
por la imagen del grupo fundamental del espacio de revestimiento
Corolario 4.15. En las condiciones del teorema 4.14, si p es regular y p(y) = x, entonces
los grupos
1
(X, x)/
1
(p)(
1
(Y, y)) y G
p
(Y ) son isomorfos.
Corolario 4.16. En las condiciones del teorema 4.14, si adem as Y es simplemente conexo
y p(y) = x, entonces los grupos G
p
(Y ) y
1
(X, x) son isomorfos.
Combinando el corolario 4.16 con la proposici on 4.13, se obtiene el siguiente resulta-
do, que proporciona una manera de identicar cada bra de un revestimiento simplemente
conexo con el grupo fundamental de la base
Corolario 4.17. En las condiciones del corolario 4.16, para cada x X e y p
1
(x),
la aplicaci on :
1
(X, x)p
1
(x) denida por ([]) = (1), donde es el unico
levantamiento de que empieza en y, es una biyecci on.
4.5. Homomorsmos de revestimiento 65
Ejemplos 4.5. Como ejemplos de aplicaci on de estos corolarios, tenemos
(i) exp: RS
1
es un revestimiento cclico innito y R es simplemente conexo. El
corolario 4.16 proporciona una prueba de que el grupo fundamental de S
1
es cclico
innito;
(ii) sea n > 1 y p: S
n
RP
n
el revestimiento de dos hojas dado por la identicaci on de
puntos antipodales en la esfera. Utilizando el corolario 4.17, se deduce que el grupo
fundamental de RP
n
es un grupo con dos elementos, que por lo tanto es isomorfo a
Z
2
. Tambi en puede aplicarse el corolario 4.16 para obtener el mismo resultado, ya
que por el ejemplo 4.4 (ii) sabemos que G
p
(S
n
) es el grupo cclico de orden 2.
4.5. Homomorsmos de revestimiento
De momento hemos obtenido informaci on acerca de grupos fundamentales, estudian-
do las aplicaciones de revestimiento. Ahora, se trata de invertir el proceso y ver lo que
puede aprenderse, partiendo del grupo fundamental, sobre la existencia y unicidad de es-
pacios de revestimiento. La idea clave viene dada por el teorema 4.9: cada espacio de
revestimiento de X determina una clase de conjugaci on de subgrupos de
1
(X).
Vamos a decidir cuando pueden pensarse dos espacios de revestimiento como id enti-
cos
Denici on 4.11. Sean X un espacio y p
1
: Y
1
X y p
2
: Y
2
X dos revestimientos.
Un homomorsmo de revestimiento de p
1
en p
2
, es una aplicaci on continua : Y
1
Y
2
,
tal que p
2
= p
1
. Un homomorsmo de revestimiento es un isomorsmo de reves-
timiento, si posee un homomorsmo de revestimiento inverso.
Lema 4.18. En las condiciones de la denici on 4.11, : Y
1
Y
2
es un isomorsmo de
revestimiento si y s olo si es un homeomorsmo.
Denici on 4.12. Dos revestimientos p
1
: Y
1
X y p
2
: Y
2
X se dicen isomorfos,
cuando existe un isomorsmo de revestimiento entre ellos. Claramente, queda denida
una relaci on de equivalencia sobre la familia de los revestimientos de X.
Observaci on 4.8. Si Y
1
= Y
2
y p
1
= p
2
: Y
1
X, un isomorsmo de revestimiento es
precisamente una transformaci on de revestimiento.
Los homomorsmos de revestimiento son a su vez aplicaciones de revestimiento, co-
mo lo prueba el siguiente lema
Lema 4.19. Sean p
1
: Y
1
X y p
2
: Y
2
X dos revestimientos localmente conexos
por caminos de X. Sea un homomorsmo de revestimiento de p
1
en p
2
. Entonces es
una aplicaci on de revestimiento.
La clave para determinar cuando dos espacios de revestimiento son isomorfos, es
establecer cuando existen homomorsmos de revestimiento entre ellos, y lo haremos a
trav es del siguiente criterio del homomorsmo de revestimiento
Teorema 4.20. Consideremos dos revestimientos localmente conexos por caminos de X,
p
1
: Y
1
X y p
2
: Y
2
X. Sean y
1
Y
1
e y
2
Y
2
, tales que p
1
(y
1
) = p
2
(y
2
) = x.
Existe un homomorsmo de revestimiento entre p
1
y p
2
que lleva y
1
en y
2
, si y s olo si se
da la inclusi on
1
(p
1
)(
1
(Y
1
, y
1
))
1
(p
2
)(
1
(Y
2
, y
2
)).
Ejemplos 4.6. Como aplicaci on del anterior criterio, tenemos
(i) sea p
n
: S
1
S
1
dada por p
n
(z) = z
n
. Si es el generador est andar de
1
(S
1
, 1), y
recordando que p
n
tiene grado n, se prueba f acilmente que
1
(p
n
)(
1
(S
1
, 1)) =
nk
: k Z nZ
1
(S
1
, 1) Z.
Por el criterio del homomorsmo de revestimiento, existe un homomorsmo de
revestimiento entre p
m
y p
n
si y s olo si n divide a m. Yen tal caso, el homomorsmo
es justamente p
m
n
;
(ii) se consideran los dos revestimientos del toro, p: R
2
T
2
y p
1
: S
1
RT
2
,
denidos por p(x
1
, x
2
) = (exp(x
1
), exp(x
2
)) y p
1
(z, x) = (z, exp(x)), respectiva-
mente. Como se verican las inclusiones
1
(p)(
1
(R
2
)) = 0
1
(p
1
)(
1
(S
1
R)) Z,
existe un homomorsmo de revestimiento de p en p
1
, (x
1
, x
2
) = (exp(x
1
), x
2
).
El siguiente teorema del isomorsmo de revestimiento resuelve la cuesti on de la
unicidad para espacios de revestimiento localmente conexos por caminos, salvo isomor-
smo
Teorema 4.21. p
1
: Y
1
X y p
2
: Y
2
X, espacios de revestimiento localmente co-
nexos por caminos, son isomorfos si y s olo si para cada x X y para cada elec-
ci on de puntos base y
1
p
1
1
(x) e y
2
p
1
2
(x), los subgrupos
1
(p
1
)(
1
(Y
1
, y
1
)) y
1
(p
2
)(
1
(Y
2
, y
2
)) son conjugados en
1
(X, x).
4.6. El espacio de revestimiento universal
Cuando los resultados anteriores se aplican a espacios de revestimiento simplemente
conexos, se obtienen resultados interesantes
Proposici on 4.22. Sea p: Y X un revestimiento simplemente conexo y localmente
conexo por caminos, entonces
4.7. Acciones propiamente discontinuas y revestimientos 67
(i) si p
1
: Y
1
X es un revestimiento localmente conexo por caminos, existe una apli-
caci on de revestimiento p: Y Y
1
, tal que p
1
p = p;
(ii) si adem as X es simplemente conexo y localmente conexo por caminos, entonces p
es un homeomorsmo;
(iii) dos revestimientos simplemente conexos y localmente conexos por caminos de X
son isomorfos.
La parte (i) de esta proposici on dice que los espacios de revestimiento simplemente
conexos cubren a cualquier otro espacio de revestimiento de X. Por esta raz on, se dene
Denici on 4.13. Al unico (proposici on 4.22 (iii)) revestimiento simplemente conexo y
localmente conexo por caminos p:

XX, se le llama revestimiento universal de X.
Ejemplos 4.7. Algunos ejemplos de revestimientos universales son
(i) el espacio de revestimiento universal del toro T
n
es R
n
, ya que p: R
n
T
n
dada por
p(x
1
, . . . , x
n
) = (exp(x
1
), . . . , exp(x
n
)) es un revestimiento y R
n
es simplemente
conexo y localmente conexo por caminos;
(ii) del mismo modo, el revestimiento universal de RP
n
es S
n
.
Denici on 4.14. X es semilocalmente simplemente conexo, si admite una base de con-
juntos abiertos U, con la propiedad de que, todo lazo en U es hom otopo en X a una
constante.
Como prueba el siguiente teorema, todo espacio razonable, incluyendo las variedades
conexas, posee un revestimiento universal. La prueba es complicada y puede encontrarse
en [Mas2].
Teorema 4.23. Sea X conexo por caminos y localmente conexo por caminos. X admite
un revestimiento universal si y s olo si X es semilocalmente simplemente conexo.
4.7. Acciones propiamente discontinuas y revestimientos
El siguiente paso a la hora de clasicar revestimientos, es comenzar por un espacio Y
y desarrollar una t ecnica para construir espacios cubiertos por Y .
Para tener una idea de como construir espacios revestidos por Y , recordemos que una
aplicaci on de revestimiento es una aplicaci on cociente y que el criterio de la orbita prueba
que el grupo G
p
(Y ) act ua transitivamente sobre cada bra cuando el revestimiento es
regular, con lo que las identicaciones inducidas por p son exactamente:
y
1
y
2
si y s olo si existe G
p
(Y ) tal que y
2
= (y
1
).
Sea ahora Y un espacio y supongamos que es un grupo de homeomorsmos de Y ,
es decir, un conjunto de homeomorsmos de Y en Y , que contiene a 1
Y
y que es cerrada
bajo la composici on y la inversi on de funciones. Se puede entonces denir la relaci on de
equivalencia
y
1
y
2
si y s olo si existe tal que y
2
= (y
1
).
El espacio de orbitas de , denotado por Y/, es el cociente de Y bajo esta relaci on de
equivalencia. En particular, si p: Y X es un revestimiento, la discusi on del p arrafo
anterior, junto con la unicidad de los espacios cociente prueba que
Teorema 4.24. Si p: Y X es un revestimiento regular, X es homeomorfo al espacio
cociente Y/G
p
(Y ).
Nuestro objetivo ahora es dar la vuelta a este proceso: empezar con un espacio Y y
un grupo de homeomorsmos de Y y construir un revestimiento p: Y Y/, cuyo
grupo de transformaciones de revestimiento, G
p
(Y ), sea exactamente . Debe observarse
que esta construcci on s olo puede reproducirse para revestimientos regulares, porque
act ua transitivamente sobre las bras de cada espacio de orbitas por denici on.
Por supuesto, cualquier grupo de homeomorsmos no produce una aplicaci on de
revestimiento de este modo. Por ejemplo, si p: Y X es un revestimiento, G
p
(Y ) act ua
sin puntos jos, por lo que deber a tener esta propiedad. De hecho, G
p
(Y ) satisface una
propiedad mucho m as fuerte: si y Y , U es un entorno distinguido de p(y) y

U es la
componente conexa de p
1
(U) que contiene a y, entonces las im agenes de

U bajo distin-
tas transformaciones de revestimiento G
p
(Y ), son disjuntas. Esta propiedad tiene un
nombre
Denici on 4.15. Un grupo de homeomorsmos de Y es propiamente discontinuo, si
para cada y Y , existe U un entorno de ese punto, tal que (U)
(U) = , si ,

y ,=
.
Teorema 4.25. Sea Y conexo por caminos y localmente conexo por caminos. Si es un
grupo propiamente discontinuo de homeomorsmos de Y , la proyecci on p: Y Y/,
es un revestimiento regular y = G
p
(Y ).
4.8. El teorema de clasicaci on de los espacios de reves-
timiento
Vamos a agrupar todos los resultados anteriores, para dar una clasicaci on completa
de los espacios de revestimiento de un espacio dado. La idea es que cada revestimiento
de X est a cubierto por el espacio de revestimiento universal

X, y que los revestimientos
4.9. Problemas 69
intermedios pueden construirse a trav es del universal, como cocientes por acciones de
grupos adecuadas.
As, tenemos el teorema de clasicaci on de los espacios de revestimiento
Teorema 4.26. Sean X conexo por caminos y semilocalmente simplemente conexo y x
0
un punto base en X. Existe una correspondencia biyectiva entre las clases de isomorsmo
de revestimientos localmente conexos por caminos de X y las clases de conjugaci on de
subgrupos de
1
(X, x
0
). Esta correspondencia relaciona cada revestimiento p: Y X,
con la clase de conjugaci on de
1
(p)(
1
(Y, y
0
)), para cada y
0
p
1
(x
0
).
4.9. Problemas
1.- Sea p: Y X un revestimiento, A X y B = p
1
(A). Probar que la aplicaci on
p
A
: BA dada por p
A
(x) = p(x), es a un una aplicaci on de revestimiento.
2.- Sean p
1
: Y
1
X
1
y p
2
: Y
2
X
2
dos revestimientos. Probar
(i) p
1
p
2
: Y
1
Y
2
X
1
X
2
es un revestimiento;
(ii) si X
1
= X
2
y Z = (y
1
, y
2
) Y
1
Y
2
: p
1
(y
1
) = p
2
(y
2
), entonces p: ZX
1
denida por p(y
1
, y
2
) = p
1
(y
1
) es un revestimiento;
(iii) identicar Z y p, cuando p
1
= p
2
= exp: RS
1
.
3.- Probar las siguientes propiedades
(i) si G es un grupo de homeomorsmos propiamente discontinuo de X, la orbita de
cada punto G(x) = g(x) : g G, es discreta;
(ii) si : S
n
S
n
es la aplicaci on antipodal, entonces G = 1
S
n, es un grupo de
homeomorsmos de S
n
propiamente discontinuo;
(iii) si G es un grupo nito de homeomorsmos de un espacio Hausdorff X sin puntos
jos (salvo la identidad), entonces G es propiamente discontinuo;
(iv) si X = R
2
0 y f : XX es la aplicaci on denida por f(x, y) =
_
ax,
y
a
_
(a > 1), entonces G = f
n
: n Z es un grupo propiamente discontinuo.
4.- Sea p: Y X un revestimiento, x
0
X e y
0
p
1
(x
0
). Se pide probar
(i) p es un homeomorsmo si y s olo si
1
(p)(
1
(Y, y
0
)) =
1
(X, x
0
);
(ii) si X = Y y
1
(X, x
0
) es nito, entonces p es un homeomorsmo. Si
1
(X, x
0
) no
es nito, es p necesariamente un homeomorsmo?
(iii) si el revestimiento es regular y es un camino cerrado en X, entonces o todo
levantamiento de es cerrado o ninguno lo es;
(iv) si p es no trivial y
1
(Y, y
0
) es nulo, entonces existe f : S
1
X continua que no se
levanta a

f : S
1
Y .
5.- Responder a las siguientes cuestiones
(i) Existe alg un espacio Y , tal que S
1
Y sea homeomorfo a un revestimiento de S
2
o RP
2
?
(ii) probar que no existe ninguna aplicaci on de revestimiento p: S
3
S
1
S
2
.
6.- Encontrar un revestimiento de dos hojas p: T
2
K
2
, donde K
2
es la botella de Klein.
Este es el aspecto que tiene este espacio seg un [Pe].
7.- Si p: Y X es un revestimiento donde X e Y son espacios de Hausdorff, probar
que X es una nvariedad si y s olo si Y lo es.
8.- Sean X = R [0, 1] y el homeomorsmo f : XX, f(x, y) = (x + 1, 1 y). Se
pide
(i) demostrar que si G = f
n
: n Z es el grupo de homeomorsmos generado por f,
entonces X/G es la banda de M obius M;
(ii) deducir que el grupo fundamental de Mes Z.
9.- Determinar todos los espacios de revestimiento de
(i) la esfera S
1
y el toro T
2
;
(ii) un espacio X simplemente conexo y localmente conexo por caminos.
10.- Probar que cualquier aplicaci on continua f : RP
3
T
3
es nulhom otopa.
11.- Sea M una variedad conexa cuyo revestimiento universal es la esfera S
2
. Probar que
1
(M) es trivial o Z
2
.
1.- Se trata de calcular el grupo fundamental de la botella de Klein K
2
, usando como
herramienta los espacios de revestimiento. Se pide hacer lo siguiente
(i) sean los homeomorsmos f, g : CC dados por f(z) = z + i y g(z) = z +
1
2
+ i.
Demostrar que gf = f
1
g y deducir que G = f
m
g
2n+
: m, n Z, = 0 o 1
es un grupo de homeomorsmos de C. La acci on de G es propiamente discontinua
y C/G es Hausdorff;
(ii) encontrar un rect angulo semiabierto que contenga exactamente un punto de cada
orbita de G y deducir que C/G es una botella de Klein;
(iii) un embebimiento de la botella de Klein en R
4
: sea : CR
5
denida por
(x+iy) = (cos(2y), cos(4x), sin(4x), sin(2y) cos(2x), sin(2x) sin(2y)).
Demostrar que identica cada una de las orbitas del grupo Ga un punto, y deducir
que C/G es homeomorfo a Im(). Demostrar que la restricci on de : R
5
R
4
,
donde (p, q, r, s, t) = ((p + 2)q, (p + 2)r, s, t), a Im() es un homeomorsmo;
(iv) probar que el grupo fundamental de la botella de Klein es el grupo de dos gener-
adores, con la relaci on siguiente: G = a
m
b
2n+
: m, n Z, = 0 o 1, ba = a
1
b.
2.- Explicar porque los siguientes no son espacios de revestimiento
(i) p: [1, 1] [0, 1], donde p(x) = [x[;
(ii) p: LS
1
, donde p(x, y) = exp(x + y) y L = (x, y) R
2
: x Z o y Z;
(iii) p: R
2
(0, 0)T
2
, restricci on de la aplicaci on exponencial al plano privado
de un punto.
3.- Los siguientes ejemplos extrados de [Ha] son algunos revestimientos de la gura de
ocho. Estudiar su regularidad, el n umero de hojas, etc.
4.- Sean la esfera S
3
= (z
1
, z
2
) C
2
: [z
1
[
2
+ [z
2
[
2
= 1, p y q dos enteros positivos
coprimos y la aplicaci on h: S
3
S
3
denida por h(z
1
, z
2
) = (z
1
.e
2i
p
, z
2
.e
2iq
p
).
Probar que h es un homeomorsmo y h
p
= 1
S
3.
El grupo cclico Z
p
opera sobre S
3
por n.(z
1
, z
2
) = h
n
(z
1
, z
2
), para n Z
p
. Se pide
probar
(i) la aplicaci on cociente p: S
3
S
3
/Z
p
es un revestimiento. El cociente por esta ac-
ci on L(p, q) = S
3
/Z
p
, se llama espacio lenticular, y es una variedad de dimensi on
tres y compacta;
(ii) el grupo fundamental de L(p, q) es cclico de orden p;
(iii) L(2, 1) es el espacio proyectivo real de dimensi on 3, RP
3
;
(iv) si L(p, q) y L(p
, q
) son homeomorfos, probar que p = p
. De hecho, L(p, q) y
L(p
, q
) son homeomorfos si y s olo si p = p
y (q q
(m od n) o qq
1(m od n)).
5.- Sean C
n
=
_
(x, y, z) R
3
: x
2
+ y
2
= 1, z =
1
n
_
para n N e Y =
_
nN
C
n
. Sea X
el espacio cociente obtenido a partir de Y , al identicar los puntos
_
(1, 0,
1
n
) : n N
_
a
un punto b. Probar que si p: (E, e
0
)(X, b) es un espacio de revestimiento, entonces
E no es simplemente conexo. De otra manera, se pide probar que X no posee espacio de
revestimiento universal.
6.- Un subconjunto de un espacio es una curva cerrada simple, si es homeomorfo a S
1
.
Sea p: S
2
RP
2
la proyecci on can onica. Probar que si es una curva cerrada simple
en RP
2
, entonces p
1
() es o bien una curva cerrada simple en S
2
o bien la uni on de dos
curvas cerradas simples en S
2
.
7.- Sea k N y f
k
: S
1
S
1
denida por f
k
(z) = z
k
. Se pide:
(i) si es un lazo en S
1
basado en 1 y de grado n, probar que f
k
es un lazo en S
1
basado en 1;
(ii) cu al es el grado del camino f
k
?
(iii) describir el homomorsmo
1
(f
k
):
1
(S
1
, 1)
1
(S
1
, 1).
Homologa Singular
Son palabras que todos repetimos sintiendo
como nuestras, y vuelan. Son m as que lo mentado.
Son lo m as necesario: lo que no tiene nombre.
Son gritos en el cielo, y en la tierra, son actos.
La poesa es un arma cargada de futuro
Gabriel Celaya (Espa na, 1911-1991)
El primer grupo de homotopa estudia propiedades de conexi on. En un cierto sentido,
detecta agujeros, ya que, por ejemplo distingue S
2
de T
2
, es decir, reconoce el agujero
obvio del toro; la esfera y el toro son supercies que limitan un agujero del espacio de
dimensi on tres, pero no nos referimos aqu a ese.
Si trazamos una curva cerrada simple sobre el plano, esta determina una parte interior
y otra exterior. Es decir, esta curva es la frontera com un de dos porciones disjuntas del
plano. Si hacemos lo mismo sobre la supercie de una esfera, de nuevo una curva cerrada
simple es la frontera com un de dos porciones disjuntas de esta supercie. Para contrastar
esta situaci on, podemos hacer lo mismo sobre la supercie del toro: si denotamos por
y los dos generadores del grupo fundamental de T
2
, la curva no divide el toro en dos
partes disjuntas, es decir, no es la frontera de dos zonas separadas de T
2
.
La posibilidad de trazar una curva cerrada sobre una supercie sin que la divida en
dos partes disjuntas, es claramente una propiedad topol ogica: si S es una supercie,
una curva cerrada sobre S, S
es una supercie homeomorfa a S y
es la curva que
corresponde a sobre S
por ese homeomorsmo, entonces divide a S en dos partes

disjuntas, si y s olo si
hace lo propio sobre S
.
Esta propiedad topol ogica invariante es una manera de distinguir dos supercies dis-
tintas. No es un examen demasiado preciso, por supuesto, ya que hay algunas supercies
topol ogicas diferentes, para las que una tal curva puede trazarse.
C omo puede renarse esta prueba? Si comparamos el toro T
2
con la supercie com-
pacta de g enero dos T
2
(con generadores , y
y con las notaciones obvias), y se

corta el toro por y , estamos llevando el toro sobre un rect angulo en el plano.
75
76 Captulo 5. Homologa Singular
Si se hace lo mismo con la supercie com-
pacta de g enero dos, no puede llevarse so-
bre el plano la gura resultante, y se pueden
hacer a un otros dos cortes por
, hasta
poder llevar la gura resultante sobre R
2
.
Estos ejemplos sugieren que se puede asig-
nar una medida num erica al hecho de dividir
o ser frontera de porciones de supercie para
una curva cerrada. El n umero maximal de
curvas cerradas a lo largo de las cuales la su-
percie puede cortarse sin dividirla en dos
o m as partes disjuntas, es claramente una
propiedad topol ogica.
Para generalizar lo que acabamos de exponer para supercies a otros espacios, consi-
deraremos no s olo cuando ciertas curvas cerradas son frontera o no, sino tambi en cuando
determinados trozos de variedades cerradas de dimensiones arbitrarias y embebidas en el
espacio ambiente, son o no frontera de alg un subespacio.
La homologa es un modo de contar agujeros de cualquier dimensi on en un espacio
topol ogico, y en ese sentido, es una medida de la complejidad de dicho espacio.
Con la teora de homologa, vamos a pasar de espacios topol ogicos a una familia
numerable de grupos abelianos H
n
(X) : n 0, de modo que toda aplicaci on continua
f : XY tenga asociado para n 0 un homomorsmo H
n
(f): H
n
(X)H
n
(Y ),
vericando las siguientes propiedades
(i) si f es una equivalencia de homotopa (en particular, si f es un homeomorsmo),
H
n
(f) es un isomorsmo; es decir, la estructura de H
n
(X) depende s olo del tipo
de homotopa del espacio;
(ii) si f
1
f
2
, entonces H
n
(f
1
) = H
n
(f
2
), para cada n N;
(iii) H
0
(X) indica el n umero de componentes conexas por caminos de X y si n > 0,
H
n
(X) tiene algo que ver con una cierta conexi on de orden superior;
(iv) si X es conexo por caminos, H
1
(X) es el abelianizado de
1
(X);
(v) si X es una nvariedad compacta y conexa, el grupo H
n
(X) es cclico innito y
H
q
(X) = 0, para q > n.
Una buena manera de entender la homologa est a dada por el teorema de Green: sea
D un disco abierto en R
2
del que se han eliminado un n umero nito de puntos z
1
, . . . , z
n
.
Supongamos que existen curvas cerradas ,
1
, . . . ,
n
en D como en la gura.
77
Cada
i
es una curva cerrada simple que
tiene a z
i
en su interior y el resto de los pun-
tos z
j
(para j ,= i) fuera; todos los
i
est an
situados en el interior de . Si est a orienta-
da en sentido antihorario, entonces las curvas
i
est an orientadas en el sentido de las agujas
del reloj.
El Teorema de Green asegura, con ciertas hip otesis de diferenciabilidad sobre estas
curvas y sobre funciones P, Q: DR, que
_
(Pdx+Qdy)+
_
1
(Pdx+Qdy)+ +
_
n
(Pdx+Qdy) =
_
R
_ _
Q
x

P
y
_
dxdy,
donde R es la regi on sombreada en la gura.
Parece tentador escribir la suma de las integrales de lnea m as concisamente como
_
+
1
++
n
(Pdx + Qdy)
Por otro lado, en vez de describir como son las
orientaciones sobre cada curva, podramos usar
coecientes con signo para indicarlo. Si adem as
no se exige que las curvas sean simples y se per-
mite que cada curva
i
d e varias vueltas alrededor
de z
i
, podemos admitir tambi en combinaciones
Zlineales de curvas cerradas en D.
Dados dos puntos a, b D, es la integral de lnea
_
(Pdx + Qdy) independiente

del camino elegido de a a b? De otro modo, si es un segundo camino en D de a a b,
es
_
(Pdx + Qdy) =
_
(Pdx + Qdy)? Estos dos caminos son ejemplos de lo que m as

adelante llamaremos cadenas. Claramente, si = (vamos de a a b por y luego
regresamos invirtiendo , es decir, = ) las dos integrales de lnea tienen el mismo
valor si y s olo si
_
(Pdx + Qdy) = 0.
Todos estos argumentos nos conducen a trabajar con caminos cerrados - que son ejem-
plos de lo que despu es llamaremos ciclos - y el teorema de Green propone que consi-
deremos uniones nitas de curvas cerradas orientadas: algebraicamente trabajamos con
combinaciones formales Zlineales de ciclos. Si ahora restringimos nuestra atenci on a
pares de funciones exactas (P, Q), es decir, tales que existe una funci on F : DR con
F
x
= P y
F
y
= Q, y por lo tanto,
Q
x
=
P
y
, entonces el teorema arma que la inte-
gral de lnea se anula, si las curvas orientadas que aparecen forman el borde de una regi on
R de dimensi on 2 en D.
As, estamos interesados en curvas orientadas, en curvas cerradas orientadas y en cur-
vas frontera (es decir, una cierta uni on nita de curvas cerradas orientadas). Sobre el
conjunto
S
1
(D) = combinaciones Z lineales de curvas orientadas en D se puede entonces
denir la relaci on de equivalencia si y s olo si
_
(Pdx +Qdy) =
_
(Pdx +Qdy),
para todos los pares exactos (P, Q). Tales combinaciones lineales y se dir an hom olo-
gas; las clases de equivalencia de tales combinaciones lineales se llamar an clases de ho-
mologa. Por lo comentado antes, y son hom ologos precisamente cuando es un
borde. Luego, la integraci on es independiente de caminos que viven en la misma clase de
homologa.
Hay an alogos en dimensiones superiores a esta discusi on: los teoremas de Stokes y
Gauss en dimensiones dos y tres; y hay una versi on para integraci on sobre variedades
diferenciables de dimensi on arbitraria.
5.1. Preliminares anes
Denici on 5.1. Un subconjunto A del espacio eucldeo es an, si para cada x, y A, la
recta por x e y est a contenida en A. Y es convexo, si el segmento por x e y est a en A.
Obviamente, todo conjunto afn es convexo. El vaco y los puntos son trivialmente
anes.
Teorema 5.1. Sea X
j
jJ
una familia de subconjuntos de R
n
convexos (respectiva-
mente, anes), entonces
jJ
X
j
es tambi en convexo (respectivamente, afn).
Tiene sentido hablar del subconjunto convexo (respectivamen-
te, afn) en R
n
generado por X en R
n
, es decir, la intersecci on
de los subconjuntos convexos (respectivamente, anes) de R
n
conteniendo a X. Al subconjunto convexo generado por X,
[X], se le llama la envolvente convexa de X y existe, pues R
n
es afn, luego convexo.
Vamos a describir el conjunto [X], para X nito.
Denici on 5.2. Una combinaci on an de m + 1 puntos p
0
, . . . , p
m
R
n
es otro punto
x R
n
, x = t
0
p
0
+ + t
m
p
m
, donde t
0
+ + t
m
= 1. Una combinaci on convexa es
una afn, para la que t
i
0, para cada i 0, . . . , m.
5.1. Preliminares anes 79
Teorema 5.2. Si p
0
, . . . , p
m
R
n
, entonces el conjunto convexo formado por esos
puntos o msmplice afn de v ertices p
0
, . . . , p
m
, [p
0
, . . . , p
m
], es la familia de todas las
combinaciones lineales convexas de los puntos p
0
, . . . , p
m
.
Corolario 5.3. El conjunto an generado por p
0
, . . . , p
m
R
n
, consiste en todas las
combinaciones anes de esos puntos.
Denici on 5.3. Un conjunto ordenado de puntos se llama anmente independiente, si el
conjunto p
1
p
0
, p
2
p
0
, . . . , p
n
p
0
, es un subconjunto linealmente independiente
del espacio vectorial real R
n
.
Todo subconjunto linealmente independiente de R
n
es anmente independiente; el
recproco no es cierto, ya que un conjunto linealmente independiente junto con el origen,
es anmente independiente.
Ejemplos 5.1. Se tienen los siguientes ejemplos
(i) p
0
es anmente independiente, pues no existen puntos de la forma p
i
p
0
para
i ,= 0 y el conjunto vaco es linealmente independiente;
(ii) p
0
, p
1
es anmente independiente si p
0
,= p
1
;
(iii) p
0
, p
1
, p
2
es anmente independiente, si los puntos no son colineales;
(iv) p
0
, p
1
, p
2
, p
3
es anmente independiente, si los puntos no son coplanarios.
Teorema 5.4. Sobre un conjunto ordenado de puntos p
0
, . . . , p
m
R
n
son equiva-
lentes las siguientes condiciones
(i) p
0
, . . . , p
m
es anmente independiente;
(ii) si s
0
, . . . , s
m
R satisface la relaci on s
0
p
0
+ +s
m
p
m
= 0 y s
0
+ +s
m
= 0,
entonces s
0
= = s
m
= 0;
(iii) para cada x A, el conjunto afn generado por p
0
, . . . , p
m
R
n
, tiene una unica
expresi on como una combinaci on afn x = t
0
p
0
+ + t
m
p
m
y t
0
+ + t
m
= 1.
Corolario 5.5. La independencia an es una propiedad del conjunto p
0
, . . . , p
m
R
n
,
que no resulta del orden dado.
Corolario 5.6. Si A es el conjunto an de R
n
generado por el conjunto anmente inde-
pendiente p
0
, . . . , p
m
R
n
, entonces A es un trasladado de un subespacio vectorial V
mdimensional de R
n
, A = V + x
0
, para alg un x
0
R
n
.
Denici on 5.4. Sea el conjunto anmente independiente p
0
, . . . , p
m
R
n
y sea A el
conjunto an generado por esos puntos. Si x A, por el teorema 5.4, sabemos que existe
una unica (m+1)tupla (t
0
, t
1
, . . . , t
m
) tal que t
0
+ +t
m
= 1 y t
0
p
0
+ +t
m
p
m
= x.
Los coecientes de esta (m+1)tupla, se llaman coordenadas baric enticas de x, relativas
al conjunto ordenado p
0
, . . . , p
m
. Estas coordenadas no dependen del espacio ambiente
R
n
.
Proposici on 5.7. Si p
0
, . . . , p
m
R
n
es un conjunto anmente independiente, entonces
cada x [p
0
, . . . , p
m
] tiene una expresi on unica de la forma x = t
0
p
0
+ +t
m
p
m
, para
t
0
+ + t
m
= 1 y t
i
0, i 0, . . . , m.
Denici on 5.5. Si p
0
, . . . , p
m
R
n
es un conjunto anmente independiente, el bari-
centro de [p
0
, . . . , p
m
] es
1
m+1
(p
0
+ . . . p
m
) es decir, su centro de gravedad.
Ejemplos 5.2. Algunos ejemplos de baricentros son
(i) p
0
es el baricentro de [p
0
];
(ii) el baricentro del segmento [p
0
, p
1
] es el punto medio de este segmento,
1
2
(p
0
+ p
1
);
(iii) el baricentro de [p
0
, p
1
, p
2
] (tri angulo de v ertices p
0
, p
1
y p
2
, junto con su interior)
es el punto
1
3
(p
0
+ p
1
+ p
2
);
(iv) el baricentro de [p
0
, p
1
, p
2
, p
3
] (tetraedro s olido de v ertices p
0
, p
1
, p
2
y p
3
) es el punto
1
4
(p
0
+ p
1
+ p
2
+ p
3
). La cara triangular opuesta a p
i
, consiste en los puntos cuya
i esima coordenada baric entrica es 0;
(v) para i = 1, . . . , n, si e
i
= (0, . . . ,
(i)
1 , . . . , 0) R
n+1
, el conjunto de n + 1 pun-
tos e
0
, . . . , e
n
es anmente independiente (incluso linealmente independiente).
[e
0
, . . . , e
n
] consiste en las combinaciones lineales convexas x = t
0
e
0
+ +t
n
e
n
.
Las coordenadas baric entricas y cartesianas coinciden y [e
0
, . . . , e
n
] =
n
es el
smplice geom etrico est andar.
Denici on 5.6. Sean una familia de puntos anmente independiente p
0
, . . . , p
m
R
n
y A el conjunto afn generado por ellos. Una aplicaci on afn T : AR
k
(para alg un
k N), es una funci on satisfaciendo T(t
0
p
0
+ +t
m
p
m
) = t
0
T(p
0
) + +t
m
T(p
m
),
donde t
0
+ +t
m
= 1. La restricci on de T a [p
0
, . . . , p
m
] se llama tambi en una aplicaci on
afn.
As, las aplicaciones anes preservan combinaciones anes y por lo tanto, combina-
ciones convexas. Es claro que una aplicaci on afn est a determinada por sus valores sobre
un conjunto anmente independiente, su restricci on a un smplice se identica por sus
valores sobre los v ertices. Por otro lado, la unicidad de las coordenadas baric entricas re-
lativas a p
0
, . . . , p
m
, prueba que una tal aplicaci on afn existe, porque la f ormula dada
est a bien denida.
5.2. Teora singular 81
Teorema 5.8. Si [p
0
, . . . , p
m
] es un msmplice, [q
0
, . . . , q
n
] es un nsmplice y se tiene
una funci on arbitraria f : p
0
, . . . , p
m
[q
0
, . . . , q
n
], entonces existe una unica apli-
caci on afn T : [p
0
, . . . , p
m
] [q
0
, . . . , q
n
], tal que T(p
i
) = f(p
i
), para i 0, . . . , m.
5.2. Teora singular
En todo lo que sigue, puede reemplazarse el grupo Z por cualquier anillo (Q, R, etc),
obteni endose teoras de homologa con coecientes.
Se considera un producto numerable de copias de R,
nN
R = R
, y para cada n N,
los vectores innitos e
0
= (0, 0, . . . , 0, . . . ) y e
n
= (0, . . . ,
(n)
1 , . . . , 0, . . . ), para n entero
positivo.
Identicamos R
n
con el subespacio de R
que posee todas las componentes mayores

que n nulas. Para cada n 0, sea
n
el nsmplice geom etrico est andar, es decir, la
envolvente convexa de los puntos e
0
, e
1
, e
2
, . . . e
n
. As,
0
es un punto,
1
es el intervalo
unidad,
2
es un tri angulo (incluido su interior),
3
es un tetraedro, etc. Observar adem as
que
n
es homeomorfo al disco cerrado unidad D
n
, para n > 0.
Denici on 5.7. Sean p
0
, p
1
, . . . , p
n
puntos linealmente independientes en un espacio an
E. Sea f : R
n
E la unica aplicaci on afn que lleva e
i
en p
i
, para i 0, 1, . . . , n.
La restricci on de f a
n
, f[
n
, se denota por (p
0
p
1
. . . p
n
). En particular, la identidad
(e
0
e
1
. . . e
n
) = 1
n
, se denota por
n
.
Denici on 5.8. Sea X un espacio topol ogico. Un nsmplice singular en X, es una apli-
caci on continua f :
n
X.
Es decir, un 0smplice singular puede identicarse con un punto en X, un 1smplice
singular puede pensarse con un camino en X, un 2smplice singular es una aplicaci on
del tri angulo est andar en X. Observar que f(
n
) puede incluso degenerar en un punto.
Por ejemplo, la aplicaci on afn (p
0
p
1
. . . p
n
):
n
E, es un nsmplice singular en el
espacio afn E.
Vamos a aprender a sumar y restar estos smplices de manera puramente formal.
Denici on 5.9. Se considera el grupo abeliano libre generado por los nsmplices singu-
lares, S
n
(X), cuyos elementos son combinaciones lineales formales del tipo
., es
decir, de nsmplices singulares y cuyos coecientes n
Z son todos nulos, salvo una

familia nita de ellos
S
n
(X) =
. : es n smplice singular, n
Z, n
= 0 pct.
S
n
(X) se llama el conjunto de las ncadenas singulares. Observar que la unica manera
de que una tal suma sea nula, es que lo sean todos sus coecientes.
Denici on 5.10. Sean n > 0 y 0 i n. La aplicaci on an
i
n
:
n1
n
, denida
por
i
n
= (e
0
e
1
. . . e
i
. . . e
n
), es decir,
i
n
(e
j
) =
_
e
j
si j < i
e
j+1
si j i
se llama i- esima cara geom etrica de
n
y lleva
n1
homeom orca y anmente sobre la
cara (desde el punto de vista geom etrico usual) opuesta al v ertice e
i
en
n
.
Lema 5.9. Si j < i, se da la igualdad
i
n+1

j
n
=
j
n+1

i1
n
:
n1
n+1
.
Denici on 5.11. Si es un nsmplice singular en X, se dene la i esima cara,
(i)
de
, como el (n 1)smplice singular denido por
i
n
. En particular,
i
n
= (
n
)
(i)
.
Si X es un espacio afn, y = (p
0
p
1
. . . p
n
), entonces
(i)
= (p
0
p
1
. . . p
i
. . . p
n
).
Por el momento, estamos considerando caras no orientadas.
Denici on 5.12. La frontera de un nsmplice singular , es la (n 1)cadena singular
denida por
n
() =
n
i=0
(1)
i
(i)
, es decir, es la suma formal de sus caras, dotadas de
signo.
Ejemplos 5.3. Algunos ejemplos de fronteras son
(i) la frontera del 2smplice (e
0
e
1
e
2
) es
2
(e
0
e
1
e
2
) = (e
1
e
2
) (e
0
e
2
) + (e
0
e
1
) y puede
interpretarse como la suma algebraica de los bordes del tri angulo est andar, con los
signos elegidos de modo que se empieza por e
0
y se viaja alrededor de un lazo
hasta volver a llegar a e
0
. Observar que en realidad no se trata de un lazo, sino de
una suma formal con signo de tres caminos;
(ii) si X es un espacio afn y = (p
0
p
1
. . . p
n
), entonces
5.2. Teora singular 83
n
() =
n
i=0
(1)
i
(p
0
p
1
. . . p
i
. . . p
n
).
Por linealidad, se puede extender el operador frontera a un homomorsmo entre los
grupos abelianos,
n
: S
n
(X)S
n1
(X), donde
n
_
.
_
=
.
n
().
Observaci on 5.1. La frontera de una 0cadena, se dene como 0, es decir, convenimos
que S
1
(X) = 0.
Tenemos as el llamado complejo de cadenas singulares (S
(X),
),

n+1
S
n
(X)

n
S
n1
(X)

n1
S
n2
(X)

2
S
1
(X)

1
S
0
(X)

0
0,
que verica la siguiente importante propiedad
Lema 5.10. Para cada n 0, es
n

n+1
= 0, es decir, Im(
n+1
) Ker(
n
).
Esto da lugar a las siguientes deniciones
Denici on 5.13. Una ncadena singular c S
n
(X) es un nciclo, si
n
(c) = 0, es decir,
si c Ker(
n
).
Si existe c
S
n+1
(X), tal que
n+1
(c
) = c, se dice que c es un nborde, de otro modo,

c Im(
n+1
).
Observaci on 5.2. Si se denota por Z
n
(X) el conjunto de los nciclos y por B
n
(X) el
conjunto de los nbordes, claramente ambos son subgrupos de S
n
(X) y a su vez B
n
(X)
es un subgrupo de Z
n
(X).
Para detectar agujeros en X, deberamos considerar s olo ciclos que no son bordes,
puesto que los bordes son ciclos triviales. De hecho, el teorema de Green ya sugiere esto:
la integral de lnea
_
(Pdx + Qdy) (donde (P, Q) es un par exacto) es nula, cuando es

uni on de curvas orientadas que constituyen el borde de una regi on R en el disco D.
As, se dene la siguiente relaci on de equivalencia sobre S
n
(X)
c
1
c
2
si existe c
3
S
n+1
(X) tal que c
1
c
2
=
n+1
(c
3
),
es decir, si c
1
y c
2
dieren en un borde, esto es, si c
1
c
2
B
n
(X).
Denici on 5.14. Si c
1
c
2
, se dice que son ncadenas hom ologas. Como B
n
(X) es un
subgrupo de Z
n
(X), tiene sentido hablar del grupo cociente, H
n
(X) = Z
n
(X)/B
n
(X),
y se llama n esimo grupo de homologa singular de X.
Se verica el siguiente axioma de dimensi on
Lema 5.11. Si X se reduce a un punto,
H
n
(X) =
_
Z si n = 0
0 en otro caso
X se llama acclico, si H
n
(X) = 0, para n > 0.
Proposici on 5.12. Sea X
: el conjunto de las componentes conexas por

caminos de X. Entonces, para cada n 0, existe un isomorsmo can onico
H
n
(X)
H
n
(X
).
Lema 5.13. Si X es conexo por caminos, H
0
(X) Z.
Proposici on 5.14. En las condiciones de la proposici on 5.12, H
0
(X)
Z.
Observaci on 5.3. Por la proposici on 5.12, podemos suponer a partir de ahora que X es
conexo por caminos.
Nuestro siguiente objetivo, es probar que H
n
es un functor de Top en Ab. Sea para ello
f : XY continua y :
n
X un nsmplice, entonces, f :
n
Y es un n
smplice en Y . Si se extiende esta aplicaci on linealmente, tenemos un homomorsmo de
grupos S
n
(f): S
n
(X)S
n
(Y ), denido del modo S
n
(f)(
.) =
.(f ).
Y se verica
Lema 5.15. Si f : XY es continua, para n 0, es S
n1
(f)
X
n
=
Y
n
S
n
(f).
Lema 5.16. Si f : XY es continua, entonces para n 0, es
S
n
(f)(Z
n
(X)) Z
n
(Y ) y S
n
(f)(B
n
(X)) B
n
(Y ).
Del lema anterior, se deduce f acilmente que
Teorema 5.17. Para n 0, H
n
es un functor de Top en Ab.
Corolario 5.18. Si X e Y son homeomorfos, entonces para cada n 0, los grupos
H
n
(X) y H
n
(Y ) son isomorfos.
Observaci on 5.4. El recproco no es cierto, como se ver a m as adelante. En muchas oca-
siones, la manera m as sencilla de distinguir topol ogicamente dos espacios X e Y , ser a de-
mostrar que existe alg un n 0, tal que H
n
(X) y H
n
(Y ) no son isomorfos, y aplicar el
corolario 5.18.
5.3. El teorema de invarianza por homotopa 85
Observaci on 5.5. Cada grupo de homologa es pues un invariante del espacio X. Si se
comparan los functores
0
y H
0
,
0
(X) es el conjunto de las componentes conexas por
caminos de X. H
0
(X) lleva exactamente la misma informaci on, ya que seg un la proposi-
ci on 5.14, se trata de un grupo abeliano libre con tantos generadores como componentes
conexas.
5.3. El teorema de invarianza por homotopa
Veamos que los grupos de homologa no son s olo invariantes topol ogicos, sino tam-
bi en invariantes de homotopa. Para ello, nuestra meta es probar que si f, g : XY son
hom otopas, es H
n
(f) = H
n
(g), para n 0. En efecto, sea H : f g la homotopa que
las relaciona. Para t [0, 1] denimos
t
: XX [0, 1] por
t
(x) = (x, t); clara-
mente,
t
: t [0, 1] es una homotopa entre las aplicaciones constantes
0
y
1
.
Adem as, H
t
: XY , verica que H
0
= f y H
1
= g, luego para n 0, es
H
n
(f) = H
n
(H) H
n
(
0
) y H
n
(g) = H
n
(H) H
n
(
1
).
Por la anterior identidad, si probamos que para cada n 0, es H
n
(
0
) = H
n
(
1
),
entonces quedar a demostrado el resultado deseado.
Para ello, se dene el operador prisma, P
X
n
: S
n
(X)S
n+1
(X [0, 1]), un homo-
morsmo cumpliendo la llamada relaci on prism atica
X[0,1]
n+1
P
X
n
+ P
X
n1

X
n
= S
n
(
1
) S
n
(
0
), n 0 (5.1)
Si
1
y
0
verican la relaci on (5.1), se dice que son hom otopos en cadenas.
Lema 5.19. Si se cumple (5.1), entonces para cada n 0, es H
n
(
0
) = H
n
(
1
).
As, vamos a denir el operador prisma
Lema 5.20. Si :
n
X es un nsmplice singular en X, entonces = S
n
()(
n
).
Para conocer P
X
n
para n 0, bastar a con conocer P
n
n
(
n
) y denir entonces
P
X
n
S
n
() = S
n+1
( 1
[0,1]
) P
n
n
.
Con esta formulaci on, P
X
n
S
n
()(
n
) = S
n+1
( 1
[0,1]
) P
n
n
(
n
), y usando el lema
5.20,
P
X
n
() = S
n+1
( 1
[0,1]
) P
n
n
(
n
). (5.2)
De hecho, (5.2) equivale a que para todo par de espacios X e Y , cada aplicaci on continua
f : XY y cada n 0, sea
P
Y
n
S
n
(f) = S
n+1
(f 1
[0,1]
) P
X
n
. (5.3)
La identidad (5.3) se llama condici on de naturalidad para el operador prisma.
Para 0 i n, denotamos a
i
= (e
i
, 0) y b
i
= (e
i
, 1)
y denimos
P
n
n
(
n
) =
n
i=0
(1)
i
(a
0
. . . a
i
b
i
. . . b
n
),
donde claramente (a
0
. . . a
i
b
i
. . . b
n
):
n+1
n
[0, 1].
Proposici on 5.21. Con las deniciones anteriores, el operador prisma verica la relaci on
(5.1).
Observaci on 5.6. Intuitivamente, la propiedad expresada por la relaci on (5.1) dice que
la frontera orientada
n
[0,1]
n+1
P
n
n
(
n
) del prisma s olido P
n
n
(
n
) es precisamente la
uni on de las tapas superior e inferior del prisma, salvo un factor corrector P
n
n1
n
n
(
n
),
formado por las paredes laterales del prisma.
Corolario 5.22. Si X e Y son homot opicamente equivalentes, entonces H
n
(X) es iso-
morfo a H
n
(Y ), para cada n 0.
Observaci on 5.7. Dados dos espacios topol ogicos X e Y , si existe alg un n 0, tal que
H
n
(X) y H
n
(Y ) no son isomorfos, entonces X e Y no pueden tener el mismo tipo de
homotopa.
Corolario 5.23. Si X es contr actil, entonces H
n
(X) = 0, para cada n > 0.
5.4. El teorema de Hurewicz
Para un espacio X y x
0
X, buscamos relacionar los grupos
1
(X, x
0
) y H
1
(X).
Esta relaci on viene dada a trav es del teorema de Hurewicz
Teorema 5.24. Existe un homomorsmo de grupos :
1
(X, x
0
)H
1
(X), la apli-
caci on de Hurewicz, que lleva la clase de homotopa de un camino basado en x
0
en
la clase de homologa del 1smplice singular . Adem as, si X es conexo por caminos,
es sobreyectiva y
Ker() es el subgrupo conmutador de
1
(X, x
0
),
es decir, H
1
(X) es el abelianizado de
1
(X, x
0
).
5.5. Homologa relativa 87
Corolario 5.25. Si X es conexo por caminos, es un isomorsmo si y s olo si
1
(X) es
abeliano.
Ejemplos 5.4. Como consecuencia del teorema de Hurewicz, obtenemos
H
1
(S
1
) Z;
H
1
(T
2
) Z Z;
de
1
(8) Z Z, se deduce que H
1
(8) Z Z;
si X es simplemente conexo, entonces H
1
(X) = 0, en particular H
1
(S
n
) = 0, para
n > 1.
5.5. Homologa relativa
El concepto de homologa relativa es an alogo al de cociente de un grupo por un sub-
grupo. Si A X, dos cadenas en X se dir an iguales (mod A), si su diferencia es una
cadena en A. Una cadena en X ser a un ciclo (mod A), si su borde est a contenido en A.
Esto reeja la estructura de XA y el modo en que est a conectada con A. En un sentido,
los cambios en el interior de A (fuera de su frontera con X A) no deberan alterar los
grupos de homologa de X A.
La homologa trata, por ejemplo, de como una supercie puede dividirse estudian-
do curvas cerradas sobre ella. Si lo que se estudia es una supercie con borde, deber an
considerarse entonces curvas abiertas, como lo indica el siguiente ejemplo
Ejemplo 5.1. Sea X una esfera S
2
, con dos agujeros, es decir, privada entornos de dos
puntos. Toda curva cerrada sobre X divide este espacio en dos partes disjuntas.
Pero si consideramos curvas abiertas y uniendo dos pun-
tos en el borde de cada uno de los agujeros, es claro que s olo
una de ellas no divide X en dos partes disjuntas. Pero, si se
toman ambas a la vez, si que lo hacen. Si la esfera tuviera m as
agujeros, deberamos dibujar m as curvas abiertas uniendo los
bordes de los huecos para dividir la supercie en dos partes
disjuntas.
Los grupos de homologa relativos se introducen en un espacio X, para intentar ge-
neralizar y hacer m as precisa la noci on de propiedades con borde de las curvas cerradas
sobre una supercie: la esfera X con dos agujeros sera el espacio a estudiar y las fronteras
de los entornos eliminados constituiran un subespacio A X. Un sistema de cortes
abiertos uniendo puntos de A, dividir an X, si los cortes realizados junto con una porci on
de los bordes de los agujeros forman una frontera de X. Vamos a formalizar a continua-
ci on estas nociones
Denici on 5.15. Sea A X. Para cada n 0, S
n
(A) es un subgrupo de S
n
(X), que
consiste en las combinaciones lineales de nsmplices singulares :
n
X, tales que
(
n
) A. Se puede entonces considerar el grupo cociente S
n
(X)/S
n
(A). Adem as, co-
mo el operador
n
enva S
n
(A) en S
n1
(A), induce un homomorsmo sobre los espacios
cociente,
n
: S
n
(X)/S
n
(A)S
n1
(X)/S
n1
(A),
de modo que si c S
n
(X), es
n
(c + S
n
(A)) =
n
(c) + S
n1
(A).
Por otro lado, como
n1

n
es la aplicaci on nula, Im(
n+1
) es un subgrupo de
Ker(
n
), y se puede considerar el grupo cociente Ker(
n
)/Im(
n+1
), que se denota por
H
n
(X, A) y se llama n esimo grupo de homologa relativa de X m odulo A.
Se puede obtener directamente este grupo a partir de S
n
(X), de la manera siguiente:
sea c S
n
(X). Si
n
(c + S
n
(A)) = 0, claramente
n
(c) S
n1
(A). Por lo tanto, el
conjunto
Z
n
(X, A) = c S
n
(X) :
n
(c + S
n
(A)) = 0 = c S
n
(X) :
n
(c) S
n1
(A),
es un subgrupo de S
n
(X), cuyos elementos se llaman nciclos relativos de X m odulo A.
Luego, si denotamos
n
: S
n
(X)S
n
(X)/S
n
(A) a la aplicaci on cociente, se puede
expresar Z
n
(X, A) =
1
n
(Ker(
n
)). Y, qui en es entonces
1
n
(Im(
n+1
))? Es un sub-
grupo de S
n
(X), el grupo de los nbordes relativos en X m odulo A, y que es precisamente
B
n
(X, A) = c S
n
(X) : existe c
A
S
n
(A) tal que c es hom ologo (en X) a c
A
.
Claramente S
n
(A) B
n
(X, A). Cuando c c
B
n
(X, A), se escribe c c
(mod A).
Y se verica el siguiente resultado
Lema 5.26. H
n
(X, A) Z
n
(X, A)/B
n
(X, A).
5.6. Sucesi on exacta larga de homologa 89
Observaci on 5.8. Es S
n
() = 0, para todo n 0, y entonces H
n
(X, ) = H
n
(X).
Luego, todos los resultados de homologa relativa engloban los casos ya estudiados de
homologa absoluta.
Dada una aplicaci on entre pares de espacios f : (X, A)(Y, B), el homomorsmo
inducido en cadenas S
n
(f): S
n
(X)S
n
(Y ) enva S
n
(A) en S
n
(B), y por lo tanto, lleva
Z
n
(X, A) en Z
n
(Y, B) y B
n
(X, A) en B
n
(Y, B).
Por paso al cociente da lugar a un homomorsmo H
n
(f): H
n
(X, A)H
n
(Y, B),
tal que H
n
(1
X
) = 1
H
n
(X,A)
y H
n
(g f) = H
n
(g) H
n
(f), de donde
Lema 5.27. Los grupos de homologa relativa son functoriales en (X, A).
Proposici on 5.28. Si X
: es la familia de las componentes conexas por caminos

de X y A
= A X
, entonces existe un isomorsmo can onico

H
n
(X, A)
H
n
(X
, A
).
Proposici on 5.29. Si X es conexo por caminos y A ,= , entonces H
0
(X, A) = 0.
Corolario 5.30. Con las notaciones de la proposici on 5.28, H
0
(X, A) es un grupo abeliano
libre con tantos generadores como ndices tales que A
= .
5.6. Sucesi on exacta larga de homologa
La propiedad m as importante de los grupos de homologa relativa H
n
(X, A)
n0
, es
la existencia de un homomorsmo de enlace,
n
: H
n
(X, A)H
n1
(A), gracias al cual
va a obtenerse una sucesi on innita de homomorsmos
H
n
(A)
H
n
(i
A
)
H
n
(X)
H
n
(1
X
)
H
n
(X, A)

n
H
n1
(A) . . . , (5.4)
llamada sucesi on de homologa del par (X, A). Este homomorsmo de enlace se dene
por
n
(z + B
n
(X, A)) =
n
(z) + B
n1
(A), para z Z
n
(X, A).
Denici on 5.16. Una sucesi on de grupos y homomorsmos
. . . G
n
f
n
G
n1
f
n1
G
n2
. . . ,
se dice exacta, si para cada n, es Im(f
n
) = Ker(f
n1
).
Teorema 5.31. La sucesi on (5.4), de homologa del par (X, A) es exacta.
Ejemplos 5.5. Veamos algunos ejemplos que se obtienen estudiando la sucesi on (5.4)
(i) si X es conexo por caminos y A = x
0
, para cada n > 0, la aplicaci on inducida
sobre los grupos de homologa, H
n
(1
X
): H
n
(X, )H
n
(X, A), es un isomors-
mo;
(ii) para n 1, H
n
(S
k1
) y H
n+1
(D
k
, S
k1
) son isomorfos;
(iii) para n > 1, H
1
(D
n
, S
n1
) = 0;
(iv) H
1
(D
1
, S
0
) Z.
Adem as, es f acil probar el siguiente resultado
Proposici on 5.32. La sucesi on de homologa (5.4) es functorial en el par (X, A).
5.6.1. Aplicaciones a retractos
Sea A un retracto de X. Veamos que en este caso, la sucesi on exacta larga tiene
propiedades especiales. Y recprocamente, en muchas ocasiones se puede probar la im-
posibilidad de que un subespacio sea un retracto, si no verica las condiciones que vamos
a describir a continuaci on.
Denici on 5.17. Una sucesi on de grupos de la forma 0 A
i
B
j
C 0, se llama
una sucesi on exacta corta. En tal caso, es f acil comprobar que i es un monomorsmo y j
un epimorsmo. Adem as, C B/Ker(j) B/Im(i) B/A.
Denici on 5.18. Una sucesi on exacta corta, 0 A
i
B
j
C 0, escinde si verica
cualquiera de las propiedades equivalentes siguientes
(i) existe k: BA, tal que k i = 1
A
,
(ii) existe l : CB, tal que j l = 1
C
.
Ejemplos 5.6. Veamos algunos ejemplos de esta propiedad
(i) la sucesi on exacta corta 0 Z
i
Z Z
j
Z 0, denida por i(1) = (2, 3) y
j(0, 1) = 2, j(1, 0) = 3 escinde, ya que l : ZZ Z dada por l(1) = (1, 1)
verica las propiedades pedidas;
(ii) sin embargo, la sucesi on 0 Z
i
Z
j
Z/2Z 0, dada por los homomorsmos
i(1) = 2 y j(1) = 1 + 2Z no escinde.
5.6. Sucesi on exacta larga de homologa 91
Observaci on 5.9. La existencia de k: BA, tal que k i = 1
A
, implica que i es
monomorsmo y k epimorsmo. De modo similar, la existencia de l : CB, tal que
j l = 1
C
, indica que l es monomorsmo y j epimorsmo. Adem as, Ker(k) = Im(l).
Proposici on 5.33. Sea Aun retracto de X y r : XAla retracci on asociada. Entonces
H
n
(r) H
n
(i
A
) = 1
H
n
(A)
, con lo que H
n
(r) es un epimorsmo y H
n
(i
A
) un monomor-
smo. Adem as H
n
(X) Im(H
n
(i
A
)) Ker(H
n
(r)). Por otro lado, la sucesi on exacta
larga de homologa del par (X, A), se rompe en una sucesi on exacta corta escindida,
0 H
n
(A)
H
n
(i
A
)
H
n
(X)
H
n
(1
X
)
H
n
(X, A) 0,
donde, con la notaci on de la denici on 5.18, es k = H
n
(r). Como consecuencia de todo
lo anterior, es H
n
(X) H
n
(A) H
n
(X, A).
5.6.2. Homotopas en pares
Denici on 5.19. Dos aplicaciones f, g : (X, A)(Y, B) se llaman hom otopas en pares,
si f, g : XY son hom otopas, a trav es de una homotopa
H: (X [0, 1], A [0, 1])(Y, B),
es decir, f se deforma en g, y en cada paso de la transformaci on, A se lleva en B.
Se puede cambiar la prueba correspondiente al caso general, para ver que los homo-
morsmos inducidos, H
n
(f), H
n
(g): H
n
(X, A)H
n
(Y, B) son iguales. Se dene la
equivalencia de homotopa de pares de manera evidente. Luego, si f : (X, A)(Y, B)
es una equivalencia de homotopa entre pares, entonces H
n
(f): H
n
(X, A)H
n
(Y, B)
es un isomorsmo en homologa relativa.
Ejemplo 5.2. Sean X = Y = D
2
y A = S
1
B = (x, y) R
2
:
1
4
x
2
+y
2
1. La
aplicaci on 1
X
: (X, A)(Y, B) es una equivalencia de homotopa.
Proposici on 5.34. Una homotopa entre pares f, g : (X, A)(Y, B) es en particular
un par de homotopas f, g : XY y f[
A
, g[
A
: AB.
Sin embargo, el recproco no es cierto
Ejemplo 5.3. Si A = 0, 1 X = [0, 1] y B = (1, 0) Y = S
1
, las aplicaciones
f(x) = exp
0
(x) y g(x) = (1, 0) no son hom otopas en pares, pero f g y f[
A
g[
A
.
El lema de los cinco es esencial para la prueba de las siguientes proposiciones
Lema 5.35. Sea un diagrama conmutativo de grupos y homomorsmos
A
1
f
1
A
2
f
2
A
3
f
3
A
4
f
4
A
5
5
B
1
g
1
B
2
g
2
B
3
g
3
B
4
g
4
B
5
donde cada la es exacta. Si
1
,
2
,
4
y
5
son isomorsmos de grupos, entonces
3
tambi en lo es.
Proposici on 5.36. Si f : (X, A)(Y, B) es una equivalencia de homotopa, las apli-
caciones f, g : XY y f[
A
, g[
A
: AB tambi en lo son. De hecho, basta con que
suceda esto ultimo para que H
n
(f): H
n
(X, A)H
n
(Y, B) sea un isomorsmo, para
n 0.
Sin embargo, el recproco no es cierto, como lo prueba el siguiente ejemplo
Ejemplo 5.4. Sean X = Y = D
2
y A = S
1
B = (x, y) R
2
: 0 < x
2
+ y
2
1. La
aplicaci on H
n
(1
X
): H
n
(X, A)H
n
(Y, B) es un isomorsmo en homologa relativa,
pero 1
X
: (X, A)(Y, B) no es una equivalencia entre pares.
5.6.3. Una interpretaci on de la homologa relativa
La familia de grupos H
n
(X, A) : n 0 mide, en un cierto sentido, lo lejos que el
homomorsmo H
n
(i
A
): H
n
(A)H
n
(X) est a de ser un isomorsmo. De hecho
Lema 5.37. H
n
(i
A
): H
n
(A)H
n
(X) es un isomorsmo para cada n 0 si y s olo si
es H
n
(X, A) = 0 para cada n 0.
Corolario 5.38. Si A es un retracto por deformaci on de X, entonces H
n
(X, A) = 0 para
n 0.
An alogamente, es f acil demostrar
Lema 5.39. H
n
(1
X
): H
n
(X)H
n
(X, A) es un isomorsmo, si y s olo si para cada
n 0, es H
n
(A) = 0.
5.7. Teorema de excisi on 93
5.7. Teorema de excisi on
Sea U A X. Vamos a trabajar con smplices m odulo A, es decir, en H
(X, A).
El teorema de excisi on da condiciones para que partiendo
en trozos peque nos estos smplices, podamos prescindir de
la parte del smplice contenida en U, en otras palabras, no
va a ser signicativo lo que sucede en U. Para ello, vamos
a introducir el concepto de smplice peque no de un cierto
orden, que deniremos a trav es de cubrimientos por abier-
tos del espacio X, U
i
iI
, exigiendo que las im agenes de
los
n
est en contenidas en alguno de los U
i
.
Lo que pretendemos hacer es representar ncadenas mediante smplices m as peque nos en
el sentido indicado anteriormente, sin cambiar las clases de homologa durante el proceso.
Denici on 5.20. La inclusi on j : (X U, A U)(X, A) es una excisi on, si induce
un isomorsmo H
n
(j): H
n
(X U, A U)H
n
(X, A), para cada n 0.
Para probar el teorema de excisi on, que enunciaremos m as adelante, es preciso dar un
gran n umero de nuevas ideas. Vamos a comenzar deniendo la subdivisi on baric entrica.
5.7.1. Caso simplicial
Denici on 5.21. Sea el n-smplice geom etrico = (a
0
a
1
. . . a
n
):
n
q
. Dado un
punto p
q
, el cono de sobre p es el (n+1)-smplice p = (pa
0
a
1
. . . a
n
):
n+1
q
.
El operador cono sobre p se extiende de manera lineal sobre las ncadenas simpliciales,
con lo cual es un homomorsmo de grupos. Si = 0, se dene p = 0.
Lema 5.40. Si = (a
0
a
1
. . . a
n
):
n
q
, entonces
(i) si n = 0,
1
(p) = (p),
(ii) si n > 0,
n+1
(p) = p
n
().
Observaci on 5.10. Estas propiedades se traseren a cadenas de manera lineal.
Denici on 5.22. El operador subdivisi on baric entrica, Sd
n
: S
n
(
q
)S
n
(
q
), se de-
ne entonces de manera inductiva
Sd
n
() =
_
si n = 0
b
(Sd
n1
(
n
)) en otro caso
donde b
es el baricentro de . Con esto, el operador queda denido sobre una base de

S
n
(
q
), y se extiende por linealidad.
Sd
1
(
1
) = (pe
0
) (pe
1
) Sd
2
(
2
) = pSd
1
(
2
2
)
Lema 5.41. Sd
n
es una aplicaci on en cadenas, es decir,
n
Sd
n
= Sd
n1

n
.
Se dene por inducci on un nuevo operador, T
n
: S
n
(
q
)S
n+1
(
q
), por
T
n
() = b
(Sd
n
() T
n1
(
n
)),
para n > 0, y convenimos que T
0
= 0. Entonces
Lema 5.42. Para n 0,
n+1
T
n
+ T
n1

n
= Sd
n
1
S
n
(
q
)
.
Es decir, T
n
es una homotopa en cadenas entre Sd
n
y 1
S
n
(
q
)
. Y en tal caso, usando
el lema 5.19, hemos probado que
Corolario 5.43. Para cada k 0, es H
k
(Sd
n
) = H
k
(1
S
n
(
q
)
).
5.7.2. Caso general
Vamos a generalizar a cadenas singulares sobre X lo que acabamos de hacer para
cadenas geom etricas. Se denen para S
n
(X)
Sd
X
n
() = S
n
()(Sd
n
(1
n
)) y T
X
n
() = S
n+1
()(T
n
(1
n
)),
y verican
(i) son ambas naturales, es decir, si f : XY , entonces S
n
(f) Sd
X
n
= Sd
Y
n
S
n
(f)
y S
n+1
(f) T
X
n
= T
Y
n
S
n
(f);
(ii) Sd
X
es una aplicaci on en cadenas;

(iii) T
X
es una homotopa en cadenas entre Sd

X
y 1
S
(X)
;
(iv) Sd
X
y T
X
extienden las deniciones realizadas sobre espacios anes.

Lema 5.44. Si = (a
0
a
1
. . . a
n
) es un smplice an en
q
, entonces todo smplice afn
que aparece en la expresi on de Sd
n
() tiene di ametro menor o igual a
n
n+1
di am().
5.7. Teorema de excisi on 95
Corolario 5.45. Todo smplice an en Sd
k
n
(e
0
e
1
. . . e
n
) S
n
(
q
) tiene di ametro menor
o igual a (
n
n+1
)
k
di am(
q
), cantidad que converge a cero si k crece.
Denici on 5.23. Si | es un cubrimiento por abiertos de X, se dice que un nsmplice
singular es peque no de orden |, si (
n
) est a contenido en alguno de los abiertos del
cubrimiento |.
Del corolario 5.45 se deduce
Corolario 5.46. Sean | un cubrimiento por abiertos de X y un nsmplice singular de
X. Existe k N, tal que cada smplice de (Sd
X
n
)
k
() es peque no de orden |.
Teorema 5.47. Si | es un cubrimiento por abiertos de X, entonces toda clase de ho-
mologa relativa en H
n
(X, A) puede representarse por un ciclo relativo, que es una com-
binaci on lineal de smplices peque nos de orden |.
Y se obtiene el teorema de excisi on
Teorema 5.48. Si U
A, entonces U puede excindirse.

Las hip otesis del teorema de excisi on son muy restrictivas, por ello es util el siguiente
resultado
Teorema 5.49. Si V U A, y adem as:
(i) V puede excindirse, y
(ii) (X U, A U) es un retracto por deformaci on de (X V, A V ),
entonces U puede excindirse.
5.7.3. Un ejemplo de aplicaci on
Utilizando el teorema 5.49, se demuestra
Teorema 5.50. Sean E
+
q
y E
q
las semiesferas cerradas de la esfera S
q
, donde q 1. Es
decir, E
+
q
E
q
= S
q1
es el ecuador de S
q
. Entonces, j : (E
+
q
, S
q1
)(S
q
, E
q
) es una
excisi on.
Si proyectamos a lo largo de las q primeras coordenadas, se obtiene un homeomors-
mo entre pares de espacios, : (E
+
q
, S
q1
)(D
q
, S
q1
). Adem as, para n 2, la apli-
caci on de enlace
n
: H
n
(D
q
, S
q1
)H
n1
(S
q1
) es un isomorsmo, seg un el ejemplo
5.5 (ii). Por otro lado, E
q
tiene el mismo tipo de homotopa que un punto p
0
S
q
, luego
la invarianza por homotopa de la homologa relativa, dice que
H
n
(D
q
, S
q1
) H
n
(S
q
, p
0
) H
n
(S
q
), si q > 0.
Luego, hemos probado que para n 2 y q 1, es H
n
(S
q
) H
n1
(S
q1
). Y para q 1,
H
1
(S
q
) H
1
(S
q
, E
q
).
Teniendo en cuenta todo esto, se deduce
Corolario 5.51. Para q n 1, se obtiene
H
n
(S
q
)
_
Z si q = n
0 si q > n
Y del c alculo de la homologa sobre esferas, se deducen las propiedades
Corolario 5.52. Para n 1, S
n1
no es un retracto de D
n
.
Tenemos el teorema del punto jo de Brouwer
Corolario 5.53. Toda aplicaci on f : D
n
D
n
posee un punto jo.
Corolario 5.54. Si m ,= n, las esferas S
m
y S
n
no son homeomorfas. De hecho, ni siquiera
tienen el mismo tipo de homotopa.
Corolario 5.55. Si m ,= n, R
m
y R
n
no son homeomorfos.
Corolario 5.56. Si n 0, S
n
no es contr actil.
5.8. La sucesi on de MayerVietoris
Leopold Vietoris (18912002) es uno de los topol ogos que des-
cubri o esta t ecnica que da excelentes resultados para el c alculo
de grupos de homologa. Muri o el 9 de abril de 2002, a los 110
a nos, siendo el abuelo de Austria.
Vamos a considerar ahora ternas ordenadas (X, X
1
, X
2
) de espacios, donde X
1
y X
2
son subespacios de X. Se consideran las aplicaciones de inclusi on
k
1
: (X
1
, X
1
X
2
)(X
1
X
2
, X
2
) y k
2
: (X
2
, X
1
X
2
)(X
1
X
2
, X
1
),
obtenidas al excindir X
2
(X
1
X
2
) y X
1
(X
1
X
2
) de X
1
X
2
, respectivamente.
5.8. La sucesi on de MayerVietoris 97
Denici on 5.24. Si k
1
y k
2
son excisiones, se dice que la terna (X, X
1
, X
2
) es exacta.
Observar que la exactitud de la terna depende de X
1
X
2
y no de X.
Ejemplos 5.7. Algunos ejemplos de ternas exactas son
(i) si X
1
y X
2
son abiertos y X = X
1
X
2
, entonces la terna (X, X
1
, X
2
) es exacta,
siendo A = X
1
y U = X
1
(X
1
X
2
) los ingredientes de la excisi on;
(ii) (S
n
, E
+
n
, E
n
) es una terna exacta, de acuerdo con el teorema 5.50.
El lema de BarrattWhitehead es esencial para la demostraci on del teorema de
MayerVietoris
Lema 5.57. Sea un diagrama de grupos y homomorsmos, en el que los cuadrados con-
mutan y las lneas son exactas
C
i+1
h
i+1
A
i
f
i
B
i
g
i
C
i
h
i
A
i1

i+1
i1

C
i+1
d
h
i+1

A
i
b
f
i

B
i
b g
i

C
i
b
h
i

A
i1

Si las aplicaciones
i
son isomorsmos, existe una sucesi on exacta larga, llamada suce-
si on de BarrattWhitehead, . . . A
i

A
i
B
i

B
i
i
A
i1
. . . ,
donde
(i)
i
(a
i
) = (
i
f
i
)(a
i
, a
i
),
(ii)
i
( a
i
, b
i
) =
f
i
( a
i
) +
i
(b
i
),
(iii)
i
(
b
i
) = h
i

1
i
g
i
(
b
i
).
La functorialidad de la sucesi on es una consecuencia inmediata de su denici on.
Si (X, X
1
, X
2
) es una terna exacta, X = X
1
X
2
y A = X
1
X
2
, la aplicaci on de
inclusi on i
X
1
: (X
1
, A)(X, X
2
) induce el diagrama de cuadrados conmutativos y con
las exactas
. . . H
n
(A)
H
n
(i
X
1
A
)
H
n
(X
1
)
H
n
(1
A
X
1
)
H
n
(X
1
, A)

(X
1
,A)
n
. . .
_
H
n
(i
X
2
A
)
_
H
n
(i
X
X
1
)
_
H
n
(i
X
1
)
. . . H
n
(X
2
)
H
n
(i
X
X
2
)
H
n
(X)
H
n
(1
X
2
X
)
H
n
(X, X
2
)

(X,X
2
)
n
. . .
con las notaciones obvias.
Y de aqu se obtiene la sucesi on de MayerVietoris
Teorema 5.58. En el diagrama anterior, H
n
(i
X
1
): H
n
(X
1
, A)H
n
(X, X
2
) es un iso-
morsmo, para cada n 0. La sucesi on de BarratWhitehead asociada,
H
n+1
(X)

n+1
H
n
(A)

n
H
n
(X
1
) H
n
(X
2
)

n
H
n
(X) . . . ,
se llama sucesi on de MayerVietoris de la terna (X, X
1
, X
2
), y es functorial.
Ejemplos 5.8. Aplicando la sucesi on de MayerVietoris, se pueden calcular grupos de
homologa en muchos ejemplos
(i) tomando X
1
= S
1
N y X
2
= S
1
S, se deduce que H
n
(S
1
) = 0, si n > 1;
(ii) para q, n 1, se obtiene
H
n
(S
q
)
_
Z si q = n
0 si q ,= n
Observar que en el corolario 5.51 se requera la condici on q > n en vez de q ,= n;
(iii) para la rosa de m p etalos G
m
(la suma topol ogica de m copias de S
1
identicadas a
trav es de un punto),
H
n
(G
m
) =
_
_
_
Z si n = 0
Z
(m)
. . . Z si n = 1
0 si n > 1
(iv)
H
n
(T
2
) =
_
_
_
Z si n = 0, 2
Z Z si n = 1
0 en otro caso
(v) para T
g
, la supercie compacta de g enero g,
H
n
(T
g
) =
_
_
_
Z si n = 0, 2
Z
2g
si n = 1
0 en otro caso
5.9. Algunas aplicaciones de la Homologa 99
5.9. Algunas aplicaciones de la Homologa
5.9.1. Grado de una aplicaci on entre esferas
Sea n 1 y f : S
n
S
n
una aplicaci on. Si es un generador de H
n
(S
n
) Z,
entonces H
n
(f): H
n
(S
n
)H
n
(S
n
) es tal que H
n
(f)() = m, para alg un m Z.
Adem as, el entero m es independiente del generador elegido.
Denici on 5.25. Este entero se llama grado de Brouwer de f y se denota por d(f).
Observaci on 5.11. Con las notaciones anteriores y del problema 8 de 3.6, para n = 1 es
d(f) = ind([f]).
Lema 5.59. Se verican las siguientes propiedades
(i) d(1
S
n) = 1;
(ii) si f, g : S
n
S
n
, d(f g) = d(f).d(g);
(iii) d(cte) = 0;
(iv) si f g, entonces d(f) = d(g);
(v) si f es una equivalencia de homotopa, entonces d(f) = 1.
Observaci on 5.12. Existe un recproco de (iv), debido a Hopf, y puede adem as probarse
que existen aplicaciones de cualquier grado (ver [Z], p ag. 186). Con esto, quedara de-
mostrado que el grado es un invariante algebraico completo para estudiar las clases de
homotopa de aplicaciones de S
n
en S
n
: es decir, existe una biyecci on : [S
n
, S
n
] Z,
denida por ([f]) = d(f).
Se puede probar adem as
Proposici on 5.60. Sean n 1 y f, g : S
n
S
n
funciones continuas; se verica
(i) si f(x
1
, x
2
. . . , x
n+1
) = (x
1
, . . . , x
n+1
), entonces d(f) = 1;
(ii) si f(x
1
, . . . , x
n+1
) = (x
1
, x
i
, . . . , x
n+1
), entonces d(f) = 1;
(iii) si f es aplicaci on antipodal, entonces d(a) = (1)
n+1
;
(iv) si f(x) ,= g(x) para cada x S
n
, entonces es g a f y H
n
(f) = (1)
n+1
H
n
(g);
(v) si f no tiene puntos jos, entonces f a;
(v) si f cte, entonces f tiene un punto jo.
Corolario 5.61. Si f : S
2n
S
2n
es continua, existe x S
2n
, tal que f(x) = x o existe
y S
2n
tal que f(y) = y.
Corolario 5.62. No existe f : S
2n
S
2n
continua, tal que para cada x S
2n
, x sea
ortogonal a f(x).
Una aplicaci on f : S
m
R
m+1
puede verse como una familia de vectores, con f(x)
pegado a S
m
por x, es decir, S
m
es una bola peluda. Un pelo est a peinado, cuando es
tangente a la esfera. El teorema de la bola peluda arma que no es posible peinar una
bola peluda de dimensi on par
Corolario 5.63. No existe un campo de vectores tangentes no nulo sobre S
2n
.
Observaci on 5.13. Sin embargo, esto no sucede en grados impares: en efecto, en S
2n+1
X(x
1
, . . . x
2n+2
) = (x
2
, x
1
, x
4
, x
3
, . . . , x
2n+2
, x
2n+1
)
es un campo de vectores tangente a la esfera, que verica la propiedad deseada.
5.9.2. Teoremas de JordanBrouwer
Denici on 5.26. Un conjunto dirigido es un conjunto con un orden parcial , tal que
para cada a, b , existe c , tal que c a y c b. Dado un conjunto dirigido , un
sistema dirigido de conjuntos, X
a
, f
b
a
a,b
, es una familia de conjuntos X
a
: a
y de funciones f
b
a
: X
a
X
b
: a b, satisfaciendo
(i) f
a
a
= 1
X
a
, para cada a ,
(ii) si a b c, f
c
a
= f
c
b
f
b
a
.
Vamos a centrarnos en el caso en que los conjuntos son grupos abelianos y las aplica-
ciones son homomorsmos de grupos.
Denici on 5.27. Sea X
a
, f
b
a
un sistema dirigido de grupos abelianos y homomorsmos.
Se dene un subgrupo R de
_
a
X
a
, por
R =
_
n
i=1
x
a
i
: existe c , c a
i
y
n
i=1
f
c
a
i
(x
a
i
) = 0
_
.
El lmite directo del sistema dado, es el grupo cociente lm
X
a
=
_
a
X
a
/R.
5.9. Algunas aplicaciones de la Homologa 101
Observaci on 5.14. En el caso particular en que si a b, X
a
es un subgrupo de X
b
y
f
b
a
: X
a
X
b
es la aplicaci on inclusi on, se verica que lm
X
a
=
_
a
X
a
. Observar que
en este caso, dos puntos x
a
X
a
y x
b
X
b
son iguales en lm
X
a
, si existe c , tal
que c a, c b y f
c
a
(x
a
) = f
c
b
(x
b
).
En la p agina 30 de [Vi], se prueba que
Lema 5.64. Sea X un espacio y X
a
a
la familia de sus subespacios compactos, par-
cialmente ordenada por la inclusi on. La familia de grupos de homologa H
n
(X
a
)
a
forma un sistema dirigido, donde los homomorsmos est an inducidos por las aplicaciones
inclusi on. Adem as, para cada n 0, es H
n
(X) lm
H
n
(X
a
).
Lema 5.65. Si A S
q
es homeomorfo a [0, 1]
k
, para 0 k q, entonces
H
n
(S
q
A)
_
Z si n = 0
0 en otro caso
Corolario 5.66. Si B S
q
es homeomorfo a S
k
, para 0 k q 1, entonces el grupo
H
(S
q
B) =
n0
H
n
(S
q
B), es abeliano libre con dos generadores, uno en dimensi on
0 y otro en dimensi on q k 1. En particular, si q ,= k +1, el espacio S
q
B es conexo
por caminos.
Y se deduce el teorema de separaci on de JordanBrouwer
Teorema 5.67. Una (n1)esfera embebida en S
n
separa S
n
en dos componentes accli-
cas, siendo adem as la (n 1)esfera la frontera com un de esas dos componentes.
Y se tiene tambi en el teorema de JordanBrouwer sobre invarianza de dominio
Teorema 5.68. Sean U
1
y U
2
subconjuntos de S
n
y h: U
1
U
2
un homeomorsmo. Si
U
1
es un conjunto abierto en S
n
, entonces U
2
tambi en lo es.
5.9.3. Homologa en algunos cocientes
Denici on 5.28. Una ncelda es un espacio homeomorfo al disco D
n
. Consideremos
X = D
n
, A = fr(D
n
) = S
n1
, Y un espacio topol ogico y f : AY una aplicaci on
continua. Se dice que Y
f
= D
n
f
Y es el espacio obtenido al adjuntar una ncelda a Y
por f.
Ejemplo 5.5. Sea X = D
2
y A = fr(D
2
) = S
1
. Sea Y una copia disjunta de S
1
y la
aplicaci on f : AY , dada por f(z) = z
2
. Entonces, X
f
Y es el espacio proyectivo
real RP
2
. Se puede calcular su homologa usando esta caracterizaci on y la sucesi on de
MayerVietoris, y se obtiene
H
n
(RP
2
) =
_
_
_
Z si n = 0
Z
2
si n = 1
0 si n 2
Proposici on 5.69. Sean n 1 e Y
f
el espacio obtenido a partir del espacio compacto y
Hausdorff Y , adjunt andole una ncelda va f. Existe una sucesi on exacta
. . . H
q
(S
n1
)
H
q
(f)
H
q
(Y )
H
q
(i
Y
)
H
q
(Y
f
)

q
H
q1
(S
n1
) . . .
. . . H
0
(S
n1
)
H
0
(f)
H
0
(Y ) Z
H
0
(i
Y
)
H
0
(Y
f
),
donde i
Y
: Y Y
f
es la aplicaci on inclusi on.
Observaci on 5.15. Esta sucesi on exacta muestra lo cerca que est an los grupos de ho-
mologa de Y e Y
f
. Si se pega una ncelda a Y , entonces H
n
(i
Y
): H
n
(Y )H
n
(Y
f
) es
un monomorsmo, con con ucleo 0 o cclico innito. As, si coker(H
n
(i
Y
)) ,= 0, se ha
creado un nuevo agujero ndimensional.
Por otro lado, H
n1
(i
Y
): H
n1
(Y )H
n1
(Y
f
) es un epimorsmo, de n ucleo 0 o
cclico, y si ker(H
n1
(i
Y
)) ,= 0, esta nueva ncelda ha tapado un agujero (n 1)
dimensional en Y . Aparte de estas dimensiones, la adjunci on de n-celdas no afecta a la
homologa.
5.10. Problemas
1.- Sean A, B y C grupos. Probar
(i) si 0 A
f
B es exacta, f es inyectiva;
(ii) si B
g
C 0 es exacta, g es sobreyectiva;
(iii) si 0 A
f
B 0 es exacta, f es un isomorsmo;
(iv) si 0 A 0 es exacta, A = 0.
2.- Calcular los grupos de homologa de un espacio discreto, el conjunto de Cantor, S
0
y
Q.
3.- Se considera una terna de espacios topol ogicos (X, A, B) (es decir, B A X)
y las aplicaciones inclusi on i
A
: (A, B)(X, B) y proyecci on 1
X
: (X, B)(X, A).
Se pide
5.10. Problemas 103
(i) probar que se tiene una sucesi on exacta larga
H
n+1
(A, B)
H
n+1
(i
A
)
H
n+1
(X, B)
H
n+1
(1
X
)
H
n+1
(X, A)

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

n+1
H
n
(A)
H
n
(1
A
)
H
n
(A, B).
Adem as, si B = , esta sucesi on se reduce a la sucesi on exacta larga de homologa
usual;
(ii) si la inclusi on i
B
: BA, induce para cada n 0 un isomorsmo entre los grupos
de homologa, H
n
(i
B
): H
n
(B)H
n
(A), H
n
(1
X
): H
n
(X, B)H
n
(X, A) es
tambi en un isomorsmo para cada n;
(iii) si Aes un retracto de X, entonces para cada n, H
n
(X, B) H
n
(X, A)H
n
(A, B);
(iv) dada la terna (N,S
q1
, D
q
), donde N es el polo norte, probar que H
n
(D
q
, S
q1
) es
isomorfo a H
n1
(S
q1
,N), y usarlo para calcular la homologa del par H
n
(S
q1
,N);
(v) si H
q
+
= (x
1
, . . . , x
q+1
) S
q
: x
q+1
0, calcular con ayuda de la sucesi on exacta
de homologa de la terna (S
q1
, H
q
+
, S
q
), los grupos de homologa H
n
(S
q
, S
q1
).
4.- Sea X un espacio topol ogico y X = A B, donde A y B son abiertos disjuntos.
Probar que para cada n 0, es H
n
(X) H
n
(A) H
n
(B) y H
n
(X, A) H
n
(B).
5.- Dados los pares de espacios (X, A) e (Y, B), donde X = Y = [0, 1], A = [0, 1]
1
2
y B = 0, 1, probar que aunque X Y y A B, es (X, A) , (Y, B).

6.- Calcular la homologa de los siguientes pares de espacios: (X, X), ([a, b], (a, b)),
([a, b], a, b), (D
n
, H
n1
+
) y (D
1
S
1
, S
0
S
1
), donde a, b R (a < b), X es un es-
pacio topol ogico y H
n1
+
= (x
1
, . . . , x
n
) S
n1
: x
n
0.
7.- Sea f : (D
1
, S
0
)(D
1
, S
0
) la aplicaci on f(x) = x. Describir H
n
(f) y dar una base
de H
1
(D
1
, S
0
).
8.- Probar las siguientes propiedades, consecuencias del teorema de separaci on de Jordan
Brouwer
(i) si A es una (n 1)esfera embebida en R
n
(donde n 2), entonces R
n
A tiene
exactamente dos componentes conexas, una de las cuales es acotada y la otra no.
La componente acotada es acclica y la no acotada posee la misma homologa que
S
n1
;
(ii) invarianza del dominio: si U R
n
es abierto y V R
n
es homeomorfo a U,
entonces V es tambi en abierto;
(iii) invarianza de la dimensi on: si U R
n
y V R
m
son abiertos homeomorfos,
entonces m = n.
9.- Calcular la homologa de los espacios que aparecen debajo
10.- Probar las siguientes propiedades
(i) toda rotaci on de S
n
es hom otopa a la aplicaci on identidad de S
n
;
(ii) sea g : S
n
S
n
la restricci on de una transformaci on ortogonal de R
n+1
. Entonces, la
aplicaci on inducida en homologa H
n
(g): H
n
(S
n
)H
n
(S
n
) es la multiplicaci on
por el determinante de g (que es 1);
(iii) sea a: S
n
S
n
la aplicaci on antipodal. Entonces, H
n
(a): H
n
(S
n
)H
n
(S
n
) es
la multiplicaci on por (1)
n+1
.
11.- Se pide
(i) sea una aplicaci on continua f : S
3
S
2
. Demostrar que no existe ninguna funci on
continua g : S
2
S
3
tal que f g = 1
S
2;
(ii) dada una funci on continua f : S
3
T
3
, encontrar las aplicaciones inducidas en ho-
mologa H
n
(f): H
n
(S
3
)H
n
(T
3
), para n 0.
12.- Dar un ejemplo de dos espacios conexos por caminos X e Y y una funci on continua
f : XY , que induzca un isomorsmo entre los grupos de homologa de dimensi on
1, H
1
(f): H
1
(X)H
1
(Y ), pero de modo que
1
(f):
1
(X)
1
(Y ) no sea un iso-
morsmo.
1.- Homologa del espacio proyectivo real
(i) Probar que el espacio proyectivo real de dimensi on n, RP
n
se obtiene al adjuntar
al espacio proyectivo real de dimensi on n 1, RP
n1
, una ncelda a trav es de la
aplicaci on can onica p
n1
: S
n1
RP
n1
;
(ii) utilizando lo anterior, comprobar que
si n es par,
H
q
(RP
n
) =
_
_
_
Z si q = 0
Z
2
si q impar y 1 q n 1
0 en otro caso
si n es impar,
H
q
(RP
n
) =
_
_
_
Z si q = 0 o q = n
Z
2
si q impar y 1 q n 1
0 en otro caso
2.- Homologa del espacio proyectivo complejo
Se dene el espacio proyectivo complejo de dimensi on n, CP
n
del modo siguiente: en el
espacio complejo de dimensi on n + 1, C
n+1
, se considera el subespacio
S
2n+1
= z = (z
1
, . . . , z
n+1
) C
n+1
: |z|
2
= |z
1
|
2
+ +|z
n+1
|
2
= 1.
Se dene sobre S
2n+1
la relaci on de equivalencia: z z
si y s olo si existe c C
con |c| = 1 y z
= cz. El cociente bajo esta relaci on de equivalencia es CP

n
. Sea
q
n
: S
2n+1
CP
n
la aplicaci on cociente. Intuitivamente, S
2n+1
es producto torcido de
CP
n
y S
1
: se dice que S
2n+1
es un brado sobre CP
n
, de bra S
1
. Se pide probar
(i) CP
0
es un punto y CP
1
es homeomorfo a S
2
. La aplicaci on cociente q
1
: S
3
CP
1
se llama aplicaci on de Hopf ;
(ii) el espacio proyectivo complejo de dimensi on n, CP
n
se obtiene al adjuntar al espa-
cio proyectivo complejo de dimensi on n 1, CP
n1
, una 2ncelda a trav es de la
aplicaci on can onica q
n1
: S
2n1
CP
n1
;
(iii) CP
n
con su topologa cociente es homeomorfo al espacio m etrico cuyos puntos son
lneas complejas de C
n+1
pasando por el origen, donde la m etrica se dene como
el angulo entre rectas (que toma valores en [0,

2
]);
(iv) utilizando lo anterior, comprobar que
H
q
(CP
n
) =
_
Z si q = 0, 2, 4, . . . , 2n
0 en otro caso
3.- Homologa de la botella de Klein
(i) Probar que la botella de Klein K
2
se obtiene adjuntando una 2celda a S
1
S
1
;
(ii) utilizando lo anterior, comprobar que
H
q
(K
2
) =
_
_
_
Z si q = 0
Z Z
2
si q = 1
0 si q 2
4.- Homologa del toro generalizado
El toro generalizado es un producto de esferas S
m
S
n
. Se pide probar
(i) denotamos por I al intervalo unidad de R. El ncubo I
n
R
n
tiene como frontera
fr(I
n
) = (x
1
, . . . , x
n
) R
n
: existe i tal que x
i
= 0 o 1.
As, I
m
I
n
= I
m+n
y fr(I
m+n
) = (fr(I
m
) I
n
)(I
m
fr(I
n
)). Sean z
m
S
m
y
z
n
S
n
puntos base. Existe una aplicaci on entre pares f
k
: (I
k
, fr(I
k
))(S
k
, z
k
),
para k m, n, que es un homeomorsmo relativo, es decir, tal que la restric-
ci on f
k
[
I
k
fr(I
k
)
: I
k
fr(I
k
)S
k
z
k
es un homeomorsmo. Tomando produc-
tos cartesianos, se obtiene una aplicaci on f
m
f
n
: I
m
I
n
S
m
S
n
, que lleva
fr(I
m+n
) sobre S
m
S
n
. Concluir, utilizando el problema 4 del apartado 1.5, que
S
m
S
n
es homeomorfo al espacio obtenido al adjuntar una (m+n)-celda a S
m
S
n
a trav es de la aplicaci on f
m
f
n
[
fr(I
m+n
)
: fr(I
m+n
) S
m+n1
S
m
S
n
;
(ii) utilizar la sucesi on de MayerVietoris para calcular los grupos de homologa de
S
m
S
n
;
(iii) bas andose en lo anterior, probar que H
(S
m
S
n
) =
k0
H
k
(S
m
S
n
), m, n 0,
es un grupo abeliano libre con 4 generadores, en las dimensiones 0, m, n y m + n.
5.- N umeros de Betti y caracterstica de Euler
La caracterstica de EulerPoincar e sobre X es un poderoso invariante que tiene nu-
merosas aplicaciones fuera del ambito de la topologa, por ejemplo
(a) s olo las esferas impares admiten campos de vectores que no se anulan. Estas son justo
las esferas con caracterstica de EulerPoincar e nula. Se puede denir la noci on de
campo de vectores sobre una variedad diferenciable X; la diferenciabilidad se pre-
cisa para poder hablar de vectores tangentes. Si X es compacto y conexo, existe un
campo de vectores tangente no nulo si y s olo si (X) = 0. Luego, para supercies
compactas, s olo T
2
y K
2
poseen un tal campo de vectores. Si X es de dimensi on im-
par y compacta, siempre admite uno. Argumentos de geometra diferencial prueban
que un espacio X no compacto siempre admite uno;
(b) una clase un poco m as general de caracterstica de Euler juega un papel clave en el
teorema de RiemannRoch para variedades algebraicas proyectivas no singulares.
Si G es un grupo abeliano nitamente generado, se sabe que los elementos de orden nito
en G constituyen el subgrupo de torsi on T y que el grupo cociente G/T es abeliano libre.
El n umero minimal de generadores de G/T es el rango de G.
El rango de H
n
(X) (para aquellos espacios X en que los que tenga sentido esta denici on)
se llama n esimo n umero de Betti,
n
(X), de X. Si H
n
(X) es abeliano libre, entonces
est a caracterizado por su rango, en otro caso, hay m as informaci on contenida en el grupo
de homologa.
Se dene tambi en la caracterstica de Euler por la f ormula (X) =
n0
(1)
n
n
(X),
cuando esta suma es nita.
Estos dos n umeros son, por supuesto, invariantes topol ogicos. Se puede denir de la
misma manera los n umeros de Betti relativos
n
(X, A) y la caracterstica de Euler relativa
(X, A) para un par de espacios (X, A). Se pide
(i) calcular los n umeros de Betti y la caracterstica de Euler para S
n
, RP
n
, CP
n
, la rosa
de n p etalos y la supercie compacta de g enero g;
(ii) cuando est en denidos, probar que si A X se cumple (X) = (A) + (X, A);
(iii) dada una sucesi on exacta de grupos abelianos nitamente generados
0 A
1
i
1
A
2
i
2

i
n1
A
n
0,
entonces rg(A
1
) rg(A
2
) + + (1)
n+1
rg(A
n
) = 0;
(iv) usar lo anterior para probar que si Z se obtiene a partir de Y adjunt andole una
ncelda y (Y ) est a denido, entonces (Z) = (Y ) + (1)
n
.
6.- Homologa de los espacios lenticulares
Los espacios lenticulares L(p, q) son variedades de dimensi on tres orientables con tor-
si on. Estos espacios tienen una especie de propiedad de autoenrollamiento: sean p y q
enteros relativamente primos, la esfera S
3
= (z
1
, z
2
) C
2
: [z
1
[
2
+ [z
2
[
2
= 1, y el
homeomorsmo h: S
3
S
3
, denido por h(z
1
, z
2
) = (z
1
.e
2i
p
, z
2
.e
2iq
p
). Se cumple que
h
p
= 1
S
3 y el grupo cclico Z
p
opera sobre S
3
por: n.(z
1
, z
2
) = h
n
(z
1
, z
2
) para n Z
p
.
En el problema 4 de 4.10, probamos que la aplicaci on cociente p: S
3
S
3
/Z
p
es un
revestimiento y el espacio cociente L(p, q) = S
3
/Z
p
, es el espacio lenticular. Se pide
comprobar que
H
n
(L(p, q)) =
_
_
_
Z si n = 0, 3;
Z
p
si n = 1;
0 en otro caso.
Bibliografa
Nunca tocadas, claridades
con los ojos cerrados vistas:
el nacimiento transparente
y la cada cristalina
en este instante de este instante,
interminable todava.
Tras la ventana: desoladas
azoteas y nubes r apidas.
El da se apaga, se enciende
la ciudad, pr oxima y remota.
Hora sin peso. Yo respiro
el instante vaco, eterno.
Intervalo
Octavio Paz (M exico, 1914-1998)
[Ag] M.K. Agoston, Algebraic Topology, Marcel Dekker, 1976.
[AGP] M. Aguilar, S. Gitler y C. Prieto, Topologa Algebraica: un enfoque homot opico,
McGraw Hill, 1998.
[Al1] P.S. Alexandroff, Elementary concepts of topology, Dover, 1961.
[Al2] P.S. Alexandroff, Combinatorial topology, Dover, 1998.
[Arm] * M.A. Armstrong, Topologa b asica, Revert e, 1987.
[Arn] B.H. Arnold, Intuitive concepts in elementary topology, Prentice Hall, 1962.
109
110 Bibliografa
[AB] E. Artin and H. Braun, Introduction to Algebraic Topology, Merry Publ. Co., 1969.
[ADQ] R. Ayala, A. Dominguez y A. Quintero, Elementos de teora de homologa
cl asica, Pub. Universidad de Sevilla, 2002.
[Bas] S. Barr, Exp eriences de Topologie, Lysimaque, 1987.
[Bar] W.S. Basener, Topology and its applications, Wiley Interscience, 2006.
[BBIF] Y. Borisovich, N. Blinznyakov, Y. Izrailevich and T. Fomenko, Introduction to
Topology, Mir, 1985.
[Bo] B. Botvinnik, Algebraic Topology course, University of Oregon, 1999.
[Bre] * G.E. Bredon, Topology and Geometry, Springer, 1993.
[Bro] R. Brown, Topology and Groupoids, BookSurge, 2006.
[BRS] S. Buoncristiano, C.P. Rourke and B.J. Sanderson, A geometric approach to ho-
mology theory, Cambridge, 1976.
[Ca] S.S. Cairns, Introductory topology, Ronald Press Co., 1968.
[CV] C.O. Christenson and W.L. Voxman, Aspects of Topology, BCS Associates, 1998.
[CC] J.M. Cohen y F. Colonna, Introduzione alla Topologia Algebrica, Meditarrenean
Press, 1990.
[CC
2
] * L. Contreras Caballero e I. Contreras Caballero, 250 problemas resueltos
de topologa algebraica y geom etrica: homotopa, espacios recubridores, nudos,
Cuadernos de apoyo. Universidad Aut onoma de Madrid, 1989.
[Cro] F.H. Croom, Basic concepts of Algebraic Topology, Springer, 1978.
[Crs] M.D. Crossley, Essential Topology, Springer, 2005.
[Cru] A. Crumeyrolle, Bases g eom etriques de la topologie alg ebrique, Cours et S emi-
naires du D ept. de Maths de la Facult e des Sciences de Toulouse, 1970.
[DK] J.F. Davis and P. Kirk, Lecture Notes in Algebraic Topology, Graduate Studies in
Mathematics 35, AMS, 2001.
[De] S. Deo, Algebraic topology: a primer, Hindustain Book Agency, 2003.
[Di] J. Dieudonn e, A history of algebraic and differerential topology 1900-1960,
Birkh auser, 1989.
Bibliografa 111
[DP] C.J.J. Dodson and P.E. Parker, A users guide to Algebraic Topology, Kluwer, 1997.
[Do] A. Dold, Lectures on Algebraic Topology, Springer, 1980.
[ES] S. Eilenberg and N. Steenrod, Foundations of Algebraic Topology, Princeton Uni-
versity Press, 1952.
[ET] L. Evens and R. Thomson, Algebraic Topology, New York University Press, 2001.
[Fla] E. Flapan, When topology meets chemistry: a topological look at molecular chi-
rality, Cambridge University Press, 2000.
[Fle] H.G. Flegg, From geometry to topology, English Univ. Press, 1974.
[FFG] A.T. Fomenko, D.B. Fuchs and V.L. Gutenmacher, Homotopic topology,
Akad emiai Kiad o, 1986.
[Fr] G.K. Francis, A topological picture book, Springer, 1987.
[FF] M. Fr echet y K. Fan, Invitation to combinatorial topology, Dover, 2003.
[Fu] W. Fulton, Algebraic Topology: a rst course, Springer, 1995.
[GG] T.W. Gamelin and R.E. Greene, Introduction to topology, Dover, 1999.
[Godb] C. Godbillon,

El ements de topologie alg ebrique, Hermann, 1998.
[Gode] R. Godement, Topologie alg ebrique et th eorie des faisceaux, Hermann, 1958.
[Goo] S.E. Goodman, Beginning topology, The Brooks/Cole Series in Advanced Ma-
thematics, Thomson, 2005.
[Gr] A. Gramain, Topologie des surfaces, Presses Universitaires de France, 1971.
[GH] * M.J. Greenberg y J. Harper, Algebraic topology: a rst course, Addison Wesley,
1981.
[GT] J.L. Gross and T.W. Tucker, Topological graph theory, Wiley, 1997.
[Ha] * A. Hatcher, Algebraic Topology, Cambridge University Press, 2001.
[He] M. Henle, A combinatorial introduction to topology, Dover, 1979.
[HW] P.L. Hilton and S. Wylie, Homotopy theory: an introduction to algebraic topology,
Cambridge University Press, 1967.
[Hi] F. Hirzebruch, Topological methods in algebraic topology, Springer, 1966.
112 Bibliografa
[HY] J.G. Hocking and G.S. Young, Topology, Dover, 1961.
[Hu] S.T. Hu, Homotopy Theory, Academic Press, 1959.
[HJ] S. Huggett and D. Jordan, A topological aperitif, Springer, 2001.
[Jam] I.M. James (editor), History of Topology, North-Holland, 1999.
[Jan] K. J anich, Topology, Springer, 1984.
[Jo] K. Johannson, Topology I, Frankfurt Universit at, 2001.
[Ka] D.W. Kahn, Topology: an introduction to the point-set and algebraic areas, Dover,
1995.
[Ko] * C. Kosniowski, Topologa algebraica, Revert e, 1985.
[Lah] B.K. Lahiri, A rst course in algebraic topology, Alpha Science, 2000.
[Law] T. Lawson, Topology: a geometric approach, Oxford Graduate Texts in Mathe-
matics 9, Oxford University Press, 2003.
[Lee] * J.M. Lee, Introduction to topological manifolds, Graduate Texts in Maths 202,
Springer, 2000.
[Lef] S. Lefschetz, Algebraic Topology, AMS Colloquium Publications 27, 1991.
[LS] D. Lehmann et C. Sacr e, G eom etrie et Topologie des surfaces, Presses Universi-
taires de France, 1982.
[Lev] R. Levi, Geometric Topology, Universiy of Aberdeen, 2000.
[Lie] W. Lietzmann, Visual topology, Chatto and Windus, 1965.
[Lim] E.L. Lima, Grupo fundamental e espacos do recobrimiento, Projeto Euclides IM-
PA, 1993.
[Mas1] W.S. Massey, Singular homology theory, Springer, 1980.
[Mas2] * W.S. Massey, Introducci on a la topologa algebraica, Revert e, 1982.
[Mato] J. Matou sek, Using the Borsuk-Ulam theorem, Springer, 2003.
[Matv] S.V. Matveev, Lectures on Algebraic Topology, EMS, 2006.
[Mau] C.R.F. Maunder, Algebraic topology, Dover, 1996.
Bibliografa 113
[May] J.P. May, A concise course in Algebraic Topology, Chicago Lecture Mathematical
Series, 1999.
[McC] G. McCarty, Topology: an introduction with applications to topological groups,
Dover, 1967.
[McCl] J. McCleary, A rst course in topology, continuity and dimension, AMS, 1967.
[McL] S. McLane, Homology, Springer, 1963.
[MS] R. Messer y P. Strafn, Topology. Now!, The Mathematical Association of Amer-
ica,, 2006.
[Mu1] J.R. Munkres, Elements of algebraic topology, Addison-Wesley, 1984.
[Mu2] * J.R. Munkres, Topologa, Prentice Hall, 2002.
[Nab] G.L. Naber, Topological methods in euclidean spaces, Cambridge Univ. Press,
1980.
[Nak] M. Nakahara, Geometry, topology and physics, IOP Publ., 1990.
[NS] C. Nash and S. Sen, Topology and geometry for physicists, Academic Press, 1983.
[NP] V. Navarro y P. Pascual, Topologia Algebraica, Collecci o UB 34, 1999.
[O] P.V. ONeil, Fundamental concepts in topology, Gordon and Breach, 1972.
[Pa] C.W. Patty, Foundations of topology, PWS-Kent Publ. Co., 1993.
[Pe] * J.P. Petit, Las aventuras de Anselmo Lanturlu. El Topologic on,
http://www.savoir-sans-frontieres.com/JPP/telechargeables/ESPANOL/
El Topologicon es.pdf
[Po] J.C. Pont, Topologie alg ebrique des origines ` a Poincar e, Presses Universitaires de
France, 1974.
[Pr1] V.V. Prasolov, Intuitive topology, AMS, 1994.
[Pr2] V.V. Prasolov, Elements of combinatorial and differential topology, AMS, 2006.
[RF] V. Rohlin et D. Fuchs, Premier cours de topologie: chapitres g eom etriques, Mir,
1981.
[Ro] * J.J. Rotman, An introduction to algebraic topology, Springer, 1988.
114 Bibliografa
[Sal] G. Salicrup, Introducci on a la topologa, Sociedad Matem atica Mexicana, 1993.
[Sat] H. Sato, Algebraic Topology: an intuitive approach, AMS, 1999.
[Schi] P.L. Schik, Topology. Point set and geometric, Wiley, 2007. Complementos en
http://www.jcu.edu/math/Faculty/Shick/topology.htm
[Sc] A.S. Schwarz, Topology for physicists, Springer, 1993.
[Se] P. Selick, Introduction to homotopy theory, AMS, 1997.
[Si] A.J. Sieradski, An introduction to Topology and Homotopy, PWS-Kent, 1992.
[ST] I.M. Singer and J.A. Thorpe, Lecture Notes on elementary topology and geometry,
Springer, 1976.
[So] A. Sossinsky, Noeuds: gen` ese dune th eorie math ematique, Seuil, 1999.
[Sp] E.H. Spanier, Algebraic Topology, McGraw Hill, 1966.
[Ste] I. Steward, Concepts in modern mathematics, Dover, 1975.
[Sti] J. Stillwell, Classical topology and combinatorial group theory, Springer, 1993.
[Sw] R.M. Switzer, Algebraic topology: homotopy and homology, Springer, 1975.
[T] B. Totaro, Notes on Algebraic Topology, University of Cambridge, 1999.
[Va] V.A. Vassiliev, Introduction to topology, AMS Student Mathematical Library 14,
2001.
[Vi] * J.W. Vick, Homology theory: an introduction to algebraic topology, Springer,
1994.
[W] C.T.C. Wall, A geometric introduction to topology, Dover, 1993.
[Wa1] * A.H. Wallace, An introduction to algebraic topology, Pergamon Press, 1957.
[Wa2] A.H. Wallace, Algebraic Topology, W.A. Benjamin Inc., 1970.
[War] G. Warner, Topics in Topology and Homotopy theory, Preprints Univ. Washington,
2001.
[Wh] G.W. Whitehead, Elements of homotopy theory, Springer, 1978.
[Wi] K. Wirthm uller, A topology primer, 2002.
[Z] M. Zisman, Topologie alg ebrique

El ementaire, Armand Collin, 1972.

Topo Alg 0708

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Topo Alg 0708

Uploaded by

Copyright:

Available Formats

TOPOLOG

). Un morsmo cualquiera f hom

, la categora de variedades diferenciales de clase C

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

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

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

Ring, que asocia a una variedad

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

, es una transformaci on natural entre estos dos functores.

de dos palabras, es la palabra reducida

b: ZL(a, b) denidas por a(p) = (a

pasa al cociente por N.

es el isomorsmo inducido por , seg un el teorema 3.7.

) son homeomorfos, probar que p = p

) son homeomorfos si y s olo si p = p

es una supercie homeomorfa a S y

por ese homeomorsmo, entonces divide a S en dos partes

hace lo propio sobre S

y con las notaciones obvias), y se

(Pdx + Qdy) independiente

(Pdx + Qdy)? Estos dos caminos son ejemplos de lo que m as

que posee todas las componentes mayores

Z son todos nulos, salvo una

) = c, se dice que c es un nborde, de otro modo,

(Pdx + Qdy) (donde (P, Q) es un par exacto) es nula, cuando es

: el conjunto de las componentes conexas por

: es la familia de las componentes conexas por caminos

, entonces existe un isomorsmo can onico

es el baricentro de . Con esto, el operador queda denido sobre una base de

es una aplicaci on en cadenas;

es una homotopa en cadenas entre Sd

extienden las deniciones realizadas sobre espacios anes.

A, entonces U puede excindirse.

y B = 0, 1, probar que aunque X Y y A B, es (X, A) , (Y, B).

= cz. El cociente bajo esta relaci on de equivalencia es CP

You might also like