JesusGonzalezSandoval PDF

Benemrita Universidad
Autnoma de Puebla
FACULTAD DE CIENCIAS FSICO MATEMTICAS
LICENCIATURA EN MATEMTICAS
INTRODUCCIN A ESPACIOS CUBRIENTES, FIBRACIONES Y

CORREFLEXIONES
TESIS
QUE PARA OBTENER EL TTULO DE

LICENCIADO EN MATEMTICAS APLICADAS
PRESENTA
JESS GONZLEZ SANDOVAL
DIRECTOR DE TESIS
Dr. JUAN ANGOA AMADOR
PUEBLA, PUE.
23-10-2014
Dedicado a
mis padres Jess y Sosipater,
mi hermana Sosi
y mis abuelos.
Introduccin
Esta tesis presenta la teora general de los espacios cubrientes y una introduccin a las fibraciones, temticas perteneciente al rea de la Topologa
algebraica, presentando los resultados que conducen a la demostracin de
uno de los teoremas fundamentales de Topologa algebraica, el Teorema de
levantamiento, que resuelve el problema de la existencia de una factorizacin
de una funcin continua mediante una funcin cubriente. Adems se presenta el Teorema de levantamiento para fibraciones de Hurewicz, que es una
generalizacin del Teorema de levantamiento para espacios cubrientes.
En el Captulo 1, el Captulo Introduccin, como su nombre lo indica,
presenta nociones que se utilizarn en el trabajo y algunos conceptos generales de Topologa y Topologa algebraica, se presentan la estructura del Grupo
fundamental de un espacio topolgico, algunas topologas generadas a partir
de familias de funciones y la topologa compacto abierta sobre el conjunto de
funciones continuas entre dos espacios topolgicos.
En el Captulo 2 se introduce el concepto de funcin cubriente y, entre
otros resultados, se presentan el comportamiento de las funciones cubrientes
respecto a la restriccin de dominios y productos topolgicos, y las caractersticas topolgicas que hereda un espacio cubriente del espacio base. Se
presentan los Teoremas de levantamiento con los cuales factorizamos una
funcin por medio de una funcin cubriente y no slo se genera el levantamiento de una funcin sino que se genera un levantamiento de Homotopas, y
mediante esto, se generan los resultados que relacionan los espacios cubrientes con el comportamiento de su Grupo fundamental y el homomorfismo
inducido por la funcin cubriente; acto seguido, se analizar la existencia del
espacio cubriente universal de un espacio topolgico. Las secciones de transformaciones cubrientes y espacio de rbitas, estn enfocadas al estudio de las
estructuras algebraicas de dos conjuntos de funciones continuas especiales
entre los espacios cubrientes.
En el Captulo 3 se introducen los conceptos de homeomorfismo local y
fibracin, este ltimo mediante la propiedad de levantamiento de homotopa
as como con las funcines cubrientes; se desarrollan los resultados de relacin
entre las fibraciones y el Grupo fundamental, hasta la demostracin de un
teorema de levantamiento de fibraciones. Despus de introducir el concepto
de cuadrado cartesiano, se demuestra que las fibraciones son una clase de
ii
funciones que es cerrada bajo la formacin de cuadrados cartesianos.
En el Captulo 4, se introduce el concepto de subcategora correflexiva, en
el cual se puede ver la caracterstica de levantamiento que proveen las fibraciones. A una clase de funciones continuas y sobreyectivas le asignamos una
subcategora de la categora de espacios topolgicos, la cual se mostrar que
es una subcategora correflexiva, a partir del hecho de ser una subcategora
cerrada bajo la formacin de identificaciones y coproductos.
Esperamos haber desarollado una panormica de los espacios cubrientes,
fibraciones y correflexiones, resumiendo de varias fuentes los resultados que
aqu presentamos.
iv
ndice general
Introduccin
1. Preliminares
1.1. Espacios topolgicos y funciones continuas . . . . . . . . . . .
1.2. Grupo fundamental y homomorfismo inducido . . . . . . . . .
1.3. Familias de funciones y topologas especiales . . . . . . . . . .
2. Espacios cubrientes
2.1. Funciones cubrientes . . . . . . . . . . .
2.2. Teoremas de levantamientos . . . . . . .
2.3. Transformaciones cubrientes . . . . . . .
2.4. Existencia del espacio cubriente universal
2.5. Espacio de rbitas . . . . . . . . . . . . .
3. Fibraciones
3.1. Homeomorfismos locales . . . . .
3.2. Fibraciones . . . . . . . . . . . .
3.3. Fibraciones y grupo fundamental
3.4. Teorema de levantamiento . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
7
.
.
.
.
.
13
13
19
29
42
49
.
.
.
.
59
60
64
74
80
4. Fibraciones y Correflexiones
93
4.1. Correflexiones . . . . . . . . . . . . . . . . . . . . . . . . . . 93
Bibliografa
104
ndice alfabtico
106
v
vi
NDICE GENERAL
Introduccin a espacios cubrientes, fibraciones

y correflexiones
Jess Gonzlez Sandoval
23-10-2014
Captulo 1
Preliminares
1.1.
Espacios topolgicos y funciones continuas
Daremos inicio a esta seccin introduciendo algunos conceptos bsicos de

la topologa.
Definicin 1.1. Una topologa en un conjunto X es una familia de subconjuntos de X que satisface:
i y X ;
ii Si A1 , . . . , An , entonces
iii Si {A }A , entonces
Ti=n
i=1
Ai ;
A .
Si es una topologa en X, a la pareja (X, ) le llamamos espacio topolgico, a los elementos que pertenecen a , conjuntos abiertos en X y al
complemento de un conjunto abierto en X le llamamos conjunto cerrado
en X.
Definicin 1.2. Sea (X, ) un espacio topolgico, entonces para cada x X
llamaremos vecindad de x a U X si existe V , tal que x V U .
Definicin 1.3. Una funcin f : X Y de un espacio topolgico X en un
espacio topolgico Y es una funcin continua si, para cualquier abierto U
de Y , f 1 (U ) es abierto en X.
1
Preliminares
Dado un conjunto X denotaremos por IX a la funcin identidad en X. Si

(X, ) es un espacio topolgico tomaremos a como la topologa del dominio
y codominio de la funcin IX , a menos que se indique lo contrario. Bajo estas
condiciones IX es continua.
Teorema 1.4. Sea f : X Y una funcin de un espacio topolgico X en un
espacio topolgico Y , entonces las siguientes proposiciones son equivalentes:
i f es continua.
ii Para cualquier cerrado F de Y , f 1 (F ) es cerrado en X.
iii Para cada x0 X, para cada vecindad abierta U de f (x), existe una
vecindad abierta de x0 tal que f (V ) U .
Vase demostracin en [3].
Denotaremos por I al espacio topolgico ([0, 1], ) donde es la topologa
inducida por la mtrica usual en R.
Definicin 1.5. Sea (X, ) un espacio topolgico. Una trayectoria o camino en X es una funcin continua f : I X. Se dice que un espacio X
es conexo por trayectorias o por caminos si para cada par de puntos,
x, y, en l, existe una trayectoria f en X tal que f (0) = x y f (1) = y.
Definicin 1.6. Sean X y Y dos espacios topolgicos. Una funcin biyectiva
f : X Y es un homeomorfismo, si f y f 1 son continuas. Si f : X Y
es un homeomorfismo, entonces diremos que X y Y son dos espacios
homeomorfos.
Definicin 1.7. Una funcin f : X Y , donde X y Y son espacios topolgicos, es una funcin abierta si la imagen bajo f de cualquier conjunto
abierto en X es un conjunto abierto en Y . Si la imagen bajo f de cualquier
conjunto cerrado en X es un conjunto cerrado en Y , llamaremos a f una
funcin cerrada.
Es claro que si X y Y son dos espacios topolgicos, f : X Y es una
funcin continua, abierta y biyectiva, entonces f es un homeomorfismo. Sean
(X, ) un espacio topolgico, Y un conjunto y f : X Y una funcin
suprayectiva. Si f = {A Y |f 1 (A) }, f es una topologa para Y y es
la ms grande topologa que hace continua a f .
1.2 Grupo fundamental y homomorfismo inducido
Definicin 1.8. Sean (X, ) un espacio topolgico, Y un conjunto y f : X

Y una funcin suprayectiva. La pareja (Y, f ) es llamada espacio cociente
y a f le llamaremos la topologa cociente en Y inducida por f y (X, ).
Definicin 1.9. Sea una particin de un espacio X. A la aplicacin :
X que manda a cada elemento x X al nico elemento de la particin
que lo contiene, le llamaremos proyeccin natural (determinada por ).
Definicin 1.10. Sea una particin de un espacio topolgico (X, ). Consideremos en el conjunto la siguiente topologa :
[
Para cada = , = si y slo si
{A|A =}es abierto en X.
A la pareja (, ) le llamaremos espacio particin de X.
Teorema 1.11. Si es una particin de un espacio topolgico (X, ), es la
topologa cociente inducida por la proyecin natural : X , determinada
por .
1.2.
Grupo fundamental y homomorfismo inducido
Definicin 1.12. Sean f, g : I X caminos con f (1) = g(0). Definimos el

camino f g : I X, como

f (2t) si 0 t 21
(f g)(t) =
g(2t 1) si 12 t 1
Lema 1.13 (de pegado). Sea J un conjunto
de ndices. Supongamos que
S
un espacio topolgico X es tal que X = jJ Xj , con Xj abierto en X para
cada j J. Sea Y un espacio topolgico y sea {fj : Xj Y }jJ una familia
de funciones continuas tales que fj (x) = fk (x) para cada j, k J y para cada
x Xj Xk . Entonces la funcin f : X Y definida por f (x) = fj (x),
donde j J y x Xj , es la nica funcin continua de X a Y tal que
f |Xj = fj .
El siguiente lema es una versin del lema anterior usando Xj conjuntos
cerrados en vez de conjuntos abiertos, pero con la condicin de que el conjunto
de ndices J sea un conjunto finito.
Preliminares
Lema 1.14. Sea J un conjunto

S finito de ndices. Supongamos que un espacio
topolgico X es tal que X = jJ Xj con Xj cerrado en X, para cada j J.
Sea Y un espacio topolgico y sea {fj : Xj Y }jJ una familia de funciones
continuas tales que fj (x) = fk (x) para cada j, k J y para cada x Xj Xk ,
entonces la funcin f : X Y definida por f (x) = fj (x), donde j J y
x Xj es la nica funcin continua de X a Y tal que f |Xj = fj .
Las pruebas de los dos lemas anteriores, se pueden encontrar en [2], nos
referiremos a estos dos lemas como lemas de pegado. Gracias al lema anterior
tenemos que la funcin f g en la Definicin 1.12 es continua.
Definicin 1.15. Si X y Y son espacios topolgicos y f, g : X Y son
funciones continuas, entonces diremos que f es homotpica a g, lo denotaremos por f ' g, si existe una funcin continua F : X I Y con
F (x, 0) = f (x) y F (x, 1) = g(x) para cada x X.
A tal funcin F le llamaremos homotopa de f a g y la denotaremos
por F : f ' g.
Definicin 1.16. Sea A X y sean f, g : X Y funciones continuas
tales que f |A = g|A . Si existe una funcin continua F : X I Y tal que
F :f 'g y
F (a, t) = f (a) = g(a) para cada (a, t) A I.
Entonces llamaremos a F homotopa relativa a A y se denotar por
F : f ' g relA.
Si X y Y son espacios topolgicos y A X. Entonces tenemos que la
relacin de homotopa relativa a A en el conjunto de las funciones continuas
de X a Y es una relacin de equivalencia.
Definicin 1.17. Sea I = {0, 1} I. A la clase de equivalencia asociada
a un camino f : I X, mediante la relacin de equivalencia de homotopa
le llamaremos la clase de caminos de f y la denotaremos por
relativa a I,
[f ].
Teorema 1.18. Sean f0 , f1 , g0 , g1 caminos en X con
f0 ' f1 relI y g0 ' g1 relI.
Si f0 (1) = f1 (1) = g0 (0) = g1 (0), entonces f0 g0 ' f1 g1 relI.
1.2 Grupo fundamental y homomorfismo inducido
entonces H : I I X
Demostracin. Si F : f0 ' f1 relI y G : g0 ' g1 relI,
definida por

F (2t, s)
si 0 t 12
H(t, s) =
G(2t 1, s) si 12 t 1
es una funcin continua con H : f0 g0 ' f1 g1 relI.

Definicin 1.19. Si f : I X es un camino de x0 a x1 , llamaremos a x0
el origen de f y lo denotaremos por (f ) = x0 ; llamaremos a x1 el final
de f y lo denotaremos por (f ). Un camino f en X es un camino cerrado
en x0 si (f ) = x0 = (f ).
entonces
Observacin 1.20. Si f y g son caminos con F : f ' g relI,
(f ) = (g) y (f ) = (g); Debido a esto podemos definir el origen y el final
de una clase de caminos de la siguiente forma [f ] = (f ) y [f ] = (f ).
Definicin 1.21. Sean X, Y espacios topolgicos e y Y . A la funcin
Cy : X Y definida por Cy (x) = y para toda x X le llamaremos funcin constante en y. En particular si X = I, Cy : I Y es el camino
constante en y.
Definicin 1.22. Sean X un espacio toplogico y x0 X. El grupo fundamental de X con base en x0 es
1 (X, x0 ) = {[f ]|[f ] es una clase de caminos en X con [f ] = x0 = [g]}

con la operacin binaria
[f ][g] = [f g].
Teorema 1.23. Si X es un espacio topolgico y x0 X. Entonces 1 (X, x0 )
es un grupo, donde [Cx0 ] es el elemento neutro y el inverso de una clase de
caminos [f ] es la clase de caminos [f 1 ], con f 1 : I X el camino definido
por f 1 (t) = f (1 t) para toda t X.
Vase demostracin en [2].
Preliminares
Definicin 1.24. Sean X, Y espacios topolgicos, p : X Y una funcin

continua, x0 X. Al homomorfismo de grupos 1 (p) = p : 1 (X, x0 )
1 (Y, p(x0 )) definido por
p [f ] = [p f ] para cada [f ] 1 (X, x0 ).
le llamaremos la homomorfismo inducido por p.
En la Definicin 1.24 tenemos que p est bien definida pues si [] =
[] 1 (X, x0 ) tenemos que existe H homotopa relativa a I tal que H : '
as pH es una homotopa relativa a I tal que pH : p ' p relI.
relI,
Lema 1.25. Sean X un espacio topolgico, x0 , x1 X y un camino en X
con () = x0 y () = x1 . La funcin : 1 (X, x0 ) 1 (X, x1 ) definida
por
[f ] = [1 f ] para cada [f ] 1 (X, x0 )
es un isomorfismo de grupos.
Demostracin. Por el Teorema 1.18 tenemos que est bien definida. Sean
[f ], [g] 1 (X, x0 ); tenemos que:
([f ] [g]) = ([f g]) = [1 f g ] =
[1 f 1 g ] = [f ] [g].
de donde f '
Si [f ] = [Cx1 ], tenemos que 1 f ' Cx1 relI,
1
por tanto [f ] = [Cx0 ].
Cx1 relI ' Cx0 relI,
Sean [h] 1 (X, x1 ); tenemos que [ h 1 ] 1 (X, x0 ) y [ h
1 ] = [h]. De donde es isomorfismo de grupos.
En este trabajo habremos de hacer uso de la composicin de funciones,
para esto si f : X Y y g : Y Z son funciones, denotaremos a la funcin
composicin de f con g por gf bien g f ; la notacin ser utilizada
cuando la notacin de las funciones a componer comprometa la comprensin
de dicha composicin.
Definicin 1.26. Sean (X, ) un espacio topolgico, (A, A ) un subespacio
de (X, ), i : (A, A ) (X, ) la funcin inclusin. Se dice que (A, A ) es:
1. Retracto de (X, ) si existe r : (X, ) (A, A ) funcin continua tal
que ri = IA .
1.3 Familias de funciones y topologas especiales
2. Retracto dbil de (X, ) si existe r : (X, ) (A, A ) funcin continua tal que ri ' IA .
3. Retracto por deformacin de (X, ) si existe r : (X, ) (A, A )
funcin continua tal que ri = IA e ir ' IX .
4. Retracto dbil por deformacin de (X, ) si existe r : (X, )
(A, A ) funcin continua tal que ri ' IA e ir ' IX .
5. Retracto fuerte por deformacin de (X, ) si existe r : (X, )
(A, A ) funcin continua tal que ri = IA , H : ir ' IX rel A.
1.3.
Familias de funciones y topologas especiales
Definicin 1.27. Un pozo de funciones es una clase de funciones L =

{fj : Yj X}jA . Si L = {fj : (Yj , j ) (X, )}jA es un pozo de funciones
entre espacios topolgicos, la topologa final de X respecto a L est dada por

= W X|j A, fj1 (W ) j
.
Teorema 1.28. Si f : (X, ) (Y, ) es una funcin entre espacios topolgicos entonces son equivalentes:
a) es final respecto a {f : (X, ) (Y, )}.
b) = Sup {| es topologa en Y y f : (X, ) (Y, ) es continua}.
c) C Y es cerrado en (Y, ) sii f 1 (C) es cerrado en (X, ).
d) f es continua y, si g : (Y, ) (Z, ) es tal que gf es continua, entonces
g es continua.
e) f es continua y, si conmuta el siguiente diagrama de funciones continuas
con h biyectiva, entonces h es homeomorfismo.
Preliminares
(X, )
(Y,
)
B
(Z, )
La demostracin puede verse en [2].
Definicin 1.29. Un pozo de funciones L = {fj : Yj X}iA es un epipozo si, para cualesquiera dos funciones g, h : X Z tales que:
j A, h fj = g fj
se tiene que g = h.
Definicin 1.30. a) Sea {Xj }jA una familia de conjuntos, la unin ajena
de {Xj }jA est dado por
a
Xj =
(Xj {j}).
jA
`
Para cada j A la funcin ij : Xj Xj , definida
por ij (x) = (x, j)
`
para cada x Xj , se llama inclusin de Xj en Xj .
`
b) Si {Xj , j }jA es una familia de espacios topolgicos, ( `
Xj , ) es el coproducto de {Xj }jA
Xj respecto a
` donde es la topologa final de
L = {ij : (Xj , j ) Xj }jA .
Es claro que para cada j A, ij es una funcin inyectiva.
`
Teorema 1.31. Si (` Xj , ) es el coproducto de {(Xj , j )}jA con inclusiones ij : (Xj , j ) ( Xj , ), entonces se satisfacen:
I. {ij }jA es epipozo.
II. Para toda j A, ij es encaje abierto y cerrado.
III. si {fj : (Xj , j ) (Y, )} es un pozo de

` funciones continuas entonces
existe una nica funcin continua f : ( Xj , ) (Y, ) tal que, para
toda j A, el siguiente diagrama conmuta:
(Xj , j )
fj
(Y,
)
@
ij
`
Xj , )
Adems se tiene que f (x, j) = fj (x) para cada x
Xj
La demostracin puede verse en [2].

Definicin 1.32. Si {fj : (Xj , j ) (Yj , j )}jA es una familia de funciones continuas, la funcin coproducto de {fj }jA , que denotaremos por
`
jA fj , es la nica funcin continua que hace conmutativo el diagrama:
fj
(Xj , j )
ij
`
Xj , )
donde kj es la inclusin de Yj en
(Yj , j )
kj
jA fj
`
( Yj , )
Yj .
Definicin 1.33. Una clase de funciones {fj : (X, X ) (Yj , Yi )}jA es

una fuente de funciones si X es la mnima topologa en X que hace
para cada j A, la funcin fj : (X, X ) (Yj , Yi ) continua.
Definicin 1.34. Una fuente de funciones {fj : (Xj , j ) (Yj , j )}jA es
monofuente si para cualesquiera dos funciones 1 , 2 : Z X tales que
fj 1 = fj 2 para cada j A se tiene que 1 = 2 .
Definicin 1.35. Sean (X, X ) y (Y, Y ) espacios topolgicos. Definimos
C(X, Y ) como el conjunto de funciones continuas de (X, X ) a (Y, Y ). Para
A X y B Y definimos (A, B) C(X, Y ) de la siguiente forma
(A, B) = {f C(X, Y )|f (A) B}
10
Preliminares
A la topologa en C(X, Y ) que tiene por sub-base a
{(A, B)|A X es compacto y B Y es abierto } .
le llamaremos topologa compacto abierta.

Definicin 1.36. Sean Y un espacio topolgico e y0 Y . Definimos el
espacio topolgico P (Y, y0 ) por
P (Y, y0 ) = (C((I, 0), (Y, y0 )), K) (C(I, Y ), K)
donde C((I, 0), (Y, y0 )) = {f C(I, Y )| f (0) = y0 } y K es la topologa
compacto abierta. Definimos la funcin : P (Y, y0 ) Y de forma que (f ) =
f (1) para cada f P (Y, y0 ).
Observacin 1.37. La funcin es continua pues; para cada U Y , abierto, tenemos que 1 (U ) = ({1} , U ) es un abierto en P (Y, y0 ).
Definicin 1.38. Si X y Y son espacios topolgicos, la funcin evaluacin
es la funcin % : C(X, Y ) X Y tal que %(f, x) = f (x) para cada (f, x)
C(X, Y ) X
Lema 1.39. Si X es un espacio topolgico localmente compacto y regular
entonces % : C(X, Y ) X Y es continua
Demostracin. Demostracin en [2].
Definicin 1.40. Sean X y Y conjuntos, F (X, Y ) denotar el conjunto de
funciones de X a Y .
Para X, Y , Z conjuntos, definiremos la funcin : F (X Z, Y )
F (Z, F (X, Y )) de forma que para cada f F (X Z, Y ):
(f ) : Z F (X, Y )
z 7 (f )(z) : X Y
x 7 f (x, z)
Lema 1.41. Si X, Y , Z son espacios topolgicos y Z es Hausdorff o regular,
entonces
: (C(X Z, Y ), K) (C(Z, C(X, Y )), K)
es continua.
11
Demostracin. Demostracin en [2].

Definicin 1.42. Sea {Xj }jJ una familia de conjuntos. El conjunto
(
Y
jJ
Xj =
x:J
)
[
Xj |x(j) Xj para cada j J
jJ
Q
se llama el producto cartesiano de {Xj }jJ . Si x jJ Xj entonces para
toda j J, x(j)
Q se llama la j-sima coordenada de x. Para toda jQ J, la
funcin Xj :
Xj Xj tal que Xj (x) =Q
x(j) para toda x
Xj , se
llama la j-sima proyeccin del producto jJ Xj .
Definicin 1.43. Sea L = {(Xj , j )}jJ es una familia
de espacios topolQ
gicos. consideremos la fuente de funciones {Xj : jJ Xj (Xj , j )}jJ y

Q
sea la topologa inicial
de jJ Xj respecto a (Xj , j ) . Designamos el
Q
espacio topolgico ( jJ Xj , ) como el producto topolgico de L.
12
Preliminares
Captulo 2
Espacios cubrientes
2.1.
Funciones cubrientes
Iniciaremos este captulo con las definiciones de funcin cubriente y espacio cubriente, en seguida veremos que una funcin cubriente es sobreyectiva
y abierta, que hereda las propiedades locales de su espacio codominio, que la
restriccin a abiertos en el dominio resulta ser una funcin cubriente y que
el producto de espacios cubrientes resulta ser un espacio cubriente. Tomaremos los subconjuntos de un espacio, salvo que se diga lo contrario, con la
topologa de subespacio.
espacios topolgicos, p : X
X funcin conDefinicin 2.1. Sean X, X
tinua. Entonces un subconjunto abierto U de X es un abierto cubierto
uniformemente por p si: p1 (U ) es unin disjunta de conjuntos Si abiertos
llamados hojas o p-hojas sobre U, con p|S : Si U un homeode X,
i
morfismo para cada i.
Definicin 2.2. Si X es un espacio topolgico, entonces un par ordenado
p) es un espacio cubriente de X si:
(X,
es un espacio topolgico conexo por caminos;
i) X
X es una funcin continua;
ii) p : X
iii) Para cada x X existe una vecindad abierta Ux de x que es cubierta
uniformemente por p.
13
14
Espacios cubrientes
La funcin p de la Definicin 2.2 es llamada proyeccin cubriente y un

