Está en la página 1de 56

Contents

Anlisis Complejo: 2.2 Transformaciones a conformes


Presentaciones de clase
Universidad de Murcia

Curso 2006-2007

Presentaciones de clase

Anlisis Complejo a

Contents

Aplicaciones Conformes

Presentaciones de clase

Anlisis Complejo a

Contents

Aplicaciones Conformes

La proyeccin estereogrca o a

Presentaciones de clase

Anlisis Complejo a

Contents

Aplicaciones Conformes

La proyeccin estereogrca o a

Transformaciones de Mbius o

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Angulos orientados
Denicin o Dado un par ordenado (u, v ) de vectores no nulos del espacio eucl deo R2 (que se supone identicado con C) el ngulo orientado a del par (u, v ) es el nmero real Arg(v /u) (, ]. u

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Angulos orientados
Denicin o Dado un par ordenado (u, v ) de vectores no nulos del espacio eucl deo R2 (que se supone identicado con C) el ngulo orientado a del par (u, v ) es el nmero real Arg(v /u) (, ]. u Denicin: conservacin ngulos orientados o o a
f : C, denida en un abierto C, conserva ngulos orientados en a a cuando cumple las condiciones siguientes: a) Para cada u C con |u| = 1, existe u > 0 tal que D(a, u ) y f (a + tu) f (a) = 0 si 0 < t < u .

b) Para cada u C con |u| = 1 el siguiente l mite existe y no depende de u:


t0+

lim

f (a + tu) f (a) =c u|f (a + tu) f (a)|


Anlisis Complejo a

Presentaciones de clase

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Angulos orientados
Proposicin o Para una aplicacin R-lineal L : C C son equivalentes: o a) L conserva ngulos orientados en 0. a b) L conserva ngulos orientados en todos los puntos. a c) L es no singular y para cada par u, v con |u| = |v | = 1 se tiene que Arg( Lv ) = Arg( v ). Lu u d) L es C-lineal, no nula.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Angulos orientados
Proposicin o Para una aplicacin R-lineal L : C C son equivalentes: o a) L conserva ngulos orientados en 0. a b) L conserva ngulos orientados en todos los puntos. a c) L es no singular y para cada par u, v con |u| = |v | = 1 se tiene que Arg( Lv ) = Arg( v ). Lu u d) L es C-lineal, no nula. Proposicin o
Si f : C es diferenciable en a con df (a) = 0, son equivalentes a) f conserva ngulos orientados en a. a b) f es derivable en a en sentido complejo y f (a) = 0 (e.d. df (a) conserva ngulos orientados). a
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Angulos orientados y funciones holomorfas


Proposicin o Para una funcin holomorfa f H () son equivalentes o a) f conserva ngulos orientados en a . a b) f (a) = 0.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Angulos orientados y funciones holomorfas


Proposicin o Para una funcin holomorfa f H () son equivalentes o a) f conserva ngulos orientados en a . a b) f (a) = 0. Teorema de la Aplicacin abierta o Sea C abierto conexo y f H () no constante. entonces f es una aplicacin abierta. Ms concretamente, para cada a si o a m es la multiplicidad de a como cero de f f (a), se puede determinar un entorno abierto Ua de a y Vb f () entorno abierto de b = f (a) tal que la f f (w ) tiene exactamente m ceros distintos en Ua para cada w Vb \ {b}.
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Teorema de la aplicacin abierta o


Teorema de la funcin inversa o Sea C abierto y f H (). Si a y f (a) = 0 existe un entorno abierto de a, Ua , y un entorno abierto Vb de b = f (a), tales que f |Ua es inyectiva, Vb = f (Ua ) y la inversa g = (f |Ua )1 : Vb Ua es holomorfa.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Teorema de la aplicacin abierta o


