Contents

Funciones de variable compleja

Las funciones de variable real ms importantes admiten una extensin natural a funciones de variable compleja. El caso ms simple es el de los polinomios. Cada polinomio con coeficientes reales define una funcin sobre C que extiende a la funcin que define sobre R. Claramente se trata de una funcin continua. Ms aun, todo polinomio p(z) C[z] define una funcion continua en C si admitimos que p() = . Lo mismo ocurre con las funciones racionales, con la precaucin de que toman el valor infinito en los puntos donde se anulan sus denominadores (en se extienden con el valor del lmite, finito o infinito, y el resultado es siempre una funcin continua). Por ejemplo, la funcin f(z) =1z2 + 1 toma el valor en i y toma el valor 0 en . Quiz la funcin real ms importante sea la funcin exponencial. Esta admite una extensin al plano complejo que es sin duda la funcin ms importante de variable compleja. La definicin que vamos a dar puede parecer muy artificial, pero veremos enseguida que as se conservan las muchas propiedades de la funcin real, y ms adelante probaremos que es la nica extensin posible derivable en todo punto en el sentido de derivabilidad compleja que definiremos en el captulo siguiente. Definicin 1.1 Definimos la funcin exponencial ez : C - C mediante ex+iy = ex cos y + iex sen y. (1.1) El teorema siguiente recoge las propiedades basicas de la exponencial compleja. Todas ellas se demuestran sin ninguna dificultad a partir de las propiedades de la exponencial real y las funciones trigonomtricas. Teorema 1.2 La funcin exponencial compleja es continua y extiende a la exponencial real. Adems verifica a) ez1+z2 = ez1ez2 , b) ez = ez, c) |ea+bi| = ea, d) ez 0, e) e-z =1ez. Las funciones complejas presentan el inconveniente de que no pueden ser representadas grficamente, ya que su grafica tiene cuatro dimensiones. Para hacernos una idea del comportamiento de la exponencial podemos fijarnos en como transforma las rectas. Por ejemplo, si fijamos x, al variar y la expresin (1.1) describe un crculo de centro 0 y radio ex, luego la funcin exponencial biyecta el conjunto de las rectas verticales con el de los crculos de centro 0. Si por el contrario fijamos la variable y, entonces (1.1) recorre todos los mltiplos positivos del vector unitario (cos y, sen y), es decir, la imagen de una recta horizontal es una semirrecta.

En el caso de una recta oblicua, resulta que a medida que avanzamos por la recta aumentan tanto el modulo como el argumento de las imgenes, por lo que el resultado es una espiral, lo que se conoce como una espiral logartmica La figura muestra las imgenes por la funcin

exponencial de las rectas x = 1, y = 10 e y = 4x. Centrmonos en las rectas horizontales. Si llamamos S = {ex+i | x R}, es decir, la semirrecta formada por todos los nmeros complejos de argumento , hemos visto que S es la imagen por la funcin exponencial de la recta y = . Una banda de anchura menor que 2, esto es, un conjunto de la forma {x + i | x R, a < < b} con b - a < 2 es la unin de las rectas horizontales de altura a < < b, luego su imagen por la funcin exponencial ser la unin de las semirrectas S con a < < b, o sea, un ngulo de b - a radianes:

As pues, la funcin exponencial biyecta las bandas con los ngulos. La mayor banda que podemos tomar sin perder la biyectividad es la de anchura 2, siempre que la tomemos abierta (o al menos semiabierta). Teorema 1.2 Si R, la funcin exponencial biyecta la banda abierta {x + iy | x R, < y < + 2} con el abierto H = C \ (S {0}), es decir, con el complementario de la semirrecta cerrada de argumento .