conjunto abierto cubierto uniformemente por p es llamado p-admisible o admisible.
Definicin 2.3. Una funcin continua y sobreyectiva f : X Y es una
identificacin si un subconjunto U de Y es abierto en Y si y slo si f 1 (U )
es abierto en X. Es decir, la topologa de Y es la topologa final del pozo
{f : X Y }.
Observacin 2.4. Es conocido el resultado: Si f : X Y es una funcin
continua, sobreyectiva y abierta o cerrada, entonces f es una identificacin.
La demostracin de este resultado se encuentra en [5].
p) un espacio cubriente de X. Entonces p es una funcin
Lema 2.5. Sea (X,
sobreyectiva y abierta. As p, es una identificacin y adems, X es conexo
por caminos.
Demostracin. Sea x X. Existe una vecindad abierta Ux cubiertaSuniformemente por p, tal que x Ux = p(p1 (Ux )) ya que p1 (Ux ) =
S iJ Si ,
1
donde
{S
}
es
la
familia
de
hojas
sobre
U
,
as
p(p
(U
))
=
p(
i iJ
x
x
iJ Si ) =
S
iJ p(Si ) = Ux . De donde x Im p, as p es sobreyectiva. Sea V un conjun y sea x p(V ), existe U vecindad abierta de x admisible, sea
to abierto en X
1
x p (x)V y U la nica hoja sobre U que contiene a x. Entonces U V es
un abierto en U que contiene a x, como p|U es un homeomorfismo, p(U V )
es un abierto en U y por tanto abierto en X, adems x p(U V ) p(V ),
de donde p(V ) es abierto en X. Adems, X es conexo por caminos, ya que
que es conexo por caminos.
es la imagen continua de X,
Ejemplo 2.6. Sea X un espacio conexo por caminos. Entonces (X, IX ) es
un espacio cubriente de X.
Ejemplo 2.7. La funcin exp : R S1 definida por:
exp(x) = (cos(2x), sen(2x)), x R
es una proyeccin cubriente, es decir (R, exp) es un espacio cubriente de S1 .
Observacin 2.8. Una proyeccin cubriente no necesariamente es una funcin cerrada. El conjunto A = {n + n1 |n N, n > 2} es un conjunto cerrado
en R pero la imagen de este conjunto bajo la proyeccin cubriente exp no es
un conjunto cerrado en S1 ya que el punto (1, 0) es un punto de acumulacin
de la imagen de A que no pertenece a A.
2.1 Funciones cubrientes
15
Definicin 2.9. Sea f : X Y una funcin y sea y Y . Entonces llamaremos a f 1 (y) la fibra de f sobre y.
p) un espacio cubriente de X y x0 X. Entonces
Lema 2.10. Sean (X,
p1 (x0 ) es un subespacio discreto de X.

Demostracin. Sean x p1 (x0 ), U una vecindad abierta de x0 admisible y
U la nica hoja sobre U que contiene a x, se tiene que p1 (x0 ) U = {
x},
por tanto p1 (x0 ) es un subespacio discreto de X.
con U abierto en X,
p) un espacio cubriente de
Lema 2.11. Sean X un espacio Hausdorff y (X,
es Hausdorff.
X. Entonces X
denotemos x = p(
Demostracin. Sean x, y dos puntos distintos en X,
x)
y y = p(
y ), sean U una vecindad abierta de x admisible y supongamos que
x = y. Si U1 y U2 son las hojas sobre U que contienen a x y y respectivamente,
se tiene que U1 6= U2 ya que de lo contrario p|U1 no sera inyectiva, as U1
no intersecta a U2 . Por otro lado, si x 6= y, sean Ax , Ay abiertos disjuntos
en X que contienen a x y y respectivamente, W una vecindad abierta de y
la hoja sobre W que contiene a y; tenemos que p|1 (U Ax ) y
admisible y W
U
1
p|W (W Ay ) son abiertos ajenos en X que contienen a x y y respectivamente,

donde U es la hoja sobre U que contiene a x.
Observacin 2.12. Con la misma estrategia usada en la demostracin del
p) es un espacio cubriente de X y
Lema 2.11 podemos demostrar que si (X,
si X es un espacio localmente compacto o localmente conexo por caminos o
es un espacio localmente comel espacio X es una n-variedad 1 , entonces X
pacto o localmente conexo por caminos o una n-variedad, de hecho cualquier
propiedad local de X es heredada a X.

X una funcin continua y sea U un conjunto
Lema 2.13. Sea p : X
abierto en X cubierto uniformemente por p. Si V es un subconjunto abierto
de U , entonces V es cubierto uniformemente por p.
Demostracin. Sea {Si }iJ la familia de hojas sobre U , tomemos la familia
{Wi = p|1
Si (V )}iJ , cada Wi es un abierto en X pues es abierto en la respectiva hoja Si , es claro que para cualesquiera dos elementos distintos de la
familia {Wi = p|1
Si (V )}iJ son ajenos. Adems se tiene que:
1
Un espacio topolgico Hausdorff X es una n-variedad si cada punto en X tiene una
vecindad homeomorfa a Rn
16
Espacios cubrientes
p1 (V ) = p1 (V U ) = p1 (V )
Si
iJ
p1 (V ) Si =
iJ
p|1
Si (V ) =
iJ
Wi
iJ
Es claro que p|Wi es continua y biyectiva, veamos que es tambin abierta.

Sea A un abierto en Wi , ya que Wi es abierto en Si tenemos que A es abierto
en Si , por tanto p|Wi (A) = p|Si (A) es un abierto en U, adems p|Wi (A) =
p|Wi (A) V , de donde p|Wi es abierta.
i , pi ) es un espacio cubriente de Xi para i=1,2. Entonces
Lema 2.14. Si (X
(X1 X2 , p1 p2 ) es un espacio cubriente de X1 X2 .
Demostracin. Como X1 y X2 son conexos por caminos tenemos que X1
X2 es conexo por caminos, es claro que p1 p2 es una funcin continua
1 X
2 X1 X2 est definida por p1 p2 (x1 , x2 ) =
donde p1 p2 : X
(p1 (x1 ), p2 (x2 )) para cada (x1 , x2 ) (X1 X2 ) . Sean (x1 , x2 ) (X1 X2 ),
Ui una vecindad abierta pi -admisible de xi para i = 1, 2; {Sj1 }jJ las P1 hojas
sobre U1 , {Sk2 }kM las P2 hojas sobre U2 . Entonces tenemos que:
S
i. (p1 p2 )1 (U1 U2 ) = (j,k)JM Sj1 Sk2 ;
ii. Los elementos de la familia {Sj1 Sk2 }(j,k)JM son disjuntos dos a dos;
iii. p1 p2 |Sj1 Sk2 es homeomorfismo para cada par (j, k) J M .
As U1 U2 es cubierto uniformemente por p1 p2 .
Ejemplo 2.15. Por el Lema 2.14 y el Ejemplo 2.6 tenemos que (RS 1 , exp
IS1 ) es un espacio cubriente de S1 S1 .
Lema 2.16. Consideremos el siguiente diagrama conmutativo
/Y

/Y
2.1 Funciones cubrientes
17
p) es un espacio cubriente de X.
en el cual y son homeomorfismos y (X,
Entonces (Y , q) es un espacio cubriente de Y .
y
Demostracin. Y es conexo por trayectorias por ser imagen continua de X,
1
q es continua, pues q = p . Resta ver que para cada punto de Y existe
una vecindad abierta q-admisible de l. Sean y Y , U una vecindad abierta
p-admisible de x = 1 (y), Vi las p-hojas sobre U , tomemos Si = (Vi ), as
pues tenemos que:
i. q 1 ((U )) = (p 1 )1 ((U )) = (p1 (U )) =
Si , ya que
p 1 = q 1 = q, (p 1 )1 = q 1 y (p 1 )1 = p1 1 .
ii. Si i 6= j, entonces Si Sj = ;
iii. q|Si = p 1 |Sj = |U p|Vi 1 |Si es homeomorfismo.
De donde (U ) es un abierto que contiene a y y es cubierto uniformemente
por q.
Lema 2.17. Sean G un grupo topolgico y sea H un subgrupo normal de
G. Supongamos adems que : G G/H es la proyeccin natural en G y
su grupo cociente G/H. Si G/H tiene la topologa final de { : G G/H}
entonces G/H es grupo topolgico y es abierta.
Demostracin. Sea G/H el grupo cociente y : G G/H la proyeccin
natural. Sea A un abierto en G, entonces (A) = {Ha|a A}, as:
[
[
hA
Ha =
1 ((A)) =
aA
hH
Tenemos que para cada h, el conjunto hA es abierto en G pues para cada

h la funcin fh : G G definida por f (g) = hg para cada g G es un
homeomorfismo de G en G, as tenemos que 1 ((A)) es un abierto en G y
por tanto, (A) es abierto en el espacio cociente G/H de donde es abierta.
Sean (aH, bH) un elemento de G/H G/H y U un abierto en G/H que
contiene a abH, entonces como ab 1 (U ) existen abiertos A1 y A2 en G que
contienen a a y b respectivamente tales que A1 A2 2 1 (U ), as (A1 A2 ) =
2
Si A1 , A2 G, A1 A2 := {ab| a A1 , b A2 }
18
Espacios cubrientes
(A1 )(A2 ) U . Adems como es abierta y A1 , A2 son abiertos tenemos

que (A1 ) (A2 ) es un abierto en G/H G/H que contiene a (aH, bH),
de donde la funcin producto de G/H es contina. Sean aH G/H y W un
abierto en G/H que contiene a a1 H, existe un abierto A en G que contiene
a a tal que A1 = {x1 |x A} 1 (W ), como (A) y (A1 ) son abiertos
en G/H, aH (A) y (A1 ) = ((A))1 = {Ha1 |a A} W tenemos
que la funcin de tomar inversos en G/H es continua, as G/H es un grupo
topolgico.
Teorema 2.18. Sean G un grupo topolgico conexo por caminos, H un subgrupo normal discreto de G y : G G/H la proyeccin natural. Entonces
(G, ) es un espacio cubriente de G/H.
Demostracin. Denotemos por e al elemento neutro de G, como H es subespacio discreto de G existe un abierto W en G tal que {e} = W H, notar que la funcin : G G G definida por (a, b) = ab1 para cada
(a, b) G G es continua, de donde existe una vecindad abierta V de e tal
que (V V ) W , tomemos U = (V ), U es abierto ya que por el lema
2.17 tenemos que es una funcin abierta, H = (e) U y U es cubierto
uniformemente por pues tenemos que:
[
hV
1 (U ) = 1 ((V )) =
hH
ya que
w 1 (U ) Hw U Hw = Hv para algn v V
[
hV
w = hv para algunos v V, h H w
hH
con cada hV abierto en G. Sean h y k dos elementos distintos de H, supongamos que hV kV 6= , as existen u, w V tales que hu = kw de donde
h1 k = uw1 (V V ) W , por otro lado como H es subgrupo h1 k H,
por lo tanto h1 k = e, pues W H = {e}, lo cual es una contradiccin. Por
ultimo veamos que para cada h H, |hV es un homeomorfismo, es claro que
|hV es continua y abierta por ser la restriccin de a un abierto, adems
es sobreyectiva, ya que h est en el ncleo de se tiene que
(hV ) = (h)(V ) = (V ) = U.
2.2 Teoremas de levantamientos
19
|hV es inyectiva pues para u, w V , si (hw) = (hu), entonces Hv = Hw

de donde vw1 H W , as vw1 = e y v = w. Por tanto tenemos que U
es cubierto uniformemente por . De esta forma x G/H tenemos que para
cada xU es una vecindad abierta admisible de x.
Observacin 2.19. Similarmente: Si tenemos un grupo topolgico conexo
por caminos G, H un subgrupo normal de G y (G, p) un espacio cubriente
de G/H. Entonces tenemos que H es la fibra de p sobre el elemento neutro
en G/H y, por el Lema 2.10, H es discreto.
2.2.
Teoremas de levantamientos
Con los resultados de la seccin 2.1 podremos demostrar el Teorema de

levantamiento de caminos y el Teorema de levantamiento de homotopas,
gracias a estos dos teoremas ser sencillo ver la relacin de las funciones
cubrientes con el grupo fundamental mediante las clases de los levantamientos de caminos, definiremos lo que es una actuacin de un grupo sobre un
conjunto y veremos que el grupo fundamental del espacio codominio de una
funcion cubriente, acta sobre las fibras (preimgenes de un elemento del
dominio) de la funcin cubriente, con el uso de rbitas, estabilizadores y grupos cociente podremos definir la multiplicidad de una funcin cubriente y
hacer una caracterizacin de una clase de conjugacin especial en el grupo
fundamental.
Para los siguientes resultados necesitamos trabajar con espacios topolgicos punteados, es decir, espacios topolgicos que tienen un punto base
distinguido, esto es, un espacio topolgico punteado es un par (X, x0 ) con X
espacio topolgico y x0 X. Sea f : Y X una funcin, y0 Y . Entonces
la notacin f : (Y, y0 ) (X, x0 ) indicar que f (y0 ) = x0 .
p) un espacio cubriente de X, Y un espacio conexo y
Lema 2.20. Sean (X,
f : (Y, y0 ) (X, x0 ) una funcin continua. Dado x0 en la fibra de p sobre
x0 ) con p f = f .
x0 , existe a lo ms una funcin continua f : (Y, y0 ) (X,
x0 ) son funciones conDemostracin. Supongamos que f, g : (Y, y0 ) (X,
tinuas tales que p f = f y p g = f , sean A = {y Y |f(y) = g(y)} y
B = Y \A, veamos que tanto A como B son conjuntos abiertos. Si a A,
existe U vecindad abierta p-admisible de f (a), sea S la hoja de U que contiene a f(a), es claro que W = f1 (S) g1 (S) es un abierto en Y que contiene
20
Espacios cubrientes
a a. De hecho W A, en efecto, sea w W tenemos que tanto f(w) como

g(w) son elementos de S, adems p f(w) = p g(w) y ya que p|S es biyectiva
se tiene que f(w) = g(w), de donde w A, as A es abierto.
Sea b B, existe V vecindad abierta p-admisible de f (b), si f(b) y g(b)
pertenecen a una misma hoja sobre V tenemos que f(b) = g(b) por la inyectividad de p|V . As que f(b) y g(b) pertenecen a hojas ajenas S y S 0 sobre V ,
sea W = f1 (S) g1 (S 0 ), tenemos que W es un abierto en Y que contiene a
b, adems W B, pues para cada w W se tiene que f(w) S y g(w) S 0 ,
as que son elementos de hojas ajenas sobre V ,por tanto f(w) 6= g(w), es decir w B, de donde B es abierto. As, por la conexidad de Y , tenemos que
B = pues y0 A, con lo cual f = g.
p) un espacio cubriente de X, f : (Y, y0 )
Definicin 2.21. Sean (X,
(X, x0 ) una funcin continua. Un levantamiento de f es una funcin con tal que p f = f .
tinua f : Y X
p) un espacio cubriente de X y sea f : (I, 0)
Teorema 2.22. Sea (X,
(X, x0 ) un camino. Si x0 es un elemento de la fibra de p sobre x0 , entonces
x0 ) con p f = f .
existe una nica funcin continua f : (I, 0) (X,
Demostracin. Para cada a I, denotemos x = f (a), existe Ux vecindad
abierta p-admisible de x. Por la continuidad de f existe [a, b] I tal que
f ([a.b]) Ux , si x0 P 1 (x) tomemos S la hoja sobre Ux que contiene a x0
y sea
ga = p|1
S f |[a,b]
x0 ) es una funcin tal que:
tenemos que ga : ([a, b], a) (X,
i ga (a) = x0 ;
ii ga es continua;
iii p ga = f |[a,b] .
Sean t I y Ut una vecindad abierta p-admisible de f (t), ya que I es un
espacio mtrico completo compacto existe > 0 nmero de Lebesgue 3 del
recubrimiento {f 1 (Ut )|t I}. Sea {t1 , . . . , tm } I con m N una particin
3
Todo espacio mtrico compacto X tiene la propiedad del nmero de Lebesgue, esto es:
para toda cubierta abierta U = {Uj }jJ de X existe > 0, llamado nmero de Lebesgue
del recubrimiento U, tal que para cada x X, la bola abierta de centro x y radio est
contenida en alguno de los abiertos de la cubierta U.
21
de I tal que ti+1 ti < y t1 = 0. Sea x0 p1 (x0 ) por la primera parte de la

x0 ) funcin continua tal que
demostracin existe gt1 : ([t1 = 0, t2 ], t1 ) (X,
p gt1 = f |[t1 ,t2 ] . Similarmente existe una funcin continua gt2 : ([t2 , t3 ], t2 )
g1 (t2 )) tal que p gt2 = f |[t ,t ] pues gt1 (t2 ) p1 (f (t2 )). En general
(X,
2 3
existen funciones continuas
gt (ti+1 ))
gti+1 : ([ti+1 , ti+2 ], ti+1 ) (X,
i
tales que p gi+1 = f |[ti+1 ,ti+2 ] . As por el Lema 1.13 (de pegado) existe una
tal que f|[t ,t ] = gi+1 . Adems p f = f
nica funcin continua f : I X
i i+1
x0 ) es una funcin continua

y f (0) = gt1 (0) = x0 de donde f : (I, 0) (X,
con p f = f . La nicidad de la funcin f se sigue del Lema 2.20.
Recordar que si X e Y son espacios topolgicos y x0 X, entonces

Cx0 : Y X es la funcin constante en x0 , esto es Cx0 (y) = x0 para cada
y Y.
p) un espacio cubriente de X y Y un espacio toTeorema 2.23. Sean (X,
polgico. Consideremos el diagrama conmutativo de funciones continuas
f
X
p
h0
Y I
donde h0 (y) = (y, 0) para cada y Y , entonces existe una funcin continua
F : Y I X tal que hace conmutar el diagrama
f
=X
h0
Y I
Ms an si Y es conexo, entonces F es nica.
22
Espacios cubrientes
Demostracin. Veamos que es suficiente trabajar localmente. Supongamos

que para cada y Y existe Ny vecindad abierta de y tal que existe Fy :
funcin continua que hace conmutar el diagrama
Ny I : X
f |N y
Ny
/X
=
Fy
h0
Ny I
F |Ny I

/X
Sea y 0 Ny Nz tenemos que los siguientes diagramas son conmutativos
<X
Fy |{y0 }I
{y 0 } I
F |{y0 }I
<X
Fz |{y0 }I
{y 0 } I
F |{y0 }I
pues para cada t I, pFy (y 0 , t) = F |Ny I (y 0 , t) = F |Nz I (y 0 , t) = pFz (y 0 , t).

Adems Fy (y 0 , 0) = f |Ny (y 0 ) = f |Nz (y 0 ) = Fz (y 0 , 0), por el lema 2.20 tenemos
que Fy |{y0 }I = Fz |{y0 }I , de donde Fy (y 0 , t) = Fz (y 0 , t) para cada t I. Esto
es
(y 0 , t) (Ny I) (Nz I), Fy (y 0 , t) = Fz (y 0 , t).
()
Si tomamos {Ny I|y Y }, que es cubierta abierta de Y I, por () y

usando el Lema 1.13 (de pegado) tenemos que existe F : Y I X funcin
continua tal que F |Ny I = Fy . Por las propiedades de F en cada Ny se
tiene que p F = F y F h0 = f .
Construiremos las vecindades Ny y las funcines Fy .
Sea y Y para cada t I, tomemos Ut vecindad abierta admisible de
f (y, t), como F es continua, existen It y Mt vecindades abiertas de t y y
respectivamente tales que F (Mt It ) Ut . Tenemos que {It |t I} es una
cubierta abierta
es compacto existen t1 , . . . , tn I con n N
S de I, como I T
tal que I i Iti . Sea Ny = i Mti , Ny es vecindad abierta de y, tenemos
23
que existe {l0 , . . . ..., lm } particin de I tal que para cada j = 1, m se tiene
que [lj1 , lj ] Iti para algn i {1, . . . , n}, de donde
F (Ny [lj1 , lj ]) F (Mtj Itj Utj ) ()
Para la construccin de las funciones Fy basta con construir para cada
tal que:
j {1, . . . , m} una funcin continua Gj : Ny [lj1 , lj ] X
i. p Gj = F |Ny [lj1 ,lj ] ;
ii. Gj (y 0 , 0) = f (y 0 );
iii. Gj1 (y 0 , lj1 ) = Gj (y 0 , lj1 ) para cada y 0 Ny .
Sea {Vk }kA una familia de p-hojas sobre un abierto p admisible U tal
que F (Ny [lj1 , lj ]) U , (siempre existe una por ()). Tenemos que la
familia {Wk = f 1 (Vk )|k A} es una cubierta abierta de Ny pues para cada
x Ny , p f (x) = F (x, 0) U , esto es, f (x) p1 (U ), con lo cual existe
j A tal que f (x) Vj y as x f 1 (Vj ), adems cada dos elementos
distintos de la cubierta son ajenos. Definamos a Gj en cada elemento de la
cubierta {Wk [lj1 , lj ]}kA por
Gj |Wk [lj1 ,lj ] = p1 |Vk F |Wk [lj1 ,lj ]
es una funcin continua que cumple i.
as se tiene que Gj : Ny [lj1 , lj ] X
por las propiedades de GJ en cada abierto de la forma Wk [lj1 , lj ], cumple
ii. pues para y 0 Ny se tiene que
Gj (y 0 , 0) = p1 |Vk (F (y 0 , 0)) = p1 (pf (y 0 )) = f (y 0 )
y tiene la propiedad iii. pues para cada y 0 Ny se tiene que
Gj1 (y 0 , lj1 ) = p1 |Vk F |Wk [lj2 ,lj1 ] (y 0 , lj1 ) =
p1 |Vk F |Wk [lj1 ,lj ] (y 0 , lj1 ) = Gj1 (y 0 , lj1 ).
Con lo que hemos obtenido las vecindades Ny y funciones Fy deseadas.
Si Y es conexo se tiene que Y I es conexo y la unicidad de F se sigue
del Lema 2.20.
24
Espacios cubrientes
p) un espacio cubriente de X, x0 , x1 X, f, g :
Corolario 2.24. Sean (X,
I X caminos de x0 a x1 y x0 p1 (x0 ). Si F : II X es una homotopa
entonces existe una nica funcin continua F :
relativa F : f ' g rel I,
tal que p F = F y F (0, 0) = x0 . An ms, si f y g son los
II X
levantamientos de f y g respectivamente, con f(0) = x0 = g(0), entonces
f(1) = g(1) y F : f ' g rel I.

Demostracin. Sea f el nico levantamiento de f con f(0) = x0 , que existe
por el Teorema 2.22. Por el Teorema 2.23 existe una nica funcin continua
F : Y I X tal que hace conmutar el diagrama
f
=X
h0
I I
de donde F (0, 0) = F (h0 (0)) = f(0) = x0 . En particular, F (t, 0) = f(t).

de x0 a F (0, 1) que hace conmutativo
Como F |{0}I es un camino en X
el diagrama
?X
F |{0}I
Cx0
donde Cx0 es el camino constante en x0 , tenemos que F |{0}I = Cx0 pues Cx0
es el nico levantamiento de Cx0 , de donde F (0, t) = x0 para cada t I, (ver
Definicin 1.21).
por F1 (t) = F (t, 1) para cada t I,
Similarmente definamos F1 : I X
tenemos que pF1 (t) = pF (t, 1) = F (t, 1) = g(t) y F1 (0) = F1 (0, 1) = x0 de
donde por el Teorema 2.22, F1 = g. Adems tenemos que F |{1}I = Cf(1)
pues Cf(1) es el nico levantamiento de Cx1 , as F (1, t) = f(1) para cada
t I, por tanto g(1) = F (1, 1) = f(1). De donde F : f ' g rel I.
25
p) es un espacio cubriente de X, entonces para todo

Teorema 2.25. Si (X,
x X y para todo x elemento de la fibra de p sobre x
x) 1 (X, x)
p : 1 (X,
es una funcin inyectiva. Esto es, p es un monomorfismo de grupos.
un camino cerrado en X
con inicio
Demostracin. Sean x X y f : I X
en x. Supongamos que p [f ] = [Cx ], tenemos que existe F : I I X funcin

continua tal que F : p f ' Cx rel I y por el Corolario 2.24 tenemos que
existe una nica funcion continua F : I I X tal que F : f ' C x rel I,

as [f] = [Cx ] y ya que p es un homomorfismo de grupos tenemos que p es
inyectiva.
Definicin 2.26 (Actuacin, actuacin transitiva). Si G es un grupo
con elemento neutro e, y Y un conjunto. Entonces G acta sobre Y si existe
una funcin de G Y a G denotada por (g, y) 7 gy, tal que:
1. y Y , g, g 0 G, (gg 0 ) y = g (g 0 y).
2. y Y , ey = y.
Si G acta sobre Y llamaremos a Y un G-conjunto. Si G acta sobre
Y diremos que G acta transitivamente sobre Y si dados y, y 0 Y existe
g G tal que gy = y 0 y diremos que Y es un G-conjunto transitivo.
Observacin 2.27. Sea G un grupo que acta sobre Y , para cada g G
la funcin g : Y Y definida por g(y) = gy para cada y Y es una
permutacin con inversa g 1 : Y Y , definida por g 1 (y) = g 1 y para cada
y Y.
Definicin 2.28. Sea G un grupo, Y un G-conjunto e y Y . La rbita de
y se define por
o(y) = {gy Y |g G} .
El estabilizador o grupo de isotropa de y se define por
Gy = {g G|gy = y} .
El conjunto de las clases laterales izquierdas de Gy es el conjunto
{gGy |g G}, el cual denotaremos por G/Gy .
26
Espacios cubrientes
Observacin 2.29. Para cada y Y con Y un G-conjunto, tenemos que

Gy es subgrupo de G, adems G acta transitivamente sobre Y si y slo si
o(y) = Y para algn y Y .
Lema 2.30. Si G es un grupo que acta sobre Y entonces |o(y)| = [G : Gy ]
para cada y Y .
Demostracin. Sea y Y la funcin : o(y) G/Gy definida por (gy) =
gGy para cada gy o(y) es una funcin biyectiva entre la orbita de y y las
clases izquierdas de Gy .
p) un espacio cubriente de X, x0 X e Y la
Teorema 2.31. Sean (X,
fibra de p sobre x0 . Entonces la funcin de 1 (X, x0 ) Y a Y definida por
[f ]
x = f(1), donde f es el nico levantamiento de f con f(0) = x, es una
actuacun con la cual:
(a) 1 (X, x0 ) acta transitivamente sobre Y .
x0 ).
(b) Si x0 Y , entonces el estabilizador de x0 es P 1 (X,
x0 )].
(c) |Y | = [1 (X, x0 ) : p 1 (X,
Demostracin. Sea x Y y [f ] 1 (X, x0 ), por el Corolario 2.24 la definicin de [f ]
x no depende del representante de [f ], adems p[f ]
x = p f(1) =
f (1) = x0 , esto es [f ]
x Y . Veamos que con esta funcin Y es un 1 (X, x0 )conjunto. Para todo x Y se tiene que [Cx0 ]
x = x pues Cx es un levantamiento de Cx0 con Cx (0) = x. Sean [g], [f ] 1 (X, x0 ), tomemos f el
levantamiento de f con f(0) = x y g el levantamiento de g con g(0) = f(1),
tenemos que los diagramas
f(1))
(X,
x)
(X,
<
(I,0)
(X, x0 )
(I, 0)
(X, x0 )
27
x)
(X,
<
f
g
(I,0)
f g
(X, x0 )
son conmutativos, de donde [g]([f ]

x) = [g]f(1) = g(1) = f g(1) = [f g]
x.
Por tanto Y es un 1 (X, x0 )-conjunto.
de x0 a x, pues
(a): Sea x0 Y , para cada x Y existe camino en X
es conexo por caminos, tenemos que p es un camino en X de x0 a x0 ,
X
notar que es el levantamiento de p con (0) = x0 , as [p ] = (1) = x.
Esto es 1 (X, x0 ) acta transitivamente sobre Y .
(b): Sean x0 Y , f un camino cerrado en X con base en x0 y f el
levantamiento de f con f(0) = x0 . Si [f ] 1 (X, x0 )x0 , tenemos que x0 =
x0 ), as [f ] = [p f] p 1 (X,
x0 ),
[f ]
x0 = f(1) de donde [f] 1 (X,
por tanto 1 (X, x0 )x0 p 1 (X, x0 ). Sea [p g] 1 (X, x0 ), tenemos que

x0 ) 1 (X, x0 )x0 .
[p g]
x0 = g(1) = x0 , de donde p 1 (X,
(c): Se sigue de (a), (b) y el Lema 2.30.
p) un espacio cubriente de X, sean x0 , x1 X. Si
Y0 y Y1 son las fibras sobre x0 y x1 respectivamente, entonces |Y0 | = |Y1 |.
camino en X
de x0 a x1 , sea
Demostracin. Sean x0 Y0 y x1 Y1 , existe
es un camino de x0 a x1 . Tenemos que el diagrama (ver Definicin
= p ,
1.24 y Lema 1.25)
x0 )
1 (X,
x1 )
1 (X,
1 (X, x0 )
1 (X, x1 )
x0 ) tenemos que:
es conmutativo pues para cada [
] 1 (X,
1
= [p(
1
=
p ([
]) = p ([
])
)]
28
Espacios cubrientes
[1 ] = ([p (
)]) = p ([
]).
As por el Lema 1.25 tenemos que tanto como son isomorfismos,

adems p es inyectiva, de esto se sigue que induce una biyeccin entre
x0 )] y [1 (X, x1 ) : p 1 (X,
x1 )], por (c) del Teorema
[1 (X, x0 ) : p 1 (X,
2.31 tenemos que
x0 )] = [1 (X, x0 ) : p 1 (X,
x0 )] = |Y1 |
|Y0 | = [1 (X, x0 ) : p 1 (X,
.
p) es la
Definicin 2.33. La multiplicidad de un espacio cubriente (X,
p)
cardinalidad de una fibra. Si la multiplicidad de un espacio cubriente (X,
p) es un espacio cubriente m-hojeado.
es m diremos que (X,
p) un espacio cubriente de X. Si x0 X y Y es la
Corolario 2.34. Sea (X,
fibra de p sobre x0 , entonces
x0 ) y p 1 (X,
x1 ) son subgrupos conjugaa) si x0 , x1 Y , entonces p 1 (X,
dos de 1 (X, x0 ).
b) Si H es un subgrupo de 1 (X, x0 ) tal que para algn x0 Y , H y
x0 ) son conjugados, entonces existe x1 Y tal que H = p 1 (X,
x1 )
p 1 (X,
es conexo por caminos existe
Demostracin. a) : Sean x0 , x1 Y , como X
camino de x0 a x1 . Si = p tenemos que (ver Definicin 1.25 y Lema

1.25)
x0 )) = (p 1 (X,
x0 )) = [1 ]p 1 (X,
x0 )[]
X
1 )) = p ( 1 (X,
p (1 (X,
con [] 1 (X, x0 ).
un
x0 ))[] para algn [] 1 (X, x0 ), sea
b) : Sea H = [1 ]p (1 (X,
Y y que el
levantamiento de tal que (0)
= x0 , tenemos que x1 = ()
diagrama
x0 )
1 (X,
())
/ 1 (X,
1 (X, x0 )
1 (X, ())
2.3 Transformaciones cubrientes
29
es conmutativo, de donde
x0 )) = p 1 (X,
x1 )
x0 )) = p ( 1 (X,
S = (p (X,
p) de X es un espacio cubrienDefinicin 2.35. Un espacio cubriente (X,

x0 ) es un subgrupo
te regular si para todo x0 X se tiene que p 1 (X,
normal de 1 (X, x0 ) para todo x0 elemento de la fibra de p sobre x0
Definicin 2.36. Un espacio topolgico X es un espacio simplemente
conexo si es conexo por caminos y 1 (X, x0 ) = [Cx0 ] para todo x0 X.
p) es un espacio cubriente regular de X y x0 X.
Observacin 2.37. Si (X,
x0 ) = p 1 (X,
x1 ) para cualesquiera x0 , x1 elementos de
Entonces p 1 (X,
la fibra de p sobre x0 . Si X es un espacio simplemente conexo entonces cada
p), de l es regular pues p 1 (X,
x0 ) = [Cx0 ].
espacio cubriente, (X,
2.3.
Transformaciones cubrientes
En esta seccin dado un espacio cubriente estudiaremos el grupo de transformaciones cubrientes, el cual es el grupo de homeomorfismos tales que la
composicin del homeomorfismo con la funcin cubriente resulta ser la funcin cubriente. Analizaremos la relacin entre el grupo de transformaciones
cubrientes con las fibras. Con la misma idea de factorizar una funcin cubriente mediante un homeomorfismo daremos la definicin de espacios cubrientes
equivalentes, y veremos que los espacios cubrientes equivalentes de un espacio
localmente conexo por caminos guardan una relacin con el comportamiento
de sus grupos fundamentales bajo el homomorfismo inducido.
Para un espacio localmente conexo por caminos, suponiendo la existencia
de un espacio cubriente universal de dicho espacio, con el uso del grupo de
automormismos veremos que el grupo fundamental puede expresarse sin la
necesidad de un punto base. Por lo anterior la ltima seccin de este captulo esta dedicada a resultados acerca de la existencia del espacio cubriente
universal de un espacio conexo y localmente conexo por caminos.
Teorema 2.38. Sean Y un espacio conexo y localmente conexo por caminos y
p) es un espacio cubriente
f : (Y, y0 ) (X, x0 ) una funcin continua. Si (X,
x0 ) tal
de X, entonces existe una nica funcin continua f : (Y, y0 ) (X,
que p f = f si y slo si
30
Espacios cubrientes
x0 ).
f 1 (Y, y0 ) p 1 (X,
Demostracin. Supongamos que existe una nica funcin continua f : (Y, y0 )
x0 ) tal que p f = f , tenemos que f = (p f) = p f y f 1 (Y, y0 )
(X,
x0 ), por lo tanto f 1 (Y, y0 ) p 1 (X,
x0 ).
1 (X,
x0 ). Ya que Y es conexo y localSupongamos que f 1 (Y, y0 ) p (X,
mente conexo por caminos tenemos que Y es conexo por caminos4 , sea y Y
y h un camino en Y de y0 a y, como f h es un camino de x0 = f (y0 ) a
levantamiento de f h con
f (y), por el Teorema 2.22 tenemos que existe ,
1 el
(0) = x0 , definamos f (y) = (1). Sea h1 un camino de y0 a y y sea
1 (0) = x0 , tenemos que h h1 es un camino
levantamiento de f h1 tal que
1
1
cerrado en Y , as f (h h1 ) es un camino cerrado en X, como
1
0 )
[(f h) (f h1
1 )] = f [h h1 ] p 1 (X, x
x0 ) tal que (f h) (f h1
tenemos que existe [

g ] 1 (X,
rel I,
1 ) ' pg
de donde
1 ) ' p (
1 ) relI
f h ' (f h) (f h1
) (p
g
1 ) (f h1 ) ' (p g
1 (1) =
1 (1). As tenemos
y as por el Corolario 2.24 tenemos que (1) = g
que f (y) no depende de la eleccin del camino de y0 a y.

Veamos que f es continua, sea y Y , x = f(y) y U1 una vecindad abierta
de x construyamos V vecindad de y con f(V ) U1 . Sea x = p(
x), U una
vecindad abierta de x admisible y S la hoja sobre U que contiene a x, podemos
asumir que U1 S. Como p es abierta el conjunto U1 = p(U1 ) es una vecindad
abierta en X de x con U1 p(S) = U , como f es continua f 1 (U1 ) es abierto
en Y , adems y f 1 (U1 ). Como Y es localmente conexo por trayectorias
existe V , vecindad abierta conexa por caminos tal que y V f 1 (U1 ).
levantamiento
Veremos que f(V ) U1 . Sea h un camino en Y de y0 a y,
de f h con (0)
= x0 ; si v V existe h2 camino en V de y a v, as tenemos
que f h2 (I) U1 , sea
el levantamiento de f h2 con
(0) = x. Como
1
U1 U y U es admisible tenemos que
(t) = (p|S ) (f h2 )(t) de donde
(1) U1 . Ahora (1)

= x =
(0) de donde
est definido. Como
p
p(
) = p
= f h f h2 = f (h h2 )
4
Si Y es un espacio conexo y localmente conexo por caminos, entonces Y es conexo por
caminos, este resultado puede verse en [2].
31
donde h h2 es un camino de y0 a v y
(0) = x0 tenemos que f(v) =
(1) =
(1) U1 .
Teorema 2.39. Sean X un espacio conexo y localmente conexo por caminos,
p) y (Y , q) espacios cubrientes de X, x0 X, x0 X,
y0 Y tales que
(X,
x0 ) entonces existe una nico
p(
x0 ) = x0 = q(
y0 ). Si q 1 (Y , y0 ) = p 1 (X,
x0 ) con p h = q.
homeomorfismo h : (Y , y0 ) (X,
y Y tambin
Demostracin. Como X es localmente conexo por caminos, X
son localmente conexos por caminos (y conexos por definicin de espacio
cubriente), as por el Teorema 3.38 tenemos que existe una nica funcin
x0 ) con p h = q, as mismo existe una nica funcin
h : (Y , y0 ) (X,
continua k : (X, x0 ) (Y , y0 ) con q k = p. Tenemos que los diagramas

x0 )
(X,
x0 )
(X,
;
hk
x0 )
(X,
IX
(X, x0 )
x0 )
(X,

/ (X, x0 )
son conmutativos, de donde por el Lema 2.20 h k = IX . De igual forma se

demuestra que k h = IY por tanto tenemos que h es un homeomorfismo con
inversa k.
p) y
Teorema 2.40. Sean X conexo y localmente conexo por caminos, (X,
(Y , q) espacios cubrientes de X, x0 X, x0 X y y0 Y con q(

y0 ) =
x0 = p(
x0 ). Si q 1 (Y , y0 ) p 1 (X, x0 ), entonces existe una nica funcin
x0 ) con p h = q. Ms an, (Y , h) es espacio
continua h : (Y , y0 ) (X,
cubriente de X.
Demostracin. Por el Teorema 2.38 existe una nica funcin continua h :
x0 ) con p h = q, basta probar que (Y , h) es un espacio
(Y , y0 ) (X,
cubriente de X.
Sean x X, x = p(
x), U1 una vecindad abierta padmisible de x, U2 una
vecindad abierta qadmisible de x. Tenemos que U1 U2 es una vecindad
abierta de x, como X es localmente conexo por caminos existe U vecindad
conexa por caminos y abierta de x tal que U U1 U2 , por el Lema 2.13
tenemos que U es cubierto uniformemente por p y q. Sean {Sj }jA la familia
32
Espacios cubrientes
de p-hojas sobre U y S la hoja sobre U con x S. Es suficiente probar que

S es cubierto uniformemente por h.
Sea {Tk |k B} la familia de q hojas sobre U tenemos que cada Tk es
conexo, pues cada Tk es homeomorfo a U que es conexo por caminos, as
tenemos que h(Tk ) es conexo, adems para cada k B se tiene que
p h(Tk ) = q(Tk ) = U
de donde h(Tk ) p1 (U ) = jA Sj , con lo cual tenemos que para cada
k B, h(Tk ) est contenido en S o bien no intersecta a S, de donde
h1 (S) =
Tk .
h(Tk )S
Finalmente tenemos que si h(Tk ) S, entonces el sigiente diagrama es

conmutativo
Tk
h|Tk
q|Tk

p1 |
por tanto h|Tk = p1 |S q|Tk es homeomorfismo pues tanto p1 |S como q|Tk

son homeomorfismos. As S es cubierto uniformemente por h.
Definicin 2.41. Sea X un espacio topolgico. Un espacio cubriente uni p) de X tal que X
es un espacio
versal de X es un espacio cubriente (X,
simplemente conexo.
Teorema 2.42. Sean X un espacio conexo y localmente conexo por caminos,
p) es un espacio cubriente universal
(Y , q) un espacio cubriente de X. Si (X,
Y que hace conmutar
de X, entonces existe una funcin continua h : X
el diagrama
33
/Y

es conexo por ser espacio cubriente de X, adems por la

Demostracin. X
es localmente conexo por caminos pues X
Observacin 2.12 tenemos que X
es localmente conexo por caminos. Usando el Teorema 2.38 tenemos que para
y y0 q 1 (p(
x0 )
cada x0 X
x0 )), existe una funcin continua h : (X,
(Y , y0 ) tal que p h = q.
Observacin 2.43. Un argumento estndar demuestra que s existe un espacio cubriente universal de X, ste es nico salvo isomorfismo, esto es si
p) y (Y , q) son espacios cubrientes universales de X, entonces existe un
(X,
Y tal que p = qh; el argumento es la aplicacin
homeomorfismo h : X
p) como a (Y , q) y
del Teorema 2.43 tanto al espacio cubriente universal (X,
verificar que las funciones continuas obtenidas de dicho teorema son inversa
una de la otra.
p) es un espacio cubriente. Una transformacin
Definicin 2.44. Si (X,
X
tal que p h = p, esto es, el
cubriente es un homeomorfismo h : X
siguiente diagrama es conmutativo
/
X
p
.
X

Denotaremos por Cov(X/X)

al conjunto de todas las transformacines
cubrientes de X.
p), espacio cubriente de X, tenemos que
Observacin 2.45. Para cada (X,
Cov(X/X)
es un grupo bajo la composicin de funciones.
34
Espacios cubrientes
Teorema 2.46. Sean X conexo y localmente conexo por caminos y x0 X.

p) de X es regular si y slo si Cov(X/X)
Un espacio cubriente (X,

acta
1
transitivamente sobre p (x0 ) mediante la funcin que asocia a cada (h, x)
Cov(X/X)
p1 (x0 ) con h(
x).
p) es regular, es
Demostracin. Supongamos que el espacio cubriente (X,
sencillo ver que la fibra sobre x0 es un Cov(X/X)-conjunto

con la actuacin
(h, x) h(
x). Sean x0 y x1 elementos de la fibra sobre x0 . Por la Obser x0 ) = p 1 (X,
x1 ) y as por el Teorema 2.39 existe un
vacin 2.37 p 1 (X,
x0 ) (X,
x1 ) con ph = p, de donde h Cov(X/X)
homeomorfismo h : (X,
y h(
x0 ) = x1 .
Supongamos que Cov(X/X)

acta transitivamente sobre p1 (x0 ). Sean
1
x0 , x1 p (x0 ) existe h Cov(X/X)

tal que h(
x0 ) = x1 , ya que h es
x1 ). Adems como p = ph tenemos