Teorema de la funcin inversa o Sea C abierto y f H (). Si a y f (a) = 0 existe un entorno abierto de a, Ua , y un entorno abierto Vb de b = f (a), tales que f |Ua es inyectiva, Vb = f (Ua ) y la inversa g = (f |Ua )1 : Vb Ua es holomorfa. Proposicin: pre-Teorema de la Aplicacin abierta o o Sea f H () y a un cero aislado de f (z) f (a) de multiplicidad m. Entonces existe un entorno abierto Ua un disco D(0, ) y una biyeccin o : Ua D(0, ) tales que f (z) = f (a) + (z)m para todo z Ua y (z) = 0, ( 1 ) (w ) = 0 para cada z Ua y w D(0, ).

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Teorema de la aplicacin abierta o


Teorema de la funcin inversa o Sea C abierto y f H (). Si a y f (a) = 0 existe un entorno abierto de a, Ua , y un entorno abierto Vb de b = f (a), tales que f |Ua es inyectiva, Vb = f (Ua ) y la inversa g = (f |Ua )1 : Vb Ua es holomorfa. Proposicin: pre-Teorema de la Aplicacin abierta o o Sea f H () y a un cero aislado de f (z) f (a) de multiplicidad m. Entonces existe un entorno abierto Ua un disco D(0, ) y una biyeccin o : Ua D(0, ) tales que f (z) = f (a) + (z)m para todo z Ua y (z) = 0, ( 1 ) (w ) = 0 para cada z Ua y w D(0, ). Nota
El teorema de la funcin inversa utiliza el teorema de la funcin inversa para funciones diferenciables reales. o o La proposicin que sigue, permite demostrar el teorema de la aplicacin abierta. o o Una prueba alternativa del teorema de la aplicacin abierta puede darse con el concepto de o ndice. Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Aplicaciones conformes
Denicin o Una funcin f : C se dice que es conforme en un punto a o si es holomorfa en a y f (a) = 0. f se dice conforme en si f es conforme en cada a . Un isomorsmo conforme de un abierto 1 sobre un abierto 2 es una biyeccin f : 1 2 tal que f y o f 1 son conformes.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Aplicaciones conformes
Denicin o Una funcin f : C se dice que es conforme en un punto a o si es holomorfa en a y f (a) = 0. f se dice conforme en si f es conforme en cada a . Un isomorsmo conforme de un abierto 1 sobre un abierto 2 es una biyeccin f : 1 2 tal que f y o f 1 son conformes. Proposicin o Sea C abierto y f H () inyectiva. Entonces para cada a f (a) = 0, G = f () es abierto y la inversa f 1 : G es holomorfa. Consecuentemente, (f 1 ) (b) = 0 para cada b G y as f es un isomorsmo conforme de sobre f ().

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Isomorsmos conformes
Corolario Sean 1 , 2 C abiertos y f : 1 2 una biyeccin holomorfa. o Entonces f es un isomorsmo conforme.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Isomorsmos conformes
Corolario Sean 1 , 2 C abiertos y f : 1 2 una biyeccin holomorfa. o Entonces f es un isomorsmo conforme. Denicin o Sean 1 , 2 C abiertos. Denotamos por (1 , 2 ) el conjunto de isomorsmos conformes de 1 sobre 2 . Si (1 , 2 ) = 0 se / dice que 1 y 2 son conformemente equivalentes. Si 1 = 2 =: escribimos () := (, ).

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Isomorsmos conformes
Corolario Sean 1 , 2 C abiertos y f : 1 2 una biyeccin holomorfa. o Entonces f es un isomorsmo conforme. Denicin o Sean 1 , 2 C abiertos. Denotamos por (1 , 2 ) el conjunto de isomorsmos conformes de 1 sobre 2 . Si (1 , 2 ) = 0 se / dice que 1 y 2 son conformemente equivalentes. Si 1 = 2 =: escribimos () := (, ). Problema General en Representacin Conforme o Decidir si dos abiertos 1 y 2 son conformemente equivalentes y en su caso encontrar un isomorsmo conforme entre ellos, mejor an, determinar (1 , 2 ). u
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
El conjunto C = C {} se llama plano complejo ampliado ( C).

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
El conjunto C = C {} se llama plano complejo ampliado ( C). En C adoptamos la aritmtica usual con . e

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
El conjunto C = C {} se llama plano complejo ampliado ( C). En C adoptamos la aritmtica usual con . e C se le dota de una topolog para la cual es un espacio a compacto:

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
El conjunto C = C {} se llama plano complejo ampliado ( C). En C adoptamos la aritmtica usual con . e C se le dota de una topolog para la cual es un espacio a compacto:
Los entornos de los puntos de a C son por denicin los o entornos en C .

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
El conjunto C = C {} se llama plano complejo ampliado ( C). En C adoptamos la aritmtica usual con . e C se le dota de una topolog para la cual es un espacio a compacto:
Los entornos de los puntos de a C son por denicin los o entornos en C . Para a = una base de entornos en C viene dada por: Vr := {z C : |z| > r } {}, tomando todos los r > 0.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
El conjunto C = C {} se llama plano complejo ampliado ( C). En C adoptamos la aritmtica usual con . e C se le dota de una topolog para la cual es un espacio a compacto:
Los entornos de los puntos de a C son por denicin los o entornos en C . Para a = una base de entornos en C viene dada por: Vr := {z C : |z| > r } {}, tomando todos los r > 0.

