Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
V
A
T
O
S
N
U
G BIA
U
R
Fundamentos de
[Topologa Algebraica]
O
V
A
T
O
S
N
U
G BIA
U
R
O
V
A
T
O
S
N
U
G BIA
U
R
Fundamentos de
[Topologa Algebraica]
Gustavo N. Rubiano O.
Profesor Titular
O
V
A
T
O
S
N
U
G BIA
U
R
vi, 235 p. : 102 il. 00
ISBN 958-701-613-0
1. Topologa Algebraica
Gustavo N. Rubiano O.
n.
Fundamentos de Topologa Algebraica, 1a. edicio
Universidad Nacional de Colombia, Sede Bogot
a.
Facultad de Ciencias, 2007
Mathematics Subject Classification 2000: 55-01.
c Edici
on en castellano: Gustavo Nevardo Rubiano Orteg
on
Universidad Nacional de Colombia.
Diagramaci
on y dise
no interior en LATEX:Gustavo Rubiano
Gr
aficas interiores: el autor.
Primera impresi
on, 2007
Impresi
on:
Pro-Offset Editorial S.A.
Bogot
a, D. C.
COLOMBIA
O
V
A
T
O
S
N
U
G BIA
U
R
Indice general
Pr
ologo
1. Conjuntos
1.2. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1. Relaci
on de equivalencia . . . . . . . . . . . . . . . . .
1.3.2. Relaci
on de orden . . . . . . . . . . . . . . . . . . . .
1.4. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Algebra
2.1. Grupos
8
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Homomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . .
11
11
2.3.1. Factorizaci
on de homomorfismos . . . . . . . . . . . .
13
14
15
16
2.6. Construcci
on de nuevos grupos . . . . . . . . . . . . . . . . .
17
17
20
ii
INDICE GENERAL
O
V
A
T
O
S
N
U
G BIA
U
R
2.7.2. Representaci
on de grupos libres . . . . . . . . . . . . .
21
22
24
3. Topologa
25
3.1. Construcci
on de espacios topol
ogicos . . . . . . . . . . . . . .
26
26
30
. . . . . . . . . . . . . . . . . . . . . . .
46
56
. . . . . . . . . . . . . . . . . . . . . .
60
61
63
3.3.3. Z XY (Z Y )X ? . . . . . . . . . . . . . . . . . . .
66
3.4. Conexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
3.4.1.
71
3.5. Caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
72
75
76
4. Homotopa
78
4.1. Deformaci
on continua de una funci
on . . . . . . . . . . . . . .
78
83
83
. . . . . . . . . . . . .
85
87
94
4.2.5. 1 (S 1 ), lo intuitivo . . . . . . . . . . . . . . . . . . .
96
INDICE GENERAL
O
V
A
T
O
S
N
U
G BIA
U
R
iii
5. Espacios recubridores
139
6. Homologa
. . . . . 168
172
O
V
A
T
O
S
N
U
G BIA
U
R
O
V
A
T
O
S
N
U
G BIA
U
R
Pr
ologo
El fin u
ltimo de la topologa algebraica es tener una manera de trasladar
preguntas de la topologa conjuntista al
algebra. La estructura algebraica que
utilizamos en estas notas es la de grupo. El mecanismo consiste en inventar
una construcci
on que a cada espacio topol
ogico X que consideremos le asigne
un grupo G(X). A continuaci
on extender este mecanismo a las funciones
continuas, de suerte que a una funci
on f : X Y le sea asignado un
homomorfismo de grupos G(f ) : G(F ) G(Y ). Pero la construcci
on debe
satisfacer condiciones de buen comportamiento como ser natural en la
composici
on, G(f g) = G(f ) G(g) y que a cada homeomorfismo le corresponda un isomorfismo, entre otras. En general lo que pedimos es lo llamado
un comportamiento functorial.
A manera de ilustraci
on, en topologa la pregunta R R2 ?, i.e. es
R topol
ogicamente equivalente homeomorfo a R2 ? tiene una respuesta
inmediata y negativa dentro del contexto de un curso de topologa general. Pero a una pregunta similar como R2 R3 ? no tiene respuesta con
las propiedades usuales que conocemos de compacidad, conexidad, separaci
on, metrizabilidad, etc. ver la p
agina 114. Lo mismo sucede para S 2
toro? toro botella de Klein? La respuestas a estas preguntas son
algebraicas: consiste en asignar el grupo fundamental de homotopa o la
cadena de homologa a cada uno de los espacios involucrados y observar que
son diferentes, lo que implica que no son homeomorfos.
El texto requiere de conocimientos previos en conjuntos, topologa general y algebra abstracta en el t
opico de los grupos. Estos conocimientos son
los b
asicos y por ello son incluidos de manera sucinta en los captulos 1, 2 y 3
donde en general se omiten las demostraciones, pues de otra manera el texto
se tornara extremadamente largo acerc
andose a lo ineficaz, pero a cambio
se referencia en la bibliografa las fuentes que pueden ser consultadas. Las
afirmaciones que al ser ledas con poca atenci
on se puedan prestar a mal
v
vi
INDICE GENERAL
O
V
A
T
O
S
N
U
G BIA
U
R
entendidos son marcadas con el smbolo
La secci
on de espacios de recubrimiento, muestra la hermosa conexi
on
entre el
algebra y la topologa a traves de preguntas en la una y respuestas
en la otra.
Por supuesto, y como en casi todo libro de texto, todo lo dicho aqu ya
est
a dicho en alguna otra parte, de suerte que, lo u
nico original es la elecci
on
de los temas y la presentaci
on de los mismos. Como estas notas son a manera
de exposici
on, he decidido no incluir los cl
asicos ejercicios.
Departamento de Matem
aticas
Universidad Nacional de Colombia
Ciudad Universitaria, Bogot
a, Colombia.
gnrubianoo@unal.edu.co
Septiembre de 2006
O
V
A
T
O
S
N
U
G BIA
U
R
Captulo 1
Conjuntos
Contenido
.
.
.
.
.
.
.
.
.
. .
. .
.
1
3
5
5
6
6
1.1.
CAPITULO 1. CONJUNTOS
O
V
A
T
O
S
N
U
G BIA
U
R
2. Intersecci
on de una familia de conjuntos,
\
\
A=
Aj = {x | x Aj , para cada j J}.
jJ
jJ
4. Suma
de una familia de conjuntos. Tambien se acostumbra notar como
`
A
jJ j y llamarse entonces el coproducto de la familia.
X
jJ
Aj = {(a, j) | a Aj , j J}.
jJ
Aj = .
jJ
Aj = X.
1.2. FUNCIONES
O
V
A
T
O
S
N
U
G BIA
U
R
3.
jJ
Aj = X. Esta condici
on dice que A es un cubrimiento de X.
El axioma de elecci
on dice que
cada j J 6= .
Q
jJ
Aj 6= si y solo si Aj 6= para
Q
Aj jJ Bj si y solo si Aj Bj para cada j J.
Q
T Q
T
Q
2. jJ Aj
Bj).
jJ Bj =
jJ (Aj
Q
S Q
S
Q
3. jJ Aj
Bj ).
jJ Bj
jJ (Aj
S
S
S
4. ( iI Ai ) ( jJ Bj ) = (i,j)IJ (Ai Bj ).
1.
1.2.
jJ
Funciones
Dada la funci
on f : X Y definimos la imagen de A X por f
como el conjunto
f (A) := {y Y | y = f (x) para alg
un x A}.
La imagen inversa de B Y por f es el conjunto
f 1 (B) = {x X | f (x) B}.
Sean {Ai | i I}, {Bj | j J} familias de conjuntos en X y Y respectivamente. Es un ejercicio verificar las siguientes propiedades:
T
T
1. f ( iI Ai ) iI f (Ai ).
S
S
2. f ( iI Ai ) = iI f (Ai ).
CAPITULO 1. CONJUNTOS
O
V
A
T
O
S
N
U
G BIA
U
R
T
T
3. f 1 ( jJ Bj ) = jJ f 1 (Bj ).
S
S
4. f 1 ( jJ Bj ) = jJ f 1 (Bj ).
5. f 1 (Bjc ) = [f 1 (Bj )]c .
6. f (f 1 (Bi )) Bi .
7. Ai f 1 (f (Ai )).
N
otese que el comportamiento de f 1 la imagen inversa por f es
impecable.
Una funci
on f : X Y se dice sobre o sobreyectiva si f (X) = Y ;
f se dice uno a uno, o inyectiva si x 6= y implica f (x) 6= f (y).
Dada f : X Y y cualesquiera A, B X, C Y tenemos que,
1.3. RELACIONES
O
V
A
T
O
S
N
U
G BIA
U
R
1.3.
Relaciones
2. Sim
etrica: si (x, y) R implica (y, x) R R1 = R.
3. Antisim
etrica: si (x, y), (y, x) R implica x = y R1 R
(X).
4. Transitiva: si (x, y), (y, z) R implica (x, z) R R R R.
1.3.1.
Relaci
on de equivalencia
- Y
6
X/Rf
hf
f [X]
CAPITULO 1. CONJUNTOS
O
V
A
T
O
S
N
U
G BIA
U
R
1.3.2.
Relaci
on de orden
1.4.
Cardinalidad
1.4. CARDINALIDAD
O
V
A
T
O
S
N
U
G BIA
U
R
Teorema de Cantor. Si (X) (o 2X ) denota al conjunto de los subconjuntos de X 6= , entonces el cardinal de X es menor que el cardinal de
(X).
Para una demostraci
on ver [21].
La aritmetica de los n
umeros cardinales se puede resumir como:
1. Sean d, e n
umeros cardinales con d e, d 6= 0 y e infinito. Entonces
d + e = e y d e = e.
2.
ab
n
0
c
m
nm
0
c
0
c
c
c
c
2c
2c
2c
O
V
A
T
O
S
N
U
G BIA
U
R
Captulo 2
Algebra
Contenido
2.1. Grupos . . . . . . . . . . . . . . . . . . . . . . .
2.2. Homomorfismos . . . . . . . . . . . . . . . . .
2.3. Subgrupo normal . . . . . . . . . . . . . . . .
2.4. Grupos cclicos . . . . . . . . . . . . . . . . . .
2.5. Construcci
on de grupos . . . . . . . . . . . . .
2.6. Grupos generados . . . . . . . . . . . . . . . .
2.7. Factorizaci
on de homomorfismos . . . . . . .
2.8. El subgrupo conmutador . . . . . . . . . . . .
2.9. Grupos libres . . . . . . . . . . . . . . . . . . .
2.10. Grupos libres abelianos . . . . . . . . . . . . .
2.11. Representaci
on de grupos libres . . . . . . . .
2.12. Producto libre de grupos . . . . . . . . . . . .
2.12.1. Producto amalgamado de dos grupos . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
8
10
11
13
14
15
16
17
17
19
20
21
23
2.1.
Grupos
Definici
on 2.1 (monoide). Sea A un conjunto no vaco. Una funci
on
: A A A se llama una ley de composici
on interna o una operaci
on interna en A. Al par (A, ) se le denomina un monoide.
8
2.1. GRUPOS
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 2.2 (grupo). Un monoide asociativo se llama semigrupo. Un
grupo (A, ) es un semigrupo en el cual
1. Existe e A tal que a e = a = e a para todo a A.
10
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
es una partici
on de G, donde la relaci
on de equivalencia inducida es: a b
1
si y solo si a b H. Si G es abeliano, cada coclase a izquierda aH es coclase
a derecha Ha.
Definici
on 2.6. Sea H un subgrupo de un grupo G de orden finito. El
ndice (G : H) de H en G es igual a |G|/|H|. As, el ndice es el n
umero de
coclases a izquierda (derecha) de H.
Ejemplo 2.7. Sean G = C {0} (los n
umeros complejos no nulos) y la
operaci
on (a, b)(c, d) := (ac bd, ad + bc).
El elemento unidad es (1, 0).
a
b
1
.
(a, b) =
,
a2 + b2 a2 + b2
z
donde
z
denota
al
conjugado
y
|z|
=
a2 + b2
|z|2
es la distancia del punto al origen.
Si z = (a, b), z 1 =
xH
11
2.2. HOMOMORFISMOS
O
V
A
T
O
S
N
U
G BIA
U
R
2.2.
Homomorfismos
Definici
on 2.8. Dados dos grupos G, H un homomorfismo es una funci
on
f : G H (como conjuntos) que satisface f (ab) = f (a)f (b) (la operaci
on a
la izquierda de la igualdad es en G y a la derecha es en H).
Esta definici
on puede ser representada diciendo
que el siguiente diagrama conmuta. La exigencia
para un homomorfismo de preservar la identidad
y la inversa es intrnseca, f (e) = e, f (a1 ) =
f (a)1 . Adem
as la imagen de un subgrupo es
un subgrupo, en particular f (G) H.
GG
f f
- H H
?
- H
satisface
f (x + y) = (cos (x + y), sen(x + y))
= (cos x cos y sen x sen y, sen x cos y + sen y cos x)
2.3.
Subgrupo normal
Definici
on 2.10. Para cada homomorfismo f : G H el conjunto f 1 (1)
es un subgrupo de G. f 1 (1) G recibe el nombre de Ker(f ) o n
ucleo de
f.
Un homomorfismo es inyectivo si y solo si Ker(f ) = {1}. Este subgrupo
n
ucleo goza de la propiedad
gKer(f )g1 = Ker(f ) para todo g G.
12
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
una operaci
on de grupo sobre el conjunto G/H de las coclases a izquierda.
0
0
3
1
4
2
5
3
3
0
4
1
5
2
1
1
4
2
5
3
0
4
4
1
5
2
0
3
2
2
5
3
0
4
1
5
5
2
0
3
1
4
Definici
on 2.14. Dos subgrupos H y K de un grupo G son conjugados si
existe g G tal que H = gKg1 ; es decir, si uno de los grupos es la imagen
del otro mediante un automorfismo interno.
13
O
V
A
T
O
S
N
U
G BIA
U
R
La conjugaci
on es una relaci
on de equivalencia sobre el conjunto de
todos los subgrupos de G y un subgrupo H es normal en G si la clase de
equivalencia [H] = {H}.
2.3.1.
Factorizaci
on de homomorfismos
Teorema 2.16 (cociente para grupos). Sea f : G H un homomorfismo de grupos. f tiene una u
nica factorizaci
on f = i r q donde q es la
funci
on cociente, r est
a definida como r ([g]) := f (g), i es la inclusi
on
G
- H
6
G/Ker(f )
Im(f )
El teorema del cociente para conjuntos (pag. 5), nos dice que tal factorizaci
on existe, falta verificar entonces que las condiciones algebraicas se
mantienen (homomorfismos). N
otese que para este diagrama el homomorfismo r es un isomorfismo G/Ker(f ) r(H) si f es sobreyectiva (Teorema
fundamental de homomorfismo).
14
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
2.4.
Grupos cclicos
Definici
on 2.17. Dado un grupo G y un elemento a G, el conjunto
hai := {an : n Z} =
iI
Hi ,
Hi G y a Hi
La relaci
on b1 a H se traduce en a b := aH = bH. Como q : G
G/H debe ser un morfismo de nuestra teora de grupos, q 1 (0) = q 1 [H] =
Ker(q) = H debe ser un subgrupo normal de G.
N
otese que los grupos cclicos son abelianos. Una caracterizaci
on recproca de la anterior implicaci
on se tiene de manera parcial si el grupo es suficientemente peque
no.
Un grupo cclico puede tener un n
umero infinito de elementos (el orden
de un grupo G es o(G) := #(G) cardinal de G), caso en el cual G (Z, +),
es decir, existe una funci
on f : G Z biyectiva y homomorfismo de grupos.
Si G es cclico y tiene un n
umero finito de elementos, entonces G (Zn , +)
para alg
un n Z.
Nota. Zn := ha : an = 0i, el grupo generado como en la siguiente definici
on.
15
O
V
A
T
O
S
N
U
G BIA
U
R
2.5.
Grupos generados
Definici
on 2.19. Si G = h{ai : i I}i, decimos que G es generado por el
conjunto {ai : i I} y que los ai son los generadores de G. Si #(I) es finito,
entonces G es generado finitamente.
N
otese que un elemento g h{ai : i I}i es un producto finito de
potencias enteras de elementos ai . Si el grupo no es abeliano, las potencias
de un ai pueden ocurrir varias veces.
Definici
on 2.21. El orden o(a) de un elemento de un grupo a G, es el
menor entero n tal que an = e. Si tal n no existe, decimos que el orden de a
es infinito y en cierta manera a es libre de generar tantos elementos como
quiera.
Si en un grupo G cada elemento tiene orden finito, decimos que G es un
grupo con torsi
on.
Si ning
un elemento en G (excepto la identidad) tienen orden finito, decimos que G es libre de torsi
on (por ejemplo Z).
Definici
on 2.22. Si un grupo G es abeliano, el conjunto TG de los elementos
de orden finito es un subgrupo de G llamado el subgrupo torsi
on de G.
Ejemplo 2.23. Si G = Z Z2 , entonces TG = {(0, 0), (0, 1)}.
Lema 2.24 (Factorizaci
on). Si G es abeliano y generado finitamente
entonces G TG F , donde TG es el subgrupo de torsi
on de G y F G es
libre de torsi
on.
Lema 2.25. Si G es abeliano, finitamente generado y libre de torsi
on (no
le quedan muchas posibilidades a G) G Z Z (mveces, m Z+ ).
Lema 2.26. Si G es abeliano y de orden finito, entonces G es isomorfo a
un producto directo de grupos cclicos
G Zpr1 Zprnn ,
1
16
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
G Zm1 Zmn ,
o,
G Zm1 Zmn Z Z,
2.5.1.
El subgrupo conmutador
En honor al matem
atico italiano Enrico Betti (1823-1892).
17
DE NUEVOS GRUPOS
2.6. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
2.6.
Construcci
on de nuevos grupos
Definici
on 2.30. Si G1 , G2 , . . . , Gn son grupos, al producto cartesiano
n
Y
k=1
Gk = G1 Gn
N
otese que cada Gk es isomorfo de una manera natural (sin esfuerzo) a un
n
Q
subgrupo Gk de
Gk cuando identificamos cada g Gk con el elemento
k=1
n
Q
k=1
n
Q
Gk es el
k=1
2.7.
Grupos libres
18
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
2. Una sucesi
on finita de slabas es una palabra.
3. La palabra vaca es la palabra sin slabas y notada por 1.
m+n
n
n: a1i := ai , a0i := 1, am
Notacio
. Estas dos u
ltimas condiciones
i ai := ai
conducen a las llamadas palabras reducidas, es decir, aquellas donde no
es posible reducir m
as.
5
2 7 0
2
Ejemplo 2.34. a32 a1
2 a3 a1 a1 a0 = a2 a3 a1 .
Definici
on 2.37. (L[A], ) es el grupo libre generado por A.
Si A = entonces L[A] = {e}.
Si A = {a} entonces L[A] es cclico infinito.
19
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 2.38. Si G es un grupo tal que G = hAi y existe un isomorfismo
:G
L[A] tal que (ai ) = ai , decimos que G es libre sobre A, y que los
elementos ai son los generadores libres de G. Un grupo es libre si es
libre sobre alg
un conjunto {ai }i .
N
otese que en la anterior definici
on intervienen G, A y . Si A tiene
m
as de un elemento entonces L(A) no es abeliano. De manera m
as general,
tenemos el siguiente hecho: Un grupo G es libre si y solo si G es isomorfo a
L(A) para para alg
un A.
n 7 1n := n 1
20
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
A
@g
@
R
p p p p p p p p p p p p p L[A]
H
f
2.7.1.
Los grupos libres como han sido definidos no son en general conmutativos, pero al obtener la versi
on abelianizada de este grupo libre, es decir,
al formar el grupo cociente por el subgrupo conmutador L[A]/ [L[A]; L[A]],
este resulta libre abeliano.
Definici
on 2.42. Un grupo G es un grupo libre abeliano si
G L[A]/ [L[A]; L[A]] ,
para alg
un grupo libre L[A]. G se nota entonces como Ab{A}.
Es com
un notar en este caso a los elementos de manera aditiva:
n1 ai1 + n2 ai2 + + nk aik .
21
O
V
A
T
O
S
N
U
G BIA
U
R
2.7.2.
Representaci
on de grupos libres
Definici
on 2.47. Si un grupo G es tal que G [A; R] (isomorfos), decimos
que [A; R] es una representaci
on de G.
Ejemplo 2.48. Por supuesto, la representaci
on de un grupo en general no
es u
nica:
[{x}; ] = [{x, y}; x] son presentaciones para el grupo cclico infinito.
[{x, y}; xyx1 y 1 ] es una presentaci
on para el grupo libre abeliano con
dos generadores.
[{a}; a2 ] = [{a, b}; a2 , b] son presentaciones para Z2 .
[{x, y}; xyx1 y 1 , x2 , y 3 ] = [{a}; a6 ] son presentaciones para Z6 . La
primera describe la estructura de Z6 como Z2 Z3 .
[{x, y}; x2 , y 2 , (xy)n ] es una presentaci
on para el grupo dihedrico de
orden 2n.
K = [{i, j} : i4 = 1, i2 = j 2 , ji = i3 j] es una presentaci
on del grupo,
en realidad cuerpo, de los cuaterniones de Hamilton (donde k = ij).
22
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
L[A]
@
@
@
?
R
@
pp G
[A, R] p p p p p q
Una presentaci
on [X, R] es generada finitamente si X es finito y es
relacionada finitamente si R es finito. [X, R] es finita si tanto X como
R son finitos.
2.8.
H definida por
(g ) = ( (g ))
Cada una de las dos construcciones anteriores produce un grupo conteniendo a cada uno de los G como un subgrupo pero con la propiedad de que elementos en diferentes subgrupos G conmutan; por ejemplo
(g1 , e, e, . . .) (e, g2 , e, . . .) = (g1 , g2 , e, . . .) = (e, g2 , e, . . .) (g1 , e, e, . . .) (al
fin y al cabo se multiplica en esa coordenada por la unidad). Pero fuera
del contexto de los grupos abelianos esta conmutatividad
esL
no natural, y
Q
por tanto requerimos una versi
on no abeliana de G o
G . Como
la suma en el segundo grupoL
es m
as peque
na y simple que en el primero,
construimos la versi
on para
G , y es lo que llamaremos el producto
libre (externo) G de los G .
23
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 2.49. El producto libre de una colecci
on {G } de grupos es el
conjunto G , el cual consta de todas las palabras g1 g2 gm de longitud
m para cualquier m Z, donde cada letra gi pertenece a uno de los grupos
G y sujeto a las siguientes dos condiciones:
1. Dos terminos de la palabra que sean sucesivos pertenecen a grupos
diferentes, y
2. Ning
un termino es el elemento identidad de alg
un G .
As que si hay terminos sucesivos que pertenecen al mismo grupo los multiplicamos, y si hay terminos que son identidades los cancelamos, para obtener
las palabras reducidas. La palabra vaca es tambien permitida y ser
a la identidad de G .
La operaci
on de grupo es definida por yuxtaposici
on (hemos decidido
obviar las comas y parentesis cuando la notaci
on sea clara)
g1 g2 gm h1 h2 hn = g1 g2 gm h1 h2 hn
donde en este producto reducimos si es necesario, es decir, si gm , h1 pertenecen al mismo grupo G , ellos son remplazados por el u
nico elemento gm h1
en G , y si llegare a ser la identidad, la cancelamos. El inverso de g1 g2 gm
1 g 1 .
ser
a la palabra gm
1
Ejemplo 2.50. (Un producto libre de grupos que no es un grupo
libre.) Sean G1 = {1, a}, G2 = {1, b} grupos cclicos de orden 2 (cada uno
de ellos homeomorfo a Z2 ). Cada elemento g 6= 1 Z2 Z2 puede ser escrito
solo como palabras con a y b (puesto que las potencias mayores de 1 no son
necesarias ya que a2 = 1 = b2 ), con los factores a y b de manera alternante:
a, ab, aba, abab, etc., o b, ba, bab, baba, etc. N
otese que los elementos ab, ba
son ambos de orden infinito, y son diferentes.
Por supuesto que Z2 Z2 6= Z2 Z2 , pues este u
ltimo (el producto debil
o producto directo) es un grupo abeliano de orden 4, mientras que el grupo
libre Z2 Z2 es no abeliano con elementos de orden infinito. Tambien Z2 Z2
es diferente del grupo libre L[a, b].
Si consideramos las aplicaciones : G , G con (g) = g, cada
subgrupo G est
a inmerso de manera natural en G como el subgrupo
formado por la palabra vaca m
as las 1palabras g G .
24
CAPITULO 2. ALGEBRA
O
V
A
T
O
S
N
U
G BIA
U
R
Teorema 2.51. Si {x1 , . . . , xm ; r1 , . . . , rn } y {y1 , . . . , yp ; s1 , . . . , sq } son representaciones de los grupos G y H, respectivamente, entonces G H es isomorfo al grupo con representaci
on {x1 , . . . , xm , y1 , . . . , yp ; r1 , . . . , rn , s1 , . . . , sq }.
2.8.1.
G0
1
@ 2
R
@
G1
G2
G0
*
1
HH
H
2 HH
j
H
G1 XX
HHXXX q1
XXX
H
XX
1 HH
XX
j
H
X
qz
- G1 G2 /N
G1 G2
:
*
q2
2
G2
O
V
A
T
O
S
N
U
G BIA
U
R
Captulo 3
Topologa
Contenido
3.1. Construcci
on de espacios topol
ogicos . . . . .
3.1.1. Suma topologica o topologa de la union libre
3.1.2. Topologa cociente o identificacion . . . . . .
3.2. Grupos Topol
ogicos . . . . . . . . . . . . . . .
3.2.1. Espacios orbita . . . . . . . . . . . . . . . . .
3.3. Espacios de Funciones . . . . . . . . . . . . . .
3.3.1. La topologa puntoabierto . . . . . . . . . .
3.3.2. La topologa compactoabierto . . . . . . . .
3.3.3. (Z Y )X Z XY ? . . . . . . . . . . . . . .
3.4. Conexidad . . . . . . . . . . . . . . . . . . . . .
3.4.1. Subespacios conexos maximales. . . . . . . .
3.5. Caminos . . . . . . . . . . . . . . . . . . . . . .
3.5.1. Conexo por caminos . . . . . . . . . . . . . .
3.5.2. Componentes conexas por caminos . . . . . .
3.5.3. localmente conexo por caminos . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
26
. 26
. 29
44
. 52
56
. 56
. 59
. 61
62
. 65
66
. 67
. 69
. 70
26
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
3.1.
Construcci
on de espacios topol
ogicos
Esta secci
on est
a dedicada a presentar las construcciones que permiten
la creaci
on de nuevos espacios topol
ogicos a partir de espacios dados.
3.1.1.
Suma topol
ogica o uni
on libre de espacios topol
ogicos
Definici
on 3.1. Si {(X , T )} es una colecci
on de espacios topol
ogicos
disyuntos, para el conjunto
X=
X =
X =
(el smbolo
por lo disyuntos)
P
definimos una topologa T =
T como: U X es abierto si y s
olo si
U X es abierto en X para cada .
En X =
el subconjunto Y =
es abierto.
(X es pintado de color ).
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
27
O
V
A
T
O
S
N
U
G BIA
U
R
La uni
on libre (o uni
on disyunta) de la familia {X } es entonces
el espacio
a
X
[
X :=
X =
X = {(x , ) : x X , }.
`
N
otese que las inclusiones
`i : X , X definidas por x 7 (x, ) tambien
definen los abiertos de
X como aquellos subconjuntos para los cuales
todas sus preim
agenes por las inclusiones i son abiertas.
28
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que T(A) es la topologa m
as grande en X que preserva la topologa de cada uno de los A , es decir, en cualquier otra topologa T para la
cual U T implica U A es abierto en A para cada , se cumple que
U T(A). En otras palabras, T(A) es la topologa final para la familia de
funciones inclusi
on {A , X} .
Debe quedar adem
as claro que la topologa de la uni
on libre (definici
on
3.1) es simplemente un caso especial de esta topologa T(A).
Ejemplo 3.3 (No se tienen las condiciones requeridas para la construcci
on). En el caso siguiente, donde los Ai tienen la topologa de subespacios de R2 , no se verifica la condici
on 1 puesto que A1 A2 no es abierto
en A1 pero s lo es en A2 .
A1
A1 A2
=
A2
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
29
O
V
A
T
O
S
N
U
G BIA
U
R
(1, 0)
30
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
3.1.2.
En un curso de
algebra abstracta se encuentran los conceptos de grupo
cociente o anillo cociente, en los cuales la idea es dar una estructura algebraica al conjunto de coclases de un subgrupo o un ideal. Estos conceptos
(basados en una relaci
on de equivalencia) dan una estructura algebraica a
una partici
on del grupo o del anillo. En lo concerniente a la topologa, el
concepto equivalente es el de espacio cociente al dar una topologa a una
partici
on del espacio, donde los elementos ser
an ahora las clases de equivalencia inherentes a la partici
on.
Un subconjunto de X que es uni
on de elementos de la partici
on (clases)
se llama saturado. El conjunto saturado m
as peque
no que contiene a un
subconjunto dado A de X se denomina la saturaci
on de A y coincide con
q 1 (q(A)).
Si R es una relaci
on de equivalencia en X, c
omo dar una topologa al
conjunto X/R (de las clases de equivalencia) a partir de una topologa en
el espacio X?
La funci
on cociente q : X X/R definida por x 7 [x] debe ser por
supuesto continua y de la mejor manera, i. e., de manera que X/R tenga la
mayor cantidad posible de abiertos.
Definici
on 3.7. Definimos la topologa cociente T/R para X/R como
T/R := {U X/R : q 1 (U ) es un abierto de X}.
B X/R es abierto si B = q(A) para alg
un A abierto y saturado.
Ejemplo 3.8 (Cinta de M
obius1 ). Muchos espacios son construidos a
traves de otro identificando algunos puntos; por ejemplo, la construcci
on
de la cinta de M
obius. A partir del rect
angulo X = [0, 3] [0, 1] con la
topologa T de subespacio de R2 hacemos la identificaci
on R esquematizada
por la figura 3.3 (observar la orientaci
on de las flechas) donde (0, y)R(3, 1y)
y los dem
as puntos s
olo se relacionan consigo mismo.
1
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
31
(0, y)
(3, 1 y)
32
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
[x]U [x]
T.
- X/R
@
@
f
f q @
R ?
@
Descomposici
on can
onica por una funci
on
Vimos en la secci
on 1.3.1 que dada una funci
on sobreyectiva f : X Y
entre conjuntos, la colecci
on Rf := {f 1 (y)}yY determina una partici
on
en X.
En este caso la funci
on cociente q : X X/Rf
satisface q(x) = [x] = f 1 (f (x)); luego la funci
on hf : X/Rf Y dada por hf ([x]) := f (x)
o hf (f 1 (y)) = y est
a bien definida y es una
biyecci
on.
- X/Rf
@
@
hf
f @
@
R ?
@
Si X, Y son adem
as espacios topol
ogicos y f es continua entonces tenemos que hf : X/Rf Y es continua.
Podemos ahora preguntarnos que tanto se identifica, i. e., cu
ando hf es
1 (y) es continua?
un homeomorfismo? o cu
ando h1
(y)
=
f
f
Teorema 3.11. Sean (X, T), (Y, H) espacios topol
ogicos y f : X Y
una funci
on continua y sobreyectiva. Si f es abierta o cerrada entonces
hf : X/Rf Y es un homeomorfismo.
Funci
on identificaci
on o funci
on cociente
Las funciones cociente q : X X/R se generalizan de la manera siguiente.
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
33
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 3.12. Sean (X, T), (Y, H) espacios topol
ogicos y f : X Y
una funci
on sobreyectiva. Si Y tiene la mejor topologa para la cual f es
continua, es decir
H = TfY = {V Y | f 1 (V ) T},
34
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo 3.17 (El toro). Sea X = [0, 1] [0, 1] con la topologa de subespacio usual de R2 . Se hace una partici
on de X en cuatro clases mediante
la siguiente relaci
on R (ver figura 3.5).
1. {(0, 0), (1, 0), (0, 1), (1, 1)}: las esquinas se identifican.
2. {(x, 0), (x, 1)} para cada x (0, 1): pegamos el borde inferior con el
borde superior.
3. {(0, y), (1, y)} para cada y (0, 1): pegamos los lados.
donde e2ix := (cos 2x, sen 2x) y e2iy := (cos 2y, sen 2y). La relacion
Rf en [0, 1][0, 1] definida por la funcion f , es decir, Rf = {f 1 (a) : a T },
es exactamente la particion inicial R; luego, por el teorema 3.14,
[0, 1] [0, 1]/Rf S 1 S 1
puesto que [0, 1] [0, 1] es compacto, S 1 S 1 es Hausdorff y f es una
identificaci
on.
35
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
y al espacio topol
ogico lo notamos (X/M, T/M ).
N
otese que x y : x = y o x, y M . En este espacio cociente, todo
M
N
otese que si el ecuador C de la esfera S 2 es colapsado en un punto
obtenemos dos esferas unidas por un u
nico punto (este ejemplo ser
au
til en
la definicion de n (X, x0 )).
36
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
A
X/A
X/C
X/B
37
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
X/A1 , . . . , A4
D2 /S 1 S 2
1
x.
1 kxk
donde x = (x1 , . . . , xn ).
Por otra parte, Rn S n {p}, mediante la proyecci
on estereogr
afica
desde el polo norte p
h : S n {p} Rn dada por x 7
1
(x1 , . . . , xn )
1 xn+1
38
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
p
S2
{p}
R2
f es una biyecci
on continua y ademas es una identificacion (pues va de un
compacto a un Hausdorff); por tanto, Dn /Rf S n .
f
X
f (A)
39
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
S 1 tf,A [0, 1]
D 2 tf {x0 } = S 2
D2
x0
D1
40
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
f (S 1 )
2
q i2 : Y
X + Y Y tf X
es inyectiva. Adem
as, Y es un subespacio de Y tf X de manera natural, pues
la topologa de Y como subespacio de Y tf X coincide con la original de Y .
Lo anterior no es necesariamente cierto para X, que es la parte pegada.
Por ejemplo, si Y = {p}, para f : A {p} tenemos que {p} tf X es
exactamente X/A (nuestro espacio cociente que identifica un subconjunto A
con un punto).
Ejemplo 3.28. Sean X = Dn , A = S n1 , Y = D n y consideremos la
funci
on identidad id: S n1 S n1 . El espacio cociente resulta ser la esfera
n 1dimensional, i. e., Dn tid D n S n .
41
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
X [0, 1]
CX
42
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo 3.31. CS n D n+1 . El cono sobre la n-esfera unitaria es homeomorfo a la bola unitaria cerrada n + 1dimensional.
Demostraci
on: La funci
on f : S n [0, 1]
f
- D n+1
Dn+1 con f (x, t) = (1 t)x es sobreyectiva, con- S n [0, 1]
pp
tinua y cerrada, y por tanto una identificaci
on,
p p3
p
q
p
con lo cual hf ([x]) = f (x) es un homeomorfismo.
p p hf
pp
n
n+1
?
p
N
otese que (S [0, 1])/Rf D
donde Rf
C(S n )
es exactamente identificar S n {1} a un punto.
La construcci
on cono tiene la siguiente propiedad categ
orica: dados los espacios topol
ogicos X,
Y y f : X Y continua, existe una u
nica aplicaci
on C(f ) : C(X) C(Y ) tal que el siguiente diagrama conmuta, i. e. tenemos un funtor
covariante de T op en T op (ver secci
on 4.3.2).
C-
C(X)
C(f )
?
- C(Y )
se llama la suspensi
on o doble cono de X.
N
otese que S(X) = C(X)/(X {0}). Por ejemplo, la suspensi
on de las esferas incrementa su
dimensi
on en una unidad
S(S n ) = S n+1 .
Esquema de lapdemostraci
on: La funcion f : S n [0, 1] S n+1 dada
por f (x, t) = ( 1 (2t 1)2 x, 2t 1) es una identificacion y por lo tanto
S n /Rf S n+1 .
Ejemplo 3.33 (Cilindro de una aplicaci
on). La nocion de funcion cilindro debida a J. H. Whitehead es importante en la teora de homotopa.
Sea f : X Y una funcion continua. Se trata de pegar al espacio Y el
cilindro X [0, 1]. Esta pega la hacemos por la base X {0} del cilindro
utilizando la funci
on f : X {0} Y dada por f (x, 0) = f (x).
As, obtenemos el espacio cociente
Mf := Y f (X [0, 1])
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
43
O
V
A
T
O
S
N
U
G BIA
U
R
X I
Mf
f (X)
Cercana a la construcci
on de la funcion cilindro Mf esta la funci
on
cono Cf = C(X) f Y donde identificamos los puntos (x, 0) f (x), para
una f : X Y .
Ejemplo 3.34 (Producto cu
na ). Un espacio topologico punteado es
por definici
on un espacio topol
ogico con un punto de el elegido. Sean (X, x0 ),
(Y, y0 ) espacios punteados, con x0 X, y0 Y . Definimos el producto cu
na
de los espacios X y Y como
X Y := (X + Y )/{x0 , y0 }.
Si X = Y = [0, 1], con 0 como el punto base, entonces X Y es homeomorfo
con el intervalo cerrado [1, 1] cuyo punto base esta en el medio, en 0. Si
dibujamos este producto cu
na obtenemos
el cual explica el por que del
smbolo.
N
otese que X Y es homeomorfo al subespacio (X {yo }) ({x0 } Y )
del producto X Y .
44
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
y0
x0
Por su importancia como ejemplo, a continuacion presentamos tres maneras equivalentes de construir el espacio real proyectivo ndimensional
RP n . (Existen construcciones similares FP n donde F puede ser C o H).
1. En Rn+1 {0} identificamos dos puntos si ellos estan sobre la misma
recta que pasa por el origen, es decir, para un punto x = {x0 , . . . , xn }
Rn+1 {0} tenemos
[x] = {(tx0 , tx1 , . . . , txn ) : t R, xi R}.
Definimos RP n := (Rn+1 {0})/R donde xRy : x = ty para alg
un
t R.
Esta manera de construir a RP n se puede generalizar a espacios vectoriales E, definiendo EP n como el conjunto de todas sus rectas que
pasan a traves del vector 0. Si E es un espacio vectorial topologico
entonces a EP n le damos la topologa cociente.
2. Consideremos la esfera S n Rn+1 y la particionamos en clases disyuntas, donde cada clase consta exactamente de dos puntos: los puntos
antpodas (puntos opuestos por el vertice),
RP n = S n /R, donde xRy : y = x.
As que RP n = {{x, x} : x S n } y q : S n RP n es la funcion
creciente con q(x) = {x, x}. La topologa que damos a RP n es la
DE ESPACIOS TOPOLOGICOS
3.1. CONSTRUCCION
O
V
A
T
O
S
N
U
G BIA
U
R
45
RP 2
S2
RP 0 es un punto.
RP 1 S 1 .
RP 2 Plano proyectivo. [Re-visi
on] La construcci
on en el numeral
2 para el disco D 2 . Este espacio no puede ser inmerso en R3 y por
tanto no podemos dibujarlo, pero s esquematizarlo como el resultado
de pegar por el borde una cinta de M
obius al borde de un disco
cerrado.
N
otese que al considerar las lneas rectas que pasan por el origen en R3
no obtenemos puntos de R3 sino subconjuntos de R3 y por tanto no podemos
usar la topologa de subespacio para hacerlo un espacio topol
ogico. Por esta
raz
on hemos usado la topologa cociente.
Puede mostrarse ademas que el espacio RP n es homeomorfo de manera
can
onica al espacio metrico cuyos puntos son las lneas de Rn+1 que pasan
46
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
3.2.
Sn
q
- RP n
q
(RP n , d)
Grupos topol
ogicos
3.2. GRUPOS TOPOLOGICOS
47
O
V
A
T
O
S
N
U
G BIA
U
R
ya que si
entonces |xi ai | < /2n, |wi bi | < /2n para i = 1, . . . , n, y por tanto,
X
|(x1 + w1 , . . . , xn + wn ) (a1 + b1 , . . . , an + bn ) =
1 X
1
2 2
2 2
|xi + wi ai bi |
(|xi ai | + |wi bi |)
<
X
1
2
(|/2n + /2n)2
= .
Como un corolario a este ejemplo tenemos que la suma y diferencia de funciones continuas f, g : Rn Rn son tambien operaciones continuas, pues
f + g es la compuesta de dos funciones continuas
(f,g)
Rn Rn Rn
Rn .
Ejemplo 3.38. (R {0}, ) los reales no nulos con la multiplicaci
on son un
grupo topol
ogico si R {0} tiene la topologa de subespacio de R con la
metrica euclidiana.
En efecto, mostremos que la operaci
on en el grupo es continua:
: (R {0}) (R {0}) R {0} donde (x, y) 7 xy.
Dado un abierto N con xy N (R {0}), veamos que existen abiertos
S, T (R{0}) con (x, y) S T tales que ST = {st : (s, t) S T } N .
Existe > 0 tal que el intervalo (xy , xy + ) N {0}; si definimos =
48
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
n
p o
+ +
3
3
3
entonces zw N .
Adem
as, la funci
on x 7 x1 es continua pues revierte intervalos abiertos
en intervalos abiertos.
p2 (x, y, a, b) = ya + xb
donde z = x + iy
es claramente continua.
Cuando de manipular n
umeros complejos se trata, lo mejor es emigrar de
las coordenadas cartesianas de un punto P = z = (x, y) a las coordenadas polares (r, ), donde r es la distancia al origen (o m
odulo o valor
absoluto |z| del complejo z) y = arg z = arctan y/x es el
angulo (llamado
argumento) que forman la lnea que une a P con el origen O y el eje x.
De suerte que ahora se tiene z = |z|(cos + i sen ).
Ahora resulta que el producto zw de dos n
umeros complejos z y w es
m
as f
acil: es el n
umero complejo cuyo m
odulo es el producto de los m
odulos
y cuyo argumento es la suma de los argumentos.
2
49
O
V
A
T
O
S
N
U
G BIA
U
R
S 1 S 1 con ei 7 ei
La relaci
on entre n
umeros complejos y exponenciaci
on es expresada en
una f
ormula maravillosa de Euler3 :
ei = cos + i sen .
50
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
2
Pero no hay que preocuparse, todas estas topologas coinciden! y con cualquiera de estas topologas GLn (R) resulta ser un grupo topol
ogico, pues la
funci
on multiplicaci
on
m : GL(n, R) GL(n, R) GL(n, R) donde (A, B) 7 C = (cij )
con cij =
n
P
k=1
Sn
sgn()
n
Y
ai,(i)
3.2. GRUPOS TOPOLOGICOS
51
O
V
A
T
O
S
N
U
G BIA
U
R
SLn := {A : det(A) = 1} y se llama el grupo lineal especial. Si admitimos tambien a las matrices con determinante 1 definimos Spin(n, R) :=
{A Mn (R) : |det(A)| = 1}.
De acuerdo con el teorema 2.16 tenemos GLn /SLn R {0} (ver teorema 3.48).
1. A es invertible con A1 = At .
Una matriz se llama ortogonal si satisface una de las condiciones anteriores. El subconjunto On GLn de las matrices ortogonales, es un grupo
topol
ogico llamado el grupo ortogonal y corresponde entonces a las transformaciones lineales de Rn que preservan la longitud de los vectores, o de
manera equivalente a las isometras de Rn que fijan al origen.
Si A On , entonces det(A) {1, 1} puesto que
det(A)2 = det(A)det(At ) = det(AAt ) = det(I) = 1.
Ejemplo 3.44 (SOn). El subgrupo SOn := On SLn se llama el grupo
ortogonal especial y corresponde a las matrices que tienen determinante
1 y cuya inversa corresponde a su transpuesta. Este grupo coincide con
las rotaciones de Rn alrededor del origen; adem
as, SOn es el kernel del
homomorfismo det : On Z2 .
Los grupos On y SOn son compactos por ser subconjuntos cerrados y
2
acotados de Rn , mientras que GLn no lo es pues se trata de un subconjunto
abierto, tampoco es conexo pues es la uni
on disyunta de los abiertos formados por las matrices con determinante positivo y negativo respectivamente.
De acuerdo con el teorema 2.16 tenemos On /SOn Z2 (ver teorema
3.48).
52
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
X2
X3
X4
X5
X6
3.2. GRUPOS TOPOLOGICOS
53
O
V
A
T
O
S
N
U
G BIA
U
R
Espacios homog
eneos
54
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 3.46. Un espacio topol
ogico X se llama homog
eneo si para
cada par de puntos x, y X existe un homeomorfismo f : X X con
f (x) = y (el espacio luce lo mismo cuando es visto desde cualquier punto).
N
otese que en un grupo topol
ogico las vecindades del elemento identico
e G son lo suficientemente importantes como para darles un nombre:
n
ucleos. Como una topologa puede ser determinada dando para cada x
X el conjunto V(x) de sus futuras vecindades, si X es homogeneo, una
base local para el punto e determina una base local para todo otro punto
(va el homeomorfismo) y as determina toda la topologa de X. Por tanto,
dado el conjunto de las V(e), tenemos que V(g) = {Lg (N ) : N V(e)}.
Algunos autores requieren en la definici
on de grupo topol
ogico que el
espacio sea de Hausdorff con lo cual {e} es cerrado.
Teorema 3.48. Sean G un grupo topol
ogico y H E G (normal). Entonces
G/H = {gH : g G} = {Lg(H) : g G}
es un grupo topol
ogico. El cociente de un grupo topol
ogico m
odulo un subgrupo normal es un grupo topol
ogico con la topologa cociente y el producto
de coclases.
Demostraci
on. Por el teorema 2.15 solo nos resta verificar la continuidad de
las operaciones. Verifiquemos que la multiplicaci
on G/H G/H G/H
(inducida por la multiplicaci
on m de G) en las clases es continua.
Tomemos g0 H, g1 H G/H y (go H)(g1 H) V para V G/H vecindad abierta de g0 g1 H y veamos que existen W0 , W1 vecindades de g0 H,
g1 H respectivamente tales que W0 W1 V . Como m es continua, existen
vecindades U0 , U1 de g0 , g1 respectivamente tales que U0 U1 q 1 (V ) (para q : G G/H). Entonces (recordando que q es una funci
on abierta)
definimos W0 = q(U0 ), W1 = q(U1 ).
De manera similar se muestra que la funci
on inversi
on es continua.
3.2. GRUPOS TOPOLOGICOS
55
O
V
A
T
O
S
N
U
G BIA
U
R
Proposici
on 3.50. Si Ue es una vecindad de e en el grupo topol
ogico (G, m)
entonces existe una vecindad abierta y simetrica Ve tal que V V = V V 1 U
y V U.
Definici
on 3.51. Homomorfismos entre grupos topol
ogicos
G/Ker(f )
hf
- f (G)
56
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
3.2.1.
G-espacios y espacios
orbita
idG
- GX
idX
GX
?
- X
3.2. GRUPOS TOPOLOGICOS
57
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que cada elemento g G act
ua como si fuese un homeomorfismo
g : X X y la multiplicaci
on se comporta entonces como la composici
on
de funciones, con lo cual los miembros de G deben ser homeomorfismos en
X ya que como grupo G contiene los inversos de sus elementos; adem
as,
resulta ser una evaluaci
on y se llama la acci
on de G sobre X.
Por la condici
on (1) la imagen de L est
a contenida en los homeomorfismos de X en X.
Podemos definir ahora una relaci
on de equivalencia sobre el Gespacio
X como
x y : g(x) = y para alg
un g G.
El espacio cociente X/ lo notamos X/G y, con la topologa cociente, es
llamado el espacio cociente de X por G.
Si X es un Gespacio, la funci
on cociente q : X X/G es una funci
on
abierta, pues para un abierto U X tenemos que
q 1 (q(U )) =
g(U )
gG
58
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
G). La colecci
on de las
orbitas determinan una partici
on para X inducida
por la relaci
on
x y : y = g(x) para alg
un g G.
59
O
V
A
T
O
S
N
U
G BIA
U
R
-1
-2
-3
-3
-2
-1
60
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Las
orbitas son entonces las circunferencias de
latitud (paralelas) y los dos polos. As que
S 2 /SO(2)
= [1, 1].
Demostraci
on: Sea p3 : S 2 [1, 1] la proyecci
on sobre el eje x3 (eje z usual). Como p3 es
constante sobre cada
orbita, tenemos la funci
on
2
inducida f3 : S /SO(2) [1, 1] y el diagrama indica que f3 es un homeomorfismo (de un
compacto a un Hausdorff)
S2
Q p3
Q
QQ
s
- S 2 /SO(2)
p
f3 p p p
p
p
pp
+
[1, 1]
z
3.3.
Espacios de funciones
61
O
V
A
T
O
S
N
U
G BIA
U
R
3.3.1.
La topologa puntoabierto
Definici
on 3.56. Sean X un conjunto y Y un espacio topol
ogico. Dados
un punto x X y U Y un abierto, definimos
S(x, U ) := {f Y X | f (x) U }.
La colecci
on de conjuntos S(x, U ) forman una subbase para una topologa
X
sobre Y llamada topologa de la convergencia puntual (simple) o
topologa puntoabierto o p.a.topologa.
Por tanto, un elemento B de la base es de la forma
B=
n
\
S(xi , Ui ).
i=1
..
...
...
...
.
X1
X2
X3
Xi
...
....
....
....
....
....
...
...
...
...
...
...
...
...
....
...
...
...
...
....
...
...
...
...
...
...
...
...
....
.
N
otese que si X fuera un espacio, para nada interviene la topologa de
X; m
as a
un, X podra carecer de topologa, este simplemente indexa.
Esta topologa puntoabierto no es m
as que la definici
on de la Q
topologa
producto de Tychonoff para el producto de espacios Y X = xX Yx y
X . Si p : Y X Y es la proyecci
al espacio lo notamos Yp.a.
on definida por
x
px (f ) = f (x), entonces la p.a.topologa es la topologa m
as peque
na para
X
Y que hace todas las proyecciones px , x X continuas.
La siguiente afirmaci
on nos dice c
omo es la convergencia en este espacio de funciones (y justifica el otro nombre de convergencia puntual o
convergencia simple).
62
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
X .
Proposici
on 3.57. Sea (fn ) una sucesi
on en Yp.a.
fn f si y s
olo si fn (x) f (x) para cada x X.
Demostraci
on. Recuerdese que en la topologa producto Tychonoff (xn ) x
si y s
olo si pi (xn ) pi (x) para cada ndice i (pi es la proyecci
on).
0.8
0.6
0.4
0.2
0.2
RIp.a. ,
0.4
0.6
0.8
pues f es un punto
Si Y es adem
as un espacio metrico Y = (Y, d), tenemos otra topologa
metrizable para el conjunto Y X .
Para definirla, consideremos a cambio de la metrica d en Y , la m
etrica
b) := min{1, d(a, b)} la cual es acotada; ahora, dadas dos
equivalente d(a,
funciones f, g Y X definimos
(x), g(x)),
(f, g) := sup d(f
xX
conocida como la m
etrica uniforme sobre Y X y la topologa inducida
como la topologa de la convergencia uniforme o suptopologa.
Es tal su utilidad, que algunas definiciones se dan tom
andola con explcita
referencia: (fn ) converge uniformemente a f si y solo si lmn (fn , f ) = 0.
Si nos restringimos al conjunto de las funciones acotadas
B(X, Y ) := {f C(X, Y ) | f es acotada }
podemos definir directamente a como (f, g) := supxX d(f (x), g(x)). (Como en el caso que (Y, d) sea acotado o X sea compacto y Y sea metrizable).
63
O
V
A
T
O
S
N
U
G BIA
U
R
Esta metrica tiene la bondad de hacer de YX =(Y X , ) un espacio completo cuando (Y, d) es completo. Pero hay algo m
as: si consideramos
X
C(X, Y ) Y , entonces C(X, Y ) como subespacio tambien es completo. Lo mismo sucede para B(X, Y ) := {f : X Y | f es acotada} y la
raz
on es porque estos subconjuntos son cerrados en YX . Por tanto tenemos
el siguiente teorema.
Teorema 3.58 (Teorema del lmite uniforme). Si (fn ) es una sucesi
on
en C(X, Y ) y fn f en el espacio YX , entonces f C(X, Y ).
La raz
on del nombre m
etrica uniforme es por lo siguiente. Si (fn ) es
una sucesi
on en Y X tal que fn f , entonces fn f de manera uniforme
(uniformemente) en el sentido de la siguiente definici
on, donde dado el > 0,
el entero N es uniforme para todos los puntos x.
Definici
on 3.59. Dada fn : X (Y, d) una sucesi
on de funciones, decimos
que (fn ) converge uniformemente a f : X (Y, d) si dado > 0 existe
un entero N tal que d(fn (x), f (x)) < para todo n > N y todo x X.
3.3.2.
La topologa compactoabierto
C
omo generalizar la topologa uniforme a fin de evitar la condici
on de
que Y sea metrizable? La respuesta es restringir el espacio de definici
on Y X
al subconjunto C(X, Y ).
La siguiente es una topologa para C(X, Y ) que s tiene en cuenta la
topologa tanto en X como en Y , y adem
as generaliza la topologa punto
abierto. La introduce Ralph H. Fox en 1945, [13].
N
otese que los abiertos son de tama~
no m
as peque
no que en la patopologa,
la cual aumente por supuesto el tama
no de la topologa. La topologa resultante est
a entonces entre la pa y la cu-topologas
Definici
on 3.60. Sean X, Y espacios topol
ogicos. Dado K subespacio compacto de X compacto y U subconjunto abierto de Y , definimos
S(K, U ) := {f C(X, Y ) : f (K) U }.
La colecci
on {S(K, U )}K,U forma una subbase para una topologa sobre
C(X, Y ) llamada la topologa compactoabierto, la cual notamos como
c.a.topologa, o simplemente c.a., y al espacio lo notamos Cc.a. (X, Y ).
Por ejemplo, si X es un espacio discreto formado por n puntos, entonces
C(X, Y ) Y Y (n veces).
64
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 3.61. Sean X, Y espacios topol
ogicos y F C(X, Y ) Una topologa para F se dice que es admisible si la evaluaci
on e : F X Y es
continua.
Teorema 3.62. La topologa c.o. (compactoabierto) para C(X, Y ) es m
as
peque
na que cualquier otra topologa admisible para C(X, Y ).
Demostraci
on. Veamos que si la topologa J es admisible entonces c.o.
J , es decir cada abierto en Cc.o. (X, Y ) es abierto en CJ (X, Y ). Para ello es
suficiente mostrar que cada abierto subb
asico S(K, U ) de la c.o. est
a en J .
Dado f S(K, U ) y k K, tenemos que como e : CJ (X, Y ) X Y
es continua entonces para el punto e(f, k) = f (k) U existen vecindades
Vfk de f en CJ (X, Y ) y Wk de k en X tales que e(Vfk Wk ) U .
La colecci
on {Wk }kK es un cubrimiento abierto del compacto K y
por tanto la podemos reducir a una familia finita W1 , W2 , . . . , Wn tal que
K W1 Wn . Sean Vf1 , . . . , Vfn las correspondientes vecindades de f
(escogidas previamente) tales que e(Vfi Wi ) U , i = 1, . . . n.
65
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Sea U Y un abierto y veamos que e1 (U ) tambien es un
abierto (de hecho que es reuni
on de vecindades abiertas). Tomemos (f, x)
e1 (U ); como e(f, x) = f (x) U y f es continua, existe una vecindad
Wx X tal que f (W ) U . Como X es Hausdorff y localmente compacto,
existe una vecindad abierta V para la cual V es compacta y x V V W .
Por tanto, (f, x) U V V , el cual es un abierto en C(X, Y )X. Veamos
finalmente que U V V e1 (U ). En efecto, si g U V y t V entonces
g(t) U , es decir, e(g, t) U .
La topologa compactoabierto para C(X, Y ) hace que la funci
on evaluaci
on e sea continua en ambas variables f , x de manera simult
anea, y la
topologa compactoabierta es la mejor (m
as peque
na) de las topologas
admisibles. De manera trivial la topologa discreta es admisible.
Lema 3.64. Sean X, Y, Z espacios topol
ogicos y en cada uno de los espacios
de funciones consideremos la c.a.topologa. Entonces la funci
on composici
on
T : C(X, Y ) C(Y, Z) C(X, Z) dada por (f, g) 7 g f
es continua si Y es Hausdorff y localmente compacto.
66
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
3.3.3.
Z XY (Z Y )X ?
En efecto, : Z XY (Z Y )X est
a definida como (f )(x)(y) = f (x, y) y
1
su inversa (g)(x, y) = g(x)(y).
Definici
on 3.65. Sean X, Y , Z espacios topol
ogicos y f : X Y Z una
funci
on continua. La funci
on inducida correspondiente es definida como
F := (f ) : X C(Y, Z) donde F (x)(y) := f (x, y)
Y
X Y
Z Y Y Z
3.4. CONEXIDAD
67
O
V
A
T
O
S
N
U
G BIA
U
R
Finalmente, y como consecuencia de la c.a.topologa (para esto fue introducida), tenemos los dos homeomorfismos siguientes:
Corolario 3.68. Sean X, Y, Z espacios topol
ogicos tales que X y Y son
Hausdorff y Y es localmente compacto. Entonces
C(X, Y Z) C(X, Y ) C(X, Z) Y Z X Y X Z X
Z XY (Z Y )X (si de funciones continuas se trata).
Demostraci
on. El u
ltimo isomorfismo es va la funci
on f 7 (f ) = F .
3.4.
Conexidad
68
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
En la definici
on anterior es equivalente el requerir que A, B sean ambos
cerrados a cambio de abiertos, o que exista A X no vaco, abierto y cerrado
(aberrado). Adem
as, no es suficiente exigir solo que A, B sean disyuntos, pues
todo espacio con m
as de un punto sera trivialmente no conexo. Queremos
que realmente A y B sean dos piezas separadas; esto es, que no hayan puntos
de A adherentes a B o viceversa. Luego A debe estar contenida en B c ,
A B c , y como A = B c , concluimos que A y B deben de ser ambos
cerrados o, equivalentemente, ambos abiertos.
Definici
on 3.70. Un espacio topol
ogico X es conexo si no existe una separaci
on para X.
Por supuesto un subespacio sera conexo si visto como espacio es conexo;
claramente, la posible conexidad del subespacio u
nicamente depende de el y
no del espacio que lo contiene. Este concepto de conexidad es muy geometrico
o visualizable, en oposicion al concepto de compacidad. Ademas, resulta
curioso notar que su naturaleza es de caracter negativo: niega la existencia
de una separaci
on.
En la figura 3.18, (a) es una region circular conexa y (b) es un subespacio
de R2 formado por las circunferencias de centro el origen y radio 1 1/n,
(n N) atadas por el segmento de recta [1/2, 1), y a este conjunto le agregamos S 1 . N
otese que aunque esta u
ltima figura es conexa, ella pareciera estar
formada por dos partes disyuntas: las circunferencias atadas y la circunferencia exterior S 1 . Pareciera que requerimos de una nocion de conexidad
m
as sutil (ver definicion 3.79).
69
3.4. CONEXIDAD
O
V
A
T
O
S
N
U
G BIA
U
R
..........................................
............ . . . . . . . ...................
........
.
....... . . . . . . . . . .......
...... . . . . . . . . . . .......
....... . . . . . . . . . . . . . . . . . . . . . . . . . ...........
.
.
.
.
..... . . . . . . . . . . . . . . . ........
.
.
.
.
. . . . . . . . . . . . . . . . . .
.... . . . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ....
... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .....
.
.... . . . . . . . . ................................ . . . . . . . .....
...... . . . . . . . ..
.. . . . . . . . . ........
... . . . . . . . . ...
... . . . . . . . . .....
... . . . . . . . ..
... . . . . . . . ....
...
. . . . . . .
.
.. . . . . . .
... . . . . . . ....
..... . . . . . . . . . . . . . ....
... . . . . . . . ...
...
....
.
.
... . . . . . . . ..
.. . . . . . . . . . . . . . ....
.
.
.
.
.
.
.
.
.
... . . . . . .
.
.
. . . . . . ....
... . . . . . . . .....
...
... . . . . . . . . .....
.. . . . . . . . . . . . . . . . ...
.
.
.
.
.
... . . . . . . . . .......
... . . . . . . . . .
.... . . . . . . . . .................................. . . . . . . . ....
... . . . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . . ...
... . . . . . . . . . . . . . . . . . ...
..... . . . . . . . . . . . . . . . . ....
..... . . . . . . . . . . . . . . . .....
..... . . . . . . . . . . . . . . .....
.
.....
...... . . . . . . . . . . . . . ..........
....... . . . . . . . . . . .......
....... . . . . . . . . . .......
......... . . . . . . .........
.............. . . . ..............
...............................
.....................
................ ...... .... .................
.......... ..................................... ....... ..........
........ .............................................................................................................
........... ........................................................................................................ .. ......
........ ...................................................................................................................................................................................................................
.
.
.
.
............... .........................................
... ... ............. ..... ..........
........ .......................... ....
..... ................................... ............
...................................... ........
.................................... ............................................................................
..... ............................... ....... ............
........ ..... ........................ ...
...... ..... ......................... ...
... . ......................... ...... ........
...... ..... ................. ...
........................... ...... .......
.
.
.
.
.
.
.
.
.
.
.
..... .... ... ............ ..
.
.
.
.
.
.
.
.
.
.
.... ................................ .........
.
.
.
.
.
.
.
.
.
.
.
.
........
..... ... ................ ...
. . . ... . . ..
........
......
... ... .................. ...
... .................... ... .....
......
.....
... ... ............. ..
.....
.....
.
.... .................... .... .....
.
.
... ... ............... ...
.
.
...
..
. .. ..... . . .
... ... ... .............. ...
...
...
.... .................... .... ....
.
... .. ............... ...
...
...
... ... ................ ..
.
.
........................... .... ....
...
.
.
... ... .................. ...
...
.... .................... .... ....
....
... ... ............... ...
...
. ..
... ... ... ............... ...
..... .................. ..... .... ....
.....
...
. . . ...... . ..
... . ............ ... ... ...
...
.
.. ... ... ........ ... ..
... .............. ... ... ...
...
..
.
.
.
.
... ... ... ............ ...
.
.
.
...
... ............ ... .. ..
..
... .... ........................ ....
...
... ............... ... ...
.
.
.
.
...
... .................. ... ...
.. .... .................... ....
.
.
.
.
.
.
.
.
...
... ................ ... ...
..
.. .. .. .......... ..
...
... ................ ... ...
...
... .. .. .......... ...
....
..................... ... ...
....
.....
... ... ............... ..
.................... ... ....
.....
......
... ... ................. ..
... ................. ... ....
......
.......
.... ... ................. ...
.......
...........
....................... ..... ......
..... .................................. .....
.
.
............................
.
.
.... ................. ..... ......
.
.
..
... ......................... ...... .......
...... .... ................. .. ...
................................. ...... .........
...... ..... ..................... ..
..... ....................... ......
..
........ ...... ............................ ...
......................................... ........ ......................................... ..........................................................................
....... .................................. ...........
.. . . ... .. . .
..... ......................................... .....................................................................................................................
......... ............................................................................................................ .....
...... .............................................................................................................. .........
....... .. ............................................................................................... .......
........ ....... ............................................................ ........
........... ....... ....... ...... ...........
...........................................
(a)
(b)
....................
Por supuesto los espacios conexos abundan: (Rn , usual), (R, cof initos)
y todo subespacio infinito de este u
ltimo espacio. En el otro espectro, todo
espacio no unitario con la topologa discreta es no-conexo, mientras que todo
espacio con la topologa grosera es conexo.
La siguiente caracterizaci
on para la conexidad en terminos de funciones
continuas, aunque aparentemente no nos exprese directamente el concepto
intuitivo de la conexidad, es u
til y f
acil de aplicar: un espacio topol
ogico
(X, G) es conexo si y s
olo si toda funci
on continua es constante f : X
{0, 1} (el espacio {0, 1} con la discreta).
Es intuitivo que si a un subespacio conexo le agregamos parte de sus
puntos adherentes seguimos teniendo conexidad (ver figura 3.18 (b) donde
agregamos S 1 ). Este es el tema del siguiente teorema.
Teorema 3.71. Sea A un subconjunto conexo de un espacio topol
ogico
(X, G). Si B es tal que A B A, entonces B es conexo.
Teorema 3.72. Sea (X, G) un espacio topol
ogico y A, B una separaci
on de
X. Si C es un subespacio conexo de X, entonces C A
o C B.
Por supuesto la conexidad es respetada por las funciones continuas y por
tanto es un invariante topol
ogico.
Con respecto a la uni
on de conexos podemos afirmar que:
70
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
.....
... ...
.. ...
... ....
..
...
...
...
.........
....
....................
...
....... ..
.
......
...
..
...... ....
.....
.....
.
...
.....
.....
...
...
.
...
.....
.....
...
...
....
..
.....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..... ..
.....
.
...
.... ...
.....
... .....
.....
.....
... ... .... ......
.....
.
.
.....
.
.
.
.
.
.
.. . . ..
......
....
...... ...................... ..........
.............. .............................................
...............................................................
.........
...........
........
....
...
.......
.......
..
...
...........
...........
.
.
.
.
.
.
.
.........
.
.
.
.
.
.
.
.
.
.
....................................... ....... ...
.. ....... ..........................................
...... .................. ...........
.....
. ... .. ...
......
.
.
.
.
.
.
.....
... ..
.
...
.....
... ....
.....
.
.
.
.
.
.
.
.....
... .....
... ..
....
.....
... ......
..... ....
.....
...
.....
...
...
.....
...
.....
..
...
.....
.
...
.....
....
...
.....
......
...
...
..
......
....... ....
....
.....................
...
..........
...
...
.
...
.
.
.
... ..
... ...
.........
............
.... ........
....
..
....
.
.
.
...............
Aunque la intersecci
on de dos espacios conexos no necesariamente es
conexa por que? s lo es su producto cartesiano.
Q
Teorema 3.74. Sea X = Xi , (i I) un espacio producto con la topologa
producto. Si cada espacio coordenado Xi es conexo entonces X es conexo.
La siguiente aplicaci
on de la conexidad es m
as u
til de lo que creemos.
Proposici
on 3.75 (Funciones localmente constantes). Si X, Y son
espacios con X conexo y f : X Y es una funci
on continua que es localmente constante (i.e., para cada x X existe una vecindad Vx para la
cual f |Vx es constante), entonces f es constante sobre todo el dominio X.
Demostraci
on. Si y = f (x) un punto en la imagen de f los conjuntos A =
{x : f (x) = y} y B = {x : f (x) 6= y} son abiertos y complementarios por lo
que se debe tener que B = .
Esta situaci
on es frecuentemente aplicada al tipo Y = {falso, verdadero}
de la manera siguiente. Sea X conexo y P una propiedad que pueden tener
o no los puntos de X, y queremos probar que todos la tienen. Entonces es
suficiente verificar los siguientes hechos:
Existe al menos un punto que satisface a P .
Si x la satisface, lo mismo sucede para todos los puntos suficientemente
cercanos a x.
Si x no la satisface, lo mismo sucede para todos los puntos suficientemente cercanos a x.
3.4. CONEXIDAD
71
O
V
A
T
O
S
N
U
G BIA
U
R
3.4.1.
Un espacio no conexo obviamente puede tener subespacios que s son conexos (los pedazos); entre estos, vamos a analizar a aquellos que son maximales con respecto a la relaci
on de inclusi
on, los cuales nos brindan una
manera natural de definir una partici
on sobre el espacio topol
ogico haciendo uso del concepto de conexidad. En otras palabras, vamos a definir una
relaci
on de equivalencia.
Definici
on 3.76. Sean X un espacio topol
ogico y A un subespacio de X.
Decimos que A es una componente conexa de X o un subespacio conexo
maximal en X si A es conexo y no es subconjunto propio de alg
un otro
subespacio conexo de X.
Como la adherencia de un conexo es de nuevo conexa, entonces las componentes son subconjuntos cerrados del espacio, y cada punto x X pertenece a una u
nica componente: exactamente a la uni
on de todos los conexos
que contienen al punto x (el mayor subespacio conexo que contiene a x).
Por todo lo anterior, el conjunto de las componentes conexas de un espacio
X determinan una partici
on sobre X:
x y : A X conexo, con x, y A.
72
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
3.5.
Caminos
La primera noci
on de conexidad fue dada por K.
Weierstrass en 1.880, la cual en el contexto de R2 intuitivamente significa lo siguiente: un conjunto M R2
es conexo, si dos puntos cualesquiera de M pueden ser
conectados por un camino que no se sale de M . Por
ejemplo, el subespacio W conformado por la uni
on de
un disco y una circunferencia concentricos (ver figura)
es no-conexo seg
un este criterio, ya que todo camino
que vaya del disco a la circunferencia tiene que pasar
por fuera del conjunto W .
Definici
on 3.78. Dado un espacio topologico X, un camino en X es una
funci
on continua f : [0, 1] X. Si f (0) = a, f (1) = b, decimos que f es
un camino desde a hasta b con punto inicial en a y punto final en b.
Los caminos son u
tiles para dar la otra nocion de conexidad.
3.5.1.
Definici
on 3.79. Un espacio topologico X es conexo por caminos si
dados x, y X, existe un camino f con punto inicial en x y punto final en
y esto es, cada par de puntos en X pueden ser unidos por un camino.
Esta definici
on es topologica en el sentido que la imagen por una funcion
continua de un espacio conexo por caminos es conexa por caminos.
Definici
on 3.80 (multiplicaci
on de caminos). Dado un espacio X, en el
conjunto C([0, 1], X) (subconjunto de X I ) de los caminos sobre X, podemos
introducir una operacion interna as: dados dos caminos f, g tales que
f (1) = g(0), definimos otro camino f g como
73
3.5. CAMINOS
O
V
A
T
O
S
N
U
G BIA
U
R
.
.
................
.
.
...
................... ...
.
.
..................
.
.................
................
.
................
.
.
...............
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......
.............
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
........
.......
...
.
............
.....
............ ...
.
.
.
.........
.
.
......
....................................................................................................
.....
.
.......................
.....
.
.
.
.
...
.
.
..............
.
.....
.
.
...
.
.......
.
.....
.
.
.
.
.
.
.
......
..
.
.
.
...... .
.
.....
.
.
.
.
.
.
.
.
.
.
.
.
..........
.
.
.
..
.
..
..
...
.
.
.....
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
.
.....
.
.
.
....
.
.
.
.
.
.
.
.
...
.
..
.
..
.
.
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
...........
.
..
..
.
..
.
.......
.........
.
.
................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
................................................
.
......
.
.
.
................................................
.
............. .......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
................................................
......
.
.
.
................................................
............. .......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.................
.....
.
.
.
.
.
..
..
.
..
..
..
..
..
..
..
..
..
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
.
..
..
..
..
..
..
..
..
..
..
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
....... ............. .........
................ ..
.
.
.... ...........
........................... . ...
.
.
.
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .............
.
..............
.
.
.
.
............. ..
...........................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......... ......
.............
.
.
....... ........
.
...........................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..... ..........
.
.
.
.
.
.
.
.
.
.
.
.
.
... ......................................................
.
.
.
.
.
.
.
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1
2
(
f (2t)
f g(t) =
g(2t 1)
si 0 t 1/2
si 1/2 t 1.
(3.1)
B
asicamente, f g consiste en poner un camino a continuacion del otro,
pero para no gastar m
as tiempo en el recorrido cada uno de los caminos se
recorre ahora a doble velocidad como en la ecuacion 3.1 (f (2t) y g(2t 1)).
f g es una funci
on continua, puesto que f (2t) y g(2t 1) estan definidas
sobre los conjuntos cerrados [0, 1/2], [1/2, 1] y el conjunto donde coinciden
es {1/2}, que es la intersecci
on de los dos intervalos cerrados (para t = 1/2
1
tenemos f (2 2 ) = f (1) = g(0) = g(2 12 1)). La demostracion se basa en
el siguiente hecho bien conocido de extender la continuidad.
Teorema 3.81 (Teorema del pegamiento de funciones). Si A, B son
subconjuntos cerrados del espacio X y existen funciones continuas
f : A Y , g : B Y sobre un espacio Y tales que f y g coinciden
sobre la intersecci
on A B, entonces podemos extender la continuidad a
una funci
on H : A B Y definida de manera natural como h(x) = f (x)
si x A o h(x) = g(x) si x B.
Si f es un camino desde a hasta b en X, entonces existe el camino inverso
fr (el reverso de f ) desde b hasta a dado por fr (t) = f (1 t); notese que fr
tiene el mismo lugar de f , pero su direccion es la contraria.
fr f es entonces un camino cerrado el punto inicial coincide con el
punto final. Por comodidad tambien notaremos fr = f r .
Corolario 3.82. Un espacio topol
ogico X es conexo por caminos si dado
cualquier punto x X, entonces todo otro punto y X puede ser unido por
un camino con x.
74
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Si existiera una separaci
on U, V de X, para un camino
f : [0, 1] X que conecte un punto en U con un punto en V , tendramos
que f 1 (U ), f 1 (V ) sera una separaci
on de [0, 1].
La recproca del teorema anterior no es cierta; un espacio puede ser
conexo y sin embargo tener puntos que no pueden ser conectados por un
camino.
Ejemplo 3.84 (La curva seno del top
ologo). Un espacio que es conexo,
pero no es conexo por caminos es la curva seno del top
ologo (ver figura
3.20).
(0, 0)
( 1 , 0)
3.5. CAMINOS
75
O
V
A
T
O
S
N
U
G BIA
U
R
3.5.2.
Es posible que un espacio X no sea conexo por caminos, pero una parte
de el s lo sea. La siguiente relaci
on en X nos permite reconocer estas partes.
xRy : existe un camino que conecta a x con y.
Esta relaci
on es reflexiva (camino constante), simetrica (camino inverso) y
transitiva (producto ); por tanto de equivalencia.
Definici
on 3.85. El conjunto de clases Cx = [x] (las componentes conexas
por caminos) del espacio X lo notamos 0 (X)4 .
En el caso de la curva seno del top
ologo (figura 3.20), tenemos dos clases
de equivalencia: el segmento de recta vertical y el grafo de la funci
on sen( x1 ).
Evidentemente, X es conexo por caminos si 0 (X) es un conjunto unitario. Si g : X Y es continua, entonces un camino f de x a y en X
induce el camino g f : I Y de f (x) a f (y) en Y . Por tanto, tenemos
una funci
on inducida entre los espacios cociente
0 (f ) : 0 (X) 0 (Y ); dada por 0 (f )([x]) := [f (x)].
0 tiene la bondad de preservar tanto la composici
on de funciones como las
identidades, es decir, 0 (f g) = 0 (f ) 0 (g) y 0 (1X ) = 10 (X) .
4
La notaci
on 0 (X) en la cual 0 act
ua como subndice para la letra es el preludio
de una sucesi
on de conjuntos n (X) que iremos desarrollando a lo largo de este texto.
76
CAPITULO 3. TOPOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
X
- Y
- Z
0 (X)
0 (f )
- 0 (Y )
?
- 0 (Z)
0 (g)
Si f es un homeomorfismo de X en Y entonces
0 (f ) 0 (f 1 ) = 0 (f f 1 ) = 0 (1X )
3.5.3.
N
otese que la condici
on en esta definici
on como es usual cuando se
usa la palabra local es equivalente a exigir que la topologa en X tenga
una base formada por abiertos que sean conexos por caminos, i.e. un SFV
abiertas y conexas.
Teorema 3.87. Si X es un espacio conexo y localmente por conexo por
caminos, entonces X es conexo por caminos.
3.5. CAMINOS
77
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Veamos que un punto cualquiera
x0 X se puede conectar con los dem
as puntos
del espacio, es decir, su componente Cx0 es todo
X.
Por la conexi
on local Cx0 es un abierto. Pero
tambien es un cerrado, pues si y Cx0 existe
una vecindad conexa por caminos Vy Cx0 y
por tanto podemos conectar a y con un punto
en Cx0 y este con x0 . Como Cx0 es abierta y
cerrada Cx0 = X.
O
V
A
T
O
S
N
U
G BIA
U
R
Captulo 4
Homotopa
Contenido
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
72
77
. 77
. 79
. 81
. 88
. 90
100
. 100
. 104
. 110
. 113
122
4.1.
Deformaci
on continua de una funci
on
4.1. DEFORMACION
79
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 4.1. Sean f, g : X Y dos funciones continuas. Una homotopa de f a g es una funci
on continua H : X [0, 1] Y tal que
H(x, 0) = f (x) y H(x, 1) = g(x) para cada x X. Las funciones f y g son
llamadas hom
otopas y las notamos como H : f ' g.
Cambiemos la notaci
on y, para cada x X, t I notemos H(x, t) como
ht (x). Este cambio nos permite ver a H de una manera diferente: para
cada t fijo, la f
ormula x 7 ht (x) define una funci
on ht : X Y de suerte
que H = {ht }t puede ser mirada como familia de funciones continuas ht
parametrizada por t I que conecta de manera continua a h0 = f con
h1 = g, i.e., H es un camino de f a g en el espacio C(X, Y ).
Durante esta homotopa cada punto ft (x) viaja por el segmento parametrizado de lnea recta que une a f (x) con g(x); es decir, f va a g
por medio de los segmentos de recta. Es inmediato que F (x, 0) = f (x) y
F (x, 1) = g(x), luego solo nos resta verificar la continuidad de F .
Sobre el conjunto producto X [0, 1], la topologa dada es la topologa
producto usual de Tychonoff; en otras palabras, los abiertos b
asicos son de
la forma W (a, b) para W X abierto y (a, b) en I.
Dados (x, t) X [0, 1] y B (F (x, y)) encontremos una vecindad W con
(x, t) W X [0, 1] tal que F (W ) B F (x, t).
Para (x, t), (x1 , t1 ) X [0, 1] se tiene que:
F (x1 , t1 ) F (x, t) = (t1 t)(g(x1 ) f (x1 ))
80
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
luego
y si para =
entonces
+ |1 t| + |t| < .
3
3
3
81
4.1. DEFORMACION
O
V
A
T
O
S
N
U
G BIA
U
R
I [1/2, 1]
I [0, 1/2]
F (s, 2t)
G(s, 2t 1)
0 t 12
1
2 t1
donde F y G son las funciones asociadas a las homotopas ft y gt respectivamente. Como H es continua sobre [0, 1] [0, 1/2] y sobre [0, 1] [1/2, 1] ella
es continua sobre todo [0, 1] [0, 1] y ademas para t = 12 , tenemos que las
dos definiciones coinciden: H(s, 12 ) = F (s, 1) = f1 (s) = g0 (s) = G(s, 0).
La definici
on de homotopa es una relacion de equivalencia en el conjunto
C(X, Y ) de todas las funciones continuas de X en Y ; la particion asociada
la notamos (X, Y ), o
[X, Y ] := C(X, Y )/ '
y sus elementos son llamados clases de homotopa (ver la seccion 4.2.3).
Por supuesto, la idea es que este nuevo conjunto sea mas manejable por
ejemplo [R, R] es unitario que el conjunto total C(X, Y ).
82
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Homotopa relativa
Definici
on 4.4. Un par topol
ogico es un par ordenado (X, A), donde X
es un espacio topol
ogico y A es un subespacio de X. Si (X, A) y (Y, B) son
pares topol
ogicos y f : X Y es una funci
on tal que f (A) B escribimos
f : (X, A) (Y, B).
N
otese que la anterior definici
on nos define una categora la cual notamos
Toppares .
Definici
on 4.5. Sean (X, A), (Y, B) pares topol
ogicos y f, g : (X, A)
(Y, B) funciones continuas. Decimos que f es hom
otopa a g relativa a A
si existe una funci
on continua F : (X I, A I) (Y, B) tal que:
1. F (x, 0) = f (x) para cada x X,
2. F (x, 1) = g(x) para cada x X,
83
O
V
A
T
O
S
N
U
G BIA
U
R
g(x) = F1 (x)
t2
t1
Ft1 (x)
f (x) = F0 (x)
Demostraci
on. Seg
un la proposici
on 4.3 solo basta observar que si todas las
funciones involucradas estan de acuerdo sobre A, entonces las homotopas
ya definidas tambien son relativas a A.
En particular, y casi que de manera excluyente, en este captulo estaremos interesados (con todos los detalles) en el caso en que las funciones
involucradas sean caminos cerrados (ver la secci
on 4.2.2).
4.2.
Caminos hom
otopos
4.2.1.
El conjunto 0 ((X, x0 ))
84
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
un camino cerrado si f, g lo son.
(
f (2t)
f g(t) =
g(2t 1)
si 0 t 1/2
si 1/2 t 1.
B
asicamente, f g consiste en poner un camino a
continuaci
on del otro, pero para no gastar m
as
tiempo en el recorrido cada uno de los caminos se
recorre ahora a doble velocidad f (2t) y g(2t1).
(4.1)
f g
f g es una funci
on continua, puesto que f (2t) y g(2t 1) estan definidas
sobre los conjuntos cerrados [0, 1/2], [1/2, 1], y el conjunto donde coinciden
es {1/2}, que es la interseccion de los dos intervalos cerrados (para t = 1/2
tenemos f (2 12 ) = f (1) = x0 = g(0) = g(2 12 1)). La demostracion se basa
en el teorema 3.81.
4.2. CAMINOS HOMOTOPOS
85
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que ((X, x0 ), m) tiene una estructura de monoide topol
ogico(una operaci
on interna que es continua). Ciertamente no existe un eleentico, y por tanto no hay inversos, pues al multiplicar un camino
mento id
cerrado f por el camino cx0 (constante en x0 ) aunque tengamos el mismo
grafo las funciones son diferentes f 6= f cx0 ; tampoco tenemos asociatividad, (f g) h 6= f (g h) donde la diferencia est
a en las velocidades al
recorrer tramos de la misma ruta. El lector debe describirse explcitamente
las funciones f, f cx0 , (f g) h, f (g h).
Como el conjunto (X, x0 ) tiene una estructura topol
ogica, es entonces
natural preguntarse por los caminos en el; es decir, por una funci
on continua
F : [0, 1] (X, x0 ).
Por tanto, una componente conexa por caminos de (X, x0 ) es un conjunto de caminos cerrados en x0 , donde cada uno de ellos puede ser deformado de manera continua en cualquier otro de esa componente. De acuerdo
con la definici
on 3.85 denotamos por 0 ((X, x0 )) el conjunto de las componentes conexas por caminos de (X, x0 ).
4.2.2.
Caminos hom
otopos rel{0, 1}
El grupo fundamental de un espacio X sera definido en terminos de caminos cerrados y deformaciones continuas de caminos. Generalmente es u
til
considerar caminos m
as generales (no necesariamente cerrados) y sus deformaciones, as que comenzamos haciendo explcita esta ligera generalidad.
Definici
on 4.8. Una homotopa de caminos rel{0, 1} en X es una familia
de funciones ft : [0, 1] X con 0 t 1 tal que
1. Los puntos finales de cada camino ft (0) = x0 y ft (1) = x1 son los
mismos para todo t.
86
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
f1
x0
ft
x1
f0
f1
ft
x1
x0
f0
t
f1 (s)
ft (s)
x1
x0
f0 (s)
87
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo 4.9 (Homotopas lineales). (Ver ejemplo 4.2) Dos caminos cualesquiera f, g Rn teniendo los mismos puntos extremos x0 y x1 fijos, son
equivalentes va la homotopa F : I I Rn con F (s, t) = ft (s) =
(1 t)f (s) + tg(s). Durante esta homotopa cada punto f (s) viaja por el
segmento (parametrizado) de lnea recta que une a f (s) con g(s). La continuidad de F se tiene por la continuidad de f y g, ya que las operaciones
de suma de vectores y multiplicaci
on por escalar en la f
ormula de ft son
continuas (luego la funci
on asociada F es continua pues I es Hausdorff y
localmente compacto).
La construcci
on anterior muestra de manera
m
as general que, para un subespacio convexo
Y Rn , todos los caminos en Y con los mismos extremos son hom
otopos.
4.2.3.
Clases de homotopa
88
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
relaci
on de equivalencia. La clase de un camino f la notaremos [f ] y la
llamaremos la clase de homotopa de f .
Proposici
on 4.12. Sean [f ], [g] las clases de homotopa de f y g respectivamente, si el producto f g est
a definido entonces el producto de clases es
definido como
[f ] [g] := [f g].
Est
a bien definido, i.e. no depende del representante de clase.
f1
f0
g1
g0
Demostraci
on. Queremos que si f0 ' f1 va F = {ft }, g0 ' g1 va G = {gt }
y si el producto existe entonces f0 g0 ' f1 g1 va H = {ht } donde ht = ft gt .
La idea es muy f
acil: H sigue a F en la primera mitad del dominio, y a G
4.2. CAMINOS HOMOTOPOS
89
O
V
A
T
O
S
N
U
G BIA
U
R
= f0 (2s)
1
(para s )
2
(F es homotopa entre f0 y f1 )
= (f0 g0 )(s)
(definici
on de ),
y tambien para s
(f1 g1 )(s).
1
2
X [0, 1] Y [0, 1] Z.
90
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
va la homotopa h F .
El monoide 1 (X, x0 )
De manera particular, si nos restringimos al conjunto (X, x0 ) de caminos cerrados en el punto base x0 X del espacio punteado (X, x0 ), hemos
visto hasta ahora que la operaci
on [f ] [g] = [f g] produce una estructura
algebraica de monoide (una operaci
on interna) para el conjunto de todas las
clases de equivalencia por homotopa (ya veremos que tenemos mucho m
as,
tenemos toda una estructura de grupo, teorema 4.16). Este u
ltimo monoide
lo notamos
1 (X, x0 ) := {[f ] : f (X, x0 )}.
Treinta a
nos despues los grupos de homotopa superior (ndices n 0)
fueron definidos por Witold Hurewicz (19041956) en 1935. Recordemos que
existe tambien la notaci
on 0 (X, x0 ) pero en general no es un grupo, es el
conjunto de componentes conexas por caminos del espacio X. Aunque no
existe una multiplicaci
on natural en el, a menos que X sea equipado con
estructuras adicionales especiales, existe una unidad natural, la componente
conteniendo a x0 .
Existe otra manera elegante de probar la homotopa entre funciones: va la
noci
on de reparametrizaci
on.
Definici
on 4.15. Por una reparametrizaci
on de un camino f : [0, 1]
X entenderemos la composici
on f , con un camino : [0, 1] [0, 1] tal
que (0) = 0 y (1) = 1 (su grafo est
a en el cuadrado [0, 1] [0, 1]).
Esta composici
on es de nuevo un camino cerrado si f as lo era. B
asicamente la diferencia entre f y f es que cambia la velocidad o ritmo
4.2. CAMINOS HOMOTOPOS
91
O
V
A
T
O
S
N
U
G BIA
U
R
con que vamos dibujando el mismo grafo (ocupan el mismo lugar fsico) para
ambos caminos.
Cuando un camino se reparametriza se conserva su clase de homotopa
ya que f ' f va la homotopa H : [0, 1] [0, 1] X con ht = f t
donde t (s) := (1 t)(s) + ts, con lo que 0 = y 1 (s) = s; es decir,
H(s, t) = f ((1 t)(s) + ts) con H(s, 0) = f (0 (s)) = (f )(s) y H(s, 1) =
f (1 (s)) = f (s).
N
otese que (1 t)(s) + ts est
a entre (s) y s y por tanto est
a en [0, 1],
con lo cual la compuesta f t est
a bien definida.
Demostraci
on. Ya vimos con amplio detalle que el producto est
a bien definido dado que los caminos son cerrados y no depende del representante de
la clase, es decir, si f ' f 0 y g ' g0 entonces f g ' f 0 g0 .
Asociatividad. Dados los caminos f, g, h con f (1) = g(0) y g(1) = h(0)
los productos f (g h) y (f g) h est
an definidos por el uso repetido de la
ecuaci
on 4.1. El producto de caminos introduce cambios en la velocidad y
lo que necesitamos es una homotopa correctora que los controle.
1
esta
funci
o
n
vale
(g
h)(2s
1)
el
cual
a
su
vez se descompone
2
1
1
en dos valores: para 0 2s 1 2 , o lo que es igual 2 s 34 tenemos
(g h)(2s 1) = g(2(2s 1) 1) = g(4s 2), mientras que para 34 s 1
tenemos (g h)(2s 1) = h(2(2s 1) 1) = h(4s 3). En resumidas tenemos
que:
0 s 1/2
f (2s),
f (g h)(s) = g(4s 2), 1/2 s 3/4
f (4s),
(f g) h(s) = g(4s 1),
h(2s 1),
0 s 1/4
1/4 s 1/2
1/2 s 1.
f (g h) es una reparametrizaci
on de (f g) h por medio de la funci
on lineal
a trozos : [0, 1] [0, 1] donde
92
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
2 s,
(s) = s 14 ,
2s 1,
s [0, 12 ];
s [ 12 , 34 ];
s [ 34 , 1].
Efectivamente,
1
1
1
(f g) h( 2 s) = f (4 2 s) = f (2s), 0 s 2 lo que
coincide con 0 12 s 14 ,
(f g)h((s)) =
1
3
2 s 4
cx0 f (s) = cx0 (2s) = x0 para s [0, 12 ] y cx0 f (s) = f (2s 1) para s [ 12 , 1]
con lo cual cx0 f = f .
Reparametrizando con el camino definido por la segunda figura de la
gr
afica, obtenemos f cx0 ' f , es decir, [cx0 ] [f ] = [f ].
Por tanto, [cx0 ] (la clase de homotopa del camino constante a x0 ) es el
elemento neutro de 1 (X, x0 ).
Existencia de inversos. Para un camino f cerrado en x0 , la clase del camino
inverso f r sera tambien su inverso algebraico a izquierda, es decir, f r f '
cx0 . Intuitivamente, si primero recorremos el camino f y a continuaci
on
desandamos los pasos, es como si hubiesemos permanecido en el punto x0 ,
a la larga no nos desplazamos de x0 .
93
O
V
A
T
O
S
N
U
G BIA
U
R
f (2s),
H(s, t) = f (t),
f (2s 1),
fr
s [0, 1t
2 ];
1t 1+t
s [ 2 , 2 ];
s [ 1+t
2 , 1].
x0
94
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
4.2.4.
s
x0
x1
Demostraci
on. Sea s : I X un camino de x0 a x1 y sea sr (s) = s(1 s)
el camino inverso de x1 a x0 . A cada camino f cerrado en x0 asociamos el
camino sr f s, definido por (sr f ) s ' sr (f s) con lo cual tenemos una
funci
on [f ] [sr f s]. La funci
on de traslaci
on Ts : 1 (X, x0 )
1 (X, x1 ) definida por Ts ([f ]) = [sr f s] y la funcion Tsr : 1 (X, x1 )
1 (X, x0 ) con Tsr ([q]) = [s q sr ] estan bien definidas y son homomorfismos
ya que
Ts [f g] = [sr f g s] = [sr f s sr g s] = Ts [f ] Ts [g].
(De manera similar para Tsr ). Ademas, cada compuesta es la respectiva
identidad, esto es,
Ts (Tsr ([q])) = Ts [s q sr ] = [sr s q sr s] = [q]
con lo que Ts Tsr = id1 (X,x1 ) y as Ts es un isomorfismo de grupos.
95
O
V
A
T
O
S
N
U
G BIA
U
R
1. Ts es un homomorfismo de grupos,
2. Si u es un camino conectando x0
con x1 y v es un camino conectando
x1 con x2 entonces Tuv = Tv Tu .
En otras palabras tenemos que el siguiente diagrama conmuta.
1 (X, x0 )
Tu
- 1 (X, x1 )
Q
Q
Q
Tuv Q
Q
s
Q
Tv
1 (X, x2 )
5. Tsr = Ts1 .
6. Ts es un isomorfismo para cada camino s.
7. Para cada par de puntos x0 y x1 que pertenezcan a la misma componente conexa por caminos de X los grupos, 1 (X, x0 ) y 1 (X, x1 ) son
isomorfos.
Si X es conexo por caminos, [x0 ] = X y entonces 1 (X, x0 ) es independiente (salvo isomorfismo) del punto base y por tanto la notaci
on 1 (X) es
suficiente si no queremos distinguir entre grupos isomorfos.
Un caso especial del isomorfismo Ts sucede cuando s (X, x0 ), esto
es, s es un camino cerrado en x0 . Entonces Ts : 1 (X, x0 ) 1 (X, x0 )
es ahora un automorfismo que solo depende de la clase [s] en 1 (X, x0 ).
Como Ts ([v]) = [s]1 [v][s] tenemos entonces un automorfismo interior de
acuerdo con la definici
on de los grupos (p
agina 12). El conjunto de todos los
automorfismos interiores Ts se reduce al automorfismo identidad si y solo si
1 (X, x0 ) es abeliano.
96
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo 4.19. En el espacio X formado
por la uni
on de un disco cerrado y un anillo circular, los puntos bases x0 y x1 son
fundamentales pues se trata de un espacio
con dos componentes conexas por caminos;
as 1 (X, x1 ) = {0}, mientras que de manera
intuitiva para el camino cerrado f que bordea
la circunferencia tenemos [f ] 6= [Cx0 ], puesto
que f est
a amarrado por los extremos a x0
y debe permanecer as durante la homotopa
ya que tenemos homotopa rel {0, 1}.
x1
x0
Definici
on 4.20. Un espacio se dice simplemente conexo si es conexo
por caminos y ademas 1 (X) = {0}. (Por el teorema 4.18 no importa cual
punto sea usado como punto base.)
4.2.5.
1 (S 1 ), lo intuitivo
4.2. CAMINOS HOMOTOPOS
97
O
V
A
T
O
S
N
U
G BIA
U
R
demostraci
on a mano, a fin de continuar con el prop
osito de tener demostraciones detalladas y motivadas.
98
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
S1
Cada intervalo unitario [0, 1], [1, 2], . . . , [n, n + 1], . . . da una vuelta alrededor de S 1 . Esta funcion puede ser visualizada como: se sumerge a R en
R3 pero en forma de helice (o escalera en caracol) por medio de la parametrizaci
on t 7 (cos 2t, sen 2t, t) con lo que p es la restriccion a la helice de
la proyecci
on R3 R2 dada por (x, y, z) 7 (x, y) (la funcion p enrrolla
a R alrededor de S 1 un n
umero infinito de veces).
Para cada n Z definimos el camino cerrado
n : [0, 1] S 1 como
en
[0, 1]
p
?
- S1
El efecto de p
en es enrollar al intervalo [0, 1] n-veces alrededor de la
circunferencia en sentido contrario de las manecillas del reloj si n es positivo,
o en el sentido de las manecillas del reloj si n es negativo.
La relaci
on n = p
en se expresa diciendo que
en es un levantamiento
de n (o que levanta a n ).
De manera m
as general, si p : X B y f : A B son
funciones cualesquiera, una funcion g : A X tal que
p g = f se llama un levantamiento de f . Una gran
cantidad de problemas topologicos algunos de ellos
ya resueltos y ahora llamados teoremas pueden ser
planteados en terminos de existencia de levantamientos, problemas de levantamiento.
X
?
- B
99
O
V
A
T
O
S
N
U
G BIA
U
R
2
1
0
Figura 4.7: Las dos vueltas de 2 en S 1 se convierten en dos pasos del espiral R.
Notese que, n (0) = p(0) = (1, 0) y n (1) = p(1) = (1, 0) con lo que
n es un camino cerrado con punto base (1, 0), y as define un elemento
[n ] 1 (S 1 ). El objetivo ser
a utilizar este hecho
para mostrar la existencia
de un isomorfismo de grupos : S 1 , (1, 0) Z. Por supuesto esto
requerir
a toda la energa siguiente de definiciones, lemas y teoremas.
p(n 1 ,n+ 1 ) : n , n +
U1
2
2
2
2
U1
100
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
p1 (U1 ) =
-2
1
2
-1
n+
1
2
R
fe
[0, 1]
p
f
?
- S1
Demostraci
on. (Por inducci
on en la definici
on de fe). Se puede pensar en
e
f como si se cortara al camino f por el punto base y se desenrollar
a hacia
arriba en R (ver figura 4.7). Aunque no podemos escribir fe = p1 f porque
p no es inyectiva, si lo podemos hacer en los intervalos donde tenamos
homeomorfismo local y este es el hecho con el cual levantaremos peque
nos
trozos [ti , ti+1 ] de [0, 1].
101
O
V
A
T
O
S
N
U
G BIA
U
R
Dado que [0, 1] es compacto, por el lema de Lebesgue aplicado al cubrimiento {f 1 (U1 ), f 1 (U2 )} de [0, 1], existen puntos 0 = t0 < t1 < < tm = 1
tales que para cada [ti , ti+1 ] se tiene f ([ti , ti+1 ]) U1
o f ([ti , ti+1 ]) U2 , es
decir, [ti , ti+1 ] est
a en f 1 (U1 )
o f 1 (U2 ).
fe
t1
p |1
p|
f
fe : [0, t1 ]
U1 S 1
R como fe(s) := p |1
(f (s)),
( 12 , 12 )
para 0 s t1 , es decir, fe := p |1
f .
( 12 , 12 )
Como hip
otesis de inducci
on (sobre k) suponemos que fe ya est
a definida
sobre [0, tk ] y veamos que podemos extender la definici
on a [tk , tk+1 ] (esto
es, sobre [t0 , tk+1 ]).
El punto f (tk ) esta en U1 o en U2 . Si f([tk , tk+1 ]) U1 y si el punto inicial
del levantamiento fe(tk ) n 12 , n + 12 , entonces para el homeomorfismo
p |(n 1 ,n+ 1 ) : n 12 , n + 12
U1 consideramos su inversa p |1
y
(n 12 ,n+ 12 )
2
2
definimos
fe(s) := p |1 1
f (s) para s [tk , tk+1 ].
(n 2 ,n+ 12 )
102
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
La funci
on queda bien pegada, esto es, es continua por el teorema de
pegamiento de funciones.
Si por el contrario se tuviera que f ([tk , tk+1 ]) U2 entonces fe(tk )
(n, n + 1) para alg
un n y definiramos
fe(s) := p |1
(n,n+1) f (s) para s [tk , tk+1 ].
Demostraci
on. Si definimos h = fe ge, entonces
p fe(t)
e
p h(t) = p (fe(t) ge(t)) = e2i(f (t)eg (t)) =
= (1, 0)
p ge(t)
es la funci
on constante al punto (1, 0) S 1 y por tanto h es una funci
on
continua que solo puede tomar valores enteros; como X es conexo entonces
h es constante y como h(x0 ) = 0 entonces h(x) = 0 para todo x X, con lo
cual fe = e
g.
El teorema 4.23 puede ser enunciado de una manera m
as general. Si f es
1
1
un camino en S , el cual comienza en el punto q S , podemos encontrar
un u
nico camino fe en R para el cual p fe = f y que comience en cualquier
punto preasignado de p1 (q).
Esto termina la demostraci
on del teorema 4.23.
103
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que, como (p fe)(1) = f (1) = (1, 0) entonces
entero (mide el n
umero de veces que f se envuelve
as definir finalmente la funci
on llamada la funci
on
: 1 S 1 , (1, 0) Z
fe(1) es un n
umero
en S 1 ) y podemos
grado
est
a bien definida (no depende del camino que represente a la clase):
Si g [f ] por los levantamientos fe y ge tenemos fe(1) = e
g(1).
3
p
?
F[0, 1] [0, 1]
S1
Fe
Demostraci
on. La construcci
on del levantamiento sigue una rutina similar
al caso anterior de levantamiento de caminos, y se basa en la observaci
on
de que para cada s, t I las restricciones F |{s}I , F |I{t} son esencialmente
caminos en S 1 cerrados en (1, 0).
Consideremos nuestro cubrimiento abierto can
onico U = {U1 , U2 } de S 1 ,
1
luego F (U) es un cubrimiento abierto de I I y sea > 0 su n
umero de
Lebesgue, con lo cual la imagen por F de un cuadrado de lado est
a contenida en U1
o U2 . (Hemos construido una retcula para [0, 1] [0, 1] ver figura
4.9).
Por el teorema 4.23 (levantamiento u
nico de caminos) podemos levantar
primero la lnea horizontal inferior I {0} (correspondiente al camino fe) y
a continuaci
on las lneas verticales {n} I ya que los puntos iniciales de
104
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
t
1
n 1 s
|( 1 , 1 ) :
2 2
1 1
,
2 2
U1
1
n
n 1
4.2. CAMINOS HOMOTOPOS
O
V
A
T
O
S
N
U
G BIA
U
R
105
fila. N
otese, que en cada paso la funci
on Fe ya definida es continua (pegamiento de funciones) y que con un n
umero finito de pasos agotamos a
I I.
La unicidad se sigue del hecho de que cada Fe |{n}I es u
nica, de hecho,
e
e
una vez el valor de F en (0, 0) es definido, toda F es determinada completamente.
Adem
as, como p Fe0 = F0 = f y p Fe1 = F1 = g tenemos que Fe0 = fe y
Fe1 = e
g (levantamiento u
nico de caminos) y por tanto
fe(1) = Fe(0, 1) = Fe(1, 1) = ge(1).
(4.2)
Lazos hom
otopos tienen levantamientos hom
otopos y, por tanto, con los
mismos extremos.
es un homomorfismo de grupos. Si [f ], [g] S 1 , (1, 0) , veamos
que
([f ][g]) = ([f ]) + ([g]).
Sean ([f ]) = fe(1) = m y ([g]) = ge(1) = n. Definimos la traslaci
on
106
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
4.3.
4.3.1.
Homomorfismos inducidos
f (2t),
g(2t 1),
si 0 t 12 ,
si 12 t 1,
107
O
V
A
T
O
S
N
U
G BIA
U
R
as que h (f g) = (h f ) (h g).
Luego hemos demostrado el siguiente resultado, que aunque sencillo, es centro de la teora.
- 1 (X, x0 )
h
(Y, y0 )
n
- 1 (Y, y0 )
m
108
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
3. Si m ' n rel{x0 }, entonces m = n .
- 1 (Y, y0 )
Ts
1 (X, x1 )
Tf s
?
- 1 (Y, y1 )
109
O
V
A
T
O
S
N
U
G BIA
U
R
La funci
on f es como doblar a A para obtener a S 1 . Para el camino
w A cerrado en el punto (2, 0) y dado por w(t) = (1 + cos t, sen t) tenemos
que f ([w]) = [v] donde v es el camino generador en 1 (S 1 , (1, 0)) con v(t) =
(cos t, sen t).
{0}
1 (C, (2, 0)) Z
donde el primer homomorfismo es isomorfismo y el segundo es epimorfismo pues la imagen por g de la clase de homotopa [(2cos t, 2 sen t)] es el
generador [(cos t, sen t)] en 1 (S 1 , (1, 0)), y esto implica la existencia de un
epimorfismo del grupo trivial {0} en el grupo cclico infinito Z. La sobreyectividad de g implica que 1 (C, (2, 0)) esta lejos de ser trivial (ver el ejemplo
4.38).
110
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
4.3.2.
Retracciones y retractos
Definici
on 4.29. Una retracci
on de un espacio topol
ogico X sobre un
subespacio A X es una funci
on r : X A continua y tal que r|A = idA .
A se llama entonces un retracto de X, en el sentido de que el espacio se ha
retrado de manera continua a un subespacio.
Si r : X A una funci
on continua de un espacio topol
ogico X sobre
un subespacio A X, entonces las siguientes afirmaciones son equivalentes:
1. r es una retracci
on.
3. r i = idA para A , X
A donde i es la inclusi
on.
4. r : X A es una extensi
on de idA : A A.
5. En terminos categ
oricos r admite un inverso a derecha.
6. Cualquier funci
on continua A Y para cualquier espacio Y puede ser
extendida a una funci
on continua X Y .
a
a
111
O
V
A
T
O
S
N
U
G BIA
U
R
Proposici
on 4.31. Si r : X A es una retracci
on, i : A , X es la
inclusi
on y x0 A, entonces r : 1 (X, x0 ) 1 (A, x0 ) es un epimorfismo
y i : 1 (A, x0 ) 1 (X, x0 ) es un monomorfismo.
i
Demostraci
on. Como r i = idA para A , X
A, tenemos que los
homomorfismos inducidos
i
112
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Sea h : D2 D 2 una
funci
on continua. Si h(x) 6= x para todo
x D2 definimos r : D 2 S 1 como
r(x) igual al punto de S 1 donde la semi
recta h(x), x corta a S 1 . Como h es continua (puntos cercanos tienen im
agenes cercanas) r es continua, y adem
as si x S 1
entonces r(x) = x, luego r es una retracci
on y esto es una contradicci
on en virtud
del teorema 4.32.
r(x) = x
h(x)
r(x)
h(x)
113
O
V
A
T
O
S
N
U
G BIA
U
R
3. Para todo objeto X Ob(K) se tiene T (idX ) = idT (X) . Se dice que el
funtor es contravariante si invierte las flechas.
Los funtores olvido. Parten de un conjunto con una estructura,
olvidan la estructura y entregan al conjunto:
T : Top Conj.
T : Grupos 7 Conj.
114
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 4.34. Dada una categora C decimos que f C con f : X Y
es una equivalencia si existe g C tal que f g y g f son las respectivas
identicas. Decimos en tal caso que X, Y se dicen equivalentes.
Teorema 4.35. Si T es un funtor de la categora C a la categora D, entonces T enva equivalencias en equivalencias; es decir, si X D Y entonces
T (f ) : T (X) C T (Y ).
Demostraci
on. Asumamos que T es covariante (el argumento es similar si
T es contravariante). Sea f : X Y una equivalencia y sea f 1 : Y X
su inversa. Como f 1 f = idX y f f 1 = idY , T (f 1 ) T (f ) = idT (X) y
T (f ) T (f 1 ) = idT (Y ) , con lo cual T (f ) es una equivalencia.
Como ya lo hemos dicho repetidamente, un problema cl
asico en topologa
es la clasificaci
on de los espacios en equivalencias en Top. En otras palabras,
es poder decidir si un espacio X es homeomorfo a otro espacio Y o no. La
idea b
asica de la topologa algebraica es introducir varios funtores desde la
categora de los espacios topol
ogicos y las funciones continuas, a categoras
algebraicas como la categora de los grupos, la categora de los grupos
abelianos, la categora de los grupos graduados, etc. entre ellos los funtores,
grupo fundamental, homotopa, homologa, etc.
115
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. La idea b
asica en la demostraci
on es muy sencilla: cada cosa trabaja de manera independiente en las dos coordenadas de X Y .
pX
pY
pY
1 (X, x0 )
1 (X, x0 ) 1 (Y, y0 ) 1 (Y, y0 ),
116
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que el grupo (Z Z, +) tiene dos generadores (0,1) y (1,0), los cuales corresponden a
las clases de homotopa de los caminos cerrados
a, b : [0, 1] S 1 S 1 como en la figura. Como
1 (S 1 ) no depende del punto base, igual sucede
para 1 (T ).
4.3.3.
117
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 4.39. Sean X, Y espacios topol
ogicos. Decimos que X es equivalente homot
opicamente a Y , o que X es del mismo tipo de homotopa que Y si existen funciones f : X Y , g : Y X, tales que
f g ' idX , g f ' idY .
La relaci
on X Y en T opH la notamos X ' Y . N
otese que g es una
inversa hom
otopa a izquierda de f (y viceversa), es decir, g es inversible
por homotopa. f se llama una equivalencia para homotopa.
La relaci
on X ' Y es en efecto una relaci
on de equivalencia en Top: Las
propiedades reflexiva y simetrica son inmediatas. La relaci
on es transitiva,
pues dadas f, g equivalencias para X ' Y y u, v para Y ' Z entonces
(secci
on 4.3.1)
g v u f ' g idY f = g f ' idX
y
u f g v ' u idY v = u v ' idZ .
Luego X y Z son del mismo tipo de homotopa. Pero hemos probado m
as
de la cuenta, esto es, que la composici
on de dos equivalencias de homotopa
es una equivalencia de homotopa con inverso de homotopa la composici
on de
los inversos de homotopa.
Notemos por [X]' la clase de todos los espacios equivalentes homot
opicamente a X. Por supuesto, si X Y (i. e. son homeomorfos) tenemos que
X ' Y , esto es [X] [X]' , pero en sentido contrario estamos lejos de la
igualdad. Luego la clasificaci
on de espacios por medio de ' es m
as gruesa
que por . Veamos el ejemplo siguiente.
Ejemplo 4.40 (Equivalencias S
no equivalentes). En R2 consideremos
1
1
los subespacios X = S y Y = S {(x, 0)|1 < x < 2} como en la figura.
118
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 4.41. Sea (X, x0 ), (Y, y0 ) dos espacios punteados y f : X Y ,
g : Y X funciones homotopas inversas tales que f (x0 ) = y0 , g(y0 ) = x0
y adem
as las homotopas correspondientes de f g a idY y g f a idX son
fijas en y0 y x0 respectivamente. Entonces decimos que (X, x0 ) y (X, y0 ) son
equivalentes homot
opicamente como espacios punteados.
Teorema 4.42. Si (X, x0 ) y (Y, y0 ) son equivalentes homot
opicamente como espacios punteados (i. e. las homotopas involucradas son rel {0, 1}),
entonces 1 (X, x0 ) 1 (Y, y0 ).
Demostraci
on. Si f : (X, x0 ) (Y, y0 ) y g : (Y, y0 ) (X, x0 ) son dos
homotopas recprocas, la una inversa de la otra, entonces (g f ) = g f
es la identidad en 1 (X, x0 ) y f g es la identidad en 1 (Y, y0 ), luego f
es un isomorfismo.
Corolario 4.43. Si h : (X, x0 ) (Y, y0 ) es un homeomorfismo, entonces
h : 1 (X, x0 ) 1 (Y, h(x0 )) es un isomorfismo.
119
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo 4.44. El plano perforado R2 {0}
es del mismo tipo de homotopa que S 1 . Defix
namos g : R2 {0} S 1 como g(x) = kxk
la cual tiene como inversa la funci
on inclusi
on
i : S 1 R2 {0}. Es claro que g f = idS 1 y
que idR2 {0} ' f g va la homotopa G(x, t) =
x
(1t)x+t
. Las flechas en el dibujo indikxk
can de que manera se mueven los puntos durante
la homotopa.
4.3.4.
La noci
on intuitiva de una deformaci
on es la siguiente. Un espacio es deformable (retrable de manera continua) a un subespacio A X si X puede
ser aplastado poco a poco o contrado de manera continua a Y . Aplastado poco a poco significa que tenemos una especie de homotopa pero
con espacios topol
ogicos en lugar de caminos. Por ejemplo un cuadrado es
contrable de manera continua a uno de sus lados, o la letra en negrilla
O (es como una corona) es contrable a la letra normal O (es como una
circunferencia), o la cinta de M
obius a su circunferencia interior.
N
otese que las retracciones por deformaci
on son f
aciles de visualizar y
son un tipo muy particular de equivalencias homot
opicas. La definici
on es
la siguiente.
Definici
on 4.45. Sean X un espacio topol
ogico y A X. Decimos que A
es retracto por deformaci
on de X si existe una retracci
on r : X A que
es inversa hom
otopicamente a la inclusi
on i : A , X. En otras palabras,
r i ' idA y i r ' idX (rel A) (ver definici
on 4.5). Esto es, existe una
homotopa H : X I X para la cual
1. Cada punto a A permanece fijo durante la deformaci
on, H(a, t) = a
120
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
X
A
O
V
A
T
O
S
N
U
G BIA
U
R
121
Ejemplo 4.46.
7. Este ejemplo, figura 4.13, nos produce tres espacios que son retracciones por deformacion de un disco con dos agujeros: la uni
on por un
punto de dos circunferencias, dos circunferencias unidas por un segmento de recta y finalmente a la union de tres arcos con puntos finales
en com
un (algo as como la letra ). Curiosamente estos retractos por
122
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
deformaci
on no son homeomorfos entre s. Que sucede si a cambio de
dos agujeros consideramos n agujeros?
123
O
V
A
T
O
S
N
U
G BIA
U
R
generadores ya que T {p}
8 (figura 4.14).
Corolario 4.47. Si X
A, entonces X ' A.
Demostraci
on. Es consecuencia directa de la definici
on 4.45.
Corolario 4.48. Si X
Demostraci
on. Por el teorema 4.42 tenemos que r : 1 (X, x0 ) 1 (A, x0 )
y i : 1 (A, x0 ) 1 (X, x0 ) son isomorfismos cada uno inverso del otro.
Ejemplo 4.49. 1 (R2 {0}, x0 )
= 1 (S 1 , x0 )
= Z para x0 = (1, 0).
Esto implica que R2 {0} y R2 no son homeomorfos.
124
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
, o,
125
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Si X es contr
actil, existe un punto p X tal que X ' {p}.
Sean f : X {p} y g : {p} X tales que f g ' 1{p} y g f ' 1X luego
la funci
on constante g f = cg(p) es hom
otopa a 1X .
Para la otra implicaci
on sean x0 X tal que 1X ' cx0 y i : {x0 } , X,
entonces i cx0 ' 1X y cx0 i ' 1{x0 } con lo cual X ' {x0 }.
N
otese que hemos probado adem
as que X
Un espacio contr
actil puede aparentemente 1/2
lucir que no lo es; por ejemplo, el espacio
peinilla en la gr
afica s lo es. Si queremos
tener una homotopa entre la funci
on identidad y la funci
on constante al punto (0, 1/2).
Cada diente de la peinilla se contrae hasta el
eje x y de ah contraemos el segmento [0, 1]
al origen.
x0 .
Para demostrar que dos espacios que tengan el mismo tipo de homotopa
tienen grupos fundamentales isomorfos, debemos preguntarnos que sucede
con respecto al teorema 4.42 si tenemos una homotopa entre dos funciones
continuas de X en Y tales que el punto base en X no permanece fijo durante
la homotopa? Veamos el siguiente lema acerca de las homotopas que no
dejen fijo al punto base (i. e., no son rel{x0 }).
Lema 4.54 (Se factoriza por isomorfismos). Si H : f ' g : X Y
es una homotopa y : I Y es el camino (t) := Ht (x0 ) de f (x0 ) a
g(x0 ) (el camino formado por todas las im
agenes del punto x0 ) entonces el
126
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
siguiente diagrama conmuta,
1 (Y, f (x0 ))
*
f
1 (X, x0 )
HH
g HH
j
1 (Y, g(x0 ))
Demostraci
on. Si recordamos la definici
on de T ([m]) = [r m ] en el
teorema 4.18 debemos entonces demostrar que, dado un camino m en X
cerrado en x0 se tiene que las im
agenes g ([m]) = [g m] y T (f ([m]))=
r
[ (f m) ] son hom
otopas rel {0, 1}.
Consideremos la funci
on G : I I Y dada por G(s, t) = H(m(s), t)
como en la figura siguiente (en cada punto del camino en Y colocamos el
m
t
camino cerrado correspondiente a ht m : I X
Y)
g(x0 ) = h1 (x0 )
ht (x0 )
gm
ht m
s
f (x0 ) = h0 (x0 )
f m
r
(4s)
s [0, 1t
4 ],
4s + t 1
1+t
F (s, t) = G
,t
s [ 1t
4 , 2 ],
3t + 1
(2s 1)
s [ 1+t
2 , 1].
127
O
V
A
T
O
S
N
U
G BIA
U
R
1 (X, x0 ) 1 (Y, f (x0 )) 1 (Y, g(f (x0 ))) 1 (Y, f (g(f (x0 )))).
Si aplicamos el lema 4.54 a la compuesta de los dos primeros (el cual es un
isomorfismo puesto que gf ' 1X ) tenemos que g f = (gf ) = T 1X =
T (tal T existe y es un isomorfismo), luego f es monomorfismo; de manera
similar se tiene que, la composici
on del segundo con el tercer homomorfismo
es un isomorfismo y por tanto f es un epimorfismo.
Corolario 4.58. Si dos espacios conexos por caminos son del mismo tipo
de homotopa entonces sus grupos fundamentales son isomorfos.
4.4.
Una herramienta u
til en el calculo del grupo fundamental es el teorema
de SeifertVan Kampen. Este resultado fue introducido de manera independiente por Seifert (1931) y Van Kampen (1933). El objeto de esta secci
on es
presentar el teorema con algunas de sus aplicaciones.
128
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Espacio
Convexo en Rn
Circunferencia
Plano punteado
Corona
Cilindro
Cinta de M
obius
n
S ,n2
Toro
Toro s
olido
RP n , n 2
Toro perforado
Grupo fundamental
Trivial
Z
Z
Z
Z
Z
Trivial (ver ej. 4.66)
ZZ
Z
Z2 , ejemplo 5.27
[{a, b}; ] grupo libre con 2 generadores
[{a, b}; ] grupo libre con 2 generadores
b
x0
129
O
V
A
T
O
S
N
U
G BIA
U
R
deducir para el grupo fundamental del propio X?
1 (X1 )
1 (X)
6
j2
H
Y
HH
i0
H
Y
H
i1 H
1 (X0 )
*
i2
1 (X2 )
x0
X1
X1 X2
X2
130
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
a
X1
X2
Demostraci
on. Para v tenemos que
(
(
t [0, 12 ],
u0 (2t)
u(2rt)
u0 u1 (t) =
=
1
u1 (2t 1) t [ 2 , 1],
u(r + (1 r)(2t 1))
t [0, 12 ],
t [ 12 , 1].
131
O
V
A
T
O
S
N
U
G BIA
U
R
a3
b3
a2
bi
a1
el cual es hom
otopo al camino cerrado a. Notese que este camino es un
producto de caminos cerrados bk ak brk+1 (indicados entre parentesis) que
estan solo en X1
o X2 ; luego, [a] es una palabra en 1 (X ) con = 1, 2,
esto es, en 1 (X1 ) 1 (X2 ), posiblemente sin reducir.
Por tanto el grupo 1 (X, x0 ) puede ser visto como el producto libre de
1 (X1 , x0 ) con 1 (X2 , x0 ) m
odulo las relaciones previamente mencionadas
(el producto amalgamado de la seccion 2.8.1).
La siguiente es la presentaci
on clasica del teorema de SeifertVan Kampen.
Teorema 4.62 (SeifertVan Kampen). Sea (X, x0 ) un espacio punteado el cual podemos expresar como la uni
on X = X1 X2 con X1 , X2 abiertos
y con x0 X0 := X1 X2 . Usamos el punto x0 como punto base para X1
y X2 . Si i1 : 1 (X0 , x0 ) 1 (X1 , x0 ), i2 : 1 (X0 , x0 ) 1 (X2 , x0 ) son
los homomorfismos inducidos por las inclusiones y {A; RA }, {B; RB } son
representaciones de 1 (X1 , x0 ) y 1 (X2 , x0 ) respectivamente, entonces
{A, B; RA , RB , i1 ([a])i2 ([a])1 , [a] 1 (X0 , x0 )}
es una representaci
on de 1 (X). (Cada elemento 1 (X, x0 ) puede ser
expresado como un producto = 1 2 n donde para cada i, o bien i
1 (X1 ) o i 1 (X2 )).
Corolario 4.63. Si el espacio X0 resulta ser simplemente conexo, es decir,
1 (X0 , x0 ) = {e} entonces 1 (X) = 1 (X1 ) 1 (X2 ).
Corolario 4.64. Si 1 (X1 , x0 ) y 1 (X2 , x0 ) son triviales entonces 1 (X, x0 )
es tambien el grupo trivial.
Ejemplo 4.65. Para la figura ocho, utilizamos el cubrimiento siguiente
!
132
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
X=
X1
X2
X0
X2
X1
X0
133
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Si existiera un homeomorfismo f : R2 Rn entonces
2
R {0} Rn {f (0)}; pero como S 1 y S n1 son, respectivamente retractos
por deformaci
on de estos dos u
ltimos espacios tenemos que
Z = 1 (R2 {0}, 1) 6= 1 (Rn {f (0)}, 1) = 1 (S n1 , 1) = {e}.
Ejemplo 4.68. R2 {dos puntos} es equivalente homot
opicamente a la
figura ocho o , as que 1 (R2 {dos puntos}) es tambien el grupo libre
con dos generadores. M
as a
un, puede ser mostrado que 1 (R2 {n puntos})
es el grupo libre con n generadores (ver ejemplo 4.69).
Versi
on general del teorema de SeifertVan Kampen
W
W abierta A =
X
U . La intersecci
on de dos o m
as vecindades A es U la cual es
6=
un retracto de deformaci
on a un punto. Entonces el teorema de SeifertVan
Kampen implica que : 1 (X ) 1 ( X ), es un isomorfismo.
134
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo
4.69 (Bouquet). Para el espacio
W 1
1 S 1 S 1 (n-veces) y llamado
S
=
S
n
una flor de n petalos se tiene que 1 (n S 1 )
es un grupo libre con n generadores, donde cada generador est
a representado por un camino
que recorre una vez a una de las n circunferencias). La demostraci
on es inductiva a partir del
ejemplo 4.65.
4.5.
4.5. N (X), UNA GENERALIZACION
135
O
V
A
T
O
S
N
U
G BIA
U
R
relaci
on de homotopa.
136
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
Otra presentaci
on de n (X) es la siguiente. Si I n es el cubo unidad n
dimensional, es decir, el producto de n copias del intervalo unidad [0, 1], su
frontera I n I n es el subespacio consistente de los puntos que tienen al
menos una coordenada igual a 0 o 1.
N
otese que para el caso n = 1 tenemos que I 1 = {0, 1} y fue sobre
este conjunto I 1 que definimos la homotopa relativa en el caso del grupo
fundamental 1 (X).
Para un espacio X con punto base x0 definimos los nlazos basados en
x0 , como las funciones f : (I n , I n ) (X, x0 ).
Definimos una operaci
on + entre nlazos que generaliza el caso n = 1
en 1 (X) (ver definici
on 3.80), como el nuevo nlazo:
(
f (2x1 , x2 , . . . , xn )
0 x1 12
f +g =
g(2x1 1, x2 , . . . , xn ) 12 x1 1
4.5. N (X), UNA GENERALIZACION
137
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Las demostraciones se siguen de manera similar al caso del
grupo fundamental, pero teniendo cuidado de trabajar sobre la primera coordenada x1 del punto x. A manera de ejemplo demostramos el item 1 tomando
como referencia la homotopa construida en la proposici
on 4.12. Si F : f ' f 0
y G : g ' g0 definimos
(
si 0 x1 12 ,
F ((2x1 , x2 , . . . , xn ), t),
H((x1 , . . . , xn ), t) =
G((2x1 1, x2 , . . . , xn ), t), si 12 x1 1.
La operaci
on f + g pasa al cociente si definimos la multiplicaci
on de clases
como [f ] + [g] = [f + g], y en este caso tenemos una estructura de grupo
abeliano esta es la raz
on por la que hemos elegido la notaci
on + para la
operaci
on sobre
n (X, x0 ) := [(I n , I n ), (X, x0 )].
138
CAPITULO 4. HOMOTOPIA
O
V
A
T
O
S
N
U
G BIA
U
R
i/n
n1
2
3
4
5
6
7
8
1
Z
0
0
0
0
0
0
0
2
0
Z
0
0
0
0
0
0
3
0
Z
Z
0
0
0
0
0
4
0
Z2
Z2
Z
0
0
0
0
5
0
Z2
Z2
Z2
Z
0
0
0
6
0
Z12
Z12
Z2
Z2
Z
0
0
7
0
Z2
Z2
Z Z12
Z2
Z2
Z
0
8
0
Z2
Z2
Z2 Z2
Z24
Z2
Z2
Z
9
0
Z3
Z3
Z2 Z2
Z2
Z24
Z2
Z2
10
0
Z15
Z15
Z24 Z2
Z2
0
Z24
Z2
11
0
Z2
Z2
Z15
Z30
Z2
0
Z24
O
V
A
T
O
S
N
U
G BIA
U
R
Captulo 5
Espacios recubridores
Contenido
135
140
. 144
148
140
O
V
A
T
O
S
N
U
G BIA
U
R
U A
iI
Ui con Ui Uj = para i 6= j.
141
O
V
A
T
O
S
N
U
G BIA
U
R
e X homeomorfos entonces X
e es un espacio de
Ejemplo 5.5. Si X
recubrimiento de una sola hoja.
142
&
"#$"#%
O
V
A
T
O
S
N
U
G BIA
U
R
1. La funci
on p p : R R S 1 S 1 donde p es la funci
on recubridora
del ejemplo 5.4.
N
otese que cada uno de los cuadrados (como en el ejemplo de la p
agina
59) se enrollan para formar un toro.
3
-1
-2
-3
-3
-2
-1
2. La funci
on p idS 1 : R S 1 S 1 S 1 .
3. La funci
on idS 1 idS 1 : S 1 S 1 S 1 S 1 .
4. La funci
on pn pm : S 1 S 1 S 1 S 1 con (z, w) 7 (z n , wm ).
Ejemplo 5.9. Una fuente natural y de hecho un metodo de construccion
de espacios de recubrimiento esta dado por las acciones de grupos sobre
143
O
V
A
T
O
S
N
U
G BIA
U
R
espacios topol
ogicos; exactamente, las llamadas propiamente discontinuas.
Por ejemplo : Z R R con (n, x) = n + x. De R/Z S 1 tenemos
1 (R/Z) = 1 (S 1 ).
Ejemplo 5.10. Las figuras 5.4 y 5.3 muestran dos espacios recubridores del
espacio 8 = S 1 S 1 formado por las dos circunferencias A y B y el punto q
en com
un.
U1
2B
e =
X
U2
U4
p
Wx
A
q
e X es una funci
Ejemplo 5.11. Si p : X
on recubridora, X0 es un sub1
f
f0 X0 es
espacio de X y X0 = p (X0 ), entonces la restricci
on p0 | : X
tambien una funcion recubridora.
144
O
V
A
T
O
S
N
U
G BIA
U
R
Proposici
on 5.12. Dado un recubrimiento
e X, para cada x X el subespacio
p : X
p1 (x) (la fibra sobre x) tiene la topologa discreta.
Demostraci
on. Como cada Uj p1 (Ux ) es
abierto por definici
on, se tiene que p1 (x)Uj =
{e
x} es un abierto para la topologa de subespacio
de la fibra.
e X la funci
Teorema 5.13. Para cada recubrimiento p : X
on p es
abierta.
e un abierto, veamos que p(U ) es abierto en X.
Demostraci
on. Dado U X
Dado x p(U ), sea Ux una vecindad elemental. Para cada x
e p1 (x) U
1
tenemos que x
e p (Ux ) y por tanto existe una rebanada Ui para la cual
x
e Ui . Como U Ui es un abierto en Ui y p|Ui : Ui Ux tenemos que
p(U Ui ) es un abierto de U y por tanto de X y, como p(U Ui ) p(U )
entonces p(U Ui ) es una vecindad de X contenida en p(U ).
En general, los homeomorfismos locales f : M X (cada punto m M
tiene una vecindad abierta Vm tal que f (Vm ) es abierto y f |Vm : Vm f (Vm )
es un homeomorfismo) son funciones abiertas y hacen que el espacio M en el
145
O
V
A
T
O
S
N
U
G BIA
U
R
'()
e X la funci
Corolario 5.14. Para cada recubrimiento p : X
on p es una
funci
on cociente; esto es, la topologa sobre X es la topologa cociente con
respecto a p.
Demostraci
on. En efecto, p es continua, abierta y sobreyectiva; por tanto
e
V X es abierto si y s
olo si p1 (V ) es abierto en X.
Ejemplo 5.15. El hecho de que una funci
on
f : M X sea un homeomorfismo local sobreyectivo no implica que tenemos un recubrimiento del espacio X. Por ejemplo, si M es el
intervalo abierto (0, 2) R y X = S 1 la funci
on
f (x) = exp(x) : (0, 2) S 1 no garantiza la existencia de vecindades elementales para el punto
1 S 1 y por tanto no se trata de una funci
on
de recubrimiento.
5.1.
El buen comportamiento de los espacios recubridores con respecto a los levantamientos es una de
sus cualidades. Recordemos que dado un recue X un levantamiento de una
brimiento p : X
funci
on continua f : Y X es una funci
on
e
e
e
continua f : Y X tal que p f = f .
fe
pp
p
pp
pp f
e
X
- X
146
O
V
A
T
O
S
N
U
G BIA
U
R
e con g0 ' g1
en cuanto a homotopas tenemos que, si g0 , g1 : [0, 1] X
entonces p g0 ' p g1 .
Podemos preguntarnos por una especie de resultado inverso, es decir,
e X un
Teorema 5.16 (Levantamiento de caminos). Sean p : X
recubrimiento y f : [0, 1] X un camino con punto inicial f (0) = x0 .
Dado un punto x
f0 en la fibra de x0 f
x0 p1 (x0 ) existe entonces un
e
e
u
nico camino f : [0, 1] X comenzando en f
x0 y que levanta a f , i.e.
p fe = f . (Una vez fijemos el punto inicial sobre x0 , esto es a f
x0 , el camino
es entonces levantado de manera u
nica).
f
x
0
x0
Demostraci
on. Si el camino f esta contenido en una vecindad elemental
U no hay ning
un problema para obtener el levantamiento, puesto que si
1
V p (U ) es tal que x
e0 V entonces la restriccion p |V : V U nos
produce el levantamiento al tomar p |1
V f .
Como f en general no esta contenida en una u
nica vecindad elemental
U entonces procedemos de la manera siguiente: f se puede expresar como el
147
O
V
A
T
O
S
N
U
G BIA
U
R
producto de caminos m
as cortos, con la propiedad de que cada uno de ellos
est
a contenido en una vecindad elemental (teorema de Lebesgue) y entonces
como en el caso anterior, levantamos a cada uno de estos pedazos de manera
sucesiva y teniendo en cuenta que se peguen bien, es decir, cuidando la
continuidad.
La unicidad se sigue del hecho siguiente, el cual nos dice que: si dos
elevaciones desde un espacio conexo en un espacio de recubrimiento se tocan
en un punto, entonces son iguales.
e X
Proposici
on 5.17 (El levantamiento es u
nico). Sean p : X
un cubrimiento y una funci
on continua f : Y X la cual admite dos
e
e
e Si Y es conexo y fe1 (y0 ) = fe2 (y0 ) para alg
levantamientos f1 , f2 : Y X.
un
e
punto y0 Y entonces f1 = fe2 .
Demostraci
on. Mostremos que A = {y Y |fe1 (y) = fe2 (y} el conjunto donde
las dos funciones coinciden es un aberrado, y por ser no vaco debe ser
entonces todo Y .
Dado y Y , consideremos una vecindad elemental U X de f (y), es
decir, p1 (U ) es una uni
on disyunta de abiertos U cada uno de los cuales
e1 y U
e2 dos de
homeomorfo a U por medio de la restricci
on de p, y sean U
e
e
tales abiertos conteniendo a f1 (y) y f2 (y), respectivamente.
Por la continuidad de fe1 y fe2 existe una vecindad Ny (la intersecci
on)
e
e
e
e
tal que f1 (Ny ) U1 y f2 (Ny ) U2 .
e1 6= U
e2 y por tanto disyuntas con lo cual fe1 (Ny )
Si y
/ A, entonces U
e
f2 (Ny ) = lo que implica que Ny Ac , es decir A es cerrado.
e1 y U
e2 se interceptan con lo que U
e1 = U
e2 y por tanto
Si y A, entonces U
e1 = U
e2 .
fe1 = fe2 sobre Ny ya que p fe1 = p fe2 = f y p es inyectiva sobre U
Por consiguiente A es tambien abierto.
148
O
V
A
T
O
S
N
U
G BIA
U
R
Problema a evitar
f
h0
h0
149
O
V
A
T
O
S
N
U
G BIA
U
R
e = H; el problema es mostrar
Por definici
on, pH
la continuidad. La demostraci
on se basa en el
hecho de que, para cada punto y Y existe una
vecindad Ny tal que sobre la vecindad Ny I (un
e N [0,1] :
tubo alrededor de {y}I) la funci
on H|
y
e es continua y por tanto H
e :
Ny [0, 1] X
e lo es, al serlo sobre cada miembro
Y [0, 1] X
de un cubrimiento abierto de Y [0, 1].
It
y0
150
O
V
A
T
O
S
N
U
G BIA
U
R
e X un espacio de recubrimiento, x0 X,
Corolario 5.19. Sean p : X
1
x0 p (x0 ). Si H : f ' g rel{0, 1} : I X son caminos hom
f
otopos con
e
e
punto inicial x0 y f , ge : I X son sus levantamientos comenzando en el
mismo punto f
x0 entonces fe ' e
g, y tienen el mismo punto final fe(1) = ge(1).
5.2.
e
X
X
Figura 5.7: Los levantamientos de caminos homotopos llegan al mismo punto de la
fibra, fe(1) = ge(1).
5.2.1.
e x
Lema 5.20. Sea p : (X,
e0 ) (X, x0 ) un espacio de recubrimiento. Entonces la funci
on
: 1 (X, x0 ) p1 (x0 ) dada por ([]) =
e(1)
donde
e es el u
nico levantamiento de con la condici
on
e(0) = x0 .
151
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Tomemos y p1 (x0 ). Existe un camino de x
e0 a y ya que
e es conexo por caminos. Sea = p , con lo que =
X
e por la unicidad
del levantamiento, y por tanto ([]) = (1) = y.
La siguiente proposici
on generaliza la situaci
on entre 1 (S 1 ), R y Z.
e x
Proposici
on 5.21. Sea p : (X,
e0 ) (X, x0 ) un espacio de recubrie x
miento con (X,
e0 ) simplemente conexo. Entonces existe una biyecci
on :
1
1 (X, x0 ) p (x0 ).
Demostraci
on. Definimos ([]) =
e(1). Por el lema, solo nos resta ver la
e
inyectividad. Sean ([]) = ([]) = y p1 (x0 ), es decir,
e(1) = (1)
= y.
1
e
e
Como X es simplemente conexo tenemos que [e
] = [cxe0 ] y por tanto
e i.e., ' luego [] = [].
e = e con lo que p
e = p ,
Demostraci
on. Supongamos que x0 , x1 X y sea f : [0, 1] X un camino
e con
que los conecta. Si f
x0 p1 (x0 ) podemos levantar f a fe : I X
1
e
e
f (0) = x
e0 . Si definimos x
f1 = f (1) p (x1 ) entonces tenemos una biyecci
on
u : p1 (x0 ) p1 (x1 ) cuya inversa se construye al levantar a f r .
El siguiente resultado muestra que el grupo fundamental de un espacio
recubridor puede verse, en cierto sentido, como un subgrupo del grupo fune
damental del espacio base. Por supuesto la elecci
on del punto base en X
ser
a fundamental.
e X es un espacio de recubrimiento,
Proposici
on 5.23. Sean p : X
1
x0 X, y f
x0 p (x0 ). Entonces el homomorfismo de grupos inducido
p :
x0 )
1 (X, f
1 (X, x0 )
e x
e x
es un monomorfismo. El subgrupo p (1 (X,
f0 )) es notado como G(X,
e0 )
1 (X, x0 ) (si no es necesario especificar a p) y lo llamamos el subgrupo
caracterstico del cubrimiento.
152
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Veamos que el n
u
Qcleo del homomorfismo es el subgrupo trivial. Sea p [f ] := [p f ] = 1 1 (X, x0 ). Existe entonces una homotopa
H : p f ' cx0 de caminos cerrados en f
x0 entre p f y el camino constante
e con puntos fijos en f
cx0 . Si levantamos H a una homotopa H
x0 entonces
f
f
H0 = f y H1 es un levantamiento del Q
camino constante cx0 , y por tanto
e x
tambien es constante. Luego, [f ] = 1 1 (X,
f0 ).
Esta proposici
on puede ser vista como una condici
on necesaria para que
un espacio pueda ser recubrimiento de un espacio X. A
un mas, es el primer
paso en la clasificaci
on de espacios de recubrimiento sobre un espacio fijo,
teorema 5.31.
Si en la proposici
on anterior cambiamos el punto tomado en la fie x
bra que efecto se produce en los subgrupos caractersticos G(X,
e0 ),
1
e
G(X, x
e1 ) para x
f0 , x
f1 p (x0 )?
De que informaci
on topol
ogica puede proveernos el subgrupo caracterstico?
De aqu en m
as (y como es usual en varios textos) asumimos que los espacios
e involucrados en la definici
e f
X yX
on de p : (X,
x0 ) (X, x0 ) con conexos por
caminos, X es localmente conexo por caminos y punteados con f
x0 p1 (x0 ).
e x
El siguiente teorema de conjugaci
on, muestra que el subgrupo G(X,
e0 )
1
puede cambiar si vara el punto base x
e0 tomado en p (x0 ), pero el cambio
no es demasiado, no nos salimos de la clase de conjugaci
on (definici
on 2.14).
e X un espacio de recubriTeorema 5.24 (Conjugaci
on). Sea p : X
miento. El conjunto
e x
C = {G(X,
e) : x
e p1 (x0 )}
e f
G(X,
x0 ) = p (1 (X, x0 ))
e f
= {[] : [] 1 (X, x0 ) y [] = p ([%]) para [%] 1 (X,
x0 )}.
153
O
V
A
T
O
S
N
U
G BIA
U
R
2. Si C C y g 1 (X, x0 ), entonces g1 Cg C.
e x
3. Cada subgrupo conjugado de G(X,
f0 ) en 1 (X, x0 ) es de la forma
1
e x
G(X,
f1 ) para f
x1 p (x0 ).
Demostraci
on. Primero veamos que C es una clase conjugada de subgrupos.
e f
e f
Supongamos que G(X,
x0 ), G(X,
x1 ) C.
x
e1
x
e0
x0
El diagrama 5 de la p
agina 108 se aplica en esta situacion y nos produce
el siguiente diagrama donde T y Tp son isomorfismos
e f
1 (X,
x0 )
T
e f
1 (X,
x1 )
- 1 (X, x0 )
Tp
?
- 1 (X, x0 )
p
e x
Supongamos ahora que, p (1 (X,
e)) C y g = [] 1 (X, x0 ). El camino
tiene un u
nico levantamiento = e que comienza en x
e terminando en
1
alg
un punto x
e1 p (x0 ). Entonces
e x
e x
g1 p (1 (X,
e))g = p (1 (X,
e1 )) C
e x
e x
ya que si [] 1 (X,
e), entonces g1 p ([])g = p ([ r ]) p (1 (X,
e1 ))
r
e
y de manera contraria, si [] 1 (X, x
e1 ), entonces para [] = [ ] se
verifica que p ([]) = g1 p ([])g.
154
O
V
A
T
O
S
N
U
G BIA
U
R
e f
Finalmente, sea g1 G(X,
x0 )g un subgrupo conjugado con g 1 (X, x0 ).
Si g = [] para un camino cerrado : I X, entonces
e es un camie
no en X con punto inicial x
e0 y digamos que con punto final x
e1 . Entonces
e x
e x
G(X,
f1 ) = g1 G(X,
f0 )g.
e X se llama regular
Definici
on 5.25. Un espacio de recubrimiento p : X
e
o normal si el subgrupo caracterstico G(X, x
f0 ) resulta ser un subgrupo
normal en 1 (X, x0 ). N
otese que la condici
on es independiente de la elecci
on
1
del punto base x0 y del punto en la fibra x
f0 p (x0 ).
La siguiente proposici
on muestra el inicio de una estrecha y hermosa relaci
on entre el
algebra y la topologa que guarda la teora de los espacios de
recubrimiento.
e x
Proposici
on 5.26. El n
umero de hojas de un recubrimiento p : (X,
f0 )
e
(X, x0 ) es igual al ndice de G(X, x
e0 ) en 1 (X, x0 ). (Ver definici
on 2.6)
Demostraci
on. Sean g un camino en X cerrado en el punto x0 , y e
g su lee x
vantamiento con punto inicial x
e0 . Por comodidad notemos H := G(X,
e0 ) y
definamos una funci
on
:
1 (X, x0 )
g(1)
p1 (x0 ) como H [g] 7 e
H
la cual est
a bien definida, pues para cada [h] H el producto h g tiene
un levantamiento e
h ge que termina en el punto ge(1) ya que e
h es un camino
cerrado. Podra pensarse que (H [g]) depende del representante de la
clase [g], pero este no es el caso, pues si m [g], entonces m ' g(rel{0, 1})
implica m(1)
e
=e
g(1) por el corolario 5.19.
y as H[g1 ] = H[g2 ].
155
O
V
A
T
O
S
N
U
G BIA
U
R
5.3.
Con respecto al levantamiento de funciones que son caminos o homotopas, los espacios de recubrimiento tienen un buen comportamiento.
Pero con respecto a funciones m
as generales, no toda funci
on tiene por
que admitir levantamientos; por ejemplo, la funci
on id : S 1 S 1 no admite
un levantamiento con respecto al cubrimiento p : R S 1 con p(x) = e2ix .
En otras palabras, no existe una funci
on continua g : S 1 R tal que
p g = idS 1 .
Que podemos decir entonces? En esta secci
on responderemos a esta pregunta dando condiciones necesarias y suficientes para funciones con codominio en el espacio base. Este resultado mostrar
a c
omo un problema
geometrico (existencia de una funci
on entre espacios topol
ogicos) puede ser
resuelto enteramente en terminos algebraicos (contenencia de grupos).
e f
Sean p : (X,
x0 ) (X, x0 ) un cubrimiento y p : (Y, y0 ) (X, x0 )
e x
una funci
on continua. Si existiera un levantamiento fe : Y (X,
f0 ) de f
tal que p fe = f , de manera autom
atica tenemos entonces un diagrama con
fe
pp
p
p
pp
p
pp
p
e f
(X,
x0 ),
p
?
- (X, x0 )
fe
pp
p p3
p
pp
pp
p
pp
p
1 (Y, y0 )
e f
1 (X,
x0 ),
?
- 1 (X, x0 )
luego,
e x
f (1 (Y, y0 )) = p (fe (1 (Y, y0 ))) p (1 (X,
f0 )) 1 (X, x0 )
e x
f enva a 1 (Y, y0 ) dentro del subgrupo caracterstico G(X,
e0 )
es una condici
on necesaria... pero de manera afortunada tambien resulta suficiente nuevamente se entrelazan las preguntas topol
ogicas con respuestas
156
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. :) es inmediata, pues si fe existe entonces f = pfe implica
e
f = p f lo cual determina la contenencia.
Veamos que la condici
on es suficiente, es decir definamos a fe. Dado
comenzando en x
e0 , y definimos fe(y) como el punto final f]
(1) de este
e
camino en X.
Ahora mostremos que fe(y) no depende de la elecci
on del camino . Si
es otro camino de y0 a y entonces f]
(1) = f]
(1). El camino r es un
camino en Y cerrado en y0 , y por tanto f ( r ) es un camino cerrado en
x0 . Luego f [ r ] = [(f ) (f r )] f (1 (Y, y0 )) y como por hip
otesis
e x
f (1 (Y, y0 )) p (1 (X,
f0 )) entonces existe un camino h cerrado en x
e0
r
tal que [p h] = [f ( )].
157
O
V
A
T
O
S
N
U
G BIA
U
R
x
e0
f]
y0
Wy
Uf (y)
x0
Figura 5.8: Wy es una vecindad conexa por caminos y Uf (y) es una vecindad elemental.
M
as a
un, se tiene que fe|V = p|1
U f |V .
N
otese que por la proposici
on 5.17, el levantamiento, en caso de existir
es u
nico.
158
O
V
A
T
O
S
N
U
G BIA
U
R
5.4.
Clasificaci
on de los recubrimientos sobre un
espacio
e1
X
- X
e2
p2
p1 @
R
159
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que efectivamente la composici
on
2 1 de dos morfismos es de nuevo un morfismo puesto que p3 (2 1 )= (p3 2 ) 1
=p2 1 = p1 , y existe para cada objeto el
e X.
e
morfismo identidad id : X
e1
X
- X
e2
@
p2
p1@
@
R ?
@
- X
e3
p3
e1 X
e2 es sobreyectivo.
Proposici
on 5.29. Cada morfismo : X
e1
X
x1
h = p^
e
2f =g
x2
p1
e2
X
y
coinciden
h(1) = f (1)
p2
x0
g = p2 f
160
O
V
A
T
O
S
N
U
G BIA
U
R
e1 X
e2 dos
Proposici
on 5.30. Sean 1 , 2 : X
morfismos en Cov( X). Si 1 (t) = 2 (t) para
e1 , entonces 1 = 2 .
alg
un t X
pp X
e2
e1 p p p p p p p1p p p X
2
p2
p1 @
R
Demostraci
on. Por la proposici
on 5.18 podemos ver a 1 , 2 como dos lee1 X.
vantamientos de la funci
on p1 : X
e1 , f
e1 , x
e1 , x
e1 , x
G(X
x1 ) = p1 (1 (X
f1 )) = (p2 )(1 (X
f1 )) = p2 ( (1 (X
f1 )) =
e
e
= p2 (1 (X2 , x
f2 )) = G(X2 , f
x2 ).
En el otro sentido, si los subgrupos caractersticos son iguales entonces podemos levantar las
dos proyecciones p1 y p2 de tal manera que
en el diagrama se satisfacen las composiciones
p2 pe1 = p1 y p1 pe2 = p2 .
Pero pe1 e
p2 es un levantamiento de p1 a s mismo,
e1 , f
es decir pe1 pe2 es la funci
on identidad en (X
x1 )
y de manera semejante pe2 pe1 es la identidad
e2 , x
de (X
f2 ), lo que implica que los espacios son
isomorfos.
e2 , x
e2 )
(X
p
pp
3
pe2 p p
pp
p2
p
p p pe1
+
?
p1
- (X, x0 )
e1 , x
(X
e1 )
161
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que en el teorema anterior los grupos fundamentales determinan
la existencia y unicidad de funciones entre espacios topol
ogicos con ciertas
propiedades.
e X y dos puntos x
Corolario 5.32. Dado un espacio recubridor p : X
e1 , x
e2
en la fibra de x0 X, existe un automorfismo D con (e
x1 ) = x
e2 si y
e x
e x
solo si G(X,
e1 ) = G(X,
e2 ).
Corolario 5.33 (de la proposici
on 5.31). Dos espacios de recubrimiento
e1 X, p2 : X
e2 X son isomorfos si y solo si para todo par de puntos
p1 : X
e1 , x
e2 con p1 (e
x
e1 X
e2 X
x1 ) = p2 (e
x2 ) = x0 los subgrupos caractersticos G1
y G2 son conjugados.
e1 X
e2 un isomorfismo, y sean x0 = (e
Demostraci
on. Sea : X
x1 ) y
2
0
0
e
G2 = p1 (1 (X2 , x
e2 )). La proposici
on 5.31 implica que G1 = G02 .
e1 X, y p2 : X
e2 X dos espacios
Proposici
on 5.34. Sean p1 : X
e1 X
e2 un homomorfismo. Entonces es un
de recubrimiento y : X
e
recubrimiento de X2 .
e2 se construyen de la manera
Demostraci
on. Las vecindades can
onicas en X
1
e
siguiente. Sea z X2 . Sean p2 (z) Uz X una vecindad can
onica con
respecto a p1 y p2 (z) Uz2 X una vecindad can
onica con respecto a p2 .
Finalmente, sea Vp2 (z) Uz1 Uz2 una componente conexa por caminos que
contiene a p2 (z). Mostremos que W , la componente conexa por caminos de
p1
onica con respecto a .
2 (V ) que contiene a z, es can
Sea {S } la colecci
on de componentes conexas de 1 (W ). Debemos
mostrar que |S : S W es un homeomorfismo. Pero esto es consecuencia
1 1
del hecho de que p1
onica con respecto
1 (V ) = p2 (V ) y que V es can
tanto para p1 como para p2 .
5.4.1.
Recubrimiento universal
Definici
on 5.35. Un espacio de recubrimiento
e
p : X X se llama universal si dado cualf0 X
quier otro espacio de recubrimiento p0 : X
f0 que completa el
e X
existe un morfismo : X
diagrama.
p p f0
e p p p p p p p p p pX
X
@
p@
R
p0
162
O
V
A
T
O
S
N
U
G BIA
U
R
Por supuesto la existencia de cubrimientos universales no tiene por que estar garantizada. Pero la siguiente proposici
on nos da un criterio sencillo para
decidir si un recubrimiento es universal.
e X es un cubrimiento de X y
Teorema 5.36. Si p : X
e
e
1 (X, x
e0 ) = {0}, entonces (X, p) es universal para X.
e
X
pe
p
e0
X
p0
?
- X
Ejemplo 5.37. Si un espacio X es simplemente conexo, entonces el mismo sirve como su propio recubrimiento universal si utilizamos la funci
on
identidad como proyecci
on.
Definici
on 5.38. Un espacio X conexo por caminos es semilocalmente
simplemente conexo si X posee una base B formada por abiertos B conexos por caminos con la propiedad que si x B y es un camino en B con
punto inicial x, entonces se puede contraer hasta x en X.
Por la definici
on, existe H : I I X con ' cx . La condici
on es
llamada semi-localmente porque aunque los caminos cerrados son locales
en U , i.e., contenidos, las homotopas al camino constante son globales,
i.e. pueden ocasionalmente salir de B pues tienen permitido recorrer en
todo X. N
otese, adem
as, que en la definici
on anterior B , X induce el
homomorfismo trivial 1 (B, x) 1 (X, x).
Ejemplo 5.39. Para el espacio X R2 ver
la gr
afica tenemos que no existe una vecindad
Ux (x es el punto en com
un) para la cual todos
los caminos cerrados en Ux sean nulos homot
opicamente en el espacio mayor X.
163
O
V
A
T
O
S
N
U
G BIA
U
R
Pero el cono C(X) (sobre el espacio X R2 ),
como subespacio de R3 si es semilocalmente
simplemente conexo. En efecto, dada una vecindad Vx del punto de tangencia x (los dem
as puntos tienen una vecindad homeomorfa al intervalo
abierto (0, 1)), consideremos entonces una bola
abierta suficientemente peque
na para no contener al punto P vertice del cono.
164
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 5.42. Sea n un entero nonegativo. Un espacio topol
ogico X se
llama una variedad de dimensi
on n si es:
Localmente euclidiano de dimensi
on n,
2contable,
Hausdorff.
K
Ahora tenemos otro de nuestros resultados estrella en esta teora de los
espacios de recubrimiento. Aqu se ejemplifica uno de los casos m
as interesantes de la matem
atica: no solo es importante demostrar un teorema, tal
vez lo es m
as el encontrarlo!
Teorema 5.44. Supongamos que (X, x0 ) es conexo por caminos, localmente conexo por caminos y semilocalmente simplemente conexo. Entonces para cada subgrupo G 1 (X, x0 ) existe un espacio de recubrimiento p : (Y, y0 ) (X, x0 ) que tiene como subgrupo caracterstico a G, i.e.
p (1 (Y, y0 )) G.
Este teorema pone de manifiesto la existencia de una correspondencia (de
e x
Galois) que asigna a cada espacio de recubrimiento p : (X,
e0 ) (X, x0 ) el
e
e
subgrupo G(X, x
e0 ) = p (1 (X, x
e0 )) de 1 (X, x0 ), la cual es sobreyectiva
e x
(cada subgrupo G de 1 (X, x0 ) se puede realizar como p (1 (X,
e0 )) para
e
cierto recubrimiento p : X X.
e x
En particular, para el subgrupo trivial nos implica que p (1 (X,
e0 ))
sea trivial y al ser p inyectiva nos produce la existencia de un espacio de
recubrimiento simplemente conexo, el cual es universal para X.
165
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. La desarrollaremos en cinco pasos:
2. Construcci
on de una base B para una topologa en Y .
5. Demostraci
on del isomorfismo G(Y, y0 ) G.
x
levantamiento de que comienza en y0 .
Todos los puntos en Yx seran obtenidos de esta manera y, dos caminos
, determinaran el mismo punto si y solo si el camino cerrado r
representa un elemento de G.
Sea (X, x0 , x) el conjunto de todos los caminos en X de x0 a x. Definimos para este conjunto una relaci
on de equivalencia : [ r ] G
y definimos los conjuntos Yx y Y como
[
Yx := (X, x0 , x)/ ;
Y :=
Yx .
xX
Adem
as, definimos a y0 como la clase del camino constante en (X, x0 , x0 )
y a p : Y X como Yx {x}, de suerte que p es sobreyectiva y p(y0 ) = x0 .
La clase de en (X, x0 , x)/ la notamos [] para distinguirla de [] la
clase por homotopa.
2. Demos a Y una topologa que lo haga conexo por caminos y p :
(Y, y0 ) (X, x0 ) una funci
on de recubrimiento. N
otese ahora que, adem
as
de p y Y tenemos los levantamiento de caminos.
Para t [0, 1] sea t (X, x0 , (t)) el camino parcial dado por
s 7 (ts) solo recorremos una parte del camino, desde x0 hasta (t).
166
O
V
A
T
O
S
N
U
G BIA
U
R
denotamos V (U, ) := {[ ]} Y el
conjunto de todas las clases de los camix0
nos que pueden ser obtenidos operando a
con todos los caminos U que comiencen en x, por supuesto.
Como X es localmente conexo por caminos, estos abiertos Ux forman
un sistema fundamental de vecindades de x, y por tanto V (U, ) tambien lo
debe ser para y Y en la topologa que queremos.
x0
[()()r ] = [()( r r )] = [ r ] G.
O
V
A
T
O
S
N
U
G BIA
U
R
167
y 0 = [ ]
y = []
x0
h : p1 (U ) U Yx
t
x0
camino parcial
6. Finalmente, G(Y, y0 ) = G. En efecto, un camino cerrado en x0 representa un elemento de G(Y, y0 ) si y solo si puede ser levantado a un camino
cerrado en y0 . Esto sucede si y solo si [] = y0 . i.e. [] = [x0 ] o lo que
es equivalente, si y solo si [ x0 ] = [] G.
168
O
V
A
T
O
S
N
U
G BIA
U
R
5.4.2.
Definici
on 5.45 (Transformaci
on de recubrimiento). Una transformaci
on de recubrimiento
o una transformaci
on Deck (del alem
an Deckbewee
gung) de un cubrimiento p : X X es un automorfismo en la categora Cov(X ), i.e. un homeomorfismo
e X
e tal que el siguiente diagrama conmuta, i.e.
:X
p = p.
e
X
@
p@
R
- e
X
e p).
3. 1Xe D(X,
169
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. En la demostraci
on del teorema 5.24 observamos que cambiar el punto base f
x0 p1 (x0 ) a f
x1 p1 (x0 ) corresponde a conjugar a
e x
G(X,
f0 ) por un elemento [] 1 (X, x0 ) donde se levanta a un camino
e desde f
x0 hasta f
x1 .
e x
e x
As que [] est
a en el normalizador N (G(X,
f0 )) si y solo si G(X,
f0 ) =
e
G(X, x
f1 ), lo que por el criterio de levantamientos es equivalente a la existencia de una transformaci
on Deck tomando x
f0 ) en x
f1 ). Por tanto, el cubrie
e f
miento es normal si N (G(X, x
f0 )) = 1 (X, x0 ), i.e., si y solo si G(X,
x0 ) es
un subgrupo normal.
Por tanto los recubrimientos del ejemplo 5.46 son normales o regulares.
170
O
V
A
T
O
S
N
U
G BIA
U
R
Demostraci
on. Definimos el homomorfismo : D(Y, p) 1 (X, x0 )/G(Y, y0 )
de la manera siguiente. Dado h D tomamos al punto y0 junto con su imagen h(y0 ) = y 0 p1 (x0 ) y consideramos el camino que los une; por tanto
podemos considerar la coclase del camino p y definimos
(h) = [p ]G(Y, y0 ).
y0
y0
x0
Por el teorema 5.24, esta bien definida; ahora mostremos que se trata
de un homomorfismo; i.e. dados dos homomorfismos h, g D tenemos que
(g h) = (g)(h). Sean x0 = h(y0 ), x00 = g(y0 ), x000 = gh(y0 ) = g(x0 ),
un camino de y0 a x0 y un camino de y0 a x00 . Por tanto g lo es de x00
a x000 y g es un camino de y0 a x000 .
h
y0
x0
171
O
V
A
T
O
S
N
U
G BIA
U
R
= [p]G(Y, y0 )[p]G(Y, y0 )
= (g)(h).
Si h, g D son tales que (g) = (h) de los teoremas 5.24 y 5.28 se sigue
f
acilmente que g = h.
(Y, y0 )
h-
(Y, x0 )
@
@
p@
@
R
@
k-
(Y, y0 )
(X, x0 )
O
V
A
T
O
S
N
U
G BIA
U
R
Captulo 6
Homologa
Contenido
.
.
.
.
.
.
.
.
.
.
162
166
. 166
174
188
173
O
V
A
T
O
S
N
U
G BIA
U
R
Pero las cosas fallan cuando examinamos (si es que podemos) los grupos
m (S n ) los cuales no necesariamente son nulos si m > n, lo que sugerira
que la nesfera tiene huecos mdimensionales.
La homologa ofrece a traves de sus grupos de homologa una forma diferente de contar lo que llamaremos huecos y un comportamiento m
as acorde
a la intuici
on: la nesfera tiene un u
nico hueco ndimensional y ninguno m
dimensional para m 6= n. Por supuesto, estos grupos de homologa, deben
contribuir tambien al mayor problema de la topologa: encontrar condiciones
necesarias y suficientes para determinar cu
ando dos espacios son homeomorfos. En este sentido, una condici
on necesaria ser
a que, si dos espacios son
homeomorfos entonces sus correspondientes grupos de homologa son isomorfos. Adem
as, una funci
on continua entre los espacios debe conducir a un
homomorfismo entre los grupos.
6.1.
Complejos simpliciales
Los complejos simpliciales1 , como su nombre lo debe indicar, son espacios que se deben formar a partir de estructuras simples (simpliciales)
hasta llegar a estructuras m
as complejas (complejos). Las estructuras simples son llamadas c
elulas o celdas, y tenemos una por cada dimensi
on
n, es decir, est
an formadas por puntos, lneas, tri
angulos (con su interior
no incluido), pir
amides, etc., las cuales llamamos 0-celda, 1-celda, 2-celda,
etc. Esencialmente una k-celda en Rn est
a descrita por un conjunto de k + 1
vertices y es el menor de los subconjuntos convexos en Rn que contiene a
estos vertices. Por ejemplo, una 1-celda est
a definida por dos vertices y es
entonces el segmento de recta entre ellos.
Pero debemos estar atentos a que los vertices elegidos no esten en una
posici
on que nos evite obtener el mayor convexo posible, ya que por ejemplo,
cuatro vertices alineados sobre una lnea recta o ubicados sobre un mismo
1
174
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
plano tan s
olo nos produciran celdas como las de la figura 6.2, evitandose
obtener un tetraedro. Definimos entonces la mejor posicion la cual llamaremos posici
on general.
Definici
on 6.1. Dados los vertices v0 , . . . , vk (puntos en Rn ), decimos que
se encuentran en posici
on general si los correspondientes k vectores
v1 v0 , v2 v1 , . . . , vk1 vk
en Rn son linealmente independientes.
La anterior definici
on nos asegura que la k-celda generada es realmente
k-dimensional o que no est
a contenida en ning
un subespacio vectorial (de
Rn ) de dimension k 1. Esta definici
on es independiente del ordenamiento
particular del conjunto {v0 , v1 , , vk } usado en la definici
on.
Definici
on 6.2. Una k-celda , o un k-smplejo es el menor subespacio
convexo de Rn que contiene un conjunto v0 , . . . , vk de k + 1 vertices que
estan en posicion general. La notaremos [v0 , . . . , vk ].
Por la definicion anterior [v0 , . . . , vk ] consiste de todas las combinaciones
175
O
V
A
T
O
S
N
U
G BIA
U
R
lineales,
n
X
i=0
ti vi
con
0 ti 1
n
X
ti = 1.
i=0
(esta notaci
on significa que el vertice vbi ha sido omitido) es una k 1celda y
es llamada simplemente una cara de la celda [v0 , . . . , vk ]. As que una k-celda
tiene k + 1 caras (una por cada vertice omitido) y 2k+1 1 subceldas. La
uni
on de todas las caras se llama el borde o frontera de la celda. Si k > 0,
llamamos interior de la celda a la celda menos el borde (el complemento
del borde). Para el caso k = 0 definimos definimos el interior como la misma
0-celda.
v1
Ejemplo 6.3. Una 2-celda [v0 , v1 , v2 ] tiene 7
subceldas de las cuales 3 son caras: [vb0 , v1 , v2 ] =
[v1 , v2 ], [v0 , vb1 , v2 ] = [v0 , v2 ], [v0 , v1 , vb2 ] = [v0 , v1 ]
y corresponden a los lados de la regi
on triangular. Por supuesto el borde ser
an las lneas que
conforman el tri
angulo.
v0
v2
176
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
La condici
on 2 nos dice entre otras cosas que para dos celdas sucede que: no
tienen puntos en com
un interseccion vaca o una de ellas es una cara de
la otra, o una cara de una cara de la otra, etc., o el conjunto de puntos en
com
un es una cara o una cara de una cara, etc., de cada celda.
Se puede permitir en la anterior definicion que el n
umero de celdas sea
infinito, pero a cambio tendramos que sacrificar la exigencia de que K sea
compacto.
El complejo K tiene dimensi
on n si la mayor dimension de las celdas
en K es n, y lo llamamos un ncomplejo.
La figura 6.4 muestra dos falsos 2complejos, ya que dos smplices se han
pegado de manera incorrecta, es decir, su interseccion no es una cara.
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 6.5. Un complejo simplical K
se llama una triangulaci
on de un espacio
topol
ogico X si existe un homemomorfismo h : K X. Se dice que X es triangulable o que es un poliedro.
177
Otra triangulacion para X = S 1 puede provenir del complejo K formado por un cuadrado
tomando sus lados como 1celdas y sus vertices
como 0celdas, donde h es el homeomorfismo dado por la proyeccion.
178
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
6.2.
6.2.1.
Uno de los pasos fundamentales para introducir los grupos de homologa es poder describir el borde o frontera para las celdas y los complejos
simpliciales.
v3
v2
v0
v0
v1
v0
v0
v2
v1
v1
v3
v2
no es s
olido y
v0
v0
v1
v0
v2
v1
v1
Figura 6.8: Los bordes de las primeras celdas...
179
O
V
A
T
O
S
N
U
G BIA
U
R
v4
v1
v3
v2
X
X
n (
m i i ) =
mi n (i ).
i
(6.1)
n
X
[v0 , . . . , vi , . . . , vn ].
i=0
180
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese y esta es parte de la razon por la que hemos considerado por
lo pronto a Z2 que el borde de una ncelda es una union de (n 1)celdas
que no son tan arbitrarios: cada cara de cada uno de estas (n 1)celdas
es cara de exactamente otra u
nica n 1celda. Por ejemplo, el borde de la
2celda [a, b, c] consta de las celdas [b, c], [a, c], [a, b] y los bordes de estas
u
ltimas son b, c, a, c y a, b donde cada elemento en esta lista se repite dos
veces.
En otros terminos tenemos que
1 (2 [a, b, c]) = 1 ([b, c]+[a, c]+[a, b]) = (b+c)+(a+c)+(a+b) = 2a+2b+2c = 0
ya que estamos operando modulo 2.
Recordemos que cada vez que se tiene un homomorfismo de grupos, como en el caso
n : Cn (K) Cn1 (K)
dos subgrupos son importantes: el kernel y la
imagen. El kernel de n consiste de estas n
cadenas con borde 0, y los llamaremos nciclos.
El kernel ser
a notado Zn(K). la Z proviene
de la palabra ciclo en aleman.
-+ ,
181
O
V
A
T
O
S
N
U
G BIA
U
R
Ejemplo 6.9. Sea K la circunferencia como poliedro formado por tres 0-celdas a, b, c, y tres 1
celdas [a, b], [b, c], [a, c]. Luego Ci = 0 si i > 0.
Por tanto, solo existe un homomorfismo borde para ser estudiado, 1 : C1 C0 . Sea
= m1 [a, b] + m2 [b, c] + m3 [a, c] una cadena arbitraria. Entonces, y de acuerdo a la f
ormula 6.1
1 () = m1 (a+b)+m2 (b+c)+m3 (a+c) = (m1 +m3 )a+(m1 +m2 )b+(m2 +m3 )c.
Si Z1 (K) i.e., 1 () = 0, entonces m1 + m3 = 0 lo que implica m1 = m3
(estamos en Z2 ), m1 = m2 y m1 = m3 luego = m([a, b] + [b, c] + [a, c]) para
alg
un m Z2 . Por tanto Z1 (K) = Z2 . De otra parte, como 2 : {0} C1
es el homomorfismo nulo, su imagen B1 (K) = 0.
La siguiente proposici
on dice de manera escueta que 2 = 0, lo que
implica que los ciclos son abundantes o al menos son muchos m
as que los
bordes, i.e., la imagen de n es un subgrupo del kernel de n1 .
Proposici
on 6.10. Para cada n 1 la composici
on
n n+1 () : Cn+1 (K) Cn1 (K)
es el homomorfismo nulo.
Demostraci
on. Como la composici
on de homomorfismos es un homomorfismo, basta verificar que la composici
on es nula para cada n + 1celda
= [v0 , . . . , vn+1 ].
n+1 () =
n+1
X
i=0
(6.2)
182
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Por tanto,
n n+1 () =
n+1
X n+1
X
j=0 i=0
j6=i
n+1
n1
n
1
Cn+1 (K) Cn (K)
Cn1 (K)
C1 (K)
C0 (K)
6.2. HOMOLOGIA SIN ORIENTACION,
I.E. MOD 2
183
O
V
A
T
O
S
N
U
G BIA
U
R
Si hacemos abstracci
on a partir de la situaci
on anterior, lo que realmente
tenemos es una sucesi
on C = {Cn , n }n de grupos abelianos y homomorfismos n : Cn Cn1 , los cuales satisfacen n n+1 = 0 (dejaremos que los
subndices n varen en Z). En particular la imagen de n es un subgrupo
del kernel de n1 .
Podemos hablar entonces (este es el tema del
algebra homol
ogica) de
una categora de complejos de cadenas, la cual tendr
a por objetos a los
complejos de cadenas. Un complejo de cadenas es una sucesi
on de grupos
abelianos y homomorfismos, (n Z)
n+2
n+1
n1
n
Cn+1 Cn
Cn1 = {Cn , n }
n+2
- Cn+1
n+1
- Cn
fn+1
?
- C0
n+1
0
n+2
- Cn1
?
- C0
n
fn1
fn
0
n+1
n1
?
- C0
n1
0
n1
0
n
v4
v3
v1
v2
3
2
1
0
C2 (K)
C1 (K)
C0 (K).
184
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
N
otese que si C1 , entonces
Z1
B1
=o
ker(1 )
Im(2 )
4
= 1,
4
ker(2 )
Z2
1
o(H2 ) = o
=o
= = 1,
B2
Im(3 )
1
C0
C0
16
o(H0 ) = o
=o
=
= 2.
B1
Im(1 )
8
185
O
V
A
T
O
S
N
U
G BIA
U
R
a
Figura 6.10: Un toro (o una botella de Klein si la orientacion del lado superior es la
contraria.
C
omo distinguir entonces de que triangulaci
on
se trata, el toro o la botella? La soluci
on es entonces distinguir entre [b, c] y [c, b], lo que es
equivalente a distinguir la orientaci
on de a hacia b de la orientacion de b hacia a. Si notamos [b, c] = [c, b] entonces debemos abandonar nuestra aritmetica en Z2 para pasar a la
aritmetica en Z. Y este es el tema de la homologa con coeficientes en Z o homologa
con orientaci
on.
6.3.
186
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Eilemberg, Steenrod y Zilber entre otros.
Un 2smplice orientado es un 2smplice (def. 6.2) con un ordenamiento de sus vertices [v0 , v1 , v2 ]. N
otese que el orden [v0 , v1 , v2 ] es claramen-
v3
v2
v0
v0
+
v1
v0
v0
v2
v1
v1
187
O
V
A
T
O
S
N
U
G BIA
U
R
Operador borde
n
X
i
[v0 ]
[v0 , v1 ]
[v0 , v1 , v2 ]
[v0 , v1 , v2 , v3 ]
=
=
=
=
0
[v1 ] [v0 ]
[v1 , v2 ] [v0 , v2 ] + [v0 , v1 ]
[v1 , v2 , v3 ] [v0 , v2 , v3 ] + [v0 , v1 , v3 ] [v0 , v1 , v2 ]
Los signos alternados son introducidos a fin de tomar en cuenta las orientaciones, de suerte que todas las caras de un smplice son orientadas de
manera coherente, como en la figura 6.11. En el caso del 4smplice las
orientaciones de las cuatro caras son en el sentido contrario a las manecillas
del reloj.
188
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 6.15. Los elementos de Cn(K) en el kernel de n son los n
ciclos y, a este subgrupo nuevamente lo notamos Zn(K). La palabra ciclo
proviene del caso n = 2 donde los ciclos corresponden a caminos cerrados
alrededor de un tri
angulo con vertices v0 , v1 , v2 .
Definici
on 6.16. Los elementos de Cn1 (K) que son la imagen de n son
los (n 1)bordes y a este subgrupo nuevamente lo notamos Bn1 (K). Son
las (n 1)cadenas que son borde de alguna ncadena.
v0
v3
v2
189
O
V
A
T
O
S
N
U
G BIA
U
R
2 = [v0 , v3 ] + [v3 , v2 ] + [v2 , v0 ],
3 = [v0 , v1 ] + [v1 , v3 ] + [v3 , v0 ],
4 = [v0 , v2 ] + [v2 , v1 ] + [v1 , v0 ].
Sea Z1 (K); los lados en el tetraedro que tienen al vertice v0 como punto
inicial son [v0 , v1 ], [v0 , v2 ] y [v0 , v3 ] y asumamos que los coeficientes de estos
lados en son m1 , m2 , m3 respectivamente. Entonces + m2 4 m3 2 es
de nuevo un ciclo pero no contiene los lados [v0 , v1 ] o [v0 , v3 ] pues
190
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
n1
n
n1 n : Cn (K)
Cn1 (K) Cn2 (K)
tenemos que
n
X
X
i
n1 n () =
(1)
[v0 , . . . , vbj , . . . , vbi , . . . vn ]+
i
j<i
n
X
j>i
Como el smplice [v0 , . . . , vbk , . . . , vbl , . . . , vn ] aparece dos veces, una para i =
k, j = l con coeficiente (1)l (1)k , y otra para i = j, j = l con coeficiente
(1)k (1)l1 cada sumando se anula y por tanto n1 n = 0.
Corolario 6.19. El teorema implica que para cada n > 0, Bn (K) es un
subgrupo de Zn (K).
191
O
V
A
T
O
S
N
U
G BIA
U
R
6.3.1.
Grupos de homologa
Definici
on 6.20. El grupo cociente Hn (K) = Zn (K)/Bn (K) es el n-
esimo
grupo de homologa con coeficientes enteros asociado al complejo
simplicial K, n > 0. H0 (K) = C0 (K)/B0 (K). La homologa para K es
entonces la sucesi
on
H (K) = {H0 (K), H1 (K), H2 (K), H3 (K), . . .}.
v2
v1
= t0 (v0 v2 ) + t1 (v1 v2 ).
(6.4)
(6.5)
192
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Esto implica que B0 (K) = 1 (C1 ) = Z Z.
Ejemplo 6.22. Sea K la superficie del tetraedro como en el ejemplo 6.17, la cual es una triangulaci
on de la esfera S 2 y calculemos los grupos
de homologa Hn (S 2 , Z).
Los u
nicos posibles grupos no triviales son para
n = 0, 1, 2, 3. Ya hemos encontrado que Z0 (K)
es el grupo libre abeliano con cuatro generadores
v0 , v1 , v2 , v3 , B2 (K) = 0, Z1 (K) = B1 (K)
Z2 (K) = Z.
m1 [v1 , v2 , v3 ]+ m2 [v0 , v2 , v3 ] + m3 [v0 , v1 , v3 ] +
m4 [v0 , v1 , v2 ] con mi Z.
v0
v1
v3
v2
193
O
V
A
T
O
S
N
U
G BIA
U
R
0 (K).
v5
v1
p1
p2
p3
p5
p4
v4
v3
N
otese que lo que hemos hecho es dar un desvo por los lados [p2 , v1 ]
y [v1 , p1 ] a fin de evitar el paso por [p1 , p2 ]. Un c
alculo r
apido muestra que
194
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
As que, despues de pr
acticamente empujar cada 1ciclo a la circunferencia
exterior hemos obtenido
H1 (A) = Z.
Es f
acil ver que ning
un 2cadena tiene borde nulo, puesto que todo 2smplice tiene un lado o bien en la circunferencia interior o en la exterior y este
lado no aparece en ning
un otro 2smplice a fin de que pudiese ser eliminado,
por lo que Z2 (A) = 0 lo que implica H2 (A) = 0.
Ejemplo 6.25 (Homologa del toro). En el c
alculo de la homologa del
toro T , encontramos los terminos cadena, ciclo y borde bien ejemplificados,
aunque a
un nos falta el concepto de torsi
on.
A
Figura 6.12: Cadenas en el toro
195
O
V
A
T
O
S
N
U
G BIA
U
R
c
c
2
a
4
a la cual podemos a
nadir los bordes de los 2smplices [a, d, e], [b, e, f ], [c, d, f ]
196
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
a
y obtener a 1 :
[a, d]+[d, e]+[e, b]+[b, e]+[e, f ]+[f, c]+[c, f ]+[f, d]+[d, a] = [d, e]+[e, f ]+[f, d].
197
O
V
A
T
O
S
N
U
G BIA
U
R
198
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
b
2
4
3
199
O
V
A
T
O
S
N
U
G BIA
U
R
H1 (K) = Z Z2 .
2 3
a
4
200
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
6.4.
Homologa singular
Para calcular la homologa de un espacio X hemos supuesto que el espacio ya tiene una triangulaci
on K como complejo simplicial. Que sucede
si consideramos otra triangulaci
on K 0 para X? Cambian los grupos de
homologa? Para contestar estas preguntas desarrollaremos una teora de
homologa m
as general, y llamada homologa singular, que no este basada sobre complejos simpliciales, sino que por el contrario pueda ser definida
sobre cualquier espacio topol
ogico; pero como toda buena generalizaci
on,
ella debe coincidir con la homologa simplicial cuando de complejos se trate.
6.4.1.
Smplices regulares
Definici
on 6.28. Dado n N, definimos el nsmplice est
andar n
Rn+1 como el nsmplice con vertices en los vectores unitarios e0 = (1, 0, . . . , 0),
e2 = (0, 1, . . . , 0), . . ., en = (0, . . . , 0, 1) en cada eje coordenado,
= [e0 , e1 , . . . , en ] = {(x0 , . . . , xn ) R
n+1
: xi 0 y
n
X
xi = 1}.
i=0
e2 = (0, 0, 1)
e1 = (0, 1, 0)
e0 = (1, 0, 0)
Figura 6.17: 2 .
El subespacio ni = {(x0 , . . . , xi , . . . , xn ) n | xi = 0} es la (n 1)
cara de n opuesta al vertice ei .
Ejemplo 6.29. El 1smplice est
andar 1 tiene dos 0caras: {e0 } y {e1 }.
2
Mientras que tiene tres 1caras: [e0 , e1 ], [e1 , e2 ] y [e0 , e2 ].
201
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 6.30. Un nsmplice singular en
un espacio X es entonces definido como una funci
on : n X (en la figura aparece la imagen
1 ). Como es tan solo una funci
on continua,
no tiene entonces por que preservar la topologa
de n a la manera de una inmersi
on, i.e. puede
tener singularidades y esta es la raz
on de la
palabra singular.
di
Definici
on 6.31. Dado un nsmplice regular : n X al componer
con cada una de la n + 1 funciones di obtenemos n + 1 diferentes (n 1)
smplices regulares di : n1 X y cada una de estas funciones di
la llamamos la i
esima cara de notada como i . Hemos definido as una
i
funci
on : Sn (X) Sn1 (X) dada por i () = i para cada Sn (X) y
llamado el operador iesima cara.
6.4.2.
Cadenas regulares
202
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
Pk
i=1 mi i
Cn (X)
i=0
Por tanto, para cada espacio X tenemos el complejo de cadenas singulares {Cn (X), n } ver recuadro de la secci
on 6.2.1
n+2
n+1
n1
n
1
Cn+1 (X) Cn (X)
Cn1 (X)
C1 (X)
C0 (X)
n1
n
n1 n : Cn (X)
Cn1 (X) Cn2 (X)
Demostraci
on. Por la definici
on de homomorfismo es suficiente verificar la
condici
on para cada Sn (X).
dj
Ahora bien,
n
X
(1)i i
n1 n () = n1 (n ()) = n1
i=0
n
n
n1
X
X
X
=
(1)i n1 (i ) =
(1)i
(1)j ( i )j
i=0
i=0
(1)i+j ( i )j +
0j<in
(1)
j i1
i+j
i j
( )
0j<in
= (1)
0ijn
= 0.
j=0
(1)i+j ( i )j
0ij<n
i+j
(1)i+j ( i )j
0ij<n
(1)
( ) +
(1)i+j ( i )j
0ij<n
203
O
V
A
T
O
S
N
U
G BIA
U
R
on identidad
id(Z) para n par, y la constante a 0 para n impar y as Zn (X) = Z si n
es impar, y 0 si n es par. Por tanto, Hi (X) = 0 para i > 0 acclico y
H0 (X) = C0 (X)/Im(1 ) = Z/0 = Z.
Proposici
on 6.35. Si 0 (X) = {X } es el conjunto de las componentes conexas por caminos de X, entonces para cada n 0 existe un
isomorfismo can
onico
M
Hn (X) =
Hn (X ).
Demostraci
on. Como n es conexo por caminos, un nsmplice de X es un
nsmplice de X para alg
uP
n , y as, una ncadena de X puede ser
expresada como una suma donde cada es una ncadena en X .
Por tanto Cn (X) se expresa como una suma directa Cn (X ). Como la
imagen de un nsmplice : n X est
a contenida en X para alg
un ,
204
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
tambien lo est
a la imagen de la compuesta di para cada i y por tanto
el operador
ltima suma Cn (X ), con lo que
Lborde n respeta esta u
Hn (X) = Hn (X ).
Corolario 6.36. Si X es conexo por caminos, H0 (X) Z.
Demostraci
on. Como cada 0smplice : 0 X es una funci
on constante
con (e0 ) = x0 para x0 X, tenemos que, S0 (X) puede ser identificado con
X y por tanto, C0 (X) puede ser visto como el grupo libre abeliano generado
por los elementos en X. Como C1 (X) = {0} tenemos que ker(0 ) = C0 (X)
y por tanto H0 (X) = C0 (X)/Im(1 ).
Definimos un homomorfismo sobreyectivo
h : C0 (X) Z como h
X
i
n i i
ni .
i ni
= 0.
6.4.3.
Comportamiento funtorial
Nuestro interes es ahora demostrar que Hn se comporta de manera funtorial. Para esto, mostramos que cada funci
on continua f : X Y induce
205
O
V
A
T
O
S
N
U
G BIA
U
R
n
n
X
X
(1)i (f )i =
(1)i f ()i
i=0
i=0
n
X
= f#
(1)i i = f# n ()
i=0
n+2
- Cn+1 (X)
n+1
- Cn (X)
f#
?
- Cn+1 (Y )
n+2
- Cn1 (X)
f#
?
- Cn (Y )
n+1
n1
f#
?
- Cn1 (Y )
n1
206
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
(6.6)
207
O
V
A
T
O
S
N
U
G BIA
U
R
w0
w1
v2
v1
v0
La regi
on entre estos dos grafos i y i1 es
el (n + 1)smplice [v0 , , vi , wi , , wn ] (en
la figura hemos sombreado al 3-smplice interno
[v0 , v1 , v2 , w2 ]) puesto que wi no est
a en ninguno
de los dos nsmplices y la uni
on de todos ellos
constituyen todo n I; y para dos nsmplices
consecutivos i, i + 1 tenemos
w2
w2
v2
v0
v1
208
CAPITULO 6. HOMOLOGIA
O
V
A
T
O
S
N
U
G BIA
U
R
X
(1)i (1)j+1 F ( id) [v0 , , vi , wi , , wj , , wn ]j ,
ji
X
+
(1)j F ( id) [v0 , , vj , , vi , wi , , wn ]j .
i>j
g () f () = P () + P () = P ()
n1
n1
En la demostraci
on del teorema hemos mostrado que una homotopa entre
dos funciones continuas, conduce a una homotopa de cadena en el contexto
de los complejos de cadenas, lo cual a su vez implica la igualdad de las
funciones inducidas. Formalicemos estos conceptos:
209
O
V
A
T
O
S
N
U
G BIA
U
R
Definici
on 6.44. Sean {C, }, {D, } dos complejos de cadenas, y
, : C D dos funciones de cadenas. Una familia de homomorfismos
= {n : Cn Dn+1 }n0
n+1 n + n1 n = n n
para cada n 0 y 1 0 = 0 0 .
Proposici
on 6.45. Si , : C D son dos funciones de cadenas y
es una cadena de homotopa entre ellas, entonces las funciones sobre la
homologa son iguales.
Demostraci
on. En efecto, si Cn est
a en el n
ucleo de n entonces
n () n () = n+1 n () + n1 n () = n+1 n () + 0
O
V
A
T
O
S
N
U
G BIA
U
R
Indice alfab
etico
(R {0}, ), 47
(C {0}, ), 48
C(X, Y ), 63
S(K, U ), 63
Y tf X, 40
[X, Y ], 81
(X, x0 ), 83
GLn, 49
SLn, 50
SOn, 51
0 (X), 75
1 (X, x0 ), 90
n(X), 134
RP n, 44
clasificaci
on
de recubrimientos, 158
cociente
de grupos, 13
coclase, 10
complejo simplicial, 173
complejos, 48
componente conexa, 71
conexo, 68
localmente por caminos, 76
por caminos, 73
conexos maximales, 71
cono, 41
contractil, 124
convergencia puntual, 61
cubrimiento, 3
admisible, 64
alfabeto, 18
botella de Klein, 41
bouquet, 134
descomposici
on
can
onica, 32
determinante, 51
equivalencia
de homotopa, 117
espacio
orbita, 56
de funciones, 60
homogeneo, 54
identificaci
on, 31
localmente euclidiano, 163
proyectivo, 141
punteado, 83
recubridor, 140
210
INDICE ALFABETICO
211
O
V
A
T
O
S
N
U
G BIA
U
R
simplemente conexo, 96
espacio proyectivo, 44
familia indizada, 1
funci
on
cociente, 33
inducida, 66
recubridora, 140
funci
on evaluaci
on, 64
funciones
que pegan espacios, 39
functor, 108
completamente fiel, 108
funtor, 112
grupo
abeliano, 9
cclico, 14
con torsi
on, 15
fundamental, 91
generado, 14
libre, 17
lineal especial, 51
lineal general, 49
ortogonal especial, 51
simetrico, 52
topol
ogico, 46
grupo libre
abeliano, 20
generado, 18
hip
otesis del continuo, 6
hom
ologos, 191
hom
otopas, 79
hom
otopo
nulo, 97
homeomorfismo local, 99
homologa, 172
con orientaci
on, 185
sin orientaci
on, 178
singular, 200
homomorfismo, 11
homomorfismos
de grupos topol
ogicos, 55
inducidos, 106
homotopa, 67, 79
de caminos, 85
lineal, 79
relativa, 82
isometra, 52
isomorfismo
de grupos, 12
l.c.c., 76
Lema de Lebesgue, 100
levantamiento, 98, 148
de funciones, 155
metrica uniforme, 62
monoide, 8
n
umero
de Betti, 16
n
umero de hojas, 141
normalizador, 13
operaci
on interna, 8
operador borde, 179
operador frontera, 202
orden
de un elemento, 15
palabra, 18
par topol
ogico, 82
partici
on, 2
permutaci
on, 9
producto
amalgamado de grupos, 24
directo externo, 17
directo interno, 17
libre de grupos, 22
212
INDICE ALFABETICO
O
V
A
T
O
S
N
U
G BIA
U
R
proyecci
on estereogr
afica, 37
recubrimiento, 140
regular, 154
universal, 161
relaci
on
de equivalencia, 5
de orden, 6
reflexiva, 5
simetrica, 5
transitiva, 5
representaci
on
de grupos, 21
retracci
on, 110
retracto, 110
retracto por deformaci
on, 119
s
abanas, 140
slaba, 18
semigrupo, 9
simplemente conexo
semilocalmente, 162
subcelda, 175
subgrupo, 9
caracterstico, 151
commutador, 16
conjugado, 13
normal, 11
suspensi
on, 42
teorema
de Brower, 112
de Borsuk, 111
de Cantor, 7
de conjugaci
on, 152
de SeifertVan Kampen, 127
topologa
admisible, 64
cociente, 30, 31
coherente, 27
compacto abierto, 63
de continuidad fuerte, 33
identificaci
on, 31
identificaci
on de un subconjunto, 35
producto de Tychonoff, 61
punto abierto, 61
suma, 26
uni
on disyunta, 26
uni
on libre, 26
toro, 34
transformaciones Deck, 168
traslaci
on a izquierda, 53
triangulaci
on, 177
variedad, 164
vecindad elemental, 140
O
V
A
T
O
S
N
U
G BIA
U
R
Bibliografa
[1] Agoston, M. K., Algebraic Topology, a first course, Marcel Dekker, Inc., New
York, NY, 1976.
[2] Allan J. Sieradski, An Introduction to Topology and Homotopy, Boston, PWSKent, 1992.
[3] Armstrong, M. A., Basic Topology, UTM Series, SpringerVerlag, Berlin Heidelberg New York, 1997.
[4] Bredon, Glen E. Topology and Geometry, SpringerVerlag, New York, 1993.
[5] Brown, R. Ten topologies for X Y , Quart. J. of Math. (Oxford Ser.)(2), 14,
303319, 1963.
[6] Burde, G., Zieschang, H., Knots, Walter de Gruyter, Berlin New York, 1985.
[7] Croom, F. H., Basic Concepts of Algebraic Topology (Undergraduate Texts in
Mathematics), SpringerVerlag, Berlin Heidelberg New York, 1978.
[8] Crossley, M. D., Essential Topology Series: Springer Undergraduate Mathematics Series, SpringerVerlag, Berlin Heidelberg New York, 2005.
Uno de los ttulos mas recientes como texto introductorio.
[9] Christenson, C., Voxman, W. Aspects of Topology Series: Pure and applied
Mathematics, M. Dehher, New York, 1977.
Un texto con material para dos semestres con una coleccion excelente de ejercicios.
Se puede leer una y otra vez... Una primera parte en topologa de conjuntos y una
segunda en topologa algebraica con un tratamiento especial en teora simplicial
y sistemas inversos.
[10] Dieudonne, J., A history of Algebraic and Differential Topology, 19001960,
Birkauser, Boston Basel, 1989.
[11] Dugundji, J., Topology, Boston, Allyn and Bacon, 1966.
213
214
BIBLIOGRAFIA
O
V
A
T
O
S
N
U
G BIA
U
R
[12] Eilenberg, S., Steenrod, N., Foundations of Algebraic Topology, Princeton University Press, Princeton, NJ, 1952.
El primer libro en presentar una teora axiomatizada de homologa y cohomologa.
[13] Fox, R. H. On topologies for function spaces, Bull. American Math. Soc., 51,
429432, 1945.
[14] Fulton, William Algebraic Topology: A First Course, New York, SpringerVerlag, 1995.
[15] Gamelin, T. W., Greene, R. E., Introduction to Topology, Second edition, Dover Publ., Inc., Mineola, NY, 1999.
Este hermoso libro debe ser ledo ya! Contents: Introduction. - Fundamental Concepts. - Topological Vector Spaces.- The Quotient Topology. - Completion of
Metric Spaces. - Homotopy. - The Two Countability Axioms. - CW-Complexes. Construction of Continuous Functions on Topological Spaces. - Covering Spaces.
- The Theorem of Tychonoff. - Set Theory (by T. Brecker). - References. - Table
of Symbols. -Index.
[19] Hatcher, Allen, Algebraic Topology, Cambridge University Press, New York,
NY, 2001.
Por fortuna existe una version electronica de este excelente texto en:
http://www.math.cornell.edu/~hatcher/AT/AT.pdf
[20] Hilton, P. J., Wylie, S., Homology theory: An introduction to algebraic topology,
Cambridge University Press, New York, NY, 1960.
[21] Hrbacek, K., Jech, T., Introduction to set theory, Monographs and Textbooks
in Pure and Applied Series, Vol. 220, Marcel Dekker, New York, NY, 1999.
Este es uno de los pocos libro solidos en la moderna teora de conjuntos. Curiosamente su primer intento de publicacion, por parte de sus autores Checos, fue
fallido.
[22] Kahn, D. W., Topology: An Introduction to the Point Set and Algebraic Areas,
Dover Publ. Inc., Mineola, NY, 1995.
[23] Lefschetz, S., Topology, AMS Coll. Publ. 12, Providence, RI, 1930.
BIBLIOGRAFIA
215
O
V
A
T
O
S
N
U
G BIA
U
R
[25] Lefschetz, S., The early development of algebraic topology, Bol. Soc. Bras.
Matem. 1(1970), 148.
[26] Lima, Elon Lages, Grupo fundamental e espacos de recobrimento, IMPA, Coleccion Proyecto Euclides, 1993.
Como dice el autor, se trata de un librotexto de caracter introductorio, sin
pretenciones de ser una obra de referencia.
[28] Maunder, C. R. F., Algebraic Topology, Dover Publ., Mineola, NY, 1996.
[29] Munkres, James R., Topology: a first course, second edition, PrenticeHall, Inc.,
Englewood Cliffs, NJ, 1999.
514 M966top 21. Debera ser el texto gua en muchos cursos.
[30] Munkres, James, Elements of Algebraic Topology, Addison Wesley Publ. Co.,
Menlo Park, CA, 1984.
514.2 M966e Aunque no tan exitoso como el texto anterior.
[31] Rubiano O., Gustavo N. Topologa general, Universidad Nacional de Colombia,
2002.
Como material introductorio a la topologa general es mi favorito.
[32] Spanier, E. H., Algebraic Topology, SpringerVerlag, Berlin Heidelberg New
York, 1994.
[33] Steen, L. A., Seebach, J. A., Counterexamples in Topology, Dover Publ. Inc.,
Mineola, NY, 1995.
Una referencia obligada.
[34] Vassiliev, V. A., Introduction to Topology (Student Mathematical Library, V.
14), A. Sossinski (Translator), American Mathematical Society, Providence,
RI, 2001.
[35] Viro, O. et al., Elementary Topology, a first course, 2005.
Puede y debe consultarse en: http://www.math.uu.se/~oleg/2topoman.pdf
216
BIBLIOGRAFIA
O
V
A
T
O
S
N
U
G BIA
U
R