homeomorfismo h 1 (X, x0 ) = 1 (X,
que p = p h de donde
x0 ) = p h 1 (X,
x0 ) = p 1 (X,
x1 )
p 1 (X,
Sea [g] 1 (X, x0 ). Por la parte (b) el Corolario 2.34 tenemos que existe
x0 )[g 1 ] = p 1 (X,
x1 ) = p 1 (X,
x0 ). As,
x1 p1 (x0 ) tal que [g]p 1 (X,
p 1 (X, x0 ) es subgrupo normal de 1 (X, x0 ).

p) un espacio cubriente de X
a) Si h Cov(X/X)
y h no es la funcin identidad en X, entonces h no
tiene puntos fijos.
tal que h1 (
b) Si h1 , h2 Cov(X/X)
son tales que existe x X
x) = h2 (
x),
entonces h1 = h2 .
tal que h(
Demostracin. (a): Supongamos que existe x X
x) = x. Sea
x = p(
x). Por el Lema 2.20 tenemos que existe a lo ms una funcin f que
hace conmutativo el diagrama
/
x)
(X,
(X, x)
x)
(X,
35
Ya que tanto h como IX hacen conmutar dicho diagrama tenemos que

h = IX lo cual es una contradiccin.
(b): Como h1 , h2 Cov(X/X)

tenemos que h1
1 h2 Cov(X/X), adems
1
1
h1 h2 (
x) = x, por la parte anterior tenemos que h1 h2 = IX , por tanto
h1 = h2 .
p) y (Y , q) de X son espacios
Definicin 2.48. Dos espacios cubrientes (X,
tal que
cubrientes equivalentes si existe un homeomorfismo h : Y X
p h = q.
Teorema 2.49. Sean X un espacio localmente conexo por caminos, x0 X,
p) y (Y , q) espacios cubrientes de X, x0 p1 (x0 ), y0 q 1 (x0 ). (X,
p) y
(X,
x0 ) son conjugados
(Y , q) son equivalentes si y slo si q 1 (Y , y0 ) y p 1 (X,
en 1 (X, x0 ).
p) y (Y , q) son equivalentes. Existe un
Demostracin. Supongamos que (X,
tal que p h = q, de donde h(
homeomorfismo h : Y X
y0 ) p1 (
x0 ) y
h(
q 1 (Y , y0 ) = p h 1 (Y , y0 ) = p 1 (X,
y0 ))
h(
x0 )
Por la parte (a) del Corolario 2.34 tenemos que p 1 (X,
y0 )) y p 1 (X,
son conjugados de donde q 1 (Y , y0 ) y p 1 (X, x0 ) son conjugados en 1 (X, x0 ).

x0 ) son conjugados en 1 (X, x0 ).
Supongamos que q 1 (Y , y0 ) y p 1 (X,
Por la parte (b) del Corolario 2.34 tenemos que existe x1 p1 (
x0 ) tal que
q 1 (Y , y0 ) = p 1 (X, x1 ) y usando el Teorema 2.39 existe un homeomorfis con p h = q.

mo h : Y X
Definicin 2.50. Sea G un grupo. Diremos que una funcin : Y Z,
donde Y y Z son Gconjuntos, es una G-aplicacin o que es una funcin
G-equivariante si
g G, y Y, (gy) = g(y).
Adems si una Gaplicacin es biyectiva, diremos que es un G- isomorfismo. Sea Y un Gconjunto denotaremos por Aut(Y ) al conjunto de
todos los Gisomorfismos con dominio y codominio Y .
Observacin 2.51. Es sencillo demostrar que si es una Gaplicacin
biyectiva entonces la funcin 1 es Gequivariante, de donde, la funcin es
llamada Gisomorfismo. Tambin es sencillo demostrar que para cualquier
Gconjunto Y se tiene que (Aut(Y ), ) es un grupo.
36
Espacios cubrientes
Sea G un grupo y H subgrupo de G, denotemos por G/H a la familia

de todas las clases izquierdas de H en G. Tenemos que G acta sobre G/H
mediante la actuacin traslacin que asigna a cada (a, gH) G G/H la
clase izquierda agH. Al referirnos a G/H como Gconjunto nos estaremos
refiriendo a la actuacin de G mediante la actuacin traslacin. Es sencillo
demostrar que bajo la funcin actuacin G/H es un Gconjunto transitivo
y que adems H es el estabilizador de la clase H.
Lema 2.52.
a) Si X es un G conjunto transitivo y H es el estabilizador de un punto,
entonces X es Gisomorfo al Gconjunto G/H.
b) Sea G un grupo y sean H y K subgrupos de G. G/H y G/K son Gisomorfos
si y slo si H y K son conjugados en G.
Demostracin. (a): Sea x0 X y sea H = Gx0 . Para cada x X existe
gx G tal que gx x0 = x pues X es Gconjunto transitivo, sea gx0 G tal
que gx0 x0 = x tenemos que gx1 gx0 x0 = gx1 gx x0 = x0 de donde gx1 gx0 H y as
gx H = gx0 H. Por lo anterior : X G/H definida por (x) = gx H es una
funcin. Sean x, y H supongamos que (x) = (y) as existen gx , gy G
tales que gx x0 = x, gy x0 = y y gx1 gy H = Gx0 de donde gx1 gy x0 = x0
as y = gy x0 = gx x0 = x, por tanto es inyectiva. Sea gH G/H tenemos
que gx0 X, de donde (gx0 ) = gH = Gx0 , por tanto es sobreyectiva.
Veamos que es una Gaplicacin, sean a G, x X, gx , gax G tales
que x = gx x0 y ax = gax x0 tenemos que
1
1
1
gax
agx x0 = gax
ax = gax
gax x0 = x0
1
1
agx H = agx H = a(x)
agx H y as (ax) = gax H = gax gax
de donde gax
(b): Supongamos que : G/H G/K es un Gisomorfismo. Sea g G

tal que (H) = gK, para cada h H tenemos que
gK = (H) = (hH) = h(H) = hgK
de donde g 1 hg K, as g 1 Hg K. Adems 1 (K) = g 1 H pues
(g 1 H) = g 1 (H) = g 1 gK = K as para cada k K
g 1 H = 1 (K) = 1 (kK) = k1 (K) = kg 1 H
de donde K g 1 Hg. por tanto K = g 1 Hg.
37
Ahora, supongamos que K = g 1 Hg para algn g G. Sean a, b G

