Professional Documents
Culture Documents
Jose Manguce 1
1 Universidad
Autonoma
Benito Juarez
de
05 agosto de 2016
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
1 / 19
Temas a exponer :
Grupos Hiperbolicos.
El Problema de la Palabra.
La Frontera.
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
2 / 19
Grupos Hiperbolicos
Definicion.
Una geodesica
es un mapeo : I M tal que, a, b I
d((a), (b)) =| a b |
Una geodesica
k-local es un mapeo
: I M tal que, si | a b | k y a, b I, entonces
d((a), (b)) =| a b |
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
3 / 19
Triangulos
Hiperbolicos
Definicion
es un triangulo
formado por segmentos geodesico
tales que :
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
4 / 19
Un espacio metrico
H sera hiperbolico,
si es finitamente generado y si
R2 no es hiperbolico.
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
5 / 19
Primeros resultados
geodesica
k-local. Si k 8, entonces la imagen de , Im() esta
contenida en una vecindad de radio no mayor a 2 sobre el segmento
geodesico
[(a), (b)].
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
6 / 19
El Problema de la Palabra
Definicion.
Sea G un grupo finitamente generado por A.
1
2
3
compongan.
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
7 / 19
Grupos hiperbolicos
05 agosto de 2016
8 / 19
de Dehn.
Teorema. Los grupos hiperbolicos
admiten una presentacion
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
9 / 19
Hasta este punto tenemos que si H es hiperbolico,
entonces admite
de Dehn.
una presentacion
Sera cierto el recproco ?
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
10 / 19
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
11 / 19
La Frontera
Definicion.
Grupos hiperbolicos
05 agosto de 2016
12 / 19
Ejemplo
Sea X la grafica de Cayley de
D
E
Z Z2 = x, y | y 2 = e, xy = yx
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
13 / 19
Ejemplo
Sea X la grafica de Cayley del grupo
Z Z = hx, y | xy = yxi
con la metrica
definida al final del captulo 1. Consideremos a (0, 0)
como punto base. Defina an = x n , bn = y n y cn = x n y n . Entonces las
sucesiones an = x n , bn = y n y cn = x n y n convergen a infinito y
(an .cn ) = (bn .cn ) = n y (an .bn ) = 0.
ademas
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
14 / 19
anterior si es de
Un resultado importante es que la relacion
Definicion.
La frontera de X sera X = S / .
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
15 / 19
Ejemplos
1
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
16 / 19
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
17 / 19
b que consta de
de subconjuntos de R
Sea B la coleccion
1
espacios metricos.
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
18 / 19
GRACIAS
Maguce (UABJO)
Grupos hiperbolicos
05 agosto de 2016
19 / 19