Demostracin: Si un numero complejo z 6= 0 no tiene argumento , tiene un argumento y de manera que < y < +2. Si |z| = ex, entonces z = ex+iy, luego la funcin exponencial entre los conjuntos considerados es suprayectiva. Para probar la inyectividad vemos primero que ex+iy = 1 si y solo si ex(cos y + i sen y) = 1, si y solo si ex = 1, cos y = 1 y sen y = 0, si y solo si x = 0 e y = 2k para cierto k Z. Por lo tanto ez1 = ez2 si y solo si ez1-z2 = 1, si y solo si z1 -z2 = 2ki para un k Z. Si tomamos z1 y z2 en una banda abierta de anchura 2, esta condicin equivale a z1 = z2, luego la funcin exponencial es biyectiva sobre estas bandas. Definicin 1.3 Un nmero complejo L es un logaritmo de otro nmero z si cumple eL = z. Llamaremos Log z al conjunto de todos los logaritmos de z. Del teorema anterior se deduce que todo nmero complejo no nulo tiene infinitos logaritmos, aunque vamos a verlo directamente: Si L = a + bi es un logaritmo de z, entonces z = ea+bi = ea(cos b + i sen b), luego |z| = ea y por lo tanto a = log |z|. Por definicion, b es un argumento de z. Recprocamente, es obvio que si es un argumento de z, entonces L=log |z|+i es un logaritmo de z. As pues, hay una biyeccion entre los logaritmos de z y los argumentos de z dada por Log z - Arg z Arg z - Log z L ImL log |z| + i En particular, si L1 y L2 son logaritmos de z, entonces L1 = L2 +2ki, con k Z y, si L1 es un logaritmo de z, entonces Log z = {L1 + 2ki | k Z}. Para cada R definimos la funcin log : H - C como la inversa de la restriccin de la funcin exponencial a la franja < Im z < + 2. Equivalentemente, si z H entonces log z es el nico logaritmo de z cuya parte imaginaria esta en ], + 2[. Con ms detalle, log z = log |z|+i arg z, donde arg z es el nico argumento de z en el intervalo ], + 2[.

A las funciones log y arg se las llama ramas uniformes del logaritmo y el argumento en H . Teorema 1.4 Para cada nmero real , las ramas uniformes arg : H - R y log : H - C son continuas . Demostracin: Dada la relacin log z = log |z| + i arg z, basta probar que arg es continua. Si z H, entonces z = zei , donde = arg z ], + 2[. Por lo tanto eiz = zei- tiene argumento - ]0, 2[, es decir, e-iz H0. Adems arg0(e-iz) = -, luego arg z = +arg0(e-iz). Por consiguiente basta probar que arg0 es continua. Llamemos S = {ei | 0 < < 2}. La funcin f : H0 - S dada por fz=zz es contina y conserva los argumentos, es decir, arg0 z = arg0 f(z). Por lo tanto basta probar la continuidad de la restriccin a S de arg0, es decir, de la inversa de la funcin g : ]0, 2[ - S dada por g() = cos + i sen . A su vez esta es consecuencia de la continuidad de las funciones arccos : ]-1, 1[ - ]0, [, arcsen : ]-1, 1[ -]-2,2[, pues sobre el conjunto {z S | Im z > 0} se cumple g-1(z) = arccos Re z, sobre {z S | Im z < 0} es g-1(z) = 2 - arccos Re z y sobre {z S | Re z < 0} tenemos g-1(z) = - arcsen Im z, y estos tres conjuntos son abiertos en S y cubren todos sus puntos. En la prctica no usaremos la notacin log, sino que diremos que log es el logaritmo que toma argumentos entre y + 2. Si no se indica lo contrario, log representara al logaritmo con argumentos entre - y . De este modo, si r R, su argumento es 0, luego log r R y as log extiende a la funcin logaritmo real. Observar que no es cierto en general que log(z1z2) = log z1 + log z2. El segundo miembro es, en efecto, un logaritmo de z1z2, pero su parte imaginaria no tiene por qu estar entre y + 2. Ahora vamos a extender las funciones seno y coseno. Partiremos del hecho de que si x R, entonces eix = cos x+i sen x, luego cos x = Re eix, sen x = Im eix. Nos interesa definir que las extensiones sean derivables en el sentido que definiremos en el captulo siguiente, pero veremos all que las funciones parte real y parte imaginaria no son derivables, por lo que si definiramos cos z = Re eiz y sen z = Im eiz no obtendramos funciones derivables. Esto se resuelve observando que en general Re z =z + z2, Im z =z - z2i.

Definicin 1.5 Llamaremos funciones seno y coseno a las dadas por sen z =eiz- e-iz2i cos z = eiz+ e-iz2 . Con esta definicin la derivabilidad ser obvia a partir de la derivabilidad de la funcin exponencial. La prueba del teorema siguiente no presenta ninguna dificultad. Teorema 1.6 Las funciones seno y coseno complejas extienden a las correspondientes funciones reales. Adems cumplen: a) sen2z +cos2z = 1. b) sen(a + b) = sen a cos b + sen b cos a. c) cos(a + b) = cos a cos b - sen a sen b. d) Si k Z entonces sen(z + 2k) = sen z, cos(z + 2k) = cos z. e) cos(-z) = cos z, sen(-z) = -sen z. Sin embargo, no es cierto que | sen z| 1, | cos z| 1. Por ejemplo, para todo nmero real x se cumple cos ix =ex + e-x2 sen ix = iex - e-x2 , y estas funciones no estn acotadas. Ahora tenemos definida de forma natural la funcin tangente compleja, dada por tan z = sen z/ cos z. Esta funcin est definida en el plano complejo salvo en los puntos donde el coseno se anula que, como vemos a continuacin, son exactamente los nmeros reales donde el coseno se anula. Teorema 1.7 Los ceros de las funciones seno y coseno complejas son los mismos que los de las funciones reales correspondientes, es decir, cos z = 0 si y solo si z =2+ k, sen z = 0 si y solo si z = k, con k Z. Demostracin: Vemoslo para el coseno. cos z = 0 si y solo si eiz = -e-iz,si y solo si e2iz=-1 = ei, si y solo si 2iz = i+2ki, si y solo si z = /2+k. El caso del seno es anlogo. A partir de la exponencial y el logaritmo se pueden definir otras funciones de inters. Por ejemplo, podemos definir exponenciales de base arbitraria no nula: az = ez log a, donde log a es un logaritmo cualquiera de a. Podemos considerar az como una funcin multiforme, aunque es mejor pensar que tenemos infinitas funciones independientes definidas sobre todo el plano complejo, una para cada logaritmo posible de la base. La exponencial usual se obtiene como caso particular al tomar log e = 1. Tambin tenemos las funciones potenciales: za = ea log z. Estas son funciones multiformes, de las que podemos separar ramas uniformes continuas (es decir, funciones continuas que asignan a cada z una de sus potencias za) en los abiertos donde el logaritmo las tiene, en particular en los