notar que son equivalentes: aH = bH; a1 b H; g 1 a1 bg g 1 Hg = K;
agK = bgK. Sea : G/H G/K dada por (aH) = agK, est bien
definida pues sea aH = bH entonces b1 a H de donde (aH) = agK =
bgK = (bH). Veamos que es inyectiva; si (aH) = (bH) entonces agK =
bgK y as aH = bH. Tenemos que es sobreyectiva pues sea aK G//K
tenemos que (ag 1 H) = aK. Finalmente es una Gaplicacin ya que
(abH) = abgK = a(bH).
Corolario 2.53. Sea X localmente conexo por caminos y x0 X. Dos espa p) y (Y , q), son equivalentes si y slo si las fibras
cios cubrientes de X, (X,
1
1
p (x0 ) y q (x0 ) son 1 (X, x0 )isomorfos.
Demostracin. Sean x0 p1 (x0 ) y y0 q 1 (y0 ). Por el Teorema 2.31
x0 ) y q 1 (Y , y0 ) son los estabilizadores de x0 y y0 respectivamente.
p 1 (X,
Por la parte (a) de Lema 2.53 se cumple que:
x0 ) son 1 (X, x0 ) isomorfos.
1 p1 (x0 ) y 1 (X, x0 )/p 1 (X,
2 q 1 (x0 ) y 1 (X, x0 )/q 1 (Y , y0 ) son 1 (X, x0 )isomorfos.
x0 ) y 1 (X, x0 )/q 1 (Y , y0 ) son 1 (X, x0 ) isomorfos
1 (X, x0 )/p 1 (X,
x0 ) y q 1 (Y , y0 ) son conjugados en 1 (X, x0 ), esto por
si y slo si p 1 (X,
x0 ) y q 1 (Y , y0 )
la parte (b) del Lema 2.52. Por el Teorema 2.49 p 1 (X,
son conjugados en 1 (X, x0 ) si y slo si (X, p) y (Y , q) son equivalentes.

Lema 2.54. Sea G un grupo que acta transitivamente sobre un conjunto
Y , x, y Y . Entonces
Gx = Gy si slo si existe Aut(Y ) con (x) = y.
Demostracin. Supongamos que existe Aut(Y ) con (x) = y. Sea h Gx
tenemos que hx = x de donde hy = h(x) = (hx) = (x) = y, por tanto
Gx Gy . Sea h Gy tenemos que h(y) = y de donde hx = h1 (y) =
1 (hy) = 1 (y) = x, por tanto Gy Gx . As Gx = GY .
Supongamos que Gx = Gy . Sea z Y existe gz G tal que z = gz x.
Definimos : Y Y por (z) = gz y, veamos que est bien definida.
Si z = gz x = gz0 x entonces gz1 gz0 x = x y as gz1 gz0 Gx = Gy por tanto
gz y = gz0 y. Veamos que Aut(Y ), sean h G y z Y , tenemos que
(hz) = (hgz x) = hgz y = h(z).
38
Espacios cubrientes
de donde es una Gaplicacin. Afirmamos que es inyectiva, pues sean

z, w Y supongamos que (z) = (w), tenemos que gz y = gw y, de donde
gw1 gz Gy = Gx y as z = gz x = gw x = w. Finalmente es sobreyectiva,
pues sea z Y , existe g G tal que z = gy, y por la definicin de ,
(gx) = gy = z.
p)
Lema 2.55. Sean X un espacio localmente conexo por trayectorias, (X,
un espacio cubriente de X, x0 X. Si x0 , x1 p1 (x0 ), entonces
existe h Cov(X/X)
con h(
x0 ) = x1 si y slo si existe Aut(p1 (x0 ))
con (
x0 ) = x1 .
Demostracin. Supongamos que existe h Cov(X/X)

con h(
x0 ) = x1 , esto
es el diagrama
/
x0 )
(X,
x1 ) .
(X,
(X, x0 )
x0 ) = p 1 (X,
x1 ),
es conmutativo y por el Teorema 2.38 tenemos que p 1 (X,
y as por el Lema 2.54 tenemos que existe Aut(p1 (x0 )) con (
x0 ) = x1 ,
x0 ) y p 1 (X,
x1 ) son los estabilizadores de x0 y x1 respectivapues p 1 (X,
mente.
Supongamos que existe Aut(p1 (x0 )) con (
x0 ) = x1 . Tenemos que
x0 ) = p 1 (X,
x1 ) y as por el Teorema 2.39 existe
por el Lema 2.54 p 1 (X,
h Cov(X/X)
con h(
x0 ) = x1 .
p) un espacio cubriente de X, donde X es un espaLema 2.56. Sea (X,
cio localmente conexo por caminos. Si x0 X y p1 (x0 ) es visto como
1 (X, x0 )conjunto, entonces
Cov(X/X)
= Aut(p1 (x0 ))
mediante la funcin que asigna a cada h Cov(X/X)

la funcin h|p1 (x0 ) .
39
Demostracin. Denotemos por Y a la fibra de p sobre x0 . Sea h Cov(X/X)

tenemos que h(Y ) = Y pues para cada x Y tenemos que h(
x) Y pues
ph(
x) = p(
x) = x0 , adems para cada x Y tenemos que h1 (
x) Y .
As h|Y tiene dominio y codomino Y , adems h|Y es biyectiva por ser la
restriccin del homeomorfismo h a Y . Veamos que h|Y es un 1 (X, x0 )
isomorfismo. Sea [f ] 1 (X, x0 ) y x Y tenemos que h([f ]
x) = h(f(1))
con f el levantamiento de f con f(0) = x y [f ]h(
x) = f1 (1) donde f1 es el
levantamiento de f con f1 (0) = h(

x). Tenemos que f1 = hf pues phf = pf =
f y hf(0) = h(
x) de donde h([f ]
x) = h(f(1)) = f1 (1) = [f ]h(
x). Esto es con
la asignacin de h|Y a cada h Cov(X/X)

es una funcin.
Veamos que la funcin h 7 h|Y es un isomorfismo de grupos. Sean
h, g Cov(X/X)
supongamos que h|Y = g|y tenemos que hy g coinciden
en un punto y as por la parte (b) del Teorema 2.47 h = g, esto es tenemos una asignacin inyectiva, adems la asignacin es sobreyectiva, pues sea
Aut(Y ) y x Y tenemos que (
x) Y , por el Lema 2.55 tenemos que
existe h Cov(X/x) con h(

x) = (
x), adems para cada x1 Y existe
[f ] 1 (X, x0 ) tal que x1 = [f ]
x, as para cada x1 Y
h(
x1 ) = h([f ]
x) = [f ]h(
x) = [f ](
x) = ([f ]
x) = (
x1 ).
por tanto h|Y = .
Finalmente la funcin biyectiva h 7 h|Y es morfismo de grupos pues sean
h, g Cov(X/x),
h|Y g|y = (h g)|Y .
Definicin 2.57. Sea G un grupo y H subgrupo de G. El normalizador de
H en G es el subgrupo

NG (H) = g G|gHg 1 = H
Notar que si G es un grupo y H es subgrupo de G tenemos que H es un
subgrupo normal de NG (H) y que si H es subgrupo normal de G, entonces
NG (H) = G.
Lema 2.58. Sea G un grupo que acta transitivamente sobre un conjunto
Y . Si y0 Y entonces
Aut(Y )
= NG (G0 )/G0
donde G0 es el estabilizador de y0 .
40
Espacios cubrientes
Demostracin. Si Aut(Y ), existe g G tal que (y0 ) = g y0 , pues

G acta transitivamente sobre Y ; tenemos que g NG (G0 ), ya que para
h G0 tenemos que:
g y0 = (y0 ) = (hy0 ) = h(y0 ) = hg y0
y as g1 hg G0 , por tanto G0 g G0 g1 , por otro lado para h G0
tenemos que:
g1 hg y0 = g1 h(y0 ) = g1 (hy0 ) = g1 (y0 ) = g1 g y0 = y0
de forma que g1 G0 g G0 , as que h1 = g1 hg G0 , por tanto h =
g h1 g1 g G0 g1 . Si g0 G es tal que (y0 ) = g y0 = g0 y0 tenemos que
g1 g0 G0 , as g G0 = g0 G0 , as que g1 G0 = (g0 )1 G0 . Por lo anterior
tenemos que : Aut(Y ) NG (G0 )/G0 definida por () = g1 G0 es una
funcin. Veamos que es homeomorfismo de grupos.
Si , Aut(Y ), tenemos que
() = (g g )1 G0 = g1 g1 G0 = ()().
Veamos que es inyectiva. Sean Aut(Y ) con () = G0 , tenemos que
(y0 ) = y0 , adems para cada y Y existe h G tal que y = hy0 de donde
(y) = (hy0 ) = h(y0 ) = hy0 = y
por tanto = IY .
Veamos que es sobreyectiva. Si g0 NG (G0 ), tenemos que : Y Y
definida por (y) = hg0 y0 , donde h G es tal que y = hy0 , es una funcin;
veamos que es un Gisomorfismo.
Sean f G, z Y con f z = hy0 y z = h0 y0 tenemos que h1 f h0 G0 y
as g01 h1 f h0 g0 G0 de donde
(f z) = hg0 y0 = hg0 (g01 h1 f h0 g0 )y0 = f h0 g0 y0 = f (z).
es inyectiva pues sean z, y Y con z = hy0 y y = h0 y0 supongamos
que (y) = (z), as g01 h1 h0 g0 G0 = g01 G0 g0 , de donde h1 h0 G0 y
y = h0 y0 = hy0 = z.
Si y Y existe h G tal que y = hg0 y0 de donde hy0 Y es tal que
(hy0 ) = hg0 y0 = y, por tanto es sobreyectiva.
Finalmente tenemos que () = g0 G0 y as es un isomorfismo de grupos
41
p) un espacio cubriente de X con X localmente

