Tema 3.

2: Transformaciones de Mbius
Facultad de Ciencias Experimentales, Curso 2008-09
E. de Amo
Hay, al menos, tres razones importantes (en las que no entraremos en detalles
ms que los necesarios para nuestro curso) para considerar las transformaciones
de Mbius:
i. algebraicas: son aplicaciones lineales de C
2
en C
2
;
ii. geomtrico-analticas: son funciones analticas; y
iii. fsicas: relacionan C y la teora de la relatividad.
Tambin se les acostumbra llamar, adems, aplicaciones bilineales, transfor-
maciones homogrcas, o bien, fracciones lineales.
Las transformaciones de Mbius son las funciones complejas de variable com-
pleja de la forma
.
'
!
a. + /
c. + d
donde los parmetros complejos a, /, c, d son constantes sometidas a la restriccin

a /
c d

= ad /c 6= 0.
Sepamos (pues se ver ms adelante) que esta tal , se puede descomponer del
siguiente modo:
a. una traslacin: . ! . + d,c
b. una inversin: . ! 1,.
c. una homotecia y un giro: . !
cbad
c
2
.
d. otra traslacin: . ! . + a,c.
Por tanto, la situacin

a /
c d

= 0, a la vista del apartado c., nos dice que la

homotecia colapsa todo el plano en un punto. Son las llamadas transformaciones
singulares. Nosotros, por tanto, estaremos interesados en las denominadas como
transformaciones no-singulares.
1
Si se tiene que c = 0,
,(.) :=
a. + /
c. + d
= c. + ,; c :=
a
d
6= 0, , :=
/
d
es una biyeccin de C en C vericando lim
z!1
,(.) = 1. Por tanto, con
,(1) := 1, tenemos una biyeccin continua de C en C; es decir, un homeo-
morsmo, por la compacidad del propio C ampliado, C := C [ f1g.
Por otro lado, si c 6= 0, resulta que tiene sentido
,(.) :=
a. + /
c. + d
, 8. 2 Cnf
d
c
g.
Pero
a. + /
c. + d
= n 2 C () n 6=
a
c
(pues n =
a
c
() ad /c = 0), de modo que
n 6=
a
c
=) . =
dn /
a cn
2 C.
Resumiendo, la tal
, : Cnf
d
c
g !Cnf
a
c
g
denida como arriba, es una biyeccin continua; y, adems, verica
lim
z!
d
c
,(.) = 1 y lim
z!1
,(.) =
a
c
.
De este modo, deniendo
,
_

d
c
_
:= 1 y ,(1) :=
a
c
tendremos un homeomorsmo de C en C, y podemos enunciar el siguiente re-
sultado:
Proposicin. Sean a, /, c, d 2 C tales que ad /c 6= 0. Si se dene
, : C !C
del siguiente modo:
a. para c = 0,
,(.) : =
a. + /
d
, 8. 2 C
,(1) : = 1;
2
b. o bien, para c 6= 0,
,(.) : =
a. + /
c. + d
, 8. 2 Cnf
d
c
g
,
_

d
c
_
: = 1
,(1) : =
a
c
,
entonces , es un homeomorsmo de C en C.
Denicin. Llamamos transformacin de Mbius de parmetros a, /, c, d 2
C (con ad /c 6= 0) a la funcin , dada por la proposicin anterior.
Denotamos por M
_
C
_
al conjunto de todas ellas.
Observemos que no hay relacin de inclusin alguna entre la clase anterior
y la clase de las funciones enteras.
Ejercicio. Justica las siguientes armaciones:
i. Todo polinomio de grado 1 es la restriccin al plano de alguna , 2
M
_
C
_
.
ii. Toda , 2 M
_
C
_
es una extensin al plano ampliado de alguna fun-
cin racional en C.
iii. No toda funcin entera es restriccin al plano de alguna , 2 M
_
C
_
.
Lo que s que podemos hacer es operar con plena libertad en la clase M
_
C
_
:
Proposicin. M
_
C
_
es un subgrupo (para la composicin) del grupo de los
homeomorsmos del plano ampliado C.
Demostracin. Bastar con probar que si ,, c 2 M
_
C
_
, entonces c
,, ,
1
2 M
_
C
_
. Sean, donde tengan sentido, las siguientes expresiones:
,(.) :=
a. + /
c. + d
y c(.) :=
c. + ,
. + c
.
(Concretamente, precisamos que . , 2
_
1, ,
1
(1) ,
_
,
1
c
1
_
(1)
_
.) As:
c [,(.)] = c
_
a. + /
c. + d
_
:=
c
az+b
cz+d
+ ,