abiertos H y, por consiguiente, en un entorno de cada punto no nulo. No obstante, si a Z entonces za = elog za, donde las exponenciales del segundo miembro son la funcin exponencial usual y la exponenciacin respecto a enteros, definida algebraicamente en cualquier cuerpo, es decir, za es simplemente la exponenciacin usual, es una funcin uniforme y est definida en todo el plano complejo. De entre las funciones potenciales con exponente no entero, las ms importantes son las de exponente 1/n, donde n es un nmero natural no nulo. Entonces escribimos z1n = nz, pues claramentenz n = z, pero debemos recordar que nz es una funcin multiforme, pues cada nmero complejo no nulo tiene exactamente n races n-simas distintas. Cada rama uniforme continua del logaritmo determina una rama uniforme continua de la raz n-sima. En particular todo nmero complejo no nulo tiene en un entorno una rama uniforme continua de la raz n-sima. De hecho es fcil ver que en un entorno suficientemente pequeo tiene exactamente n ramas distintas (las que hemos descrito).

Arcos Una importante herramienta topolgica en el estudio del plano complejo es el concepto de arco, que estudiaremos en esta seccin. Definicin 1.13 Un arco es una aplicacin continua : [a, b] - C. Llamaremos rango del arco al conjunto * = [a, b], que es un subconjunto compacto de C. Los puntos (a) y (b) se llaman extremos de . Concretamente (a) es el punto inicial de y (b) es el punto final. Diremos que es un arco cerrado si (a) = (b).