Corolario 2.59. Sea (X,
conexo por caminos. Si x0 X y x0 p1 (x0 ) entonces
x0 ))/p 1 (X,
x0 )
Cov(X/X)
= N1 (X,x0 ) (p 1 (X,
Demostracin. Por el Lema 2.56 tenemos que Cov(X/X)

= Aut(p1 (x0 )),
1
adems tenemos que p (x0 ) es un 1 (X, x0 )conjunto transitivo donde
x0 ) es el estabilizador de x0 as por el Lema 2.58
p 1 (X,
x0 ))/p 1 (X,
x0 ).
Aut(p1 (x0 ))
= N1 (X,x0 ) (p 1 (X,
p) un espacio cubriente regular de X, con X localTeorema 2.60. Sea (X,
mente conexo por caminos. Si x0 X y x0 p1 (x0 ), entonces
x0 ).
Cov(X/X)
= 1 (X, x0 )/p 1 (X,
x0 )) = (X, x0 ),
Demostracin. Teniendo en cuenta que N1 (X,x0 ) (p 1 (X,
x0 ) es subgrupo normal de (X, x0 ), y el Corolario 2.59, el
pues p 1 (X,
resultado es inmediato.
p) es un espacio cubriente universal de X, con X
Corolario 2.61. Si (X,
localmente conexo por caminos, entonces para todo x0 X
Cov(X/X)
= 1 (X, x0 ).
Demostracin. Por el Teorema 2.60 tenemos que
x0 )
Cov(X/X)
= 1 (X, x0 )/p 1 (X,
es simplemente conexo
y como X
x0 ) = 1 (X, x0 )/[Cx0 ]
1 (X, x0 )/p 1 (X,
= 1 (X, x0 ).
Notemos que mediante el Corolario 2.61 podemos expresar el grupo fundamental de un espacio localmente conexo por caminos con espacio cubriente
universal mediante el grupo de transformaciones cubrientes el espacio cubriente, y es la misma para cualquier punto base.
42
Espacios cubrientes
2.4.
Existencia del espacio cubriente universal
Dado un espacio topolgico y un subgrupo de su grupo fundamental generaremos un espacio topolgico, el conjunto ser generado mediante una relacin de equivalencia en los caminos respecto al subgrupo y la topologa ser
generada por las clases de equivalencia de las continuaciones de los caminos.
Veremos que ciertos caminos en el espacio topolgico pueden ser levantados
al espacio generado; con este espacio generado y el concepto de espacio localmente 1-conexo veremos que un espacio conexo y localmente conexo por
caminos tiene un espacio cubriente universal si y slo si es semilocalmente
1-conexo.
Definicin 2.62. Sea G un subgrupo de 1 (X, x0 ). Denotaremos por P (X, x0 )
a la familia de caminos en X con inicio en x0 , y definiremos la relacin de
caminos mdulo G, f1 f2 mod G, en P (X, x0 ) por:
i. f1 (1) = f2 (1);
ii. [f1 f21 ] G.
Lema 2.63. Sea G un subgrupo de 1 (X, x0 ), la relacin f1 f2 mod G es
una relacin de equivalencia sobre P (X, x0 ).
Demostracin. Sean f1 , f2 , f3 p(X, x0 ) tenemos que
i. f1 f1 mod G pues f1 (1) = f1 (1) y [f1 f11 ] = [Cx0 ] G.
ii. Si f1 f2 mod G, entonces f2 (1) = f1 (1) y [f2 f11 ] = [f1 f21 ]1 G.
iii. Si f1 f2 mod G y f2 f3 mod G, entonces f1 (1) = f2 (1) = f3 (1) y
[f1 f31 ] = [f1 f21 f2 f3 ] = [f1 f21 ][f2 f3 ] G.
Notacin 2.64. Sean (X, x0 ) un espacio punteado y G subgrupo de 1 (X, x0 ).

Denotaremos la clase de equivalencia de f P (X, x0 ) por hf iG , esto es
hf iG = {g p(X, x0 )| g f mod G} .
G a {hf i | f p(X, x0 )} y a la clase del caAdems denotaremos por X
G
mino constante Cx0 en X la denotaremos por x0 . Finalmente denotaremos
G a X que asigna a cada hf i X
G el elemento f (1)
por a la funcin de X
G
en X.
2.4 Existencia del espacio cubriente universal
43
Definicin 2.65. Sean (X, x0 ) un espacio topolgico punteado, f P (X, x0 )

y U una vecindad abierta de f (1). Una continuacin de f en U es un
camino F p(X, x0 ) de la forma F = f donde es un camino tal que
(0) = f (1) y (I) U .
Notacin 2.66. Para (X, x0 ) un espacio punteado, f P (X, x0 ), x = hf iG
y U una vecindad abierta de f (1) se define el siguiente conjunto:
n
o
(U, x) = hF iG XG | F es una continuacin de f en U

.
Observacin 2.67. Si f g mod G y (0) = f (1) = g(1), entonces
i. f (1) = g (1);
ii. [f (g )1 ] = [f 1 g 1 ] = [f g 1 ] G.
Esto es f g mod G.
Lema 2.68. Sea (X, x0 ) un espacio topolgico punteado y sea G un subgrupo
de 1 (X, x0 ). Entonces los conjuntos de la forma (U, x) forman una base
G para la cual la funcin es continua. Ms an si
para una topologa en X
X es conexo por caminos, es sobreyectiva.
Demostracin. Denotemos por el conjunto
n
o
G .
(U, x) | U es vecindad abierta de f (1) y x = hf iG X
G tenemos que para cada U vecindad abierta de f (1)
Si x = hf iG X

x = hf iG = f Cf (1) G (U, x).
G existe (U, x) tal que x (U, x).
De donde para cada x X
Veamos que si y (U, x = hf ig ), entonces (U, x) = (U, y). Si y (U, x =
hf ig ) tenemos que y = hf iG con camino tal que f (1) = (0) y (I) U .
Si z (U, y) tenemos que z = hf iG con camino tal que f (1) =
(0) y (I) U , as es camino con f (1) = (0) y (I) U ,
de donde z (U, x). Para z (U, x) tenemos que z = hf iG con camino
tal que f (1) = (0) y (I) U y as z = hf iG = hf 1 i con
f (1) = 1 (0) y 1 (I) U de donde z (U, y).
44
Espacios cubrientes
Sean (U, x), (V, y) , si z (U, x) (V, y) entonces (U, x) = (U, z) y

(V, y) = (V, z) de donde
(U, x) (V, y) = (U, z) (V, z)
y por tanto
i. (U V, z) ;
ii. z (U V, z);
iii. (U V, z) (U, z) (V, z) = (U, x) (V, y).
G.
De donde es una base para una topologa en X
G y sea U una vecindad
Veamos que es continua. Sea x = hf iG X
abierta de (
x) = f (1), entonces (U, x) U , ya que si y (U, x), tenemos
que y = hf iG con camino tal que f (1) = (0) y (I) U y as
(
y ) = f (1) = (1) U.
Supongamos que X es conexo por caminos. Para x X existe un camino
es tal que (
f en X de x0 a x y as x = hf iG X
x) = x.
G como un espacio topolgico tomaremos la topologa
Al referirnos a X
G que lleva por base los conjuntos de la forma (U, x) del Lema 2.69.
sobre X
Lema 2.69. Sean (X, x0 ) un espacio punteado, G un subgrupo de 1 (X, x0 ).
Todo camino f en X con f (0) = x0 puede ser levantado a un camino f en
G que comienza en x0 = hCx0 i y termina en hf i , es decir f = f .
X
G
G
Demostracin. Sea t I, Definiremos ft : I X por ft (s) = f (ts) para
G definida por f(t) = hft i notar que
cada s I. Sea f : I X
G
i f(0) = hf0 iG = hCx0 iG = x0
ii f(1) = hf1 iG = hf iG
iii (f(t)) = hft iG = ft (1) = f (t) para cada t I, esto es f = f .
45
Veamos que f es continua. Sea t0 I y sea (U, f(t0 )) un bsico, como f es

continua y existe un intervalo abierto V I con t0 V y f (V ) U , veamos
que f(V ) (U, f(t0 )). Sea t V , afirmamos que f(t) = hft i (U, f(t0 )). En
[t ,t]
[t ,t]
efecto, si t > t0 tomemos = f |[t0 ,t] rI 0 , donde rI 0 es la parametrizacin
de I en [t0 , t], as es camino de f (t0 ) = ft0 (1) a f (t) con (I) f (V ) U ,
de donde ft0 es continuacin de ft0 en U , adems ft0 (1) = f (t) = ft (1) y
[ft0 ft1 ] = [Cx0 ] G, de donde hft i = hft0 i (U, f(t0 )). Similarmente
[t,t ]
[t,t ]
si t < t0 tomemos = f |[t,t0 ] rI 0 , donde rI 0 es la parametrizacin de I en
[t, t0 ], as 1 es camino de f (t0 ) = ft0 (1) a f (t) con 1 (I) f (V ) U , de
donde ft0 1 es continuacin de ft0 en U , adems ft0 1 (1) = f (t) = ft (1)
y [ft0 1 ft1 ] = [Cx0 ] G, de donde hft i = hft0 1 i (U, f(t0 )).
Corolario 2.70. Si (X, x0 ) es un espacio punteado y G es subgrupo de
G es conexo por caminos.
1 (X, x0 ), entonces X
G , existe un camino de x a x0 pues f es un
Demostracin. Si x = hf iG X
G es un camino
camino en X con f (0) = x0 y as el levantamiento de f en X
de x a x0 , con lo cual XG es conexo por caminos
Definicin 2.71. Un espacio X es un espacio semilocalmente 1-conexo

si para cada x X existe una vecindad abierta U de x tal que i : 1 (U, x)
1 (x, x), donde i : U X es la inclusin, es trivial. Esto es: si i ([f ]U ) =
[i f ]X = [Cx ]X para cada [f ]U 1 (U, x).
Definicin 2.72. Sea X un espacio topolgico. X es un espacio triplemente conexo si X es conexo, locamente conexo por caminos y semilocalmente
1-conexo.
Teorema 2.73. Sea (X, x0 ) un espacio topolgico punteado, G un subgrupo
G , ) es un
de 1 (X, x0 ). Si X es un espacio triplemente conexo, entonces (X
G , x0 ) = G.
espacio cubriente de X y 1 (X
G es conexo por caminos y
Demostracin. Notar que por el Corolario 2.70 X
que, por el Lema 2.68 es continua. X es conexo por caminos pues es conexo
y localmente conexo por caminos y as por el Lema 2.68 es sobreyectiva.
Resta demostrar que para cada x X existe U vecindad abierta de x admisible.
46
Espacios cubrientes
Sea x X, existe W vecindad abierta de x tal que todo camino en W

con inicio y final en x es nulotpico5 en X, como X es localmente conexo
por caminos existe U vecindad abierta conexa por caminos de x con U W ,
veamos que U es cubierto uniformemente por .
Para x = hgiG 1 (x) veamos que |(U,x) : (U, x) U es homeomorfismo. Si y U , existe un camino de x a y en U pues U es conexo por
caminos, as g es una continuacin de g en U con g (1) = y, de donde
hg iG (U, x) y (hg iG ) = y; as |(U,x) es sobreyectiva. Supongamos
que y = hg iG , z = hg iG (U, x) y (
y ) = (
z ), tenemos que 1
es un camino cerrado en U basado en x, como U W tenemos que 1
es nulotpico en X y as

g 1 g 1 = g Cx g 1 = [Cx0 ] G
de donde y = hg iG = hg iG = z.
de x en X
G contiene un conjunto abierto de la
Cada vecindad abierta W
forma (V, x) con (V, x) = V pues (U,x) es biyectiva, as (U,x) es abierta.
Por tanto (U,x) es un homeomorfismo.
tenemos que (U, x) 1 (U ) de donde S (U, x)
Para cada x G
x
XG
G tal que (y) U , tenemos que existe
1 (U ), adems sea y = hg1 iG X
un camino de g1 (1) a x en U , con lo cual

y = hg1 iG = g1 1 G (U, hg1 iG )
con hg1 iG 1(x); de esto tenemos que
1 (U ) =
(U, x).
y 1 (x)
La familia {(U, y)|

y 1 (x)} es tal que para cualesquiera dos elementos
distintos de tal familia, estos son ajenos pues dados (U, y) y (U, z) con y, z
1 (x), supongamos que (U, y) (U, z) 6= , entonces (U, y) = (U, z), esto se
demostr en el Lema 2.68.
G , x0 ) = G. Ya hemos demostrado que
Finalmente veamos que 1 (X
(XG , ) es espacio cubriente de X. Si [f ] G existe un nico levantamiento f

5
Sean X e Y espacios topolgicos. Una funcin continua f : X Y es nulotpica si
existe y Y tal que la funcin constante Cy : X Y es homotpica a f , esto es, si
f ' Cy .
47
de f con f(0) = x0 , definido como f(t) = hft iG con ft (s) = f (ts) (Lema 2.69).
Tenemos que [f Cx0 ] = [f ] G con lo que f(0) = hCx0 i = hf iG = f(1), as
h i
h i
G , x0 ) con f = [f ] .
f 1 (X
G , x0 ) G.
De donde 1 (X
G , x0 ) tenemos que f es el levantamiento
Por otro lado, sea [f] 1 (X
D
E
de f (ver Lema 2.69) y hCx0 iG = f (0) = f (1) = f , por tanto,

G
tenemos que f Cx0 mod G de donde
h i h
i h
i
1
f = f = f Cx0 G.
G , x0 ) G.
Por tanto 1 (X
Corolario 2.74. Si X es triplemente conexo, entonces todo espacio cubriente
p) de X es equivalente a un espacio de la forma (X
G , ).
(X,
x). Por
Demostracin. Sea x0 X, tomemos x p1 (x0 ) y G = p 1 (X,
G , ) es un espacio cubriente de X con
el Teorema 2.73 tenemos que (X
G , x0 = G = p 1 (X,
x), as por el Teorema 2.39 existe un homeo 1 (X
0 ) tal que h = p, de donde (X,

p) y (X
G , )
morfismo h : (X, x) (XG , X
son equivalentes.
p) es un espacio cubriente
Corolario 2.75. Sea X triplemente conexo. Si (X,
de X, entonces todo abierto contractible en X es padmisible.
G , ) un espacio
Demostracin. Sea U un abierto contractible en X y sea (X
p). En el Teorema 2.73 hemos demostrado
cubriente de X equivalente a (X,
que todo abierto conexo por caminos para el cual todo camino cerrado en l
es nulotpico en X es admisible. Como U es abierto contractible tenemos
que es conexo, pues si u0 U tal que H : IU ' Cu0 tenemos que para cada
u U la funcin : I U definida por (t) = H(u, t) para cada t I es un
camino de u a u0 y as U es conexo por caminos y por tanto conexo, adems
sea un camino en U tenemos que la funcin F : I I U definida por
F (t, s) = H((t), s) para cada (t, s) I I es tal que F : ' Cu0 de donde
todo camino cerrado en U es nulotpico en U y as nulotpico en X, ya que
U es abierto en X basta con ampliar el codominio de F a X, por tanto U es
admisible y as padmisible.
48
Espacios cubrientes
Corolario 2.76. Sea X un espacio conexo y localmente conexo por caminos.

X tiene un espacio cubriente universal si y slo si X es semilocalmente 1conexo.
p) espacio cubriente universal
Demostracin. Supongamos que existe (X,
de X, para cada x X existe U vecindad abierta padmisible de x, sea
x p1 (x) y S la hoja sobre U que contiene a x, tenemos que el siguiente
y j : U X son inclusiones, es conmutativo:
diagrama, donde i : S X
1 (S, x)
x) = [Cx ]
1 (X,
p
p|S
1 (U, x)
1 (X, x)
Pues j = p|S i p|1

s y as j es trivial.
Supongamos que X es semilocalmente 1-conexo tomemos x0 X y sea
G , ) es un espacio cubriente de X con X
G
G = {[Cx0 ]}, tenemos que (X
h i
G , x0 ) = G. Si f , [
G , x0 ) entonces
conexo por caminos y (X
g ] 1 (X
h
i
h i
p f = [Cx0 ] = [p g], por el Corolario 2.24 tenemos que f = [
g ], as
G , x0 ) = {[Cx0 ]}. Por tanto (X
G , ) es un espacio cubriente universal
1 (X
de X.
Lema 2.77. Un espacio localmente contractible X es localmente conexo por
caminos y semilocalmente 1-conexo.
Demostracin. Si x X y U una vecindad de x, existe V vecindad abierta
de x contractible a x tal que V U , esto es, existe F : V I V funcin
continua tal que
F (y, 0) = y y F (y, 1) = x, para cada y V.
As tenemos que para cada y V , f : I V definida por f (t) = F (y, t)
para cada t I, es camino en V de y a x, por tanto V es conexo por caminos.
Sea [f ] 1 (V, x), como V es contractible tenemos que 1 (V, x) = [Cx ]
de donde j : 1 (V, x) 1 (X, x) es trivial.
2.5 Espacio de rbitas
49
Corolario 2.78. Si X es conexo y localmente contractible, entonces X tiene

un espacio cubriente universal.
Demostracin. Consecuencia del Corolario 2.76 y del Lema 2.77.
2.5.
Espacio de rbitas
Dado un espacio X conexo, localmente conexo y semilocalmente 1-conexo

mostraremos, mediante el uso del espacio de rbitas y un espacio cubriente
universal, una relacin biyectiva entre los espacios cubrientes de X y los
subgrupos de su grupo fundamental.
Definicin 2.79. Sea G es un grupo que acta sobre un espacio topolgico
Y . El espacio de rbitas de Y con respecto a G es el espacio topolgico
(Y /G, ), donde Y /G, es el conjunto de todas las rbitas de G, esto es;
Y /G := {o(y)|y Y } .
: Y Y /G es la funcin definida por (y) = o(y) y en la topologa
final de {}.
p) espacio cubriente regular de X, con X conexo y localLema 2.80. Sea (X,
mente conexo por caminos, y sea G = Cov(X/X).

Existe un homeomorfismo
h : X X/G
tal que hace conmutativo el diagrama
X/G
) es un espacio cubriente de X/G
Adems, (X,
Demostracin. Por el Teorema 2.46 tenemos que G acta transitivamente
sobre p1 (x) para cada x X mediante la funcin evaluacin.
Sean x X y x, y p1 (x), existe g G tal que g(
x) = y de donde
o(
x) o(
y ) 6= y as o(
x) = o(
y ). Por lo anterior h : X X/G
definida por
50
Espacios cubrientes
h (x) = o(
x), donde x es un elemento de p1 (x), es una funcin. Adems es
claro que h p = .
Veamos que h es biyectiva, sea o(

x) X/G,
tenemos que p(
x) X y
h (p(
x)) = o(
x), esto es h es sobreyectiva. Sean x, y X, x y y elementos de
las fibras de p sobre x y y respectivamente. Supongamos que h (x) = h (y),
tenemos que existe g G tal que x = g(
y ) y as
x = p(
x) = p(g(
y )) = p(
y) = y
pues g(
y ) p1 (y), de donde h es inyectiva.
Tenemos que h es continua pues para U un abierto en X/G,

tenemos
1
1 1
que (U ) = p h (U ) es un abierto en X por la continuidad de ; como p

1 1
es abierta tenemos que h1
(U ) = p(p h (U )) es abierto en X. Veamos que
h es abierta; sea V un abierto en X, tenemos que 1 h (V ) = p1 (V ) es un
como es una identificacin tenemos que h (V ) es abierto en
abierto en X,
X/G,
de donde h es abierta.
Tenemos que h es continua biyectiva y abierta, de donde h es un homeomorfismo, adems tenemos que el diagrama
IX
X/G
) es un espacio cubriente de X/G.
es conmutativo, as por el Lema 2.16 (X,
p), (Y , q) espacios cubrientes de X y Y respectiDefinicin 2.81. Sean (X,

vamente. Estos espacios cubrientes se dicen espacios cubrientes equivalenes si existen homeomorfismos h y k tales que hacen el siguiente diagrama
conmutativo:
51
/X

/X
Lema 2.82. Sea X un espacio conexo y localmente conexo por caminos,

consideremos el siguiente diagrama conmutativo de espacios cubrientes
/Y

p) y (X,
r) son regulares. Sean G = Cov(X/X)
Y ).
donde (X,
y H = Cov(X/
Entonces existe un diagrama conmutativo de espacios cubrientes de la forma
r0
p0
X/H
q0
X/G
donde cada uno de los espacios cubrientes es equivalente al correspondiente
espacio cubriente del diagrama original.
Demostracin. Consideremos el diagrama
52
Espacios cubrientes
Y donde
hH
IX
s
X
X
H
/ X/H

q0
hG
X/G
H , G , hG , hH son tales que los diagramas
X
G
hG
X/G
hH
/ X/H
generados apartir del Lema 2.80, son conmutativos y q 0 : X/H

X/G
0
es definida por q (oH (

x)) = oG (
x) para cada oH (
x) X/H,
consideremos
0
0
r = H y p = G .
Tenemos que G = q 0 H pues para cada x X

q 0 H (
x) = q 0 (oH (
x)) = oG (
x) = G (
x).
Veamos que q 0 es continua. Sea U un abierto en X/G,

entonces 1
H
pues G es continua, adems como
q 01 (U ) = 1
(U
)
que
es
abierto
en
X,
G
01
H es abierta y sobreyectiva tenemos que q 01 (U ) = H (1
(U )) es
H q
abierto en X/H.
Sea y Y tenemos que
q 0 (hH (
y )) = q 0 (oH (
x)) = oG (
x)
donde x r1 (
y ), adems x p1 (q(
y )) pues
p(
x) = q(r(
x)) = q(
y)
53
de donde hG (q(
y )) = oG (
x) y as q 0 (hH (
y )) = hG (q(
y )). Por tanto q 0
hH = hG q. Finalmente por el Lema 2.16 tenemos que (X/H,

q 0 ) es espacio
cubriente de X/G.
p) un espacio cubriente
Corolario 2.83. Sea X triplemente conexo y (X,
universal de X. Entonces, cada espacio cubriente (Y , q) de X es equivalente
a un espacio de la forma (X/H,

q 0 ) para algn H subgrupo de Cov(X/X).
Demostracin. Sea (Y , q) un espacio cubriente de X, por el Teorema 2.42
Y funcin continua tal que p = qr, tenemos que p 1 (X,
x0 ) =
existe r : X
{[Cx0 ]} q 1 (Y , r(
x0 )), as por el Teorema
que (X, r) es es 2.40 tenemos

r) es
pacio cubriente de Y , como r 1 (X, x0 ) = Cr(x0 ) tenemos que (X,
regular, y por el Lema 2.82 tenemos que (Y , q) es equivalente a (X/H,

q0)
Y ). Tomemos g H, g es homeomorfismo de X
aX
tal
con H = Cov(X/
que
pg =qrg =qr =p
de donde g Cov(X/X),
con lo que H es subgrupo de Cov(X/X).
p) un espacio cubriente universal de X,
Sean X triplemente conexo (X,
G = Covp (X/X).
Denotemos a la familia de todos los espacios cubrientes
de X/G
de la forma (X/H,
q 0 ), donde H es un subgrupo de Cov(X/X),
por
, y denotemos a la familia de todos los subgrupos de Cov(X/X) por .

Definiremos : de la siguiente forma
Sea (X/H,
q 0 ) tenemos que el diagrama
X/H
IX/H
X/H
0
h1
G q
q0
X/G
h1
G
es conmutativo, por el Lema 2.16, tenemos que (X/H,

h1
G q ) es espacio cubriente de X, por el Teorema 2.40 existe una nica funcin continua tal que
0
h1
G q r = p, notar que el diagrama de funcines continuas
54
Espacios cubrientes
X/H
0
h1
G q
X
es conmutativo, as tenemos que H = r, adems por el Teorema 2.40,
H ) es espacio cubriente de X/H.
(X,
Defimanos
X/H).
(X/H,
q 0 ) = CovH (X/(
0
X/H),
Tenemos que para cada g CovH (X/(

p g = h1
G q H g =
0
0
h1
G q H = p, de donde g G, y as (X/H, q ) es subrgupo de G. Definimos
: por (H) = (X/H,

q 0 ).
p) un espacio cubriente
Definicin 2.84. Sea X triplemente conexo y (X,
universal de X. las funcines : y : por (H) = (X/H,

q0)
son llamadas correspondencias de Galois.
p) un espacio cubriente uniTeorema 2.85. Sea X triplemente conexo y (X,
versal de X. Las correspondencias de Galois y son biyecciones inversas
una de la otra.
Demostracin. Veamos que = I y = I .
Sea H tenemos que:
X/H))
(H) = ((X/H,
q 0 )) = CovH (X/(
X/H)).
tenemos que
sea H = CovH (X/(
Sea g H, para cada x X
H (g(
x)) = o(g(
x) = o(
x) = H (
x) de donde H g = H , por tanto g H
tenemos que
y as H H . Por otro lado, sea g H tomemos x0 X,
H (
x0 ) = H (g(
x)0 ) de donde existe f H H tal que f g(
x0 ) = x0 , por
el Teorema 2.47 f g = IX , de donde g = f 1 H. As H H. Por tanto
(H) = H y as = I .
Sea (X/H,
q 0 ) tenemos que:
X/H)))
((X/H,
q 0 )) = (CovH (X/(
= (H) = (X/H,
q0)
Observacin 2.86. En el Teorema 2.85 tenemos que por el Corolario 2.61
Cov(X/X)
= 1 (X, x), as tenemos que existe una relacin biyectiva entre los espacios cubrientes de X y los subgrupos de 1 (X, x), pues por el
Corolario 2.83 todo espacio cubriente de X es de la forma (X/H,

q 0 ).
55
p) espacio cubriente
Corolario 2.87. Sea X triplemente conexo y sea (X,
universal de X. Si H es subgrupo de Cov(X/X)

entonces 1 (X/H,
) es
isomorfo a H.
h ) es espacio cubriente universal de X/H,
Demostracin. Tenemos que (X,
adems X/H
es localmente conexo por caminos, pues tanto p como h son
homeomorfismos locales y X es localmente conexo por caminos, as por el
Corolario 2.61 tenemos que para todo o(

x) X/H
X/H))
CovH (X/(
o(
x))
= 1 (X/H,
X/H))
y en el Teorema 2.85 demostramos que CovH (X/(

= H.
Definicin 2.88. Sea G un grupo, con elemento neutro e, que acta sobre
un espacio topolgico X. Un conjunto abierto V en X es un abierto propio
en X si gV V = para todo g G\ {e}. Decimos que la actuacin de
G sobre X es una actuacin propiamente discontinua sobre X si para
cada x X existe una vecindad abierta de x propia en X.
p) es espacio cubriente de X tenemos que la
Observacin 2.89. Si (X,
es una actuacin propiamente disactuacin del grupo Cov(X/X)

sobre X
continua, pues para x0 X, y U una vecindad abierta p-admisible de p(

x),
tomemos S la hoja sobre U que contiene a x0 y supongamos que hS S 6=
para algn h Cov(X/X),

tomemos x hS S, tenemos que existe y S
con h(
y ) = x de donde p(
y ) = p(h1 (
x)) = p(
x) y como p|S es inyectiva
tenemos que x = y, as x es un punto fijo de h, por tanto h = IX .
Teorema 2.90. Sea X conexo y localmente conexo por caminos. Sea G un
grupo que acta sobre X mediante una actuacin propiamente discontinua,
y sea p : X X/G la inclusin natural. Se cumple lo siguiente:
i. (X, p) es espacio cubriente regular de X/G.
ii. Si X es semilocalmente 1-conexo, entonces Cov(X/(X/G))
= G.
iii. Si X es simplemente conexo, entonces 1 (X/G, )
= G.
Demostracin. i) Tenemos que p : (X, X ) (X/G, p ) es una funcin continua y sobreyectiva, veamos
que p es abierta. Si U es un abierto en X, se
S
tiene que p1 (p(U )) = gG gU , con gU abierto para todo g G pues la funcin definida por x 7 gx es continua para cada g G con inversa continua
x 7 g 1 x, de donde p es abierta y por tanto p es una identificacin.
56
Espacios cubrientes
Sea o(x) X/G, y U una vecindad abierta

S propia de x, veamos que p(U )
es p-admisible. Tenemos que p1 (p(U )) = gG gU , adems para g, f G
con f 6= g tenemos que gU f U = , en efecto, tenemos que g 1 f 6= e y
g 1 f U U = ; supongamos que x gU f U , x = gu = f v con u, v U ,
as g 1 f v = u y g 1 f U U 6= lo cual es una contradiccin. Veamos que
para cada g G, p|gU : gU p(U ) es biyectiva. Sea y p(U ), tenemos
que y = o(u) para algn u U , tenemos que gu gU y p(gu) = o(gu) =
o(u) = y, de donde p es sobreyectiva, supongamos que p(gu) = p(gv) para
algnos u, v U , tenemos que o(gu) = o(gv), as existe f G tal que
gu = f gu, por tanto u = g 1 hgv y g 1 f gU U 6= , de donde f = e,
as gu = f gv = gv y por tanto u = v, as p|gU es inyectiva. Como p|gU es
continua, abierta y biyectiva tenemos que p|gU es homeomorfismo y as (X, p)
es espacio cubriente de X/G.
Para g G tenemos que la funcin g : X X definida por x 7 gx es
un homeomorfismo, adems
p(g(x)) = o(g(x)) = o(x) = p(x)
as p g = p de donde G visto como grupo de funciones est contenido en
Cov(X/(X/G)).
Sea o(x) X/G tenemos que
p1 (o(x)) = {y X|o(y) = o(x)} = {y X|g G : gx = y} .
Sean y, z p1 (o(x)) tenemos que y = gx y z = f x para algunos
g, f G de donde z = f g 1 y con f g 1 G Cov(X/(x/G)), con esto
hemos probado que Cov(X/(X/G)) acta transitivamente sobre p1 (o(x)).
Por el Teorema 2.46 tenemos que (X, p) es regular.
ii) En el Teorema 2.85 demostramos que Cov(X/(X/G))
= G.
iii) Como X es simplemente conexo, (X, p) es espacio cubriente universal
de X/G de donde por el Teorema 2.61 tenemos que para todo o(x) X/G
1 (X/G, o(x))
= Cov(X/(X/G))
= G.
Ejemplo 2.91. Consideremos la actuacin propiamente discontinua de Z

sobre R dada por (n, t) 7 t + n para cada (n, t) Z R, por el Teorema
2.89. (iii) tenemos que:
1 (R/Z, )
= Z.
57
Adems consideremos la funcin exp : R S1 , tenemos que exp es un

morfismo de grupos tal que Ker(exp) = Z, por el teorema fundamental de
homomorfismos existe nico homomorfismo de grupos h : R/Z S1 tal que
h = exp, donde es la inclusin natural. El teorema fundamental de
homomorfismos nos dice que h(o(t)) = exp(t) para cada o(t) R/Z, con
esto sencillo demostrar que h es un isomorfismo de grupos y siguiendo la
demostracin del Lema 2.80 se demuestra que h es un homeomorfismo (pues
h1 est definida por h1 (s) = exp(
s) donde s exp1 (s) y la actuacin
(n, t) 7 t + n acta transitivamente sobre los espacios fibra). Por tanto
tenemos que:
1 (S1 , )
= 1 (R/Z, )
= Z.
Por el Corolario 2.61 tenemos que Cov(R/S1 )
= Z, as por el Teorema
2.85 tenemos que
{[(R/H, q 0 )]|H es subgrupo de Z}
es la familia de clases de espacios cubrientes de S1 .
Para cada n N tenemos que pn : S1 S1 definida por pn (z) = z n ,
es una funcin cubriente, siguiendo la costruccin de las corresponcencias
de Galois del Teorema 2.85, tenemos que la familia de clases de espacios
cubrientes de S1 es
1

[(S , pn )]|n N {[(R, exp)]} .
Notar que el espacio cubriente asociado al subgrupo trivial {0} es el espacio cubriente universal (R, exp), mientras que el espacio cubriente asociado
a Z es el espacio cubriente trivial (S1 , IS1 ).
Ejemplo 2.92. Sea Y el subespacio cerrado de R2 que consiste por una parte
del conjutno de puntos (x, y) R2 tales que y = sen(1/x) y x (0, 1/),
el segmento [1, 1] del eje y, y el arco que conecta a estos dos subespacios
(Circulo de Varsovia ,Figura 2.1). Cocientando el segmento [1, 1] del eje y
a un punto optenemos una proyeccin natural f : Y S1 . Mostraremos que
f no tiene levantamiento respecto al espacio cubriente (R, exp) de S1 .
Sea L = {0} [1, 1] Y . Supongamos que f (L) = {(1, 0)} y que
f : Y R es un levantamiento de f respecto al espacio cubriente (R, exp).
Como Y \L es conexo tenemos que f(Y \L) es conexo, por tanto f(Y \L) est
contenido en una componente conexa de exp1 (f (Y \L)) = R\Z, digamos
58
Espacios cubrientes
Figura 2.1: Espacio Y

f(Y \L) (0, 1), como exp : (0, 1) S 1 es un homeomorfismo y f es
sobreyectiva tenemos que f(Y \L) = (0, 1), adems
f(Y ) = f(Y \L) f(Y \L) = (0, 1) = [0, 1]
.
Por otro lado como Y es compacto tenemos que f(Y ) es compacto y as
[0, 1] f(Y ), pues (0, 1) = f(Y \L) f(Y ), de est forma f(Y ) = [0, 1].
Por lo anterior tenemos que f(L) = {0, 1} que es un espacio disconexo.
Esto ltimo es una contradiccin pues ya que L es conexo y f es continua
tenemos que f(L) es conexo. Este ejemplo muestra la necesidad de pedir la
condicin de conexidad local por caminos en el Teorema 2.38 pues Y no es
un espacio localmente conexo por caminos y, se sabe que 1 (Y, y0 ) = {[Cy0 ]}
de donde

f 1 (Y, y0 ) = [Cf (y0 ) ] exp 1 (R, y0 ).
Captulo 3
Fibraciones
En este captulo comenzaremos por introducir el concepto de homeomorfimo local y veremos que los homeomorfismos locales se comportan de manera
similar a las funciones cubrientes con respecto a las restricciones a subespacios y la propiedad de ser funciones abiertas; acto seguido veremos que las
funciones cubrientes tienen la propiedad de que la familia de hojas sobre un
abierto admisible es la familia de componentes conexas de la preimagen del
abierto admisibe, y que el coproducto de funciones cubrientes es tambin una
funcin cubriente.
En la seccin 3.2 introduciremos la definicin de una funcin continua
con la propiedad de levantamiento nico de homotopa respecto a un espacio
topolgico. Si una funcin continua tiena la propiedad de levantamiento de
homotopa respecto a cualquier espacio topolgico entonces llamaremos a
dicha fucin fibracin; gracias a los teoremas de levantamiento del captulo
1 veremos que toda funcin cubriente es una fibracin, tambin veremos
que la propiedad de levantamiento nico de homotopa de una fibracin es
equivalente a que la fibracin tenga la propiedad de levantamiento nico de
trayectoras.
En la seccin 3.3 presentaremos cmo es el comportamiento del homomorfismo inducido por una fibracin con la propiedad de levantamiento nico de
trayectorias con respecto al grupo fundamental, las clases de conjugacin y
a las fibras, veremos que es similar al del homomorfismo inducido por una
funcin cubriente.
En la seccin 3.4 presentaremos el Teorema de levantamiento para fibraciones mediante la introduccin de cuadrados cartesianos; veremos que
las fibraciones no solo levantan caminos, sino que tambin existen funciones
59
60
Fibraciones
continuas, con restricciones sobre el dominio, que pueden ser levantadas mediante una fibracin. Trabajaremos con el espacio de caminos que inician en
un punto base para demostrar que, como las funciones cubrientes, la existencia de un levantamiento mediante una fibracin est asociada a la contencin
de los grupos fundamentales bajo las respectivas funciones inducidas.
3.1.
Homeomorfismos locales
Definicin 3.1. Una funcin f : (X, ) (Y, ) se llama encaje si f es

inyectiva y la topologa es la topologa inicial respecto a (f, ). Se dice que
un espacio topolgico (A, A ) es un subespacio de (X, ) si A X y A es la
topologa inicial de A respecto a (i, ).
Proposicin 3.2. Sea f : (X, ) (Y, ) una funcin continua e inyectiva.
Entonces, si f es abierta o cerrada, f es encaje.
Demostracin. Supongamos que f es abierta. Sea g : (Z, ) (X, ) una
funcin tal que f g es continua. Sea U , como f es abierta, f (U ) .
Como f g es continua, (f g)1 (f (U )) = g 1 f 1 f (U ) , adems como
f es inyectiva, f 1 f (U ) = U , as g 1 (U ) = g 1 f 1 f (U ) , de donde
g es continua, por tanto es inicial respecto a (f, ) y f es encaje. Si f es
cerrada la demostacin es anloga.
Definicin 3.3. Una funcin continua f : X Y es un homeomorfismo
local si para toda x X existe V vecindad abierta de x tal que f (V ) es un
abierto y f |V : V f (V ) es un homeomorfismo.
Ejemplo 3.4. Tenemos que:
a) Todo homeomorfismo es un homeomorfismo local.
b) Si A X es un abierto, entonces la inclusin i : A X es un homeomorfismo local.
c) Si X es un espacio topolgico y D es un espacio topolgico discreto,
entonces la proyeccin X : X D X es un homeomorfismo local.
Notar que en el Ejemplo 3.4 (b), la inclusin no es una funcin sobreyectiva, as tampoco es una funcin cubriente.
3.1 Homeomorfismos locales
61
Proposicin 3.5. Si f : X Y es continua, entonces son equivalentes:

i f es homeomorfismo local.
ii Para cada x X existe V vecindad abierta de x tal que f |V : V Y es
encaje abierto.
iii Para cada x X existe V vecindad de x tal que f (V ) es vecindad de
f (x) y f |V : V f (V ) es un homeomorfismo.
Demostracin. I) II): Sea x X, existe V vecindad abierta de x tal
f (V )
que f (V ) es abierto y f |V
: V f (V ) es un homeomorfismo, por tanto
f |V : V f (V ) es continua y sobreyectiva. Sea U un abierto en V , f (U ) es
abierto en f (V ), y ya que f (V ) es abierto en Y , tenemos que f (U ) es abierto
en Y , as f |V : V Y es abierta y por la Proposicin 3.2 es un encaje.
II) III): Sea x X, existe V vecindad abierta de x tal que f |V : V
Y es encaje abierto, de donde f |V : V f (V ) es un homeomorfismo pues es
continua, biyectiva y abierta.
III) I): Sea x X, existe V vecindad de x tal que f (V ) es vecindad de f (x) y f |V : V f (V ) es un homeomorfismo. Sea W = int(V )
f 1 (intf (V )), tenemos que W es vecindad abierta de x y f (W ) intf (V ).
f (W )
Como f |V es homeomorfismo, f |W
: W f (W ) es homeomorfismo y,
como f (W ) es abierto en intf (V ), f (W ) es abierto en Y .
Proposicin 3.6. Todo homeomorfismo local es una funcin abierta
Demostracin. Sea f : X Y un homeomorfismo local y A un abierto
en X. Sea x A y V vecindad abierta de x tal que f (V ) es un abierto
y f |V : V f (V ) es un homeomorfismo, tenemos que f (A V ) es una
vecindad abierta de f (x) con f (A V ) f (A).
X es continua y V X es un abierto cubierto
Proposicin 3.7. Si p : X
uniformemente por p, entonces:
a) Si A X, entonces V A es cubierto uniformemente por p|A
p1 (A) :
1
p (A) A.
b) Si W V es abierto en X, entonces W es cubierto uniformemente por
p.
62
Fibraciones
Demostracin. (a): Sea A X, Entonces:

i V A es abierto en A.
ii Sea {Si } la familia de hojas sobre V tenemos que:
[
p1 (V A) = p1 (V ) p1 (A) =
Si p1 (A)
i
donde cada Si p1 (A) es abierto en p1 (A) y para cualesquiera dos

elementos distintos de la familia {Si p1 (A)} son ajenos.

A
iii p|p1 (A) |VSiA
p1 (A) es homeomorfismo para cada i.
(b): Lema 2.13
X continua, V X conexo y p-admisible.
Proposicin 3.8. Sean p : X
Si {Si } es la familia de hojas sobre V , entonces {Si } es la familia de componentes conexas de p1 (V ).
Demostracin.
` Tenemos que Si = V , as Si es conexo1para cada i, adems
1
p (V ) = i Si , de donde Si es abierto y cerrado en p (V ), por tanto Si es
componente conexa de p1 (V ).
Proposicin 3.9. Toda funcin cubriente es un homeomorfismo local.
X una funcin cubriente. Sea x X
y V
Demostracin. Sea p : X
una vecindad abierta y admisible de p(
x), sea S la hoja sobre V tal que
p(S)
x S, tenemos que S es un abierto que contiene a x con p(S) abierto y p|S
homeomorfismo. Por tanto p es homeomorfismo local.
Proposicin 3.10. Toda funcin cubriente es una identificacin abierta.
Demostracin. Toda funcin cubriente es un homeomorfismo local de donde
es abierta, adems sobreyectiva y as es una identificacin abierta.
X es una funcin cubriente y A X,
Proposicin 3.11. Si p : X
A
entonces p|p1 (A) es funcin cubriente.
3.1 Homeomorfismos locales
63
Demostracin. Sea x A, existe V vecindad abierta de x admisible, as

V A es un abierto en A que contiene a x, adems por la Proposicin 3.7.a
tenemos que V A es cubierto uniformemente por p|A
p1 (A) .
Proposicin 3.12. Se satisfacen:
a) La composicin de homeomorfismos locales es homeomorfismo local.
b) La restriccin de un homeomorfismo local a un abierto del dominio es
homeomorfismo local.
Demostracin. (a): Sean f : X Y y g : Y Z homeomorfismos locales.
f (V )
Sean x X y V una vecindad abierta de x es tal que f (V ) es abierto y f |V
es homeomorfismo, U una vecindad abierta de f (x) tal que g(U ) es abierto
g(U )
y g|U es homeomorfismo; tomemos W = V f 1 (U ), es claro que x W
y que W es abierto en X, adems f (W ) es un abierto en U y as g f (W )
gf (W )
gf (W )
f (W )
es un abierto en Z con g f |W
= g|f (W ) f |W homeomorfismo.
(b): Sean f : X Y homeomorfismo local y A X un abierto, la
funcin inclusin i : A X es homeomorfismo local y as f i = f |A es
homeomorfismo local.
o
n
i Xi A es un conjunto de funciones continuas,
Lema 3.13. si pi : X
i
son equivalentes:
`
`
`
I
pi : X
Xi es una funcin cubriente.
i
II pi es funcin cubriente para cada i A.
`
Demostracin.
` Tenemos que para cada j A, las inclusiones ij : Xj Xi
y kj : Xj Xi son funciones inyectivas, continuas y abiertas.
I II): Sea j A, tenemos que el diagrama
j
X
ij
pj
`
Xj
`
Xj
kj
pj
`
Xj
64
Fibraciones
es conmutativo, ya que ij |ij (Xj ) y kj |kj (Xj ) son funciones biyectivas, continuas
` k (X )
y abiertas; son homeomorfismos, adems por la Proposicin 3.13 pj |i j(X j
j
j
es funcin cubriente, as por el Lema 2.16 tenemos que pj es funcin cubriente.
`
II I): Sea (
x, j) X
abierta y pj
i , existe V Xj vecindad de x
admisible. Tomemos{Us }sB la familia de pj hojas sobre V , para cada s B
el diagrama
p j |U s
Us
ij
kj
`
Xj
`
k (V )
( pj )|i j(U )
j
`
Xj
es conmutativo, adems tenemos que ij , kj y pj |VU son homeomorfismos, de

`
`
k (V )
donde ( pj )|ijj(Us ) es homeomorfismo. kj (V ) es abierto en Xj pues kj es
`
S
abierta, adems ( pj )1 (kj (V )) = sB ij (Us ) con ij (Us ) abierto para cada
s B. Por tanto kj (V ) es una vecindad de (
x, j) abierta y pj admisible.
3.2.
Fibraciones
Definicin 3.14. Diremos que una funcin continua f : X Y tiene la

propiedad de levantamiento (nico) de homotopa respecto a un
espacio topolgico Z, si dado un diagrama conmutativo de funciones continuas, donde h0 (z) = (z, 0) para todo z Z:
Z
X
f
h0
Z I
: Z I : X funcin continua que hace conmutativo

existe una (nica) H
el diagrama:
3.2 Fibraciones
65
=X
h0
Z I
le llamaremos levantamiento de H que empieza con g.

AH
Definicin 3.15. Una funcin continua f : X Y es una fibracin (de
Hurewicz) si f tiene la propiedad de levantamiento de homotopa respecto
a cualquier espacio Y .
Definicin 3.16. Si X es un espacio topolgico entonces para toda x X,
la componente por trayectorias de x en X que denotaremos por c(x) es
la unin de todos los subespacios conexos por caminos de X que contengan a
x.
Definicin 3.17. Un espacio topolgico X es un espacio totalmente inconexo por trayectorias si, para toda x X, c(x) = {x}.
Proposicin 3.18. Si X es un espacio topolgico, son equivalentes:
a) X es totalmente inconexo por trayectorias.
b) Si f : I X es continua, entonces f es constante.
Demostracin. a) b), para esto veamos que b) a). Si existe f :
I X continua no constante entonces existe t en I tal que f (t) 6= f (0),
tenemos que f (t) f (I) c(x) pues f (I) es conexo por trayectorias y as
c(f (0)) 6= {f (0)}.
b) a), para esto veamos que a) b). Si X no es totalmente inconexo
por trayectorias entonces existen x, x0 X tales que x 6= x0 y x0 c(x), por
tanto existe f : I X continua tal que f (0) = x y f (1) = x0 , ya que c(x) es
conexo por caminos, y as f no es constante.
Ejemplo 3.19.
1. Toda funcin cubriente es fibracin (Teorema 2.23).
2. Si B es totalmente inconexo por trayectorias y b B entonces la inclusin i : {b} B es fibracin
Pues, si conmuta el diagrama de funciones continuas,
66
Fibraciones
{b}
h0
Y I
Para cada y Y , tenemos que Hy : I B definida por Hy (t) =

H(y, t) para cada t I, es continua, como B es totalmente inconexo
por trayectorias tenemos que Hy es constante por la Proposicin 3.19,
pero
H(y, 0) = H(h0 (y)) = i(g(y)) = b
:
por tanto H(y, t) = b para todo t I, as la funcin constante H
Y I {b} hace conmutativo el diagrama
g
/ {b}
=
h0
Y I
3. Si B y F son espacios topolgicos, la proyeccin pB : B F B es una

fibracin, la cual llamaremos fibracin trivial. En efecto, si conmuta el
diagrama de funciones continuas
Y
/B
F
pB
h0
Y I
: Y I B F la nica funcin continua que hace conmutar

Sea H
los diagramas
3.2 Fibraciones
67
Y I
H
BF
pB
Y I
pF gpY
BF
pF
donde pY : Y I Y y pF : B F F son proyecciones. Tenemos

que
h0 = H h0 = pB y pF H
h0 = pF g PY h0 = PF g
pB H
0 = g.
de donde Hh
Observacin 3.20. Sea pB : B F B una fibracin trivial. Las fibras de
pB son homeomorfas a F pues
p1
B (b) = {(b, x) B F |x F } = {b} F = F.
De esta forma si F no es un espacio discreto, pB no es una funcin
cubriente.
Definicin 3.21. Se dice que una fibracin p : E B tiene la propiedad
de levantamiento nico de trayectorias (ludt) si, el que f, g : I E
sean caminos tales que pf = p
g y f(0) = g(0), implica que f = g.
Teorema 3.22. Si p : E B es una fibracin, entonces son equivalentes
a) p tiene la propiedad ludt.
b) Si Y es conexo por caminos y f, g : Y E funciones continuas tales
que existe y0 Y tal que f (y0 ) = g(y0 ) y pf = pg, entonces f = g.
c) p tiene la propiedad de levantamiento nico de homotopa (Definicin
3.14).
d) Para todo b B, p1 (b) es totalmente inconexo por trayectorias.
Demostracin. a) b) Sea y Y , sea : I Y un camino de y0 a y
tenemos que f y g son caminos tales que f (0) = f (y0 ) = g(y0 ) = g(0)
y pf = pg, pues pf = pg. As f = g, por tanto f (y) = f (1) = g(1) =
g(y), de donde f = g.
b) c) Consideremos el diagrama de funcines conmutativas
68
Fibraciones
E
p
h0
Y I
yG
son levantamientos de H que empiezan con g :
Supongamos que H
Y E y sea (y, t) Y I, tenemos que (y, t) {y} I, donde {y} I es
conexo por caminos y
{y}I = H|{y}I = pG|
{y}I .
i) pH|
{y}I (0) = H(y,
0) = Hh
0 (y) = g(y) = Gh
0 (y) = G(y,
0) = G|
{y}I (0).
ii) H|
{y}I = G|
{y}I y as G(y,
t) = H(y,
t) para todo y Y y
De donde H|
= H.
para todo t I, por tanto G

c) d) Sea b B y f : I p1 (b) E funcin continua tomemos
e = f (0), notar que p(e) = b, consideremos la homotopa H : {e} I B
tal que H(e, t) = b para todo t I y la inclusin i : {e} E, tenemos en
siguiente diagrama conmutativo de funciones continuas
{e}
E
p
h0
{e} I
: {e} I E definida por H(e,

t) = f (t) y G
: {e} I E
Sean H
t) = e, tenemos que tanto G
como H
son levantamientos
definida por G(e,
t) = G(e,
t) = e
de H que empiezan con i, de donde H = G y as f (t) = H(e,
para todo t I, esto es, f es constante y por tanto p1 (b) es totalmente
inconexo por caminos.
d) a) para esto veamos que a) d). Sean f, g : I E caminos
tales que f(0) = g(0), pf = p
g y existe t0 I tal que f(t0 ) 6= g(t0 ), sin
prdida de generalidad, supongamos que t0 = 1, como pf = p
g , sean H :
1
pf p
g ' Cb I y b = pf (1) tenemos el siguiente diagrama de funciones
continuas
3.2 Fibraciones
69
f1 g
E
p
h0
I I
levantamiento de H que empieza con f1 g, como H((I

para el cual existe H
I) (I {1}) = {b} tenemos que : I p1 (b) definida por:
3s)
0 s 13
H(0,
(s) =
H(3s
1, 1) 13 s 23

H(1, 3 3s) 23 s 1
0) = f1 g(0) = f(1) 6= g(1) =
es camino en p1 (b) tal que (0) = H(0,
0) = (1), esto es, es un camino que une dos puntos
f1 g(1) = H(1,
distintos de p1 (b) con lo que p1 (b) no es totalmente inconexo por caminos.
X es una fibracin
Observacin 3.23. Cada funcin cubriente p : X
con ludt. Cada fibra p1 (x) es un espacio totalmente inconexo por trayectorias, pues es discreto (Lema 2.10), por lo tanto todos los teoremas sobre
fibraciones con ludt son vlidos tambin para funciones cubrientes y, desde
luego, tienen la propiedad de levantamiento nico de homotopa respecto a
cualquier espacio topolgico (lo que es consecuencia del Teorema 3.22).
La afirmacin recproca en la observacin 3.23 no es vlida. El siguiente
ejemplo muestra una fibracin con ludt que no es funcin cubriente.
Ejemplo 3.24. Sea E el subespacio de R2 formado por la unin de dos
circunferencias concentricas con ecuaciones en cordenadas polares r = 1 y
r = 2 y una espiral infinita T que tiende a cada una de las dos circunferencias
(con equaciones en coordenadas polares del tipo r() = (3 + ||+1

)/2, siendo
R un ngulo), la cual contiene a los puntos de la forma (1 + n1 , 0) y
(2 n1 , 0) para cada n = 2, 3, ... (Figura 3.1), y consideremos la funcin
x
p : E S 1 dada por p(x) = |x|
donde |x| representa la norma de x en R2 . Es
relevante notar que la restriccin de p en la espiral T es una funcin cubriente
equivalente a la funcin exp. Es fcil ver que p es una fibracin localmente
70
Fibraciones
Figura 3.1: Espacio E

tribial, esto es, para cada x S1 existe una vecindad abierta U de x en S1
tal que el siguiente diagrama es conmutativo
p|p1(U )
p1 (U )
#
U F .
donde F es homeomorfo al subespacio del intervalo [0, 1] formado por

los puntos n1 y 1 n1 para cada n = 1, 2, ..., . Es claro que F es totalmente
inconexo, pero no discreto, pues {0} y {1} no son abiertos en F
Por consiguiente, es una fibracin [6, chapter II, Theorem 13, Corollary
14]. Adems p tiene la propiedad ludt ya que cada fibra p1 (x) (homeomorfa
a F ) es totalmente inconexa por trayectorias (ver teorema 3.23 d)), pero p
no es una funcin cubriente pues p1 (x) no es un espacio discreto. Se puede
notar que E, en este ejemplo, es conexo y compacto.
Cabe mencionar que el conjunto de las funcines cubrientes coincide con
el de las fibraciones localmente triviales con fibra discreta.
Corolario 3.25. Si p : E B es una fibracin con levantamiento nico
de trayectorias y f, g : I E son trayectorias con f (0) = g(0) y H : pf '
: f ' g rel I.
pg rel I entonces H
Demostracin. Tenemos que H : I I B es funcin continua tal que para
todo t I:
i. H(t, 0) = pf (t) y H(t, 1) = pg(t)
ii. H(0, t) = pf (0) = pg(0) y H(1, t) = pf (1) = pg(1)
funcin continua tal que hace conmutativo el diagrama de funciones
Sea H
continuas
3.2 Fibraciones
71
=E
h0
I I
tenemos que H({0} I) = {pf (0)}, as H({0}

I) p1 (pf (0)), como
1
t) =
p (pf (0)) es totalmente inconexo por trayectorias tenemos que H(0,
0) = Hh
0 (0) = f (0). Analogamente,
f (0) = g(0) para todo t I, pues H(0,
ya que H({1} I) = {pf (1)}, H({1}

I) H 1 (pf (1)) y como en el caso
t) = f (1) para todo t I.
anterior, tenemos que H(1,
Sea h1 : I I I definida por h1 (t) = (t, 1) para todo t I, tenemos
1 = Hh1 = pg, as por la propiedad ludt de p tenemos que Hh
1=g
que pHh
de donde H(t, 1) = g(t). Como p(H(t, 0)) = H(t, 0) = pf (t), H(t, 0) = f (t)
t) = f (1) = H(1,
1) = Hh
1 (1) = g(1). Por
para todo t I, adems H(1,
tanto H : f ' g rel I.

Lema 3.26. La composicin de fibraciones (con propiedad ludt) es fibracin
(con propiedad ludt).
Demostracin. Supongamos que p : E B y p0 : B B 0 son fibraciones, y
que el siguiente diagrama de funciones continuas es conmutativo
Y
E
p
h0
p0
/ B0
Y I
0 : Y I B tal que: H
0 h0 = pg y p0 H
0 = H.
Por ser p0 fibracin existe H
: Y I E tal que Hh
0 = g y
As por ser p una fibracin existe H
0
0
0
pH = H , as H es tal que Hh0 = g y p pH = H. Por tanto p p es fibracin.

Si adems p y p0 tienen la propiedad de levantamiento nico de trayectorias
: Y I E es funcin continua tal que p0 pG
= H y Gh
0 = g entonces
yG
0
0
como p tiene la propiedad ludt pG = H y as G = H pues p tiene la

propiedad ludt.
H
72
Fibraciones
Lema 3.27. Si p : E B es una fibracin (con propidedad ludt) y C es una

p(C)
componente por trayectorias de E. Entonces p|C es fibracin (con propiedad
ludt) y p(C) es componente por trayectorias de B
Demostracin. Sea C 0 la componente por trayectorias de B que contiene a
p(C) tenemos que; sean b p(C), b0 C 0 y f : I C 0 camino de b a b0
entonces si x p1 (b) C, existe f : {x} I E funcin continua que hace
conmutar el diagrama
/
{x}
=E
h0
{x} I
f I
Donde i : {x} E es inclusin y I : {x} I I es definida por

I (x, t) = t para cada t I. Como f(x, 0) = i(x) = x C y {x} I es
conexo por caminos, tenemos que f({x}I) C; pero pf(x, 1) = f I (x, 1) =
f (1) = b0 de donde b0 p(C) y por tanto p(C) = C 0 .
Supongamos que el siguiente diagrama de funciones continuas es conmutativo
g
C
p(C)
h0
p|C
Y I
p(C)
entonces conmuta el diagrama

Y
p(C)
h0
p|C
Y I

/ p(C)
3.2 Fibraciones
73
funcin continua tal que pH

= jH
donde i y j son inclusiones. As existe H
0 = ig, de donde para todo y Y , H(y,
0) = g(y) C, pero C es
y Hh
componente por trayectorias de E y as H({y} I) C para todo y Y ,
por tanto H(Y

I) C, esto es, conmuta el diagrama
g
<C
p(C)
h0
p|C
C
H|
Y I
Y I
p(C)
: Y I C es levantamiento
Si adems p tiene la propiedad ludt y G
0 = ig y piG
= jH de donde iH|
C =
de H que empieza con g entonces iGh
Y I
= iG
y as G
= H|
C .
H
Y I
Teorema 3.28. Si p : E B es continua y E es localmente conexo por

caminos, entonces son equivalentes
a) p es fibracin (con la propiedad ludt).
p(C)
b) Para cada componente por trayectorias C de E, p|C

la propiedad ludt) y p(C) es componente de B.
es fibracin (con
Demostracin. a) b) Lema 3.27.

b) a) Supongamos que el siguiente diagrama de funciones continuas es
conmutativo
Y
E
p
h0
Y I
S
Puesto que E = jJ Cj , unin disjunta, con {Cj |j J} la familia de

S
componentes por trayectorias de E, entonces Y = jJ g 1 (Cj ) y Y I =
S
1
1
jJ (g (Cj ) I). Si y g Cj , entonces H(y, 0) = Hh0 (y) = pg(y) pero
g(y) Cj y p(Cj ) componente conexa por trayectorias de B, por tanto
74
Fibraciones
j tal que conmuta el

H({y} I) pCj y as para cada j J existe H
diagrama
g
g 1 (Cj )
Cj
p
h0
j
H
g 1 (Cj ) I
p(Cj )
: Y I E la funcin definida por H(y,

t) = H
j (y, t) con
Sea H
1
y g (Cj ), entonces H es un levantamiento de H que empieza con g. Ahora

p(C )
es un levantamiento de
si para toda j J, p|Cj j tiene la propiedad ludt y G
j
j = G|
C1
H que empieza con g entonces para todo j J tenemos que G
g
(Cj )I
j = H
j . De donde G
= H.
es tal que G
3.3.
Fibraciones y grupo fundamental
Lema 3.29. Si p : E B es una fibracin con la propiedad ludt, b B y

x p1 (b). Entonces p : 1 (E, x) 1 (B, b) es monomorfismo.
Demostracin. Si [f ] 1 (E, x) es tal que p [f ] = [pf ] = [Cb ] = [pCx ],
entonces pf ' pCx rel I y f (0) = x = Cx (0), por el Corolario 3.25 tenemos
de donde [f ] = [Cx ] y as p es monomorfismo.
que f ' Cx rel I,
Lema 3.30. Si f : X Y es una funcin continua y : I X es una
trayectoria con (0) = x0 y (1) = x1 , entonces conmuta el diagrama
1 (X, x0 )
1 (Y, f (x0 ))
[]
[f ]
1 (X, x1 )
1 (Y, f (x1 ))
f
h i h
i
= f 1
f
Donde [] [] = [ 1 ] y [f ]
3.3 Fibraciones y grupo fundamental
75
Demostracin. Sea [] 1 (X, x0 ) tenemos que [f ] f [] = [f ] [f ] =

[f 1 f f ] = f [] []
Lema 3.31. Si f : X Y es una funcin continua, X es conexo por

caminos, y Y y {x0 , x1 } f 1 (y), entonces f 1 (X, x0 ) y f 1 (X, x1 ) son
subgrupos conjugados de 1 (Y, y)
Demostracin. Sea : I X un camino de x0 a x1 , tenemos que conmuta
el diagrama
1 (X, x0 )
1 (Y, f (x0 ))
[f ]
[]
1 (X, x1 )
1 (Y, f (x1 ))
As [f ] f 1 (X, x0 ) = f [] 1 (X, x0 ) = f 1 (X, x1 ), (ya que [] =

que, por el Lema 1.25, es isomorfismo de grupos), de donde

f 1 (X, x1 ) = f 1 f (X, x0 ) [f ]
Teorema 3.32. Si p : E B es una fibracin con propiedad ludt y E es

conexo por caminos, entonces para todo b B, {p 1 (E, x)|x E} es una
clase de conjugacin de subgrupos de 1 (B, b).
Demostracin. Sean b B, b0 p1 (b) y C la clase de conjugacin de
p 1 (E, b0 ) en 1 (B, b) por el Lema 3.31 tenemos que
n
o
p 1 (E, b)|b p1 (b) C
Sea [] 1 (B, b) consideremos el diagrama conmutativo
76
Fibraciones
n o
b0
>E
h0
n o
b0 I
donde H(b0 , t) = (t) para cada t I y definamos

: I E por
(t) =
b0 , t), tenemos que
b0 , 0) = i(b0 ). Sea
H(
es tal que p
= ,
(0) = H(
b1 =
(1) tenemos que p(b1 ) = p
(1) = (1) = b, de donde b1 p1 (b), as
tenemos que el siguiente diagrama es conmutativo
1 (E, b0 )
[
]
/ 1 (B, b)
[p
] =[]
1 (E, b1 )

/ 1 (B, b)
Por tanto
p [
] 1 (E, b0 ) = p (E, b1 ) = [] p 1 (E, b0 ) = []1 p 1 (E, b0 ) []
de donde []1 p 1 (E, b0 ) [] = p 1 (E, b1 ), con lo que
n
o
C p 1 (E, b)|b p1 (b) .
Definicin 3.33. Si p : E B es una fibracin con la propiedad ludt y

: I B es un camino en B tal que (0) = b0 , (1) = b1 . Definimos
T[] : p1 (b0 ) p1 (b1 ) de la siguiente manera:
la nica funcin continua tal que conmuta
Sea H
p1 (b0 )
77
/E
;
h0
p1 (b0 ) I

/B
donde I es la proyeccin en I. Para todo x p1 (b0 ), pH(x,

1) =
p1 (b1
1
1
I (x, 1) = (1) = b1 . As H(p (b0 ) {1}) p (b1 ), de donde H|p1 (b0 )I

est bien definida. Sea h1 : p1 (b0 ) p1 (b0 ) I definida por h1 (x) = (x, 1)
para cada x p1 (b0 ), definimos
1 (b
1
p1
T[] = H|
p (b0 )I h1
Tenemos que T[] (x) = H(x,

1) para cada x p1 (b0 ). Notar que, si
{x}I es un levantamiento de que empieza en x y
x p1 (b0 ), entonces H|
termina en H(x,
1) = T[] (x). Por tanto podemos describir la accin de T[]
de la siguiente manera: si x p1 (b0 ), tmese un levantamiento
de que
empiece en x; entonces T[] (x) =
(1); a T[] se le llama la traslacin de
la fibra a lo largo de []; veremos que T[] slo depende de [].
Lema 3.34. Si p : E B es fibracin con la propiedad ludt y para todo
: I B camino, T[] es la traslacin a lo largo de [], entonces:
entonces T[] = T[0 ] .
a) Si ' 0 rel I,
b) T[0 ] = T[0 ] T[] ,
c) T[Cb ] = Ip1 (b) , para cada b B.
Demostracin. a): Sean b0 = (0), b1 = (1), b p1 (b0 ),
y
0 levanta0
mientos de y respectivamente que comienzan en b, por el Corolario 3.25
tenemos que
'
0 rel I y por tanto T[] (b) =
(1) =
0 (1) = T[0 ] (b).
b): Sean b0 = (0), b1 = (1) = 0 (0), b2 = 0 (1). Si b p1 (b0 ), sea
0
un levantamiento de 0 que comienza en
(1), con
levantamiento de que
comienza en b, entonces
0 es levantamiento de 0 que comienza en b,

por tanto
T[0 ] (b) =
0 (1) =
0 (1) = T[0 ] (
0 (1)) = T[0 ] T[] (b)
78
Fibraciones
c): Si b p1 (b), entonces Cb es un levantamiento de Cb que comienza en

b y as T[C ] (b) = C(1) = b.
b
b
Definicin 3.35. Sea B un espacio topolgico, llamaremos grupoide fundamental de B a la categora con objetos B, con morfismos {[] | es camino
en B}, la funcin dominio Dom [] = (0), la funcin codominio Cod [] =
(1), sean 1 y 2 caminos en B tales que Dom [2 ] = Cod [1 ] la regla
de composicin dada por ([1 ] , [2 ]) = [1 2 ]. Denotaremos por (B) al
grupoide fundamental de B.
Teorema 3.36. Sea p : E B una fibracin, K la subcategora plena de la
categoria de espacios topolgicos Top cuyos objetos son las fibras de p, esto es,
los objetos de K son los espacios topolgicos p1 (b) con x B, los morfismos
de K, denotados por M or(K), son las funciones continuas entre fibras de p.
T : M or(B) M orK, donde tal que T [] = T[] y T : Ob(B) ObK
definido porT (b) = p1 (b) es funtor.
Demostracin. Por la parte (a) del Teorema 3.34 tenemos que T est bien
definida, por la parte (b) tenemos que conserva composiciones y conserva
identidades por la parte (c).
Corolario 3.37. Si p : E B es fibracin con propiedad ludt y B es conexo
por caminos, entonces para todo b, b0 B, p1 (b)
= p1 (b0 ).
Demostracin. Sea : I B un camino de b a b0 , As tenemos que T[] :
p1 (b) p1 (b0 ) es funcin continua con inversa continua T[1 ] : p1 (b0 )
p1 (b) pues 1 ' Cb rel I y T preserva identidades, por tanto p1 (b)
=
1 0
p (b ).
Definicin 3.38. Si p : E B es fibracin con propiedad de ludt, la multiplicidad de una fibracin p o el nmero de hojas de p es la cardinalidad
de una de sus fribras.
Teorema 3.39. Sea p : E B es fibracin con propiedad de ludt y E
conexo por caminos. Si b0 = p(x), entonces la multiplicidad de p coincide
con el ndice de p (1 (E, x)) en 1 (B, b0 ).
Demostracin. Sea D el conjunto de clases laterales derechas de p (1 (E, x))
en 1 (B, b0 ) y sea g : p1 (b0 ) D definida por g(b) = p 1 (E, x) [p
], donde
: I E es camino de x a b. Notar que si es camino de x a b en E

1 ] p 1 (E, x), as p 1 (E, x)[p
entonces (p [
])(p [1 ]) = p [
] =
79
de donde g est bien definida. Sea f : D p1 (b0 ) definida

p 1 (E, x)[p],
por f (p 1 (E, x) []) = T[] (x), si p 1 (E, x) [] = p 1 (E, x) [] entonces
= (1)
=
[ 1 ] p ( E, x), existe levantamiento de 1 tal que (0)
x, de donde
=x
T[1 ] (x) = T[1 ] T[] (x) = (1)
y as T[] (x) = T[] (x), con lo que f est bien definida.
Sea b p1 (b0 ) entonces
f g(b) = f (p 1 (E, x) [p
]) = T[p] (x) =
(1) = b
ya que
(0) = x y
(1) = b, de donde f g = Ip1 (b0 ) . Por otro lado tenemos
que
gf (p 1 (E, x) []) = g(T[] (x)) = g(
(1)) = p 1 (E, x) [p
] = p 1 (E, x) []
ya que p
= y
(0) = x, por tanto gf = ID . As f es biyeccin de D a
1
p (b0 ).
Definicin 3.40. Una fibracin p : E B con propiedad de ludt es una
fibracin regular si dado un camino cerrado en B, o bien todos los levantamientos de son caminos cerrados o ninguno lo es.
Teorema 3.41. Si p : E B es una fibracin con propiedad de ludt y E es
conexo por trayectorias, entonces son equivalentes
a) p es regular;
b) Para todo b B, para cualesquiera b, b0 p1 (b), p 1 (E, b) = p 1 (E, b0 );
c) Para todo b B, para cualquier b p1 (b), p 1 (E, b) es subgrupo
normal de 1 (B, b);
d) Existe x E tal que p 1 (E, x) es subgrupo normal de 1 (B, p(x));
e) Existe b0 B tal que: Si es un camino cerrado en b0 en B, entonces
o todos los levantamientos de son caminos cerrados o ninguno lo es.
Demostracin. a) b) Sean b B, b, b0 p1 (b) y [] p 1 (E, b), existe
[
] 1 (E, b) tal que p [
] = []. Como b0 p1 (b) existe
0 levantamiento
0
0
0
de tal que
(0) = b y como p es regular,
es cerrado en b0 de donde
[] = [p
0 ] p 1 (E, b0 ), as p 1 (E, b) p 1 (E, b0 ). De forma similar
tenemos que p 1 (E, b) p 1 (E, b0 )
80
Fibraciones
b) c) Por el Teorema 3.32 tenemos que
n
o n
o
1
0 0
1
p 1 (E, b )|b p (b) = [] 1 (E, b) [] | [] p 1 (B, b)
n
o
n
o
y por b) tenemos que p 1 (E, b0 )|b0 p1 (b) = p 1 (E, b) , por tanto
p 1 (E, b) es es subgrupo normal de 1 (B, b).
c) d) Es claro.
d) e) Sea b0 = p(x), por el Teorema 3.32, para todo b p1 (b0 )
tenemos que p 1 (E, b) es subgrupo normal de p (B, b0 ). Si es un camino
cerrado en b0 de B y existe
levantamiento de tal que
es camino cerrado
en b, as [] = [p
] p 1 (E, b). Por tanto sea un levantamiento de tal
= [] p 1 (E, b) = p 1 (E, b0 ) y por tanto
que (0)
= b0 entonces [p]
1 (E, b0 ), as
es camino cerrado.
[]
e) a) para esto veamos que a) e) Sean un camino cerrado en
un levantamiento
b0 en B,
un levantamiento de con
(0) = b0 =
(1),
de con (0)
= b1 6= b2 = (1).
Tomemos b B y camino en B tal
que (0) = b0 , (1) = b, entonces existen 0 , 1 , 2 levantamientos de tales
que j (0) = bj para j = 0, 1, 2; Como p tiene la propiedad de ludt tenemos
2 son levantamientos de
que 1 (1) 6= 2 (1) de donde 01
0 y 11
1
pero el primero es un camino cerrado y el segundo no lo es.
3.4.
Teorema de levantamiento
Definicin 3.42. Un cuadro conmutativo de funciones continuas

W
g0
f0
es un cuadrado cartesiano (diagrama de Pull-back, producto fibrado)

Si dadas : A X, : A Z funciones continuas tales que f = g
entonces existe una nica funcin continua : A W tal que g 0 = y
f 0 = , o sea, que hace conmutativo el diagrama:
3.4 Teorema de levantamiento
W`
81
g0
/X
>
f0
~

/Y
Lema 3.43. Si el siguiente diagrama es un cuadrado cartesiano

W
g0
/X
f0
(I)

/Y
Entonces {f 0 , g 0 } es monofuente (Definicin 1.34).

Demostracin. Supongamos que el diagrama (I) es un cuadrado cartesiano,
sea una topologa sobre W que hace continuas a f 0 y g 0 , por definicin de
cuadrado cartesiano existe una nica que hace conmutar el diagrama
(W, We )
g0
<X
g0
f0
(W, )
y
f0
g
Sean w W y w0 = (w) tenemos que g 0 (w0 ) = g 0 ((w) = g 0 (w) y

f 0 (w0 ) = f 0 ((w)) = f 0 (w). Tomemos : {w, w0 } X la funcin constante
g 0 (w) y : {w, w0 } Z la funcin constante f 0 (w), tenemos que f (w) =
g(w) y f (w0 ) = g(w0 ), por tanto existe una nica 0 tal que hace conmutar
el diagrama
82
Fibraciones
g0
Wc
/X
;
{w, w }
f0
{

/Y
Pero tanto Cw como Cw0 , las funciones constantes de {w, w0 } a W en

w y w0 respectivamente, en el lugar de 0 , hacen conmutativo el diagrama
anterior, as que Cw = Cw0 y w = w0 . Lo anterior implica que = IW , y por
tanto W , esto es {f 0 , g 0 } es fuente de funciones.
Sean 1 , 2 : A W funciones continuas tales que f 0 1 = f 0 2 y g 0 1 =
0
g 2 tenemos que el siguiente cuadro es conmutativo
g0
W`
>X
1
2
g 0 1
f0
~
f 0 2
pues f g 0 1 = f g 0 2 = gf 0 2 de donde 1 = 2 , por tanto {f 0 , g 0 } es monofuente.

Lema 3.44. Si f : X Y y g : Z Y son funciones continuas, W =
{(x, y) X Z|f (x) = g(y)} y f 0 y g 0 son las restricciones a W , de las
proyecciones, entonces:
a) El cuadrado
W
g0
f0
Z
es cartesiano
83
b) Si
g 00
W0
f 00
es un cuadrado cartesiano, entonces existe un nico homeomorfismo

h : W 0 W tal que conmuta el diagrama
g0
Wa
/X
=
h
g 00
f0
}

/Y
f 00
Demostracin. a) Por la definicin de W el cuadro de a) es conmutativo,

sean : A X y : A Z funciones continuas tales que f = g,
tomemos : A X Z la nica funcin continua tal que X = y
Z = se tiene que (A) W , pues si a A, tenemos que f X (a) =
0
0
f (a) = g(a) = Z (a), de donde = |W
A es tal que g = y f = .
0
0 0
0 0
Si : A W es una funcin continua tal que g = y f = como
{f 0 , g 0 } es monofuente, 0 = . Por tanto el cuadrado en a) es cartesiano.
b) Por la definicin de cuadrado cartesiano existen nicas h : W W 0
0
y h : W 0 W funciones continuas tales que g 00 h = g 0 , f 00 h = f 0 , g 0 h0 = g 00
y f 0 h0 = f 00 , de donde hh0 = IW 0 y h0 h = IW pues se tienen los diagramas
conmutativos
g 00
W 0a
hh0
=X
g 00
IW 0
f 00
g0
W`
f 00
f 00
f0
}
>X
g0
IW
h0 h
}

/Y
84
Fibraciones
As h es el homeomorfismo, la unicidad es dada por la propiedad del

cuadrado cartesiano.
Lema 3.45. Si p : E B es una fibracin (con propiedad de ludt) y el

diagrama
g0
/E
p0

/B
es un cuadrado cartesiano, entonces p0 es fibracin (con propiedad de ludt).

Demostracin. Supongamos que conmuta el diagrama
f
g0
/W
p0
h0
Y I
funcin continua y nica G

funcin continua tales
tenemos que existen H
que los siguientes diagramas son conmutativos
Y
g0 f
/E
?
g0
Wc
h0
Y I
gH

/B
Y I
p0
{
/E
;
H
g

/B
0 = Hh
0 = g 0 f y p0 Gh
0 = Hh0 = p0 f , como {p0 , g 0 } es monode donde g 0 Gh
85
0 = f , esto es, el diagrama

fuente tenemos que Gh
f
<W
h0
p0
Y I
es conmutativo, por tanto p0 es fibracin. Si p tiene la propiedad de ludt,

como G
son nicas funciones que hacen conmutativos
tenemos que tanto H
0
los diagramas, por tanto p tiene la propiedad de ludt.
Lema 3.46. Si p : E B es fibracin, f : Y B es una funcin continua,

Y es contraible y f (Y ) p(E) 6= , entonces existe f : Y E funcin
continua tal que pf = f .
Demostracin. Como f (Y ) p(E) 6= existe y0 f 1 (p(E)), definamos
b0 = f (y0 ) y tomemos e0 p1 (b0 ). Por ser Y contraible existe H funcin
continua tal que H : Cy0 ' IY , por tanto conmuta el diagrama
Ce0
E
p
h0
Y I
/Y
levantamiento de f H que comienza en Ce0 . Sea f =

De donde existe H
1 , donde h1 : Y Y I es definida por f1 (y) = (y, 1) para cada y Y ,
Hh
1 = f Hh1 = f IY = f .
tenemos que f es funcin continua y pf = pHh
Observacin 3.47. Si p y f son como en el Lema 3.46 entonces se satisfacen:

1. f (Y ) p(E);
86
Fibraciones
2. Para todo y0 Y existe f : Y E tal que conmuta

(E,
e0 )
9
(Y, y0 )
(B, f (y0 )
donde e0 p1 (f (y0 )).

Demostracin. a): Por Lema 3.46 existe f : Y E tal que pf = f , as
f (Y ) = pf(Y ) p(E).
b): Sea y0 Y , por a) tenemos que y0 f 1 (P (E)) y el resultado de
sigue de la demostracin del Lema 3.46.
Teorema 3.48. Si Y es un espacio topolgico tal que {y0 } Y es retracto
fuerte por deformacin de Y , p : E B una fibracin con propiedad de
ludt y f : (Y, y0 ) (B, b0 ) es una funcin continua, entonces para todo
e0 p1 (b0 ) existe f : (Y, y0 ) (E, e0 ) continua tal que pf = f .
Demostracin. Como {y0 } es retracto fuerte por deformacin de Y existe
r : Y {y0 } funcin continua tal que ri ' I{y0 } y existe H : Y I Y tal
que H : ir ' IY rel {y0 }, donde i : {y0 } Y es la inclusin, pero Cy0 es la
nica funcin continua de Y a {y0 }, por tanto r = Cy0 ; Como p es fibracin
con la propiedad de ludt, pCe0 = Cb0 y f Hh0 = f iCy0 = Cb0 existe nica
continua tal que hace conmutar el diagrama
funcin H
Ce0
/
;
E
p
h0
Y I
/Y
1 , tenemos que pf = pHh

