Representacin de Nmeros Complejos o u

Julio Narciso Argota Quirz o

email: julioargota@hotmail.com

Escuela Superior de Cmputo [sic], o Instituto Politcnico Nacional e Agosto 25, 2006
Resumen Este documento da una pequea introduccin a los conceptos bsicos de los nmeros complejos n o a u combinando un poco el aspecto geomtrico y anal e tico.

Contenido
1 Introduccin o 2 2 2 3 4 6 7 7 8 8 8 9 9 10 10 12 12 13 14 18 19 19 2 N meros complejos u 2.1 Plano de Argand . . . . . 2.2 Representacin vectorial . o 2.3 Representacin polar . . . o 2.4 Representacin matricial . o 2.5 Esfera de Riemann . . . . 2.6 Proyeccin estereogrca . o a 2.7 Proyeccin gnomonic . . . o

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

3 Una funcin compleja es una transformacin o o 3.1 L mites y derivada de una funcin compleja . . . . . . . . . o 3.2 Transformaciones o mapeos . . . . . . . . . . . . . . . . . . 3.2.1 Traslacin . . . . . . . . . . . . . . . . . . . . . . . . o 3.2.2 Rotacin . . . . . . . . . . . . . . . . . . . . . . . . o 3.2.3 Inversin . . . . . . . . . . . . . . . . . . . . . . . . o 3.3 Transformaciones conformes . . . . . . . . . . . . . . . . . . 3.3.1 Transformacin de Mbius . . . . . . . . . . . . . . . o o 3.3.2 Representacin por matrices de la transformacin de o o 4 Aplicaciones geomtricas e 5 Conclusiones Apndices e A Gu rpida de programacin en REC/C a a o

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mbius o

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

Introduccin o

Entender lo que estamos haciendo es importante pero cuando no lo entendemos, una grca siempre podra a ayudar. REC/C es normalmente usado slo para mostrar el resultado de una operacin, es decir, si queremos o o multiplicar dos nmeros complejos slo mostrar el nmero complejo resultante, pero en este documento se u o a u mostrarn en la mayor de los ejemplos tanto los operadores como el resultado de la operacin. a a o

N meros complejos u

La representacin geomtrica de un nmero real es un unico punto en una l o e u nea recta continua innitamente larga, esta l nea recta tiene establecida una unidad que es la distancia entre puntos consecutivos que representan a los llamados nmeros enteros. Un nmero complejo es ms general que esto. u u a Un nmero complejo es un par ordenado de dos nmeros reales (a, b), de manera anloga una variable u u a compleja es un par ordenado de dos variables reales. z = (x, y) El orden es importante, ya que en general (a, b) = (b, a). Normalmente un nmero real (x, 0) es escrito slo u o como x, y la unidad imaginaria i = (0, 1) slo es escrita como i, la cual tiene la propiedad que i2 = 1. o Si denimos a z = (a, b) a a se le denomina parte real y se denota por Re(z), y a b se le llama parte imaginaria y se denota por Im(z). a El conjugado de un nmero complejo z = (a, b) es denotado como z o z est denido como u z = (a, b) Una forma ms cmoda de denotar a un nmero complejo z = (a, b) ser a o u a z = a + ib que normalmente se demuestra y utiliza en los libros de anlisis complejo. a

2.1

Plano de Argand

Por la denicin de nmero complejo dicha anteriormente, suena razonable representarlo como un punto en o u un plano cartesiano, lo cual descubri Argand, quien fue contemporneo de Gauss y Leibniz quienes hicieron o a grandes avances en el anlisis complejo. a Este plano es de coordenadas rectangulares por lo que consta de dos ejes perpendiculares entre s uno , horizontal y otro vertical llamados eje real y eje imaginario, respectivamente. La parte real e imaginaria se representaran en su respectivo eje cada uno. La localizacin de los puntos es igual que en el plano euclidiano. o El punto donde se intersectan los ejes es el origen el cual representa al 0 (cero), del origen hacia la derecha y arriba son nmeros positivos y hacia abajo y la izquierda son nmeros negativos. u u En REC/C el espacio donde se presentarn los resultados es el plano complejo (plano de Argand) por lo a que podemos representar los ejes y un punto con el siguiente cdigo: o {( ($-5.0,0.0$Gp $5.0,0.0$ g p;)[eje real] ($0.0,5.0$ Gp $0.0,-5.0$ g p;)[eje imaginario] ($-3.0,2.5$q;)[dibuja el punto] ;)} en el cual ambos ejes los dibujar de -5 a 5 y el punto ser un pequeo cuadro con coordenadas (-3,2.5) que a a n representa a 3 + 2.5i. Podemos denir las operaciones aritmticas de una manera sencilla con esta representacin. e o 2