az+b
cz+d
+ c
=
=
c(a. + /) + , (c. + d)
(a. + /) + c (c. + d)
=:
. + j
. + i
,
es decir, la composicin c , se diferencia de algn elemento de M
_
C
_
en, a lo
ms, tres puntos. Argumentos de continuidad nos llevan a armar que ambas
deben ser la misma funcin de C en C.
3
Para la inversa de , razonaremos del mismo modo, ahora para n , 2
_
1,
a
c
_
,
considerando
,
1
(n) :=
dn /
cn + a
.
Con lo demostrado obtenemos un plus de informacin:
Corolario. La transformacin
:=
_
a /
c d
_
! ,
A
(.) :=
a. + /
c. + d
del grupo lineal G1(2, C) de las matrices de orden 2 con coecientes com-
plejos en la clase M
_
C
_
de las transformaciones de Mbius es un epimor-
smo de grupos.
Y tal y como observamos al principio de esta leccin, en el grupo M
_
C
_
existen varios subgrupos de inters:
a. las traslaciones: . ! . + /, 8. 2 C (/ 2 C)
b. las homotecias: . ! j., 8. 2 C (j 0)
c. los giros: . ! c
i
., 8. 2 C (0 2 R)
d. las inversiones (el nico que no deja jo al 1): . ! 1,., 8. 2 Cnf0g
e. y la identidad, por aquello de que sea grupo!: . ! ., 8. 2 C
Proposicin. Toda transformacin de Mbius se puede expresar como com-
posicin de traslaciones, homotecias, giros e inversiones.
Demostracin. Sea ,(.) :=
az+b
cz+d
. Para c = 0, ,(.) := c. + ,; as:
.
giro
! c
i arg()
.
homotecia
! jcj c
i arg()
.
traslacin
! jcj c
i arg()
. + ,.
Y si c 6= 0, podemos descomponer ,(.) = ,(.)
a
c
+
a
c
=
bcad
c(cz+d)
+
a
c
; y as:
.
traslacin
! . +
d
c
inversin
!
1
. +
d
c
giro
! c
i arg(
bcad
c
2
)
1
. +
d
c
homotecia
!
homotecia
!

/c ad
c
2

c
i arg(
bcad
c
2
)
1
. +
d
c
traslacin
!
traslacin
!

/c ad
c
2