C se puede identicar con


2 2 2 S = {(x1 , x2 , x3 ) R3 : x1 + x2 + x3 = 1}.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o La aplicacin : C S dada por () = (0, 0, 1) =: N y o (x + iy ) = 2y |z|2 1 2x , 2 , 2 , z = (x + iy ) C, |z|2 + 1 |z| + 1 |z| + 1

es una biyeccin cuya inversa es o 1 (x1 , x2 , x3 ) = x1 + ix2 . 1 x3

establece un homeomorsmo entre C y S.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o La aplicacin : C S dada por () = (0, 0, 1) =: N y o (x + iy ) = 2y |z|2 1 2x , 2 , 2 , z = (x + iy ) C, |z|2 + 1 |z| + 1 |z| + 1

es una biyeccin cuya inversa es o 1 (x1 , x2 , x3 ) = x1 + ix2 . 1 x3

establece un homeomorsmo entre C y S. Denicin o La aplicacin considerada en la proposicin anterior recibe el o o nombre de proyeccin estereogrca. o a
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o La proyeccin estereogrca transforma rectas y c o a rculos de C en circunferencias de S. La proyeccin estereogrca conserva o a ngulos orientados. a

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o La proyeccin estereogrca transforma rectas y c o a rculos de C en circunferencias de S. La proyeccin estereogrca conserva o a ngulos orientados. a Denicin o La distancia cordal en C se dene por las frmulas o d (z, w ) = 2|z w | 1 + |z|2 1 + |w |2 2 1 + |z|2 si z, w C si z C

d (z, ) =

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o d es la distancia obtenida en C al trasladar la distancia eucl dea en S mediante la proyeccin estereogrca . Se tienen las o a siguientes propiedades:

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o d es la distancia obtenida en C al trasladar la distancia eucl dea en S mediante la proyeccin estereogrca . Se tienen las o a siguientes propiedades: d est acotada por 2, a

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o d es la distancia obtenida en C al trasladar la distancia eucl dea en S mediante la proyeccin estereogrca . Se tienen las o a siguientes propiedades: d est acotada por 2, a la topolog asociada a d es la topolog de C ; a a

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o d es la distancia obtenida en C al trasladar la distancia eucl dea en S mediante la proyeccin estereogrca . Se tienen las o a siguientes propiedades: d est acotada por 2, a la topolog asociada a d es la topolog de C ; a a d restringida a C no es uniformemente equivalente a la distancia usual;

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Reocordatorio sobre C
Proposicin o d es la distancia obtenida en C al trasladar la distancia eucl dea en S mediante la proyeccin estereogrca . Se tienen las o a siguientes propiedades: d est acotada por 2, a la topolog asociada a d es la topolog de C ; a a d restringida a C no es uniformemente equivalente a la distancia usual;
1 la aplicacin z z es una isometr para d que interpretada o a 0 alrededor del eje OX. en S corresponde a un giro de 180

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