Figura 1: Un nmero complejo es un punto en un plano u Suma.- la suma se dene como sigue: Sea z, w C y denidos como z = a + ib, w = x + iy por lo consiguiente z + w = x + a + i(y + b) Multiplicacin.- est denida as Sea z, w C y denidos como z = a + ib, w = x + iy por lo o a : consiguiente z w = xa by + i(ay + bx) Divisin.- para denir la divisin de un nmero complejo recurriremos al conjugado para eliminar la o o u unidad imaginaria del denominador. Sea z, w C y denidos como z = a + ib, w = x + iy por lo consiguiente z z w (a + ib)(x iy) xa + yb + i(xb ya) = = = w ww (x iy)(x + iy) x2 + y 2

2.2

Representacin vectorial o

La representacin vectorial es tambin muy utilizada ya que al representar un nmero complejo como un o e u vector hereda propiedades y herramientas del anlisis vectorial. a Para representar un nmero complejo como un vector (segmento de recta dirigido) se localiza el punto u en el diagrama de Argand y el vector se conformar del origen al punto previamente localizado. a Las caracter sticas de las operaciones con vectores respetan a las de los nmeros complejos e incluso u las describen de tal manera que muchas demostraciones son ms simples de hacer y entender por una a representacin de este tipo. o La representacin geomtrica de una suma compleja es una suma vectorial y se demuestra la conmutao e tividad con la ley del paralelogramo. A continuacin la representacin de una suma compleja con REC/C. o o {( ($-5.0,0.0$Gp $5.0,0.0$ g p;)[eje real] ($0.0,5.0$ Gp $0.0,-5.0$ g p;)[eje imaginario] (Z G p $2.0,1.5$g Z G p $-1.0,2$g + G Z g p;) ;)} En esta gura se muestran los vectores correspondientes a los nmeros complejos 2 + 1.5i y 1 + 2i as u como el vector resultante de su suma. 3

Figura 2: Una suma vectorial es una suma compleja Podemos demostrar la conmutatividad de la suma con la ley del paralelogramo de anlisis vectorial con a una representacin en REC/C o {( ($-5.0,0.0$Gp $5.0,0.0$ g ($0.0,5.0$ Gp $0.0,-5.0$ g (QR Z G p $2.0,1.5$g QB G (QB Z G p $-1.0,2.0$g QR G ;)} p;)[eje real] p;)[eje imaginario] $-1.0,2.0$ + g QG G Zgp p;)[parte derecha] $2.0,1.5$+g p ;)[parte izquierda]

Recordemos que los vectores tienen asociada una magnitud o mdulo lo cual es la longitud de dicho o vector, dicha unidad es un escalar. El mdulo de z = x + iy es denotado por |z| y denido como o |z| = x2 + y 2

Si notamos que zz = x2 + y 2 podremos denir que zz = |z|2

2.3

Representacin polar o

Si un nmero complejo tiene una representacin en un plano cartesiano tambin lo tendr en un plano polar. u o e a Recordando que las ecuaciones para convertir de coordenadas rectangulares a polares y adaptandola al plano de Argand: x = r cos iy = ir sin donde r es la distancia del origen al punto a travs de una l e nea recta (magnitud del vector) y el ngulo a formado por dicha recta y el eje real. A se le conoce como argumento o fase y se denota por Arg(z) siendo z el nmero complejo al que corresponde. Sustituyendo las ecuaciones de arriba en la denicin de nmero u o u complejo tendremos z = x + iy = r(cos + i sin ) y recordando la propiedad de Euler que dice ex+iy = ex (cos x + i sin y) 4

Figura 3: Ley del paralelogramo substituyendo tendremos z = x + iy = rei siendo y r el argumento y el mdulo de z respectivamente. o Notando algunas propiedades geomtricas de esta representacin podemos ver que si dejamos r jo y e o variamos en el intervalo 0 2 notaremos que se ira formando un c rculo de radio r con centro en el origen. Tambien con una desigualdad con el mdulo podemos delimitar todos los puntos de un c o rculo, a esto se le suele llamar disco, por ejemplo, |z| < 1 sern todos los puntos que del origen a un punto tienen un a mdulo menor a 1, es decir, todos los puntos internos del c o rculo de radio 1 con centro en el origen. Con esta representacin podemos ver que propiedades de la muliplicacin compleja, denamos z, w C o o y x, y, u, v R, entonces la multiplicacin de z y w quedara denida as o z w = (a + ib)(u + iv) = au bv + i(av + bu) pero si la representamos con polares z w = rei (Rei ) = Rr(ei ei ) = Rr(ei(+) ) lo que nos da a entender que cuando multiplicamos el argumento del vector resultante ser la suma de a los argumentos de los nmeros multiplicados. El factor Rr har un alargamiento de los vectores o una u a contraccin si uno de los dos esta entre el cero y uno. o Daremos un ejemplo con REC/C en el que multiplicaremos un nmero por i, por lo antes mencionado u dado cualquier nmero complejo multiplicado por la unidad imaginaria el resultado ser el mismo vector u a pero rotado en sentido contrario a las manecillas del reloj /2 radianes ya que el argumento de i es /2 y su mdulo es 1 . o {( (ZGp $3.5,1.85$ g ZGp Y g Z Gp *g;) ;)}

