12.1 Numeros complejos. Funciones analiticas complejas Los niimeros complejos y el plano complejo se estudian en las secciones de la 12.1 ala 12.3. Elandlisis complejo aborda el estudio de las funciones analiticas complejas segiin se define en la seccién 12.4. En la seccién 12.5 se explica una ién de la analiticidad con base en las ecuaciones de Cauchy-Riemann, cuya importancia es fundamental y est relacionadas con la ecuacién de Laplace. En las secciones restantes del capitulo 12 se estudian las funciones complejas elementales més importantes (funcién exponencial, funciones trigonométricas, tc.), que generalizan funciones reales ya conocidas del célculo. En la seccién . se estudian mapeos definidos por tales funciones. (En los capitulos 16 y 17 se extiende este andlisis y se presentan aplicaciones a problemas de potencial.) Prerrequisitos para este capitulo: Céleulo elemental. Referencias: Apéndice 1, parte D. Respuestas a los problemas: Apéndice 2. NUMEROS COMPLEJOS. EL PLANO COMPLEJO. En el estudio de las matematicas, pronto se observé que existen ecuaciones que no se satisfacen con ningin nimero real, como x? = —1 0x* - 10x+ 40 = 0, to cual condujo a la introduccién de los nimeros complejos.' en usar los niimeros complcjos para este fin fue el matemico italiano GIROLAMO CARDANO 576), quien descubrié la formula para resolver las ecuaciones cibicas, La expresion «ndimero complejo» fue introducida por el gran matematico aleman CARL FRIEDRICH GAUSS (ver nota de pie de pagina 1 en la seccién 5.4, pagina 259), quicn también alland el camino para el uso general de los mimeros complejos. 71NUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS Por definicién, un nimero complejo = es un par ordenado (x, y) de nimeros reales x y y, escrito como z=) x se denomina parte real y y se denomina parte imaginaria de z, lo cual se denota vor x=Rez, y=Imz. Por definicién, dos nimeros complejos son iguales si y s6lo si sus partes reales son iguales y sus partes imaginarias son iguales. (0, 1) se denomina unidad imaginaria y se denota por Ww La adicién y multiplicacién de nimeros complejos se define entonces de modo que el sistema de numeros complejos “extienda” al sistema de niimeros reales. La adicion dez,=(x,,¥,) ¥ 2, > @,y,) se define como? (2*) Zz + Sy = (ys Yy) + Cys Yq) = Oy + Aye ¥y + Ye) y la multiplicacién se define como B) ayzy = yy YD Ya) = XQ gr Ae + HYD Entonces (ry, 0) + (4, 0) = Gy + %, 0), (x4, 0x, 0) = yxy, 0), como se tiene para los nimeros reales x, y x,. Por tanto, los nimeros complejos ex- tienden a los reales, como se queria, y entonces es posible escribir x= (0). Con base en (1) y (3") para cualquier niimero real y, se tiene que iy = ©, 1Xy, 0) = ©, y). (x, 0) + (0, y) por (2°), se tiene entonces que Los estudiantes familiarizados con vectores observan que estaes la adicidn vectorial, mientras que esta ‘multiplicacion no tiene anélogo en el algebra vectorial usual.NUMEROS COMPLEVOS. EL PLANO COMPLEJO. 173 Six =0, entonces z= jy y se denomina imaginario puro. También, con (1) y (3°) se obtiene fr — 6) \é debido a que # = if = (0, 1)(0, 1) = C1, 0) =-1 La notacién (4) para niimeros complejos se utiliza exclusivamente en la prictica.’ Para la adici6n se obtiene [ver (2°)] @ (x, + iy) + Oy + iy) = Oy +) + Hy + Yp)e Para la multiplicacién se obtiene la siguiente receta sencilla. Cada término se multi- plica por cada término y se aplica # = —1 cuando sea necesario [ver (3°)] @ (xy + iyPOyq + iy) = xyX_ t+ yyy + iyyXy + Pyry, = Opty — Yq) + Wy, + ayy) Lo anterior concuerda con (3°). EJEMPLO 1 Parte real, parte imaginaria, suma y producto de numeros complejos Sean 2, 8+ 3/y2,°9-2F Enfonces Re, =8, Im ay ate B+ M+ O-WHM +i, 2% = (® + 39 — 2) = 46+ K-16 +I) = + Mh ‘ La sustraccién y la division se definen como las operaciones inversas de la adicién y lamultiplicacion. Asi, la diferencia z es el ntimero complejo z para el que 2, =2+2, Asi, por (2) se tiene que © zy — % = Gy — ay) + Hy - yp). El cociente z= z/z, (z, #0) ¢s el nimero complejo z para el que 2, = 2z,. Después del ejemplo se demostrara que % Ake + Ya): 321 = XW) () getaxtiy, xs os : 2 apt ay + Yat La regla préctica para obtener lo anterior es multiplicar el numerador y el denomina- dor de z,/z, por x, — iy, y simplificar: Mp ty Crt tyr = a) ate t 2 Ae Te a SET Oe 8 Ay t iq (Ky t iy_Xy — ig) xy? + ¥Q Xg? + Yo? os en electronica suelen usar ja fin de reservar el uso de i para designar la corrient,NUMEROS COMPLEJOS. FUNCIONES ANALITIGAS COMPLEJAS. EJEMPLO 2 Diferencia y cociente de ntimeros complejos Para z,=8 + 37 y z,=9 ~2/se obtiene 4 = Bt M-O-M=-14 51 4 _ 843 _ B+ OFM H+ 4H _ 2 9-2 O-MO+M B44 ~ BS CComprobar la division por muitiplicacién a fn de obtener 8 + 34 1 Demostracién de (7'). Se tiene z, =x, + iy, = 22,= (x, + b)\x, + iy,). Por la definicion de igualdad, las partes reales e imaginarias de ambos miembros deben ser iguales: A= aX ~ Yay Wy = ox + ayy Este es un sistema lineal de dos ecuaciones en las incdgnitas x y y. Bajo la hipétesis de que z, # 0 (por lo que.x,’ + y,? #0), la solucién inca (7") se obtiene por eliminacién.It Las propiedades de la adicién y de la multiplicacién son las mismas que para los niimeros reales, de las cuales se concluyen (aqui, ~z = -x iy): Atyayty (Leyes conmutativas) 2% ~ ty GQ tat y=ytery) | (Leyes asociativas) (2,2)tq = 4429) le + &) 3 H+ zy (Ley distributiva) OFc=24+0=2 zt(-o=(-a+2=0 slaz El plano complejo Lo anterior fue Algebra. A continuacién se presenta la geometria: la representacin ‘geomeétrica de los mémeros complejos en el plano, lo que es de gran importancia prict ca. La idea es bastante simple y natural: se eligen dos ejes de coordenadas perpendicu- lares, el eje horizontal x, denominado eje real, y el eje vertical y, denominado eje ima- gi Sobre ambos ejes se toma la misma unidad de longitud (figura 282). Lo ante- rior se denomina sistema de coordenadas cartesianas.‘ A continuacién se grafica un rmimero complejo dado 2= (x, y)=x + iy como el punto P de coordenadas x, y. El plano * Véase la nota de pie de pagina 3 en la seocion 8NUMEROS COMPLEJOS. EL PLANO COMPLEJO. 175 Ge ‘maginaro) Y 2 | sensiy | 1 ee r = cea) Figura 282. El plano complejo. Figura 283. El numero 4 - 3/ en el plano complejo. xy en que los numeros complejos se representan de esta manera se denomina plano complejo.’ En la figura 283 se muestra un ejemplo. En lugar de decir “el punto representado por z en el plano complejo”, se dice breve y sencillamente “el punto z en el plano complejo”. Con lo anterior no habra malentendidos. Ahora ya es posible visualizar la adicién y la sustraccién como se ilustra en las figuras 284 y 285. ‘Nameros complejos conjugados. El conjugado complejo Z de un nimero complejo z=x+iy — sedefine como =x-y y se obtiene geométricamente reflejando el punto 7 en el eje real. En la figura 286 se ilustra lo anterior para z = 5 + 2iy su conjugado 7 = 5 —2i. Los conjugados son de utilidad porque 27 = x + y* es real, una propiedad ya aplicada en la divisién anterior (para z, en vez de z). dems, la adicion y la sustrac- Figura 284. Adicién de nimeros Figura 285. Sustracci6n de numeros complejos. complejos. * Alpunas veces se denomina diagrama de Argand, en honor del matematico francés JEAN ROBERT ARGAND (1768-1822), nacido en Ginebra y que posteriormente se convirtié en bibliotecario en Paris ‘Su publicacién sobre el plano complejo aparecié en 1806, nueve alos despus de una memoria seme- Jante del académico noruego CASPAR WESSEL (1745-1818), quien fue investigador de la Academia Danesa de Ciencias176 NUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS y 2 gextiye 5 +2i oe -2 zax-iy=5~2i Figura 286. Numeros complejos conjugados. cién conducen az + F =2x,2~ Z =2iy, de modo que es posible expresar la parte real y la parte imaginaria de z mediante las formulas importantes | 1 oS 1 o [ Ree=#= 30+, Imz=y = 5-2. Sizes real, z=x, entonces = z por (9) y reciprocamente, ‘Trabajar con conjugados es sencillo, ya que se tiene (10) EJEMPLO Ilustracion de (8) (10) ‘Sean + 3iy z, = 2 + Si. Entonces por (1) 1 + 3H Ima = 214+ 30 - = 39) = MEH = i i También la formula de la mltpicacén en (10) se comprucba como Tyg) = WP OTD = TTS = = 7 - 28, Jip 4 = 32 Sd = 7 26 Problemas de la seccién 12.1 1. (Potencias de ta unidad imaginaria) Demostrar que L =I ay \ ~i bent, : Sean z,-4~Siy 2, 2-434 Eneontrar (en la forma.x iy) 2 nz 3. (a, + a) 4 Mey 5. 2/2, 6. 32, - 7. 0.228 & zl, + 2) 9. 338/2,2FORMA POLAR DE LOS NUMEROS COMPLEJOS. POTENCIAS Y RAICES WT Encontrar 344i Q = 3? T+i Mims; RET 3 14, 0.3 + 0.49% 15. Re 22, (Rez) 16. Imz%,m2* 17. (1 + 0F | 18 Demostrar que z es imaginario puro si y solo si 7 =~z. 19. Comprobar las férmulas en (10) paraz, = 31 -34i yz, =2~ Si. | 20. Sie producto de dos nimeros compleos es cero, demostrar que or lo menos uno de los factores debe ser cero. 10. Re 43, m= 12.2 FORMA POLAR DE LOS NUMEROS COMPLEJOS. POTENCIAS Y RAICES La utilidad del plano complejo puede incrementarse sustancialmente, obteniéndose | asi un conocimiento més detallado y profundo de la naturaleza de los niimeros com- plejos, si ademas de usar las coordenadas xy también se usan las coordenadas polares 7, 0 usuales definidas como reos 0, y= rsené. | Entonces, z =x + iy asume la denominada forma polar 4 @ z= r(cos 6 +i sen6). | se denomina valor absoluto o médulo de z y se denota por {2 Asi, =VEt po VE a @ k= Geomeétricamente, |z| es la distancia del punto z al origen (figura 287). De manera semejante, |z, ~z,| ¢s la distancia entre z, y z, (figura 288). @se denomina argumento de z y se denota por arg z. Entonces (figura 289), | @ are z = are tan > «40 Ee Imaginaro. fie veal Figura 287. Plano complejo, forma Figura 288. Distancia entre dos polar de un ntimero complejo. puntos en el plano complejo. RO178 NUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS Geométricamente, 0 es el Angulo dirigido desde el eje x positivo hacia OP en la figura, 287. Aqui, como en célculo, fodas los dingulos se miden en radianes y son positivos si se deseriben en sentido contrario al del movimiento de las manecillas del reloj. Para z= 0, el Angulo @no esta definido (por qué?). Para z #0 dado, esta determinado s6lo hasta miltiplos enteros de 21. El valor de @ que esté en el intervalo— << mse denomina valor principal del argumento de z (#0) y se denota por Arg z. Asi, por defini- cién = Arg z satisface — — -a< Age EJEMPLO 1 Forma polar de los némeros complejos. Valor principal Seaz~ | + (figura 289), Entonces z= VE (cos (n=O 9 El valor principal del argumento es Arg 2 = 2/4. Otros valores son ~71/4, 9214, etc. 1 EJEMPLO 2 Forma polar de los nimeros complejos. Valor principal Scaz=3+3Y3 i. Entonces z= 6 (cos + i sin) , el valor absoluto de zs |z|~6 y el valor principal de arg.z es Argz = 7/3. 1 iPrecaucién! Al aplicar (4) es necesario fijarse en el cuadrante en que esté z porque el periodo de tan 8s 7, para que los argumentos de z y de -z tengan la misma tangen- te. Ejemplo: para 6, ~ arg (I +f) y 8, = arg (-1 — i) se tiene tan @, = tan @, Desigualdad del triangulo Para dos nimeros complejos cualesquiera se tiene la importante desigualdad det triangulo 6 key + 24 lal + lz, (Figura 290) ‘que se usaré con bastante frecuencia, Esta desigualdad se concluye al observar que los tres puntos 0, z, yz, +z, son los vértices de un tridngulo (figura 290) de lados lz, | [| y |z, +z, ¥ que ninguno puede ser mayor que la suma de los otros dos lados. En el problema 39 se pide al lector demostrar formalmente lo anterior. 1 asi ia r= igura 289, Ejemplo 1 Figura 290. Desigualdad del triéngulo® © Er tridngulo degenera siz, yz, estan sobre Ia misma recta que pasa por el origen.FORMA POLAR DE LOS NUMEROS COMPLEJOS. POTENCIAS Y RAICES 179 EJEMPLO 3 Desigualdad del tridngulo Siz,=1 + fy z,*—2+3i, entonoes (itrazar a figural) . 1 + 4) = VIF = 4.123 < VE + VIB = 5.020. la + aa = Desigualdad del triangulo generalizada. Por induccién, a partir de (5) se obtiene que para cualquier suma 6 key teeter tal Skal tial to + + kegbs es decir, ef valor absoluto de una suma no puede ser mayor que la suma de los valores absolutos de los sumandos. Multiplicacién y divisién en forma polar A continuacién sera multiplicacién y di sible adquirir un conocimiento més profundo y detallado de la jon de nimeros complejos. 2 = ry(cos 6, +i send) yy = ry(COS 0, + i sen 6,). Muttiplicacién. Por (3), seccién 12.1, en principio el producto es ZZq = MyFel(cos , cos 0 — send, sen.) + i(send, cos 6, + cos 8, sen 6,)]. Las reglas de la adicién para el seno y el coseno [(6) en el apéndice 3.1] ahora condu- cena 7 Ico ae ay | 7) Z4Zq = Myfelcos (0, + A) + i sen(O, + 4,)]. Mm za = 7172 1 + @&) a Mh | Al tomar valores absolutos y argumentos en ambos miembros de (7) se obtienen las reglas importantes ®) leyzql = ez y ) arg (2,2,) = arg z, + arg zy (hasta miltiplos de 27). Division. El cociente z = ,/2, es el mimero 2 que satisface zz» = 23. Por tanto, |22\ = |2| \z,|= le\|, arg (22,) = arg 24 arg z, ~ arg z,. Lo anterior conduce a a) _ lal (10) =) = (#0) zal led! ay arg! = arg zy — arg z, (hasta miltiplos de 2x), % |180 NUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS Al combinar las formulas (10) y (11) también se obtiene que (12) 2 feos (8, — 0) + é sen (0, ~ 6)) Me 213 + (213). Por tanto, awit [nyzq) = 6V2 = 3V8 = [yl leylzal = = leVleale 4 para fs argumentos se obtione Arg, = 3944, ARB2,= #72. an Are 3g = — 22 = Ang zy + Arbzy ~ 2m, ‘Ang (2/2) = 5 = Arg cy ~ Are zy ' Potencias enteras de z. Por (7) y (12) se tiene (os 20 + i sen 26), [cos (—20) + i sen(—26)] ¥¥, mds generalmente, para cualquier entero 7, = r*(cos n6 + i sen n6). 3) EJEMPLO 5 Férmula de De Moivre Para ro 1, a formula (13) conduce a la f6rmata de De Moivre? a3) (cos # + i sen 6)" cos nO + i sen nd. Esta formula es de uilidad para expresarc0s n0 y sen n@ en teminos de cos Oy sen 6. Por ejemplo, sin = 2 Yyse considera las partes real eimaginaria de ambos miembros de (13°), se obtienen ls formulas conocidas cos 24 = cos? @ — sen? 8, sen 2 = 2.cos # sen 6. {Lo amerior muestra que los métodos complejos a menudo simplifican la obtencidn de formulas reales Raices Siz=w" (n= 1, 2,..), entonces a cada valor de w corresponde un valor de z. De inmediato se verd que, reciprocamente, a un valor dado de z # 0 corresponden preci- ABRAHAM DE MOIVRE (1667-1754), matemitico francés, inttodujo las cantidades imaginarias en trigonometria y contribuyé a la teoria de la probabilidad (véase la Seccién 23.7).FORMA POLAR DE LOS NUMEROS COMPLEJOS. POTENCIAS Y RAICES 181 samente n distintos valores de w. Cada uno de estos valores se denomina raiz.n-tsima de zy se escribe a4) wa We. Entonces, este simbolo tiene multiples valores; a saber, n valores, en contraste con los convencionafismos usuales adoptados en célculo real. Los n valores de "= pueden obtenerse facilmente como sigue. En términos de las formas polares de z y w = R(cos $ + i send), la ecuacion w* =z se vuelve w" = R"cos nd + i sennd) = z = r(cos @ + i sen). Igualando los valores absolutos de ambos miembros se obtiene Rear asi R= Wr en donde la raiz es real y positiva, por lo que esté determinada de manera tnica. Al igualar los argumentos se obtiene 0 2k ng = 0+ 2m, aig = 2 4 BT nin en donde & es un entero. Para k= 0, | , n— | se obtienen n distintos valores de w. Con enteros adicionales de se obtienen valores ya obtenidos. Por ejemplo, con k=7 se obtiene 2kn/n = 2, por tanto la w correspondiente a k = 0, etc. En consecuencia, "FZ , para z # 0, tiene los n valores distintos as) les -&% (cos? fae ‘i sen’? + oem) | en donde k=0, 1 ...,n—1. Estos m valores estén en una circunferencia de radio "YF ‘con centro en el origen, y constituyen los vértices de un polfgono regular de 7 lados. El valor de "JF que se obtiene tomando el valor principal de arg zy k= 0 en (15) se denomina valor principal de w= "JZ. EJEMPLO 6 Raiz cuadrada Aaitr de (15) concaye que Wf tiene ls dos valores on! (16) y vi (cos $ + sen) y «vay vse vifom (Son) visen(Se 8] < omy {que son simétricos con respecto al origen. Por ejemplo, la raiz cuadrada de i tiene los valores ) vai 22 (cos + i sen (V2 + VY,NUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS. ‘Con base en (16) es posible obtener Ia firmula mucho mas prctica a7) Vi = = (VEMlel +29 + (sign iV Ee] ~ 20) en donde sign y~ | siy'2 0, sign y=-1 siy <0, y todas las raices euadradas de numeros positives se consideran con el signo positivo. Lo anterior se concluye a partir de (16) si se aplican las identidades trigonométricas costo = VI + cos), senda = VI — cos, se mukiplican por JF, Vicos}0= Viet res, — Vrsen4a= Vir —reos 6), se usa r cos @~ x, y finalmente el signo de Im JF se elige de modo que sign ((Re f= \lm Jz) = sign y (0 que’. i EJEMPLO 7 Ecuacién cuadrética comploja Resolver 2 (5+ e+ 8+ Sotucion, Uo +92 Vis doe ei = 4S + V2 = 46402 1VEE+ OD + VEE- Om 342i 2-3 Wovozdsta-{ La circunferencia de radio 1 y centro en 0 (que aparece en el siguiente ejemplo y més tarde) se denomina cireunferencia unitari EJEMPLO 8 Rafz n-ésima de la unidad. Circunferencia unitaria Resolver Ia ecuacién Solucién. 4 partir de (15) se obtiene as) 7 = cos ME + ison AE ‘Siw denotael valor correspondiente a k= 1, entonces los n valores de "fT pueden esriirse como 1, «2. @-», a. Estos valores son los vertices 6 un poligono regular de nla inscrito en la cireunferencia tnitaria (ircunferencia de radio I con centro en 0), con uno de sus vertices en el punto |. Cada uno de estos n valores se denomina ratzn-ésima de ta unidad. Por ejemplo, ‘fi = 1,—+ +4 ¥3¢(figura291) tL,“ figura 292), En Ta figura 293 se muestra “ff Figura 291. Figura 292. ‘i. Figura 293.FORMA POLAR DE LOS NUMEROS COMPLEJOS. POTENCIAS Y RAICES 183 Siw, es cualquier riz n-ésima de un nimero complejo arburari 2, entonces los n valores de "2 son wy wa ya wont mye, myo% om ‘ya que multiplicar w, por a corresponde a incrementar el argumento de w, por 2k 1. Elestudiante debe resolver con cuidado especial los problemas relacionados con la representacién polar, ya que esta representacién sera necesaria muy a menudo a lo largo de! libro. Problemas de la seccién 12.2 1. (Multiplicacién por ) Demostrar que la multiplicacié corresponde a una rotacién en sentido contrario al mo reloj del vector correspondiente a través del angulon/2. de un nameto complejo por i jento de las manecillas del Encontrar 2. [-0.2i) 3. (LS + 2il 4. el, 5. cos 0 + i send) « s+ Ti +98 " | 7 — Si AL + 40) Representar en forma polar: 10, 24, =21 Mei 2, -3 6 + BF 1+i 2 3V2 + 2 243i MT 8 a as Fai Determinar el valor principal de los argumentos de 18, —6 - 61 19. -10 =i 20. <9 2. 2+ 2 Representar en la forma x + iy 22. A(cos 4a + isen $m) 23. 2V2cos fx + isen $a) 24, 10(cos 0.4 + i sen0.4) 2. cos (= 1.8) + i sen(—1.8) Encontrar todos los valores de las siguientes raices y graficarlos en el plano complejo. 26. Vi 27. VBI 2. V7 i o9. WT WTF. YT 32. WoT 33. WF 7 Resolver las ecuaciones: Moktzt+1—i=0 38.2 — (S++ 84-0 36. 24 — 31 + 22-8 + GF = 0 37. Demostrar las siguientes desigualdades itiles, que serdn requeridas ocasionalmente: as) [Re zl S[k) Im 2| = [el184 12.3 NOMEROS COMPLEJOS. FUNCIONES ANALITIGAS COMPLEJAS 38. Comprobar la desigualdad del triéngulo para z, = 4 + 5i, z,=—2 + 1.5i 39. Demostrar la desigualdad del triéngulo. 40. (Igualdad de paralelogramo) Demostrar que [z, + 2,1? + z,—z,]?= 2(\z, 7+ 2,0). Esta expresién se denomina igualdad del paralelogramo. ,Puede el lector darse cuenta por qué? CURVAS Y REGIONES EN EL PLANO COMPLEJO Enesta seccién se considerardn algunas curvas y regiones importantes, asi como algu- nos conceptos relacionados con éstas, que serdn usados con frecuencia, Lo anterior también serd de ayuda para familiarizarse ain més con el plano complejo. Circunferencias y discos. La distancia entre dos puntos z y aes |z~al. Por tanto, una circunferencia C de radio p y centro en a (figura 294) puede definirse como a) kk — al =p. En particular, la circunferencia unitaria; es decir, la circunferencia de radio 1 y centro en el origen a = 0, es I= 1 (Figura 295). Ademés, la desigualdad @ ke-al