22/Nov/2006: Transformaciones de Mbius o


Denicin o
Una transformacin de Mbius es una aplicacin T : C C no constantes, o o o denidas mediante funciones racionales de la forma: T (z) = az + b , con a, b, c, d C, ad bc = 0 cz + d

donde se utilizan los convenios habituales: T () = a/c y T (d/c) = T () = si c = 0 si c = 0.

M(C ) es el conjunto de las transformaciones de Mbius. o

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

22/Nov/2006: Transformaciones de Mbius o


Denicin o
Una transformacin de Mbius es una aplicacin T : C C no constantes, o o o denidas mediante funciones racionales de la forma: T (z) = az + b , con a, b, c, d C, ad bc = 0 cz + d

donde se utilizan los convenios habituales: T () = a/c y T (d/c) = T () = si c = 0 si c = 0.

M(C ) es el conjunto de las transformaciones de Mbius. o

Ejemplo
z a , 1 z a con R y a C, |a| < 1 son transformaciones de Mbius que llevan el disco o unidad en si mismo. f (z) = e i
Presentaciones de clase Anlisis Complejo a

Las aplicaciones

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Identicacin con matrices o


Proposicin o M(C ) es un grupo para la composicin de aplicaciones. o
1

z+b Si Ti (z) = aii z+dii con ai di bi ci = 0, (i = 1, 2), entonces c az+b T = T1 T2 se puede escribir en la forma T (z) = cz+d donde

a c

b d

a1 c1

b1 d1

a2 c2

b2 d2

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Identicacin con matrices o


Proposicin o M(C ) es un grupo para la composicin de aplicaciones. o
1

z+b Si Ti (z) = aii z+dii con ai di bi ci = 0, (i = 1, 2), entonces c az+b T = T1 T2 se puede escribir en la forma T (z) = cz+d donde

a c
2

b d

a1 c1

b1 d1

a2 c2

b2 d2

az+b Si T (z) = bz+d es una transformacin de Mbius, entonces o o 1 (w ) = dw +b . T cw +a

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Identicacin con matrices o


Proposicin o M(C ) es un grupo para la composicin de aplicaciones. o
1

z+b Si Ti (z) = aii z+dii con ai di bi ci = 0, (i = 1, 2), entonces c az+b T = T1 T2 se puede escribir en la forma T (z) = cz+d donde

a c
2

b d

a1 c1

b1 d1

a2 c2

b2 d2

az+b Si T (z) = bz+d es una transformacin de Mbius, entonces o o 1 (w ) = dw +b . T cw +a

M(C ) se identica como grupo con el de las matrices complejas inversibles 2 2 donde se han identicado las matrices que dieren en un mltiplo escalar no nulo. u
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

23/Nov/2006: Generadores, puntos jos


Denicin o Las transformaciones de Mbius elementales son: o
Traslaciones: Dilataciones: z a + z, (a C) z rz, (r > 0) Giros: Inversin: o z e i z, ( R) z 1/z

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

23/Nov/2006: Generadores, puntos jos


Denicin o Las transformaciones de Mbius elementales son: o
Traslaciones: Dilataciones: z a + z, (a C) z rz, (r > 0) Giros: Inversin: o z e i z, ( R) z 1/z

Proposicin o M(C ) est generado por las transformaciones elementales. a

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

23/Nov/2006: Generadores, puntos jos


Denicin o Las transformaciones de Mbius elementales son: o
Traslaciones: Dilataciones: z a + z, (a C) z rz, (r > 0) Giros: Inversin: o z e i z, ( R) z 1/z

Proposicin o M(C ) est generado por las transformaciones elementales. a Proposicin o Sea T (z) =
1

az+b bz+d

una transformacin de Mbius. o o