Figura 4: Coseno en trminos de suma de exponenciales complejos e Veamos si tenemos un nmero complejo con un mdulo 1 y un argumento dado su representacin polar u o o ser ei y la de su conjugado ser ei , si la representamos vectorialmente quedar la gura 4 a a a notamos que ambos tienen el mismo mdulo, que es 1, y el resultado ser un real puro, pero no slo eso por o a o reglas trigonomtricas el resultado es 2 cos . Despejando a cos el resultado es: e ei + ei 2 y tenemos que la suma de dos nmeros complejos da un nmero real lo cual es totalmente congruente. Otra u u manera e demostrar este resultado es mediante series de Taylor pero es ms laboriosa. Si en ves de sumar a estos nmeros los restamos notaremos que el resultado es u cos = ei ei 2i Vemos que la parametrizacin de un nmero complejo en su forma polar nos dar como resultado un o u a c rculo, pero recordemos que un c rculo es un caso especial de una elipse. Para denir una elipse con eje focal en el eje real y centro en el origen x2 y2 +i 2 =1 a2 b si observamos un poco podemos notar que si sustituimos x = a sin y iy = b cos cumple la igualdad. Una parametrizacin a sin + i cos con 0 2 nos dar una elipse como resultado. Este resultado no es de o a mucha trascendencia pero es un buen dato. sin =

2.4

Representacin matricial o

Un nmero complejo se puede representar como un vector y un vector como matriz,por lo que suena lgico u o que un nmero complejo se pueda representar con una matriz, slo que la representacin no tiene que ser u o o propiamente la de un vector en una matriz. Una posible representacin de z R con Re(z) = a y Im(z) = b o z= a b b a

El primer rengln nos dar el nmero complejo. Podemos denir la unidad real como o a u 1 0 6 0 1

y la imaginaria como 0 1 1 0

al ser un nmero complejo la suma de un nmero real ms otro nmero real por la unidad imaginaria, u u a u podemos hacerlo matricialmene z=a 1 0 0 1 +b 0 1 1 0 = a b b a

Con esta representacin la aritmetica compleja es isomorfa a las operaciones con matrices. o

2.5

Esfera de Riemann

El plano complejo es representado por el plano de Argand, pero existe el llamado plano complejo extendido el cual es el plano complejo ms el punto que representa el innito (C ). En topolog una esfera es un plano a a ms un punto por lo que podemos deducir que el plano extendido de los nmeros complejos, denotado por a u C , es representado geomtricamente como la supercie de una esfera, llamada Esfera de Riemann en honor e a su creador o descubridor. Todos los puntos en la esfera tienen representacin en el plano complejo o excepto el innito. El innito complejo es un nmero complejo del cual se desconoce su argumento y en la esfera se deducen u las propiedades 1 1 =0 = 0

2.6

Proyeccin estereogrca o a

Esta representacin es muy utilizada en varias reas como la cartograf y la cristalograf y es a travs de o a a a e la esfera de Riemman. Consiste en una esfera de Riemann y un plano tangente a ella en su punto ms bajo, dicho punto es a llamado polo sur, la parte ms alta ser el polo norte. Cada punto de la esfera tendrn slo uno punto en el a a a o plano, el cual se obtendr alargando una l a nea recta imaginaria del polo norte al punto y posteriormente asta que llegue al plano, donde toque al plano ser su punto equivalente. Todos los puntos de la esfera tendrn un a a punto en el plano menos el polo norte al cual se le llama punto de fuga y representa el innito. El llamado plano complejo extendido es el conjunto de nmeros del plano ms el innito (polo Norte) el cual slo se u a o puede representar en la esfera. El polo sur representa al cero. Si se coloca una gura de 3D con caras en forma de planos y se traza un vector perpendicular al plano que representa la cara de esta gura, tocara en un punto a la supercie de la esfera, si se hace esto con todas las caras se notar que la proyeccin respeta las relaciones angulares entre las caras. a o As si hacemos transformaciones de c , rculos en la esfera, haremos transformaciones de c rculos en el plano a excepcin que pase por el polo norte, si pasa esto se transformar en una l o a nea recta.