c
i arg(
bcad
c
2
)
1
. +
d
c
+
a
c
que ya nos da lo deseado.
La utilidad que, en la prctica, le vamos a sacar a la estructura algebraica
de la clase M
_
C
_
se sigue manifestando en el siguiente resultado, de obvia
comprobacin:
4
Corolario. Si ' M
_
C
_
y las familias de homotecias, giros, inversiones y
traslaciones estn en ', entonces para que ' = M
_
C
_
es suciente que
,, c 2 ' =) , c 2 '.
Esta leccin la vamos a completar con el estudio de propiedades de carcter
geomtrico para los elementos de M
_
C
_
:
a. Las transformaciones de Mbius son aplicaciones conformes.
b. Las transformaciones de Mbius llevan circunrectas en circunrectas.
c. Las transformaciones de Mbius "conservan" los puntos simtricos (en el
sentido en el que se van a denir) respecto de una circunrecta.
Proposicin. Las transformaciones de Mbius son aplicaciones conformes.
Demostracin. Es consecuencia inmediata del corolario anterior (pues en
los cuatro casos se trata de funciones derivables con derivada que no se anula)
y de la regla de la cadena.
Bajo el mismo hilo argumental, es decir, sacndole provecho al corolario
anterior, podemos probar que:
Proposicin. La imagen por una transformacin de Mbius de una circun-
recta del plano ampliado es otra circunrecta.
Demostracin. Bastar con ver que la propiedad deseada se verica para
las inversiones (en los dems casos, es trivialmente cierta); y, en particular, ser
suciente probarlo para la inversa:
,(.) :=
1
.
, 8. 2 C
(es decir, 0
'
! 1). Escribamos n := 1,.. Por (, 1, C, 1) denotamos, como
ya es costumbre, a la circunrecta de ecuacin:
(. + .) + i1 (. .) + C (.. 1) + 1(.. + 1) = 0.
As, para . , 2 f0, 1g:
. 2 (, 1, C, 1)
()
_
1
n
+
1
n
_
+ i1
_
1
n

1
n
_
+ C
_
1
n
1
n
1
_
+ 1
_
1
n
1
n
+ 1
_
= 0
() (n + n) + i1 (n n) + C (1 nn) + 1(1 + nn) = 0
() n 2 (, 1, C, 1) .
Por otro lado:
0 2 (, 1, C, 1) () 1 C = 0 () (, 1, C, 1) es una recta
() 1 2 (, 1, C, 1) ;
5
y tambin:
1 2 (, 1, C, 1) () (, 1, C, 1) es una recta () 1 + C = 0
() 0 2 (, 1, C, 1) .
Por tanto,
. 2 (, 1, C, 1) () ,(.) 2 (, 1, C, 1) , 8. 2 C.
Cmo se transforman las regiones del plano determinadas por circunrectas
segn aplicaciones de Mbius? Ser muy til saber establecer determinados
isomorsmos (conformes) del plano ampliado C va transformaciones de Mbius.
Denotemos, por comodidad, := C(a, r). Denotaremos las regiones exterior
e interior de , respectivamente, por:

+
: = f. 2 C : j. aj rg [ f1g

: = f. 2 C : j. aj < rg .
Observemos que ambas son (las dos) componentes conexas de Cn.
En el caso de que sea una recta, tendremos:
:= f.
0
+ `n : ` 2 Rg [ f1g =
_
. 2 C :
. .
0
n
2 R
_
[ f1g
(donde, sin prdida de generalidad, podemos considerar n 2 T y Re n 0 o bien
Re n = 0, Imn 0). En este caso, se consideran los dominios:

+
: =
_
. 2 C : Im
_
. .
0
n
_
0
_

: =
_
. 2 C : Im
_
. .
0
n
_
< 0
_
,
que, como antes, son (las) componentes conexas de Cn.
Sean , una transformacin de Mbius y una circunrecta del plano ampliado
C. Como , : C !C es un homeomorsmo, tambin lo habr de ser
,
jCn
: Cn !Cn.
Por tanto, transforma componentes conexas en componentes conexas y, o bien
,
_

+
_
= (,())
+
y ,
_

_
= (,())

o, de otro modo, sera

,
_

+
_
= (,())

y ,
_

_
= (,())
+
.
Este hecho nos proporciona un interesante mtodo de construccin de isomor-
smos conformes.
6
Ejemplo. Transformacin del disco unidad D en el semiplano de la derecha
C
!
.
Sea la , 2 M
_
C
_
dada por
,(.) :=
. 1
. + 1
, 8. 2 C.
Consideremos := fij : j 2 Rg [ f1g. Claramente ,() T (de hecho, se
trata de una igualdad). Como ,(1) = 1, argumentos de continuidad nos
dicen que
,
_

_
= CnD y ,
_

+
_
= D.
Obsrvese, de paso, cmo la acotacin no es un invariante por isomorsmos
conformes: D y C
!
:= f. 2 C : Re . 0g son isomorfos.
En nuestra bsqueda de isomorsmos particulares, nos encontramos con que
la nica transformacin de Mbius que deja invariantes al origen, a la unidad y
al innito en el plano ampliado es la identidad:
Lema. Si , 2 M
_
C
_
es tal que ,(0) = 0, ,(1) = 1 y ,(1) = 1, entonces
,(.) = ., 8. 2 C.
Demostracin. Como ha de ser ,(.) =
az+b
cz+d
, 8. 2 C, se sigue que:
a. ,(1) = 1 =) c = 0 =) ,(.) = c. + ,;
b. ,(0) = 0 =) , = 0 =) ,(.) = c.; y
c. ,(1) = 1 =) c = 1 =) ,(.) = ..
(La terna f0, 1, 1g es lo que se dice propia: sus elementos son distintos dos
a dos.)
Adems, que la imagen de una circunrecta por una transformacin de Mbius
sea la recta real (ampliada con 1) nos permite establecer un potente mtodo de
construccin de isomorsmos: analzalo en la demostacin (parte "existencia")
del siguiente hecho.
Lema. Para cualquier terna (propia) f.
2
, .
3
, .
4
g C, existe una nica , 2
M
_
C
_
tal que
,(.
2
) = 0, ,(.
3
) = 1 y ,(.
4
) = 1.
Demostracin. Denamos, para probar su existencia, la siguiente apli-
cacin:
,(.) :=
. .
2
. .
4
.
3
.
4
.
3
.
2
, 8. 2 C,
pues si f.
2
, .
3
, .
4
g C, se verica trivialmente lo deseado; si, por el contrario,
alguno de ellos es 1, entonces bastara denir (de modo que queda "englobado"
en lo anterior, por argumentos de continuidad):
.
2
= 1 =) ,(.) :=
z3z4
zz4
.
3
= 1 =) ,(.) :=
zz2
zz4
.
4
= 1 =) ,(.) :=
zz2
z3z2
7
para tener la existencia de ,. (Justica los detalles.)
Para la unicidad, si , y c son dos tales transformaciones de Mbius, entonces
, c
1
tambin lo ser y, adems, deja jos, uno a uno, a los elementos de la
terna f0, 1, 1g; y el lema anterior se encarga del resto:
_
, c
1

(.) = . para
todo . 2 C, de donde , = c. Q.E.D.
A partir de este hecho, ya se puede intuir que hay muchas maneras (innitas,
veremos) de transformar una circunrecta en otra dadas ambas a priori, mediante
transformaciones de Mbius. Pero sto ser consecuencia de otros hechos no
menos notables.
Proposicin. Para cualesquiera ternas (propias) f.
2
, .
3
, .
4
g y fn
2
, n
3
, n
4
g en
C, existe una nica transformacin de Mbius , tal que
,(.
k
) = n
k
, / = 2, 3, 4.
Demostracin. Existen nicas transformaciones de Mbius que llevan
(segn el orden dado por los puntos en cada terna)
f.
2
, .
3
, .
4
g
'
1
! f0, 1, 1g y
fn
2
, n
3
, n
4
g
'
2
! f0, 1, 1g .
Considerando , := ,
1
2
,
1
, tenemos la existencia. Para la unicidad, si c es
otra distinta a ,, pero en iguales condiciones, tendramos que
,
1

_
c
1
,

