0% encontró este documento útil (0 votos)
112 vistas10 páginas

Espacios Recubridores y Topología

1) El documento define los conceptos de espacio topológico localmente arco-conexo y recubridor de un espacio topológico. 2) Se dan ejemplos de recubridores como la proyección de la esfera sobre el espacio proyectivo real. 3) El teorema 1 establece que existe una aplicación continua elevando otra al recubridor si y solo si el morfismo inducido en los grupos fundamentales está contenido en el subgrupo asociado al recubridor.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
112 vistas10 páginas

Espacios Recubridores y Topología

1) El documento define los conceptos de espacio topológico localmente arco-conexo y recubridor de un espacio topológico. 2) Se dan ejemplos de recubridores como la proyección de la esfera sobre el espacio proyectivo real. 3) El teorema 1 establece que existe una aplicación continua elevando otra al recubridor si y solo si el morfismo inducido en los grupos fundamentales está contenido en el subgrupo asociado al recubridor.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

ESPACIOS RECUBRIDORES

FRANCISCO URBANO

1. Introducción y ejemplos
Definición 1. Un espacio topológico X es localmente arco-conexo si todo
punto posee una base de entornos arco-conexos, esto es si para todo punto
x ∈ X y todo entorno U de x existe un entorno arco-conexo V de x con
V ⊂ U.
Es un ejercicio fácil probar que: X es localmente arco-conexo si y sólo si las
componentes arco-conexas de los abiertos de X son abiertos de X.

Para evitar tener ejemplos triviales y conseguir teoremas de clasifi-