Figura 5: Proyeccin estereograca o

2.7

Proyeccin gnomonic o

Es parecida a la proyeccin estereogrca con esepcin de que por dos puntos de la esfera tendremos uno o a o en el plano. Ahora dado un punto se trazar una l a nea imaginaria del punto al centro de la esfera por lo que tocar otro punto de la supercie de la esfera y seguiremos alargando la l a nea hasta que toque el plano, donde lo toque ser el punto correspondiente. Con esta proyeccin slo se puede tener la representacin de a o o o un hemisferio. Todos los puntos que esten en el ecuador representan al innito.

Figura 6: Proyeccin gnemonic o

Una funcin compleja es una transformacin o o

La denicin formal de funcin compleja no diere de la denicin de funcin compleja, es decir, sigue siendo o o o o una regla de correspondencia uno a uno (f : f f (z)). Una funcin compleja representar una tranformacin de un espacio a otro, por lo cual podremos observar o a o comportamientos de z a f (z). La funciones complejas se compondrn de dos funciones reales (como es de a esperarse) una real y una imaginaria. Por ejemplo la funcin w = z 2 si z = x + iy y w = u + iv, podremos o sustituir valores w = u + iv = z 2 = (x + iy)2 = x2 + y 2 + 2xyi por lo que u = x2 + y 2 y v = 2xy, as que u y v sern dos funciones reales que dependern de las partes a a reales e imaginarias de z.

3.1

L mites y derivada de una funcin compleja o

Se dice que una funcin tiene un l o mite A cuando z tiende a a

za

lim f (z) = A

si para todo siempre que

< 0 exite un < 0 tal que |f (z) A| < 0 < |z a| <

Como vemos las condiciones mencionadas arriba para la existencia del l mite se pueden interpretar de la siguiente manera: dado un disco D de radio y centro en A, existen un disco D con centro en a y radio tal que para todo z en D existe un f (z) en D . Puede que en el centro a no se cumpla sto. Hay que tomar e en cuenta la denicin de nmero complejo para poder entender los l o u mites de funciones complejas, ya que a y A son complejos. Las reglas para l mites de funciones complejas son los mismos que para variable real.

Cuando aplicamos el l mite estamos acercando z a a pero podemos acercarlo por muchas direcciones as que se escoge las ms cmodas que son por el eje real e imaginario, es decir, un l a o mite horizontal y un vertical. para hacer esto diremos que z = x + iy y a = + i y descompondremos en l mite como sigue:
x=;y x;y=

lim

f (z) f (z)

lim

Si el resultado de estos dos l mites es igual entonces

za

lim f (z)

existe, de lo contrario no existe. Para que una funcin sea continua en z0 debe estar denida en z0 y cumplir con que o
zz0

lim f (z) = f (z0 )

Si esto no se cumple se dice que la funcin es discontinua en z0 . Por las reglas de l o mites se deduce que si dos funciones son continuas su suma y multiplicacin es tambin continua pero su cociente ser continuo o e a slo donde la funcin en el denominador sea distinta de cero. o o La derivada de una funcin compleja se dene como o f (z) = lim
zz0

f (z) f (z0 ) f = lim z0 0 z z z0

y respeta las frmulas de derivacin del clculo real. o o a Si una funcin es derivable en un punto z0 entonces es continua pero si la funcin es continua no implica o o que ser derivable. a Una funcin se dice anal o tica en un punto z0 si es continua y derivable en z0 y en todo z que pertenezca a alguna vecindad de z0 . Si tenemos la funcin w = f (z) que es anal o tica en el punto f (z0 ) y f (z) = 0 entonces k = |f (z0 )| es un coeciente de alargamiento o contraccin, dependiendo si es mayor o menor a uno. El argumento de o = f (z0 ) es igual al ngulo, al que hay que girar la tangente en z0 de cualquier arco L que pasa por z0 , para a obtener la tangente en el punto w0 = f (z0 ) a la imagen L de esta curva despus de aplicar la transformacin. e o Si < 0 ser en contra de las manecillas del reloj y viseversa. a

3.2

Transformaciones o mapeos

Para representar la funcin compleja geomtricamente se requerir 4 dimensiones dos para la variable o e an independiente y dos para la dependiente (ya que un slo nmero complejo se representa en un plano). Como o u no se puede representar un plano es 4 dimensiones sin crear una confusin fuerte se recurre a diversas tcnicas o e de representacin pero una sencilla y muy usada es representar la variable dependiente en un plano(plano o w = f (z)) y la variable independiente en otro plano (plano z). 3.2.1 Traslacin o

