Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Francisco J. Lopez
Departamento de Geometra y Topologa
Universidad de Granada
fjlopez@ugr.es
TEMA 0: Preliminares
Si adicionalmente
g1 g2 = g2 g1 para cualesquiera g1 , g2 G,
Son muchos los ejemplos de grupos conocidos. Recordaremos algunos de los mas signi-
ficativos.
1
(Gln (C), ), (Gln (R), ), n N.
F(X), , donde X 6= es un conjunto, F(X) := {f : X X : f biyectiva} y
es la composicion de aplicaciones.
(x1 x2 . . . xn ) (y1 y2 . . . ym ) = x1 . . . xn y1 . . . ym ,
Es claro que si el cardinal de es al menos dos y los grupos no son triviales, el producto
libre no es conmutativo, ya que si x2 G e y2 G no son el neutro y 6= , entonces
las palabras reducidas xy e yx son diferentes.
F (x) = {. . . , x2 , x1 , 1, x, x2 . . .}
F (S) = xS F (x).
2
1.2. Teora de subgrupos
En lo que sigue (G, ) sera un grupo arbitrario.
Sub(G) = {H G : H G}
a la familia formada por todos los subgrupos de G. Por ejemplo, el centro de G, que se
define como
Z(G) := {h G : h g = g h g G},
es un subgrupo de G.
Dado un subconjunto A G, el conjunto
k
n
Y
H(A) := { aj j : a1 , . . . , ak A, n1 , . . . , nk Z, k N}
j=1
Si H G, la relacion de equivalencia
def
g1 Rdcha g2 h H : g2 = h g1
3
Definicion 1.8 Si H E G, entonces R := Rdcha = Rizqda , y la clase de equivalencia de
g G asociada a la relacion R se denota indistintamente g H = H g. La operacion
del grupo G puede ser inducida en el cociente G/H de forma natural:
A(G) := G/Gc
4
1.3. Producto amalgamado de grupos
Acabaremos esta seccion con la siguiente definicion, que como veremos mas adelante
jugara un papel crucial en el enunciado del Teorema de Seifert-Van Kampen (Tema 1).
1 : G1 H, 2 : G2 H y 0 : A H
tales que
0 = 1 1 = 2 2
inducen un homomorfismo : G1 A G2 H tal que
j = ( ij ) y ( ij j ) = 0 , j = 1, 2.
5
2. Topologa basica
A lo largo de este curso (X, ) denotara un espacio topologico. Usualmente, y en
ausencia de ambiguedad, omitiremos la referencia a la topologa y escribiremos sim-
plemente X.
: [0, 1] X,
El arco mas simple que podemos construir sobre un espacio topologico es el cons-
tante, que para cada p X viene definido por
Tambien es posible generar nuevos arcos a partir de unos dados de forma sencilla.
Definicion 2.1 Dados arcos , : [0, 1] X con (1) = (0) se definen
: [0, 1] X, (t) := (1 t).
(2t) si t [0, 1/2]
? : [0, 1] X, ? (t) =
(2t 1) si t [1/2, 1]
Observese que Tr() = Tr(), y los puntos inicial y final de son (1) y (0).
Analogamente, Tr( ? ) = Tr() Tr() y los puntos inicial y final de ? son (0)
y (1).
6
Definicion 2.2 Un espacio topologico X se dice arcoconexo si para cualesquiera p,
q X existe un arco : [0, 1] X conectando p y q.
Un espacio topologico X se dice localmente arcoconexo si todo punto admite una
base de entornos arcoconexos (con la topologa inducida).
Los ejemplos mas simples de espacios arcoconexos son los subconjuntos convexos (o
estrellados desde un punto) de un espacio euclidiano. Trivialmente la imagen por una
aplicacion continua de un espacio arcoconexo es un espacio arcoconexo.
Es facil ver que si X = A B, con A y B subespacios arcoconexos no disjuntos,
entonces X es arcoconexo. En efecto, fijado x A B, para cualquiera p X existe un
arco p : [0, 1] X con p (0) = x y p (1) = p. Por tanto para cualesquiera p, q X el
arco p ? q conecta p con q, de donde X es arcoconexo.
Dado un punto p X, la arcocomponente de p en X, que denotaremos por Cp , se
define como el mayor subespacio arcoconexo de X conteniendo a p. En otras palabras,
Cp es la union de todos los subespacios arcoconexos de X que contienen a p. Como {p}
es un subespacio arcoconexo que contiene a p, p Cp . Como la traza de un arco es
arcoconexa, la identidad
Proposicion 2.3 Los siguientes enunciados son ciertos y se dejaran como ejercicio.
7
que C es abierto y cerrado. De la conexion de X inferimos que C = X. As pues X tiene
solo una arcocomponente, y por lo tanto es arcoconexo.
El item (iv) es corolario del (iii). Tengase en cuenta que un abierto de un espacio
localmente arcoconexo es localmente arcoconexo, y por tanto los abiertos euclidianos
son localmente arcoconexos.
Observacion 2.4 Al igual que pasaba con la conexion topologica, existen espacios ar-
coconexos que no localmente arcoconexos. Tambien se conocen espacios conexos que no
son arcoconexos.
(a) (f ) es la mayor topologa en Y que hace a f continua, esto es, si 0 es una topologa
en Y y f : (X, ) (Y, 0 ) es continua entonces 0 (f ). En particular, reparemos
en que f : (X, ) (Y, (f )) es continua.
8
(c) F 0 Y es cerrado en (Y, (f )) si y solo si existe F X cerrado y f -saturado con
f (F ) = F 0 .
(d) (Y, (f )) es Hausdorff si y solo si para cualesquiera y1 , y2 Y , y1 6= y2 , existen
abiertos f -saturados disjuntos O1 , O2 tales que f 1 (yj ) Oj , j = 1, 2.
(e) (Y, (f )) es II-Axioma de Numerabilidad si y solo si existe una familia B de abiertos
f -saturados en X satisfaciendo las siguientes propiedades:
B es numerable.
Todo abierto f -saturado de X es union de abiertos de B.
(f) Si (X, ) es conexo (arcoconexo, compacto) entonces (Y, (f )) es conexo (arcocone-
xo, compacto).
Existe una ntima relacion entre la topologa final y la topologa cociente. Explique-
mos los detalles.
Sea (X, ) un espacio topologico. Consideremos una relacion de equivalencia R en
X y construyamos el espacio cociente X/R. Denotemos por : X X/R a la corres-
pondiente proyeccion.
Definicion 2.8 La topologa final () en X/R para : X X/R es conocida como la
topologa cociente inducida por la relacion R en X/R. El espacio topologico (X, ())
es referido como el espacio topologico cociente de (X, ) por la relacion R.
En realidad el concepto de topologa cociente no es sino una formulacion equivalente
del de identificacion topologica. Para comprobarlo introduzcamos alguna notacion.
Dada una aplicacion sobreyectiva f : X Y , induciremos en X la siguiente relacion
de equivalencia:
p f q f (p) = f (q).
Si denotamos por [p] a la clase de equivalencia de p X por f , y por f : X X/f ,
f (p) = [p], a la correspondiente proyeccion al cociente, existe una unica biyeccion
f: X/f Y tal que f f = f . Para ser mas precisos,
es un homeomorfismo.
9
Esta proposicion expresa el hecho de que, salvo un homeomorfismo canonico, todo
espacio identificacion es un cociente topologico.
Demostracion : La biyectividad de f es trivial.
Como ff : (X, ) (Y, (f )) coindice con la aplicacion continua f , la Proposicion
2.7 garantiza que f: X/f , (f ) Y, (f ) es continua. Recprocamente, como
f: X1 /R1 , (1 ) X2 /R2 , (2 )
(d) Existe h : (Y, 0 ) (X, ) continua tal que f h = IdY (f tiene una inversa continua
a la derecha).
10
Estudiemos, como aplicacion practiva del Corolario 2.10 y la Proposicion 2.11, los
tres modelos topologicos estandar del espacio proyectivo.
Proposicion 2.13 Los siguientes espacios cocientes son homeomorfos al espacio pro-
yectivo RPn , n N:
(i) El espacio cociente (Rn+1 \ {0})/1 , u /1 ), n N, por la relacion p 1 q
R \ {0} : p = q.
n
(ii) El espacio cociente B (0, 1)/2 , u /2 ), n N, por la relacion p 2 q
n
kp qk {0, 2}. Aqu B (0, 1) = {q Rn : kqk 1}.
Ejercicio 2.14 Las siguientes aplicaciones entre espacios euclidianos son identifica-
ciones topologicas:
R/
= S1 , con t s t s Z.
[0, 1]/
= S1 , con t s |t s| {0, 1}.
11
(iii) R2 S1 S1 , (t1 .t2 ) 7 (e2t1 , e2t2 ); utilcese Proposicion 2.11-(a).
Como consecuencia,
R2 /
= S1 S1 , con (t1 , t2 ) (s1 , s2 ) tj sj Z, j = 1, 2.
(iv) [0, 1]2 S1 S1 , (t1 .t2 ) 7 (e2t1 , e2t2 ); utilcese Proposicion 2.11-(b).
Como consecuencia,
[0, 1]2 /
= S1 S1 , con (t1 , t2 ) (s1 , s2 ) |tj sj | {0, 1}, j = 1, 2.
Rn+1 \ {0}/
= Sn , n N, con p q p/kpk = q/kqk.
12
Definicion 3.3 Sea C una curva de Jordan en X. Sean 1 y 2 dos arcos de Jor-
dan orientados en C, y denotemos por (p1 , p2 ) y (q1 , q2 ) las orientaciones de 1 y 2 ,
respectivamente (con esta notacion V (1 ) = {p1 , p2 } y V (2 ) = {q1 , q2 }).
Los arcos 1 y 2 se diran compatiblemente orientados si existe un homeomorfismo
f : C S1 tal que las orientaciones (f (p1 ), f (p2 )) de f (1 ) y (f (q1 ), f (q2 )) de f (2 )
tienen el mismo caracter (esto es, ambas son positivas o negativas).
La compatibilidad o no compatibilidad de orientaciones no depende del homeomor-
fismo f : C S1 utilizado. En efecto, si h : C S1 es otro homeomorfismo entonces
f h1 : S1 S1 es monotono en el argumento.
13
es un homeomorfismo. Construyamos
p
kpkh kpk si p 6= 0
H : D D, H(p) = ,
0 si p = 0
Definicion 3.7 Los subconjuntos X R2 que con la topologa euclidiana inducida sean
discos topologicos compactos (respectivamente, abiertos) seran llamados discos planos
compactos (respectivamente, abiertos).
Surge aqu una pregunta aparentemente inocente pero de gran calado topologico:
Que subespacios topologicos del plano son discos planos compactos?
El Teorema de Jordan-Schoenflies clasico, cuya prueba esta fuera de las posibilidades
de este curso, da la respuesta completa a esta cuestion.
Teorema 3.9 (Jordan-Schoenflies) Si C1 y C2 son dos curvas de Jordan en R2 y
f : C1 C2 un homeomorfismo, existe F : R2 R2 homeomorfismo tal que F |C1 = f .
Este resultado implica que cualquier curva de Jordan C en R2 es frontera de (o bordea)
un disco topologico compacto en R2 , y que cualquier disco topologico compacto X
de R2 surge de esta forma. En efecto, basta con aplicarlo a cualquier homeomorfismo
f : C S1 y observar que X := F 1 (D) es un disco plano compacto con Bd(X) = C.
Tengase tambien en cuenta que el borde Bd(X) de cualquier disco plano compacto
X R2 es una curva de Jordan.
A modo de ilustracion o ejercicio sobre estas cuestiones, en la siguiente proposicion
trataremos el caso sencillo de una curva de Jordan convexa. Obviaremos el Teorema
de Jordan-Schoenflies y probaremos que esta bordea un disco topologico plano (ver
tambien el Teorema 3.15).
Recordemos que una curva de Jordan C en R2 se dice convexa si para cualquiera lnea
recta L en R2 el conjunto L C es
14
conexo (puede que vaco) y C esta en un semiplano cerrado con borde L, o
contiene exactamente dos puntos distintos y C tiene puntos en los dos semiplanos
abiertos determinados por L.
15
Si i : C X denota la inclusion, el Corolario 2.10 nos proporciona una aplicacion
continua i : C X satisfaciendo i 0 = i. Por la naturaleza de las relaciones
i : C X es un embebimiento topologico.
El siguiente resultado describe la naturaleza topologica del resultado de pegar nues-
tros discos. En particular, prueba que el espacio X obtenido no depende de los discos
topologicos compactos considerados, de los arcos de Jordan elegidos en su borde, ni del
homeomorfismo entre ellos considerado.
Proposicion 3.11 El espacio X es un disco topologico compacto con Bd(X) = i(C).
Demostracion : Llamemos
(construyase con ayuda del Corolario 3.6), logramos que F1 (p) = F2 (h(p)) para
todo p 1 .
La aplicacion
F : X D, F |X1 := F1 , F |X2 = F2 ,
esta bien definida y es continua y sobreyectiva de un compacto en un Hausdorff, de donde
es una identificacion. Como la relacion que induce F coincide con , la Proposicion 2.9
garantiza que la unica aplicacion F : X D tal que F = F es un homeomorfismo.
Esto prueba que X es un disco topologico cerrado.
Como Bd(X) = F 1 (S1 ) = (F 1 (S1 )) = (C) = i(C), la proposicion se sigue.
16
j
Observacion 3.12 La Proposicion 3.11 se generaliza al caso Xj = {(x, y) R2 : y
0, x2 + y 2 < 1} y j := 1
j (] 1, 1[), j = 1, 2. En este caso, si h : 1 2 es un
homeomorfismo y es la relacion asociada en X = X1 X2 dada por
Ejercicio 3.13 Es un ejercicio ilustrativo probar que dados dos discos topologicos com-
pactos y disjuntos X1 y X2 y un homeomorfismo h : Bd(X1 ) Bd(X2 ), el cociente
topologico X1 X2 /, donde denota la relacion de equivalencia en X1 X2 definida
por
p q p = q o {p, q} = {r, h(r)} para algun r Bd(X1 ),
es homeomorfo a la esfera S2 .
Ejercicio 3.14 Sea X es un disco topologico compacto y sean 1,j , 2,j Bd(X),
j = 1, . . . , k, arcos de Jordan tales que 1,j 2,j = Pj Bd(X), j = 1, . . . , k, y
(1,j 2,j ) (1,i 2,i ) = , i 6= j. Sea hj : 1,j 2,j un homeomorfismo tal que
h(Pj ) = Pj , j = 1, . . . , k. Definamos la relacion en X
Teorema 3.15 Toda curva de Jordan poligonal C en R2 parte el plano en dos compo-
nentes conexas con frontera comun C. Una de ellas es acotada y llamada interior de C,
y la otra es no acotada y llamada exterior de C. Seran denotadas respectivamente por
Int(C) y Ext(C).
Ademas Int(C) Int(C) C, con la topologa euclidiana inducida, es un disco
topologico compacto con borde C e interior Int(C).
17
Demostracion : Sabemos que C es la union de una cantidad finita de segmentos de
longitud ecuclidiana positiva: C = kj=1 sj . Tomemos una recta L con direccion distinta
a la de las rectas conteniendo a los segmentos sj para todo j = 1, . . . , k. Elijamos un
vector director u R2 \ {0} de L.
Lo primero que vamos a ver es que R2 \ C tiene dos componentes conexas con
frontera comun C. En efecto, para cada p R2 \ C llamemos Lp := {p + su : s R} y
L+p := {p + su : s 0}. Consideremos la funcion
18
donde cada i es un dominio convexo con frontera una curva de Jordan polgonal,
i = 1, . . . , a. Este hecho, que se puede probar facilmente por induccion en k, se basa en
la propiedad elemental de que una lnea recta que atraviesa un convexo lo parte en dos
trozos convexos. Como cada i esta en una componente conexa de R2 \ C, sin perdida
de generalidad podemos suponer que que 1 , . . . , b , 1 b < a, son las componentes
conexas de R2 \ (kj=1 Lj ) contenidas en Int(C) y escribir Int(C) = bi=1 j como union
de regiones convexas compactas bordeadas por curvas de Jordan poligonales. Por la
Proposicion 3.10, cada region j es un disco topologico compacto con frontera una
curva de Jordan poligonal contenida en kj=1 Lj , i = 1, . . . , b.
Nuestro objetivo va a ser comprobar de forma inductiva que, salvo reordenacion,
Xj := ji=1 i con la topologa euclidiana inducida es un disco topologico compacto con
frontera euclidiana la poligonal borde Bd(Xj ) kj=1 Lj para todo j = 1, . . . , b. Este
resultado implicara que Int(C) = Xb es un disco topologico compacto satisfaciendo las
condiciones explicitadas en el enunciado del teorema, acabando la demostracion.
En efecto, podemos suponer sin perdida de fuerza que X1 = 1 contiene al menos
uno de los segmentos que definen C. Notemos que el disco X1 satisface las condiciones
anteriores gracias a la Proposicion 3.10, por lo que la base de la induccion esta ga-
rantizada. Admitamos que nuestra afirmacion es cierta para Xj , j < b. Para cerrar la
induccion, es importante obsevar que C * Bd(Xj ). En efecto, en otro caso C = Bd(Xj )
ya que la circunferencia topologica Bd(Xj ) = S1 no contiene subespacio propios ho-
1
meomorfos a S . Como j < b, el conexo b no corta a Bd(Xj ) = C, y por la primera
parte de la demostracion debe estar contenido en una de las dos componentes conexas
de R2 \ Bd(Xj ) = R2 \ C. Como b Xj = y Int(C) = Int(Bd(Xj )), deducimos que
b Ext(C), una contradiccion. Por tanto, existe una region en la lista {j+1 , . . . , b },
que salvo reordenacion podemos suponer es j+1 , que corta a C y es contigua a Xj en
el sentido de que j+1 Xj es un arco de Jordan. La Proposicion 3.11 garantiza que
Xj+1 := Xj j+1 es un disco topologico compacto con borde una curva de Jordan
poligonal contenida en kj=1 Lj . Esto cierra la induccion y concluye la demostracion.
Observacion 3.16 El mismo argumento del teorema anterior funciona sin grandes
modificaciones cuando la curva de Jordan poligonal C se sustituye por una curva po-
ligonal P propiamente embebida en R2 con una cantidad finita de segmentos (dos de
ellos logicamente semirectas infinitas). En este caso la conclusion es que R2 \ P tiene
dos componentes conexas no acotadas con frontera comun P .
19
Llamemos S al espacio topologico cociente X/R, y denotemos por : X S a la
correspondiente proyeccion al cociente.
Observemos que:
La inclusion natural i : X \ C X induce un embebimiento i0 : X \ C S dado
por i0 (p) := ( i)(p) = (p) S.
: U {1, 1} U
a la primera proyeccion. Por sencillez, identificaremos cada par (b, ) U {1, 1} con
la slaba o caracter b .
20
1 , . . . , k son dos a dos compatiblemente orientados en C,
Int(i ) Int(j ) = , i 6= j,
j j+1 6= , j = 1 . . . , k 1, y k 1 6= , y
kj=1 j = C.
Definicion 3.19 Un espacio topologico se dice un grafo conexo si existe una exahus-
cion = 0 1 . . . n = por subespacios topologicos conexos de , de forma
que para cada j {1, . . . , n} existe un arco j : [0, 1] tal que
j = j1 j ([0, 1]).
Si existe una circunferencia topologica (curva de Jordan) j ji=1 i con j ([0, 1])
j , diremos que j anade un ciclo a , j = 1, . . . , n. Si j anade un ciclo para todo
j = 1, . . . , n entonces se dira un n-ciclo.
21
A los extremos de los j se les llamara vertices de , y se denotara por V () =
nj=1 {j (0), j (1)} al conjunto de todos ellos. A las componentes conexas de \ V ()
las llamaremos lados de , y denotamos E() al conjunto de todos ellos. El numero
entero
() := ]E() + ]V (),
que coincide con 1 k donde k es el numero total de ciclos anadidos en la exahuscion
= 0 1 . . . n = , se llamara caracteristica de Euler de .
Observacion 3.20 Claramente r es un grafo conexo con vertices V (r ) = ki=1 r V (i )
y lados E(r ) = {r Int(i ) : i = 1, . . . , k}. Para determinar de forma correcta los car-
dinales de V (r ) y E(r ), y por tanto (r ), hay que tener en cuenta las identificaciones
inducidas por r .
Un mismo esquema puede admitir distintas realizaciones, pero parece natural pensar
que estas son identificables topologicamente. La clave para comprenderlo esta de nuevo
en el Corolario 3.6, y nos la da la siguiente proposicion.
Es mas,
y el hecho de que
22
(1) (2)
los homeomorfismos hi,j : 1,i 1,j y hi,j : 2,i 2,j preservan o revierten
ambos la orientabilidad para todo (i, j) I ,
nos permite elegir f para que ademas
(1) (2)
hi,j = (f |2,j )1 hi,j (f |1,i ) (i, j) I .
En efecto, para cada {(i, j), (j, i)} I2 , i 6= j, basta fijar primero un ndice (tomare-
mos por ejemplo i), tomar cualquier homeomorfismo f |1,i : 1,i 2,i preservando la
orientacion fijada en los arcos de Jordan, y finalmente definir
(2) (1)
f |2,j = hi,j (f |1,i ) (hi,j )1 : 1,j 2,j .
Por el Corolario 3.6 existe un homeomorfismo F : Int(C1 ) Int(C2 ) tal que F |C1 = f .
Claramente
p r1 q F (p) r2 F (q),
por lo que F induce un homeomorfismo F : Sr1 Sr2 tal que F r1 = r2 F . Esto
concluye la prueba.
23
Por ultimo, para probar que S es II-Axioma de Numerabilidad observese que la
familia de abiertos -saturados de D
24
TEMA 1: Grupo Fundamental
Francisco J. Lopez
Departamento de Geometra y Topologa
Universidad de Granada
fjlopez@ugr.es
Observacion 4.2 Salvo mencion explcita de lo contrario, en lo que sigue todas las
homotopas de arcos consideradas seran con extremos fijos.
Observacion 4.3 Sea : [0, 1] X un arco. Si h : [0, 1] [0, 1] es un homeomorfismo
tal que h(0) = 0 y h(1) = 1, el arco h se dira una reparametrizacion de preservando
la orientacion.
Todo arco : [0, 1] X es homotopico con extremos fijos a cualquiera repara-
metrizacion suya h : [0, 1] X preservando la orientacion. Basta con definir la
homotopa:
H : [0, 1]2 X, H(t, s) = (1 s)t + sh(t) .
25
La homotopa de arcos tiene unas propiedades agradables que vamos a describir a
continuacion.
Dos arcos , p,q (X) se diran homotopicos, y se escribira ' , si existe una
homotopa H de en .
26
Demostracion : Sean H1 : [0, 1]2 X y H2 : [0, 1]2 X homotopas de en 0 y de
0
en , respectivamente. La aplicacion H : [0, 1]2 X dada por
H1 (2t, s) si t [0, 1/2]
H(t, s) :=
H2 (2t 1, s) si t [1/2, 1]
es una homotopa de ? en 0 ? 0 .
(iii) ? 'p .
4t
si t [0, 2s
( 2s ) 4
]
2s 3s
Demostracion : La homotopa H : [0, 1]2 X, H(t, s) = (4t + s 2) si t [ 4 , 4 ]
( 4t+s3 ) si t [ 3s , 1]
s+1 4
prueba que ? ( ? )'( ? ) ? , luego (I).
2t
) si t [0, s+1
2 ( s+1 2
]
La homotopa H : [0, 1] X, H(t, s) = s+1
q si t [ 2 , 1]
27
(2t) si t [0, 1s
2
]
2 1s 1+s
Por ultimo, la homotopa H : [0, 1] X, H(t, s) = (1 s) = (s) si t [ 2 , 2 ]
(2t 1) si t [ 1+s , 1]
2
1s
prueba que ? 'p , luego (III). Notese que {(2t) : t [1, 2 ]} parametriza el sur-
28
Demostracion : La Proposicion 4.7 garantiza que Uf esta bien definida y la Proposicion
4.8 que Uf es un isomorfismo de grupos con inverso Uf .
Por otra parte, de las anteriores proposiciones tambien es claro que
Uf ([]) = Ug ([]) [f ? ? f ] = [g ? ? g] [g ? f ] ? [] = [] ? [g ? f ]
La aplicacion
Este corolario tiene gran utilidad. Pensemos que, como consecuencia del mismo, dos es-
pacios topologicos con grupos fundamentales no isomorfos no pueden ser homeomorfos.
Este hecho tendra implicaciones profundas como veremos mas adelante.
29
5. Calculo del grupo fundamental: ejemplos basicos
En este tema abordaremos algoritmos complejos para el calculo del grupo funda-
mental. Estudiemos ahora algunos ejemplos sencillos que son de bastante utilidad.
es un isomorfismo de grupos.
No es difcil demostrar que esta bien definida. En efecto, si j 'j0 va una homotopa
Hj : [0, 1]2 Xj , j = 1, 2, entonces (1 , 2 )'(10 , 20 ) via la homotopa (H1 , H2 ) : [0, 1]2
X1 X2 . Esto demuestra que no depende del representante elegido para la definicion.
El hecho de que y son uno inverso del otro es un ejercicio trivial.
Otra familia de espacios topologicos para la que es posible deducir informacion sobre
su grupo fundamental es la de los grupos topologicos.
G es un espacio topologico
30
La aplicacion G G G, (a, b) 7 a b1 , es continua, o equivalentemente,
: G G G, (a, b) 7 a b, y ( )1 : G G, a 7 a1 ,
son continuas.
donde : [0, 1] G viene dado por ( )(t) := (t) (t) para todo t [0, 1].
Como siempre, hay que garantizar que esta bien definida en clases. Para ello con-
sideremos j 'j0 en e (G) via una homotopa Hj : [0, 1]2 G, j = 1, 2, y observemos
que H1 H2 : [0, 1]2 G (definida de forma natural) es una homopia de 1 2 en 10 20 .
A continuacion hagamos el siguiente calculo:
(2t) si t [0, 1/2] (2t) e si t [0, 1/2]
? (t) = = = ( ? e ) (e ? ).
(2t 1) si t [1/2, 1] e (2t 1) si t [1/2, 1]
Analogamente,
e (2t) si t [0, 1/2]
? (t) = = (e ? ) ( ? e ).
(2t 1) e si t [1/2, 1]
6. El Grupo Fundamental de S1
Nuestro objetivo inmediato sera calcular explcitamente el grupo fundamental de la
circunferencia S1 . En lo que sigue identificaremos S1 {z C : |z| = 1} C. Como S1
es un grupo topologico con el producto de numeros complejos, a priori sabemos por el
Teorema 5.4 que 1 (S1 , 1) ha de ser abeliano.
Un ingrediente fundamental para nuestro estudio seran las propiedades topologicas
de la aplicacion exponencial
31
(f) Para todo z S1 existe un abierto U S1 tal que:
z U.
Si V es una arcocomponente de 1 (U ) entonces |V : V U es un homeo-
morfismo.
Todos las propiedades anteriores son bien conocidas. Quiza merezca un mnimo co-
mentario la prueba del item (f). En efecto, sea z S1 y definamos U = S1 \ {z} y
notese que z U . Dado t0 1 (z) es claro que 1 (U ) = mZ ]t0 + m, t0 + m + 1[,
donde los conjuntos ]t0 + m, t0 + m + 1[, m Z, son las arcocomponentes de 1 (U ).
Si V =]t0 + m, t0 + m + 1[ es una arcocomponente cualquiera de 1 (U ), el item (e)
garantiza que |V : V U es un homeomorfismo.
Necesitaremos el siguiente resultado de levantamiento.
Lema 6.1 Dada H : [0,1]2 S1 continua con H(0, 0) = 1, existe una unica aplicacion
e : [0,1]2 R continua tal que H
H e = H y H(0,
e 0) = 0.
U = U1 := S1 \ {1}, U2 := S1 \ {1} .
Como C = [0, 1]2 es un espacio metrico compacto (con la distancia euclidiana in-
ducida), existe el llamado numero de Lebesgue > 0 para el recubrimiento abierto
H 1 (U) := {H 1 (U1 ), H 1 (U2 )} de C. Esto significa que cualquier subconjunto A C
con diametro euclidiano < satisface A H 1 (Uj ) para algun j {1, 2}. De aqu que
podamos elegir una particion 0 = t1 < . . . < tk < tk+1 = 1 de [0, 1] tal que
C1 = [t1 , t2 ] [t1 , t2 ].
Kj := ij Ci es conexo, j = 1, . . . , N .
La construccion de H
e se hara por un procedimiento inductivo. Llamemos
Hj = H|Kj : Kj S1 , j = 1, . . . , N.
32
Observemos que H1 (C1 ) U1 y sea V1 la arcocomponente de 1 (U1 ) R conteniendo
a 0 (ver la propiedad (f) de la proyeccion : R S1 ). Recordemos que |V1 : V1 U1
es un homeomorfismo que aplica 0 V1 en 1 S1 . La aplicacion
e 1 := (|V1 )1 H1 : K1 C1 R
H
Hj (Lj ) es arcoconexo y
(H
e j (Lj )) = Hj (Lj ),
H
ej sobre Kj
H
e j+1 :=
1
(|Vj+1 ) (Hj+1 |Cj+1 ) sobre Cj+1
Demostracion :
La unicidad es obvia razonando como en la prueba del Lema 6.1.
Procedamos a probar la existencia de
e. Para ello basta con definir
que claramente satisface las hipotesis del Lema 6.1, y considerar la aplicacion H
e dada
e : [0,1] R,
en el. Obviamente el arco e(t) := H(t,
e 0), resuelve el corolario.
Los arcos
e y e dados por el Corolario 6.2 tienen los mismos extremos.
La aplicacion H
e dada por el Lema 6.1 es una homotopa (con extremos fijos) de
e en .
e
33
Demostracion : Consideremos la aplicacion H
e dada en el Lema 6.1 y los levantamientos
Este ultimo corolario sera trascendental, en lenguaje sencillo expresa que arcos ho-
motopicos en S1 se levantan a arcos homotopicos en R por la aplicacion : R S1 .
La construccion del levantamiento e a partir de en el Corolario 6.2 es en cierto
sentido implcita. En el caso de que sea diferencible es posible establecer una formula
directa para este calculo.
Ejercicio 6.4 Si (1 , 2 ) : [0, 1] S1 R2 es un arco de clase C 1 con (0) =
(1, 0), entonces su levantamiento va a R viene dado por:
Z t
1
1 (s)20 (s) 10 (s)2 (s) ds
e(t) =
2 0
De forma explcita, y para cada n Z, el lazo n : [0, 1] S1 C, n (t) := e2nt ,
se levanta con condicion inicial en : [0, 1] R,
en (0) = 0 al arco en (t) := nt.
El concepto de grado de un lazo en S1 sera el ingrediente algebraico necesario para
interpretar el grupo fundamental de la circunferencia.
Definicion 6.5 Dado un lazo : [0, 1] S1 con base el punto 1 S1 , definimos el
grado de como
deg() = e(1) Z,
e : [0, 1] R representa el levantamiento de con condicion inicial
donde e(0) = 0.
Notese que la condicion
e = implica
e(1) = (1) = 1, por lo que efectivamente
deg() Z como se enfatiza en la definicion. El grado es interesante para la topo-
loga porque tiene un buen comportamiento respecto a la homotopa, como muestra la
siguiente
Proposicion 6.6 Dados , : [0, 1] S1 dos lazos con base el punto 1 S1 , se tiene
que
' deg() = deg().
Demostracion : Supongamos que '. Por el Corolario 6.3, los correspondientes levan-
tamientos e y con condicion inicial 0 son tambien homotopicos:
e e'.
e Esto implica
que deg() = e(1) = (1)
e = deg().
Recprocamente, supongamos que deg() = deg(). Consideremos los correspon-
dientes levantamientos e y e con condicion inicial 0. Al ser deg() =
e(1) = (1)
e =
deg(), la aplicacion continua
e : [0, 1]2 R,
H e s) := (1 s)e
H(t, (t) + s(t)
e
es una homotopa con extremos fijos que garantiza e'.e Al ser continua, =
e' e = va la homotopa H,
e lo que concluye la proposicion.
34
Como consecuencia de este analisis podemos enunciar el teorema central de esta seccion
que materializa el calculo del grupo fundamental de la circunferencia.
Demostracion : La Proposicion 6.6 garantiza que deg : (1 (S1 , 1), ?) (Z, +) esta bien
definida en clases de homotopa.
La inyectividad es consecuencia tambien de la Proposicion 6.6. En cuanto a la so-
breyectividad smplemente tengase en cuenta que deg([n ]) = n para cada n Z; ver
Ejercicio 6.4.
Para concluir solo resta probar que deg es un homomorfismo de grupos. En efecto,
tomemos [], [] 1 (S1 , 1). Tenemos que
Como consecuencia podemos demostrar el siguiente teorema del punto fijo en dimension
dos, cuya generalizacion a dimension arbitraria es cierta aunque requiere de otro tipo
de herramientas para su demostracion.
Teorema 6.9 (Punto fijo de Brower) Sea f : D D una aplicacion continua. En-
tonces existe p0 D tal que f (p0 ) = p0 .
35
Demostracion : Razonemos por reduccion al absurdo y admitamos que existe f : D D
sin puntos fijos. La contradiccion se generara probando que entonces existe una aplica-
cion continua r : D S1 satisfaciendo r|S1 = IdS1 , lo que es contrario a la Proposicion
6.8.
Tomemos p D. Como p 6= f (p), la convexidad estricta de D garantiza que la
semirecta
Lp := {p + (p f (p)) : 0}
corta S1 en un unico punto
r(p) := Lp S1 ,
y que ademas r(p) = p cuando p S1 .
Como p 6= f (p) y son de norma 1, hp, p f (p)i > 0 y existe una raiz (p) < 0:
1 p
2 + kp f (p)k2 (1 kpk2 )
(p) = hp, p f (p)i hp, p f (p)i
kp f (p)k2
Por tanto, r(p) esta unvocamente determinado y viene dado por la expresion
36
Teorema 6.10 (Teorema Fundamental del Algebra) Sea P : C C una funcion
polinomica de la forma
donde n 1.
Entonces existe z0 C tal que P (z0 ) = 0.
sk
donde simplemente se ha tenido en cuenta que { 1s k
}kN +, {tk }kN t, la
expresion de P (z) en (3), y el algebra basica de lmites.
Por tanto, extendiendo H a [0, 1] {1} por la expresion
7. Equivalencias homotopicas
Como bien sabemos dos espacios homeomorfos tienen el mismo grupo fundamental,
salvo isomorfismos. Sin embargo existen condiciones topologicas mas debiles que el
homeomorfismo que nos permiten extraer la misma conclusion. En esta seccion las
estudiaremos con detalle.
37
i : 1 (A, a) 1 (X, a) es un monomorfismo.
38
Ejercicio 7.5 Las siguientes aplicaciones realizan retractos fuertes de deformacion:
El centro p0 de un conjunto estrellado A (en un espacio euclidiano Rn ) es un
retracto fuerte de deformacion de A:
H : A [0, 1] A, H(q, s) := (1 s)q + sp0 .
1
donde f : R3 \ {x = y = 0} S1 R, f (x, y, z) := k(x,y)k (x, y), z .
Observacion 7.6 Si A es un retracto de deformacion de X, {C : } son las
arcocomponentes de A y C es la arcocomponente de X conteniendo a C para cada
, entonces:
r(C ) = C para todo , y por tanto C 6= C , 6= .
39
A veces es util el siguiente resultado.
Proposicion 7.7 Sea F : X Y un homeomorfismo. Si A es un retracto (fuerte) de
deformacion de Y entonces F 1 (A) es un retracto (fuerte) de deformacion de X.
prueba que B(p, 1 ) \ {p} es un retracto fuerte de deformacion de B(p, 2 ) \ {p} con
retraccion asociada r.
40
Definicion 7.10 Un espacio topologico X se dice contractil si admite como retracto
de deformacion a un punto {p0 } X. En caso de que {p0 } sea retracto fuerte de
deformacion de X diremos que el espacio es fuertemente contractil.
Veremos mas adelante (ver Corolario 7.21) que este enunciado es cierto para espacios
contractiles.
Ejercicio 7.13 Como consecuencia del Ejercicio 7.5 y del Teorema 7.9:
41
(i) B es numerable (luego X es II-Axioma de Numerabilidad).
(ii) B es simplemente conexo para todo B B.
Entonces 1 (X, x) es numerable para todo x X.
La condicion de simple-conexion en el item (ii) se puede relajar por la de semilocal
simple conexion (ver Definicion 15.1), sin que ello afecte a la tesis del teorema.
Demostracion : Dado un par B, B 0 B (puede ser B = B 0 ), nuestras hipotesis implican
que cada arcocomponente de B B 0 es un abierto de X, y por tanto contiene un abierto
de B. Como la familia CB,B 0 de arcocomponentes de B B 0 esta formada por conjuntos
disjuntos dos a dos y B es numerable, deducimos que CB,B 0 ha de ser numerable. Por
tanto, [
CB := CB,B 0
(B,B 0 )B2
esto es,
'xB01,y1 ? . . . yBk1
k
,x0 .
42
7.2. Homotopa de aplicaciones: tipo de homotopa
La siguiente definicion trata sobre la idea de deformacion en el contexto mas general
posible.
L1 = {1} [0, 1], L2 = [0, 1] {1}, L3 = {0} [0, 1], L4 = [0, 1] {0}.
j ([0, 1]) = Lj , j = 1, 2, 3, 4, y
Observese que es un lazo en C con base (1, 0) y traza Bd(C). Ademas es uno a uno
excepto por los puntos inicial y final que coinciden con (1, 0).
Tomemos [] 1 (X, x0 ) y definamos la aplicacion continua G : C Y, G(t, s) =
H((t), s). Como es un lazo con base (1, 0) en C, el arco G es un lazo con base
43
G (1, 0) = 1 (x0 ) en Y . Teniendo en cuenta que H(, j) = j+1 , j {0, 1}, y la
Observacion 4.3, deducimos que
donde todas las homotopas son con extremos fijos. Por tanto
G ' ? (2 ) ? ? (1 ).
Al ser C simplemente conexo (de hecho es convexo), [] = [(1,0) ] en 1 (C, (1, 0)).
De aqu deducimos que
esto es,
? (2 ) ? ? (1 )'1 (x0 ) ,
o equivalentemente, U ([1 ]) = [2 ]. En otras palabras, U (1 ) y (2 ) coinciden
sobre cualquiera [] 1 (X, x0 ), lo que concluye la prueba.
g f l IdX y f g l IdY .
44
Obviamente todo homeomorfismo es una equivalencia homotopica, pero lo recproco
no es cierto. Un espacio contractil nos proporcionara facilmente un contraejemplo. Sin
embargo, la equivalencia homotopica es suficiente para garantizar isomorfismo entre
grupos fundamentales.
g : 1 (Y, f (x0 )) 1 (X, g(f (x0 ))) y f : 1 X, g(f (x0 )) 1 Y, f (g(f (x0 ))) .
45
8. El Grupo Fundamental de las Esferas
En esta seccion calcularemos el grupo fundamental de las esferas Sn , n 2.
Para abordarlo probaremos un caso particular del Teorema de Seifert-Van Kampen,
que se estudiara mas adelante, cuya demostracion es ademas bastante inspiradora.
46
Corolario 8.2 La esfera Sn es simplemente conexa para todo n 2.
y llamemos
i = i2 i1 : B2 (p, 1 ) \ {p} B2 (p, 2 ) \ {p}.
Fijado p0 B2 (p, 1 ) \ {p}, a nivel de grupos fundamentales tenemos que
i = (i2 ) (i1 ) : 1 B2 (p, 1 ) \ {p}, p0 1 B2 (p, 2 ) \ {p}, p0 ,
donde
(i1 ) : 1 B2 (p, 1 ) \ {p}, p0 1 F (Bn (q, )) \ {p}, p0 e
(i2 ) : 1 F (Bn (q, )) \ {p}, p0 1 B2 (p, 2 ) \ {p}, p0 .
Es claro que B2 (p, 1 ) \ {p} es homeomorfo a B2 (0, 1) \ {0} va una transformacion
combinatorio, y analogamente para B2 (p, 2 ) \ {p}. Por tanto la Proposicion 7.7, el
47
Ejercicio 7.5 y el Teorema 7.9 garantizan que 1 B2 (p, 1 ) \ {p} y 1 B2 (p, 2 ) \ {p}
son isomorfos al grupo fundamental de S1 , esto es, a Z.
Un razonamiento similar nos dira que 1 Bn (q, ) \ {q}, q0 , q0 := F 1 (x0 ), es
es un isomorfismo, lo que es absurdo ya que al ser i = (i2 ) (i1 ) esa aplicacion factoriza
por el homomorfismo trivial. Esto completa la prueba.
Lema 8.4 Sea f : S1 S1 continua e impar (esto es, satisfaciendo f (p) = f (p),
p S1 ) con f (1) = 1, y sea el lazo en S1 basado en 1 dado por := f 1 : [0, 1] S1 ,
donde 1 = |[0,1] (recordemos que : R S1 es la aplicacion t 7 e2t ).
Entonces deg() es impar.
Demostracion : Sea : [0, 1] S1 el arco en S1 dado por (t) = (t/2), t [0, 1].
Como f es impar inferimos que (1) = (0) = 1. Sea e el unico levantamiento de
a R con condicion inicial (0) = 0, y observemos que por ser = necesariamente
e(1) = k + 1/2, k Z. Definamos
e(2t) si t [0, 1/2]
c(t) =
e(2t 1) si t [1/2, 1]
e(1) +
(2t) si t [0, 1/2] (2t) si t [0, 1/2]
( c)(t) = 2e
(1) = =
e (2t 1) si t [1/2, 1] (2t 1) si t [1/2, 1]
(t) si t [0, 1/2]
= = (t),
(t 1/2) si t [1/2, 1]
donde en la ultima igualdad hemos usado que (t 1/2) = (t) para t [1/2, 1] como
consecuencia de que f es impar.
Como consecuencia c : [0, 1] R es el levantamiento a S1 de con condicion inicial
c(0) = 0, esto es, c = ,
e y por tanto deg() = c(1) = 2e
(1) = 2k + 1 es impar.
48
Consideremos f : S1 S1 , f (p) := F (p, 0). Claramente f satisface las hipotesis del
Lema 8.4, por lo que deg() es impar para = f 1 .
Por otro lado, como 1 (S2 , 1) = {[1 ]} inferimos que F (1 (S2 , 1)) = {[1 ]}
1 (S1 , 1). En particular [] = [f 1 ] = [F (1 , 0)] = F ([(1 , 0)]) = [1 ], lo que
contradice que deg() es impar.
f (x) f (x)
F : S2 S1 , F (x) := ,
|f (x) f (x)|
bien definida y obviamente continua. Como F (x) = F (x), esta aplicacion es impar
contradiciendo el Lema 8.5.
La misma idea se puede utilizar para probar que si S2 es union de dos cerrados entonces
alguno de ellos contiene dos puntos antpodas.
Es evidente que un compacto del plano se puede dividir en dos mitades de igual area
por un argumento de barrida por rectas de separacion paralelas y continuidad. Pero no
lo es tanto cuando se trata de dos compactos.
Demostracion : Sin perdida de generalidad supondremos que Area(Ai ) > 0 para algun
i {1, 2}, en otro caso el resultado es trivial.
Identifiquemos R2 con su copia topologica en R3 correspondiente al plano P :=
{(x1 , x2 , x3 ) R3 : x3 = 1}. Para cada x S2 = {p R3 : kpk = 1}, denotemos por
Px := {y R3 : hy, xi = 0} y escribamos R3 \ Px = Px+ Px+ , donde Px+ := {y
R3 : hy, xi > 0} y Px := {y R3 : hy, xi < 0}. Es claro que Px+ = Px para todo
x S . Observemos tambien que Lx := Px P es una recta combinatorio en P R3
2
49
ai (x) = Area(Ai Px+ ), i = 1, 2. Por el Teorema de la convergencia dominada es facil
demostrar que ai es continua, i = 1, 2. Por el Teorema de Borsuk-Ulam aplicado a
f = (a1 , a2 ) : S2 R2 existe x0 S2 tal que ai (x0 ) = ai (x0 ), i = 1, 2. En otras
palabras,
Area(A1 Px0 ) = Area(A1 Px0 ) y Area(A2 Px0 ) = Area(A2 Px0 ),
lo que concluye el teorema. (Notese que x0 6= (0, 0, 1) pues en ese caso {ai (x0 ), ai (x0 )} =
{0, Area(Ai )}, i = 1, 2, lo cual es imposible).
Por el Teorema de Borsuk-Ulam existe x0 S2 tal que f (x0 ) = f (x0 ), esto es,
Vol(Ai Px+0 (tx0 )) = Vol(Ai Px
+
0
(tx0 )), i = 1, 2.
50
+ +
Como Px0
(tx0 ) = Px 0
(tx0 ) = Px0 (tx0 ) inferimos que
U V 6= y U V = X.
a traves del cual factorizan las aplicaciones i , j y k . Esto quiere decir que 1 = i ,
2 = j y o = k . Analicemos con detalle y de forma explcita la definicion de
. Para ello estableceremos el convenio notacional
{W1 , W2 } = {U, V }.
51
Una palabra generica en 1 (U, x0 ) 1 (V, x0 ) 1 (W1 , x0 ) 1 (W2 , x0 ) viene dada por
la expresion w = [1 ]Wi1 . . . [m ]Wim , ij {1, 2} para todo j, donde el sibndice indica
el espacio de la clase de homotopa. Con esta notacion,
((w)) = [1 ]X ? . . . ? [m ]X .
La prueba del teorema consistira en demostrar que es un isomorfismo. Para ver que
es sobre, tomemos un lazo : [0, 1] X con base el punto x0 U V . Por el Lema
de Lebesgue, existe n N tal que ([i/n, (i + 1)/n]) esta contenido en U o en V para
todo i = 0, . . . , n 1. Llamemos i : [0, 1] X, t 7 ((1 t)i/n + t(i + 1)/n).
Si i ([0, 1]) U y i+1 ([0, 1]) V (o viceversa), el punto i (1) = i+1 (0) esta
contenido en U V y eligiremos un arco i en U V con punto inicial x0 y final i (1).
Cuando i ([0, 1]) i+1 ([0, 1]) U (o V ) se procede igual, solo que ahora el arco i
descansa en U (o V ). Finalmente
52
1 ? . . . ? m esta parametrizada de forma que la traza de i se recorre sobre el
intervalo [(i 1)/m, i/m].
n es multiplo de m, y por tanto, cada subintervalo [(i 1)/m, i/m] contiene una
cantidad entera de intervalos de longitud 1/n.
Lo que hemos de demostrar es que la palabra w, pensada como un elemento de 1 (U, x0 )
1 (V, x0 ), puede ser alterada por relaciones de amalgamado en {i (a) j (a)1 : a
1 (U V, x0 )} (pasando elementos de 1 (U V, x0 ) en una slaba a la siguiente) de
forma que al final nos quede la palabra trivial. El procedimiento consistira, a grosso
modo y salvo algun trabajo previo que hay que explicar, en probar que podemos pasar
de la palabra en 1 (U, x0 ) 1 (V, x0 ) asociada a la curva H(t, i/n) a la asociada a
H(t, (i + 1)/n). Como la palabra asociada a H(t, 1) es la trivial habremos conluido la
prueba.
Comencemos con los detalles. Como primera etapa, observemos que salvo modificar
nuestra homotopa sin alterar la palabra de una forma no permitida, podemos asumir
que para todo (s, i) [0, 1] {0, 1, . . . , n} la curva horizontal H(, s) es constante para
valores de t en un entorno de i/n. Todo ello sin alterar la propiedad de que los cuadrados
con lado de longitud 1/n tienen imagen por H dentro de U o V . En efecto, para ello
basta con reparametrizar convenientemente, y con dependencia continua en s, las curvas
H(, s). Omitimos los detalles. Un razonamiento analogo nos permite tambien suponer,
adicionalmente y sin perdida de generalidad, que para todo (t, i) [0, 1] {0, 1, . . . , n}
la curva vertical H(t, ) es constante para valores de s en un entorno de i/n.
Como consecuencia, H coincide con una aplicacion constante ci,j U V en un
pequeno disco euclidiano Di,j centrado en (i/n, j/n) para todo (i, j) {0, 1, . . . , n}2 .
En este punto usaremos curvas en U , V o U V , con preferencia en el ultimo conjunto y
dependiendo de si ci,j U , V o U V (tal y como explicamos arriba cuando probamos
la sobreyectividad de ), para alterar H en los Di,j por una funcion radial (esto es,
constante sobre las circunferencias centradas en (i/n, j/n)) de forma que H(i/n, j/n) =
x0 . Para ser mas precisos, si Di,j tiene radio i,j y i,j : [0, i,j ] U , V o U V , es una
curva con punto inicial x0 y final ci,j , definiremos
H (i/n, j/n) + r = i,j (r), r [0, i,j ], S1 .
En este punto ya queda claro que cada curva H(t, i/n) es producto de lazos con base x0 y
contenidos en U o V (aquellos que se corresponden con las imagenes de los subintervalos
[j/n, (j +1)/n], j = 0, 1, . . . , n1), por lo que de forma canonica se le puede asociar una
palabra en el producto libre 1 (U, x0 ) 1 (V, x0 ). Expliquemos ahora como pasar de la
palabra asociada a H(t, i/n) en 1 (U, x0 ) 1 (V, x0 ) a la que representa H(t, (i + 1)/n).
Fijemos i {0, 1, . . . , n 1} y llamemos j al lazo con base x0 en U o V dado por
t 7 H (1 t)j/n + t(j + 1)/n, i/n , j = 0, . . . , n 1.
De esta forma H(, i/n) ' 0 ? . . . , ?n1 . Atendiendo a nuestros convenios, si Wlj
denota al abierto conteniendo a j , j = 0, . . . , n 1, entonces [0 ]Wl0 ? . . . ? [n1 ]Wln1
sera la palabra asociada a H(, i/n) en 1 (U, x0 ) 1 (V, x0 ).
Para i + 1 y de forma analoga llamemos j0 al lazo con base x0 en U o V dado por
t 7 H (1 t)j/n + t(j + 1)/n, (i + 1)/n , j = 0, . . . , n 1.
Igual que antes, [0 ]Wl0 ? . . . ? [n1 ]Wln1 sera la palabra asociada a H(, (i + 1)/n) en
1 (U, x0 ) 1 (V, x0 ). Finalmente llamemos j al lazo en Wlj1 Wlj basado en x0 dado
por
s 7 H j/n, (1 s)i/n + s(i + 1)/n , j = 0, . . . , n,
53
donde hemos hecho el convenio Wl1 = Wln = X (notese que 0 = n = x0 ya que H
es homotopa con extremos fijos).
Como cada cuadrado [j/n, (j + 1)/n] [i/n, (i + 1)/n] es simplemente conexo, de-
ducimos que (en homotopa y como palabras en 1 (U, x0 ) 1 (U V,x0 ) 1 (V, x0 )) que
[0 ]Wl0 ?. . .?[n1 ]Wln1 = [0 ]Wl0 ?[0 ]Wl0 ?. . .?[j ]Wlj ?. . .? [n1 ]Wln1 ?[n ]1
Wl =
n1
Corolario 9.2 Bajo las mismas hipoteis del Teorema de Seifert-Van Kampen, si U V
es simplemente conexo entonces 1 (X.x0 )
= 1 (U, x0 ) 1 (V, x0 ).
Corolario 9.3 Bajo las mismas hipoteis del Teorema de Seifert-Van Kampen, si V es
simplemente conexo entonces 1 (X.x0 ) = 1 (U, x0 )/N i (1 (U V, x0 )) .
54
9.1.1. Espacios libro
Consideramos el semiplano 1 := {(x1 , x2 , x3 ) R3 : x1 = 0, x2 0} y sus girados
respecto del eje x3
j := {(e2(j1)/k z, x3 ) : (z, x3 ) 1 C R R3 }, j = 1, . . . , k.
55
equivalencia
homotopica (compruebese como ejercicio), por lo que i 1 ((B1 Lk ) \
{0}) = 1 ((B2 Lk ) \ {0}) es un grupo libre con k 1 6= 1 generadores, generando
una contradiccion.
El caso k = 1 es analogo. Ahora se toman B2 U una bola euclidiana abierta
centrada en F (0), D F 1 (B2 ) O L1 un semidisco abierto centrado en 0, y
B1 F (D) una bola eclidiana abiera centrada en F (0). Se razona formalmente como
arriba, revirtiendo el sentido de las inclusiones, y generando una contradiccion similar.
Omitimos los detalles.
56
Es claro que V = (D) = D es simplemente conexo, por lo que el Corolario 9.3 garantiza
que
1 (S, (t0 ))
= 1 (U, (t0 ))/N i (1 (U V, (t0 ))) ,
donde i : 1 (U V, (x0 )) 1 (U, (x0 )) es el morfismo inducido por i : U V U .
Usando que r : 1 (U, (t0 )) 1 (S1 ), z0 es un isomorfismo,
1 (U, (t0 ))/N i (1 (U V, (t0 )))
= r 1 (U, (t0 )) /N (r i )(1 (U V, (t0 ))) ,
esto es,
1 (U, (t0 ))/N i (1 (U V, (t0 ))) = 1 ((S1 ), (1, 0))/N (r i) (1 (U V, (t0 ))) .
1 (S )
= 1 ( , z0 )/N ([1 ]).
Definicion 9.10 (Esquemas binarios puros normales) Presentamos una lista basi-
ca de esquemas binarios puros, que llamaremos normales, y sus correspondientes reali-
zaciones (tengase en cuenta el Corolario 9.9).
El espacio S0 asociado al esquema binario puro w0 := aa1 es homeomorfo a la
esfera S2 y tiene grupo fundamental isomorfo a
Qn
El espacio Sn asociado al esquema binario puro wn := j=1 aj aj , n N, tiene
grupo fundamental isomorfo a
n
Y
F (a1 , . . . , an )/N ({ a2j }).
j=1
57
Corolario 9.11 (Realizaciones de esquemas binarios puros normales) La fami-
lia de realizaciones de los esquemas binarios puros normales
A(1 (Sn ))
= Z2n , A(1 (Sn+1 ))
= Z2 Zn , n N {0}
Para cada n N {0}, denotaremos por Sn,k a la realizacion del esquema binario
n
Y k
Y
wn,k := aj cj a1 1
j cj dj bj d1
j
j=1 j=1
donde ej dj bj d1
j para todo j.
Para cada n N, denotaremos por Sn,k a la realizacion del esquema binario
n
Y k
Y
wn,k := aj aj cj bj c1
j
j=1 j=1
donde ej cj bj c1
j para todo j.
58
homeomorfismos. Dotemos a Sn,k (kj=1 Xk ) de la topologa suma, e introduzcamos la
siguiente relacion de equivalencia en Sn,k (kj=1 Xk )
Denotemos por
Y0 := X (kj=1 Yj )
con la topologa suma, y sea h0 := {h0j : lb0j lbj , j = 1, . . . , k} una familia de homeo-
morfismos. Introduzcamos en Y0 la relacion
0 : Y0 Y
S := Sn,k (kj=1 Xk ),
y definamos
: Y0 S, |X = , |Yj = j , j = 1, . . . , k.
Sea : S S/ h la proyeccion al cociente. La unica aplicacion
59
es una identificacion que materializa S/h como realizacion del esquema wn en el disco
Y , justo lo que queramos demostrar.
Finalmente, si existiese F : Sn,k Sn0 ,k0 homeomorfismo deduciramos que k =
k , porque un tal F habra de aplicar las k curvas de Jordan bj s de Sn,k en las k 0
0
A(Sn,k )
= Z2n+k1 , A(Sn+1,k )
= Zn+k , n N {0}
(para n = k 1 = 0 entiendase Z0 {0}) y el Ejercicio 9.13.
1 (RP2 )
= F (a)/N ({a2 })
= Z2 .
Probaremos el siguiente
Teorema 9.15 1 (RPn )
= Z2 , n 2.
1 (RPn+1 )
= 1 (RPn ), n 2.
U := ({p Sn+1 : hp, en+2 i > 0}) y V := ({p Sn+1 : |hp, en+2 i| < 1})
60
son abiertos arcoconexos de RPn+1 tales que RPn+1 = U V . Igualmente
rA=Ar y H (A Id[0,1] ) = A H.
r : V (Sn ), H : V [0, 1] V
satisfaciendo que
r (|W ) = (|Sn ) r y H (|W ) Id[0,1] = (|W ) H,
1 (RPn+1 )
= 1 (U ) 1 (V )
= {0} 1 (RPn )
= 1 (RPn ),
61
Ejercicios del Tema 1
6. Demostrar que IS2n1 l IS2n1 para cada n N. A partir de este hecho y del
ejercicio anterior deducir que si f : S1 S1 es continua y nulhomotopa, entonces
existen x1 , x2 S1 tales que f (x1 ) = x1 y f (x2 ) = x2 .
62
10. Sea (S1 , 1) un lazo de clase C 1 . Demostrar que:
Z 1
1
0
deg() = (u), J((u)) du,
2 0
Sf = {(x, y, z) R3 / x2 + y 2 = f (z)2 }.
x arctg(x2 y 3 ) = 5,
2 1
cos(x) + sen(xy 3 ) + ex + ey + = 3.
y
63
21. Calcular 1 (X) en estos casos:
22. Calcular 1 (X), donde X es el espacio que se obtiene al identificar los n lados de
un polgono regular plano siguiendo los esquemas E siguientes:
a) n = 3, E = aaa. Es X contractil?
b) n = 6, E = aa1 ba1 a1 b1 ,
c) n = 6, E = ab1 bccc,
d ) n = 7, E = abaaab1 a1 . Es 1 (X) el producto libre de dos grupos cclicos?
23. Sea X el espacio resultante al identificar los 8 lados de un polgono regular plano
siguiendo el esquema acadbcb1 d. Calcular el abelianizado del grupo fundamental
de X.
24. Sea X el espacio obtenido a partir de una corona circular plana cuando se iden-
tifican puntos antpodas en las dos circunferencias del borde. Calcular 1 (X).
25. Sea X el cociente de una corona circular donde el crculo exterior se divide en seis
lados identificados por el esquema abca1 a1 c1 y el crculo exterior se divide en
tres lados identificados segun el esquema ddd. Calcular su grupo fundamental.
64
h) Sea X un espacio topologico y A X. Es (iA ) un monomorfismo? Y si
A es un retracto de X?
i ) Supongamos que f : X Y es continua y sobreyectiva con f (x0 ) = y0 . Es
cierto que f : (X, x0 ) 1 (Y, y0 ) es un epimorfismo?
j ) Es todo retracto de un espacio X un retracto de deformacion de X?
k ) Discutir si existe algun homeomorfismo de R2 que intercambie las dos com-
ponentes conexas de R2 S1 .
28. Calcular 1 (X), donde X es el espacio que se obtiene al identificar los n lados de
un polgono regular plano siguiendo los esquemas indicados:
a) n = 3, E = aaa,
b) n = 6, E = aa1 ba1 a1 b1 ,
c) n = 6, E = ab1 bccc,
d ) n = 7, E = abaaab1 a1 . Es 1 (X) el producto libre de dos grupos cclicos?
65
TEMA 2: Espacios Recubridores
Francisco J. Lopez
Departamento de Geometra y Topologa
Universidad de Granada
fjlopez@ugr.es
En este tema vamos a tratar el concepto de espacio recubridor, una de las herramien-
tas mas utiles en Topologa y Geometra. Esta teora esta ntimamente ligada con la del
grupo fundamental como iremos descubriendo mas adelante. A nivel intuitivo, la idea
basica para construir un espacio recubridor consiste en desenrollar una cantidad finita
o infinita de veces lazos homotopicamente no triviales de un espacio base, para de esta
forma generar otro de menor complejidad topologica (a nivel de grupo fundamental).
X
e es un espacio topologico.
66
Dado p X, al conjunto 1 (p) X e le llamaremos fibra del punto p para el
recubridor (X,
e ). Un recubridor se dira finito ( y la aplicacion recubridora finita)
cuando la fibra 1 (p) sea finita para todo p X. Mas adelante comprobaremos
que el cardinal de 1 (p) no depende del punto p X; ver el Corolario 11.5 y la
Definicion 11.6.
1 2 : X1 X2 Y1 Y2 , donde j : Xj Yj es recubridora, j = 1, 2.
: R2 S1 S1 .
IdR : R2 S1 R.
n m : S1 S1 S1 S1 , m, n N.
n IdR : S1 R S1 R, n N.
Un homeomorfismo f : X Y .
Es natural preguntarse bajo que condiciones topologicas una aplicacion es recubridora.
La proposicion siguiente es un ejemplo de ello.
67
Proposicion 10.3 Si f : Y X es un homeomorfismo local sobreyectivo y propio
entre espacios Hausdorff localmente compactos, entonces f es una aplicacion recubridora
finita.
f 1 (x) = {y1 , . . . , yn }.
f 1 (W ) \ f 1 (W ) \ (nj=1 Vj ) = nj=1 Vj ,
68
Otra cuestion de interes es saber si la composicion de aplicaciones recubridoras es
una aplicacion recubridora. Existen contraejemplos que demuestran la falsedad de esa
afirmacion en general. Pero hay una situacion muy particular en la que es cierta.
Proposicion 10.5 Sean 1 : Y Z y 2 : Z X aplicaciones recubridoras. Si 2 es
finita entonces 2 1 : Y X es recubridora.
Demostracion : Sea x X un punto arbitrario, y consideremos un entorno distinguido
U en X para 2 alrededor de x. Llamemos 21 (x) = {z1 , . . . , zn } (tengase en cuanta
que 2 es finito) y escribamos
21 (U ) = nj=1 Vj ,
donde 2 |Vj : Vj U es un homeomorfismo, j = 1, . . . , n.
Consideremos un entorno distinguido Wj en Z alrededor de zj para el recubridor
1 , j = 1, . . . , n. Observese que la arcocomponente U0 de nj=1 2 (Wj Vj ) conteniendo
a x es un entorno distinguido para 2 . Para ello tengase en cuenta que
U0 nj=1 2 (Wj Vj ) U
y recuerdese que U era un entorno distinguido para 2 . Por tanto, si Uj := Vj 21 (U0 ),
j = 1, . . . , n, entonces
21 (U0 ) = nj=1 Uj con 2 |Uj : Uj U0 un homeomorfismo, j = 1, . . . , n.
Por otra parte, al ser Uj = Vj 21 (U0 ) = (2 |Vj )1 (U0 ) Wj Vj Wj para cada j,
es claro que
11 (Uj ) = p11 (zj ) Uj,p , con 1 |Uj,p : Uj,p Uj homeomorfismo, p 11 (zj ),
j = 1, . . . , n.
Como conclusion,
(2 1 )1 (U0 ) = 11 21 (U0 ) = 11 nj=1 Uj ) =
69
Definicion 10.7 Sea X un espacio topologico, y sea G Hom(X) un subgrupo.
El subgrupo G se dira que actua de forma propia y discontnua sobre X (y la accion
: G X X inducida se dira propia y discontinua) si para todo x X existe un
entorno abierto U de x en X tal que (g U ) U = para todo g G \ {IdX } (aqu g U
denota el conjunto g(U )). Al entorno U se le llamara entorno distinguido (alrededor de
x) para la accion.
70
Si denotamos por m,n : R2 R2 , m,n (x, y) = (x + m, y + n), el grupo de trasla-
ciones G := {m,n : m, n Z} actua de forma propia y discontinua sobre R2 .
En este caso el espacio de orbitas R2 /G
= S1 S1 (el toro).
Si denotamos por m,n : R2 R2 , m,n (x, y) = (x + n, (1)n y + m) el grupo de
traslaciones G := {m,n : m, n Z} actua de forma propia y discontinua sobre
R2 .
En este caso el espacio de orbitas R2 /G es conocido como la botella de Klein.
Proposicion 10.10 Si X es un espacio topologico Hausdorff y G es un grupo finito
de homomorfismos de X sin puntos fijos (esto es, tal que (x) 6= x para todo x X y
G \ {IdX }), entonces G actua de forma propia y discontinua sobre X.
Demostracion : Escribamos G = {1 = IdX , 2 , . . . , k }, elijamos x1 X y denotemos
xj = j (x1 ) para cada j = 1, . . . , k. De nuestras hipotesis xi 6= xj , i 6= j. Como X
es Hausdorff podemos tomar Uj entorno abierto de xj , j = 1, . . . , k, de forma que
Uj Ui = , i 6= j. Finalmente definamos U = kj=1 1 j (Uj ). Por construccion U es un
abierto que contiene a x1 y satisface U j (U ) U Uj = para todo j > 1, esto es,
U es un entorno distinguido para la accion de G sobre X.
71
El siguiente lema de existencia de levantamientos sera fundamental para lo que sigue,
como veremos mas adelante. Es una generalizacion del ya probado en el Tema 1 para
el recubridor (R, ) de S1 , ver Lema 6.1.
Como C = [0, 1]2 es un espacio metrico compacto (con la distancia euclidiana in-
ducida), existe el numero de Lebesgue > 0 para el recubrimiento abierto H 1 (U) :=
{H 1 (Ux ) : x X} de C. Esto significa que cualquier subconjunto A C con diametro
euclidiano < satisface A H 1 (Ux ) para algun x X. De aqu que podamos elegir
una particion 0 = t1 < . . . < tk < tk+1 = 1 de [0, 1] tal que
Kj := ij Ci es conexo, j = 1, . . . , N .
La construccion de H
e se hara por un procedimiento inductivo. Llamemos
Hj = H|Kj : Kj X, j = 1, . . . , N.
72
existe una arcocomponente Vj+1 de 1 (Uj+1 ) X e conteniendo a H
e j (Lj ) tal que
|Vj+1 : Vj+1 Uj+1 un homeomorfismo. La aplicacion
H
ej sobre Kj
H
e j+1 :=
1
(|Vj+1 ) (Hj+1 |Cj+1 ) sobre Cj+1
Demostracion :
La unicidad es obvia de la Proposicion 11.1.
Procedamos a probar la existencia de
e. Para ello basta con definir
que claramente satisface las hipotesis del Lema 11.2, y considerar la aplicacion H
e dada
e : [0,1] X,
en el. Obviamente el arco e e(t) := H(t,
e 0), resuelve el corolario.
: 1 (x) 1 (y), (e
x) :=
exe(1).
73
Demostracion : Dados arcos : [0, 1] X y e : [0, 1] X
e con e = , la unicidad
del levantamiento en el Lema 11.3 implica que
e =
e .
(1)
e
La aplicacion H
e dada en el Lema 11.2 es una homotopa de
e en e (con extremos
fijos).
74
El ultimo corolario expresa que arcos homotopicos en X se levantan a arcos homotopi-
cos en X e por la aplicacion recubridora . Este enunciado es la clave del Teorema de
Monodroma, un resultado central para la teora, que refleja el hecho de que el grupo
fundamental del espacio recubridor se inyecta a traves del homomorfismo inducido por
la aplicacion recubridora en el grupo fundamental del espacio base, siendo el subgrupo
imagen unico salvo conjugacion.
Corolario 11.8 (Teorema de Monodroma) Si (X, e ) un recubridor de X, x X
1
e (x), entonces : 1 (X,
yx e xe) 1 (X, x) es un monomorfismo de grupos.
e2 ) = []1 ? 1 (X,
1 (X,
e x e x
e1 ) ? [],
donde es el lazo
e (con base x). Como consecuencia
e 1 (x)
(1 (X,
e xe)) : x
Ue : 1 (X,
e x1 ) 1 (X,
e x2 ), Ue ([]) ]1 ? []
e := [e e ? [e
]
e 1 (x) .
x : Rec(X) Sc (1 (X, x)), x (X, e ) := (1 (X,
e x
e)) : x
75
Teorema 11.11 (Levantamiento de aplicaciones) Sea : X e X una aplicacion
recubridora, sea f : Y X una aplicacion continua, y sean y0 Y , x0 := f (y0 ) X y
e0 1 (x0 ). Los siguientes enunciados son equivalentes:
x
y (1).
fe(y) := f^
(f^
y )xe0 (1) = (f^
y )xe0 (1).
ha de ser un lazo con base x e0 . Por la unicidad del levantamiento de arcos (ver Coro-
lario 11.3), esto fuerza a que (f^ y )xe0 y (f^
y )xe0 tengan los mismos extremos, y en
particular (f^ y ) (1) = (f^
x
e0 y ) (1) como queramos ver.
x
e0
e esta bien definida. Es claro que fe(y0 ) = (f^
As pues fe: Y X y0 )xe0 (1) = xe0 (1) =
x
e0 , por lo que para acabar resta probar que f es continua.
e
En efecto, tomemos y Y y comprobemos la continuidad de fe en y. Consideremos
un entorno arbitrario W f alrededor de fe(y) en X, e y comprobemos que fe1 (W f ) es un
entorno de y en Y . Como es una aplicacion recubridora, siempre podremos encontrar
un abierto arcoconexo U eW f tal que
fe(y) U
e y
76
e U := (U
|Ue : U e ) es un homeomorfismo.
^
(f )fe(y) = (|Ue )1 (f ),
77
Proposicion 11.13 Sea (G, ) un grupo topologico con elemento neutro e G, sea
: Ge G una aplicacion recubridora y elijamos e 1 (e). Entonces G
e admite una
estructura de grupo topologico con elementro neutro e que convierte a en un homo-
morfismo de grupos.
: G G G, (g, h) = g h, y : G G, (g) = g 1 ,
1 (G e (e, e))
e G, e e) 1 (G,
= 1 (G, e e), 1 (G G, (e, e))
= 1 (G, e) 1 (G, e),
es claro que
e G,
1 G e (e, e) = ( ) (1 G
e G,
e (e, e) ) =
( ) 1 (G,
e e) 1 (G,
e e) =
= 1 (G, e e) = {[ ] : [], [] 1 (G,
e e) , 1 (G, e e) }.
donde para la ultima igualdad se ha tenido en cuenta que 1 (G,
e e) es un subgrupo
de 1 (G, e).
Analogamente se probara que
1 G, e = 1 (G,
e e e) .
eG
e: G eG
e tal que
e = y
e(e
e, ee) = ee, y
eG
e: G e tal que
e = y (e
e e) = ee.
Denotemos por p1 : G eG eG eG
e y p2 : G eG e a la primera y segunda proyec-
ciones, respectivamente.
De la unicidad en el Teorema 11.11 es facil comprobar que:
e G
Si ce : G e representa la aplicacion constante e, e (IdGe ce ) = p1 y
e
(ce IdGe ) = p2 , esto es, e(e e(e, ge) = ge para todo ge G. En efecto,
g , e) = e
estas aplicaciones aplican e 7 e y satisfacen e (IdGe ce ) = p1 ,
e (ce IdGe ) = p2 .
78
eG
Si ce : G eG e representa la aplicacion constante e, e (IdGe )
e = e ( e
IdGe ) = ce , esto es, e(eg , (e
e g )) = e((ee g ), ge) = e para todo ge G. e En efecto, estas
aplicaciones aplican e 7 e y satisfacen e (IdGe ) e = e (
e Id e ) =
G
ce = ce , donde ce : G eG e G denota la aplicacion constante e.
e ge1 , e(e
g2 , ge3 ) = e e(e g1 , ge2 ), ge3 para cualesquiera ge1 , ge2 , ge3 G. e En efecto, la
aplicacion f1 : G e3 G, e f1 (e g1 , ge2 , ge3 ) := e e(e
g1 , ge2 ), ge3 , es continua y satisface
( f1 )(e g1 , ge2 , ge3 ) = (e g1 ) (e g2 ) (e g3 ), y analogamente la aplicacion f2 : G e3
G,
e f2 (e g1 , ge2 , ge3 ) := ge1 ,
e e(e g2 , ge3 ) , es continua y satisface ( f2 )(e g1 , ge2 , ge3 ) =
(e g1 ) (e g2 ) (e g3 ) . Como f1 (e, e, e) = f2 (e, e, e) = e se concluye que f1 = f2 .
Por lo anterior se deduce que e es una ley de composicion interna en G e que lo dota
de estructura de grupo algebraico, siendo e su elemento neutro y
e la aplicacion que
lleva cada elemento a su inverso en el grupo. Ademas la identidad
e = convierte
a : G G en un homomorfismo de grupos. Esto concluye la prueba.
e
es una accion transitiva por la derecha del grupo 1 (X, x) sobre la fibra 1 (x) de x.
Ademas, para cada y 1 (x) el subgrupo de isotropa asociado a la accion en
el punto y, que se define por Hy := {[] 1 (X, x) : y [] = y}, coincide con
(1 X,
e y) .
Demostracion : Lo primero que hemos de observar es que la accion esta bien definida,
esto es, que si [] entonces ey (1) = ey (1). Esto es consecuencia inmediata, por
ejemplo, del Corolario 11.7.
Por definicion, es una accion si satisface:
En efecto, la propiedad (a) es consecuencia trivial del hecho (ex )y = y (unicidad del
levantamiento de arcos). Para probar (b), observemos que ey ? eey (1) es un arco en X
e
con punto inicial y que se proyecta va en ? . Por unicidad del levantamiento,
ey ? eey (1) = ]
? y , y por tanto
y ([] ? []) = (]
? )y (1) = ey (1) [] = (y []) [].
ey ? eey (1) (1) = eey (1) (1) =
79
Finalmente, para probar (c) tomemos y1 , y2 1 (X). Consideremos un arco cualquiera
e : [0, 1] X
e con e(0) = y1 y e(1) = y2 . Si := e, es claro que es un lazo en
X con base el punto x y que y1 [] = e(1) = y2 . Esto concluye la primera parte de la
prueba.
Para la segunda parte, tomemos y 1 (x) y [] 1 (X, x). Se tiene que [] Hy si
y solo si
ey (1) = y, esto es si y solo si
ey es un lazo en X
e con base el punto y (y por tanto
y ] 1 (X,
[e e y)). En consecuencia, [] Hy si y solo si [] = ([e y ]) (1 X,
e y) .
Esto pueba que Hy = (1 X, e y) y concluye el teorema.
es biyectiva.
Es interesante conocer la interaccion del concepto de recubridor con distintos inva-
riantes topologicos como compacidad, axiomas de separacion, axiomas de numerabili-
dad... Para nuestros intereses sera suficiente con los siguientes resultados elementales.
(a) Si X
e es compacto entonces (X,
e ) tiene un numero finito de hojas.
80
Proposicion 12.4 Sea (X,
e ) un recubridor de X. Entonces:
(i) X Hausdorff = X
e Hausdorff.
(ii) X
e II-Axioma de Numerabilidad = X II-Axioma de Numerabilidad.
(iii) Si (X,
e ) tiene una cantidad numerable de hojas,
X II-Axioma de Numerabilidad = X
e II-Axioma de Numerabilidad.
81
abierto de X.
e Como es un homeomorfismo local, (W ) es un abierto arcoconexo
en X conteniendo a x, y como ademas U U es claro que (W ) U. Por tanto
|W : W (W ) es un homeomorfismo. Elijamos B B0 con x B (W ). Si
Be {Bey : y 1 (xB )} B0 es la arcocomponente de 1 (B) que contiene a x
e,
1
inferimos que B = (|W ) (B) W O. Esto prueba que B0 es base de la topologa
e e e
de Xe y concluye la prueba.
Como consecuencia:
Corolario 12.5 Sea X un espacio topologico II-Axioma de Numerabilidad y con grupo
fundamental numerable.
Entonces todo recubridor de X es II-Axioma de Numerabilidad.
es
sobreyectiva. La numerabilidad de 1 (X, x) implica por tanto la numerabilidad de
1 (X, x)/ 1 (X,
e y) es numerable. Pero por el Corolario 12.2
dcha
1 (x),
1 (X, x)/ 1 (X,
e y) e y) ? [] 7
1 (X, ey (1),
dcha
Un homomorfismo de recubridores de (X e1 , 1 ) en (X
e2 , 2 ) es una aplicacion
e1 X
continua : X e2 satisfaciendo 2 = 1 .
Si (X,
e ) es un recubridor de X, a los isomorfismos de (X,
e ) en (X,
e ) les
llamaremos automorfismos de (X,
e ).
82
Si (X,
e ) es un recubridor de X entonces Id e es un automorfismo de (X,
X
e ).
83
e2 , |Vy : Vy (Vy ) es un homeomorfismo y
(Vy ) es un abierto de X
2 |(Vy ) : (Vy ) U es un homeomorfismo
para todo y 11 (x).
Al ser 1 = 2 es obvio que 1 (z) 11 (x). Observese tambien que
W := (Vy1 ) = (Vy2 ) para cualesquiera y1 , y2 1 (z).
84
Definicion 13.9 Como solo puede existir un automorfismo satisfaciendo (y) =
es un epimorfismo de grupos con Ker() = 1 (X, e y) .
En particular, por el primer teorema de isomorfa para grupos
e y)
N0 1 (X,e y) / 1 (X, = Aut(X,e ).
y ([]?[])(y) = (]
? )y (1) = y ([])(ey (1)) = y ([])(y ([])(y)) = (y ([])y ([]))(y),
85
Proposicion 13.11 Sea (X,
e ) un recubridor de X. Entonces la accion
e ) X
: Aut(X, e X,
e (, y) 7 y := (y),
es propia y discontinua.
donde Uey1 U
ey2 = , y1 6= y2 , y | e : Uey U es un homeomorfismo, y 1 (x).
Uy
Comprobemos que la condicion de propia y discontinua para se satisface alrededor
de y0 con entorno distinguido U ey0 .
Para cada Aut(X, e ), (U ey0 ) es un abierto arcoconexo en X
e homeomorfo va
1
con U , luego una arcocomponente de (U ):
Para acabar bastara con ver que si 1 , 2 Aut(X, e ) son distintos, entonces 1 (U ey0 )
ey0 ) = . En efecto, de otra forma las arcocomponentes 1 (U
2 (U ey0 ) de 1 (U )
ey0 ) y 2 (U
compartiran un punto, luego 1 (U ey0 ) = 2 (U
ey0 ) = Uey para algun y 1 (x), y por
tanto
1 |Uey = 2 |Uey = (|1
Ue ) (|U
ey )
0 0 y 0
e X/G,
0 : X e y 7 G y.
es recubridora.
86
ey1 U
donde U ey U es un homeomorfismo, y 1 (x).
ey2 = , y1 6= y2 , y | e : U
Uy
ey un entorno distinguido para la accion G X
Por ser U e y 1 (x) (ver la
e X,
prueba de la Proposicion 13.11), y 1 (U ) = 01 1 (U ) :
V0 (y) := 0 (U
ey ) es abierto en X/G
e y 0 |Uey : U
ey V (y) es un homeomorfismo
0
1
para todo y (x).
En particular, {V0 (y) : y 1 (x)} puede parametrizarse 1-1 como {Vz : z 1 (x)}.
Como 1 (U ) = z1 (x) Vz se ha expresado como union de abiertos arcoconexos disjun-
tos dos a dos, solo resta garantizar que |Vz : Vz U es un homeomorfismo. Eligiendo
cualquiera y 01 (z), observamos que |Vz = (|Uey ) (0 |1
ey ) es composicion de dos
U
homeomorfismos, lo que acaba la prueba.
e ) X
: Aut(X, e X,
e (, y) 7 y := (y),
es transitiva.
(a) (X,
e ) es regular.
87
(c) Existen x X e y 1 (x) tales que 1 (X,
e y) es un subgrupo normal de
1 (X, x).
e(0)
=yy e(1) =z. Si denotamos := e y tenemos en cuenta que [] 1 (X, x) =
N0 1 (X, e y) , la Proposicion 13.8 de nuevo nos dice que existe Aut(X, e ) tal
que (y) = z. Esto prueba que x , luego teniendo en cuenta la Observacion 13.14, es
una accion transitiva y por tanto (a).
(ii) Si 0 : Xe X/Aut(
e X,
e ) es la proyeccion al espacio de orbitas X/Aut(
e X,
e ),
existe un homeomorfismo : X/Aut(
e e ) X tal que 0 = .
X,
Demostracion : Por la Proposicion 13.15 y la regularidad de (X, ), N0 1 (X, y)
e e =
1 (X, x). Item (i) se sigue directamente del Teorema 13.10.
Para el item (ii), basta con probar que la aplicacion
: X/Aut(
e e ) X,
X, e ) y 7 (y),
Aut(X,
88
14. Clasificacion de recubridores
Como consecuencia de los resultados anteriores podemos establecer un primer teore-
ma de clasificacion de los recubridores de un espacio topologico dado. Para su correcto
enunciado se requiere fijar alguna notacion.
Consideremos la relacion de equivalencia ser isomorfo, que escribiremos por =, en
el conjunto Rec(X) de todos los recubridores de X, y escribamos el correspondiente
conjunto cociente por
R(X) := Rec(X)/ =.
Aqu es conveniente tener in mente la notacion de la Definicion 11.10. En particular,
recordar que dado un punto x X se introdujo la aplicacion
x : Rec(X) Sc (1 (X, x)), x (X, e ) := [ 1 (X, e y) ],
(1 ) 1 (X
e1 , z1 ) y (2 ) 1 (X e2 , y2 ) son conjugados en 1 (X.x). Por tanto existe
[] 1 (X.x) tal que
e2 , y2 ) = []1 ? (1 ) 1 (X
(2 ) 1 (X e1 , z1 ) ? [].
y por tanto
(1 ) 1 (X
e1 , y1 ) = (2 ) 1 (X
e2 , y2 ) .
e1
De nuevo el Corolario 13.5-(ii) nos permite concluir que existe un isomorfismo : X
X
e2 con (y1 ) = y2 , como queramos demostrar.
89
14.1. Existencia de recubridores
El principal objetivo de esta seccion sera demostrar que , dado
un espacio X y fijado
un punto x X, la biyectividad de x : R(X) Sc 1 (X, x) depende de la existencia
de un recubridor de X simplemente conexo.
La definicion central de esta seccion es la siguiente:
(a) Y recubre a X
e para cualquier recubridor (X,
e ) de X.
es un isomorfismo de grupos.
Tomemos un subgrupo arbitrario H 1 (X, x) y su clase de conjugacion [H]
Sc 1 (X, x) . Consideremos el grupo de automorfismos G := (H) Aut(Y, ), la
proyeccion al espacio de orbitas 0 : Y X := Y /G y el recubrimiento : X X
satisfaciendo 0 = ; ver Corolario 13.12.
Nuestro objetivo es probar que x (X, ) = [H], para lo que sera suficiente con
demostrar que
1 (X, 0 (y)) = H.
90
Usando que es un isomorfismo y que G = (H),
i : 1 (U, x) 1 (X, x)
inducido por la inclusion i : U X es trivial (esto es, constante [x ] 1 (X, x)).
Un espacio topologico X se dira semilocalmente simplemente conexo si todo punto
admite un entorno abierto arcoconexo y semilocalmente simplemente conexo.
Ejercicio 15.3 Hay espacios arcoconexos y localmente arcoconexos que no son semi-
localmente simplemente conexos. El ejemplo mas sencillo es el siguiente subespacio
topologico del plano euclidiano:
[
X= Cn , donde Cn = {(x, y) R2 : (x 1/n)2 + y 2 = 1/n2 },
nN
f := j (|Ue )1 : U Y.
91
Claramente f es continua y f = i, por lo que i = f : 1 (U, x) (X, x). Como
1 (Y ) = {0}, f es el homomorfismo trivial y lo mismo ocurre con i . Esto prueba que
X es semilocalmente simplemente conexo.
Supongamos ahora que X es semilocalmente simplemente conexo y construyamos
su recubridor universal.
Fijemos x0 X, y para cada x X consideremos la familia x0 ,x (X) de los arcos
: [0, 1] X con (0) = x0 y (1) = x (ver Tema 1). Denotaremos tambien por ' la
relacion de equivalencia en x0 ,x (X) ser homotopico en X (siempre con extremos fijos).
Construyamos el espacio cociente x0 ,x /' para cada x X, y definamos
[
Y := x0 ,x /'.
xX
: Y X, ([]) := (1),
y definamos
B := {([], U ) : [] Y, U U, (1) U }.
Veamos que B es base de una (unica) topologa en Y . En efecto, la condicion
Y = ([],U )B ([], U )
92
donde BU := {([], U ) : (1) U } B. La inclusion ([],U )BU ([], U ) 1 (U ) es
S
Al ser esta aplicacion continua, abierta y sobre, bastara con garantizar la inyectividad.
Supongamos que [ ? j ] ([], U ), j = 1, 2, y 1 (1) = ([ ? 1 ]) = ([ ? 2 ]) = 2 (1).
Como 1 (0) = 2 (0) = (1) y 1 ([0, 1]), 2 ([0, 1]) U , la semilocal simpleconexion de
U garantiza que := 1 ? 2 '(1) en X, y por tanto que
? 2 ' ? ? 2 ' ? 1 .
c : [0, 1] Y, c(t) := [t ],
es el levantamiento e[x0 ] va .
Como c(0) = [0 ] = [x0 ] y c = , basta con probar la continuidad de c. Para
ello tomemos t0 [0, 1] y comprobermos que c es continua en t0 . Teniendo en cuenta la
definicion de la topologa en Y , es facil comprobar que
93
Para acabar, tomemos un lazo arbitrario c en Y con base el punto [x0 ] y denotemos
por := c. Como c es el levantamiento de con condicion inicial [x0 ], por lo que
acabamos de demostrar
c(1) = [1 ] = [].
Pero c(1) = [x0 ] ya que c es un lazo en Y con base [x0 ]. Esto prueba que ([c]) =
[ c] = [] = [x0 ] para cualquiera [c] 1 (Y, [x0 ]), y por el Teorema de Monodroma,
que Y es simplemente conexo como queramos demostrar.
94
Ejercicios del Tema 2
1. Consideremos la aplicacion recubridora : R S1 dada por (t) = e2 ti . De-
mostrar que |(0,2) : (0, 2) S1 es continua, abierta y sobreyectiva pero no es
recubridora. Existe alguna otra aplicacion recubridora : (0, 2) S1 ?
95
e X una aplicacion recubridora y f : Y X continua, siendo Y
10. Sea : X
conexo y localmente arco-conexo. Existen siempre levantamientos de f si X es
simplemente conexo? Y si Xe es simplemente conexo?
12. Sea X un espacio conexo y localmente arcoconexo con 1 (X) finito. Sean f, g :
X R funciones continuas tales que f (x)2 + g(x)2 = 1, para cada x X.
Demostrar que existe una funcion continua h : X R tal que cos(h(x)) = f (x)
y sen(h(x)) = g(x), para cada x X. Hasta que punto es h unica?
13. (El grupo fundamental de K). Para cada n, m Z se define fn,m : R2 R2 como:
a) Demostrar que cada aplicacion fn,m es una traslacion o una simetra desli-
zante.
b) Probar que G Homeo(R2 ) y que G es propiamente discontinuo.
c) Deducir la existencia de una aplicacion recubridora p : R2 K, donde K es
la botella de Klein. Concluir que 1 (K) = G.
14. (Un espacio con grupo fundamental Zn ). Sea n N con n 2. Para cada k =
0, . . . , n 1 definimos el numero k = (2k)/n y la aplicacion fk : S3 S3 dada
por:
fk (z, w) = (ek i z, ek i w).
Denotemos Gn = {fk / k = 0, . . . , n 1}. Se pide lo siguiente:
96
h) Demostrar que si f : S2 S2 es una aplicacion continua e inyectiva, entonces
es un homeomorfismo.
i ) Sea X un espacio arco-conexo con 1 (X) finito. Demostrar que toda aplica-
cion recubridora : X X es un homeomorfismo.
j ) Demostrar que toda aplicacion continua f : Sn S1 con n 2 es nul-
homotopa.
a) : R S1 , (t) = e2t .
b) IdR : R R S1 R.
c) n : S1 S1 , n (z) = z n , n N.
d ) n m : S1 S1 S1 S1 , n, m N.
e) n : R S1 S1 S1 , n N.
f ) : R R S1 S1 .
de la forma (z) = z + , , C, 6= 0.
Si P (z) = z 4 2z 2 + 1, deducir que el recubridor (C \ A , P ) no es regular.
97
TEMA 3: Superficies topologicas
Francisco J. Lopez
Departamento de Geometra y Topologa
Universidad de Granada
fjlopez@ugr.es
El ultimo tema del curso se dedicara a estudiar en profundidad una familia impor-
tante de espacios topologicos: las superficies topologicas. Nuestro objetivo principal sera
presentar el teorema de clasificacion para superficies topologicas compactas. Este resul-
tado descansa sobre algunos de los pilares fundamentales de la topologa en dimension
2, como el Teorema de Invarianza del Dominio o el Teorema de Rado de existencia de
triangulaciones sobre superficie topologicas. Ademas, requerira de conceptos trascen-
dentales para la topologa algebraica como el de orientabilidad o el de caracterstica de
Euler.
98
X es localmente arcoconexa, localmente compacta y localmente simplemente co-
nexa (luego semilocalmente simplemente conexa), ya que as es la topologa eu-
clidiana.
Existen dos resultados avanzados de Topologa Algebraica que nos ayudan a comprender
las profundas implicaciones topologicas de la Definicion 16.1. Nos referimos al Teorema
de Invarianza de la Dimension y al Teorema de Invarianza del Dominio. Los enuncia-
remos a ttulo informativo, ya que su prueba general esta fuera del alcance de este
curso.
El mensaje de este teorema es que los codominios euclidianos de las cartas en una
variedad topologica han de ser todos ellos abiertos del mismo espacio euclidiano. Por
tanto, en la Definicion 16.1 no hay necesidad de exigir que todas las cartas vayan al
mismo Rn , ya que este hecho esta garantizado. Redordemos que el Teorema 8.3 del
Tema 2 demuestra este resultado en el caso particular n = 1 o 2.
Teorema 16.3 (Invarianza del dominio) Sean X una variedad topologica n-dimensional
y U X un subespacio topologico de X. Si U es homeomorfo a un abierto euclidiano
O Rn entonces U es un abierto de X.
Como consecuencia, si (U, ) es una carta en X y p U un punto tal que
Este teorema expresa que todo subconjunto de una variedad topologica n-dimensional
homeomorfo a un abierto euclidiano de Rn ha de ser abierto en la variedad. En particu-
lar, la nada trivial propiedad de que que los subespacios euclidianos de Rn homeomorfos
a abiertos de Rn han de ser abiertos de Rn . La principal y crucial consecuencia del Teo-
rema de Invarianza del Dominio es que tiene sentido definir el borde de una variedad.
Para entenderlo enunciemos el siguiente corolario.
99
Definicion 16.6 Si Xes una variedad topologica n-dimensional, denotaremos por Bd(X)
X al subconjunto cerrado formado por los puntos borde de X. Tambien diremos que
Int(X) := X \ Bd(X) es el conjunto de los puntos interiores de X.
La siguiente proposicion es muy util.
Proposicion 16.7 Sea f : X Y un homeomorfismo local sobreyectivo. Entonces
X es variedad topologica n-dimensional Y es variedad topologica n-dimensional.
En particular, la tesis es valida si f : X Y es un recubridor.
Demostracion : Sean y Y y x f 1 (y). Siempre podemos encontrar entornos abiertos
U de x y V de y de forma que f |U : U V es un homeomorfismo. Teniendo en cuenta
que los dominios de las cartas en una varidedad son una base de la topologa, no implica
perdida de generalidad suponer que U o V es homeomorfo a un abierto de Rn o Rn+ ,
depeniendo de que sea X una variedad topologica o lo sea Y . Por tanto ambos abiertos
son homeomorfos a un abierto de Rn , lo que concluye la prueba.
Ejercicio 16.8 Los siguientes espacios son variedades topologicas:
Un abierto de una variedad topologica n-dimensional es una variedad topologica
n-dimensional: basta restringir cartas a la interseccion con el abierto.
Rn , n N, es una variedad topologica n-dimensional recubierta por una sola
carta: la aplicacion IdRn : Rn Rn .
Rn+ es una variedad topologica n-dimensional con borde {xn = 0} recubierta por
una sola carta: la aplicacion IdRn+ .
100
17. Superficies topologicas
Los objetos que van a centrar nuestro estudio se presentan en la siguiente definicion.
La compacidad es una propiedad topologica que hace mucho mas manejable la fa-
milia de las superficies. Nuestra intencion es presentar una familia lo mas vasta posible
de ejemplos de superficies topologicas compactas. La siguiente proposicion es una he-
rramienta bastante util para este objetivo. Vamos a trabajar con esquemas binarios
sobre un conjunto de ndices U infinito numerable. Es conveniente tener presentes las
construcciones de la Seccion 3.4.
(1) (k)
Proposicion 17.3 La realizacion canonica S de un esquema binario = b1 . . . bk
es una superficie topologica compacta con Bd(S ) = (), donde : D S es la
identificacion asociada a la representacion canonica de (ver Definicion 3.23) y S1
es el cierre topologico de {p S1 : ]1 ( (p)) = 1}. En particular,
(a) Si p (D) entonces Up () es un disco abierto y |Up () : Up () (Up ()) es
un homeomorfismo.
101
|Xj : Xj (Xj ) es un homeomorfismo, j = 1, . . . , k.
Salvo reordenacion,
ji=1 (Xi ) = Bd (Xj+1 ) Bd ji=1 (Xi )
j := (Xj+1 )
Como consecuencia del Corolarios 9.11 y 9.14 (ver las Definiciones 9.10 y 9.12), la
Proposicion 17.3, y el hecho de que el numero de componentes conexas del borde de
una superficie es un invariante topologico, tenemos el siguiente:
Corolario 17.4 Las superficies compactas en la siguiente lista son dos a dos no ho-
meomorfas:
102
Los puntos vj , j = 1, 2, 3 se llamaran vertices de T .
Un triangulo orientado es el par formado por un triangulo (T, {v1 , v2 , v3 }) junto con
una orientacion (vi , vj .vh ) del mismo, y se denotara (T, (vi , vj .vh )).
Tambien podemos orientar los lados de T fijando una ordenacion de sus vertices o
extremos, este concepto ya se introdujo en la Definicion 3.3.
Una orientacion (vi , vj .vh ) de T induce de forma narual orientaciones en los lados
de T de acuerdo con el siguiente criterio:
Existe una alternativa topologica, que en algun momento nos dara ventaja, a la defini-
cion combinatoria de orientacion para un triangulo.
En efecto, consideremos un disco topologico compacto arbitrario X y fijemos un
punto p0 Bd(X), que para lo que sigue jugara un papel meramente auxiliar. Para
cada p Int(X), el grupo fundamental 1 (X \ {p}) 1 (X \ {p}), p0 ) es cclico infinito
y por tanto tiene dos generadores, que con notacion adivitiva denotaremos ap y ap :
103
p ([0, 1]) = Bd(X).
p |[0,1[ es inyectiva.
Si el subndice indica el espacio donde se toma la clase de homotopa, con este lenguaje
ap = [p ]X\{p} y [p ]X\{p} = ap . Si tomamos otro punto q Int(X), es claro que
q = p ya que [p ]X\{q} genera igualmente 1 (X \ {q}) 1 (X \ {q}, p0 ). En otras
palabras, existe un lazo (con base p0 )
X : [0, 1] Bd(X) X
tal que [X ]X\{q} genera 1 (X \ {q}) para todo q Int(X), y lo mismo ocurre con X .
1 (X ) := {1 (X \ {q}) : q Int(X)}.
104
(i) T es un subespacio topologico de S para todo T T .
(iii) T T T = S.
Dos triangulos distintos de una triangulacion de S que compartan solo un vertice se
diran incidentes en ese vertice. De igual forma, si comparten un lado se diran contiguos
o incidentes en ese lado.
Un par (S, T ) formado por una superficie compacta S y una triangulacion suya T
se le referira como una superficie (compacta) triangulada.
H(T ) := {H(T ) : T T }
es una triangulacion de S2 . Ha de entenderse que los vertices de H(T ) son las imagenes
por H de los vertices de T para todo T T , esto es, que H aplica unvocamente los
lados y vertices de T en los lados y vertices de H(T ).
El enunciado de la siguiente proposicion es muy natural, aunque su prueba no es en
absoluto trivial.
105
Proposicion 17.11 Si (S, T ) es una superficie compacta triangulada entonces:
(a) T \ Bd(T ) es un abierto de S para todo T T .
(b) Para todo l E(T ), existen a lo mas dos triangulos de T incidentes con l. Si solo
hay uno entonces l Bd(S), y si hay dos entonces Int(l) Int(S).
j := {(e2(j1)/k z, x3 ) : (z, x3 ) C R R3 }, j = 1, . . . , k,
106
Para acabar demostremos (c). Consideremos v V (T ) y elijamos un triangulo
T1 E(T ) incidente con v. Inductivamente elijamos Tj T de Est(v) y lj1 E(Tj )
j1
tal que v lj1 y lj1 i=1 E(Ti ) \ {l1 , . . . , lj1 }. Tras un proceso necesariamente
finito generamos una secuencia maximal de triangulos T1 , . . . , Tk1 y lados l1 , . . . , lk1 1
satisfaciendo
(i) Tj esta en Est(v) para todo j.
107
Demostracion : Tomemos T T , y reparemos en que como T = D, podemos encontrar
un homeomorfismo FT : T := {(x, y) [0, 1]2 : x + y 1} que aplique los vertices
de T en los vertices del triangulo geometrico ; tengase en cuenta el Corolario 3.6 y la
Proposicion 3.10.
Nuestro primer objetivo es construir una triangulacion T1 de S tal que
T1 T ,
] A \ V (T1 )) ]A 1.
T (S) := ]F (T ) ]E(T ) + ]V (T )
108
en todos y cada uno de sus triangulos de T de forma que cada dos contiguos satisfagan
la anterior condicion de compatibilidad. En ese caso tambien diremos que es posible
elegir una orientacion global compatible de los triangulos de T . Obviamente si T es
orientable entonces admite dos orientaciones globales.
En caso de que no sea posible elegir una orientacion global compatible de los triangu-
los de T se dira que T es no orientable.
Como veremos mas adelante cualquier superficie compacta admite una triangula-
cion. Sera deseable que dos triangulaciones distintas de una misma superficie compacta
compartiesen caracterstica de Euler y caracter de orientabilidad. No obstante, la prue-
ba de este hecho requerira de bastante reflexion. Solo despues de superar este obstaculo
podremos definir con propiedad la caracteristica de Euler y el concepto de orientabili-
dad de una superficie topologica compacta como la de cualquiera de sus triangulaciones.
Para discos topologicos s que podemos probar el siguiente resultado:
109
Usando esta ordenacion {T1 , . . . , Tk } de los triangulos de T , construyamos de forma
inductiva una secuencia
{Fj : Xj ji=1 i : j = 1, . . . , k}
de aplicaciones satisfaciendo
Fj : Xj ji=1 i es un homeomorfismo,
Fj (Ti ) = i y Fj (V (Ti )) = V (i ), i = 1, . . . , j,
Fj |Xj1 = Fj1 ,
110
Si Tk Xk1 es un lado de Tk ,
Corolario 17.17 (Caracterstica de Euler del disco abierto) Sea X un disco to-
pologico compacto y T una triangulacion suya. Denotemos por
E0 (T ) := {l E(T ) : l * Bd(X)} y V0 (T ) := {v V (T ) : v
/ Bd(X)}.
T1 es orientable T2 es orientable.
T1 (S1 ) = T2 (S2 ).
111
Supongamos que T es orientable y fijemos una orientacion global compatible en
todos los triangulos de T . Cada triangulo T T es un disco topologico, luego cualquier
triangulacion suya es orientable por el Lema 17.16. Los triangulos de T 0 en T T
determinan una triangulacion T 0 T de T , que puede por tanto orientarse globalmente de
forma compatible. Elijamos la orientacion global en T 0 T para que aquellos triangulos
de T 0 T que tengan un lado en Bd(T ) induzcan sobre ese lado la misma orientacion que
induce la orientacion (ya fijada) de T . De esta forma se genera una orientacion global
compatible en T 0 .
Recprocamente, si T 0 es orientable se fija una orientacion global compatible de sus
triangulos, y cada triangulo de T se orienta de forma compatible con los triangulos
orientados de T 0 T tal y como hemos explicado arriba. De esta forma se genera una
orientacion global compatible en T .
En relacion al calculo de las caractersticas de Euler razonamos de la siguiente
manera. Cada triangulo T T aporta un +1 en la suma ]F (T ), el mismo valor numerico
que T 0 (Int(T )) por el Corolario 17.17. Analogamente, cada lado l E(T ) aporta un
T
1 en el calculo ]E(T ), lo mismo que la diferencia entre el numero de lados y vertices
de T 0 en Int(l), que denotaremos por T 0 (l). Se deduce pues que
X X
T 0 (S) = T 0 (Int(T )) + T 0 (l) + ]V (T ) =
T
T T lE(T )
= ]F (T ) ]E(T ) + ]V (T ) = T (S).
lE(T ) l,
112
(a) T (S ) = 1 + ( ), donde es el grafo conexo borde de (ver Definicion 3.21).
(T 0 ) := { (T ) : T T 0 } es una triangulacion de S .
T (S ) = T (Int(S )) + ( ) = 1 + ( ).
Probemos (b). Sea T 0 la unica triangulacion de D tal que (T 0 ) = T , esto es, tal que
(T 0 ) T y |T 0 : : T 0 (T 0 ) es un homeomorfismo para todo T 0 T 0 . Por el
Lema 17.16 es posible elegir una orientacion global compatible en T 0 . Traslademos estas
orientaciones a los triangulos de T va , generando as una orientacion en todos y
cada uno de los triangulos de T . Obviamente T sera orientable si y solo si estas orienta-
ciones determinan una orientacion global compatible en T , lo que es equivalente a decir
que cada dos triangulos (T1 ) y (T2 ) contiguos a un lado l E(T ), l , estan
compatiblemente orientados. Llamemos lj := ( |Tj )1 (l) E(Tj ), lj S1 , j = 1, 2.
Es claro que las orientaciones compatibles de los triangulos de T 0 inducen en los lados
que descansan en S1 orientaciones compatibles. Por tanto, (T1 ) y (T2 ) induciran
orientaciones opuestas en su lado comun l (y estaran compatiblemente orientados como
triangulos orientados) si y solo si el homeomorfismo ( |l2 )1 ( |l1 ) revierte las orien-
taciones de los arcos de Jordan l1 y l2 en S1 . Como lj 1 (ij ) para algun ij a,
j = 1, 2, (T1 ) y (T2 ) estaran compatiblemente orientados si y solo si el homeo-
morfismo ( |i2 )1 ( |i1 ) h revierte las orientaciones de los arcos de Jordan i1
y i2 en S1 . En definitiva, concluimos que T es orientable si y solo si el esquema es
orientable, probando (b).
Teorema 17.22 (Teorema de Rado) Toda superficie topologica compacta admite una
triangulacion.
113
Teorema 17.23 (Representacion poligonal) Sea S una superficie toplogica com-
pacta, y sea T una triangulacion cualquiera suya dada por el Teorema 17.22.
Entonces existe un esquema binario T , una triangulacion T 0 de su realizacion ST
adaptada a T y un homeomorfismo F : S ST tal que F (T ) = T 0 (en particular,
(S, T ) y (ST , T 0 ) son combinatoriamente equivalentes).
T0 := {1 , . . . , k }
114
Por la Proposicion 2.9,
H : /H S, H([p]) := H(p),
p H q H(p) = H(q).
Para completar la segunda parte del programa de trabajo, conectemos este cociente con
la realizacion de un esquema binario.
Definamos
E0 := E(T ) \ {l1 , . . . , lk1 }.
Por la definicion de H, si p 6= q y H(p) = H(q) entonces han de existir un lado e E0
y un punto x e tales que, si Ti(e) Th(e) son los dos triangulos de T con e := Ti(e) Th(e) ,
entonces p = Fi(e) (x) Fi(e) (e) Bd() y q = Fh(e) (x) Fh(e) (e) Bd(). Ademas
en este caso
por lo que H identifica los puntos de los lados Fi(e) (e) y Fh(e) (e) E(T0 ) va el homeo-
1
morfismo Fh(e) Fi(e) . Notese que puede haber lados en Bd() con interior H-saturado,
justo aquellos que se apliquen por H en un lado del borde de S (ver Proposicion 17.11-
(b)). En definitiva, H realiza el pagado de parejas de segmentos de Bd() va homeo-
morfismos, siendo trivial en el resto del disco topologico .
Generemos el esquema binario asociado a este cociente. Para ello escribamos Bd() =
u
j=1 sj como union cclica de lados orientados en E(T0 ) y llamemos a = {s1 , . . . , su }.
Siendo mas precisos, esto quiere decir que:
sj es lado de algun triangulo en {1 , . . . , k } para todo j = 1, . . . , u.
115
Observacion 17.24 No solo el enunciado del Teorema 17.23 es informativo, sino tam-
bien su prueba. Si (S, T ) es una superficie compacta triangulada y X S un disco
topologico compacto union de triangulos de T , el Lema 17.16 (y su demostracion) se
puede incorporar a la prueba del Teorema 17.23 para lograr que F (Int(X)) T = .
para enfatizar la lista de vertices de . Noterse que el cardinal ]V es menor o igual que
k = Long(). En caso de que T sea una triangulacion de S adaptada a , es claro que
V V (T ) .
Para cada Q V el conjunto 1 (Q) contiene aquellos extremos de arcos en a que
se proyectan por en Q. Al numero natural m (Q) := ]1 (Q) lo referiremos como
la multiplicidad de Q en (o en S ). Es claro que
X
m (Q) = Long().
QV
116
(1) (k) (i) (j)
Definicion 18.2 Sea = b1 . . . bk un esquema, y sea {bi , bj } un par de slabas
(i) (j)
en con i 6= j y bi = bj . El par {bi , bj } se dira de primera especie si (i)(j) = 1,
y de segunda especie si (i)(j) = 1.
Como consecuencia, un esquema binario es orientable si y solo si todos sus pares
son de primera especie, y no orientable si tiene al menos un par de segunda especie.
(i) 1 = 1 2 y 2 := 2 1 ,
(ii) 1 = 1 y 2 := 11 ,
(iii) 1 := 1 2 a3 4 a1 y 2 := 2 1 b4 3 b1 , y
(iv) 1 := 1 2 a3 4 a y 2 := 31 1 b4 21 b,
Observacion 18.4 La version del Lemma 18.3 con Z = sera suficiente para la cla-
sificacion de las superficies compactas sin borde.
Demostracion : (del Lemma 18.3) Items (a)-(i) y (a)-(ii) son triviales ya que S1 y S2
son el mismo espacio.
Para probar (b), tomemos un disco compacto X y la identificacion : X S1
asociada a 1 . Notese que como 1 es binario necesariamente m1 (Q) = 1. Pongamos
Q
1 = a a1 1 , y (a, h) a la representacion de 1 en X. Sean a y a1 a los
arcos de Jordan en Bd(X) asociados a los caracteres a y a1 de 1 , y h : a a1 el
correspondiente homeomorfismo en h. Llamemos Y al disco topologico compacto X/ h
(ver el Ejercicio 3.14) y 0 : X Y a la proyeccion al cociente. La unica identificacion
: Y S1 tal que 0 = 1 expresa Y / como realizacion S2 de 2 en Y .
Si llamamos : Y / S2 S1 al homeomorfismo inducido por la identificacion
, T2 := 1 (T1 ) es una triangulacion de S2 adaptada a 2 y V2 = 1 V1 \ {Q} .
117
Q1 Q2
Probemos (a)-(iii). Escribamos 1 = 1 2 a3 4 a1 y consideremos una
representacion (a, h) de 1 en un disco topologico compacto X. Denotemos por aj a la
secuencia ordenada de lados orientados en Bd(X) correspondientes a j , j = 1, 2, 3, 4,
y a , a1 los lados orientados en a asociados a a y a1 , respectivamente. Con esta
notacion,
a = a1 a2 {a } a3 a4 {a1 }
reproduce la secuencia ordenada cclica de lados de a.
Podemos pegar X + y X por los arcos de Jordan borde a y a1 con ayuda del
homeomorfismo h : a a1 h tal que (1 |a1 ) h = 1 |a . De esta forma genera-
mos un disco topologico compacto X = (X + X )/h X/h , ver Proposicion 3.11.
Si g : X X denota la proyeccion al cociente, la unica aplicacion
: X S1 con g = 1
118
Q1 Q2
Finalmente probemos (a)-(iv). Como antes pongamos 1 = 1 2 a3 4 a,
consideremos una representacion (a, h) de 1 en un disco topologico compacto X, y
escribamos
a = a1 a2 {a } a3 a4 {a0 }
con los mismos convenios anteriores; aqu a y a0 representan los dos arcos en Bd(X)
correspondientes al caracter a duplicado en 1 .
Razonando como en el caso anterior, podemos suponer que existe un arco de Jordan
b S1 con extremos Q1 y Q2 , contenido en lE(T1 ) l, con interior disjunto de 1 Z,
y que sea la proyeccion va 1 de un arco de Jordan en X que parte el disco X
en dos componentes conexas X+ y X . Llamemos b+ Bd(X+ ) al arco en Bd(X+ )
proyectandose por 1 en b, y analogamente para b Bd(X ), y orientemos estos arcos
compatiblemente con los arcos orientados en a2 {a } a3 de Bd(X+ ) y a4 {la0 } a1
de Bd(X ), respectivamente. Consideremos las secuencias cclicas ordenadas de arcos
orientados
concluyendo la demostracion.
119
18.1. Clasificacion de las superficies compactas sin borde
Para los siguientes resultados es conveniente tener presente el Corolario 17.4 y la
notacion implcita en el.
m1 (P1 ) = m (P ) 1,
120
De persistir el (heredero del) vertice P1 tras estas reducciones y haber mas de un
vertice en V1 , reiteramos el proceso anterior de forma inductiva. As construimos
F F Fj1 Fj
(0 , T00 ) = (, T ) 1 (1 , T10 ) 2 . . . (j1 , Tj1
0
) (j , Tj0 ),
de forma que Long(i ) Long(i1 ), ]Vi ]Vi1 y mi (Pi ) = mi1 (Pi1 ) 1, donde
Pi = Fi (Pi1 ), para todo 1 i j (hemos hecho el convenio F0 = IdS y P0 = P ).
En general, cuando ocurre la multiplicidad 1 para un vertice de un esquema esto
significa que este es incidente a un par de lados adyacentes de primera especie. Por
tanto en caso de persistencia y tras dar a lo mas m1 := m (P ) 1 pasos, este proceso
nos dirigira a un esquema en el que el vertice Pm (P )1 se desvanece al aplicar la regla
Lema 18.3-(b) para llegar a m1 , de donde necesariamente ]Vm1 V 1. Basta pues
elegir (1 , T1 ) := (m1 , Tm0 1 ).
Si 1 6= w0 y tiene dos o mas vertices, reiteramos el proceso anteriormente seguido
para y construimos (2 , T2 ) K) tal que (1 , T1 ) (2 , T2 ) y ]V2 ]V1 1, y as
sucesivamente. Tras una cantidad finita de pasos alcanzaremos una pareja (0 , T0 )
(, T ) con 0 = w0 o ]V0 = 1, lo que concluye la prueba.
La informacion extra en relacion al compacto Z en el enunciado se sigue del uso
apropiado del Lema 18.3 dentro de la demostracion.
Demostracion : Por el Lema 18.5 podemos suponer sin perdida de generalidad que
]V = 1, y en particular, que no tiene pares adyacentes de primera especie.
Como es no orientable ha de tener pares de segunda especie. Veamos que podemos
encontrar (1 , T1 ) K equivalente a (, T ) con Long(1 ) = Long(), con ]V1 = 1 y
con todos los pares de segunda especie adyacentes.
En efecto, supongamos que hay un par de segunda especie no adyacente en con
smbolo a1 , y escribamos = 1 2 a1 3 4 a1 donde 1 , 3 6= 1 y 2 = 4 = 1. Aplicando
la regla Lema 18.3-(a)-(iv),
(, T ) (31 1 b1 b1 , T 0 ).
121
necesariamente incluido en 1 o en 3 , por lo que nuestro procedimiento traduce ese
par adyacente en otro de igual naturaleza en 0 . Por tanto el procedimiento aplicado
es acumulativo y no deshace el trabajo previo. Si 0 presentase pares de segunda es-
pecie no adyacentes, se reiterara el procedimiento anterior hasta llegar a una pareja
(1 , T1 ) K satisfaciendo las propiedades deseadas.
Supongamos que 1 tiene un par de primera especie, obviamente no adyacente.
Veamos que entonces podemos encontrar (2 , T2 ) K equivalente a (1 , T1 ), luego a
(, T ), con Long(2 ) = Long(1 ), con ]V2 = 1 y con mas pares de segunda especie que
1 , todos ellos adyacentes. En efecto, supongamos que existe un par de primera especie
en 1 con slaba c1 . Podemos escribir 1 = 1 c1 2 c1
1 3 a1 a1 para ciertos subesquemas j ,
j = 1, 2, 3, y para cierto a1 . Aplicando la regla (a)-(iv) del Lema 18.3 para las elecciones
1 ; 1 c1 , 2 ; 2 c1
1 3 , 3 = 4 ; 1, obtendramos que
(, T1 ) (1 c1 b1 31 c1 21 b1 , T10 ).
Como cada par de segunda especie de 1 , distinto del determinado por a1 , esta contenido
en j para algun j = 1, 2, 3, inferimos que el esquema 01 := 1 c1 b1 31 c1 21 b1 tiene
un par de segunda especie mas que 1 , su misma longitud y ](V01 ) = 1. La pareja
(01 , T10 ) K puede ser sometida al primer procedimiento aplicado a (, T ), lo que nos
llevara a un par (2 , T2 ) K satisfaciendo lo deseado.
Si 2 tuviese de nuevo un par de primera especie, someteramos a (2 , T2 ) al mismo
procedimiento que acabamos de explicar para (1 , T1 ), y as sucesivamente. Tras una
cantidad finita de pasos llegaremos a un par (, T0 ) K equivalente a (, T ), con
n := Long() = Long(), con todos los pares de segunda especie adyacentes, sin pares
de primera especie y con ](V ) = 1. Necesariamente = wn , lo que completa la prueba.
La informacion extra en relacion al compacto Z en el enunciado es consecuencia
inmediata del uso del Lema 18.3 dentro de la demostracion.
Demostracion :Como es orientable todos sus pares son de primera especie. Por el
Lema 18.5 podemos reducirnos al caso en que V contiene un solo vertice.
Introduzcamos el siguiente lenguaje. Dos pares de primera especie en , que repre-
sentaremos con los smbolos a y b, se diran en posicion enlazada si su disposicion en la
secuencia que define es la siguiente:
= 1 a2 b3 a1 4 b1 5 .
122
de V aportados por la secuencia 1 ha de ser disjunto del asociado a la secuencia 10 ,
generando una contradiccion.
Vamos a explicar un procedimiento que generara una pareja adyacente de pares
de primera especie enlazados extra a partir de una pareja no adyacente de pares de
primera especie enlazados en . Este metodo sera acumulativo, en el sentido de que si
contuviese k parejas adyacentes de pares enlazados, el resultado final sera un esquema
con k + 1 parejas adyacentes de pares enlazados. Ademas preservara la propiedad de
que el cojunto de vertices del esquema es unitario. Vayamos a los detalles.
Supongamos que contiene k 0 parejas adyacentes de pares enlazados y que
Long() > 4k. Veamos que existe un esquema binario 1 y una triangulacion T1 de S1
adaptada a 1 tales que:
(1 , T1 ) es equivalente a (, T ).
Long(1 ) = Long().
Como tiene una pareja de primera especie no adyacente de pares enlazados, po-
demos escribir = 1 a1 2 a2 3 a1 1
1 4 a2 para ciertos smbolos a1 y a2 . Por la regla Lema
18.3-(a)-(iii) aplicada para las elecciones 1 ; 1 a1 , 2 ; 2 , a ; a2 , 3 ; 3 y
4 ; a1
1 4 , obtenemos que
(, T ) ( 0 , T 0 ), 0 = 2 1 a1 b1 a1 1 1 1
1 4 3 b 1 4 3 b 1 2 1 a1 b 1 a1 .
( 0 , T 0 ) ( 00 , T 00 ), 00 = 2 1 4 3 b1 1 1 1
1 d1 b1 d1 b1 d1 b1 d1 2 1 4 3 .
(1 := c1 d1 c1 1 00
1 d1 1 , T1 := T ) K,
123
Corolario 18.8 (Clasificacion de las superficies compactas sin borde) Si S es
una superficie topologica compacta sin borde, entonces S es homeomorfa a una superficie
de la lista
S := {Sn : n N {0}} {Sn : n N} =
n o
= Sw : w {wn : n N {0}} {wn : n N} ,
en la que ningun par de superficies es homeomorfo entre s. Al numero n en ambos
casos se le llama genero de la superficie.
En particular, si T1 y T2 son dos triangulaciones de S entonces:
T1 (S) = T2 (S).
T1 y T2 tienen el mismo caracter de orientabilidad.
124
18.2. Clasificacion de las superficies compactas con borde
La siguiente proposicion jugara un papel fundamental.
Proposicion 18.11 Sea (Sj , Tj ) una superficie compacta triangulada con Bd(Sj ) 6= ,
j = 1, 2 con S1 S2 = . Fijemos una componente conexa j Bd(Sj ), j = 1, 2, y un
homeomorfismo h : 1 2 . Consideremos en el espacio topologico suma X = S1 S2
la relacion de equivalencia:
125
Probemos (b). Por la Proposicion 17.19 sabemos que la orientabilidad de Tj es
equivalente a la orientabilidad de Tj0 . La implicacion =) es trivial sin mas que levantar
a Tj0 va las orientaciones de los triangulos compatiblemente orientados de T , j = 1, 2.
Para la recproca, supongamos que Tj0 es orientable, j = 1, 2, y elijamos una orientacion
global compatible en los triangulos de Tj0 , j = 1, 2. La orientacion de los triangulos de
Tj0 con un lado en Bd(Sj ) induce una orientacion de ese lado contenido en Bd(Sj ), que
globalmente contemplada determina un sentido de recorrido de cada curva de Jordan
en Bd(Sj ), j = 1, 2. Si las orientaciones inducidas sobre los lados en 1 y 2 por T10 y
T20 respectivamente fuesen coincidentes, cambiaramos la orientacion global de T10 a su
opuesta para lograr que sean opuestas. Una vez hecho esto, orientamos cada triangulo
de T proyectando va las orientaciones de los triangulos de T10 T20 , generando as
una orientacion global compatible en T y probando que esta triangulacion de S es
orientable.
Y0 es union de triangulos de T 0 .
X Int(Y0 ) Y0 U .
TX = {T T : T Bd(X) 6= , T * X}.
T TX T U.
Para cada T TX elijamos un punto vT Int(T ) y dos puntos xl1 ,T Int(l1 ), xl2 ,T
Int(l2 ), donde l1 y l2 son los dos lados de T no contenidos en Bd(X). Escribamos
AT = {vT , xl1 ,T , xl2 ,T }. Hagamos estas elecciones de forma que si T1 y T2 TX comparten
un lado l entonces xl,T1 = xl,T2 .
Llamemos A = T TX AT y consideremos, va la Proposicion 17.13, una subdivision
T 0 T tal que A V (T 0 ). Tracemos dentro de cada triangulo T TX un arco de
Jordan pasando por los tres puntos de AT , contenido en lE(T 0 ) l y con Int(T ) Int(T )
(luego disjunto de X). Como la configuracion de triangulos de T 0 en T admite una
realizacion por triangulos geometricos en el plano, el Teorema 3.15 nos permite concluir
que T parte T en dos componentes conexas que son discos topologicos compactos, uno
de ellos, que llamaremos DT , satisfaciendo DT X = T X y el otro disjunto de X. A
modo de resumen, por construccion:
126
Bd(DT ) lE(T 0 ) l, por lo que DT es union de triangulos de T 0 .
Llamemos [
Yj = Xj DT , j = 1, . . . , k.
{T TX , T Xj 6=}
Usando la Proposicion 3.11 es facil ver que Yj es un disco topologico compacto conte-
niendo a Xj en su interior. En efecto, ordenemos cclicamente {D1 , . . . , Dm } los discos
de la familia {DT : T TX T Xj 6= } de forma que:
Dj Di 6= si y solo si i = j 1, j, j + 1, j = 1, . . . , m, donde D0 = Dm y
Dm+1 = D1 .
Dj+ Dj+1 +
6= es un arco de Jordan en el borde comun a ambos discos, j =
1, . . . , s,
y analogamente con los discos {Di : i = 1, . . . , s}. Razonando como arriba, sj=1 Dj+ y
sj=1 Dj son discos topologicos. Como
127
Por construccion, Yj Zj es un arco de Jordan en Bd(EstT (vj )), y de forma similar
Zj Yj+1 es un arco de Jordan en Bd(EstT (vj+1 )), j = 1, . . . k 1. Como Zj Zi = ,
Yj Yi = , i 6= j, y Zi Yj 6= si y solo si i y j son consecutivos, un razonamiento
cclico ordenado usando la Proposicion 3.11 nos permite concluir que
k1
Y0 := j=1 (Yj Zj Yj+1 )
es un disco topologico. Obviamente X Int(Y0 ), Y0 es union de triangulos de T 0 e
Y0 U , lo que concluye la proposicion.
Ahora podemos afrontar los teoremas centrales de esta seccion.
Corolario 18.13 (Clasificacion de las superficies compactas con borde) Si S es
una superficie topologica compacta con borde, entonces S es homeomorfa a una super-
ficie de la lista
S := {Sn,k : n N {0}, k N} {Sn,k
: n, k N} =
128
j tiene punto inicial P0 , extremos en 1 (Vw ) y j lE(T ) l para todo j.
Por el Teorema 3.15, es facil ver que las curvas kj=1 j parten \ (kj=1 1 (Yj )) en k + 1
componentes conexas, cuyos cierres son discos topologicos compactos que denotaremos
por 1 , . . . , k+1 . Sea j la componente conexa (subarco de Jordan) de j \Int( 1 (Yj ))
que no contiene a P0 para todo j, y observemos que j descansa en el borde de dos
discos de la anterior lista. Salvo anadirles una etiqueta que los distinga, podremos tratar
los j s como disjuntos dos a dos. De esa forma, si {j : j = 1, . . . , k} y + y
son los dos discos en {j : j = 1, . . . , k + 1} incidentes en (llamaremos + +
y a las dos copias de en cada uno de ellos), la aplicacion h : +
,
h := (| )1 (| + ) es un homeomorfismo. Usando la Proposicion 3.11 para pegar
todos los discos 1 , . . . , k+1 va los homeomorfismos h := {h1 , . . . , hk }, generamos
un nuevo disco topologico = (k+1 k+1
j=1 j )/h ). Si llamamos : j=1 j a la
0 : Sw \ (kj=1 Yj ), 0 = ,
Finalmente, como las superficies en la lista S no son homeomorfas dos a dos, cada
par de triangulaciones distintas T1 y T2 de S nos han de dirigir por el proceso anterior a
homeomorfismos sobre la misma realizacion canonica Sw0 , de forma que salvo subdivi-
siones ambas triangulaciones se aplican va estos homeomorfismos en triangulaciones de
Sw0 adaptadas a w0 . En consecuencia T1 y T2 han de tener el mismo caracter de orien-
tabilidad (a saber el de Sw0 ) y la misma caraterstica de Euler (a saber, 1 + (w0 )).
Esto concluye la demostracion.
129
(I) S1
= S2 (S1 ) = (S2 ), S1 y S2 tienen el mismo caracter de orientabilidad
y S1 y S2 tienen la misma cantidad de componentes conexas en el borde.
(II) S1
= S2 1 (S1 ) = 1 (S2 ) y S1 y S2 tienen la misma cantidad de componen-
tes conexas en el borde.
De la Proposicion 18.11,
130
(S1 ]S2 ) = (S1 ) + (S2 ) 2.
El Corolario 18.10 implica que una superficie topologica orientable sin borde distinta
de S2 es suma conexa de una cantidad finita de toros, cantidad que coincide con el
genero de la superficie. Basta observar que haciendo sumas conexas de toros generamos
superficies compactas orientables sin borde que barren todas las caractersticas de Euler
posibles para esa familia de superficies:
Analogamente, una superficie compacta no orientable sin borde es suma conexa de una
cantidad (que coincide con el genero de la superficie) de planos proyectivos:
131
(c) X orientable = Y orientable (el recproco no es cierto).
Demostracion : Para probar item (a), primero observemos que (Bd(Y )) = Bd(X)
como consecuencia de que es un homeomorfismo local. Consideremos ahora una ar-
cocomponente de Bd(X), que como bien sabemos es homeomorfa a R o S1 . Si =R
1
cualquiera arcocomponente de () es homeomorfa a por el Lema 19.1.
Supongamos que = S1 . Fijemos puntos x e y 1 (x). Sea : [0, 1] una
parametrizacion de con (0) = (1) = x y |[0,1[ inyectiva. Llamemos 1 : [0, 1]
Y al levantamiento de con condicion inicial 1 (0) = y. Inductivamente, definamos
j : [0, 1] Y como el levantamiento de con condicion inicial j (0) = j1 (1), j N,
donde por convenio 0 (1) = y. La secuencia de arcos {j }jN puede ser infinita y (si
j (1) 6= y para todo j) o contener solo una cantidad finita de k arcos (probar como
ejercicio que k es divisor de n := numero de hojas de ) si k es el primer natural para el
que k (1) = y. En cualquier caso e := jN j ([0, 1]) es una arcocomponente de Bd(Y ),
e es recubridora. Esto prueba (a).
y por construccion |e :
Para el item (b), consideremos una triangulacion T de X (Teorema de Rado). Si
T T y Te es una arcocomponente de 1 (T ), el Lema 19.1 garantiza que |Te : Te T
es un homeomorfismo. Si definimos
Teorema 19.3 (Recubridor de dos hojas orientable) Sea X una superficie topologi-
ca compacta no orientable.
Entonces existe un unco (salvo isomorfismos) recubridor (X0 , 0 ) de X satisfacien-
do:
X0 es una superficie orientable.
132
Para cada p X llamemos Up := {(U, []) U : p Int(U )} (reparemos en que
Int(U ) = U \ Bd(U ) coincide con el interior topologico de U en X por el Teorema de
Invarianza del Dominio, ver Teorema 16.3).
Sean (U1 , [1 ]), (U2 , [2 ]) Up , y tomemos U0 Up tal que U0 U1 U2 . Fijemos
[0 ] generador universal de 1 (U0 ), y observemos que [j ] = (ij ) (j [0 ]) para cierto
j {1, 1}, donde ij : U0 \ {p} Uj \ {p} es la inclusion (equivalencia homotopica).
Las parejas (U1 , [1 ]), (U2 , [2 ]) Up se diran copatiblemente orientadas, y escri-
biremos (U1 , [1 ]) p (U2 , [2 ]), si 1 2 = 1. Obviamente, si (U, []) Up entonces
(U, []) Up y (U, []) p Up (U, []). La relacion p es de equivalencia en Up , y de
lo anterior es elemental el comprobar que el cociente Up / p tiene solo dos clases de
equivalencia, que llamaremos o+ p y op . Denotemos por
op : Up {o+
p , op }
como base.
De la definicion es inmediato comprobar que X0 es T2 y II-Axioma de numerabilidad
(ya que X lo es). Ademas 0 es un homeomorfismo local, por lo que X0 es localmente
euclidiano (ya que X lo es). Si X0 fuese arcoconexo, sera una superficie topologica y
0 : X0 X, 0 (o+
p ) = 0 (op ) := p,
133
abierto conexo (luego arcoconexo) de X0 dado por V := aj=0 [(Uj , [j ])] contiene a los
S
puntos {o+ q , oq : q Int(U0 ) = Int(Ua )} = {oq (U0 , [0 ]) , oq (Ua , [a ]) : q Int(U0 ) =
Int(Ua )} V , y en particular cualesquiera dos de ellos se pueden conectar por un arco
en X0 .
Ahora podemos probar la arcoconexion de X0 . Fijemos p X0 tal que o+ p y op se
puedan conectar por un arco en X0 . Sin perdida de generalidad podemos suponer que
p pertenece al interior de algun triangulo de T . Vamos a probar que cualquier punto
q X0 se conecta con alguno de los puntos o+ p , op . Es suficiente con demostrar este
hecho para puntos q X0 de forma que q := 0 (q) este contenido en el interior de un
triangulo de T . Por la conexion de X existe una sucesion de triangulos T1 , . . . , Ta T
de forma que Tj Tj+1 consiste en un lado comun, j = 1, . . . , a, (hemos hecho el convenio
Ta+1 = T1 ) p Int(T1 ) y q Int(Ta ). Llamando Uj := Tj Tj+1 , j = 1, . . . , a 1 y
por un argumento similar al anterior, podemos construir una secuencia {(Uj , [j ]) : j =
1, . . . , a 1} U S de forma que [(Uj , [j ])] [(Uj+1 , [j+1 ])] 6= , j = 1, . . . , a 2.
Como antes W := a1 j=1 [(Uj , [j ])] es un abierto arcoconexo que contiene algun punto
+
Sa1
de {op , op } y algun punto de {o+ q , oq }. De igual forma, W := j=1 [(Uj , [j ])] es un
abierto conexo que contiene los puntos complementarios a los anteriormente senalados
+
en {o+ +
p , op } y {oq , oq }. Teniendo en cuenta que op y op se pueden conectar por un arco
en X0 , se concluye.
As pues X0 es una superficie topologica.
Resta garantizar que X0 es orientable. Para ello consideremos una triangulacion T
de X y su levantada T a X0 va el recubridor de dos hojas 0 : X0 X; ver la prueba
del Teorema 19.2.
Para cada triangulo T T elijamos un punto pT Int(T ), y consideremos en
T := 0 (T ) T el generador universal [] de 1 (T ) tal que pT = opT (T, []), donde
pT = 0 (pT ). La orientacion de Bd(T ) inducida por [] determina unvocamente una
ordenacion de los vertices de V (T ) de forma natural, y esta ordenacion de vertices se
puede levantar va 0 a una ordenacion de los vertices en V (T ) que orienta T . De esta
forma orientamos todos y cada uno de los triangulos de T .
Veamos que esta orientacion global de T es compatible. Para ello consideremos dos
triangulos T1 , T2 T con un lado l en comun. Sabemos que K := T1 T2 es un disco to-
pologico compacto que se proyecta va 0 en el disco topologico compacto K = T1 T2 ,
donde Tj = 0 (Tj ). Si elegimos p l, como antes p induce un sentido de recorrido
de Bd(K) que ha de coincidir con el sentido de recorrido de Bd(Tj ) inducido por pTj
sobre el arco de Jordan Bd(K) Bd(Tj ), j = 1, 2. Por tanto, los triangulos T1 y T2 ,
con las orientaciones inducidas por pT y pT respectivamente, estan compatiblemen-
1 2
134
tiblemente orientados para todo j = 1, . . . , k 1. Fijemos q 1 (p) y la correspon-
diente secuencia de triangulos levantados T10 , . . . , Tk0 en T 0 que satisface eq kj=1 Tj0 .
Levantemos la orientacion de Tj a Tj0 para todo j, y observemos que Tj0 y Tj+1 0
estan
0 0
compatiblemente orientados para todo j = 1, . . . , k 1. Es claro que Tk T1 6= si y
eq es un lazo en Y , y como Y es orientable, si y solo si Tk0 y T10 son triangu-
solo si
los con un lado en comun y compatiblemente orientados. Pero esto es equivalente a
decir que eq00 es un lazo en X0 , donde q0 01 (p) es un punto arbitrario. Por tanto
(1 (Y, q)) = (0 ) (1 (X0 , q0 )), lo que por el Corolario 13.5 implica que existe un iso-
morfismo de recubridores : (Y, ) (X0 , 0 ) con (q0 ) = q. Esto concluye la prueba
del teorema para el caso Bd(X) = .
Supongamos que Bd(X) 6= y X tiene k N componentes en el borde. Tal y
como explicamos en la prueba del Corolario 18.13, la Proposicion 18.11 nos permite
pegar a X por su borde k discos topologicos X1 , . . . , Xk para generar una superficie sin
borde X 0 . La superficie X 0 admite recubridor orientable de dos hojas (X00 , 00 ) por lo
ya demostrado. Ademas, como cada disco Xj X 0 es simplemente conexo, (00 )1 (Xj )
es la union disjunta de dos discos Xj+ y Xj , ambos copias homeomorficas de Xj va
00 . Definiendo X0 := X00 \ kj=1 (Int(Xj+ ) Int(Xj )) y 0 := 00 |X0 : X0 X, el par
S
(X0 , 0 ) es un recubridor de dos hojas orientable de X. Ademas resulta evidente que
X0 tiene 2k componentes en el borde. La unicidad de este tipo de recubridor se prueba
como arriba.
Corolario 19.4 El espacio recubridor de dos hojas orientable de Sn,k es Sn1,2k , n N,
k N {0}.
Demostracion : Por el Teorema 19.2, el recubridor de dos hojas orientable X0 de Sn,k
es una superficie compacta orientable con (X0 ) = 2(Sn,k ) = 2(2 n k). Ademas el
Teorema 19.3 nos dice que X0 tiene 2k componentes en el borde.
Como X0 es orientable, ha de coincidir con Sn0 ,2k para algun n0 N {0}, ver
Corolarios 18.8 y 18.13. Pero (Sn0 ,2k ) = 2 2n0 2k, por lo que n0 = n 1.
135
Ejercicios del Tema 3
1. Sea X = S2 {x0 }, donde x0 R3 S2 . En X se considera la topologa tal
que los entornos de los puntos de S2 son los usuales, y los de x0 son de la forma
(V {N }) {x0 }, donde N = (0, 0, 1) y V es un entorno de N en S2 . Demostrar
que cada punto de X tiene un entorno homeomorfo a un abierto de R2 pero X
no es T2 .
a) n = 6, E = abacb1 c1 ,
b) n = 6, E = abca1 b1 c1 ,
c) n = 8, E = abcdca1 bd1 ,
d ) n = 10, E = aba1 cdb1 c1 ed1 e1 ,
e) n = 12, E = abcadb1 ef ce1 df 1 .
10. Que superficie se obtiene cuando identificamos las aristas de un polgono cerrado
de 2n lados con n 2 mediante el esquema E = a1 a2 a3 an a1 1 1 1
1 a2 a3 an ?
Y si cambiamos la ultima etiqueta por an ?
136
11. Demostrar que toda superficie compacta y conexa es homeomorfa a una y solo
una de las siguientes superficies:
S2 , Tn , RP2 , K, Tn # RP2 , Tn # K.
12. Identificar, salvo homeomorfismos, las superficies compactas y conexas con carac-
terstica de Euler igual a 2.
13. Sea S una superficie compacta y conexa. Probar que (S) 2 si y solo si S
tiene una presentacion poligonal Q/ E donde Q es un octogono.
14. Discutir de forma razonada si cada par de las siguientes superficies compactas y
conexas son o no homeomorfas entre s:
a) S1
= Q/E , donde Q es un octogono y E = abcdad1 cb1 ,
b) S2 cumple (S2 ) 0 y 1 (S2 ) no es abeliano,
c) S3 cumple que 1 (S3 )
= hA, B, C; ACBCBA1 i.
Obtener tambien la presentacion poligonal canonica de S1 efectuando para ello
las transformaciones que sean necesarias.
15. Sea S la superficie compacta y conexa que admite una presentacion poligonal
obtenida identificando los lados de un decagono mediante el esquema:
E = ab1 c da1 ebc1 ,
donde cada guion esta ocupado por una unica etiqueta. Completar el esquema
para que S sea homeomorfa a:
a) T2 = T # T ,
b) RP24 = RP2 # RP2 # RP2 # RP2 ,
c) la superficie modelo con primer grupo de homologa isomorfo a Z2 Z4 .
137
18. Resolver de forma razonada las siguientes cuestiones:
a) Sea S una superficie. Demostrar que S # S2
= S.
b) Si S1 y S2 son superficies compactas y conexas, se cumple necesariamente
que 1 (S1 # S2 )
= 1 (S1 )1 (S2 )? Y que H1 (S1 # S2 )
= H1 (S1 )H1 (S2 )?
c) Es cierto que RP = RP # T
2
3
2 2
= RP # K?
d ) Existe S superficie compacta y conexa con (S) 7 y H1 (S)
= Z2 Z7 ?
e) Sea Q una union finita de polgonos cerrados disjuntos con el mismo numero
de lados. Describir todas las posibles configuraciones de Q a partir de las que
se puede obtener una presentacion poligonal con un unico vertice del 2-toro
T2 = T # T .
19. Determina los espacios topologicos compactos Y para los que existe una aplicacion
recubridora : Y X en cada uno de los siguientes casos:
a) X = S2 .
b) X = RP2 .
c) X = RP2 ]RP2 .
d ) X = T, donde T := S 1 S1 .
20. Determina los espacios topologicos X para los que existe una aplicacion recubri-
dora : Y X en cada uno de los siguientes casos:
a) Y = RP2 .
b) Y = RP2 ]RP2 .
c) Y = T, donde T := S 1 S1 .
d ) Y = T]T.
a) D \ {0}.
b) S2 {(0, 0)} [1, 1] . Pista: observar que este espacio es homeomorfo a
S2 c, donde c es un arco de Jordan en el exterior de la bola unidad de R3
conectando los dos polos de la esfera.
138