Vaco

Introducci on
Grupo de Transformaciones de Mobius

Fractales
Transformaciones de Mobius y fractales.
Sergio Angulo
Escuela Colombiana de Ingeniera
Julio Garavito
Mayo 2014
Sergio Angulo Transformaciones de Mobius y fractales.
Introducci on
Fractales
1
Introduccion
Transformaciones de Mobius
Transformaciones elementales
Ejemplos
2
Grupos de Shottky
Transformaci on de apareamiento
3
Fractales
Introducci on
Fractales
Las transformaciones de Mobius, o transformaciones racionales son las funciones
T : C C de la forma
w = T(z) =
az + b
cz + d
, a, b, c, d C. (1)
Si ad bc = 0 entonces la derivada
w
=
ad bc
(cz + d)
2
.
se anula y la funcion resulta constante, por esto asumimos ad bc ,= 0.
Introducci on
Fractales
Para a ,= 0 denimos
a
0
= , y veamos que si despejamos z obtenemos
z =
dw + b
cw a
.
Por lo tanto w(
d
c
) = y w() =
a
c
.
Para continuar es conveniente asociar la transformacion T con la matriz
g =
a b
c d
y escribiremos T
g
para la transformacion T.
Tenemos las siguientes propiedades:
1
T
g
= t
g
si y solo si existe tal que la matriz g = g
2
T
g
1
g
2
= T
g
1
T
g
2
3
Si g =
1 0
0 1
, entonces T
g
(z) = z.
Introducci on
Fractales
Las transformaciones de Mobius mas elementales son:
Traslacion
T
a
(z) = z + para C
Es una transformacion que a cada complejo z le asocia z +, por lo que tenemos
una funcion biyectiva que manda el plano complejo en s mismo. Trasladandolo
todo un vector
Rotacion y Homotecia
T
a
(z) = z para C
Si = 0, todo el plano se va al origen por lo tanto tomamos ,= 0. Si ,= 0
dado cualquier punto z, la funcion lo gira un angulo igual al arg es decir
estamos rotando todo el plano, luego tendramos que multiplicar el modulo de z
por el modulo de , es decir, se expande (o contrae) el m odulo de z un factor [[.
A este movimiento de dilataci on o contracci on se le llama homotecia.
Introducci on
Fractales
Inversion
T
a
(z) =
1
z
.
Tenemos que 0 va al y va al 0.
A cada n umero complejo diferente de 0 le corresponde su inverso:
T
a
(z) =
1
z
= z
1
=
z
[z[
2
.
Esta transformacion manda todo lo que esta dentro del crculo unitario ([z[ < 1)
a todo lo que esta fuera de el ([f (z)[ > 1) y viceversa.
Introducci on
Fractales
Toda transformaci on de M obius es una composicion de estas trasformaciones
elementales, basta que escribamos para z ,= 0
az + b
cz + d
=
a
c
ad bc
c(cz + d)
.
Por lo anterior, las transformaciones de Mobius son analticas ya que las elementales lo
son. Tambien son invertibles. Ademas tiene la util propiedad que siempre trasforman
lneas y circunferencias en lineas y circunferencias, es decir, si C es un crculo o lnea
entonces T(C) sera un crculo o lnea.
Introducci on
Fractales
Ejemplo
T(z) =
iz+i
zi
T(1) =
T() = i
Todos los crculos que pasan por el 1 van a rectas que no pasan por i . Todas las rectas
que pasan por 1 (crculos de radio ) van a rectas que pasan por i . Todo lo que pasa
por i viene del , por lo que las rectas van a crculos que pasan por i .
Otra manera de pensar esto, es con la proyeccion estereograca, las rectas en el plano
van a dar a crculos que pasan por el polo norte y los crculos del plano van a dar a
crculos que no pasan por el polo norte, es decir, los crculos van a dar a crculos.
Introducci on
Fractales
Grupos de Shottky
Transformacion de apareamiento
Sea / = f (z) =
az+b
cz+d
a, b, c, d C, ad cb ,= 0
Vamos a demostrar que el conjunto de transformaciones de Mobius forma un grupo
bajo la composici on.
Demostracion
Si T, T
/ entonces T T
/
T(z) =
az+b
cz+d
, T
(z)
a
z+b
z+d
T(T
(z)) =
a
a
z+b
z+d
+b
c
a
z+b
z+d
+d
=
(aa
+bc
)z+ab
+bd
(ca
+dc
)z+cb
+dd
la forma corresponde a una transformaci on de M obius, pero faltara demostrar

que (aa
+ bc
)(cb
+ dd
) (ca
+ dc
)(ab
+ bd
) ,= 0
Esto se puede hacer directamente, pero es mejor hacerlo con matrices:
T(T
(z)) =
a
z+b
z+d
donde
a
= (aa
+ bc
)
b
= (ab
+ bd
)
c
= (ca
+ dc
)
d
= (cb
+ dd
).
Introducci on
Fractales
Grupos de Shottky
Demostracion
Luego, la composicion de transformaciones de M obius se corresponde con el
producto de matrices:
a b
c d
Como el determinante de un producto de matrices es el producto de sus

determinantes, tenemos que
det
,= 0
Si T / entonces T
1
/.
Si T(z) =
az+b
cz+d
, podemos encontrar explcitamente la funcion inversa
T
1
(z) =
dzb
cz+a
; esta funcion es de la forma deseada.
as tenemos que / = f (z) =
az+b
cz+d
a, b, c, d C, ad cb ,= 0 es un grupo de
transformaciones de T : C C
Introducci on
Fractales
Grupos de Shottky
El conjunto de matrices 2x2 con entradas complejas y con determinante 1 forma un
grupo con la multiplicacion de matrices y se nota SL(2, C)-la S indica que el
determinante es 1-. La funcion g T
g
es un isomorsmo de grupos entre
SL(2, C)/Id = PSL(2, C) y la colecci on de trasformaciones de Mobius.
Nota: Recordemos que las matrices g y g producen la misma transformacion de
Mobius, por lo que nos podemos reducir a las matrices con determinante 1, y ademas
una matriz g y su negativa g determinan la misma accion.
Introducci on
Fractales
Grupos de Shottky
Grupos de Shottky
Los llamados grupos Schottky son subgrupos generados de PSL(2, C) que son
nitamente generados por trasformaciones de Mobius que envan el exterior de un
disco circular al interior de un segundo disco circular disyunto de el (decimos que una
trasformacion de estas aparea los dos discos).
Introducci on
Fractales
Grupos de Shottky
Sea T una transformaci on de M obius que aparea el disco D = (P, r ) de centro P y de
radio r , con el disco D
= (Q, s), es decir, T envia el exterior de D al interior de D
.
Como toda transformacion de Mobius tiene a lo mas dos puntos jos (T(z) = z
resulta ser una ecuaci on cuadratica), el punto jo repelente esta dentro de D. La
funcion que hace el trabajo de aparear los dos discos esta dada por la siguiente
formula:
z
rs
z P
+ Q. (2)
Introducci on
Fractales
Grupos de Shottky
Apareamiento
Denicion. Una transformaci on a se dice que aparea el disco D
A
con el disco D
a
si:
1
Los discos D
A
y D
a
no se traslapan.
2
El exterior de D
A
es enviado por a al interior del disco D
a
y el interior de D
A
es
enviado al exterior de D
a
; lo que implica que a(D
a
) D
a
pues D
a
esta contenido
en exterior de D
A
.
3
La circunferencia C
A
que acota al disco D
A
es enviada por a en la circunferencia
C
a
que limita a D
a
.
4
El punto dijo atrayente Fix
+
(a) de a esta dentro de D
a
y el punto jo repelente
Fix
1
(a) de a esta dentro de D
A
.
5
La iteracion sucesiva de a cada vez enva a D
a
en un disco mas peque no dentro
de D
a
. Mientras que la iteraci on sucesiva de a
1
(la transformacion inversa de a)
encoje a D
A
. Es decir, las imagenes sucesivas de D
a
y D
A
llegan anidadas
nalmente a los puntos atrayente y repelente.
Por conveniencia en la notaci on, notamos a la inversa a
1
de la transformaci on a, por
la may uscula A, es decir, a
1
= A y A
1
= a
Introducci on
Fractales
Grupos de Shottky
Ilustracion
Figura: Apareamiento entre D
a
y D
A
Introducci on
Fractales
Grupos de Shottky
Ejemplo
Podemos pensar en la accion de dos transformaciones de a y b que aparea los discos
D
a
,D
A
,D
b
,D
B
. A partir de la conguracion inicial de los cuatro discos, todo lo que
tenemos que hacer es aplicar repetidamente las cuatro transformaciones a, A, b y B.
La coleccion de todas las posibles composiciones de las letras a, A, b, B es un buen
ejemplo de lo que es un grupo libre de dos generadores a, b).
En este grupo Schottky, cada elemento es una palabra en el alfabeto de cuatro letras,
entonces, cada palabra es la composicion de las letras (funciones) involucradas. Notese
que ab no es lo mismo que ba, y que las palabras aA y bB se cancelan al elemento
neutro o identidad.
Introducci on
Fractales
Fractales
Si partimos de una conguracion inicial de cuatro discos D
a
,D
A
y D
b
,D
B
, tenemos
entonces la coleccion a, b) -el grupo libre generado- de todas las posibles palabras
que pueden ser escritas con cuatro letras a, A, b, B. Como las transformaciones de
Mobius envan crculos en crculos, cuando una de las transformaciones es aplicada a
uno de los discos, las tres imagenes de los crculos exteriores son de nuevo crculos
interiores al correspondiente disco apareado.
Figura: Aplicando una transformacion
Introducci on
Fractales
Primera iteracion completa
Si aplicamos una vez mas cada una de las cuatro funciones iniciales
a, A, b, B-obtenidas de la ecuaci on (2)- a los discos correspondientes, generamos 9
discos interiores.
Figura: Primera iteracion completa
Introducci on
Fractales
Sexta iteracion completa
En la siguiente imagen observamos la sexta iteracion completa, es decir aplicamos 6
veces las funciones iniciales a, A, b, B a cada uno de los discos D
a
,D
A
y D
b
,D
B
Figura: Sexta iteracion completa
Introducci on
Fractales
Fractal
Quitando los primeros 4 discos iniciales podemos ver como resulta el fractal.
Figura: Fractal
Introducci on
Fractales
Codigo
Para realizar esta simulacion en mathematica se utilizo el siguiente codigo.
Figura: Codigo
Introducci on
Fractales
Otras Conguraciones
Si tomamos como conguracion inicial, los siguientes 4 crculos, vemos que aplicando
las trasformaciones correspondientes, el fractal aun esta latente.
Figura: Conguracion Inicial
Introducci on
Fractales
Conjunto limite
Llevando al limite las iteraciones tenemos como resultado el siguiente fractal.
Figura: Conjunto limite de iteraciones
Introducci on
Fractales
Conjunto limite
La conguracion anterior y un zoom a la parte central en cada una de las dos primeras
ampliaciones del conjunto lmite
Figura: Zoom al conjunto lmite de iteraciones
Introducci on
Fractales
Bibliograa
Rubiano G., Palacios O. , Transformaciones de Mobius y fractales. Bol. Mat.
18(2), (2011)
Derrick William R., Variable Compleja con Aplicaciones. Estados unidos,
1984.
T. Needham., Visual Complex Analysis. Clarendon Press, Oxford University
Press, New York, (1997)
T. Jorgensen On discrete groups of M obius transformations Am.J. Math. 98,
839 (1976).

Vaco

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Vaco

Загружено:

Авторское право:

Доступные форматы

Introducci on

Grupo de Transformaciones de Mobius

la forma corresponde a una transformaci on de M obius, pero faltara demostrar

Como el determinante de un producto de matrices es el producto de sus

= (Q, s), es decir, T envia el exterior de D al interior de D

Вам также может понравиться