La transformacin de traslacin tiene la forma general o o w = f (z) = z + c donde z es la variable compleja y c es una constante compleja. Si substituimos que w = u + iv , z = x + iy y c = h + ik tendremos u + iv = x + iy + h + ik = x + h + i(y + k) lo que tiene una forma parecida a la traslacin de ejes en geometr anlitica y de hecho si observamos con o a a atencin notamos que lo que provoca esta transformacin es slo mover los ejes h unidades en el eje real y o o o k unidades en el eje imaginario. 9

Figura 7: traslacin o 3.2.2 Rotacin o

Recordando que una multiplicacin de nmeros complejos provoca una rotacin y un cambio de magnitud o u o dependiendo del mdulo de los factores, podemos hacer una rotacin de ejes de esta forma. Si deseamos o o hacer una rotacin de ejes con un ngulo expl o a cito podemos recurrir a la forma polar del nmero complejo, u si tenemos w = ze en el plano w tendremos una rotacin de los ejes de radianes en sentido contrario de o las manecillas del reloj que respetar la magnitud, es decir, slo rotar los ejes. a o a

Figura 8: Rotacin o

3.2.3

Inversin o

La inversin tiene la forma general o 1 z y lo podemos ver como una multiplicacin con un factor fraccionario, por lo que de nuevo es conveniente o verla desde la forma polar 1 1 = ei rei = Rei R w=

10

esto muestra que 1 = R Con esto podemos notar que hay una invercin en la magnitud del vector por lo que s por ejemplo, tenemos o , un punto en el c rculo unitario despus de la tranformacin estar afuera. Tambin se nota que el ngulo de e o a e a w ser igual al de z. a Si representamos esta transformacin con coordenadas cartesianas tendremos o r= u= x + y2 u x= 2 u + v2 x2 v= y + y2 v y= 2 u + v2 x2 (1) (2)

Un c rculo con centro en el origen y de radio r est dado por a x2 + y 2 = R2 si substituimos con las ecuaciones 2 tendremos u2 v2 + 2 = R2 (u2 + v 2 )2 (u + v 2 )2 simplicando 1 = r2 R2 y esto es un c rculo con centro en el origen en el plano w. Si tomamos la l nea y = c v =c 2 u + v2 u2 + v 2 = u2 + v + 1 (2c)2
2

1 (2c)2

esto representa un c rculo en el plano w de radio 1/(2c)2 y con centro en (0, 1/(2c)2 ).

Figura 9: Inversin o Existen las posibilidades de que la recta sea positiva (como en ste caso) o negativa, tambin existe la e e posibilidad de que la recta en vez de ser horizontal sea vertical, as que en algunos casos nos transformar en a rectas o en c rculos, como en este caso. En general una inversin transformara c o rculos y l neas en c rculos en l neas, no necesariamente en ese orden. 11

3.3

Transformaciones conformes

En el plano z tenemos dos arcos con un ngulo en su interseccin, si este ngulo se conserva en el plano a o a w = f (z) cuando mapeamos estos arcos se dice que el mapeo conserva ngulos. El ngulo es el resultado de a a la diferencia de las pendientes de dichos arcos en la interseccin. Si tenemos una rotacin en el plano z y su o o imagen en el plano w = f (z) tambin tiene una rotacin en el mismo sentido se dice que esta tranformacin e o o preserva la orientacin. o Una transformacin conforme preserva ngulos y orientacin, pero deve de cumplir que sea anal o a o tica en la regin de la transformacin y que f (z) = 0. o o 3.3.1 Transformacin de Mbius o o

Las transformaciones de fracciones lineal o de Mbius tienen la forma general o f (z) = az + b cz + d