Es importante que un arco no es el conjunto de puntos *, sino la aplicacin , pues contiene ms informacin que *. Por ejemplo, determina sus extremos en un orden fijo mientras que * no lo hace. Definicin 1.8 Si : [a, b] - C es un arco, su arco opuesto ser el arco - : [b,-a] - C dado por (-)(t) = (-t). Geomtricamente, - es el mismo arco que salvo que esta recorrido en sentido contrario.

Consideremos dos arcos : a, b- C y : c, d- C. Diremos que y pueden unirse, o que existe su unin, si b= c, en cuyo caso definimos el arco :a, b+d- c- C dado por t=t si a t b(t - b + c) si b t b + d - c

Geomtricamente es el arco que se obtiene al recorrer y seguidamente recorrer . Es claro que * = * *, as como que el punto inicial de es (a) y el punto final es (d).

Los arcos ms sencillos son los segmentos. Definimos el segmento de extremos z1 y z2 como el arco [z1, z2] : [0, 1] - C dado por [z1, z2](t) = (1 - t)z1 + tz2. Una poligonal es una unin finita de segmentos. Es un hecho conocido de la topologa de R2 que si es un abierto conexo de C y z1, z2 , entonces existe una poligonal de extremos z1 y z2 cuyo rango est contenido en . Definicin 1.9 Diremos que una aplicacin f : ]c, d[ - C es derivable si lo es como funcin f : ]c, d[ - R2, es decir, si las funciones Re f, Im f : ]c, d[ - R son derivables en el sentido del analisis real. En tal caso se define la derivada f = Re f + iIm f. La funcin f es de clase C1 si su derivada es continua. Diremos que un arco : a, b- C es derivable si se puede extender a una aplicacin de clase C1 en un intervalo abierto que contenga al intervaloa, b. Notemos que entonces que 0 : [a, b] - R no depende de la extensin considerada ni siquiera sobre los extremos a y b. Es conocido que los arcos derivables son rectificables, en el sentido de que se les puede asignar una longitud. Adems esta puede calcularse por la frmula siguiente, que nosotros adoptaremos como definicin: L() = ab|(t)| dt. Por ejemplo, para calcular la longitud de un segmento [z1, z2] observamos que su derivada es constante y vale z2 - z1, por lo que su longitud es |z2 - z1|, es decir, la distancia entre sus extremos.

Ejemplo: Consideremos los arcos : [0, 2] - C y : [0, 4] - C dados ambos por t eit. Claramente cumplen que * = * (ambos conjuntos son la

circunferencia de centro 0 y radio 1), pero su longitud no es la misma. En efecto, (t) = cos t + i sen t, luego (t) = -sen t + i cos t y por consiguiente t= 1. As pues L=02 dt = 2, L() =04dt = 4. Lo que sucede es que recorre una vez la circunferencia, mientras que da dos vueltas. Si es un arco derivable lo mismo le sucede a -. Mas aun, -(t)=-(-t), de donde L(-) = -b-a|(-t)| dt =-ba |(t)| dt = L(). Es de esperar que L( ) = L() + L(), lo cual es esencialmente cierto, pero aparece el problema de que la unin de arcos derivables no es necesariamente derivable en el punto de unin. En lugar que imponer condiciones para que lo sea, conviene trabajar con una familia ms amplia de arcos: Definicin 1.10 Diremos que un arco : [a, b] - C es derivable a trozos si existen puntos a = x0 < x1 < < xn = b de modo que la restriccion de a cada intervalo [xi-1, xi] sea un arco derivable. Por ejemplo, las poligonales son arcos derivables a trozos. Podemos definir la longitud de un arco en estas condiciones como la suma de las longitudes de los trozos donde es derivable. No es difcil probar que esta longitud no depende de la particin que se elija. La unin de arcos derivables a trozos es de nuevo un arco derivable a trozos y ahora se cumple evidentemente la relacin L( ) = L() + L(). La definicion de arco que hemos dado contiene algunos elementos arbitrarios de los que conviene prescindir. Por ejemplo, dados dos puntos z1 y z2, si escribimos explcitamente las definiciones de los segmentos [z1, z2] y -[z2, z1] veremos que no son exactamente el mismo arco, pues el dominio del primero es [0, 1] y el del segundo es [-1, 0]. Por lo demas ambos tienen los mismos extremos en el mismo orden, el mismo rango y la misma longitud. En todos los contextos en que necesitaremos trabajar con arcos ser indistinto considerar uno u otro. Ello nos lleva a introducir un concepto de equivalencia de arcos. Observemos en primer lugar que si : [c, d] - [a, b] es una aplicacin continua y suprayectiva y : [a, b] - C es un arco, entonces la composicin = o : [c, d] - C es un arco que cumple * = *. No obstante ambos arcos distan mucho de ser equivalentes. Por ejemplo, si es como indica la figura

entonces el arco comienza en un punto intermedio de , retrocede hasta su punto inicial, avanza hasta su punto final y retrocede hasta otro punto intermedio. En particular y tienen distintos extremos y (admitiendo que sean derivables) distinta longitud. Para evitar esto debemos exigir que sea biyectiva, con lo que necesariamente ha de ser montona creciente o decreciente. En el primer caso y tendran los mismos extremos. En el segundo los tendrn intercambiados, que es lo que sucede al pasar de un arco a su opuesto, donde (t) = -t. Estas consideraciones nos llevan a la definicin siguiente: Definicin 1.11 Diremos que dos arcos : a, b- C y : c, d- Cson equivalentes si existe una funcin : [c, d] - [a, b] biyectiva, montona creciente y continua tal que = o . De este modo, dos arcos equivalentes tienen el mismo rango y los mismos extremos en el mismo orden. Cuando trabajemos con arcos derivables a trozos exigiremos que sea tambin derivable a trozos, con lo que adems se cumple que dos arcos equivalentes tienen la misma longitud. En efecto, podemos suponer que , y son derivables, pues en general podemos restringirnos a un nmero finito de intervalos donde as ocurra. Aplicando la regla de la cadena a las partes real e imaginaria de obtenemos la relacin (t) = Re t(t) + Im t(t) = t(t), y el teorema de cambio de variable nos da L() = cd|(t)| dt =cd|t|(t) dt = ab|(t)| dt = L(). Notemos que no necesita valor absoluto porque es montona creciente, luego > 0. Es evidente que la equivalencia de arcos es una relacin reflexiva, simtrica y transitiva. Una familia de arcos equivalentes representa una misma forma de moverse de un punto a otro por un mismo camino. Si pensamos en tcomo la posicion de un movil en el instante t, entonces la equivalencia de arcos hace abstraccin del sistema de referencia temporal (tanto da viajar entre el Instante 0 y el instante 1 como entre el instante 1 y el instante 0) as como de la velocidad del mvil.

Funciones holomorfas Consideremos las integrales de Fresnel: 0+cos t2 dt y 0+sen t2 dt Su calculo es, en principio, un problema de analisis real, pero sucede que no existen frmulas explcitas para las primitivas de los integrandos, por lo que calcular estas integrales mediante el anlisis real elemental requiere cierto ingenio; en cambio, la teora de funciones de variable compleja proporciona una solucin relativamente sencilla. De momento aceptemos el principio (falso) de que todo lo que vale para nmeros reales vale para nmeros complejos. Entonces, desde el punto de vista de las funciones de variable compleja es natural agrupar ambas integrales en una: 0+cos t2 dt + i 0+sen t2 dt =0+eit2dt. (2.1) Esta integral compleja recuerda a una conocida integral real: 0+e-x2dx =2. (2.2) La forma fcil de calcularla es aplicar el teorema de Fubini por una parte y el cambio a polares por otra a la integral doble 0+e-x2+y2 dxdy. El parecido entre (2.1) y (2.2) se hace mas evidente si introducimos el nmero complejo =22 -i22 , Que cumple 2 = -i. Entonces (2.1) es igual a 0+e-t2dt. (2.3) Si fuera un nmero real, podramos reducir (2.3) a (2.2) mediante el cambio de variable x = t. Hagamoslo, de todos modos. Tenemos dt = -1 dx, luego 0+eit2dt = -10+e-x2dx =22+i222 , Y separando la parte real de la imaginaria llegamos a 0+cos t2 dt =0+sen t2 dt =24 . Por increble que pueda parecer, esta conclusin es correcta. A lo largo del captulo iremos introduciendo los resultados necesarios para dar rigor al argumento precedente y rellenar sus lagunas. Al calcular dt hemos derivado la funcin compleja t (siguiendo las reglas vlidas para funciones reales). Dedicamos la primera seccin a introducir la derivada de funciones de variable compleja y comprobar que, efectivamente, las reglas de derivacin real le son aplicables.

Derivacin de funciones complejas Definicin 2.1 Sea un abierto en C y f : - C. Diremos que f es derivable en un punto z0 si existe fz0=dfdz(z0) =limzz0fz- fz0z - z0 C. Las propiedades elementales de los lmites nos dan que si una funcin compleja f es derivable en un punto x R y f asigna nmeros reales a los nmeros reales,

entonces f es derivable como funcin real y las derivadas coinciden. El recproco no es cierto pues, por definicin, para que una funcin tenga derivada compleja en un punto es necesario que est definida en un entorno del punto en C, y puede ocurrir que una funcin derivable en el sentido real no pueda extenderse a una funcin derivable en el sentido complejo. Una funcin compleja f : - C puede verse como una aplicacin definida sobre un abierto de R2 con imgenes en R2, por lo que podemos estudiar la relacin entre la derivabilidad en el sentido de la definicin anterior y su diferenciabilidad en el sentido del anlisis de varias variables reales. Sabemos que una funcin de una variable real es derivable si y slo si es diferenciable, donde la diferenciabilidad significa en esencia que los incrementos de la funcin en el punto se pueden aproximar por una aplicacin lineal. El anlogo en nuestro contexto es que una funcin de una variable compleja es derivable si y slo si sus incrementos se pueden aproximar por una aplicacin C-lineal: Teorema 2.2 Sea un abierto en C. Entonces una funcin f : - C es derivable en un punto z0 si y slo si es diferenciable en z0 y dfz0: C C es una aplicacin C-lineal. En tal caso, df(z0)(z) = f(z0)z. Demostracion: Si f es derivable en z0 entonces existe limzz0fz- fz0z - z0= f(z0), (2.4) Luego tambien existe limzz0fz- fz0- fz0z - z0z - z0= 0. El cociente (z-z0)/|z-z0| tiene mdulo 1, luego est acotado en C\{z0}. El producto de una funcin acotada por una funcin que tiende a 0 sigue tendiendo a 0, luego limzz0fz- fz0- fz0z - z0z - z0= 0. (2.5) Esto significa que f es diferenciable en z0 y que df(z0)(z) = f(z0)z. Recprocamente, si f es diferenciable en z0 y su diferencial es C-lineal, esta ser de la forma df(z0)(z) = cz, para cierto c C. Por definicin de diferenciabilidad tenemos (2.5) con f(z0) reemplazado por c, de donde pasamos a (2.4) con el mismo cambio, lo que prueba que f es derivable. Hay una forma ms operativa de expresar la condicin del teorema anterior. Consideremos una aplicacin : C - C que sea C-lineal, es decir, tal que exista un c = a + bi C de modo que (z) = cz. Vista como : R2 - R2, la aplicacin viene determinada por una matriz 2 2, digamos A, de modo que(x, y) = (x, y)A. Las filas de la matriz A son (1, 0) = c y (0, 1) = ic. En definitiva, A =ab-ba. Recprocamente, la aplicacin lineal asociada a una matriz de esta forma para cualesquiera nmeros reales a y b es la dada por (z) = cz, donde c = a+bi. Si aplicamos esto a la diferencial de una aplicacin f : - C tenemos que la matriz A es la matriz jacobiana de f, es decir, A = Re fx Im fx Re fy Im fy.

Ahora es inmediato el teorema siguiente: Teorema 2.3 Sea un abierto en C. Entonces una funcin f : - C es derivable en un punto z0 si y slo si es diferenciable en z0 y satisface las ecuaciones de Cauchy-Riemann: Re fxz0= Im fyz0, En tal caso Re fyz0=- Im fx(z0).

fz0= Re fxz0+i Im fx(z0) =fx(z0). Notemos que las ecuaciones de Cauchy-Riemann pueden escribirse como fyz0=ifx(z0). Mas aun, de las consideraciones anteriores se sigue que el determinante jacobiano de f en z0 es fz02. Las propiedades reunidas en el teorema siguiente pueden probarse transcribiendo literalmente las pruebas de sus anlogas reales o bien deducindolas de las propiedades anlogas para funciones diferenciables. Por ejemplo, toda funcin diferenciable es continua, lo que nos da el apartado a). Teorema 2.4 Sea un abierto en C, sean f, g : - C y sea z0 . a) Si f es derivable en z0, entonces f es continua en z0. b) Si f es constante en , entonces f es derivable en z0 y f(z0) = 0. c) Si f(z) = z para todo z , entonces f es derivable en z0 y f(z0) = 1. d) Si f y g son derivables en z0 y , C, entonces f + g es derivable en z0 y f + g(z0) = f(z0) + g(z0). e) Si f y g son derivables en z0 entonces fg tambin lo es y fg(z0) = f(z0)g(z0) + fz0g(z0). f) Si f y g son derivables en z0 y g(z0) 0, entonces f/g es derivable en z0 Y fg(z0) =fz0gz0- fz0gz0gz02 . Para acabar con las propiedades basicas de las funciones derivables probamos la regla de la cadena y el teorema de la funcin inversa: Teorema 2.5 (Regla de la cadena) Si f : - C es derivable en un punto z0 y g : - C es derivable en f(z0) , entonces f o g es derivable en z0 y f o g(z0) = gfz0f(z0). Demostracion: Por el teorema 2.2 tenemos que f es diferenciable en z0 y g es diferenciable en f(z0), luego por la regla de la cadena en R2 tenemos que f o g es diferenciable en z0 y su diferencial es df o gz0z=dfz0o dgfz0z= gfz0fz0z. Por lo tanto la diferencial es C-lineal y la derivada es la que indica el enunciado.