1 = f Hh1 = f IY = f , adems como
Sea f = Hh
H es relativa a {y0 } tenemos que f H({y0 } I) = f {y0 } = {b0 } de donde
1
1
H({y
0 } I) p (b0 ) pero p (b0 ) es totalmente inconexo por trayectorias,
1 (y0 ) = H(y
0 , 1) = H(y
0 , 0) = e0 y as f(y0 ) = e0 .
de donde Hh
87
Recordar que si Y es un espacio topolgico e y0 Y entonces P (Y, y0 )

es el espacio topolgico formado por los caminos en Y con inicio en y0 junto
con la topologa compacto abierta, (Definicin 1.36), definimos tambin la
funcin : P (Y, y0 ) Y de forma que (f ) = f (1) para cada f P (Y, y0 ).
Lema 3.49. Si Y un espacio topolgico y y0 Y , entonces {Cy0 : Y Y }
es retracto fuerte por deformacin de P (Y, y0 ).
Demostracin. Tenemos que I es localmente compacto y Hausdorff, as por
el Lema 1.35 la funcin evaluacin % : P (Y, y0 ) I Y es continua. Consideremos la funcin : I P (Y, y0 ) I P (Y, y0 ) I definida por
(s, f, t) = (f, s(1 t)) para cada (s, f, t) I P (Y, y0 ) I, tenemos que
es continua, as = % es continua. Por otro lado consideremos la funcin
de la Definicin 1.40;
: C(I P (Y, y0 ) I, Y ) C(P (Y, y0 ) I, C(I, Y ))
tenemos que ()(f, t)(0) = (0, f, t) = f (0(1 t)) = f (0) = y0
As H = () : P (Y, y0 ) I P (Y, y0 ) es funcin continua tal que:
H(f, 0) = f pues para toda f P (Y, y0 ), H(f, 0)(s) = f (s(1 0)) = f (s)
para cada s I; H(f, 1) = Cy0 pues para toda f P (Y, y0 ), H(f, 1)(s) =
f (s(1 1)) = f (0) = y0 para cada s I; H(CY0 , t) = Cy0 para cada t I
pues H(CY0 , t)(s) = Cy0 (s(1 t)) = y0 . Por tanto sea Cy0 : P (Y, y0 ) {Cy0 }
tenemos que Cy0 es continua, Cy0 i = I{Cy } y H : IP (Y,y0 ) ' iCy0 {Cy0 }.
0
Teorema 3.50. Si Y es un espacio topolgico, entonces son equivalentes:

a) Para todo y0 Y , la funcin : P (Y, y0 ) Y es abierta;
b) Y es localmente conexo por caminos.
Demostracin. a) b) : Sea U un abierto y W componente conexa por
trayectorias de U , tomemos y0 W , tenemos que : P (Y, y0 ) Y , por tanto
((1, u)) es abierto. Sea f (1, U ) tenemos que (f ) = f (1) U y f (0) = y0 ,
por tanto f (1) W pues W es componente conexa por trayectorias y y0 W ,
as ((1, U )) W . Si y1 W entonces existe f : I U camino de y0 a y1 , por
tanto f (1, U ) y y1 = f (1) = (f ) ((1, U )). Por tanto W = ((1, U )),
de donde W es abierto, deTdonde Y es localmente conexo por caminos.
b) b) : Sean y0 Y , ni=1 (Ki , Wi ) un bsico de la topologa de P (Y, y0 ),
definamos J = {1, . . . , n}; A = {i j|1
/ Ki }; B = {i J|1 Ki }; W =
T
W
.
i
B
88
Fibraciones
T
tenemos que (f ) = f (1)
T Si B 6= entonces para toda f iJ (Ki , Wi ) T
W
=
W
.
Por
otro
lado
si
B
=
6
entonces
iBT i
B Wi = Y , por tanto sea
T
f T
J (Ki , Wi ) tenemos que (f ) = f (1) Y =
iB Wi = W . De forma
que ( J (Ki , W
Ti )) W .
Sean f iJ (Ki , Wi ), U la componente por Tcaminos de f (1) en W
por b), U esSabierto en Y . Probaremos que U ( iJ (Ki , Wi ). Sea t0 I
0
0
1
tal que sup
que existe tal t0 pues
S iA Ki < t < 1 y t f (U ), tenemos S
como sup iA Ki es cerrado y acotado entonces sup iA Ki 6= 1, adems
con f continua tenemos que existe un abierto (s, 1] en I con f (s, 1] U ,
as f ((s, 1] (Sup iA Ki , 1]) W , basta que t0 (s, 1] (Sup iA Ki , 1];
tenemos que f (t0 ) U , sean y1 U , f 0 : I U camino de f (t0 ) a y1 ,
definimos g : I Y de la siguiente forma

f (t) si 0 t t0
g(t) =
tt0
si t0 t 1
f 0 1t
0
Tenemos que g es una fucin continua. Adems sea j J y t Kj , si
t < t0 , entonces g(t) = f (t) Wi , por otro lado si t0 t, entonces
S j B pues
de lo contrario jT A y as t Kj , de donde t SupKj T
Sup iA Ki < t0 .
n
( ni=1 (Ki , Wi )), de
De donde g i=1 (Ki , WTi ), as y1 = g(1) = (g)
T
donde (f ) = f (1) U ni=1 (Ki , Wi ), por tanto ni=1 (Ki , Wi ) es abierto.
Corolario 3.51. Si Y es un espacio topolgico conexo y localmente conexo
por caminos, entonces para toda y0 Y la funcin : P (Y, y0 ) Y es una
identificacin abierta.
Demostracin. Como Y es conexo y localmente conexo por caminos tenemos
que Y es conexo por caminos, de donde es sobreyectiva, continua y abierta;
por tanto es identificacin abierta.
Lema 3.52. Si p : (E, b0 ) (B, b0 ) es fibracin con porpiedad de ludt, E es
conexo por caminos, B es conexo y localmente conexo por caminos, entonces
son equivalentes:
a) p es homeomorfismo;
b) p 1 (E, b0 ) = 1 (B, b0 ).
Demostracin. a) b) : Si p es homeomorfismo, entonces p es homeomorfismo de grupos entre 1 (E, b0 ) y 1 (B, b0 ).
89
b) a) : Por el Lema 3.27 tenemos que p : E p(E) es fibracin

con propiedad de ludt y p(E) es componente por trayectorias de B, como B
es conexo por caminos tenemos que p(E) = B de donde p es sobreyectiva.
Por el Teorema 3.39 tenemos que la cardinalidad de p1 (b0 ) coincide con el
ndice de p 1 (E, b0 ) en 1 (B, b0 ) por tanto la cardinalidad de p1 (b0 ) es 1,
as p es inyectiva. Por el Corolario 3.51 tenemos que : (P (B, b0 ), Cb0 )
(B, b0 ) es identificacin abierta, por el Lema 3.49 {Cb0 } es retracto fuerte por
deformacin de P (B, b0 ), as por el Teorema 3.48 existe : (P (B, b0 ), Cb0 )
(E, b0 ) funcin continua tal que p
= . Veamos que p es una funcn abierta,
sea U un abierto en E tenemos que 1 (U ) es abierto en P (B, b0 ) pues es
continua, como es abierta (
1 (U )) es abierto en B y P (U ) = (
1 (U )),
en efecto, sea u U existe f p(B, b0 ) tal que (f ) = p(u), de donde p
(f ) =
(f ) = p(u), como p es sobreyectiva (f ) = u U , as f 1 (U ), por tanto
p(u) = (f ) (
1 (U )), de esta forma tenemos que p(U ) (
1 (U )), por
1
1
otro lado, sea b (
(U )) tenemos que existe g (U ) tal que (g) = b,
as (g) U y (g) = b, de donde b = (g) = p
(g) p(U ), por tanto
1
p(U ) (
(U )). Por lo anterior p es abierta, continua y biyectiva; por
tanto p es homeomorfismo.
Lema 3.53. Si Y es un espacio topolgico y f P (Y, y0 ), entonces existe

f : (I, 0) (P (Y, y0 ), Cy0 ) funcin continua tal que (f) = f .
Demostracin. Consideremos las funciones : I I I definida por
(s, t) = st para cada (s, t) I I y la funcin (Definicin 1.40) :
C(I, Y ) C(I, C(I, Y )), tenemos que es continua, as f C(I, Y ),
de donde (f ) C(I, C(I, Y )), adems para cada t I tenemos que
(f )(t)(0) = f (t, 0) = f (0) = y0 , as (f )(I) P (Y, y0 ). Sea f =
(f ) : I P (Y, y0 ) tenemos que f es continua y f(0) = Cy0 pues
f(0)(t) = (f )(0)(t) = f (0, t) = f (0) = y0 para cada t I. Adems
(f) = f(1) = f pues f(1)(t) = (f )(1)(t) = f (1, t) = f (t) para cada
t I.
Lema 3.54. Si p : (X, X ) (Z, Z ) es una identificacin y f : (X, X )

(Y, Y ) una funcin continua tal que para toda x, x0 X si p(x) = p(x0 ), entonces f (x) = f (x0 ). Entonces existe una nica funcin continua g : (Z, z )
(Y, Y ) tal que gp = f .
90
Fibraciones
Demostracin. Sea z Z tenemos que para cada x, x0 p1 (z) como p(x) =

p(x0 ) tenemos que f (x) = f (x0 ), as g : (Z, z ) (Y, Y ) definida para cada
z Z por g(z) = f (x) donde x p1 (z) es funcin. Por definicin de g
tenemos que gp = f , adems si h : (Z, Z ) (Y, Y ) es una funcin continua
tal que hp = f , tenemos que hp = gp y como p es sobreyectiva entonces
h = p, finalmente como p es identificacin tenemos que Z es la topologa
final de Z con respecto a (X , p) de donde g es continua pues gp = f es
continua.
Corolario 3.55. Supongamos que p : (X, X ) (Z, Z ) y q : (X, X )
(Y, Y ) son identificaciones tales que si p(x) = p(x0 ) entonces q(x) = q(x0 ).
Entonces existe un homeomorfismo h : (Z, Z ) (Y, Y ) tal que q = hp.
Demostracin. Por el Lema 3.54 tenemos que existen nicas h : (Z, Z )
(Y, Y ) y h0 : (Y, Y ) (Z, z ) funciones continuas tales que q = hp y p = h0 q,
adems por la definicin de estas funciones en la demostracin del Lema 3.54
tenemos que hh0 = IY y h0 h = IZ de donde h1 = h0 es continua y por tanto h
es homeomorfismo tal que q = hp. Si g : (Z, Z ) (Y, Y ) es homeomorfismo
tal que q = gp, entonces por el Lema 3.54 tenemos que h = g.
Corolario 3.56. Toda identificacin es la composicin de un cociente y un
homeomorfismo.
Demostracin. Sea p : (X, X ) (Z, Z ) una identificacin, Sea la relacin
de equivalencia en X definida por x x0 sii p(x) = p(x0 ) y consideremos el
cociente : (X, ) (X/ , ) donde es la particin de X mediante la
relacin de equivalencia , entonces por el Corolario 3.55 tenemos que existe
h : (X/ , ) (Z, Z ) homeomorfismo tal que p = h.
Lema 3.57. Toda funcin continua y suprayectiva es composicin de un
cociente y una funcin biyectiva y continua.
Demostracin. Sea p : (X, X ) (Z, Z ) una funcin continua y suprayectiva, Sea la relacin de equivalencia en X definida por x x0 sii p(x) = p(x0 )
y consideremos el cociente : (X, ) (X/ , ) donde es la particin
de X mediante la relacin de equivalencia , sea h : (X/ , ) (Z, Z )
definida por h[x] = p(x) tenemos que h es funcin pues si [x] = [x0 ], entonces
p(x) = p(x0 ); es claro que p = h. Veamos que h es continua, sea U un
91
abierto en Z tenemos que 1 h1 (U ) = (h)1 (U ) = p1 (U ) es abierto en

X, como es la topologa final con respecto de y X tenemos que h1 (U )
es abierto en X/ , adems como p es suprayectiva para cada z Z existe
x X tal que p(x) = z de donde h[x] = p(x) = z, esto es h es sobreyectiva.
Finalmente si [x] 6= [x0 ] tenemos que h[x] = p(x) 6= p(x0 ) = h[x0 ], de donde h
es tambin inyectiva.
Teorema 3.58 (Teorema de levantamiento). Si p : (E, b0 ) (B, b0 ) es
una fibracin con propiedad de ludt, Y es conexo y localmente conexo por caminos, f : (Y, y0 ) (B, b0 ) es funcin continua. Entonces son equivalentes:
I Existe nica f : (Y, y0 ) (E, b0 ) funcin continua tal que p f = f .
II f 1 (Y, y0 ) p 1 (E, b0 ).
Demostracin.
I) II) : Tenemos que f 1 (Y, y0 ) = p f 1 (Y, y0 ) p 1 (E, b0 ).
II) I) : Tenemos que p es fibracin con propiedad de ludt y {Cy0 } es
retracto fuerte por deformacin de P (Y, y0 ), as por el Teorema 3.48 existe
una nica funcin continua tal que hace conmutar el diagrama
7
(E, b0 )
(P (Y, y0 ), Cy0 )
(Y, y0 )
(B, b0 )
Veamos que para toda g, g 0 P (Y, y0 ) si (g) = (g 0 ), entonces (g) =

(g ). Sean g, g 0 P (Y, y0 ) tales que (g) = (g 0 ), tenemos que g(1) = (g) =
(g 0 ) = g 0 (1), as [g g 01 ] 1 (Y, y0 ) de donde
0
[f g f g 01 ] = [f (g g 01 )] = f [g g 01 ] f 1 (Y, y0 ) p 1 (E, b0 )
Por tanto existe [] 1 (E, b0 ) tal que [f g f g 01 ] = [p], por el Lema
3.53 existen g, g0 : (I, 0) (P (Y, y0 ), Cy0 ) funciones continuas tales que
g = g y
g 0 = g 0 , tenemos que
p
g = f
g = f g y p
g0 = f
g0 = f g0
92
Fibraciones
adems
por tanto [p] = [p
g p
g01 ], esto es, p ' p
g p
g01 rel I,
tenemos que
p(1) = p(b0 ) = b0 = f (y0 ) = f (Cy0 (1)) = f (Cy0 ) = p
(Cy0 ) = p
g0 (0)
por el Corolario 3.25 tenemos que g0 '
de donde p p
g0 ' p
g rel I,
g rel I de donde
(g 0 ) = (
g 0 (1)) = g0 (1) = (
g (1)) = (g).
Tenemos que Y es conexo y localmente conexo por caminos, : P (Y, y0 )
Y es identificacin abierta, por el Lema 3.54 tenemos que existe una nica funcin continua f : Y E tal que f = , con esto tenemos que
f(y0 ) = f((Cy0 )) = (Cy0 ) = b0 adems pf = p = f y como es sobreyectiva, pf = f .
Corolario 3.59. Si P : (E, b0 ) (B, b0 ) es fibracin con propiedad de ludt,
B es conexo y localmente conexo por caminos, entonces son equivalentes:
a) Existe s : (B, b0 ) (E, b0 ) funcin continua tal que ps = IB .
b) p 1 (E, b0 ) = 1 (B, b0 ).
Demostracin. Por el Teorema 3.58 existe s : (B, b0 ) (E, b0 ) funcin continua tal que ps = IB si y slo si 1 (B, b0 ) = IB 1 (B, b0 ) p 1 (E, b0 ) si
y slo si p 1 (E, b0 ) = 1 (B, b0 ).
Captulo 4
Fibraciones y Correflexiones
En este ltimo captulo introduciremos el concepto de subcategora correflexiva, en el cual se podr observar que es la generalizacin de la propiedad
de levantamiento de una fibracin. A los morfismos de la subcategora que
generan levantamientos sern llamados correflexiones. Veremos que una subcategora correflexiva de la categora Top la cual contenga objetos no vacos
tiene la propiedad de que cada correflexion, en dicha subcategora, es biyectiva. Asociaremos a cada clase de funciones continuas, sobreyectivas y cerrada
bajo la formacin de cuadrados cartesianos, propiedad muy usada en el captulo 3, una subcategora de Top y veremos que esta subcategora asociada es
correflexiva. Esto ltimo mediante la cerradura de la subcategora asociada
ante la formacin de identificaciones y coproductos.
4.1.
Correflexiones
Definicin 4.1. Sea C una categora y H una subcategoria de C. Se dice