donde a, b, c, d son constantes complejas. Esta transformacin es conforme en todo punto excepto donde o ad bc = 0 ya que en ese punto f (z) = 0 y la funcin es constante. o Consta de una rotacin y cambio de escala, una traslacin, una inversin, otra rotacin y cambio de o o o o escala y otra traslacin. Las propiedades de esta transformacin son heredadas de las transformaciones que o o la conforman. Esta transformacin respeta la topolog de la funcin. o a o Esta transformacin es uno-por-uno-e-invertible lo que signica que a cada punto en z slo le correspono o der uno en w = f (z) y adems despejando z de la transformacin podremos obtener el punto en el plano a a o z a partir de f (z). La funcin puede mapearse en la esfera de Riemann uno a uno y sigue siendo conforme o excepto en z = d/c y z = ya que en estos puntos la derivada es cero o innito. Una de las principales propiedades de esta transformacion es que hereda la propiedad de la transformacin o de la inversin la cual transforma c o rculos o l neas en c rculos o l neas, tomando en cuenta que s tenemos un c rculo en la esfera de Riemann que pasa por innito en el plano compejo ser una recta, si este c a rculo no pasa por el punto de fuga se transformara en un c rculo. Si modicamos la forma general de la transformacin de Mbius para tenerla igualada a cero obtendremos o o ewz + f w + gz + h = 0 Dados 3 puntos en el plano z y otros 3 puntos en el plano w que correspondan entre s podemos saber cual es la transformacin que les corresponde la cual es unica. Para hacerlo haremos un sistema de ecuaciones o que se puede ver desde matrices wz w z 1 e 0 w1 z1 w1 z1 1 f 0 w2 z2 w2 z2 1 g = 0 w3 z3 w3 z3 1 h 0 Si el determinante de la matriz es igual a cero el sistema nos llevar a que la transformacin esta dada a o por z 1 z z3 z2 w1 w w3 w2 = w1 w2 w3 w z1 z2 z3 z Las transformaciones de Mbius tienen puntos jos los cuales cumplen que o z= az + b cz + d

Si manipulamos un poco esta ecuacin tendremos que o cz 2 + (d a)z b = 0 12 (3)

As las ra ces de la ecuacin 3 sern los puntos jos de la transformacin los cuales en general sern o a o a z+ = (a d) (a d)2 + 4cb 2c

Pero cuando analizamos propiedades generales de esta transformacin combiene usar una forma normalo izada la cual cumple que ad bc = 1, si aplicamos esta ecuacin y simplicamos tendremos o z+ = (a d) (a + d)2 + 4 2c (4)

En casos donde se estudia un caso espec co de esta transformacin no se ocupa la forma normalizada. o De la ecuacin 3.3.1 las transformaciones de Mbius tienen hasta dos puntos jo, esto se cumple para o o todas las transformaciones menos para la identidad. Estos puntos sern unicos para cada transformacin as a o que apartir de ellos tambin se puede construir la transformacin. e o Si se aplica la transformacin a un punto jo el resultado ser el mismo punto jo, es decir se mapea en o a si mismo. 3.3.2 Representacin por matrices de la transformacin de Mbius o o o

Es posible representar esta transformacin a travs de matrices 2x2 en la cual el determinante tiene que ser o e distinto de cero para que la transformacin sea conforme. La matriz que representa la transformacion es la o siguiente a b c d donde a, b, c, d son las constantes complejas de la transformacin. o Si se quisiera aplicar una segunda iteracin a la transformacin , o o w= Az + B Cz + D = z= at + b ct + d

w=

A( at+b ) + B ct+d C( at+b ) ct+d +D

(Aa + Bc)t + Ab + Bd (Ca + Dc)t + Cb + Dd

podr amos obtenerla de la multiplicacin de las matrices de coecientes de la transformacin. o o A C B D a b c d = Aa + Bc Ab + Bd Ca + Dc Cb + Dd

Al representar la transformacin como una matriz estamos ligando nuestra transformacin con el lgebra o o a lineal, as que podemos usar algunas de sus caracter sticas importantes como son los eigenvalores y los eigenvectores. Si tenemos un eigenvalor y un eigenvector denido como = unicos de la transformacin cumplirn con que o a a b c d 1 2 = 1 2 1 2

y observamos que si z = 1 /2 y le aplicamos la transformacin, sern llos mismos, as que son los puntos o a e jos de la transformacin. o

13

Para obtenerlos slo usaremos el mtodo tradicional del lgebra lineal. o e a det a b c d =0

(a )(d ) bc = 2 (a + b) + ad bc = 0 cuyas ra ces sern a (a + b)2 4(ad bc) 2 pero como la transformacin es normalizada tendremos o = a+b = a+b (a + b)2 4 2

Aplicaciones geomtricas e

Un buen ejemplo de la manera en la que se simplican algunos casos usando nmero complejos que nmeros u u reales son los siguientes ejemplos.