Si T no es la identidad, entonces T tiene a lo ms dos puntos a jos. T queda un vocamente determinada por los valores que toma en tres puntos distintos.
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Razn doble o
Corolario Dada una terna z2 , z3 , z4 formada por tres puntos distintos de C , si w2 , w3 , w4 es otra terna en las mismas condiciones, existe una unica transformacin de Mbius T que transforma la primera terna o o en la segunda, es decir, T (zi ) = wi , i = 2, 3, 4.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Razn doble o
Corolario Dada una terna z2 , z3 , z4 formada por tres puntos distintos de C , si w2 , w3 , w4 es otra terna en las mismas condiciones, existe una unica transformacin de Mbius T que transforma la primera terna o o en la segunda, es decir, T (zi ) = wi , i = 2, 3, 4. Denicin o Dada una cuaterna ordenada z1 , z2 , z3 , z4 formada por puntos de C , donde los tres ultimos z2 , z3 , z4 se suponen distintos, se dene la razn doble (z1 , z2 , z3 , z4 ) como la imagen de z1 mediante la o unica transformacin de Mbius R que verica o o R(z2 ) = 1, R(z3 ) = 0, R(z4 ) = .
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Razn doble y c o rculos


Proposicin o La razn doble es un invariante para las transformaciones de Mbius: Si o o T M(C ) y z1 , z2 , z3 , z4 son puntos de C , (donde z2 , z3 , z4 se suponen distintos) se cumple: (z1 , z2 , z3 , z4 ) = (T (z1 ), T (z2 ), T (z3 ), T (z4 )).

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Razn doble y c o rculos


Proposicin o La razn doble es un invariante para las transformaciones de Mbius: Si o o T M(C ) y z1 , z2 , z3 , z4 son puntos de C , (donde z2 , z3 , z4 se suponen distintos) se cumple: (z1 , z2 , z3 , z4 ) = (T (z1 ), T (z2 ), T (z3 ), T (z4 )). Ejemplo Encontrar T M(C ) tal que T (i) = i, T (0) = 1 y T (i) = i.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Razn doble y c o rculos


Proposicin o La razn doble es un invariante para las transformaciones de Mbius: Si o o T M(C ) y z1 , z2 , z3 , z4 son puntos de C , (donde z2 , z3 , z4 se suponen distintos) se cumple: (z1 , z2 , z3 , z4 ) = (T (z1 ), T (z2 ), T (z3 ), T (z4 )). Ejemplo Encontrar T M(C ) tal que T (i) = i, T (0) = 1 y T (i) = i. Proposicin o Sea C la circunferencia (en sentido amplio) determinada por tres puntos distintos z2 , z3 , z4 de C . Entonces, z C si y slo si (z, z2 , z3 , z4 ) R . o

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Razn doble y c o rculos