cación, a lo largo del tema y sin que se imponga como hipótesis,
TODOS LOS ESPACIOS TOPOLOGICOS SERAN ARCO-
CONEXOS Y LOCALMENTE ARCO-CONEXOS.
Definición 2. Sea X un espacio topológico. Un recubridor de X es un par
(Y, p), donde Y es un espacio topológico y p : Y → X es una aplicación
continua cumpliendo la siguiente propiedad: para todo punto x ∈ X existe
un entorno abierto y arco-conexo U de x tal que cada componente arco-
conexa de p−1 (U ) se aplica homeomorficamente sobre U por la aplicación
p. A p, que trivialmente es sobre, se le llama la aplicación recubridora.
Por abuso de lenguaje, a Y se le llamará recubridor de X.
Ahora vamos a dar ejemplos de espacios recubridores.
• Sean X e Y espacios topológicos y p : Y → X un homeomorfismo.
Entonces (Y, p) es un recubridor de X.
• Sea p : Sn → RPn la proyección de la esfera sobre el espacio proyec-
tivo real. Entonces (Sn , p) es un recubridor de RPn .
• Sea p : R → S1 la exponencial compleja, p(t) = eit . Entonces (R, p)
es un recubridor de S1 .
• Sea p : S1 → S1 la aplicación p(z) = zn , donde z es un complejo de
módulo 1. Entonces (S1 , p) es un recubridor de S1 .
• Sean (Yi , pi ) recubridores de Xi con i = 1, 2. Entonces (Y1 × Y2 , p1 ×
p2 ) es un recubridor de X1 × X2 .
• Sea X la unión de dos circunferencias de radio 1 de R2 centradas en
(1, 0) y (−1, 0) (Tienen en común el punto (0, 0)). Sea Y = {( x, y) ∈
R2 | x o y son enteros} y p : Y → X la aplicación dada por
(
(−1, 0) + (cos 2πy, sin 2πy) si x ∈ Z
p( x, y) =
(1, 0) + (− cos 2πx, sin 2πx ) si y ∈ Z.
1
2 FRANCISCO URBANO

Entonces (Y, p) es un recubridor de X.


Proposición 1. Sea (Y, p) un recubridor de X. Entonces:
(1) p es una aplicación abierta.
(2) p es un homeomorfismo local, esto es una aplicación continua tal que para
todo y ∈ Y existen abiertos V y W en Y y X respectivamente con y ∈ V
y p : V → W es un homeomorfismo.
Es fácil probar que no todo homeomorfismo local es una aplicación re-
cubridora, como lo prueba el siguiente ejemplo. Consideremos p : (0, 4π ) →
S1 la aplicación p(t) = eit . Entonces es facil probar que p es un homeo-
morfismo local, pero en cambio no es una aplicación recubridora, pues el
punto (1, 0) ∈ S1 no posee un entorno fundamental.

2. Grupo fundamental y elevación de aplicaciones al recubridor


Lema 1. Sea (Y, p) un recubridor de X, x0 ∈ X y y0 ∈ p−1 ( x0 ).
(1) Si f : [0, 1] → X es un arco continuo con f (0) = x0 , entonces existe un
único arco continuo g : [0, 1] → Y cumpliendo g(0) = y0 y p ◦ g = f .
A g le llamamos una elevación de f al recubridor.
(2) Si H : [0, 1] × [0, 1] → X es una aplicación continua con H (0, 0) = x0 ,
entonces existe una única aplicación continua G : [0, 1] × [0, 1] → Y
cumpliendo G (0, 0) = y0 y p ◦ G = H. A G le llamamos una elevación
de H al recubridor.
Como consecuencia del Lema 1, se pueden probar facilmente los sigu-
ientes resultados:
Corolario 1. Si (Y, p) un recubridor de X, entonces los cardinales de los con-
juntos p−1 ( x ) con x ∈ X son iguales. A este número (posiblemente infinito) le
llamamos el numero de hojas del recubridor.
Corolario 2. Sea (Y, p) un recubridor de X, x ∈ X e y ∈ p−1 ( x ). Entonces
p∗ : Π(Y, y) → Π( X, x ) es un monomorfismo.
Del Corolario 2 se sigue que para todo y ∈ p−1 ( x ), p∗ (Π(Y, y)) es un
subgrupo de Π( X, x ) isomorfo a Π(Y, y). Además, si y1 , y2 ∈ p−1 ( x ) y
γ : [0, 1] → Y es un arco uniendo y1 con y2 , entonces puede probarse que
[ p ◦ γ]−1 ∗ p∗ (Π(Y, y1 )) ∗ [ p ◦ γ] = p∗ (Π(Y, y2 )),
esto es que p∗ (Π(Y, y1 )) y p∗ (Π(Y, y2 )) son subgrupos conjugados de
Π( X, x ).
También se tiene que si H es un subgrupo de Π( X, x ) conjugado de
p∗ (Π(Y, y)) con y ∈ p−1 ( x ), esto es si
H = [ f ]−1 ∗ p∗ (Π(Y, y)) ∗ [ f ],
con [ f ] ∈ Π( X, x ), entonces H = p∗ (Π(Y, z)) donde z = g(1) siendo g el
levantamiento de f al recubridor con g(0) = y. Por tanto, estos argumen-
tos prueban que:
ESPACIOS RECUBRIDORES 3

Proposición 2. Si (Y, p) es un recubridor de X y x ∈ X, entonces la familia de


subgrupos
{ p∗ (Π(Y, y)) | y ∈ p−1 ( x )}
forma exactamente una clase de conjugación de subgrupos de Π( X, x ).
En el Lema 1 se han levantado al recubridor aplicaciones continuas
definidas en [0, 1] y en [0, 1] × [0, 1]. Ahora vamos a abordar si es posi-
ble levantar al recubridor aplicaciones continuas definidas en un espa-
cio topológico arbitrario. Por razones obvias, a este espacio topológico le
seguimos pidiendo la conexión por arcos tanto global como local.
Sea pues (Y, p) un recubridor de X, Z un espacio topológico y Φ : Z →
X una aplicación continua. Si z0 ∈ Z, x0 = Φ(z0 ) e y0 ∈ p−1 ( x0 ), entonces
¿existe una aplicación continua Ψ : Z → Y cumpliendo Ψ(z0 ) = y0 y
p ◦ Ψ = Φ? En caso de que exista ¿es única?.
Vamos a obtener una condición necasaria para la existencia. Si tal apli-
cación Ψ existe, pasando a grupos fundamentales tenemos que
Φ∗ (Π( Z, z0 )) = p∗ (Ψ∗ (Π( Z, z0 ))) ⊂ p∗ (Π(Y, y0 )).
Lo sorprendente de esta condición es que también es suficiente.
Theorem 1. Sea (Y, p) un recubridor de X, Z un espacio topológico y Φ : Z →
X una aplicación continua. Si z0 ∈ Z, x0 = Φ(z0 ) e y0 ∈ p−1 ( x0 ), entonces
existe una aplicación continua Ψ : Z → Y con Ψ(z0 ) = y0 y p ◦ Ψ = Φ si y sólo
si Φ∗ (Π( Z, z0 )) ⊂ p ∗ (Π(Y, y0 )). Además tal elevación Ψ es única.
Observemos que como Π([0, 1]) = Π([0, 1] × [0, 1]) = 0, estos espacios
cumplen la condición del teorema 1. Además el teorema 1 pone de mani-
fiesto como una propiedad de la topología, la existencia de una aplicación
continua, se reduce a un problema algebráico.
Una aplicación interesante del teorema 1 es que los recubridores de
un grupo topológico son también grupos topológicos, convirtiendo a la
aplicación recubridora en un homomorfismo de grupos.
Proposición 3. Sea G un grupo topológico con elemento neutro e, ( G̃, p) un
recubridor suyo y ẽ ∈ p−1 (e). Entonces G̃ admite una estructura de grupo
topológico con elemento neutro ẽ que convierte a p en un homomorfismo de grupos.

3. Isomorfismos de recubridores. Grupo de transformaciones de un


recubridor
Definición 3. Sean (Y1 , p1 ) e (Y2 , p2 ) dos recubridores de X. Un homo-
morfismo de (Y1 , p1 ) en (Y2 , p2 ) es una aplicación continua Φ : Y1 → Y2
tal que p2 ◦ Φ = p1 . Si además Φ es un homeomorfismo, diremos que Φ
es un isomorfismo de (Y1 , p1 ) sobre (Y2 , p2 ). En tal caso decimos que los
recubridores son isomorfos.
Son claras las siguientes propiedades:
• La composición de homomorfismos es un homomorfismo.
• Si (Y, p) es un recubridor de X, entonces la identidad Id : Y → Y
es un isomorfismo de recubridores.
4 FRANCISCO URBANO

• El inverso de un isomorfismo es un isomorfismo.


Si (Y, p) es un recubridor de X, entonces un isomorfismo de (Y, p) sobre
(Y, p) es llamado una transformación recubridora o un automorfismo del re-
cubridor. Si representamos por A(Y, p) al conjunto de transformaciones
recubridoras, es claro que A(Y, p) es un grupo respecto de la composición,
el cual es un subgrupo del grupo de homeomorfismos de Y.
Si Φ es un homomorfismo del recubridor (Y1 , p1 ) en (Y2 , p2 ), entonces
Φ es un levantamiento al recubridor Y2 de la aplicación recubridora p1 (ver
definición). Por tanto usando la unicidad del teorema 1 se tiene que
Corolario 3. (1) Si (Yi , pi ), i = 1, 2 son recubridores de X y Φ, Ψ son
homomorfismos de (Y1 , p1 ) en (Y2 , p2 ) con Φ(y) = Ψ(y) para algún
y ∈ Y1 , entonces Φ = Ψ.
(2) Si (Y, p) es un recubridor de X y Φ ∈ A(Y, p) con Φ(y) = y para algún
y ∈ Y, entonces Φ = Id. Por tanto cualquier transformación recubridora
de (Y, p) diferente de la identidad actua sobre Y sin puntos fijos.
Usando ahora la existencia de levantamientos al recubridor del teorema
1 se tiene que
Corolario 4. Sea X un espacio topológico, (Yi , pi ), i = 1, 2 recubridores de X,
x ∈ X e yi ∈ pi−1 ( x ).
(1) Existe un homomorfismo Φ de (Y1 , p1 ) a (Y2 , p2 ) con Φ(y1 ) = y2 si y
sólo si ( p1 )∗ (Π(Y1 , y1 )) ⊂ ( p2 )∗ (Π(Y2 , y2 )).
(2) Existe un isomomorfismo Φ de (Y1 , p1 ) sobre (Y2 , p2 ) con Φ(y1 ) = y2 si
y sólo si ( p1 )∗ (Π(Y1 , y1 )) = ( p2 )∗ (Π(Y2 , y2 )).
Como consecuencia de la proposición 2 y corolario 4,(2) se obtiene que
Theorem 2. Sea X un espacio topológico, x un punto suyo e (Yi , pi ), i = 1, 2
recubridores de X. Entonces (Y1 , p1 ) e (Y2 , p2 ) son isomorfos si y sólo si la clases
de conjugación asociadas a los recubridores son iguales en el grupo Π( X, x ), esto
es
{( p1 )∗ (Π(Y1 , y)) | y ∈ p1−1 ( x )} = {( p2 )∗ (Π(Y2 , y)) | y ∈ p2−1 ( x )}.
Conviene observar que en el anterior teorema el resultado es indepen-
diente del punto x de X escogido.
Ejemplo 1. Sea X un espacio simplemente conexo e (Y, p) un recubridor suyo.
Entonces p : Y → X es un homeomorfismo. Por tanto dicho espacio sólo admite,
salvo isomorfismos, al par ( X, Id) como recubridor.
Ejemplo 2. Sea S1 la circunferencia unidad. Como su grupo fundamental es
isomorfo a Z (en particular abeliano), sus clases de conjugación son los subgrupos
suyos, esto es los subgrupos que se corresponden con mZ con m ∈ Z, m ≥ 0.
Por tanto usando los resultados anteriores, es fácil probar que, salvo isomorfismos,
los recubridores de S1 son:
p0 : R → S1 , p(t) = eit ; para m entero positivo, pm : S1 → S1 , pm (z) = zm .
ESPACIOS RECUBRIDORES 5

Ejemplo 3. Sea RPn el espacio proyectivo, cuyo grupo fundamental es isomorfo


a Z2 . Como es abeliano, sus clases de conjugación son sus subgrupos, esto es
{0, Z2 }. Por tanto, los resultados anteriores prueban que los recubridores de RPn
son (RPn , Id) y (Sn , p).
La pregunta natural que surge es: Dado x ∈ X y una clase de conju-
gación de subgrupos de Π( X, x ), ¿ existe un recubridor de X que tiene a
dicha clase como clase de conjugación asociada ?. La respuesta la daremos
mas adelante y no siempre es positiva. Lo será, si X admite un recubri-
dor especial al que llamaremos universal y que vamos a tratar de definir
ahora. Para ello estudiemos el siguiente resultado.
Proposición 4. Sean (Yi , pi ), i = 1, 2 recubridores de X y Φ : Y1 → Y2 un
homomorfismo de recubridores. Entonces (Y1 , Φ) es un recubridor de Y2 .
Definición 4. Un recubridor ( X̃, p) de un espacio X es llamado universal
si X̃ es simplemente conexo.
Observemos que si (Y, q) es otro recubridor universal de X, se tiene que
las clases de conjugación asociadas a ambos recubridores son iguales (son
las clases de conjugación trivial) y por el teorema 2 dichos recubridores son
isomorfos. Por tanto, salvo isomorfismos de recubridores, el recubridor
universal, de existir, es único.
Además, si X tiene un recubridor universal ( X̃, p) e (Y, q) es un re-
cubridor de X, entonces del corolario 4,(1) se sigue que existe un homo-
morfismo de recubridores Φ : X̃ → Y, y por tanto, la proposición 4 nos
asegura que ( X̃, Φ) es un recubridor de Y. Así el recubridor universal de
X, de existir, recubre a todos los recubridores de X. De ahí el nombre de
universal.
Para profundizar en el estudio del grupo de transformaciones de un
recubridor, vamos a probar que la fibra de cada punto es un espacio ho-
mogeneo.
Sea (Y, p) un recubridor de X y x un punto de X. Definimos
p−1 ( x ) × Π( X, x ) → p−1 ( x )
(y, α) 7→ y · α,
donde y · α se define como sigue: si α = [ f ] con f un lazo en X alrededor
de x y f˜ es el levantamiento de f a Y con f˜(0) = y, entonces y · α = f˜(1).
La definición es correcta pues si g es otro lazo en X con g ' f , entonces
levantando a Y la correspondiente homotopía, se tiene que g̃(1) = f˜(1).
Veamos que la aplicación anterior define una acción a la derecha de
Π( X, x ) sobre p−1 ( x ). En efecto es muy fácil probar que
y · 1 = y, ( y · α ) · β = y · ( α ∗ β ),
siendo 1 el neutro de Π( X, x ). Además, dicha acción es transitiva, en el
sentido de que si y1 , y2 son puntos de p−1 ( x ), entonces tomando un arco
f en Y que los una y siendo α = [ p ◦ f ], se tiene que y1 · α = y2 .
Por tanto hemos visto que p−1 ( x ) es un Π( X, x )-espacio homogéneo por
la derecha. Ahora, para identificar a este espacio homogéneo, basta con
6 FRANCISCO URBANO

calcular el subgrupo estabilizador en algun punto y ∈ p−1 ( x ), que es


definido por
Hy = {α ∈ Π( X, x ) | y · α = y}.
Es sencillo comprobar que
Hy = p∗ (Π(Y, y)),
y así, como espacios homogéneos, podemos identificar:

p−1 ( x ) ≡ Π( X, x )/p∗ (Π(Y, y)),


donde y es cualquier punto de p−1 ( x ). Como consecuencia de esta identi-
ficación, tenemos

Corolario 5. Si (Y, p) es un recubridor de X, entonces el número de hojas del


recubridor es el índice del subgrupo p∗ (Π(Y, y)) en Π( X, x ), done x ∈ X e
y ∈ p −1 ( x ).

Ahora vamos a relacionar el grupo de transformaciones recubridoras


con el grupo de automorfismos del espacio homogéneo p−1 ( x ).
Un automorfismo del espacio homogéneo p−1 ( x ) es una biyección ϕ :
p−1 ( x ) → p−1 ( x ) tal que

ϕ(y · α) = ϕ(y) · α, ∀ y ∈ p −1 ( x ), ∀α ∈ Π( X, x ).
Al grupo (respecto a la composición) de los automorfismos de p−1 ( x ) lo
representamos por Aut( p−1 ( x )).
Sea ahora Φ ∈ Aut(Y, p). Entonces Φ es una biyección de p−1 ( x ) y se
prueba facilmente que
Φ(y · α) = Φ(y) · α,
esto es, Φ| p−1 (x) es un automorfismo de p−1 ( x ). Como esta aplicación re-
speta la composición, se tiene bien definido un homomorfismo de grupos

F : Aut(Y, p) → Aut( p−1 ( x ))


Φ 7 → Φ | p −1 ( x ) .

Theorem 3. El homomorfismo anterior F es un isomorfismo.

Ahora usamos un resultado algebraico, que dice:

Theorem 4. Sea E un espacio homogéneo sobre G (esto es G actua transitiva-


mente por la derecha sobre E) y H el subgrupo estabilizador correspondiente a un
punto y ∈ E. Entonces existe un isomorfismo
Aut( E) ≡ N ( H )/H,
donde N ( H ) = { g ∈ G | gHg−1 = H } es el normalizador de H, esto es el mayor
subgrupo de G en el que H es un subgrupo normal.

Del teorema 3 y 4, obtenemos la siguiente identificación algebraica del


grupo de transformaciones de un recubridor:
ESPACIOS RECUBRIDORES 7

Corolario 6. Si (Y, p) es un recubridor de X, entonces el grupo de transforma-


ciones del recubridor es isomorfo al grupo cociente N ( p∗ (Π(Y, y)))/p∗ (Π(Y, y)),
siendo y cualquier punto en p−1 ( x ) y x cualquier punto de X,
Aut(Y, p) ≡ N ( p∗ (Π(Y, y)))/p∗ (Π(Y, y)).
Definición 5. Un recubridor (Y, p) de X es llamado regular si p∗ (Π(Y, y))
es un subgrupo normal de Π( X, x ), siendo y ∈ p−1 ( x ). La definición no
depende ni de x ni de y. Observemos que en tal caso N ( p∗ (Π(Y, y))) =
Π( X, x ) y que si Π( X, x ) es abeliano entonces todos sus recubridores son
regulares.
Corolario 7. Sea (Y, p) un recubridor de X y x un punto de X.
(1) Si (Y, p) es regular, entonces
Aut(Y, p) ≡ Π( X, x )/p∗ (Π(Y, y)), y ∈ p −1 ( x ).
(2) Si (Y, p) es el recubridor universal, entonces
Aut(Y, p) ≡ Π( X, x ),
y por tanto el número de hojas del recubridor es el orden del grupo Π( X, x ).
El símbolo ≡ significa isomorfismo de grupos.
Ejemplo 4. Sea (R, p) el recubridor de S1 con p(t) = eit . Probar que el grupo
de transformaciones de (Y, p) es dado por
Aut(R, p) = {Φn : R → R | Φn (t) = t + 2πn}.
Ejemplo 5. Sea (Sn , p) el recubridor de dos hojas de RPn . Probar que el grupo
de transformaciones de (Sn , p) es dado por
Aut(RPn , p) = { Id, A | A( p) = − p}.
Ejemplo 6. Sea (S1 , pn ) el recubridor de n-hojas de S1 con pn (z) = zn . Probar
que el grupo de transformaciones de (S1 , pn ) es dado por
2πk
Aut(S1 , pn ) = {Φk : S1 → S1 | Φk (z) = e n i z, k = 0, 1, · · · , n − 1}.
Theorem 5. No existe una aplicación continua F : S2 → S1 que respete antipo-
das, esto es que cumpla F (− x ) = − F ( x ), ∀ x ∈ S2 .
A este resultado se le llama Teorema de Borsuk-Ulam. Es fácil com-
probar que la versión del teorema de Borsuk-Ulam dada en teorema 3 del
tema "Grupo fundamental" es una consecuencia del teorema 5.

4. Recubridores regulares y espacios cocientes


Si (Y, p) es un recubridor de X, podemos definir una relación de equiv-
alencia en Y por: y1 Ry2 si y sólo si p(y1 ) = p(y2 ), esto es y1 , y2 ∈ p−1 ( x )
para algún x ∈ X. Es claro que p induce una aplicacíon p̂ : Y/R → X por
p̂([y]) = p(y), siendo [y] la clase de equivalencia de y. Como p es sobre,
continua y abierta, entonces p es una identificación, y el primer teorema
de homeomorfía nos dice que p̂ es un homeomorfismo. Por tanto el espa-
cio base de todo recubridor es un cociente del recubridor. Pero esta relación de
8 FRANCISCO URBANO

equivalencia se define en función del recubridor. Si queremos definir una


relación de equivalencia en un espacio para que él sea un recubridor del
cociente, hemos de analizar en profundidad la relación anterior.
Sabemos que Aut(Y, p) actua sobre la fibra de todo punto de x, pero
no tiene que actuar transitivamente, esto es dados y1 , y2 ∈ p−1 ( x ) no tiene
por qué existir Φ ∈ Aut(Y, p) con Φ(y1 ) = (y2 ). Así, la relación anterior
no es la inducida por Aut(Y, p). En el siguiente resultado vemos cuando
esas dos relaciones coinciden.

Lema 2. Sea (Y, p) un recubridor de X. Entonces Aut(Y, p) actua transitiva-


mente sobre p−1 ( x ) con x ∈ X si y sólo si (Y, p) es un recubridor regular de
X.

Como consecuencia, se tiene que si (Y, p) es un recubridor regular de


X, entonces X es homeomorfo a Y/Aut(Y, p), siendo dicha relación la
siguiente: y1 Ry2 si y sólo si existe Φ ∈ Aut(Y, p) con Φ(y1 ) = y2 .
Como Aut(Y, p) es un subgrupo de Homeo (Y ), la pregunta es: Sea Y
un espacio topológico y G un subgrupo del grupo Homeo (Y ), ¿ bajo que
condiciones de G, (Y, π ) es un recubridor de Y/G, siendo π la proyección,
y G = Aut(Y, π )?
Es claro que hay condiciones necesarias para ello. Como Aut(Y, p) actua
sin puntos fijos sobre Y, G debe actuar sin puntos fijos sobre Y. Vamos a
refinar esta condición necesaria a una que involucre topología. Si y ∈ Y
y W es la componente aarco-conexa de p−1 (U ) que contiene a y, siendo
U un entorno elemental de x = p(y), entonces todo Φ ∈ Aut(Y, p) con
Φ 6= Id cumple que Φ(U ) ∩ U = ∅. Popr tanto esta es una condición
necesaria más fuerte que actuar sin puntos fijos.

Definición 6. Sea Y un espacio topológico y G un subgrupo del grupo de


Homeo (Y ). Diremos que G actua propia y discontinuamente sobre Y si
para todo punto y ∈ Y existe un entorno V de y tal que Φ(V ) ∩ V = ∅
para todo Φ ∈ G con Φ 6= Id. Es claro que en tal caso, G actua sobre Y sin
puntos fijos.

Proposición 5. Sea Y un espacio topológico (con las típicas propiedades) y G un


subgrupo del grupo Homeo (Y ) que actua propia y discontinuamente sobre Y. Si
p : Y → Y/G es la proyección de Y sobre su cociente, entonces (Y, p) es un
recubridor regular de Y/G y Aut(Y, p) = G.

Ilustramos este resultado con el siguiente ejemplo.

Ejemplo 7 (Espacios lente). Sea

S2n+1 = {(z1 , · · · , zn+1 ) ∈ Cn+1 | |z1 |2 + · · · + |zn+1 |2 = 1}

la esfera de dimensión impar y p ≥ 2 un entero. Entonces para todo k ∈


{0, 1, · · · , p − 1} definimos Φk : S2n+1 → S2n+1 como la aplicación dada por
2πik
Φ k ( z 1 , · · · , z n +1 ) = e p ( z 1 , · · · , z n +1 ).
ESPACIOS RECUBRIDORES 9

Entonces G = {Φ0 , Φ1 , · · · , Φ p−1 } es un grupo de homeomorfismos de S2n+1


que actua propia y discontinuamente sobres S2n+1 . Al espacio cociente le llamamos
espacio y lente y lo representamos por L2n +1 = S2n+1 /G.
p
Como consecuencia de la teoría desarrollada, S2n+1 es el recubridor universal
de L2n +1 , G = Aut (S2n+1 ) y Π ( L2n+1 ) = Z .
p p p

5. Existencia de espacios recubridores


De la proposición 2 y del teorema 2 se sigue que cada recubridor (Y, p)
de un espacio X, salvo isomorfismos, está determinado por la clase de
conjugación de subgrupos de Π( X, x ): { p∗ (Π(Y, y)) | y ∈ p−1 ( x )}. Por
tanto es natural la siguiente cuestión: Dado X y una clase de conjugación
de subgrupos de Π( X, x ), ¿ existe un espacio recubridor de X cuya clase
de conjugación asociada sea la dada? La respuesta no siempre es positiva.
Empezamos probando un resultado parcial.
Proposición 6. Sea X un espacio topológico que admita el recubridor universal,
esto es que la clase de conjugación trivial se realiza como la clase de conjugación de
un recubridor. Entonces para toda clase de conjugación de subgrupos de Π( X, x ),
existe un recubridor de X cuya clase de conjugación es la dada.
Por tanto el problema a abordar ahora es ¿cuando un espacio X admite
el recubridor universal? En primer lugar vamos a obtener alguna condi-
ción necesaria. Si (Y, p) es el recubridor universal de X, sea x ∈ X y U un
entorno elemental de x. Dado y ∈ p−1 ( x ), sea W la componente por arcos
de p−1 (U ) que contiene a y. Si j : W → Y y i : U → X son las inclusiones,
entonces p ◦ j = i ◦ p|W . Y por tanto tenemos el correspondiente diagrama
conmutativo de grupos y homomorfismos p∗ ◦ j∗ = i∗ ◦ ( p|W )∗ . Como
( p|W )∗ es un isomorfismo, ya que p|W es un homomorfismo, y Π(Y, y) = 0,
se tiene que
i∗ : Π(U, x ) → Π( X, x )
es el homomorfismo trivial: i∗ = 0.
Definición 7. Un espacio X es llamado semilocalmente simplemente conexo
si todo punto suyo x posee un entorno abierto y arco-conexo U tal que el
homomorfismo inducido por la inclusión: Π(U, x ) → Π( X, x ) es trivial.
Esto significa que todo lazo alrededor de x en U es homotópico en X al
lazo constante. Es claro que si U es simplemente conexo, también cumple
la condición anterior.
Ejemplo 8. Para cada entero positivo n, sea
Cn = {( x, y) ∈ R2 | ( x − 1/n)2 + y2 = 1/n2 }
y X = ∪∞ n=1 Cn dotado de la topología inducida de R . Entonces el punto (0, 0)
2

no tiene la propiedad anterior y por tanto X no es semilocalmente simplemente


conexo.
Theorem 6. Sea X un espacio semilocalmente simplemente conexo (y con las
propiedades típicas). Entonces X tiene recubridor universal, y por tanto, para
10 FRANCISCO URBANO

cada clase de conjugación de subgrupos de Π( X, x ), existe un recubridor de X


que tiene a dicha clase de conjugación como la clase de conjugación asociada.

También podría gustarte