Ejemplo 1
Encontrar la forma general de un c rculo que pasa por 3 puntos dados z1 , z2 , z3 C Solucin.- La denicin de c o o rculo esta denida como el lugar geomtrico en el cual la distancia de todos e sus puntos es igual a otro punto llamado centro. Entonces la ecuacin de un c o rculo ser a |z c| = r siendo c el nmero complejo que corresponde al centro. Si elevamos todo al cuadrado u |z c|2 = (z c)(z c) = r2 Resolviendo la multiplicacin tendremos o zz zc zc cc = r2 esta ser la ecuacin general de un c a o rculo con centro c y radio r. Sustituyendo los anteriores puntos tendremos 3 ecuaciones z1 z 1 z1 c z 1 c cc = r2 z2 z 2 z2 c z 2 c cc = r2 z3 z 3 z3 c z 3 c cc = r2 si restamos la primera ecuacin a la segunda y luego a la tercera nos quedar o a z2 z 2 z1 z 1 z2 c z 3 c + z 1 c + z1 c = 0 z3 z 3 z1 z 1 z3 c z 3 c + z 1 c + z1 c = 0

z2 z 2 z1 z 1 = z 2 c + z 2 c z 1 c z1 c z3 z 3 z1 z 1 = z 3 c + z 3 c z 1 c z1 c

14

z2 z 2 z1 z 1 = c(z 2 z 1 ) + c(z2 z1 ) z3 z 3 z1 z 1 = c(z 3 z 1 ) + c(z3 z1 )

(5) (6)

Podemos acomodar estas dos ecuaciones de forma matr cial usando las relaciones de la ecuacin 5 en el o primer rengln y la ecuacin 6 en el segundo rengln. o o o z2 z 2 z1 z 1 z3 z 3 z1 z 1 = z2 z1 z3 z1 z2 z1 z3 z1 c c

Si el determinante de la matriz 2x2 es igual a cero cumple que z3 z1 z2 z1 = z3 z1 z2 z1 lo cual es la condicin necesaria para que los 3 puntos no sean colineales. Si obtenemos la matriz inversa de o la matriz de dos por dos y la multiplicamos por la matriz del lado izquierdo podremos tener el valor de c el cual estar dado por a |z1 |2 (z2 z3 ) + |z2 |2 (z3 z1 ) + |z3 |2 (z1 z3 ) c= (z3 z1 )(z2 z1 ) (z2 z1 )(z3 z1 ) el radio lo podemos obtener con r = |z1 c|. {(JS1pJS2pJS3p;)i (R1Pj*R2R3-* R2Pj*R3R1-* R3Pj*R1R2-* ++ ;)a ( R1 j R2 R3 - * R2 j R3 R1 - * R3 j R1 R2 - * ++ ;)b (@a@b/;)c (R1 @c-Pj*r;)R ( (@i @c @R k;) (R1zpR2zpR3zp;) ;)}

Ejemplo 2
Si formamos un cuadriltero con los lados de 4 cuadros como muestra la gura podemos demostrar que los a dos vectores que se forman uniendo el centro de los cuadros que no son adyacentes son de igual magnitud y son perpendiculares. Solucin.- Tomaremos que los lados del cuadriltero son vectores que al salir y llegar al mismo punto, o a suman cero a + b + c + d = 0. Si multiplicamos por dos est ecuacin no se altera (para simplicar los a o clculos). Ahora para obtener el centro del primer cuadrado marcado en la gura como p recordemos que a cualquier nmero complejo que multipliquemos por i rota /2 y no altera su magnitud por lo que si sumamos u p = a+ia = a(1+i) nos dar el centro del cuadro. Para obtener los dems se hace algo similar y obtendremos a a las siguientes ecuaciones q = 2a + b(1 + i) r = 2a + 2b + c(1 + i) s = 2a + 2b + 2c + d(1 + i) Ahora denimos a que es el vector que va desde p a r con A = r p, de la misma manera a B = s q. Substituyendo los valores nos quedar: a A = 2a + 2b + 2c + d(1 + i) (2a + b(1 + i)) = b + 2c + d + i(d b) 15

Figura 10: Resultado del programa que genera un c rculo que pasa por puntos dados

Figura 11: Representacin del ejemplo 2 o

16

B = 2a + 2b + c(1 + i) a(1 + i) = a + 2b + c + i(c a) Ya que tenemos la denicin de estos vectores en funcin de datos dados procedemos a demostrar que son o o de igual magnitud y perpendiculares. Para comprobar esto podemos hacer la ecuacin A + iB = 0 ya que si o son perpendiculares y de igual magnitud se cumple que A = iB. A + iB = b + 2c + d + i(d b) + i(a + 2b + c + i(c a)) = a + b + c + d + i(a + b + c + d) = 0 + i0 = 0 En esta ultima ecuacin recordemos las condiciones iniciales en las que a + b + c + d = 0 o

17