0), y aes un punto de cada una de tales vecindades.* De manera semejante, la desigualdad z-al>p representa el exterior del circulo C. Ademés, la region entre dos circulos concéntricos de radios p, y p, (> p,) puede definirse como @ A 0. De manera semejante, la condicién y <0 define el semiplano inferior, x > 0 define el semiplano derecho y x <0 define el semiplano izquierdo. * En érminos mas generals, cualuierconjunto que contene un disso abieto (2) también se denomina vecindad de a. Para dstinguir, un disco (2) suele denominarse vecindad circular abierta de a PfNUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS Conceptos relacionados con conjuntos en el plano complejo Por ultimo, a continuacién se enumeran brevemente algunos conceptos de interés general que seran usados ulteriormente; aqui se plantean para referencias se- gin sean necesarios. El término conjunto de puntos en el plano complejo significa cualquier colec- cidn finita o infinita de tales puntos. Por ejemplo, las soluciones de una ecuacién ‘cuadritica, los puntos de una recta y los puntos en el interior de un circulo son conjun- tos de puntos. Un conjunto S se denomina abierto si cualquier punto de S tiene una vecindad ‘que consta completamente de puntos que pertenecen a S. Por ejemplo, los puntos en ¢l interior de un circulo 0 de un cuadrado constituyen un conjunto abierto, asi como Jos puntos a la derecha del semiplano Re z =x > 0. Se dice que un conjunto abierto S es conexo si dos puntos cualesquiera de S pueden unirse mediante una linea quebrada constituida por un nimero finito de seg- mentos de recta completamente contenidos en S. Un conjunto conexo abierto se deno- mina dominio. Asi, un disco abierto (2) y una corona abierta (3) son dominios. Un cuadrado abierto sin una diagonal no es un dominio, ya que este conjunto no es conexo (por qué?) El complemento de un conjunto S en el plano complejo es el conjunto de todos os puntos del plano complejo que no pertenecen a S. Un conjunto S se denomina cerrado si su complemento es abierto. Por ejemplo, los puntos sobre y en el interior del circulo unitario constituyen un conjunto cerrado (“disco unitario cerrado”; ver el ejemplo 2), ya que su complemento |z| > I es abierto. Un punto frontera de un conjunto $ es aquél para el que toda vecindad contiene puntos que pertenecen aS y puntos que no pertenecen a S. Por ejemplo, los puntos frontera de una corona son los puntos sobre los dos circulos frontera. Resulta evidente que si un conjunto S es abierto, entonces ningin punto frontera le pertenece; si Ses cerrado, entonces todos sus puntos frontera le pertenecen, Una regién es un conjunto que consta de un dominio mas, quiza, algunos o todos sus puntos frontera. (Se advierte al lector que algunos autores utilizan el término “region” para denotar lo que aqui se entiende por dominio [segin la terminologia ‘modernal, y otros no hacen ninguna distincién entre los dos términos.) Hasta el momento se han mencionado Gnicamente los numeros complejos y el plano complejo (exactamente como al inicio del estudio del célculo se habia de los ntimeros reales y de la recta real). En la siguiente seccién se iniciara el estudio del calculo complejo. Problemas de la seccién 12.3 Determinar y graficar los conjuntos representados por 1. |e - 4i) = 4 2|e+ >? 4. -7 3 8 f(z) = z,Rez>0 9. fi) = 23, fare al En cada uno de los casos siguientes, determinar siz) es continua en el origen, suponiendo que AO) = Oy, para z #0, la funcién lz) es igual a 10. Re z/jz| nn. 12, Im z/(1 + |e) Obtener la derivada de lo siguiente. 13. (2? + 8 14. (<2 = 4yl(z? + 1) 18. iil — 2)? 16. + De — 17. (iz + DIGz — 61) 18, 24z + 0? Encontrar el valor de la derivada de 19. (2 + Dz — Den-i 20. @- Rend = 2 2A. MiePen 37 22, 8 = 2en-i 23. (1 + dizten2 24. 2 + ic)®en2i12.5 NUMEROS COMPLEJOS. FUNCIONES ANALITICAS COMPLEJAS 25, Demostrar que f(z) = Re z= xno es diferenciable en ningim z. 26. Demostrar que flz) = |2? es diferenciable s6lo en z = 0; ast, no es analitica en ninguna parte. Sugerencia. Usar la relacign |2 + Aci? = (2+ Az\(Z + 42). 27. Demostrar que (1) es equivalente al par de relaciones lim Re f(z) = Rel, Jimim f(z) = Im1. ca ca 28. Si lim,fz) existe, demostrar que es nico. 29. Sizy 2, ...son nimeros complejos para los cuales lim 2, =a, y siflz) es continua en == a, demostrar que moe Himfte,) = f@. x ). Si Az) es diferenciable en z,, demostrar que flz) ¢s continua en 24, ECUACIONES DE CAUCHY-RIEMANN ‘A continuacién se obtendra un criterio (prueba) muy importante para verificar la analiticidad de una funcién compleja. w = f(z) = u(x, y) + ivl, y). En términos generales, fs analitica en un dominio D si y sélo si las primeras deriva- das parciales de u y v satisfacen las dos ecuaciones @ Waa vy y= Oy en todos los puntos de D; por tanto, u, = du/dx y u, = au/dy (y de manera semejante para v) son las notaciones de costumbre para las derivadas parciales. El planteamien- to preciso de la afirmacién anterior se proporciona a continuacién en los teoremas 1 y 2. Las ecuaciones (1) se denominan ecuaciones de Cauchy-Riemann y constituyen Jas ecuaciones mas importantes que aparecen en este capitulo." "© AUGUSTIN-LOUIS CAUCHY (véase la seccién 2.6) y os matemiticos alemanes BERNHARD RIEMANN (1826-1866) y KARL WEIERSTRASS (1825-1897, véase también la saccién 14.6) son los ereadores del andlisis complejo. Riemann recibié su doctorado en filosofia (en 1851) bajo la direccién de Gauss (seecién 5.4) en Géttingen, donde enseiis a partir de 1854 fasta su fallecimiento, ccuando tenia sélo 39 aftos de edad. Introdujo el concepto de integral segin se usa en cursos bésicos de calcul, en conexién con su trabajo sobre las series de Fourier. Cred nuevos métodos en ecuaciones diferenciales ordinarias y parcales y efectué contribuciones fundamentales ala teoria de ndmeros y 8 la fisicometemética, También desarroll6 la denominada geometria de Riemann, que constituye la base ‘matematica de ia teoria de larelatividad de Einstein, Su importante trabajo motivé muchas ideas de las ‘nlatematicas modemas (en particular, en topologia y anilisis funcional). Véase N. Bourbaki, Ele- ‘ments of Mathematics. General Topology, Parte I, pigs. 161-166, Paris Hermann,