,
1
1
2 M
_
C
_
deja ja la terna f0, 1, 1g, luego es la identidad. En consecuencia, se sigue la
unicidad. Q.E.D.
Ahora, un hecho evidente... aqu su prueba:
Corolario. Por cualquier terna (propia) f.
2
, .
3
, .
4
g C del plano ampliado
pasa una, y slo una, circunrecta.
Demostracin. En el caso en el que la terna sea f0, 1, 1g, es claro que la
circunrecta es R [ f1g. Para los dems casos, podemos razonar la existencia
de una nica transformacin de Mbius , que lleva (los puntos uno a uno de)
la terna f.
2
, .
3
, .
4
g en (los de) la f0, 1, 1g. Pero ,
1
(R [ f1g) =:
0
es una
circunrecta que contiene a la terna f.
2
, .
3
, .
4
g, y, por tanto, si fuese otra tal
circunrecta: f0, 1, 1g ,() , de donde
0
= ,
1
(R [ f1g) = . Q.E.D.
Corolario. Dadas dos circunrectas y
0
distintas del plano ampliado C, el
conjunto
_
, 2 M
_
C
_
: ,() =
0
_
es innito (no numerable).
8
Demostracin. Es inmediato sin ms que pensar en la posibilidad en
nmero de escoger ternas (propias) de puntos en y
0
, respectivamente, y
establecer correspondientes elecciones de ,.
El concepto de punto simtrico, como ya se anticip, ser clave para poder
manipular con habilidad las transformacions de Mbius en la bsqueda de iso-
morsmos concretos. Para llegar a l usaremos el concepto de razn doble, que
halla su sustento en el lema de arriba.
Denicin (de Razn doble). Dada una cuaterna (propia) de puntos del
plano ampliado f.
1
, .
2
, .
3
, .
4
g C, se llama razn doble de dichos puntos
(as ordenados) a la imagen de .
1
por la nica transformacin de Mbius
, 2 M
_
C
_
que lleva f.
2
, .
3
, .
4
g en f0, 1, 1g en dicho orden. Se expresar
(.
1
, .
2
, .
3
, .
4
) := ,(.
1
) .
Claramente, se verica que
,(.) = (., .
2
, .
3
, .
4
) , 8. 2 C.
Proposicin. La razn doble es un invariante para el grupo de las transfor-
maciones de Mbius; es decir: si (.
1
, .
2
, .
3
, .
4
) 2 C y , 2 M
_
C
_
, entonces
(,(.
1
) , ,(.
2
) , ,(.
3
) , ,(.
4
)) = (.
1
, .
2
, .
3
, .
4
) .
Demostracin. Dadas (.
1
, .
2
, .
3
, .
4
) 2 C y , 2 M
_
C
_
, sean las razones
dobles siguientes
c
1
2 M
_
C
_
: c
1
(.) = (., .
2
, .
3
, .
4
) , 8. 2 C;
c
2
2 M
_
C
_
: c
2
(n) = (n, ,(.
2
) , ,(.
3
) , ,(.
4
)) , 8n 2 C
(que sabemos que existen y que son nicas). Pero entonces:
_
c
2
, c
1
1
_
(n) = n, 8n 2 C,
de donde
c
2
, = c
1
,
y, por tanto,
(.
1
, .
2
, .
3
, .
4
) = c
1
(.
1
) = (c
2
,) (.
1
)
= c
2
[,(.
1
)] = (,(.
1
) , ,(.
2
) , ,(.
3
) , ,(.
4
)) .
Corolario. Cuatro puntos (distintos) cualesquiera del plano ampliado estn
sobre una misma circunrecta si, y slo si, su razn doble (la de cualquiera
de ellos respecto de los otros tres) es un nmero real.
9
Demostracin. Supongamos que existe una circunrecta que los contiene:
f.
1
, .
2
, .
3
, .
4
g . Ha de existir una nica , 2 M
_
C
_
tal que la terna
f.
2
, .
3
, .
4
g se transforma en la terna f0, 1, 1g. Pero, entonces,
,(.
1
) = (.
1
, .
2
, .
3
, .
4
) 2 ,() = R [ f1g,
pero como 1 = ,(.
4
) 6= ,(.
1
), ha de ser ,(.
1
) 2 R.
Recprocamente, si ,(.) 2 R, 8. 2 C, entonces ,
1
(R [ f1g) es una circun-
recta que contiene a la cuaterna f.
1
, .
2
, .
3
, .
4
g, es decir, se trata de . Q.E.D.
La idea intuitiva de lo que es la simetra respecto del eje real y la existencia
y unicidad de las trasformaciones de Mbius respecto de cmo transformar una
terna dada en otra, justica la siguiente
Denicin (de Puntos simtricos respecto de una circunrecta). Dados
una circunrecta y dos puntos ., n 2 C, diremos que stos son simtri-
cos con respecto a aqulla si existe una (nica) , 2 M
_
C
_
tal que
,() = R [ f1g y ,(.) = ,(n).
Es necesario poner de maniesto la coherencia de la denicin; es decir,
que el conjugado n es nico para . y , dados. Comenzamos con un lema que
trivializa el contexto, pero es suciente para nuestros propsitos.
Lema. Si , 2 M
_
C
_
es tal que ,(R [ f1g) = R [ f1g, entonces
,(.) = ,(.) , 8. 2 C.
Demostracin. Podemos escribir
r
2
:= ,
1
(0) , r
3
:= ,
1
(1) , r
4
:= ,
1
(1) 2 R [ f1g.
Ha de ser
,(.) = (., r
2
, r
3
, r
4
) , 8. 2 C,
y tendremos:
,(.) = (., r
2
, r
3
, r
4
) = (., r
2
, r
3
, r
4
) =
= (., r
2
, r
3
, r
4
) = ,(.), 8. 2 C.
Proposicin. Sean una circunrecta y . 2 C. Entonces existe un nico .

2
C tal que .

y . son simtricos respecto de . Adems, para cualesquiera

f.
2
, .
3
, .
4
g , se tiene que
(.

, .
2
, .
3
, .
4
) = (., .
2
, .
3
, .
4
) .
Demostracin. Comenzamos probando la "unicidad". Notemos por , a la
transformacin que nos da el hecho de que .

y . sean simtricos respecto de :

,() = R [ f1g y .

= ,
1
_
,(.)
_
.
10
Supongamos, por reduccin al absurdo, que tal simtrico .

no sea nico:
9n 2 C, 9c 2 M
_
C
_
: c () = R [ f1g y c (n) = c (.).
Pero, entonces, , c
1
2 M
_
C
_
deja invariante el eje real (junto al punto 1)
y podemos aplicarle el lema anterior:
,(n) =
_
, c
1
c
_
(n) =
_
, c
1
_
(c (n)) =
=
_
, c
1
_
_
c (.)
_
=
_
, c
1
_
(c (.)) = ,(.),
de donde
,(n) = ,(.) = ,(.

) =) n = .

.
Vamos con el "adems", de donde nos surgir, como propina, la "existencia".
Para una terna f.
2
, .
3
, .
4
g , sea la , 2 M
_
C
_
tal que
,(.) = (., .
2
, .
3
, .
4
) , 8. 2 C.
Claramente, por ser razn doble, ,() = R [ f1g y .

= ,
1
_
,(.)
_
=
(acabamos de cobrar la propina)= ,(.

) = ,(.); luego
(.

, .
2
, .
3
, .
4
) = (,(.

) , ,(.
2
) , ,(.
3
) , ,(.
4
)) =
= ,(.

) = ,(.) = (., .
2
, .
3
, .
4
) =
= (., .
2
, .
3
, .
4
) , 8. 2 C.
Proposicin. La propiedad de simetra es un invariante para el grupo M
_
C
_
de las transformaciones de Mbius; es decir, si .

y . son simtricos re-

specto de , entonces ,(.

) y ,(.) son simtricos respecto de ,() , 8, 2

M
_
C
_
.
Demostracin. Objetivo: encontrar

c 2 M
_
C
_
tal que

c (,()) = R [ f1g y

c (,(.)) =

c (,(.

)) .
Sea, pues existe, la c 2 M
_
C
_
tal que
c () = R [ f1g y c (.) = c (.

) .
Ocurre que
c ,
1
2 M
_
C
_
y
_
c ,
1
_
(,()) = c () = R [ f1g.
Adems,
_
c ,
1
_
(,(.

)) = c (.

) = c (.)
y
c (.) = (c ,
1
) (,(.)),
luego basta hacer

c := c ,
1
.
Concluimos con dos ejemplos (que ser bueno llevar en la memoria, de ahora
en adelante) de clculo efectivo de simtricos.
11
Ejemplo 1 (Simetra respecto de una recta). Sean a, /, 1 2 , y denote-
mos .
2
:= a, .
3
:= /, .
4
:= 1. Como ha de ser:
(.

, .
2
, .
3
, .
4
) = (., .
2
, .
3
, .
4
) ,
(con .
4
= 1) se tiene que
z

z2
z3z2
=
zz2
z3z2
=)
z

a
ba
=
za
ba
; es decir,
j.

aj = j. aj = j. aj .
De la arbitrariedad de a en se sigue que . y .

equidistan de .
Ejemplo 2 (Simetra respecto de una circunferencia). Sea := C(a, 1).
En este caso tendremos:
(.

, .
2
, .
3
, .
4
) = (., .
2
, .
3
, .
4
) = (. a, .
2
a, .
3
a, .
4
a)
=
_
va n
'
!
1
2
n
: , 2 M
_
C
_
_
=
_
1
2
. a
,
1
2
.
2
a
,
1
2
.
3
a
,
1
2
.
4
a
_
=
_
1
2
. a
, .
2
a, .
3
a, .
4
a
_
=
_
1
2
. a
+ a, .
2
, .
3
, .
4
_
=) .

=
1
2
. a
+ a () .

a =
1
2
. a
,
y basta poner .

donde ponga . en la ecuacin de la circunferencia.

Ntese que si a = 0, entonces .

=
R
2
z
; y si, adems, 1 = 1,
.

=
1
.
= .
1
es el simtrico de . respecto de la circunferencia unidad T.
EJERCICIOS PROPUESTOS.
1. Prubese que las transformaciones de Mbius que dejan invariante el eje
real se pueden escribir con sus cuatro parmetros reales.
2. Encuentre una transformacin de Mbius que aplique la circunferencia
unidad T en una recta vertical, el punto 4 en el origen y a la circunferencia
de radio 2 centrada en el origen la transforma en s misma.
3. Encuentre una transformacin de Mbius que aplique el dominio
:= f. 2 C : Re . 0, j. 2j 1g
sobre el anillo (0; j, 1), para conveniente 0 < j < 1.
12
4. Prubese que toda transformacin de Mbius, distinta de la identidad,
tiene uno o dos puntos jos en el plano ampliado C. Determine todas las
transformacones de Mbius que tienen
a. a 1 como nico punto jo.
b. a 0 e 1 como puntos jos.
5. Sea una transformacin de Mbius con a, / 2 C como puntos jos.
Prubese que, para conveniente ` 2 Cnf0g, tal responde a la frmula
(.) a
(.) /
= `
. a
. /
.
Prubese que toda circunrecta que pase por a y /, se aplica por en s
misma si, y slo si, ` es real. Prubese que toda circunrecta respecto de la
que a y / sean simtricos, se aplica por en s misma si, y slo si, j`j = 1.
6. Calclense todas las transformaciones de Mbius que llevan el disco unidad
D en s mismo.
7. Encuntrense todas las transformaciones de Mbius que aplican el semi-
plano superior en el disco unidad.
8. Sean a, / 2 C y r, : 0. Encuntrense todas las transformaciones de
Mbius que aplican 1(a, r) en 1(/, :).
9. Caractercese la condicin que han de vericar los nmeros a, /, c, d 2 C,
para que la aplicacin de Mbius
,(.) :=
a. + /
c. + d
transforme el semiplano superior C
"
en s mismo. (Vuelve al ejercicio 1.)
10. Determnense todas las transformaciones de Mbius que representen giros
en la esfera de Riemann.
11. Determnese el grupo de transformaciones de Mbius que corresponden a
rotaciones de la esfera de Riemann y que transforman los puntos a y / en
la proyeccin estereogrca uno en el otro.
12. Halle los grupos de transformaciones de Mbius que corresponden, en la
proyeccin estereogrca, a la rotacin de la esfera de Riemann:
(a) alrededor del (dimetro paralelo al) eje 07 en R
3
;
(b) alrededor del (dimetro paralelo al) eje real;
(c) alrededor del (dimetro paralelo al) eje imaginario;
(d) alrededor de aquel dimetro para el que un punto a 2 C es la proyec-
cin estereogrca de uno de sus extremos.
13
13. Designemos por al semiplano superior abierto. Obtngase una transfor-
macin conforme de en el disco unidad D, que lleve la terna f1, 0, 1g
en la terna f1, i, 1g. Obtngase un . tal que )(.) = 0. Obtenga )(
i
2
).
(Indicacin, por si te vale: ) = ,:c, con ,, c de Mbius y :(`) := `
2
.)
14. Puede encontrarse alguna transformacin de Mbius que transforme un
cuadrado en un tringulo?
15. Prubese que la aplicacin . ! . no es una transformacin de Mbius.
16. Exprese la razn doble correspondiente a las 24 permutaciones de cuatro
puntos en trminos de ` := (.
1
, .
2
, .
3
, .
4
) .
17. Encuentre una transformacin de Mbius que aplique la circunferencia
unidad T en la circunferencia C(1, 2), que deje jo al punto 1 y que lleve
el origen a i.
18. Encuentre una transformacin de Mbius que aplique el dominio
:= f. 2 C : j.j < 5, j. 2j 2g
sobre el anillo (0; j, 1), para conveniente 0 < j < 1.
19. Constryase un isomorsmo conforme del dominio sobre el disco unidad
D, en cada uno de los tres siguientes casos:
(a) :=
_
. 2 Cnf0g : jarg .j <

4
_
.
(b) :=
_
. 2 C : j. 1j <
p
2, j. + 1j <
p
2
_
.
(c) :=
_
. 2 C : j. 1j <
p
2, Re . 0
_
.
20. Dados a, /, c 2 C, prubese que existe una nica circunrecta tal que a y
/ son simtricos respecto de y c 2 .
21. Halla la homografa (ya sabes, la transformacin de Mbius) que trans-
forma la terna de puntos fi, 0, ig en la terna f1, i, 1g. En qu curva
es transformado el eje imaginario Re . = 0?
22. Puede ser transformada una banda en todo el plano mediante una trans-
formacin de Mbius? Y mediante otro tipo de aplicacin conforme?
23. Consideremos la transformacin
,

(.) :=
. c
1 c.
, 8. 2 C (c 2 D).
(a) Prubese que:
i. se trata de una biyeccin del disco unidad D sobre s mismo;
ii. lleva la circunferencia unidad T sobre s misma;
iii. ,

(c) = 0, ,
1

(.) = ,

(.);
14
iv. ,
0

(0) = 1 jcj
2
, ,
0

(c) =
1
1jj
2
.
(b) Obtnganse los puntos jos de esta transformacin. Existe alguna
recta que se quede invariante por dicha transformacin?
24. Obtnganse todos los complejos c para los que la funcin
)

(.) :=
.
1 + c.
2
sea una biyeccin del disco unidad D sobre s mismo.
15