Teorema 2.6 (Teorema de la funcin inversa) Sea un abierto en C y f : - C una funcin de clase C1 en , inyectiva y derivable en todos sus puntos con derivada no nula. Entonces = f[] es abierto en C, f-1 es derivable en y si z y z = f(z) entonces f-1(z) = 1/f(z) . Demostracin: La hiptesis de que la derivada no se anule equivale a que el determinante jacobiano sea no nulo. Podemos aplicar el teorema de la funcin inversa para funciones de R2 y concluir que es abierto y que f-1 es diferenciable en . Entonces df-1(z) = dfz-1, luego df-1(z) es C-lineal para todo z0 , luego f-1 es derivable. Aplicando la regla de la cadena a f y f- 1 obtenemos que f-1(z)f(z) = 1, de donde se sigue la expresin para la derivada. Definicin 2.7 Sea un abierto en C. Una funcion f : - C es holomorfa en si es derivable en todos los puntos de . En tal caso est definida la funcin f : - C que a cada punto le asigna su derivada. Diremos que f es holomorfa en un punto z si es holomorfa en un entorno de z. Notar que, de acuerdo con la definicin anterior, la holomorfa en un punto es ms fuerte que la derivabilidad. El trmino "holomorfa (gr. = de forma entera) hace referencia a que el comportamiento de estas funciones es muy similar al de los polinomios, que antiguamente se llamaban funciones enteras. El teorema 2.4 implica que los polinomios son funciones holomorfas en C. Ms an, su derivada se calcula con las reglas algebraicas usuales. As mismo, las funciones racionales son derivables en todos los puntos donde el denominador no se anula.