You are on page 1of 3

Unidad 4. Transformaciones Complejas 4.

2 Transformaciones de Mbius

Transformaciones de Mbius
Denicin 1. Sean a, b, c, d C tales que ad bc 6= 0. La funcin T : C C dada por
 
az + b d
T (z) = , z C
cz + d c
es llamada transformacin de Mobius.
Inyectividad La condicin ad bc 6= 0 se introduce para que las transformaciones de Mbius sean
inyectivas (y por lo tanto no constantes).

Demostracin. Si z1 , z2 C tales que T (z1 ) = T (z2 ), entonces


az1 + b az2 + b
=
cz2 + d cz2 + d
(az1 + b)(cz2 + d) = (az2 + b)(cz2 + d)
(ad bc)(z1 z2 ) = 0
por lo que T sera inyectiva si ad bc 6= 0

Caso ad bc = 0 Tenemos que


a z + ab

az + b a
T (z) = = =
c z + dc

cz + d c
y la tranformacin es constante.
Composicin de dos transformaciones de Mbius Tenemos que si
az + b a0 z + b0
T1 (z) = y T2 (z) =
cz + d c0 z + d0
con ad bc 6= 0 y a0 d0 b0 c0 6= 0 respectivamente, entonces
 

az + b
 a0 az+b
cz+d + b0
(T2 T1 )(z) = T2 (T1 (z)) = T2 =  
cz + d c0 az+b
+ d0
cz+d

a0 az + a0 b + b0 cz + b0 d (a0 a + b0 c)z + a0 b + b0 d
= =
c0 az + c0 b + d0 cz + d0 d (c0 a + d0 c)z + c0 b + d0 d
Debe cumplirse
(a0 a + b0 c)(c0 b + d0 d) (a0 b + b0 d)(c0 a + d0 c) 6= 0
veamos
(a0 a + b0 c)(c0 b + d0 d) (a0 b + b0 d)(c0 a + d0 c) = a0 ad0 d + b0 cc0 b a0 bd0 c b0 dc0 a

= ad(a0 d0 b0 c0 ) bc(a0 d0 b0 c0 )
(a0 d0 b0 c0 )(ad bc) 6= 0

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz


Geometra Analtica II 1
Unidad 4. Transformaciones Complejas 4.2 Transformaciones de Mbius

La transformacin de Mbius como composicin de transformaciones Tenemos que


a z + dc dc + b a z + dc dc + b
 
az + b
T (z) = = =
c z + dc c z + dc
 
cz + d
ad
a z + dc

c + b
= d
+
c z + dc

c z+ c
a bc ad 1
= +
c2 z + dc

c
Esta expresin es la composicin de las siguientes transformaciones
d
T1 (z) = z + traslacion
c
1
T2 (z) = Inversion
z
bc ad
T3 (z) = z Rotacion y homotecia
c2
a
T4 (z) = z + T raslacion
c
es decir
T (z) = (T1 T2 T3 T4 )(z)

Inversa Vamos a ver que la transformacin inversa de una transformacin de Mbius es una transfor-
macin de Mbius
Tenemos que una transformacin de Mbius es de la forma
az + b
W = T (z) =
cz + d
donde ad bc 6= 0. Se tiene que al despejar z, se llega a
az + b
W = (cz + d)w = az + b
cz + d
dw + b
z=
cw a
con ad bc 6= 0. Esta expresin tiene la forma de una transformacin de Mbius, podemos denir
entonces z = S(w) y al calcular T (S(w)) se obtiene
 
dw+b
a +b cwa
T (S(w)) =  
c dw+b
cwa +d

adw + ab + bcw ab
=
cdw + bc + dcw ad
(bc ad)w
= =w
bc ad
Anlogamente se verifca que S(T (z)) = z . Se concluye entonces que S es la funcin inversa de T y
por tanto T es una biyeccin.

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz


Geometra Analtica II 2
Unidad 4. Transformaciones Complejas 4.2 Transformaciones de Mbius

Puntos jos Un punto jo dada una transformacin cualquiera F , es tal que F (p) = p. Con esta
denicin aplicada a transformaciones de Mbius, se tiene
Proposicin 1. Toda transformacin de Mbius diferente de la identidad tiene lo ms dos puntos
jos

Demostracin. Sea z un punto jo, esto implica que


az + b
T (z) = =z
cz + d
az + b
=z
cz + d
cz 2 + (d a)z b = 0
Esto es una cuadrtica por lo tanto siempre que c 6= 0 tiene a lo sumo dos races.
Si c = 0 entonces la ecuacin se convierte en lineal (d a)z b = 0 la cual tiene solucin nica si
d a 6= 0

Facultad de Ciencias UNAM Prof. Esteban Rubn Hurtado Cruz


Geometra Analtica II 3