Proposicin o La razn doble es un invariante para las transformaciones de Mbius: Si o o T M(C ) y z1 , z2 , z3 , z4 son puntos de C , (donde z2 , z3 , z4 se suponen distintos) se cumple: (z1 , z2 , z3 , z4 ) = (T (z1 ), T (z2 ), T (z3 ), T (z4 )). Ejemplo Encontrar T M(C ) tal que T (i) = i, T (0) = 1 y T (i) = i. Proposicin o Sea C la circunferencia (en sentido amplio) determinada por tres puntos distintos z2 , z3 , z4 de C . Entonces, z C si y slo si (z, z2 , z3 , z4 ) R . o Corolario Las transformaciones de Mbius transforman circunferencias en circunferencias o (en sentido amplio).
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Simetr a
Corolario Dados dos c rculos C y C de C , existe una transformacin de Mbius tal que o o T (C) = C .

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Simetr a
Corolario Dados dos c rculos C y C de C , existe una transformacin de Mbius tal que o o T (C) = C . Denicin o Dado un c rculo C en C pasando por tres puntos distintos z2 , z3 y z4 se dice que z, z C son simtricos respecto de C si e (z, z2 , z3 , z4 ) = (z , z2 , z3 , z4 ).

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Simetr a
Corolario Dados dos c rculos C y C de C , existe una transformacin de Mbius tal que o o T (C) = C . Denicin o Dado un c rculo C en C pasando por tres puntos distintos z2 , z3 y z4 se dice que z, z C son simtricos respecto de C si e (z, z2 , z3 , z4 ) = (z , z2 , z3 , z4 ). Interpretacin de la simetr o a La nocin de simetr denida anteriormente corresponde a las clsicas o a a deniciones de simetr respecto de una recta o circunferencia en R2 . a

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Simetr a
Corolario Dados dos c rculos C y C de C , existe una transformacin de Mbius tal que o o T (C) = C . Denicin o Dado un c rculo C en C pasando por tres puntos distintos z2 , z3 y z4 se dice que z, z C son simtricos respecto de C si e (z, z2 , z3 , z4 ) = (z , z2 , z3 , z4 ). Interpretacin de la simetr o a La nocin de simetr denida anteriormente corresponde a las clsicas o a a deniciones de simetr respecto de una recta o circunferencia en R2 . a Principio de simetr a Si z, z son puntos simtricos respecto a una circunferencia C y T M(C ) es e una transformacin de Mbius entonces T (z) y T (z ) son simtricos respecto o o e a la circunferencia imagen T (C).
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Orientacin o
Denicin o Dado un c rculo C en C , una orientacin en C es dar una terna de puntos o distintos z2 , z3 , z4 C. La orientacin en sentido contrario es z2 , z4 , z3 . o

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Orientacin o
Denicin o Dado un c rculo C en C , una orientacin en C es dar una terna de puntos o distintos z2 , z3 , z4 C. La orientacin en sentido contrario es z2 , z4 , z3 . o Denicin o Dado un c rculo C en C y una orientacin en z2 , z3 , z4 C, llamamos lado o izquierdo, resp. derecho, de C respecto de la orientacin a o Lado IzqdoC(z2,z3 ,z4 ) := {z C : Im(z, z2 , z3 , z4 ) < 0}. Lado Der.C(z2,z3 ,z4 ) := {z C : Im(z, z2 , z3 , z4 ) > 0}.

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Orientacin o
Denicin o Dado un c rculo C en C , una orientacin en C es dar una terna de puntos o distintos z2 , z3 , z4 C. La orientacin en sentido contrario es z2 , z4 , z3 . o Denicin o Dado un c rculo C en C y una orientacin en z2 , z3 , z4 C, llamamos lado o izquierdo, resp. derecho, de C respecto de la orientacin a o Lado IzqdoC(z2,z3 ,z4 ) := {z C : Im(z, z2 , z3 , z4 ) < 0}. Lado Der.C(z2,z3 ,z4 ) := {z C : Im(z, z2 , z3 , z4 ) > 0}. El principio de conservacin de las orientaciones o Si circunferencia C se orienta mediante la terna (z2 , z3 , z4 ) y la imagen T (C) se orienta mediante la terna imagen (T (z2 ), T (z3 ), T (z4 )) entonces T transforma el lado izquierdo (resp. derecho) de C en el lado izquierdo (resp. derecho) de T (C).
Presentaciones de clase Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Ejemplos

1 2 Semiplano abierto Cuadrante abierto Regin limitada por circunferencias o tangentes Regin limitada por circunferencias o que no se cortan Disco abierto Semidisco Regin limitada por dos rectas paro alelas Corona circular A(0, r , R), ( )

Presentaciones de clase

Anlisis Complejo a

Aplicaciones Conformes La proyeccin estereogrca o a Transformaciones de Mbius o

Problema para entregar: 21/Dic/2006


Problema
1

Prubese que una transformacin de Mbius T deja jo R {} si, y slo e o o o si, T puede escribirse como T (z) = az + b , con a, b, c, d R, ad bc = 0. cz + d

Dedzcase de lo anterior que la denicin de simetr respecto de un u o a c rculo dada a travs de la razn doble, es independiente de los tres e o puntos distintos elegidos en el c rculo. Prubese con un argumento de conexin que si T es una transformacin e o o de Mbius que lleva una recta en una circunferencia y un punto de un o semiespacio determinado por la recta va al interior del disco determinado por la circunferencia, entonces la imagen de ese semiespacio es exactamente el interior de la circunferencia.

Presentaciones de clase

Anlisis Complejo a