{($1,2$;)a ($2,-1$;)b ($-2,-3$;)c ($20$Mp (ZGp@aDgG@bD+gG@cD+gG@dD+g;) (@aPY*+zS0p;) (@aD@bPY*++zS1p;) (@aD@bD+@cPY*++zS2p;) (@aD@bD@cD++@dPY*++zS3p;) (R2R0-R0QsG+g;) (R3R1-R1QsG+g;) ;)}

($-1,2$;)d

Conclusiones

La matemtica adquiere una poderoza herramienta a travs de los mtodos grcos, por lo que nunca esta a e e a por dems representar los resultados obtenidos de una manera geomtrica. Algunas funciones pueden ser a e analizadas de una manera ms representativa a travs de una grca que con las herramientas que proporciona a e a el clculo, con lo que se facilita la comprecion de conceptos ms complicados. a a

Referencias
[1] Harold V. McIntosh, Complex Variable Theory, 1999. [2] Tristan Needham, Visual Complex Analysis, Oxford University Press ,1997.(ISBN 0-19-853446-9) [3] George B. Arfken, Hans J. Weber, Mathematical methods for physicists , Harcourt Academic Press 2001. (ISBN 0-12-059826-4) [4] Arthur A. Hauser, Variable compleja, Fondo Educativo Iteramerciano 1973. [5] William R. Derrick, Variable Compleja con Aplicaciones, Grupo editorial Iberoamericana, 1987. (ISBN 0-534-02853-0)

18

Gu rpida de programacin en REC/C a a o

Para agregar comentarios al cdigo que no afecten al programa se pondrn entre [ ] o a Un programa en REC/C empezar y terminar con { y } respectivamente. Dentro de l ir el programa a a e a principal que empezar y terminar con ( y ) poniendo un punto y coma antes del parntesis derecho para a a e indicar el n de la ejecucin del programa. o { [declaracion de constantes y subrutinas] ([declaracion del programa principal] ;)} Para meter constantes a la pila se coloca la instruccin $xx.xx,yy.yy$ donde xx.xx es la parte real y o yy.yy es la parte imaginaria. La forma de operar de REC/C es con notacin polaca (posja inversa), as que si deseamos realizar una o suma, por ejemplo, meteriamos los dos operadores y despus el operador de suma. e Para asignar un color o un mtodo de iluminado con el operador Qx donde x puede ser un color jo o e una asignacin de color dependiendo del mdulo o de la fase de los siguientes: o o R Rojo B Azul G Verde C Cyan a asigna color segn la fase u v asigna color segn el valor absoluto u s asigna color por bloques dependiendo el valor absoluto Cuando establecemos un modo de iluminado tanto las l neas como los cuadros tendrn el color asignado por a el mismo. Para dibujar l nea en REC/C se pone encima de la pila una constante y posteriormente se indica con el operador G que es el punto de inicio de la l nea recta el punto donde terminar se coloca poniendo en cima a de la pila otra constante y el operador g. Se puede modicar la escala de la grca introduciendo una constante que ser el valor por el cual se a a multiplicar la escala (por default es 10) y posteriormente el operador M. Tambin se puede cambiar el a e tamao de los cuadros que se dibujan introduciendo la constante de tamao del cuadro (por defaul es .125) n n y el operador m. Para dibujar un cuadro en una coordenada pondremos en la cima de la pila la constante que representa la posicin y posteriormente el operador q el cual dibuja el cuadro con un color y un tamao por default a o n menos que se haya indicado previamente alguno. Una iteracin siempre es util y la forma de hacer es (!n! ... :;). Esto repetir n veces lo que este o a en el lugar donde estn los 3 puntos. a REC/C permite el uso de subrutinas cuyo identicador con el cual sern llamadas, slo debe de constar a o de un carcter. Para llamarlas en el programa principal debemos poner una arroba y luego el identicador a con el que fueron nombradas. {(...)a [subrutina a] ( (!4! @a :;)[llamara 4 veces ;)} a la subrrutina a]

19

Otra de las caracter sticas de REC/C es que tambin permite la realizacin de supercies que representan el e o valor absoluto de una funcin de una variable compleja. Para dibujarla tendremos que indicar que usaremos o un algoritmo de ocultamieto (para ver la supercie como si fuera un cuerpo opaco) con el operador A. Las tres dimensiones de la supercie para un punto z0 evaluado en w = f (z) sern Re(f (z0 )), Im(f (z0 )) y |f (z0 )|. a Para dibujar la supercie slo se necesita tener los valores de z y con los operadores BH y Bh (tambin o e puede ser bH y bh) se dibujar la supercie ya que la unin de stos calcula la altura, hace la proyeccin de a o e o R3 a R2 y dibuja la l nea si debe de ser dibujada. Con el operador a se indica que a terminado una l nea y comienza otra.

20