que H es una subcategora reflexiva de C si para todo objeto A de C existe
un objeto A en H, llamado H-reflector de A, y un morfismo rA : A A
en C, llamado H-reflexin de A, tal que para todo objeto B de H y todo
morfismo f : A B en C, existe un nico morfismo : A B en H tal
que rA = f .
Definicin 4.2. Sea C una categora y H una subcategora de C. Se dice
que H es una subcategora correflexiva de C si para todo objeto A de
C existe un objeto A en H, llamado H-correflector de A, y un morfismo
rA : A A en C, llamado H-correflexon de A, tal que para todo objeto B
93
94
de H y todo morfismo f : B A en C, existe un nico morfismo : B A

en H tal que rA = f .
A partir de esta lnea todas las subcategora de Top a las cuales nos
referiremos tendrn la propiedad de ser cerradas bajo homeomorfismos. Una
subcategora C de Top es cerrada bajo homeomorfismos si para todo objeto
B de Top tal que existe un objeto A de C y un homeomorfismo h : A B
en Top se tiene que B es un objeto de C.
Lema 4.3. Si H es cualquier subcategora correflexiva de Top cuya clase de
objetos tiene elementos no vacos, entonces toda H-correflexin es biyectiva.
Demostracin. Sean A Top y rA : A A una H-correflexon de A,
tomemos =
6 B H, notar que para cualquier funcin continua f : B A
existe una nica funcin continua : B A tal que el siguiente diagrama
es conmutativo
AO o
f
rA
A
>
B
sea x A, tomemos f (b) = x para toda b B, tenemos que f es
continua adems para cada b B tenemos que rA ((b)) = f (b) = x, as
rA es sobreyectiva. Sean a1 , a2 A tales que rA (a1 ) = rA (a2 ), tomemos
f 0 (b) = rA (a1 ) para toda b B, tenemos que f 0 es continua y existe un
nica funcin continua 0 : B A tal que f 0 = rA 0 , para i = 1, 2 sea
gi : B A definida por gi (b) = ai para cada b B, se tiene que g1 y g2
son funciones continuas tales que rA g1 = f 0 = rA g2 , de donde g1 = g2 y
a1 = a2 , as rA es inyectiva.
Definicin 4.4. A toda subcategora correflexiva de Top cuya clase de objetos
tiene elementos no vacos se le llama subcategora bicorreflexiva.
Definicin 4.5. Una funcin continua r : X Y se llama retraccin si
existe s : Y X continua tal que r s = IY .
Proposicin 4.6. Sea r : X Y una retraccin, entonces r es una identificacin.
4.1 Correflexiones
95
Demostracin. Ya que r es retraccin tenemos que existe s : Y X continua

tal que rs = IY , as sea y Y tenemos que s(y) X y r(s(y)) = y de donde
r es sobreyectiva. Adems la topologa en Y es la topologa final respecto a
r y la topologa de X pues sea g : Y Z una funcin con Z un espacio
topolgico, si g r es continua tenemos que g = g IY = g r s de donde
g es continua, por tanto tenemos que la topologa de Y es la topologa final
respecto a r y la topologa de X.
Proposicin 4.7. Si r : X Y es una retraccin inyectiva, entonces r es
un homeomorfismo.
Demostracin. Tenemos que r : X Y es una biyeccin continua con inversa continua s : Y X.
Proposicin 4.8. Si r : X Y es una retraccin y r = g f donde
f : X Z y g : Z Y son funciones continuas, entonces g es una
retraccin.
Demostracin. Ya que r es retraccin tenemos que existe s : Y X continua
tal que r s = IY ; puesto que r = g f , entonces
IY = r s = g f s
es decir, f s es un inverso derecho continuo de la funcin g.
Definicin 4.9. Se dice que una subcategora H de Top es una subcategora
cerrada bajo la formacin de retracciones ( de indentificaciones)
si, de que r : A B sea una retraccin ( una identificacin) con A en la
clase de objetos de H, se puede implicar que B es tambin un elemento de
la clase de objetos de H.
Lema 4.10. Toda subcategora bicorreflexiva de Top es cerrada bajo la formacin de retracciones.
Demostracin. Sean H una subcategora bicorreflexiva de Top, X espacio
topolgico, A H y r : A X una retraccin. Si X H y rX : X X
es una H-correflexin de X, entonces existe una funcin continua : A X
tal que rX = r. Tenemos que rX es una retraccin por la Proposicin 3.6
96
y por la Proposicin 3.7 y el Lema 3.3 tenemos que rX es un homeomorfismo

de donde X H.
Definicin 4.11. Diremos que M es una 0clase si M es una clase de
funciones continuas y sobreyectivas. Una 0clase M es una 1clase si para
cada cuadrado cartesiano
X
/ X1
X2
donde f es un elemento de M , se tiene que g tambin es un elemento de

M . A cada 0-clase M podemos asignar una subcategoria completa1 A(M ) de
Top, donde los objetos de A(M ) son los espacios A tales que:
Cada funcin f : X A que pertenece a M es una identificacn.
Ejemplo 4.12. Si M es la clase de todos los homeomorfismos, entonces
A(M ) = Top, pues para todo A Top cada f : X A homeomorfismo, f es continua, sobreyectiva y abierta, por la Observacin 2.4 f es una
identificacin y as A A(M ).
Ejemplo 4.13. Si M es la clase de todas las retracciones, entonces M es
una 0-clase y para todo espacio topolgico A toda retraccin r : X A es
una identificaccin pues sean s : A X funcin continua tal que rs = IA y
g : A Z una funcin tal que gr es continua tenemos que g = gIA = grs es
continua, por tanto la topologa de A es final respecto a {r : X A} y as
r es identificacin, de donde A(M ) = Top.
Ejemplo 4.14. Si H es una subcategora bicorreflexiva de Top y M es la
clase de H-correflexiones, entonces A(M ) = H. En efecto, sea A A(M ) y
sea rA : A A una H-correflexin de A tenemos que rA es identificacin
pues A A(M ), adems rA es biyectiva pues H es bicorreflexiva, as por
la parte (e) del Teorema 2.28 tenemos que rA es homeomorfismo, de donde
A H pues A H. Supongamos que A H; si rA : A A es una
H-correflexin de A, existe nica funcin continua : A A tal que
rA = IA , as rA es una funcin continua, sobreyectiva y tal que rA = IA
1
Sea C una subcategoria de Top, C es completa si para cualesquiera dos objetos A y
B de C se tiene que HomC (A, B) = HomTop (A, B).
4.1 Correflexiones
97
con funcin continua, de donde rA es una retraccin y por la Proposicin

4.6 rA es identificacin, por tanto A A(M ).
Ejemplo 4.15. Si M = , entonces A(M ) = Top. Sea A Top supongamos
que A
/ A(M ), esto es existe f : X A funcin que pertenece a M que no
es una identificacin, pero M = , por tanto A A(M ).
S
Lema
4.16.
Sea
{M
}
una
familia
de
0-clases,
entonces
A(
j
jJ
j Mj ) =
T
jJ A(Mj ).
Demostracin. Es claro que la unin de 0-clases es una 0-clase, adems si
M M 0 tenemos que A(M ) A(M 0 ), pues si A A(M 0 ) y f : X A es
un elemento de M , tenemos que f M SM 0 y as fTes identificacin pues
A A(M 0T
), de donde A A(M ). As A( j Mj ) S
jJ A(Mj ). Sea A un
objeto de jJ A(Mj ) y f : X A un elemento de jJ Mj ; como existe
un j0 J tal queSf Mj0 y A Mj0 , f es una identificacin, de donde A es
un objeto de A( j Mj )
Lema 4.17. La intersecin de 1-clases es una 1-clase.
Demostracin. Sea {Mj }jJ} una familia de 1-clases; consideremos el siguiente cuadrado cartesiano:
X
/ X1
X2
T
con f un elemento de jJ Mj , como f es T
un elemento de cada Mj tenemos
que g es un elemento de cada Mj , as g jJ Mj .
c a la interseccin
Notacin 4.18. Si M es una 0-clase, denotaremos por M
de todas las 1-clases que contienen a M .
a la clase de
Notacin 4.19. Si M es una 0-clase, denotaremos por M
0
funciones f tales que existe un cuadrado cartesiano:
98
X0
f0
Y0
con f M .
c=M
.
Lema 4.20. Sea M una 0-clase. Entonces M
es una 1-clase. Sea f M

, existe un cuadrado
Demostracin. Veamos que M
cartesiano de la forma
W
g
con g M de donde f es continua por la definicin de cuadrado cartesiano,

adems f sobreyectiva pues sea y Y tenemos que existe w W tal que
g(w) = 0 (y) pues g es sobreyectiva, as 0 i = gCw donde i : {y} Y es
inclusin y Cw : {y} W es la funcin constante en w, as existe : {y}
X nica funcin continua tal que f = i, de donde (y) X y f ((y)) = y.
Sea f 0 una funcin continua y un cuadrado cartesiano de la forma
X0
f0
Y0
4.1 Correflexiones
99
tenemos que el cuadrado

X0
f0
Y0
0 0
, as M
es una 1-clase.
es cartesiano, de donde f 0 M
pues para cada f : X Y en M tenemos que
Es claro que M M
X
IX
X
f
IY
es un cuadrado cartesiano, en efecto sean : Z X y : Z Y funciones

continuas tales que IY = f , tenemos que : Z X es una funcin
continua tal que IX = y f = IX = , si : Z X es una funcin
continua tal que IX = y f = tenemos que IX = , de donde = .
cM
. Sea f M
y M0 una 1-clase tal que M M0 , existe un
Por tanto M
cuadrado cartesiano
X
W
g
cM
.
donde g M M0 , as f M0 ya que M0 es una 1-clase. Por tanto M
Definicin 4.21. Sea C una subcategora de T op, C es una subcategora cerrada bajo la formacin
de coproductos si para cualquier familia
`
{Aj }jJ C el coproducto ( Aj , {ij })jJ es un objeto de C.
100
Teorema 4.22. Sea H cualquier subcategora bicorreflexiva de T op. Entonces:

a) H es cerrada bajo la formacin de identificaciones.
b) H es cerrada bajo la formacin de coproductos.
Demostracin. a) Sea f : A X una identificacin, con A H. Sea rX :
X X una H-correflexin de X, entonces existe : A X funcin
1
1
continua tal que rX = f . Adems rX
es continua porque lo es rX
f =
y f es una identificacin.
Por tanto, rX es un homeomorfismo y X H.
`
b) Sea ( Aj , {ij }jJ ) el coproducto de la familia {Aj }jJ donde cada
Aj H, tomemos rX : X X una H-correflexin de X, para cada`j
J existe j : Aj X funcin continua tal que rX
Aj
`j = ij , como
es coproducto existe una nica

Aj X tal que
` funcin
` continua f :
f ij = j . Tenemos que rX f : Aj Aj es funcin continua y es tal que
rX f ij = rX j = ij para cada j J, de donde rX f = I` Aj , pues I` Aj es la
1
nica funcin continua tal que I` Aj ij = ij , por tanto tenemos que rX
=f
es continua, de donde rX es homemomorfismo y as X H.
Teorema 4.23. Si H es una subcategora de Top con elementos no vacos,
entonces son equivalentes:
a) H es bicorreflexiva.
b) H es cerrada bajo identificaciones y coproductos.
Demostracin. a) b) : Teorema 4.22.
b) a) : Sea X Top, consideremos
S = {fj : Aj X|Aj H y fj es funcin continua}jJ
`
`
Sea ( Aj , {ij }jJ el coproducto de la familia {Aj }jJ , tenemos que
Aj
`
H pues H es cerrada bajo coproductos , as existe una nica f : Aj X
funcin continua tal que f ij = fj . Ya que para cada x X la funcin
Cx : B X pertenece a S, donde B H y B `
6= , tenemos que Cx = fj0
para algn j0 J, as para cada b B, ij0 (b) Aj y f ij0 (b) = fj0 (b) = x,
as
` f es sobreyectiva. Por el Lema 3.56 tenemos que existe un cociente g :
Aj Z y h : Z X continua y biyectiva tal que f = hg, como`
H es
cerrada bajo identificaciones tenemos que Z H pues es cociente de Aj .
4.1 Correflexiones
101
Finalmente sean rX = h, X = Z H tenemos que para toda j J la

funcin continua j = gij : Aj X es tal que
rX j = hgij = f ij = fj
de donde rX es una H-correflexon de X.
Teorema 4.24. Si M es una 1-clase, entonces A(M ) es una subcategora
correflexiva de Top.
Demostracin. Si A(M ) = entonces A(M ) es una subcategora correflexiva, pues de lo contrario existe A Top tal que para todo A , para
toda funcin continua rA : A A existen B A(M ) = y f : B A
funcin continua tales que para todo f : B A se tiene que rA f 6= f .
Supongamos que A(M ) = {} y que A(M ) no es una subcategora correflexiva, tenemos que existe A Top tal que para todo A A(M ) = {}
y para toda funcin continua rA : A A existe B A(M ) = {} y
f : B X funcin continua tales que para toda f : B A se tiene
que rA f 6= f , esto es existe b B = tal que rA f (b) 6= f (b); por tanto
A(M ) es subcategora correflexiva de Top. Supongamos que A(M ) tiene al
menos un elemento no vaco. Sean
` {Aj }jJ una familia arbitraria de objetos
no vacos de A(M ) y f : X Aj un elemento de M ; definamos para cada
i (A )
j J el espacio topolgico Xj = f 1 (ij (Aj )) y fj = Aj f |Xj j j : Xj Aj ,
`
S
tenemos que X = jJ Xj pues
S sea x X, f (x) Aj sii existe j0 J tal
que f (x) Aj0 {j0 } sii x jJ Xj , adems cada Xj es abierto en X pues
f es continua y ij es abierta para cada j J.
Veamos que para cada j J el siguiente diagrama es un cuadrado cartesiano
Xj
i0j
fj
Aj
ij
`
Aj
donde i0j : Xj X es la inclusin. En efecto, tenemos que las funcines

del diagrama son continuas pues tanto ij como i0j son inclusiones y fj es
102
composicin una restriccin de f y una proyeccin; por las definiciones de

Xj y fj el diagrama es conmutativo. Supongamos que el diagrama
i0j
Xj
<X
fj

`
Aj
ij
Aj
es conmutativo con y funciones continuas, tenemos que el diagrama

Xj
i0j
<X
Xj
fj

`
Aj
ij
Aj
es conmutativo pues
i. Sea z Z, f (z) = ij (z) Aj {j} de donde (z) f 1 (Aj {j}) =
Xj ; por tanto |Xj est bien definida y es continua por ser restriccin.
X
i (A )
ii. Sea z Z, tenemos que ij fj |Z j (z) = ij Aj fxjj j |Z j (z) = f (z) =

X
ij (z), como ij es inyectiva tenemos que fj |Z j (z) = (z), de donde
X
fj |Z j = .
X
iii. Sea z Z, i0j |Z j (z) = (z), de donde i0j |Z j = .

Ahora, h es funcin continua tal que conmuta el diagrama
Xj
`
i0j
<X
fj

Aj
ij
`
Aj
4.1 Correflexiones
103
Tenemos que para toda z Z, i0j h(z) = i0j |Xj (z), como i0j es inyectiva
h(z) = |Xj (z) y por tanto h = |Xj .
As fj M para cada j J, como fj `
: Xj Aj con Aj A(M )
tenemos que fj es una identificacin. Sea g : Aj Y una funcin tal que
gf es continua, tenemos que para cada j J, gij fj = gf i0j es continua, de
donde la funcin gij : Aj Y es continua pues fj es `
identificacin, como g
est definida por g(a, k) = gik (a) para cada (a, k) Aj , por el Teorema
1.31 tenemos que g es la nica funcin continua tal`que gij = gij para cada
j J, de donde g es continua y as la topologa de
` Aj es la topologa final
respecto a f , as f es identificacin y por tanto Aj A(M ).
A(M ) es cerrado bajo identificaciones. En efecto sea q : A X una
identificacin con A A(M ) y supongamos que f : Y X pertenece a M ,
consideremos el cuadrado cartesiano generado a partir del Lema 3.43
W
q0
f0
Por ser M 1-clase, f 0 M y como f 0 : W A con A A(M ) tenemos

que f 0 es identificacin, de donde qf 0 es identificacin. Sea g : X Z
funcin tal que gf es continua. Tenemos que gpf 0 = gf p0 es continua, como
pf 0 es identificacin tenemos que g es continua de donde f es identificacin
y as X A(M ). Finalmente por el Teorema 4.22 tenemos que A(M ) es
bicorreflexiva.
Esta ltima seccin se enfoca en el desarrollo de la teoria suficiente para la
demostracin del teorema 4.24 que es el Teorema 1.7 de [4] que siguiendo con
el desarrollo de esta ltima referencia se optienen resultados que relacionan
a las fibraciones con las correflexiones como el siguiente: Sea H una subcategora correflexiva de Top, entonces H es una h-subcategora correflexiva de
Top si y slo si cada H-correflexin es una fibracin de Hurewicz. Donde una
subcategora correflexiva H de Top es una h-subcategora correflexiva si para
cada espacio X de H se tiene que todos los espacios topolgicos de Top que
tienen la misma homotopa de X son objetos de H. (Teorema 2.2 [4]).
104
Bibliografa
[1] Baza, Durn Enrque Guillermo, Fibraciones y Correflexiones,
Revista Electrnica de Contenido Matemtico, U.N.A.M., Foro Red-Mat
Volumen 30, 2013.
[2] Rotman, Joseph J., An Introduction to Algebraic Topology, Graduate
Texts in Mathematics, Springer, 1988.
[3] Tamariz, Mascara ngel, Curso de Topologa general, Publicaciones del Departamento de Matemticas de la Facultad de Ciencias,
U.N.A.M. Vnculos Matemticos,1990.
[4] Salicrup, Graciela, Editado por Horst Herrlich y Carlos
Prieto, Categorical Topology the complete work of Graciela Salicrup,
Aportaciones Matemticas, Serie Notas de investigacin 2, Sociedad Matemtica Mexicana, 1988.
[5] Salicrup, Graciela, Introducin a la Topologa, Aportaciones Matemticas, Serie Textos Nivel medio 1, Sociedad Matemtica Mexicana,
1997.
[6] Spanier, Edwin H., Algebraic Topology, Higher Mathematics,
McGraw-Hill, 1966.
105
ndice alfabtico
Abierto 1
admisible 11
cubierto uniformemente 11
propio 52
Camino 2
cerrado 5
Cerrado 1
Clase de caminos 4
Componente por trayectorias 61
Continuazin de un camino 41
Coproducto topolgico 8
Cuadrado cartesiano 75
Encaje 55
Epipozo 7
Espacio cociente 3
Espacio cubriente 11
equivalente 34, 48
regular 29
universal 30
Espacio de rbitas 47
Espacio particin 3
Espacio topolgico 1
conexo por trayectorias 2
punteado 17
semilocalmente 1-conexo 43
simplemente conexo 27
totalmente inconezo por trayectorias 62
triplemente conexo 43
Estabilizador 24
Fibra 13
Fibracin 61
regular 74
Fuente de funciones 9
Funcin
abierta 2
cerrada 2
constante 5
continua 1
evaluacin 10
G-equivariante 33
inclusin 8
inducida 5
nulotpica 44
G-aplicacin 33
G-conjunto 23
transitivo 23
G-isomorfismo 34
Grupo de isotropa 24
Grupo fundamental 5
Grupoide fundamental 73
Hojas 11
Homeomorfismo 2
local 56
Homotopa 4
relativa 4
Identificacin 12
Levantamiento 18, 6061
Monofuente 9
Multiplicidad
106
NDICE ALFABTICO
de un espacio cubriente 26
de una fibracin 73
Normalizador 37
Nmero de Lebesgue 18
n-variedad 13
Orbita 24
Pozo de funciones 7
Producto cartesiano 10
Producto fibrado 75
Producto topolgico 10
Propiedad de levantamiento de homotopa 61
Propiedad de levantamiento nico de
homotopa 61
Propiedad de levantamiento nico de
trayectorias (ludt) 63
Proyeccin 10
Proyeccin cubriente 11
Proyeccin natural 3
Pull-back 75
H-correflexin 89
H-reflexin 89
Retraccin 90
Retracto 6
dbil 6
dbil por deformacin 6
fuerte por deformacin 6
por deformacin 6
Subcategora
bicorreflexiva 90
cerrada bajo
homeomorfismos 90
la formacin de coproductos 95
la formacin de identificaciones
91
la formacin de retracciones 91
completa 92
correflexiva 89
107
reflexiva 89
Topologa 1
cociente 3
compacto abierta 9
final 7
Transformacin cubriente 31
Traslacin de la fibra a lo largo de un
camino 72
Unin ajena 8
0-clase 92
1-clase 92

JesusGonzalezSandoval PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

JesusGonzalezSandoval PDF

Transféré par

Droits d'auteur :

Formats disponibles

Benemrita Universidad

INTRODUCCIN A ESPACIOS CUBRIENTES, FIBRACIONES Y

QUE PARA OBTENER EL TTULO DE

Introduccin a espacios cubrientes, fibraciones

Espacios topolgicos y funciones continuas

Daremos inicio a esta seccin introduciendo algunos conceptos bsicos de

Dado un conjunto X denotaremos por IX a la funcin identidad en X. Si

1.2 Grupo fundamental y homomorfismo inducido

Definicin 1.8. Sean (X, ) un espacio topolgico, Y un conjunto y f : X

Grupo fundamental y homomorfismo inducido

Definicin 1.12. Sean f, g : I X caminos con f (1) = g(0). Definimos el

Lema 1.14. Sea J un conjunto

f0 ' f1 relI y g0 ' g1 relI.

Si f0 (1) = f1 (1) = g0 (0) = g1 (0), entonces f0 g0 ' f1 g1 relI.

1.2 Grupo fundamental y homomorfismo inducido

es una funcin continua con H : f0 g0 ' f1 g1 relI.

1 (X, x0 ) = {[f ]|[f ] es una clase de caminos en X con [f ] = x0 = [g]}

Definicin 1.24. Sean X, Y espacios topolgicos, p : X Y una funcin

1.3 Familias de funciones y topologas especiales

Familias de funciones y topologas especiales

Definicin 1.27. Un pozo de funciones es una clase de funciones L =

1.3 Familias de funciones y topologas especiales

III. si {fj : (Xj , j ) (Y, )} es un pozo de

Adems se tiene que f (x, j) = fj (x) para cada x

La demostracin puede verse en [2].

Definicin 1.33. Una clase de funciones {fj : (X, X ) (Yj , Yi )}jA es

le llamaremos topologa compacto abierta.

1.3 Familias de funciones y topologas especiales

Demostracin. Demostracin en [2].

Xj |x(j) Xj para cada j J

La funcin p de la Definicin 2.2 es llamada proyeccin cubriente y un

2.1 Funciones cubrientes

p1 (x0 ) es un subespacio discreto de X.

p|W (W Ay ) son abiertos ajenos en X que contienen a x y y respectivamente,

propiedad local de X es heredada a X.

Es claro que p|Wi es continua y biyectiva, veamos que es tambin abierta.

2.1 Funciones cubrientes

Tenemos que para cada h, el conjunto hA es abierto en G pues para cada

(A1 )(A2 ) U . Adems como es abierta y A1 , A2 son abiertos tenemos

2.2 Teoremas de levantamientos

|hV es inyectiva pues para u, w V , si (hw) = (hu), entonces Hv = Hw

Con los resultados de la seccin 2.1 podremos demostrar el Teorema de

a a. De hecho W A, en efecto, sea w W tenemos que tanto f(w) como

2.2 Teoremas de levantamientos

de I tal que ti+1 ti < y t1 = 0. Sea x0 p1 (x0 ) por la primera parte de la

x0 ) es una funcin continua

con p f = f . La nicidad de la funcin f se sigue del Lema 2.20.

Recordar que si X e Y son espacios topolgicos y x0 X, entonces

Ms an si Y es conexo, entonces F es nica.

Demostracin. Veamos que es suficiente trabajar localmente. Supongamos

Sea y 0 Ny Nz tenemos que los siguientes diagramas son conmutativos

pues para cada t I, pFy (y 0 , t) = F |Ny I (y 0 , t) = F |Nz I (y 0 , t) = pFz (y 0 , t).

Si tomamos {Ny I|y Y }, que es cubierta abierta de Y I, por () y

2.2 Teoremas de levantamientos

f(1) = g(1) y F : f ' g rel I.

de donde F (0, 0) = F (h0 (0)) = f(0) = x0 . En particular, F (t, 0) = f(t).

t I, por tanto g(1) = F (1, 1) = f(1). De donde F : f ' g rel I.

2.2 Teoremas de levantamientos

p) es un espacio cubriente de X, entonces para todo

en x. Supongamos que p [f ] = [Cx ], tenemos que existe F : I I X funcin

existe una nica funcion continua F : I I X tal que F : f ' C x rel I,

Observacin 2.29. Para cada y Y con Y un G-conjunto, tenemos que

2.2 Teoremas de levantamientos