Professional Documents
Culture Documents
MATIMA TICA
SUPERIOR
PROBLEMAS
RESUELTOS
A. K. Boiarthulc
Variable compleja
Funciones de
variable compleja
Revisi6n cicntifica
del doctor en Ciencias Ffsico-matem<1ticas
]airo Correa Rodriguez_
Moscu. 2002
~
URSS
66K 22. 1H73, 22. 16 1.6
La colecci6n " Anti0emid6vich" que proponemos a( lector abarca casi todas las ramas de las
matematicas. Entre los textos recomendados para el estudio de Ia teorfa de funciones de
En "Variable compleja" se resuelven detalladamente casi cuatrocientos problemas d e difi~l~a_d variable compleja hay muchos manuales y materiales did;kticos muy com-
media o alta. Es te tomo incluye un repaso de las estructuras fundamentales del analts1s pletos que tienen por autores a cientificos de fama mas que reconocida:
matematico, numeros complejos, funciones de variable compleja y un estudio detallado d e
las funciones elementales en cl plano complejo. A. I. Markushevich, M. A. Lavrientiev, B. V. Shabat, I. I. Privalov, A. V. Bitsadze,
M.A. Evgrafov, A. Hurwitz, R. Courant, etcetera. Lamentablemente, en lo que
respecta a! volumen, elecci6n y distribuci6n del material, Ia mayorfa de estos
Rcservados todos los dercchos en todos los idiomas y en todos los paiscs del mundo. Quedan libros no estan adaptados a los programas de los cursos de teoria de funcio-
rigurosamente prohibidas, sin Ia autorizad6n escrita de los titularcs del "Copyright",. bajo l~s nes de variable compleja que habitualmente se imparten en las facultades de
sanciones establecidas en las !eyes, Ia reproducd6n total o parcial de esta obra por cualqutcr medto
o procedimiento, comprcndidos Ia rcprografia y el tratamiento informatico, y Ia distribuci6n de matematicas y fisica de las universidades de Rusia y otros paises de Ia CE.
ejemplarcs de ella mediante alquiler o prestamo publico. Separar de un libro voluminoso el material principal de modo que se forme
un curso integro, l6gicamente acabado y aj ustado a! programa de estudios no
es facil ni para un profesor con poca experiencia, ni para un estudiante o un
ISBN 5-836()-()452-8 (Obra complcta) posgraduado.
ISBN 5-836()-()453-0 (Torno 5)
Las razones anteriores motivaron al autor a escribir un libro que
Obra original: Editorial URSS, 1997, 2002 corresponda al nivel actual de los progra mas universitarios del curso de teoria
Traducci6n y obra en espafiol: Editorial URSS, 2002
Discfio grafico y disefio del tcxto: Editorial URSS, 2002 de funciones de va riable compleja que no este saturado de detalles y que
contenga un gran numero de problemas resueltos. En este tomo se resuelven
detalladamente casi cuatrocientos problemas de d ificultad media o alta.
Director Domingo Marin Ricoy Muchos libros de teorfa de funciones de variable compleja se caracterizan
Director finandcro Viktoria Malisltenko por contener desacuerdos e imprecisiones en Ia terminologfa basica. Por ejemplo,
Director de sistemas Vfktor Romanov
Director de prod ucci6n Irina Makitieva en d istintos lugares de un rnismo libro el concepto de funci6 n analitica puede
Vicedirector Natalia Finoguit!nova tener un sentido diferente. El autor ha ten.ido en cuenta este hecho; todos
los conceptos considerados en el presente libro tienen un sentido claramente
determinado.
14JAarenbCTDO 3J111TOpHan YPCC. 113208, r. MO<Xfla, yn. 'lopraHOBCteaR, A. 2/ 11. En el comienzo de Ia obra se da una definicion rigurosa de funci6n
fl"'LieH3"'A 14.U Ni032 16 OT 10. 11.2000 r. r .. rneHWIOC!O<H ccpn1<(llt1GlT Ha OblnycK
KHI<JI<HOi\ npoAyta.l"'"' Ni 77.<!>l..l.8.953.n .270.3.99 OT 30.03.99 r. n OAniiCaHO K OO'Iarn 24.07.2002 r. (y no su descripci6n, como se suele hacer en Ia mayor parte de los manuales),
<l>opo.car 70 x 100/16. T"'pax 2100 310. n e,. n. 20. 3aK. Ni 36
se considera n las operaciones con conjuntos y los aspectos principales de Ia
Om~araHo a 000 AprJ111an. 129110, r. MocKDa, yn. 6 . nepeRcnaaeteaR, 46. .
teorfa de espacios metricos. Sin incluir este material en el libro, seria imposible
exponer las cuestiones principales al nivel matemcitico que se requiere en Ia
Tel/fax; 7 (09S) 135-44-23
Editorial URSS TeiJfax; 7 (095) 135-42-46
E-mail: urss@wss.ru
Libros de ciencia Cat!logo en Internet: http://urss.ru
actualidad. Por ello, incluso una lectura rapida de ese pequefio capitulo es muy
aconsejable para entender el resto de Ia obra, en donde se exponen los temas
tradicionales de Ia teoria de las funciones analiticas, creada en el siglo XIX,
primordialmente gracias a las obras de A. Cauchy, B. Riemann y K. Weierstrass.
En el libra se presta mucha atenci6n a las cuestiones practicas relacio-
nadas con las transformaciones conformes.
El nutor
Estructuras fundamentales
del analisis matematico
1. Elementos de la teoria
de conjuntos y aplicaciones
1.1. Simbolos 16gicos
En las ma tematicas, en Iugar de expresiones verbales a menudo
se utilizan simbolos adoptados de la l6gica. Asi, en vez. de las
expresiones "para todo", "para cada", "para cualquier" se utiliza
el simbolo V, yen Iugar de Ia palabra "existe", el simbolo 3. Estos
simbolos se denominan, respectivamente, cunntificndor universal
y cunr!tificador existencial. Las frases "para todo .. . " y "existe .. . "
suelen ir acompanadas de ciertas restricciones, anotadas entre
parentesis. En Iugar de Ia frase "tal que" se utilizan dos puntas
o una barra vertical.
El enunciado de cada teorema contiene una propiedad A
(premisa) y una propiedad B (conclusi6n) deducible de A.
Brevemente la expresi6n "A implica B" se denota en Ia forma
Estructuras fundamentales del analisis matematico
" A => B " (=> es el simbolo de implicnci6n). El teorema redproco, 1.2. Notaciones utilizadas
si este es va lido, se escribe en Ia forma B => A. Si el teorema y su en la teoda de conjuntos
redproco son validos, las p ropiedades A y B son equivalentes.
En este caso se escribe A +--+ B ( +--+ es el simbolo de equivnlencin) El concepto de conjunto se considera primario, por eso nos
y se dice: "Para A es necesario y suficiente B ", o bien "A si, limi taremos a Ia exposici6n de los terminos y notaciones que
y solo si, B". seran necesarios mas adelante.
Si un objeto posee una propiedad A o una propiedad B , Los conjuntos se denotan med iante letras mayusculas, por
entonces se escribe A v B , o tambien " A o B " {V es el simbolo de ejemplo, M . La expresion a E M se lee asf: " a es un elemento
disyunci611). La no tacion A v B significa que cs valida al menos del conjunto M " o " a pertenece al conjunto M ". La notacion
una de las propiedades A o B . M 3 x se lee asi: "el conjunto M contiene el elemento x ". Si
Si ambas propiedades A y B son validas simultaneamente, el elemento x no pertenece al conjunto M, entonces se escribe
este hecho se escribe en Ia forma A 1\ B , o "A y B" (1\ es el x M , o bien M 75 x. La expresi6n M = {a, b, c, ... } se lee as!:
simbolo de co11junci6n). " M es el conjunto comp ueslo de los
La notacion -,A significa "no A", "no es valid a A " (..., es elementos a, b, c, etc." N6tese que un
el simbolo de negnci611). conjunto puede contener un solo ele-
En Iugar de Ia expresion "existe un t'mico" se utiliza el mento, por ejemplo, M = {a}. Si cier-
slmbolo ! , y Ia expresion "es igual por defin icion" se dcnota tos elementos del conjunto M gozan de
med .tante eI sun
' bo Io de!
=. una propiedad P , entonces Ia notaci6n
Toda proposicion puede escribirse utilizando solo simbolos M 1 ={a EM: a tiene Ia propiedad P }
logicos. En este caso 'Ia negacion de una propiedad P escrita con se lee: "M 1 es el conjunto de tod os los
ayuda de cierto nu mero de cuantificadores V y 3 se obtiene cam- elementos a del conjunto M que tienen
biando cada cuantificad or V por 3 , 3 por V y Ia propiedad P Ia propiedad P ". Por ejemplo, Ia nota-
por su negacion. Por ejemplo, sea f (x) una fu nci6n numerica de cion M 1 = {x E IR: x ~ 0} representa
variable real. Entonces Ia propiedad de f(x) de ser continua en el conjunto de todos los numeros reales
todo punto de Ia recta numerica se escribe en Ia fo rma siguiente: no negativos. Los simbolos E y 3 se Fig. 1
denominansimbolos de perlenencia.
(V a E IR) (V c >- 0) (3 0 > 0) (V x
E IR, lx - al < 6): AI definir un conjunto mediante cierta propiedad, frecuen-
if(x) - f(a)i < c; temente no se sabe de antemano si existen o no elementos que
mientra~que Ia propiedad de f (x ) de no ser siempre continua, es posean d icha propiedad. Por tanto, es conveniente introducir el
decir, de ser discontinua al menos en un punto, se escribe como conjunto que no contiene ningt.n elemento. Dicho conjunto se
sig ue: denomina vacio y se denota mediante el simbolo 0.
Sean Mt y M2 dos conjuntos. Si cada uno de los ele-
(3 a E IR) (3 c > 0) (V 0 > 0) (3 x E IR, lx - al < 6): mentos del conjunto M 1 pertenece al conjunto M2, entonces el
lf(x) - f(a)l > c. conjunto M 1 se denomina subconjunto del conjunto M 2 (fig. 1).
Para demostrar algunos teoremas utilizaremos el metodo En este caso se escribe Mt C M2, o bien M 2 :J M 1 y se lee:
de reducci6u nl absurdo, hacienda uso, ademas, de Ia ley del "el conjunto M2 incluye al conjunto M 1". Los simbolos C y :J
tercio e.:rcluso (ley de contrndicci6n). Segun esta ley Ia proposici6n se denominan simbolos de inclusion.
A v -,A (A o no A ) se considera valida independ ientemente del Los conjuntos compuestos de los mismos elementos se
contenido de Ia proposici6n A . Sefialemos que -,(-,A) +--+ A, es consideran iguales. Es evidente que M 1 = M2 +--+ (Mt C Mz) 1\
decir, Ia doble negaci6n es equivalente al enunciado inicial. (M2 C Mt).
Estructuras fundamentales d_el.an~lisis matematico
itulo 1
Si en e l conj unto M 1 hay elementos que no pertenecen .al Entonces, tod as las p roposiciones A 1, A2, ... son valid as.
conj un to M 2 , en tonces M 1 no esta contenido en M 2 y se escribe Como vemos, el metoda de induccion matema tica se
M 1 rf_ M2, o bien M 2 1> M,. reduce a Ia hi potesis de induccion. En efe~to, supongam os
Senalemos que todo conjunto M contiene e l conjunto vado que M = {n E N: An es vcllida}. Entonces, por el lema 1
como su subconjunto. En efecto, en caso contrario, el conjunto tenemos que 1 E M , y partiendo del lema 2 se deduce que
vado contendria al menos un elemento que no pertenece al n E M => (n + 1) E M. De acuerdo con Ia hipotesis d e ind uccion
conjunto M . Pero el conjun to vado no tiene ningun ele mento. ('II n E N): n E M , es decir, todas las proposiciones A 1, A 21 . .
En adelante usaremos las notaciones siguientes: son validas.
0 cs el conjunto vado; - ---._ Demostremos, por ejemplo, que V n E N se verifica Ia
exp M es el conjun to de todos los subconjuntos de M ; igualdad
N es el conjunto de los numeros naturales;
Z 0 es el conjunto d e los nu meros enteros no nega tives; ~ k2 _ n(n + 1)(2n + 1) ( )
1
Z es el conjunto de los n umeros enteros;
w - 6 .
k=l
Q es el conjunto de los numeros racionales;
Comprobando d irectamente, vemos que se verifica el le-
R es el conjunto de los numeros reales;
C es e l conjunto de los numeros complejos. ma 1. Supon iendo que Ia ig ualdad (1) se cumple para n E N,
tenemos
1.3. Nfuneros naturales. n+ l 2 n(n + 1)(2n + 1) ( )2
Metodo de inducci6n matematica Lk=l
k=
6
+n+ l =
Definicion 2. Se denomina uni611 de los conjuntos M 1 y M 2 al conjunto Las dos igualdades (1) expresan las /eyes de Morgn11.
Demostremos Ia primera. Sea x E C(M1 U M2). Tenemos:
M1 U M2 = {a: a E M 1 V a E M 2}.
X E C(Ml u M2) :::} X f/.
Ml u M2 :::} X f/. Ml 1\ X f/. M2 :::}
La union de los conjuntos M 1 y M 2 se compone de los :::? x E CM1 1\ x E CM2 :::? x E CM1 n CM2 :::?
elementos que pertenecen por lo menos a uno de los conjuntos :::? C(M1 U M2) C CM1 n CM2.
M1 y M2 (fig. 4).
Si y E CM1 n CM2, obtenemos
Fig.4
l
1.5. Par ordenado y producto cartesiano 1.6. Relaciones binarias. Proyecciones y
de conjuntos secciones de una relacion binaria.
Con ayuda del concepto de par ordenado se introduce una Relacion binaria inversa
operaci6n mas sobre conjuntos: el producto cartesiano. En las
matematicas es de gran importancia el concepto de par ordenn-
Y do (x, y) compuesto de Definicion. Un conjunto r se denomina relacion binnria entre los elemen-
elementos de un mismo tos de los conjuntos X e y si r c X X Y.
conjunto o de conjuntos
M(x,y) distintos X e Y . La pro- Con las relaciones binarias se pueden realizar no s6lo las
y ---- --- ------ ---<~
I piedad principal de los operaciones elementales definidas para los conjuntos (intersecci6n
I
I pares ordenados es Ia si- y union), sino tambien las operaciones especiales de proyecci6n e
I
I g uiente: dos pares orde- inversion.
I
I nados (x,, y 1) y (x2, y 2) Se denomina primem proyeccion de Ia relaci6n binaria
X se consideran igunles si, r C X x Y al conjunto
X
y s6lo si, x, = x2 e ft = pr1f = {x E X: 3 y E Y: (x, y) E f} .
Fig.6 Y1 = Y2 E1 elemento x
se llama primera com-
ponente (coordennda) del y
par (x, y), rnientras que el elemento y es Ia segunda componente
(coordenada). AI igual que el concepto de conjunto, el concepto
de par ordenado se considera primario.
X x Y = {(x,y): x E X , y E Y}.
23u . .l6
1.10. Isomorfismo Si en el g rupo E Ia operaci6n "o" tiene sentido aditivo
Sean E y F dos conjuntos dotados, respectivamente, de las (multiplicativo) "+" (""), entonces el grupo se llamagntpo aditiuo
- operacio nes binarias internas T y .1. Se denom ina isomorfismo (multiplicatiuo) y el elemento neutro, elemenfo mtlo (elemenlo
dc:l conj unto E sobre F Ia biyecci6n rmidad), denotandose mediante 0 (1). Por ejemplo, el conjunto Z
provisto de Ia operaci6n de adici6n es un grupo conmutativo.
E J_. F El conjunto Q \ {0} d otado de Ia operaci6n de multiplicaci6n es
que cumple Ia propiedad \f (a E E , b E E) f (aT b)= f (a)..L f (b). tambien un grupo conmutativo.
Los conjuntos E y F se denominan en este caso isomorfos
respecto a las relaciones T y .1.
Por ejemplo, supongamos que E = N, Ia relaci6n T es 2.2. Anillo
Ia adici6n, F = {2"} y Ia relaci6n .1 es Ia multi plicaci6n. La Se denomina anillo un conjunto R dotado de d os operaciones
aplicaci6n E J_. F: \f n E N, f(n) = 2" es un isomorfismo ya bi narias llamadas adici611 y multiplicaci6n, con Ia particularidad
que \f(n EN, mEN) se tiene que (n + m) 1-> 2nlm = 2n 2m, es de que, respecto a Ia operaci6n de adici6n, el conj unto R es
decir, J (n + m) = f (n) f (m). un grupo abeliano (grupo aditivo del anillo R ), y se cumple Ia
propiedad distributiua:
\f(aE R, bER, cE R) a(b+c)= ab +ac, (b+ c)a = ba +ca.
Si Ia operaci6n de multiplicaci6n es conmutativa, entonces
2. Estructuras matematicas el anillo se denomina conmutatiuo. Si R 3 1, el anillo se denomina
unitario.
Una estructura matemtitica es un conjunto de objetos o varios Por ejemplo, el conjunto Q de los numeros racionales
conjuntos de objetos de naturaleza distinta que poseen un sistema provisto de las operaciones de adici6n y multiplicaci6n es un
de relaciones y operaciones binarias sometidos a determinados anillo uni ta rio.
axiomas.
2.3. Cuerpo
2.1. Grupo
Un anillo se llama cuerpo si al excluir el elemento neutro de
Se denomina gntpo a un conjunto no vado E dotado de una Ia adici6n, el resto forma un grupo respecto a Ia operaci6n de
operaci6n "o" que a cada par de elementos a E E , b E E le multiplicaci6n.
hace corresponder un tercer elemento perfectamente determinado
a o b E E , cumpliendose, ademas, las condiciones siguientes:
1) Ia operaci6n o es asociativa: \f(a E E , b E E , c E E ) 2.4. Campo
a o (b o c) = (a o b) o c; Un cuerpo en el cualla operaci6n de multiplicaci6n es conmutativa
2) en E existe el elemento neutro, es decir, un elemento n tal se denomina campo.
que \fa E E a on = a; Por ejemplo, las temas ordenadas (Q +, ) y (IR, +, ) son
3) \fa E E 3 a' E E : a o a'= n (a' es el inuerso de_a). los campos de los numeros racionales y de los reales, respectiva-
mente.
En caso de que tambien se veri fique Ia condici6n
4) \f (a E E , b E E) a o b = b oa,
Definicion. Sea ~ un cuerpo (campo). La aplicaci6n 11: ~--+ JR+, d onde
el grupo E se denomina abeliano (conmutatiuo). JR+ = {x E IR: x ~ 0}, se denomina valor absoluto (modulo) en el cuerpo
(campo) ]!{ si V (a E OC, f3 E OC) se cumplen las condiciones (axiomas) 1} llxll = 0 =} x = 0;
sigu ientes:
2) IIAxll = IAI llxll;
3) llx + Yll ~ llxll + IIYII (propiedad triangular).
1} lal = 0 =} a = 0; El valor de Ia aplicaci6n II II en e l vector x E E se lla ma
2) Ia /31= lal l/31; norma del vector x .
3} Ia + /31 ~ Ia I + 1/31 (propiednd triangular). El conjunto ordenado (E, +, , II II) se denomina espacio
vectorial narmada. Con el fin de abreviar Ia notaci6n se suele
Un cuerpo (campo) en el cual esta definido el valor escribir E en Iugar d e (E, +, , II II).
absolute se llama cuerpo nonnado. De los axiomas 2) y 3) se deduce que 11011 = 0 y llxll ~ 0,
V x E E. La primera propiedad se obtiene del axiom a 2} para
A = 0 y Ia segunda, d el axioma 3) para y = -x.
2.5. Espacio vectorial sobre un campo K Se dice que e l vector x E E es e l limite de Ia sucesi611
Espacio normado de vectores (x 71 ) de l espacio normado E o que Ia sucesi6n (x 71 )
=
converge a x, y se escribe lim X 71 x, si Ia sucesi6n .numerica
u.-oo
Se d enomina espacio vectorial (lineal) sabre el campo ]!{ Ia terna
ordenada (E, +, } compuesta d e un conjunto E (sus elementos (llx,. - xll) = o(1}. Mediante el simbolo de Landau
o(1} se d enotan
se denomi"nan vectores), Ia operaci6n de ad ici6n (d efinida en E ) y las sucesiones numericas infinitesimns (convergentes a cero), es
Ia multiplicaci6n de los vectores por los elementos del campo OC. n-oo
=
d ecir, tales que lim a 71 0. El simbolo de Landau 0(1} se u tiliza
Oichas operaciones d eben satisfacer las siguientes pro- para designar a las sucesiones 11umericas acotadas.
piedades, d enominadas axiomas de[. espacio vectorial: V (x E E ,
y E E I z E E I ). E ]!{, J.L E ]!{) Teorema (de continuidad de Ia norma). Si una sucesi6n (x 71 ) de vectores de
1) x + y = y +x; 1111 espacio non11ado E converge a/ vector x, entonces llx,.ll -+ llxll-
2) (x + y) + z = x + (y + z);
3) 3 0 E E: x + 0 x; = ~ Demostraci6n. El teorema se deduce d e las desig ualdades
4) 3 (-x )E E : x + (-x) = O; - llxn- xll ~ llxnll-llxll ~ llxn - xll Vn EN,
5) A(x + y) =Ax+ Ay, (A+ J.L) x = >.x + J.LX; que se obtienen d e Ia propiedad triangular. .,..
6) (AJ.L)X = A(J.LX);
7) 1 X= X . Si un campo ]!{ es normado, el modulo es una funci6n
Para abrevia r Ia n otaci6n, el esp acio vectorial (E, +, } se
w
continua.
denota usualm ente mediante E. En un espacio vectorial normado !Rm, los axiomas d e la
Pa ra un espacio vectorial arbitrario E se verifican las norma se verifican p ara cad a una d e las aplicaciones 11 11: !Rm -+ lR
propiedades sig uientes: siguientes: m
arbitrnrio E es fundamental.
Todo espacio vectorial normad o E se convierte en un
espacio metrico si 'v' (x E E y E E) definimos Ia metrica del
I
Ejemplo 3. Scan X un conjunto arbitrario y E el.conjunto de las aplicacioncs <1111 Demostracion. Sea x = lim X 11 , x E X. Entonces
n-oo
acotadas X !... R. Entonces 'r/ (/ E E, g E E) se tiene que (/ - g) E E y esta t
definido cl numero p(f, g) =sup IJ(x)- g(x)l. La aplicaci6n (/,g),_. p(f, g) es Vc: > 0 3 n, EN: '1:/n ~ ncp(xn,X) < 2
zEX
una metrica en cl conjunto E. Es facil comprobar que se cumplen los axiomas 1)-3). Po r consiguiente, V (n ~ n,, p E N) se veri fica Ia desig ualdad
t
p(x,.+P' x) < 2 y d e los axiomas 2) y 3) se obtiene Ia estimaci6n
Definicion 2. Sean (X, p) un espacio me trico, x E X , x,, E X V n E N. p(xn+1,, xn) ~ p(Xn+px)+ p(x,x,.)=p(Xn+p,x)+ p(Xn,X)< t. .,.
Se dice que el punta x es el limite d e Ia sucesion (x,.), y se escribe
x = n-oo
lim (x 11 ), si se verifica que p(x 11 , x ) =
o(1). Si una s ucesi6n de
puntas de un espacio me trico tiene limite, entonces sc dice que es Definicion 4. Un espacio me trico (X , p) se denomina completo si contiene
convergente. todas sus s uccsiones funda mentales junto con s us limites.
tenemos p(x,,x0 ) + p(x 11 ,1Jo) < to. En virtud de Ia propiedad Sean (X, p) un espacio me trico, x 0 E X y 6 > 0.
triangular obtenemos p(xo, Yo) =
to ~ p(xn, xo) + p(xn, Yo) < to
sin ~ n,0 Asf pues, hemos Uegado a Ia contradicci6n to> t 0 . El Definicion 1. El conjunto 0 6(x0 ) = {x E X : p(x0 , x) < 6} se d enomina
teorema queda demostrado. .,. bola abierla de radio 6 y centro en el punfo XQ, o bie n 6-entomo del
punto xo.
Definicion 3. Una sucesi6n (xn) de puntas d e un espacio metrico (X, p) Definicion 2. El conjunto 06(xo) = {xE X:p(xo,x) ~6} se d enomina bola
es fundamental si cerrada de radio 6 y centro en el punto xo.
(V t > 0) (3 n, E N) (V(n ~ n,, p E N)): p(xn+w x 11 ) <t . (4)
Definicion 3. El conjunto S(xo, 6) = {x E X: p(xo, x) = 6} se d enomina
esfera de radio 6 y centro en el punto xo.
Teorema 2. Toda sucesi6n convergente (x 11 ) de puntos de 1111 espacio metrico En Ia recta numerica, Ia bola abierta (cerrada) de ra d io 6
(X, p) es fundamental. y centro en el pun to x 0 E R es e l intervalo (xo - 6, xo + 6)
(segmento [xo - 6, Xo + 6]), mientras que Ia esfera del mismo par tanto, p(x, y) :::; d(A); bien x E B, y E B, por consi-
radio se compone d e dos puntas {x0 - x 0 + 6}. o, guiente, p(x, y) :::; d(B); bien, por ejemplo, x E A, y E B,
y en virtud de Ia propiedad triangular obtenemos Ia desigualdad
p(x, y) :::; p(x, a) + p(a, b) + p(b, y), es decir,
Definicion 4. Sea (X, p) un espacio metrico y sean A, B dos subconjuntos
no vados del conjunto X. El numero real no negativo d(A U B) :::; p(a, b)+ d(A) + d(B). (4)
Sea c > 0. A partir de Ia definicion de infima tenemos que
p(A, B) = inf p(x, y) (1)
3 a' E A 1\ b' E B tales que
rEA,y ED
se d enomina distnncin d el conjunto A a! conjunto B. p (A, B) :::; p (a', b') < p (A, B)+ c.
Dado que a y b son puntas arbitrarios, hacienda en Ia desigualdad
Si el conjunto A tiene un solo pun to x, en Iugar de p(A, B) (4) a = a' y b = b', obtenemos Ia estimacion
se escribe p(x, B). La igualdad {1) puede escribirse, entonces, en d(A U B) < p(A, B)+ d(A) + d(B) +c.
Ia forma
p(A, B) = inf p(x, B). (2)
Puesto que e > 0 es arbitrario, obtcnemos
rEA d(A U B) :::; p(A, B)+ d(A) + d(B). IJioo
= n- ~;
Corolario. Si A es un conjrmto acotado, entonces 'V x0 E X el conjunto A
B = { Xn E Q: Xn n EN\ {1} } Tenemos entonces esta contenido en una bola cerrada de radio r = p(x0, A) + d(A) y centro en
el punta xo.
1
An B = 0, p(A,B) = inf- = 0.
" n
3.3. Conjuntos abiertos
De~nicion 5. S~an (~, p) un espacio metrico y A C X un conjunto no
vaCJo. Se denorruna dwmetro del conjunto A a! numero Definicion 1. Se denomina conjrmto abierto de un espacio metrico (X, p)
todo subconjunto G C X tal que
d(A) = sup p(x, y). (3)
zEA,yEA {'V x E G)(3 o> 0): 06(x) C G.
De Ia definicion se deduce que el diametro de un conjunto De Ia d efinicion se deduce que el conjunto vacfo es un
no vado puede ser un numero real no negativo o +oo. Si A c B, conjunto abierto y que todo el conjunto X es tambien abierto.
e~ton~es d(A).:::; d(B). ~ igualdad d(A) = 0 se veri fica si, y
solo sr, el conJunto A Ilene un solo punta. Si el diametro del
Teorema 1. Toda bola abierta es un conjunto abierto.
conjunto A es finito, el conjunto se denomina ncotado.
~ Demostracion. Sea (X, p) un espacio metrico y 06(xo) C X
Teorema. La union de dos conjuntos acotados A y B es u11 conjrmto una bola abierta. Si x E 06(xo) C X, entonces p(x0 , x) < 6 y
acotado. 61 = o - p(xo, x) > 0. Ademas, p(x, y) < 61 si y E 061 (x). Esti-
memos Ia distancia p(xo, y). En virtud de Ia propiedad triangular,
~ Demostracion. Si a E A, b E B y x, y son dos puntas cua- tenemos
lesquiera del conjunto A U B , entonces bien x E A 1\ y E A, p(x0 , y) :::; p(xo, x) + p(x, y) < p(xo, x) + o, = 6. .
De este modo, se verifica Ia if1clusion 051(x) C 0 6(x 0 ), es decir,
el conjunto 0 6(xo) contiene el punto x junto con un entorno En caso de que A = {x}, se habla d e un entorno del
suyo . .,.. punto x (y no del conjunto {x} ).
( 11)
En v irtud del teorema 1 se puede afirma r que los conjuntos
d e los intervalos -;;, ;; , n E N, en Ia recta nun1erica es un abiertos se caracterizan por cun1plir Ia condici6n A= int A.
conjunto cerrado, pues consta de un solo punto {0}.
Corolario. Si A C B, entonces int A C int B.
interseccion int A n int B es un conj unto abierto y esta contenida Teorema 1. La bola cerrada 00 C X(xo) y la esfera S(xo, 6) C X son
en Ia interseccion A n B. Ademas, e n virtud de l teorema 1 se . cmzjuntos cerrados.
veri fica Ia inclusion int A n int B C int (A n B). El tcorcma queda
demostrado. .,.. Demostracion. Six (/:. 0 0(xo), entonces p(x, 0 0 (xo)) ~ p(xo, x)-
6 > 0; por tanto, Ia bola abierta de radio 6, = p(xo, x) - 6
El interior de un conjunto no vacio puede ser el conjunto y centro en el punto x esta contenida en el complemento de Ia
vado; por ejemplo, para e l conjunto d e un solo punto {x} en Ia bola 06(x 0 ). Por consiguiente, este complemento es un conjunto
recta numerica tenemos int {x} 0. = abierto. El complemento de Ia esfe ra S(xo, 6) es Ia uni6n de Ia
bola abierta 0 6(x0 ) y del complemento de Ia bola Oo(xo). Segun
Definicion 3. Todo punto interior del conjunto X \ A se denomina punta el teorema 2, p. 3.3, esta union es un conjunto abierto. .,..
exterior del conjunto A, y el interior del conjunto X \ A constituye el
C011junto de puntas exteriores (exterior) del conjunto A.
Teorema 2. Toda i11tersecci6n de una familia (finita o no) de conjzmtos
cerrados es 1111 colljunto cerrado. Toda union de una familia finita de
Teorema 3. Para que x E X sea 1111 punta exterior del conju11to A es colljlmtos cerrados es un conjunto cerrado.
11ecesario y sujicie11te que se verifique Ia condici611 p(x, A) > 0.
Demostraci6n. Si V a E A los conjuntos Fa son cerrados,
~ D emostracion. Necesidad. Si x E X es un punto exterior de A, entonces los conjuntos CFa son abiertos. Por Ia segunda formula
entonces existe una bola 0 0(x) C X\ A (6 > 0). Para todo punto de (2), p. 1.4, tenemos
yEA tenemos p(x, y) > 6; por consiguiente,
p(x, A) = inf p(x, y) ~ 6 > 0.
C n
c:tEA
Fa = U CF,..
aEA
{1)
yEA
Suficiencia. Sea x E X. Hagamos p(x, A) =
61 De Ia En virtud del teorema 2, p. 3.3, el conjunto U CFa es abierto.
condici6n 61 > 0 se deduce Ia inclusi6n 0 0, (x) C X\ A, lo cual
implica que x es un punta interior d el conjunto X\ A. .,.. Por consiguiente, e l conjunto C n aEA
Fa tarnbien lo es. Entonces,
El conjunto vacfo y el conjunto X son conjuntos cerrados. Dado que los complementos CFi son conjuntos abiertos, entonces
Los intervalos [a, +oo), (-oo, a] y el conjunto Z son conjuntos
cerrados en Ia recta numerica. Los intervalos [a, b) y (a, b) no son
conjuntos abiertos ni cerrados.
n n
i= t
CFi es un conjunto abierto (v. teorema 3, p. 3.3); por -consi-
II
~
guiente, el conj unto C UF; tambien es abierto. De esta manera, Demostracio n. Supongamos lo contrario, es decir, que para cierto
60 > 0 se tiene que Oc.(xo) n A =
{y 1, y2, ... , y,. }. Dado que
Tl
i= l
x 0 f/:. A, tenemos rk =p(xo, Yk) > 0 (k =
1, n). Elijamos r > 0
tene mos que UF; cs un conjunto cerrado por definicion. ..,.. de tal fo rma que r < min{r,, r2, ... , rn } y Or(xo) C Oc.(xo).
i= l Evidentemente, Or (x 0 ) n A = 0, lo cual entra en contradiccion
con el hecho de que el punto xo es adherente a! conjun to A. ..,..
En particular, todo conjunto q ue contiene un solo punto
es cerrado.
De finicion 3. Un p un to x 0 E X se denomjna punta limite (de acumulaci6n)
de un conjun to A C X si d icho punto es adherente al conjunto A\ {x0 } .
D e finicion 2. Un punto x 0 E X cs arlizerente a wz canjzmta A C X si
todo entorno 0 6 (x 0 ) tiene una interseccion no vacfa con A. Se deno~ina Del teorema 4 se deduce que todo 6-entorno de un punto
adherencia (clausum, cierre) del conjunto A, y se d enota mediante A, el limite del conjunto A C X contiene un conjunto infinito de puntos
conjunto de todos los pw1tos adherentes del conjunto A. de A .
Sea x 0 E X un pun to limite del conjunto A C X. Conside-
Si x E X no es un pun to adherente del conjunto A C X, remos una s ucesion arbitraria (06. (x 0)) de entornos del punto Xo,
entonces x es un punta interior del comple mento CA. Por tanto, donde 671 = a(l). En virtud d el teorema 4, V n E N el conjtmto
la adherencia del conjunto A es el complemento d el conjunto de X 11= 0 0 (x 0 ) n A es infinito. Elijamos un pun to arbitrario x ,
sus puntos interiores: A = C int CA. Por ejemplo, la adh:!encia del conj unto X 1 y un punto x 2 # x, d el conjunto X 2 (esto es
de Ia bola abierta 0 6 (x 0) esta contenida en Ia bola cerrada 0 0(xo), posible debido a que los conjuntos X 1 y X 2 son infinitos). Sean
pero puede no coincidir con esta ul tima. =
x 1, x 2, ... , X 11 , Xj E Xj (j [n), dis tintos puntos elegidos. En el
Dado que int CA es el mayor conjunto abierto que esta conjunto x,.+l elijamos un punto Xn+l # Xj, (j = 1, n). Por indue-
contenido en CA, entonces A es el menor conj unto cerrado que cion obtendremos una sucesion (xn) de puntos diferentes Xn E A.
contiene el conjunto A. En particular, si el conjunto A es cerrado, De las condiciones tenemos que p(x,., x 0 ) < 671 , 671 = a(l), de don-
entonces A = A. de se deduce que xo = lim x ,. . Asi pues, hemos establecido que,
11 --t OO
3 3:1<. 36
Un punto llmite de cierto conjunto pucde o no pertenecer
dife rentes: uno en E y otro fuera de E, lo que es imposible en
al mismo. Ante riormente se demostr6 que si A es un conjunto
virtud de Ia unicidad del limite. Esta contradicci6n tiene su origen
cerrad o, entonces A = A, es d ecir, un conjunto cerrado A contienc
en Ia hip6tesis de que e l conjunto E no es cerrado.
tod os sus puntos adhere ntes y, por tanto, todos sus puntos limite
Suficiencin. Sea E un subconjunto cerrado del conjun-
que son, evidentementc, puntos adherentes.
to X . Toda sucesi6n funda mental (y,.) de puntos d el espacio
me trico (E, p) converge en (X, p) d ebido a Ia completitud de este
Definicion 5. Un punto x 0 E X se denomina punta frontern de cierto ultimo, y su limite pertenece al conjunto E, pues este es cerrado.
conjw1to A C X si x 0 cs adherente tanto a A, como a CA. Se llama Por tanto, e l conjunto E con tiene todos sus puntos limites, es
frontera d el conjunto A, y se denota mediante 8A, al conjunto de todos decir, el espacio metrico (E, p) es completo. ..,..
los puntos frontera de A .
Entonces (E, p) es '"' espncio metrico completo si, y solo si, E es 1111
subconjunto cerrado del conjrmto X. Ejemplo 1. Consideremos el conjunto X = =
[0, 1) y Ia metrica p(x, y) ix- yl
V(x EX, y E X). El espacio metrico (X, p) es un compacto en virtud del teorema
clasico de Bolzano- Weierstrass.
<1111 Demostracion. Necesidad. Sea (E, p) un espacio metrico com-
pleto. Supongamos que E no es un subconjunto cerrado de X .
Entonces existe una sucesi6n (x.. ) de puntos del conjunto E que =
Ejemplo 2. El espacio metrico (R, p), p(x, y) lx - Yi V (x E R, y E R) no es
converge a cierto punto x E X\ E. Dado que Ia sucesion (x .. ) compacto puesto que el subconjunto de sus puntos N c R no contiene ninguna
es fundamental (Ia metrica d e (E, p) es Ia me trica inducida por sucesi6n convergcnte. Sin embargo, en virtud del teorema de Balzano-Weierstrass,
Ia metrica de (X, p)), entonces, en virtud de Ia completitud del todo conjunto acotado X C IR es compacto.
espacio (E, p), existe lim x,.
n-oo
=
x', x' E E. Asi pues, he mos ob-
tenido una sucesi6n de puntos d el espacio (E, p) condos lfmites Demostremos ahora el teorema analogo al teorema de
bolns encajadas d e un espacio me trico completo. Consideraremos
3
Definicion 4. Sea M un conjunto arbitrario. Se denomina recubrimiento
conjuntos compactos de puntas de un espacio mctrico (X, p) sin de un conjunto E C M a una familia (B>.) de subconjuntos de M tal que
suponer Ia completitud de este ultimo.
E c u
)..
(B>.hEA
Ia intersecci6n K = Ki es no vacia.
j =l Teorema 2 {de Hausdorff). Sen (X, p) 1111 espncio mt!trico. Todo conjunto
compacta f( C X es totnlmente ncotado en X.
~ Demostracion. Elijamos arbitrariamente un punta _xi en cada
conjunto Kj . Obtenemos Ia sucesion (xj), donde {Xj,J EN}~ K, .
~ Demostracion. Supongamos lo contrario, o sea, que K es com-
Puesto que K 1 es compacta, a partir de (xj) ~odemos elegtr una
pacta, pero existe cierto t:0 > 0 para el que no existe una t:0 -red
subsucesi6n convergente (xj.)- Sea xo = hm xi Para todo
k-oo finita . Fijemos un punto x 1 E K arbitrario. De acuerdo con la su-
no E N, todos los terminos de Ia subsucesi6n (xj.), ik > no, posici6n, el conjunto {x 1} no forma una t:0 -red del conjunto K, es
perteneceran a l conjunto Kn 0 , y como K,. 0 es cerrado, e ntonces decir, p(x 1, K) ~ t:0 . Elijamos un punto arbitrario x 2 E K que ve-
x 0 E K,.0 Por tanto, 00
rifique Ia condici6n p(x 1, x 2 ) ~ t:0 Dado que el conjunto {xv x 2 }
no es una t:o-red del conjunto K, existe un pun to x 3 E K tal que
Xo E nKj.
j=l
=
p(x;, x 3 ) ~ t:o (i 1, 2). Sean x 1 , x 2 , .. . , x,. puntas elegidos que
satisfacen Ia condici6n p(x;, Xj) ~ t:0 (i-:/= j; i,j ~ n) . Elijamos
un punta Xn+ I E /( tal que p(x;, Xn+ l) ~ t:o (i = 1, n). Utilizan-
do el metoda de inducci6n respecto a n E N, construimos una
Definicion 2. Sean (X, p) un espacio metrico y t: > 0. Un conjunto
sucesi6n (x,.) de puntas de K, cuyos terminos verifican Ia con-
x 1 c X se denomina sistema de vecindades (t:-red) del conjunto Xz C X dici6n p(x;, Xj) ~ t:o (i-:/= j). Es evidente que Ia sucesi6n (xn) no
si 'Vx E X 2 existe un elemento x, EX, tal que p(x,_x,) < t: . contiene ninguna subsucesi6n convergente, lo cual contradice Ia
hip6tesis de compacidad del conjunto K . Asi pues, el teorema
En particular, el conjunto Xz puede coincidir con el queda demostrado. ..,.
conjunto X.
Definicion 3. Un conjunto E C X se denomina Iota/mente acotado en el Teorema 3 (de Frechet). Si un espacio metrico (X, p) es completo, entonces
espacio metrico (X, p) si 'V > 0 existe una -red finita de este conjunto todo conjunto E C X totalmente acotado en este espacio es compacta.
en X .
~ Demostracion. Si E C X es totalmente acotado, entonces 'V t: > 0
La ultima condici6n es equivalente a Ia siguiente: 'V t: > 0 existe una -red finita del conjunto E en el conjunto X. Sea (xn)
existe un conjunto finito F C X tal q ue 'V x E E se tiene que una sucesi6n arbitraria de elementos de E. Dado que existe un
p(x, F)< . recubrimiento finito del conjunto E mediante bolas abiertas de ra-
Sefialemos que el hecho de que cierto conjunto de puntas dios menores que t:, al menos una de estas bolas contiene una sub-
de un espacio metrico este acotado no implica que e l conjunto sea sucesi6n (x,..) de (x,.). De este modo, 'V > 0, a partir d e cualquier
totalmente acotado.
sucesi6n de e le me ntos del conjunto E se puede formar una s ub- S11ficie11cia. Si e l conjunto K C X es cerrado en (X, p),
sucesi6n tal que Ia dis ta ncia entre sus terminos sea menor que c. entonces, en vi rt ud del teore ma 5, p. 3.5, el espacio (K, p) es
Sea c,. = -n1 V n E N. El"IJamos una sub s uces10n
. . ( x,.(I)) complete y, por tanto, K es compacta. ..,..
x E X. Por definicion, e l conjunto E es compacta en el espa- compactos y, ademas, d(F;) ~ 2c 1, donde d(Fi) es el diametro del
cio (X, p). ..,.. conjunto F;. Supongamos que d el recubrimiento (Ga)aeA no se
pued e extraer un recubrimiento finito. Es to sigrufica que a l menos
A partir de los teoremas 2 y 3 obtenemos Ia afirmaci6n_ uno de los conjuntos d e F; (lo d eno taremos m ediante F;,) po-
siguiente. sec esa propiedad. Razonando a na!ogamenle, podemos encontrar
en F;, un conjunto secuencialmente compacta F ;1; 2 de diametro
d(F;,;2 ) ~ 2c2 que nose puede recubrir mediante nmguna familia
Teorema 4. Para que 11/L conjunto E C X sea-compacta en 1111 espacio finita de abiertos obtenida a partir de Ia familia (Ga)aeA. Conti-
(X, p) es necesario (y suficiente si (X, p) es 1111 espacio completo) que E sea nuando este procedirruento, obtendremos una s ucesi6n encajada
totalmente acotado en X. de conjuntos cerrados
F;, ::::> F; 1; 2 ::::> ... ::::> F; 1; 2 ... i. ::::> . .. ,
inclusion F;,;2 i. C O, (xo), Ia cual contradice Ia suposicion de Definicion 3. Un conjunto conexo abierto se denomina regi611:
que a partir del recubrimiento (Ga)aeA de F;,;2.. . ; . no es posible
extraer un recubrimiento finito.
Suficiencia. Supongamos que siempre se puede elegir un Definicion 4. El conjunto formado por una region y su frontera se
recubrimiento finito a partir de cualquier recubrimiento (Ga)aeA denomina region cerrada.
del conjunto F. Sea M C F un subconjunto que no tiene puntos
limites. Entonces 'r/ x E F existe un entomo 0 ,, (x) que no La recta numenca es un espacio conexo. Para que un
contiene puntos del conjunto M, salvo, tal vez, el punto x. conjunto A C IR sea conexo, es necesario y suficiente que A sea
Dichos entornos recubren el conjunto F. A partir d e Ia familia un intervale (acotado o no).
( O~~l) zEF elegimos un recubri~iento (O,i(xj)) i =Gi Dado que
M C U O,;(xj) 6. Limite y continuidad
j=l
y cada entorno O,i(xj) puede contener a lo sumo un punto
de una aplicaci6n de un
de M, entonces el conjunto M es finito. Por consiguiente, todo espacio metrico en otro
subconjunto infinito M C F debe tener puntos lirnites, es decir,
F es un compacto. ..,. 6.1. Limite y continuidad de una aplicaci6n
Sean (X, Px) e (Y, py) dos espacios metricos, f: X - t Y una
Definicion 5. Un conjunto J( C X de puntas de un espacio metrico ap licacion y x 0 E X un pun to limite del conjunto D1 .
(X, p) es col/lpacto si a partir de cualquier recubrirniento (Ga)aeA d e J( se
puede ex traer un recubrirniento finito de J(.
Definicion 1. Un punto a E Y se denomina limite parcial de Ia aplicn-
ci6n f e11 e1 pun to xo si existe una sucesion (x,.) de puntas del conjunto D 1
tal que
(x,. -t xo) /\ ('r/n EN x,. i= xo) /\ (lim f (x,.) =a). (1)
5. Espacios y conjuntos conexos 11 - 00
Una aplicacion f que es continua en todos los puntos de Teore ma 1 (de continuidad de Ia composici6n de aplicaciones). Si f es wrn
s u dominio D1 se d enomina co11finua. nplicnci611 continua en un punto x0 E D1 y g es una nplicaci6n conti11un
._ Sea xo .E D 1 un p unto limite de l conjunto D 1. La a plica- e11 el pu11to f (x 0 ) E D 9 , e11t011Ces In composici6n g o f es continua en el
Cion f es contmua en el p unto x 0 si, y solo si, lim f (x)
:r:-xo
=
f (x 0 ) . flunto x 0 .
Toda aplicacion es continua en cualquier punto aislado de s u
d ominio. ~ Demostraci6 n. Sea x ,. -+ x 0 una suces10n tal q ue V n E N
Una aplicacion q ue no es continua en cie rto punto x 0 E D 1 X
11
E Dgol Es evidente que (Yn = f (xn) -+ j (xo)) I\ Yn E Dg
se d enomina discontinua en ese punto. En v irtud de esto g(yn) -+ g(f (xo )) si n -+ oo. Por tanto,
Sea Xo E D 1 un p un to limite del conj unto D 1 . El pun to x 0 (go f)(x,.) = g(y11 )-+ g(f(xo)) =(go f)(xo). ..,.
se lla ma pu11to de disco11tinuidad evitable d e Ia aplicacion f si
existe lim f (x) E Y . En este caso Ia aplicacio n f' definida por
x-zo
Ia formula
Teore ma 2. Sen x 0 1111 punto limite del conjrmto Dgof . Si :r-zo
lim f (x) = Yo
f( x ), si x E D 1 \ { x 0 } , y In nplicnci6n g: Y -+ Z es contirwa e11 el pu'!_lo Yo, entonces
j*(x ) = { lim f(x), si x = x 0 , " lim g(f(x)) = g(yo).
x-x0 z - x0
es continua en el punto x 0 .
~ D emost raci6n. Definamos Ia aplicaci6n
Teorema (de continuidad de Ia imagen de un compacta). Si f:
X -+ y {f (x), si x E DJ \ {xo},
es una apl!caci6n continua y D1 es .'m compacta, e11tonces el co11junto E1 f (x) = .
Yo, st x = x 0
es secuencralmente compacta, es decrr, In imagen continua de 1111 compncto
tnmbie11 es 1111 compacta. que es continua en el punto xo. En virtud del teorema 1, Ia
com posicion go f es continua en ese punto. Por consiguiente,
~ Demos~raci6n. Fijemos una sucesion arbitra ria de p untos (y11 }
lim (go f) (x) = lim (go /' ) (x) = (go j*) (xo) = g(yo). ..,.
d el conJunlo E1 = f (DI). Entonces existe una s ucesion (x,.) x-x 0 %-+:to
ta l que V n E N X n E D 1 1\ Yn = f(x 11 ) . De acuerdo con Ia
6.3. Continuidad de Ia aplicaci6n inversa .,.. Demostra cio n . Sea. lim f(x) =a en el sentido de Cauch y,
z - zo
X11 ---+ x0 y V n E N x,. =/= x 0 . Entonces, para el valor 6 > 0
Teore m a (de conti nuidad de Ia aplicaci6n inversa). Sem1 (X, p x) y (Y, py) ind icado en (1} existe un nc5 E N: V n ;::: nc5 0 < Px(xo, x,.) < 6.
dos espncios melricos. Co11sideremos una nplicnci6n j: X ---+ Y tal que D I De acuerdo con Ia definicion 1, V n ;;:: nc5 py(a, f(x,.)) < c, es
es w1 compacta. Si In nplicnci6n f es continua e invertible, entonccs j - 1 es decir, f (x 11 )---+ a. Asi pues, hemos obtenido q ue el punta a es el
continua. limite de Ia aplicaci6n f en el punta Xo en el sentido de Heine.
Suponiendo q ue a =lim j (x) en el sentido de H eine,
X-+Xo
.,.. D e mostracion. Sea (y,.) una suces10n de pun tas del conjun- demostremos que a es el Hrnite de Ia aplicaci6n f en el punto x o
to E1 que converge a Yo E E1, y sea a un limite parcial de
en el sentido de Cauchy.
Ia sucesi6n (f - 1(y,.)). Dado que D 1 cs un compacta, entonces Supongamos lo contra rio, es decir, que para cie rto co > 0
a E D1. De Ia continuidad de Ia aplicaci6n f se deduce que nose p uede encontrar u n valor 6 > 0 que satisfaga la condici6n (1}.
j(a) es un limite parcial de Ia sucesi6n (y,.), en virtud de lo En otras palabras, V 6 > 0 3 x E D1 tal que 0 < Px(xo, x) < 6,
cual j (a) = Yo, a = r1
(Yo). De este modo, todos los lfmites pero py(a, f(x)) ;;:: c0 . Sea (6,.) una sucesi6n infinitesima de
parciales de Ia sucesi6n {f- 1(y,.)) son iguales a 1
r(yo), cs decir, numeros positives. Segun Ia hlp6tesis
lim
n-+oo
r 1
(y,.) = r 1(yo), lo que significa que Ia aplicaci6n r 1
es
(rln EN) (3 x,. E D1)('1n EN x,. f. Xo /\0 < Px(xo, Xn) <On):
continua en el pw1to Yo Como Yo es un p unto arbitra rio del
py(a, f (x,.)) ;;:: co.
conjunto E1, entonces j - 1 es una aplicaci6n continua. .,.
Dado que On = o(1), entonces n-oo
lim Xn = Xo, de lo cual se deduce
6.4. Limite y continuidad de una aplicaci6n Ia expresi6n limite lim py(a, J (x,.)) = 0. Esto ultimo contradice
n-oo
en el sentido de Cauchy. que V n E N py (a, f (x 11 )) ;;:: co . Asi p ues, Ia s uposici6n de que a
Propiedades de las aplicaciones continuas no es ellimite d e la aplicaci6n f en el p un to xo en el sentido d e
Cauchy es err6nea. IIJo-
Sean (X,px), (Y,py) dos espacios metricos y j: X---+ Y una
aplicaci6n.
~ Demostracion. Sea X E r 1
(A' \ B'). Entonces
.f(A) C F = F . Por consiguiente, A C 1
(F) = A y comor
A C A, entonces A cs cerrado. De estc modo, 4) => 3).
j(x) E A'\ B' => f(x) E A' 1\ f(x) (/ B' => Consideremos que se c~mple Ia condici6n 3). A partir del
teorcma 6, tenemos
=> x E r <A'> " x fl. r <B'> =>
1 1
r
=> 1(A' \ B') C r 1(A') \ r 1(B'). Por consigu iente, 3) => 2). Queda por establcccr que 2) => 1).
Suponga mos que se verifica Ia condici6n 2). Si V' es un entorno
Si y E r 1
(A') \ r 1
(B'), tenemos del pun to f(x) en E1, entonces existe un entomo abierto W' C V'
de esc mismo ptmto. La preimagen f - 1 (W') cs un conjunto abierto
y E r 1
(A') 1\ y fl. r 1
(B') => f(y) E A' 1\ f(y) fl. B' =>
en D1 que contiene el punto x y esta contenido en j - 1(V'). Segun
=> f(y) E A'\ B' => y E r 1
(A' \ B') => cl tcorema 4, Ia aplicaci6n f es contin ua en e l pun to x E D 1 .
=> r 1 1
(A ) \ r 1
(B') C r 1
(A' \ B'), Dndo qu e x es un punto arbitrario, Ia aplicaci6n f es continua y,
por tanto, 2) => 1). ~
de donde se deduce Ia igualdad a demostrar. ~
Teorema 1. Sean (X, Px ), (Y, py ), (Z, pz) tres espacios metricos y X ~Y,
Teorema 2 (de Ca ntor). Toda nplicaci6tz continua f: X -+ Y rlefinida en g
Y .---. Z rlos Jzomeomorfismos. Entonces Ia composici6n h =go f es wz
utz compacta es uniformemenfe continua. homeomorfismo de X sabre Z.
~ Demostraci6n. Sea f una aplicacion continua definida en un
~ Demostraci6n. Segun el teorema 1, p. 6.2, Ia aplicaci6n biyectiva
compacto D 1 . Supongamos q~e f no es unif?rmemente conti-
nua. Entonces existe un eo > 0 y dos suces10nes (x,) e (y,) X ~ Z es continua. Sea x 0 E X. conforme al teorema 4,
- 1 p. 6.4, Ia preimagen h- 1(V") de cada entomo V" del punto
de puntos del conjunto D 1 ta les que p x (x,, Yn) < :;;: , pero h(xo) = (g o f) (xo) en el conjunto Z es un entorno del punto x 0
py(f(xn), j(yn)) ~ e0 . Como D 1 cs un compacto, existe una
subsucesi6n (xnk) convergente a un pun to Xo E D 1. Dado que en X. Por consiguiente, Ia biyecci6n Z ~ X tambien es continua
en h(xo) . Dado que x 0 es un punto arbitrario, h- 1 es una
1
Px(xnk' Ynk) <- aplicaci6n continua. ..,..
nk
y
Un horneomorfismo p uede no ser uniformemente conti-
entonces y,k -+ xo cuando k-+ oo. De Ia continuidad de Ia apli- nuo, por ejemplo, IR ~ IR, donde j (x) = x 3.
caci6n j en el punto xo E D 1 se deduce que para dicho eo existe
eo
4n 6 > 0: px(xo,x) < 6 => Pr(f(x0), f(x)) < 2 Tomemos un Definicion 2. Se dice que dos espacios metricos (X,px), (Y,py) son
numero k E N para el cual Px(xo, xnJ < 6 y Px(xo, y,k) < 6. lzomeomorfos si existe un homeomorfismo X ~ Y.
4
Teorema 2. Dos espncios melricos lromeomorfos n 1111 lercero SO/I l!omeo-
11/0rfos e11lre si.
Por esta raz6n, nosotros seguiremos otro camino, definicn- Tomemos al vector 1 como Ia unidad de Ia operaci6n de
do los nfuneros complejos desde un punto de vista geometrico. multiplicaci6n buscada. Teniendo en cuenta Ia igualdad (2), ve-
mos que es suficiente definir correctarnente el producto i i = i 2 .
1.1. Definicion de numero complejo Dildo que 1 i = i, es decir, el punto (0, 1) se obtiene del
7f
pun to (1, 0) mediante un giro de - del plano ~ en el sen-
Consideremos todo punto z = (x, y) d el plano IR2 , donde x E JR, 2
y E ~, como un vector. conforme a este enfoque, definamos cl tido contrario at de las agujas del reloj, podemos suponer
modulo de z, asi como Ia operaci6u de adici6n de dos puntos que
= =
z 1 (x 1, y 1 ) y z2 (x2, Y2), segun las reglas conocidas para los
vectores (fig. 10)
Utilizando las igualdades (2) y (3), para z = (x, y) obtene-
Ill OS
Asimismo, V a E ~ s upongamos que az = (ax, ay). z i = (x 1 + y i)i = -y 1 + x i = (-y, x). (4)
Como es sabido, todo vector z en el plar\o se puede
descomponer respecto a los vectores (1, 0) = 1 y (0, 1) = i De este modo, el punto
y
(fig. 11): (-y, x) se obtiene del (-y,x)
Z = X 1 +y i. (2) pun to (x, y) mediante
un g iro del plano ~2
y Y en un angulo recto en
el sentido contrario al
de las agujas del reloj
yl
(fig. 12).
Es evidente que
l un giro en otro angu- X X
lo se podni determinar Fig.12
med iante Ia rnultiplica-
ci6n no por i, sino por
X xl X el numero complejo apropiado. Asi, vemos que los nurneros com-
Fig.lO Fig. ll p lejos son de gran importancia para las matematicas, pues con su
ayuda se pueden estudiar las transformaciones mas importantes
Entonces nos preguntamos lo siguiente: conservando las del plano: los desplazarnientos, los giros y las homotecias.
igualdades (1) y (2) que defin en las operaciones con vectores, Escribarnos ahora Ia regia de multiplicaci6n de los puntos
;.es posible definir Ia operaci6n de multiplicaci6n de los puntos del plano IR2 :
del plano !lf, trimsformandolos en numeros que en lo sucesivo
d enominaremos complejos? El requisite de conservar las igualda- (xJ, Y1)(x2 , Y2) = (xl 1 + Y1 i)(x2 1 + Y2 i) =
des (1) y (2) es muy importante. Sin estas podrfamos tomar una = (X JX2- YIY2)1 + (XJY2 + X2YJ)i.
aplicaci6n invertible de R sobre IR2 y considerarla como un iso- Entonces
morfismo de campos ordenados, transformando inutilmente ~
en una representaci6n del campo ordenado de numeros reales.
D efinici6n. El plano numerico ~ para cuyos puntos esta n definidos los 1.2. Argumento de un numero complejo.
m6du los y las operaciones de adici6n y multiplic<~ci6n conforme <1 l<~s Formas trigonometrica- y exponencial de un
formulas {1), (5) se denomina plano complejo C. Los puntos del pl<~no numero complejo. Multiplicaci6n y division
complejo se denominan mlmeros complejos. de numeros complejos. Extracci6n de rakes
de un numero complejo
Recordemos que el conjunto de los nlimeros reales se
define unfvocamente a excepci6n de un isomorfismo. Por ello,
Definici6n. Sea z E C, z f:. 0. El angulo rp formado por el vector de
los nlimeros complejos x 1, donde x E JR, proporcio n<~n otra posicion del p unto z y el versor del eje real se denornina argumento del
representacion d e Ia recta numerica JR y pueden considerarse
numero z (fig. 13).
perfectamente como nlimeros reales. En otras palabras, los nlime-
ros complejos conlienen a los nlimeros reales, es decir, C ::) JR. El argumento del nlimero z E C, z f:. 0, no se de-
Senalemos que, al igual que los nlimeros reales, los nlimeros lermina de fo rma unfvoca, sino a excepcion de un mlilti-
complejos tambien estan definidos unfvocamente a excepcion de plo de 211'. Denotemos med iante Arg z el conjunto de todos
un isomorfismo. los valores del arg umento de z . Entonces, si rp E Arg z,
Para simplificar Ia notaci6n, escribiremos x en vez de Argz = {rp+2n1f: n E Z }. En el conjunto Argz, z f:. 0, existe
x 1 e iy en Iugar de y i. Entonces el nlimero complejo uno y solo un argumento que cumple rp E ( -11', 11']; este recibe el
z = (x, y) to ma Ia forma z = x + iy, x E JR, y E JR. Respe- nombre de valor principal
1
tando Ia tradicion, los nlimeros x e y se deno rninan, respecti- y del argwnento y se denota
vamente, parte real y parte imaginaria d el nlimero complejo z mediante arg z.
y se d eno tan med iante los simbolos x = Re z, y = Im z. El i Sea (x, y) un pun-
nlimero complejo z = (x, y) es un par orden<~do de los nli- to del plano JR2 . Tomando
meros reales x e y (lo que explica Ia procedencia de esle en consideracion Ia rela-
termino). cion entre sus coordena-
El termino "numero complejo" fue propuesto por C. G<1uss das cartesianas y polares,
(1777-1855) y el simbolo i fue utilizado por pri mer<~ vez por _ 0 x obtenemos
L. Euler (1707-1783). Fig. l3 x = r cosrp,
El nlimero z = x - iy se denomina conjugado del (1)
mlmero z = x + iy y se denota mediante z . Obviamente,
zz= lzl 2
Verifiquemos que los nlimeros complejos forman un cam-
po. Evidentemente, Ia operacion d e adicion satisface los axiomas
requeridos, puesto que corresponde a Ia operaci6n de adicion
d e vectores. El lector pued e comprobar los axiomas de adicion que resulta muy comoda al multiplicar y dividir numeros com-
partiendo de Ia d efinicion (1) d e Ia suma, sin necesidad d e re- plejos. Considerando Ia funcicn exponencial
currir a los vectores. La comprobacion directa de los axiomas iP
rp ~---+ = cos rp + i sen rp, rp E IR, (3)
de multiplicacion y los axiomas que relacionan Ia ad icion y Ia introducida por Euler, obtenemos Ia forma exponencial del nlimero
multip licacion exige calculos voluminosos. Sin embargo, pode- complejo z :
mos evitarlos introduciendo otras caracterfsticas d e los nlimeros
complejos.
-~
La afirmaci6n siguiente establece las propiedades princi- z = (r cos tp, ~sen tp). Se pide hallar un numero complejo z 1 =
pales de Ia funci6n exponencial definida med iante Ia formula (3). (t 1 cos tpJ, rt sen l.fJ t) tal que z\' = z. A partir de Ia formula (7),
obtenemos
x=-
(- 1J (2)
1-( y=1-(
Tomando en conside raci6n (1) y (2), obtenemos
lzl2 -- x2 + 2- e+ 7]2 -
y - {1 - ()2 - 1- (
(
de donde
1
1- ( = 1 + Iz 12.
Fig.l4 Con ayuda de estas igualdades, a partir d e (2) encon tramos las
expresiones de ( , fJ, ( en funci6n de x e y:
Introduzcamos en el espacio R' un sistema de coordenadas
x Y lzl2 {3)
O(Tf(_ de forma tal q~e ~I plano C coincida con el plano IR2 y ( = 1 + lzl 2' fJ = 1 + lzl2' ( = 1 + lzl2
los eJeS 0( y OTf comctd.an con los ejes Ox y Oy del plano
..,. Soluci6n. Uti\i.zando las reglas de las operaciones con numeros
Las expresiones (1), (2) y (3) son las f6mw lns principnles de In complejos y Ia igualdad zz =\z\2 , obtenemos
proyecci611 estereogrnficn. 2
La proyeccion estereografica tiene dos pro piedades impor- (1 - i)(1 - i) (1 - i) 2i .
z = = - = - - = - z
tantes: I \1 +W 2 2 I
iv'3 )
=22 ~ "
i -4
- -4 =
que un punto A E S se cncuentra en el para lelo de latitud I{) si cl
vecto r de posicion 0' A forma un ang ulo I{) con el p lano ecuatorial.
7r
Z5
( 21 t
---
2 2
22 21
---
.,fi
2.t
.,fi
e 4
Zl
1 - [
= l + i; .Z2
2
= 1 _ 3i; _Z3 = (1 + &.V 3) ;
. r,;6
..,. Soluci6n. Recordemos que I{) es el valor principal ( -1r < argz
7r 7r
~ 7r)
y que arctg I{) es Ia rama principal de - -2 a -2 . Es mas facil
- (1 i).s z,_-- t~l+.. - tv'z3 )4
z4-
.
+
_
1- Z.,
. '
:. 1 -
.. . calcula r I{) si representamos el punto z en el plano complejo.
Tenemos:
ra = lzal = 3, VJ a=2,
7f
r2= Jz2 J=2, <fJ2= 71"; z2 = cos -97r8 + l. sen -97r8 = - cos -8
sen -
8'
7f
-
.
2
7f
1371" .
r 3 = Jz3 J= h, <p3= ~; r4= iz4 J=h' - - 371"
<p.a- - z3 = cos -
8
137r
+ 2 sen -
8
= cos -8 - 2 sen -371"8 .
371" .
4 4'
rs = lzsl = ../29,
5
<ps = arctg-; r6= lz6l = ../29, <p6 = -a rctg-;
5
Dado que I cos xl = V1 + cos2x
2
, I sen xl = y~s
~
2x
, en-
2 2
tonces
5
arctg 2;
r7 = lz7 J= ../29, <p7 = 1r -
0
, ~ I Ho> ":4 _....:...._
v'2+ ,12
__
5 cs8= 2 - 2 '
r8 =lzsl = ../29, <p8 =arctg 2-71";
zo,2 = ~ ( V+ h+ V h),
2 i 2-
7f
-. Soluci6n. Sea z = i , entonces Jz l = 1, arg z = <p = -, VZ =
. 2
7f 7f
- + 2k7r -
2
+ 2k7f
cos 2 + i sen , k = 0, 1, 2, 3. Obtenemos, pues,
4 4
cuatro valores distintos de Ia raiz:
7f
Zo = cos 8 + l sen 8,
7f
._ . Iz - 121
Solucron. Como - - -.
2
=
(x - 12) 2
25 z _ 41
+ )y2 = -,
( - -
2
= I
571" 571" 371" 371" z - 82 x2 + y - 8 2 9 z-8
z1 = cos - + i sen - = - cos - + i sen - (x- 4)2 + y2
8 8 8 8' = 1, entonces el problema se reduce a resolver el
(x- 8)2 + y 2
5 h<. 36
funciones de yariable complcja
,
sistema de ecuaciones .,.. Soluci6n. Dado que a > 0, entonccs
2x2 + 2y2 + 27x - SOy + 38 = 0,
{ 8x = 48.
Sus soluciones son z 1 = (6,17) y z = (6,8), es decir, z, = 6 + 17i,
2
Z2 = 6 + 8i. ~
. . . ~
-<111
labl)2 - (lal + lblf (a E C, bE C).
Soluci6n. De forma amlloga a! problema anterior,
_ '"'~ '~
es decir, Ia - bl = 11 - iibl y I
II = a-
1
b
_ ab 1. De un modo ana!ogo,
= 1 - ab - ab + aabb - aa + ab + ba - bb =
2
= 1 + lal lbl 2 - (lal2 + lbl 2 ) =
2 2
= 1 + labl - (lal + lbl) + 2jabl =
= (1 + labl)2 - (lal + lblf ~
~ Soluci6n. Sea q Ia raz6n de Ia progresi6n geometrica y d el
incremento de Ia progresi6n aritmetica. Entonces lz2 1= lz 1 lq= v'iq,
lzJI = lztlq2 = v'i~~_lz41 = 4 = v'il, de donde q = Vi. Sea
tp; = arg z; (i = 1, 4). Dado que tp 1 = 0, entonces tp = d, 2
lfJJ = 2d, tp4 = 3d. Puesto que z4 = 4i = (cos 3d + i sen 3d),
11'
entonces cos3d = 0Asen3d= 1. Por consiguientcI 3d = - + 2k11' I
2
5
..,. Soluci6n. AI igual que en el eje mplo ante rior, Ia ecuacion dada
d = 11"_ +21.:71"
- (sk E z ). Como d= lf'z = a rgzz, entonces
-71" < - +
6
11"
es equivalente al sistema
6 3
alz l + ~z + cz + ~ = 0,
2
2k71" 11" 5
~ 1r. Obtenemos, pues, tres valores pa ra d: d1 = 6, dz = 6 7r, { iilz l2 + bz + cz + d = 0.
3
t
d3 = - -,
11"
y tres soluciones para z2 y Z:J , respechvamen e: Multip lique mos los dos miembros d e Ia primera ecuaci6n por a,
2 los de Ia segunda por a y reste mos una de Ia otra. El resultado es
( I)
z2 = 2ei"6, (2) i s.-
z2 = 2e 6, (ac- iib) z- ( iic - ab) z + ad - iid = 0. Hagamos z(ac- iib) = Z.
;,. Entonces Ia u ltima ecuaci6n toma Ia forma
(I) . ,.
z~3 > = 2e- 2, z3 =212e' 3 , Z - Z = -(ad- ad), es d ecir, 2i Im Z = -2i 1m (ad),
. s.-
z~2> = 2/2e' 3 , z (3)
3 -
- 2VLe
/;;2 - ilf . ... de donde
t -ilm (ad)
Z = t - i lm (ad), es decir, z =
ac- ab I
t E lit ...
~ Solucio n. Tenemos:
Expfuar cos 5x y ~il5x med iante cos x y senx.
1 1 z 2 +z2 (x-iy)2 +(x+iy)2 2(x2 - y2)
-+ - =---=
z2 z2 (zz)2 (x2 + y2)2
=
( x2 + y2) 2
. ...
~ Solucion. conforme a Ia formula de Moivre cos 5x + i sen 5x =
5
(cos x + i sen x) Aplicando entonccs Ia formula del binomio de
Newton, obtenemos
15. HaUar el valor princ~pal d el. l!fgumento de zi = (cos x + t. sen x )5 = cos 5x + 5.t cos 4 x sen x -
-2 + 3i y Z2 = a+ ib (a< 0, b < 0). ~ ,, o:o;
3 2 2
- 10 cos x sen x- 10i cos x sen3 x + 5 cos x sen4 x + i sen5 x,
~ Solucion. El p un to z 1 se encuentra en el segund o cuadrante del de donde
p lano z, por lo qu e argz1 = arctg ( - ~) + 1r = 1r - arctg~. cos 5x = cos x - 10 cos x sen2 x + 5 cos x sen4 x,
5 3
4
El p u n to z 2 se encuentra en el tercer cuadrante y, por tanto, sen 5x = 5 cos x sen x- 10 cos2 x sen3 x + sen5 x.
b 27r 27r
arg z 2 = arctg- - 1r. .,.. Calculemos, por ejemplo, cos - y sen - . Tenemos:
a 5 5
27r4 2 27T 2 27T 4 27T
0 = 5 cos - - 10 cos - sen - +sen - =
16. . 5 5 5 5
2 27T 2 27T ) 2 27T
= 5 1 - sen 2 - 10 ( 1 - sen 5 sen 5 +sen
4
527T .
.. (
5 )
2- 2 cos x = 3
- (cos lfl + i sen lfl).
z
2n+ 1 conforme al teore ma d e Yiete, z 1 + z 2 + z3 = 0 .
1 ( 1 ) 1 sen - Suficienda. Sea z 1 + z2 + z 3 = 0. Hagamos q = z 1z 2 +
2 xx
D ,.(x) = - -- +St = -
2 71' 2 271'
z2 z3 + ZJZJ. Dado que ZJZJ =
z 1z 1 = z 2 2 z =
1, entonces q =
2 sen -
2 l) N. del T. En adelantc, pard las circunferencias, semicircunferencias,
En Ia teoria de las series de Fourier Ia funci6n D,. se denomina circulos y semicirculos de radios igualcs a Ia unidad utilizarcmos las expresio-
micleo de Dirichlet . ~ ncs "circunferencia unidad", "semicircunfercncia unidad", "circulo unidad" y
"scmicirculo unidad", respectivamcnte.
Zt z2z3(z3 + Zt + z2) = 0 y los numeros Zt Z2 y Z3 satisfacen es decir1 las rakes z~.: = r~.:(cos tp1.: + i sen cp1.) (k = 01 4) pertenecen
~ ~.
I
Ia ecuaci6n z 3 - z 1z2z3 = 0. Sus raices se encuentran en Ia a Ia circunferencia de radio y centro en el pun to z = Ha-
circunferencia unidad. .,.. - 3 3
ciendo z == r(cos tp + i sen tp) y z + 1 = p(cos 1/J + i sen 1/J) (fig. 16}1
obtenemos (2ri(cos 5tp + i sen 5cp) = p (cos 51/J + i sen 51/J)~ de
5
nr.;- i2h
1 2?Tk
Las rafces z~.: = v 1 = e- ,-, (k = 01 n- 1} de esta ecuaci6n se 7~.:= v'5-4cosB~.: 1 0~.:=5~
pueden escribir en Ia forma 11 W 111 w~~ ... 1 w;:- t1 donde W 11 = z 1.
senO~; ) -
En particular (v. cj. 17)1 tp1.: = 1/Jk + 0~.: = arcscn ( v'5-4 cos 0~.: + 0~.: 1 k = 0 4.
1
.,..
w3= -1+iJ3
w2 = - 1~ w4 = i 1
2
i2rr
w5 =e5 =cos
2?T
+isen
2?T
=
1(
Vs-1+i 10+2Vs .
J ) 2'1. .D~inosb:jlr que
5 5 4
Seii.alemos que el problema de representar W11 en una X . -a
- - -- = ~rr
2_m - 2m m-1 .( 2 .,':
x - 2ax cos
k, )
'fur :I- a2 1
1
y
x + iy obtenemos Ia igual-
I
k?T 2 (k= -
1~m-
- 1).
( 1) 4 k ) ( x-aw 2m-1.:)
x - aw2m =x2 -2a:z:cos-+a
3
2
X
( 2,.. m
.,..
dad
3 x - + y = 91 Fig. 16
25. Sean ..?i.: pupt~s aiottrar!os., Sean! <!qemas, mk, > 0
.lll't. n
'
numeros arb.1tranos"
. (;: , n ) ta1es que.P ~
,;, =;, _1 L5 mk = .1 . De-
k=l
n
mostrar qiJ.e toda. rectg qu~ pase por el pun to z0 = 'L:: mkzk no puepeQ encontrarse"fue-
63
- I'!- k=l ra del poligpno convexo.ini- y
separ11 ~os puntosAzk, sai'vo~eo' el caso en ,que todos los p lintos nimo q~e conti~ne todos)9~
p ertel)ezcary a una recta_. ~, c,:ero;; z 1 , i 2, : ; z!, del po-
linomio~ Pn (fig. 17)~ Aq@,
Fig.21
y y z3
z3 36. Aclarar el sentido geometrico de las expresiol}~S ~i
guientes:
22 a) lz - 21 + lz + 21 = 5;
Zt d) Im z < c:
<Ill Solucion. a) La ecuaci6n describe el Iuga r geometrico de los
puntas del p lan o para los cuales Ia suma de sus d istancias hasta
0 X 0 X
dos puntas dados F 1 =
-2 y F 2 =2 es ig ual a 5. Del curso
de gcometrfa analftica se sabe que esto es, por definicion, una
Fig.22 Fig.23
elipse cuyo semieje mayor es igual a ~ y sus focos son los puntos
2
-2 y 2.
-3
~4. Sean Z l Z2 y ZJ tres vertices de un parall b) El Iugar geomctrico de los puntos del plano C que
e ogramo.
satisfacen Ia cond ici6n liz - 21 - lz + 211 = 3 es una hiperbola
I
6
-<111 Soluci6n. a) La ecuaci6n arg z = a define una semirrecta de vectores z-z1 y z-z2 pertenecena Ia recta que pasa por los puntos
pendiente a. Las desigualdades a < arg z < f3 definen un sector z 1 y z 2 (excluyendo el punto z2); en el segundo cas9, el angulo
infinite comprendido entre las semirrectas arg z =a y arg z = /3, 7r
comprendido entre estos vectores es igual a 2 a exc~pci6n de
sin incluir las propias semirrectas.
Z- Z J
b) Traslademos el origen de coordcnadas al punto zo un multiplo de 21r. Por tanto, el conjunto Re - - = 0 es una
haciendo z- z0 = w . Entonces las desigualdades a < arg w < f3 z- z2
definen el interior del mismo sector de a), s61o que con verticc circunferencia cuyo diametro es el segmento que une los puntos
en zo. ~ z 1 y z 2 (el punto z2 ha sido excluido de Ia circunferencia).
d) Sea z = x+iy. Entonces lx-1+iyl ~ 2lx+i(y-1)j, es
decir, y'(x- 1)2 + y 2 ~ 2y'x 2 + (y -1)2. Elevando al cuadrado
los dos miembros de Ia desigualdad obtenida, tras una serie de
transformaciones elementales obtenemos
(y + -c2 ) = -,
ci 2
1 Ia formula de las rakes de una ecuacion de segundo grado
x2 + 1
4
c1 = -,
c
c ::/= 0, tangentes al eje real en
z 1,2 =-a J a 2 - b se deduce que z 1 y z2 son nt'tmeros reales.
el o rigen de coordenadas; como y = 0 para c = 0, el eje real 2) Necesidnd. Sean z 1 y z2 imaginarios puros. Entonces,
pertenece a Ia familia. de las formulas de Viete se deduce que a es imaginario puro y b
b) Sea z = x + iy. Te nemos z 2 = x 2 - y2 + i2xy, Re z 2 = zi
cs real. Por tanto, 4a = z~ + + 2b ::;; - 2lbl + 2b ::;; 4b, de doQde
2
2 2 2 2 2
x - y , 1m z = 2xy. Si c ::/= 0, entonces las ecuaciones x - y = c b~ a 2
y 2xy = c describen fa milias de hipe rbolas. Si c = 0, Ia ecuaci6n Suficiencia. Si b ~ a 2 y a es un nl1mcro imaginario puro,
x 2 - y 2 = 0 determina el par de rectas y = x e y = -x, mientras a partir de Ia formu la de las rakes de una ecuacion de segundo
que la ecuaci6n xy = 0 d efine el pa r de rectas x = 0 e y = 0. grado vemos que ambas rafces son imagina rias puras.
c) Sea z = =
x + iy, Zt X t + iyt, z2 = x2 + iy2. Entonces 3) La ecuacion d e segundo grado siempre tiene dos rakes
Ia ecuacion I z - Zt
Z - Z2
I= >. (..\ > 0) es equivalente a (x - xt)2 + complejas. ..,..
Z1 = (~,0, ~) , Z2 = (- ~I 0, ~) I
(.A que correspon<:{en los polgs nort~ y sm?
lzl = tg ( ~ + ~).
A cada punto del paralelo de latitud tp le corresponde
un punto del plano <C que se encuentra en Ia circunferencia
r ~I
A{ + B1J + C( + D = 0,
de los puntos z1 E C y z2 E C. Se denomina dista11cia cordt:ll
{ e+ 1]2 + (( - ~ = k(Z , Z ) entre los puntos Z1 y Z2 a la norma euc\idea del vector
1 2
(6- {1,1Jz- T/1, (2 - (I), eg decir,
donde A, B, C y D son numeros reales. Hallemos Ia imagen de k(Z1 , Z2) = Ji,.....(_
2 _-{1--=
)2_+_(_1'/___ )2_+_(_(2___
2 1'/1_, (1-?
esta circunferencia mediante Ia proyecci6n estereografica.
Tomemos el pun to (0, 0, 1) de Ia circunferencia dada. Definamos ahora
Entonces D + C = 0, y Ia ecuaci6n d el plano donde se encuentra _ del ( - - )
dicha circunferencia adquiere Ia forma A{ + B1] = C(1 - () .
p{z1, z2) = k(Z1 , Z2) V z1 E <C, Zz E <C . (1)
Aplicando las fo rmulas (2) y (3), p. 1.3, obtenemos que Ia imagen De acuerdo con las formulas p rincipales de Ia proyecci6n estere-
de Ia circunferencia es Ia recta Ax + By = C del plano C. ografica,
A partir de las formulas (3), p . 1.3, encontramos que 2
Y1 lz1i
{ = (1 - ()x y 1J = (1-()y. Entonces, hacienda uso de Ia ecuaci6n X1
(I = 1+lzd 2'
D+C 6= 1 + lzd 2' 1'/1 = 1 + lzd2'
del plano A{+ B1]+C(+D = 0, obtenemos ( = 1+-- -- - izzi2
Ax+By- C X2 Y2 - 2.
Sustituyendo ahora las expresiones d e {, 1J y ( en terminos d e - - - .2 ' (2 = 1 + lz2l
{2 = 1 - ~
+ lz2 .2, 1/2- 1 + lz2l
x e y en Ia ecuaci6n de Ia esfera, obtenemos Ia ecuaci6n de Ia
Por consiguiente, para z1 E C y z2 E C
Una topologfa en los espacios (C, p) y (C,p) se define mediante
2 2 familias d e entornos.
-2 1 2 _ ( X2 Xt ) . ( Y2 Yt )
p (z ,z )- 1 + lz 2l2 - 1 + lz d 2 + 1 + lz2l 2 - 1 + lzd 2 + Sea e > 0 y z0 E C. Segun Ia definicion 1, p. 3.2, cap. 1,
cl conjunto O!(zo) = {z E C: iz- zol < e} cs un -entomo del
2 2 2
lz2 l lztl ) pun to z0 en el espacio me trico (C, p). En el espacio metrico (C, p),
( 2
+ 1 + lz2 1 -1 +lzd 2 = un : -entomo del punta z = oo es el conjunto
2 2 O!(oo) = {z E C: p(z,oo) < e} =
izd lz2 l 2(xtx2+ YtY2+ lz d 2lz2i 2)
- + - -
1 + iz21 2
~ { z E C ~ <<}~ {z E C lzl > VI:,-II }' (3)
2
-1+ lzd (1 + lzd 2) (1 + lz2j2) -
_ lz2 - ztl 2
- (1+lzd2)(1+iz21 2)' es decir, el conjunto de todos los puntas d el plano complejo C
que se e ncu entran fuera de Ia circunferencia de radio R 1t! =
_ iz2 -zd
~
p(z 1, z2) = -;===:~:;=:===.::
V1 + lzt Fv 1+ lz2 l2
. _ dcf 1
St z E C, entonces p(z, oo) = . De este modo, Por Ia d efinicion 2, p. 3.4, cap. 1, un punto z E A C C
V1 + izF (respectivamente, z E A C C) se denomina interior si existc un
e-entorno suyo tal que Oc(z) C A . conforme a Ia d efinicion 1,
V (zi E C, z2 E C)
p. 3.3, cap. 1, se dice que G C C (resp. G C C) es un copjunto
2
lz - zd , si Zt E C, z2 E C, nbierto en el espacio me trico (C, p) (resp. (C, fi)) si todos sus
-( )dcf V 1+lztFV1+iz21 2 pun tas son interiores. Todo c-entorno del espacio metrico (C, p)
p Zt, z2 = 1
{ (resp. (C, p)) es un conjunto abierto (v. teorema 1, p. 3.3, cap. l).
, si z1 E C, z2 = oo.
V1 + jz,j2
El par ordenado (C, {f) es un espacio metrico. Definicion 1. El conjunto de todos los conj untos abiertos del plano
Senalemos que en el conjunto C tambien se p uede utilizar complejo C (resp ectivamente C) se dcnomina topologin r de este plano,
Ia metrica esferica. Efectivamente, sea A C C un conjunto acotado y el par ordenado {C, r) (resp. (C , r)) se llama espacio topo16gico.
(recordemos que segU.n Ia definicion 5, p. 3.2, cap. 1, un subcon- ,.,
junto A de un espacio metrico (C, p) se d enomina ncotndo si su El espacio topologico (C, r) (resp. (C, f)) tiene las propie-
di<hnetro d(A) =
sup p(z,, z2) =
sup lz2 - z 11 es finito). Sea dades siguientes:
tEA, ZzEA z1 EA, zEA
0 < R < +oo y lzl ~ R 'tlz EA. Entonces, V (zi E A, z2 E A) 1) Ia union de cualquier familia (G1,)peA d e conjuntos abiertos
p(zl, z2) _ lz2- zd G1, C C (resp. G1, C C) y Ia interseccion de cualquier
1 + R2 ~ p(zi, z2) = 'vh + izd2JI + iz2j2 ~ p(zl, z2). (2) familia finita de estos son conjuntos abiertos (v. teorema 2,
p.3.3, cap. 1);
Asi pues, en el caso considerado las me tricas p y p son equiva- 2) el conjunto vacfo 0 y el conjunto C (resp. C) son abiertos.
lentes.
Se denomina topologia de 1111 espncio metrico (X, p) a una Segun Ia definicion 3,- p. 3.5, cap. 1, se dice que z0 E C
familia de conjuntos abiertos d e este espacio (v. p. 6.6, cap. 1). (resp. z0 E C) es un punta ndlzerente al conjunto A C C {resp .
L
A C C) si todo 6-entorno suyo 06(xo) tiene una interseccion no Definicion 1. Se dice que un conjunto .a bierto G C C (resp. G c C)
vacia con A. Un punto zo E C (resp. _zo E C) se denomina punfo es canexa si cualquier par de puntos suyos se puede unir mediante una
limite del conjunto A C C (resp. A C C) si este es un punto quebrada que pertenece completamente al conjunto.
adherente del conjunto A\ {zo}. De Ia d"efinicion de pun to limite
del conjunto A se deduce que todo 6-entorno del punto limite
contiene un conjunto infinito de puntos de A (v. teorema 4, p. 3.5, Definicion 2. Un conjunto cerrado F C C se denomina canexa si no
cap.1). A partir de las desigualdades (2) se deduce que si z i= oo puede ser dividido en dos partes de forma tal que Ia distancia entre elias
es un punto limite del conjunto A en el espacio topologico (C, r), sea positiva.
entonces este punto tiene Ia misma propiedad en el espacio (C, r )
y viceversa. Por tanto, al definir puntos limites finites se puede Notese que Ia definicion de conjunto conexo se diferencia
utilizar tanto Ia metrica euclidea como Ia esferica; en este sentido sustancialmente para los conjuntos abiertos y cerrados.
las metricas p y p son equivalentes.
Es evidente que un conjunto finito A C C no tiene puntos
Definicion 3. Un conjunto abierto conexo se denomina region.
limites.
2.2. Conjuntos cerrados, segmentos y lineas Definicion 4. La adherencia de una region se denomina region cerrada.
quebradas. Conj1!-ntos conexos
Segun Ia definicion 1, p. 3.5, cap. 1, un conjunto F c C (F c C)
2.3. Sucesi6n de numeros complejos y su limite
se denomina cerrado, si su complemento CF es abierto. Todo Se denom.ina sucesi6n (zn) de puntas del espacio nu!trica (C, p)
conjunto cerrado F contiene todos sus puntos ad herentes. El una aplicacion N ~ C (vease la defmici6n general de sucesion de
conjunto de todos los puntos adherentes del conjun to A c C puntos, p. 1.7, cap.1).
(resp. A C C) se denomina su adllere11Cia (clausum, cierre) y se Analicemos ahora algunos aspectos de la teorfa de las
denota mediante A (v. def. 2,-p. 3.5, cap.1). Segun Ia definicion 5, sucesiones de puntos de un espacio metrico (v. sec. 3, cap. 1) en
p. 3.5, cap. 1, un punto z E C (resp. z E C) se denom.ina punta relaci6n con las sucesiones de numeros complejos.
D
frontera del conjunto A C C (resp. A C C) si este es un punto
adherente tanto a A , como a CA. El conjunto 8A de todos los Definicion 1. Un punto z E C se denomina limite de una sucesi611 (zn)
puntas frontera del conjunto A se denomina su Jrantera. Este (y se escribe z = lim Z,1 , o bien Zn --+ z) si
conjunto es cerrado y puede ser vado. n-oo
7 J .... 36
del p. 3.2, cap. 1, I<! union O,(z) U Z de dos conjuntos acotados es De esle modo, Ia convergencia d e una sucesion (z,. )
un conjunto acotado. Por consiguiente, toda sucesion convergente d e numeros complejos es equivalente a Ia convergencia d e las
es acotada (3 M E IR: 'V n E N lz, I ::;; M). Para d enotar las sucesiones de numeros reales (Re z,. ) y (Im z,1 ) . Este hecho permite
sucesiones acotadas (z11 ) de nu m~ros complejos utiliza rcmos cl aplicar toda Ia teoria de los limites de sucesiones de numeros
simbolo de Landau z, = 0(1). reales a las sucesiones de nCuneros complejos. En particular,
de Ia acotaci6n d e las sucesiones (Re z,.) e (1m z,. ) se deduce
inmediatamente que Ia sucesion (z,) tambien es acotada.
Definicion 2. Se dice que una sucesion (z,.) tiene lfmite oo (y se escribe
Ahara, para las sucesiones de numeros complejos formu-
lim z,. = oo, o bien z, -+ oo) si
n-oo laremos algunos teoremas ancilogos a los de las sucesiones de
('V c > 0) (3 n, E N) ('V n ~ n, ): p(z,., oo) <c. (2) numeros reales.
De Ia definicion 2 se deduce que a partir de cierto nt'imero Teorema 2. Sean (z,.) y ((,.) dos sucesiones convergentes de mimeros
n, E N todos los tl~rminos de Ia sucesion (z,) satisfacen Ia d esi- complejos. Entonces Sll sumn (z,. + (,), su producto (z,. ( 11 ) y Sll cociente
gualdad lz,. I > VIc~ -11 (v. p. 2.1), es d ecir, se encuentran fuera ( z,
(,.
) (si 1:/ n E N (,1 =/= 01\ lim (,. =/= 0) tnmbi!n SOil sucesiones convergentes
n -oo
d el circulo de radio R1 =
-
c
Jl 1
c2
-11. La condici6n lim z,. = oo
11-+00
y posee11 Ins propiedndes siguienles:
lim (z,.
n-oo
+ (,.) = lim z,.
n-oo
+ nlim
-+oo
z
(,,
lim z,.
es equivalente a que lim lz,l
n-oo
= +oo. lim (z,.(,.) = lim z,. lim (,1 , lim~ =~
n-oo n-oo n-+oo n-+oo (,. lim ( 11
Notese que para el numero complejo convencional oo 11-+00
no se d efinen los conceptos d e parte real, parte imag inaria y
argumento.
conforme al teorema 1, p. 3.1, cap. 1, una succsion (z, ) Teorema 3 (criteria de Cauchy). Una sucesi6n (z,) converge si, y solo si,
convergente en el espacio metrico (<C, p) tiene un solo lfmite. ella es fundamental, es decir,
(1:/ c > 0) (3 n, E N) (1:/ (n ~ n,, p E N)):
(3)
Teorema 1. (z,1 -> z) :} (Re z,. -> Re z) 1\ (Im z,. -> Im z). p(zn+pt z,.) = lzn+p - Zn I < c
(v. def. 3, p. 3.1, cap. 1).
~ Demostraci6n. Necesidad. Sea z, -> z. Entonces p(z,., z )
lz,. - z l -+ 0 y d e las d esig ualdad es
Dado que el espacio metrico (JR, p), con p(x, y) = lx - yl
IRe z,. - Re z l ::;; lzn - zl, lim z,. - Im z l ::;; lz,. - z l, 'V (x E IR, y E JR), es complete, entonces tambien es complete
que se verifican 1:/ n E N, se d educen las propiedades requeridas cl espacio metrico (<C, p), d onde p(z1, z2 ) = lz2 - zd 'V (z 1 E <C,
z2 E C) (v. teorema 1).
Re z,.-+ Rez, lm z,.-+ Im z .
Suficiencia. Sea Re z,. -> Re z, Im z,. -> Im z. Entonces
lz,1 - z l2 = (Re z,. - Re z )2 + (lm z,. - Im z f -+ 0 cuando n-+ oo, Teorema 4. Sean (z11 ) una sucesi6n convergenfe y z = n-+oo
lim z,. Entonces toda
es d ecir, z,. --+ z. ~ subsucesi6n suya (z,.t) tambi!11 converge, verificandose que lim z11 t = z.
k-+oo
Teorema 5 (de Bolzano-Weierstrass). Torio conjrlllto ncotnrio infinito Definicion 1. Sea K C C. Se dice que e l conjunto K es secue11cinlme11te
Z C C tiene nl menos 1111 punta limite en C. compacta (o q ue cs un compacta) si de toda sucesi6n (z11 ) de puntos
E K se puede cxtraer una s ubsucesi6n (z,,) convergente a un punto
Z 11
Zo E K (v. def. 1, sec. 4, cap.1).
~ Demostracion. Sea (z,) una s ucesio n arbitraria de puntos del
conjunto Z. Como Z es acotado, (z,) tambien es acotada, luego
las sucesio nes (Re z,) y (Im z,) son acotadas. Segun el teore ma
Teorema 1 (de acotaci6n de un compacto). Torio compacta K C C es 1111
de Bolza no-Weie rstrass para las s ucesiones d e numeros reales,
co11jwrto ncotnrlo.
a partir de Ia s ucesi6n (Re z,) se puede extriler una subsucesi6n
convergente (Re z,k) . Sea lim Re z"k = x, x E lit La subsucesi6n
1.:-oo ~ Demostracion. Supongamos lo contrario, es d eci r, que e l com-
(Im z,k) es acotada y, por tanto, de ella se puede extraer una pacto K no es acotado. Ento nces cxiste una sucesi6n (z,) tal que
subsucesi6n convergente (Im z,k ). Sea lim Im z,,. = y , y E lit lz,l > n y V n E N z, E [(. Vemos, pues, que de (z,) nose puede
.. rll -00 ..
En virtud del teorema 4, Re z,,m -+ x cuando m -+ oo. Conside- extraer ning una s ubsucesi6n acotada, y menos aun convergente.
remos una subsucesi6n (z,k..) de Ia sucesi6n (z,). Aplicando el De este modo, hemos llegado a una contradicci6n y, por tanto, el
compacto K es acotado. ..,..
teorema 1 ob tc nemos que lim z,t = z = x + iy, z E C. Segun
m-oo m
Ia definicion 4, p . 3.5, cap. 1, vemos que z es un punto Hmite del De acuerdo con el teorema de Hausdorff, el compacta
conjunto Z. ..,.. K C C es totalmente acotado en el espacio metrico (C, p), es
decir, V t > 0 para este compacta ex.iste una t -red finita en C.
Dado que el espacio metrico (C, p) es completo, entonces, segun
el teorema de Frechet, todo conjunto totalmente acotado en este
D efinicion 3. Un punto z E C (resp. z E C) se denomina limite pnrdnl
espacio es compacto.
(punta limite) de Ia sucesi6n (z11 ) si de csta sucesi6n se puede extraer unil
Hay que sefia lar que no todo conjunto acotado Z c C
s ubsucesi6n (z,k) cuyo Limite es ig ual il z.
es compacto. Por ejemplo, el conjunto Z = {z E C: lzl < 1}
es acotado, pero no es secuencialmente compacto, pues toda
Del teorema 4 se deduce e l corolario sig uiente: si Ia
sucesi6n (z11 ) converge y z E C es su limite parcial, entonces
lim z, = z.
subsl!.cesi6n de Ia s~cesi6n (z. = _n_)
n+l
de sus puntos converge
n-oo a 1 Z. Ana logamente, un conjunto Z C C que tiene un punto
Sefialemos que se deben distinguir los puntos Hmites limite z0 Z no es compacta.
d e conjuntos d e los puntos limites de s ucesiones. Por ejemplo,
Ia sucesi6n (z,.), donde z, = (- 1)", tiene dos puntos If mites:
z 1 = -1 y z 2 = 1, rnientras que cl conjunto finito {-1 , 1} no Teorema 2 (criterio de compacidad secuencial). U11 conjrmto Z c C es
tiene p unto lfmite a lg uno. compacta si, y solo si, es cerrado y ncotado n Ia vez.
de las propiedades d e dos funciones numericas u y v de dos caso Ia funcion cp d efinida como sigue
variables indep endie ntes x e y.
Sea f una aplicacion d e una region G C C en cierta region cp(z ) = { f(z), si z EDJ \ {Zo},
D C C. Si f es biyectiva, o sea a, si z = z0,
I
G +---+ D, es continua en el punto Zo
A veces se dice que "una funci6n f es continua en el Si fJ =/= 0, e111onces
pun to zo E D 1 si su incremento en este pun to es un infinitesimo
siempre que sea un infinitesimo el incremento de su argumento".
En esta formulaci6n, po r incremento infinitesimo del arg umento
lim
z-zo
()g (z) = {3~-
se enticnde una sucesi6n infinitesima (~z,.) = (z,. - z0 ), z0 E D1,
z,. E D 1 'V n E N, mien tras que por incremento de Ia funci6n j
se entiendc Ia sucesi6n ~ Demostracion. Sea (z,.) una sucesion de numeros complejos tal
(~f(zo, ~z,.)) = (J(zo + ~z,.) - / (zo)) = (J(z f (Zo)). que z,. _... Zo 1\ z, E D 1 n D 9 \ {z0 }. Entonces, en virtud de los
11 ) -
teoremas sabre los limites de las sucesiones, tenemos
lim (f(z,.) g(z 11 ))
n-oo
= a{3,
2.6. Operaciones aritmeticas con limites
y funciones continuas lim (f g) (z,,)
n-.oo
= af3,
Definicion 1. Un conjunto 'Y C C ('Y C ~ ) se denomina curua continua Definicion 3. E1 conjunto 'Yor de todas las parametrizaciones equivalentes
si existe una aplicaci6n continua [a, b] ~ 'Y La aplicaci6n cp recibe el de una curva suave simple 'Y se denomina orientaci6n de Ia curua. El par
nombre de parametrizaci6n de fa curua -f?bre ordenado r = ('Y 'Yor) se llama Cfl YUQ suave orientada r.
I
Gurvas. continuas
Es evidente que Ia orientacion d e una curva suave sim ple El exterior d e una circunferencia y los a nillos circula res no
se determina unfvocamente al indica r su punto inicial. Pa ra son s imple mente conexos respecto al plano C, ya que para estas
d e terminar Ia orientacion d e una curva suave s imple 1 de regiones se puede indicar una circunferencia p erteneciente a dicha
parametrizacion cp se debe elegir uno de los dos sentidos posibles region pero c uyo interior no pertenece totalmente a Ia region.
. cp'~)
Con elfi n de examinar poste riormente las transformaciones
del versor r(M) = lcp'(t)l d e Ia tangente, donde M = cp(t) E I conformes generalizaremos Ia definicion de region sirnplemente
Todas las parametrizaciones cp ft. lor son eq uivalentes conexa.
entre sf. Su conjunto se denomina orienlncion contrnrin ~~
Denominaremos Ia curva orientada r- = (I, 1~) conlrnriamente Definicion 5. Una region G C C se d enomina simplemenfe conexa respec-
orientada resp ecto a r = (1, lor)-
to al plano complejo ampliado si para cualquie r curva cerrada de Jordan 1
Entre todas las parame trizaciones cp de una cu rva suave
perteneciente a G , el interior d e 1 (o el exterior de 1) tambie n pertenece
orientada r = (I, l or) existe una parametrizacion cp E lor tal
a G.
que lcp'(t)l = 1, V t E [a, b). Para esta parametrizacion tencmos
b
D "' = [0, l), donde l = J lcp'(t)l dt es Ia longitud de Ia curva I Las regiones que no son simplemente conexas se deno-
minan mtiltiplemente conexas. Por eje mplo, el exte rior de una
a
Esta parame trizacion se d enomina natural (nonnal). La parame- circunferencia, al cual pertenece el punto d el infinito d el plano
trization na tural cp se puede obtener como una composicion complejo ampliado C, es simplemente conexo respecto al pla-
'1/J o 1], donde '1/J E lou Dy, = [a, b), 1]: [0, l) -;[a, b) y V t E [a, b) no C, pero no lo es resp ecto al plano C. Un anillo circular no es
t
1]-
1
(t) = j 1'1/J' (r)l dr.
simplemente conexo ni respecto at plano C, ni respecto a! plano C.
Toda curva continua 1 es un conjunto cerrado y acotado.
a En efecto, dado que su parame trizacion cp es una funci6n continua
d efinida en un compacto [a, b), entonces, segun el teorema 1, p. 2.8,
el conjunto E"' = 1 es secuencialmcnte compacto, es decir, es
Teorema 1 (de Jordan). Toda curun cerradn simple 1 divide el plano C cerrado y acotado.
en dos regiones distintns G 1 y G2, siendo 1 su fronf ern comtin. La region
interior limitadn par 1, conocidn como interior de 1, es ncotadn, mienfrns
que In otrn region, denominnda exterior de 1, conliene el punto del inftnito Definicion 6. Un conjunto ordenado r = (r,, r2, ... r,,) de curvas suaves
I
El ir}terior de una circunferencia es un ejemplo de reg ion Teorema (de continuidad de las aplicaciones biyectivas). Sea G ~ D una
simplemente conexa. funci6n continua en sentido general, deftnida en Ia region G C C. Entonces
el conjunlo D lnmbien es unn region yIn f uncion 1- 1 es conlimw en sentido Diremos que una regton G es compacta, y escribiremos
gen~rnl en D . Si, ndenuis, In frmcion 1 estn definidn en In frontcrn {)G y es G C, si existe un circulo K n = {z E C: lzl < R < +oo} que
continua en sentido general en In ndlzerencin G, enlonces f trn nsfonnn {)G contiene Ia region G.
en {)D-, es decir, In frontern de In imagen de In region G coi11cidc con In Un conjunto E pe1tenece de modo compnclo a Ia region G,
imagen de In f rontera de In mismn regio11. y se escribe E G, si su ad herencia E pertenece a G, es decir,
E G :> E c G.
Generalicemos el concepto de curva continua.
Fijemos una topologla r del plano complejo ampliado C.
Sea [a, b] ~ C una funcion continua en sentido gene- Sea M C C un subconjunto conexo y sea 0 , un entorno de un
ra l, con Ia particularidad de que el segmento [a, b] puede ser
punto z E M en el espacio topologico (C, r).
infinito en uno o en ambos lados. La funcion tp se denomi-
na parnmetrizacion de Ia curon continua e11 sentido general 'Y
en el plano complejo ampliado. Si V t E [a, b] tp(t ) :p oo, en- Definicion 7. Se denomina enlomo del punto z en el conjunto M al
tonces Ia curva generalizada no pasa por el punto del infi- conjunto 0~ = 0 , n M .
nite. Los conceptos de curva cerrada, curva de Jordan, pun-
to multiple y punto inicial y final de una curva, se gene- El conjunto de todos los entornos 0~ V z E M se deno-
ralizan facilmente al caso de una curva continua en sentido minara topologia definida par entomos r' de l conjunto M . Mas
general. adelante resultara t'ttil Ia afi rmacion sig uiente.
Si un conjunto es cerrado y conexo, entonces se d ice
que es un continuo. Un continuo que no tiene puntos interiores
Teorema. Sean M C C 1111 conjtmfo conexo y A C M un subconjunto no
se denomina conjunto lineal o curon de Ca11tor; por ejemplo,
vado. Si A es abierlo y cerrado n Ia vez en In lopologin r', enfonces M = A.
un segmento o una circunferencia. Este es otro enfoguc de
Ia definicion de curva en el plano. Analogamente, existe otra
.,.. Demostraci6n. Apliquemos el metodo de red ucci6n al absurdo.
manera de definir una region simplemente conexa.
Sea M un conjunto no conexo y A un subconjunto conexo Sea A' = M \ A :P 0. Consideremos Ia ad herencia A en Ia
- suyo. Se dice que A es un subconjwzlo maximal si no existe otro topologla r. Es evidente que A esta compuesta de los puntos de
s ubconjunto conexo B C M tal que A C B . su adherencia Ar en Ia topologla r' y cierto conjunto que no
Los subconjuntos maximales de M se denominan sus pertenece a M. Por eso
componentes conexas. En Ia teorfa de conjuntos se demuestra que =
An A' Ar n A'.
Dado que A es cerrado en Ia topologla r , entonces Ar = A . De
I -
todo conjunto es Ia union de un numero finito o infinito de sus
componentes conexas. esta manera,
Una region G C C se denomina simplemente conexa si su An A' = A n A' = 0.
frontera 8G es un conjunto conexo. Dado que {)G es un conjunto Si A es un conjunto abierto en Ia topologla r', entonces su
cerrado y sin puntos interiores, entonces Ia frontera de una region complemento A' es cerrado en esa rnisma topologfa (los puntos
simplemente conexa es un continuo. Lfrnites del conjunto A' no pueden pertenecer a A debido a q ue A
Si Ia frontera de una region no es un conjunto conexo, se es abierto, luego estos puntos pertenecen a A'). Por eso, a la
dice que Ia region 110 es simplemenle conexa. Si el numero n de intersecci6n A' n A se pueden aplicar los mismos razonarnientos
componentes conexas de 8G es finito, se dice q ue Ia region G es aplicados a\ caso A n A', de lo que se deduce que A' n A = 0.
n -conexa. En caso de que el numero de estas componentes sea De este modo obtenemos que
infinito, Ia region G se denomina infinitamenle conexa.
M = AU~ A n ~ =~ N n A =~ A :P~ ~ :p~
83... 36
lo que contrad ice e l caracter conexo del conjunto AI[. Asf pues, Ia ~ Soluci6n. Consideremos Ia sucesi6n (z11 ), donde z 11 = - 1 +
suposici6n de que M f: A es falsa. .. 1
( - -t- . Esta suces10n
~ - conve rge y I'tm Z 11 = - 1. Dad o que z 2k =
n2 11 -00
i i 1
IIJ Problem as res ue ltos .
-1+-2 y z2k-! -1-
4k
= (2k -1) 2 , entonces a rgz2k 1r- arctg - 2
4k
=
1
y arg z2~;_ 1 = -1r + arctg
(2k - 1)2
. Como lim arg z2k
k-oo
1r y
=
48. - ~-;j''' lim a rg z2,._ 1 = - 1r, e ntonces Ia sucesi6n (a rg z,.) tiene dos
n~00, .~~ton2es ( 1 +
11 k -oo
1) Si Zn __.. 0 cuando Zn ) -t 'l; pu ntos lfmites, luego d iverge.
=0
l,cuandoi~~~~;.{ntoni!~{l+ ~ )"
N6tese que en el caso en que lim Z 11 Ia sucesi6n
n-oo
2) si ,, -i (arg z,.) tambien puede divergir. Por ejemplo, sea
---'"'-----.......i-__..~';..:.;~=-,~- "l
7r
si n = 2k,
~ ~ )
11
(1+ ~ )
11
= 1+ t C~
k=l
:: , e ntonces
Entonces
{
8'
si n = 2k - 1.
~)
11
11
s
Curvas co
lim _k_
=_I - - -- lim Pu+IP(Zu +l' z) = O. 52.
n-oo " n-oo Pn +l
L:::Pk
k=l ..,. Soluci6n. Haciendo Zn = Xn + iyn = T 11 (cos tp 11 + i sen IPn ), obte-
Por consiguiente, p(Z11 , z) = o(1}, es decir, lim Zn = z. ~ nemos
n-oo
lz,.l = r,. = 11 +;a I
11
=
( (
1 +;
0)2+ ({J)2
;
)n/2
51. Hallar el limite de Ia sucesi6n (Zn) , donde 20 0 2 + {32 ) n/2
= ( 1 +-+ 2 I
n n
1
..,. Soluci6n. Demostremos que Ia sucesi6n (z,. ) es fundamental. puesto que para valores g randes de n el punta z,. se encuentra
en el semiplano derecho Z = {z E C: Rc z > 0}. Cuando n-+ oo
Sean c > 0, n E N, p EN. Tenemos:
n+p { /I ~ I::: :,
n+p k 2a a 2 + {32 2a
lzn+p- z,.l =
I
I:::
k=n+ l
7r:!
(v. p. 2.3), es decir, 3 C > 0: V n E N lw,.l ::;; C. Sea M = Como lwl E IR y Ia serie 2::::: qk converge, entonces Ia suma
max{lzol, C}. Demostremos que Vn EN 1:=0
M 00
/
Iz .. I ;:::,-1
1 - -q1"
{1) de su resto 1P 2::: qk -+ 0 a medida que crece p. Por
Estimemos z 1. A partir de las condiciones de partida obtenemos k=p+l
00
=
z , w , + qzo, lzd ::;; lwd + lqll zo l ::;; C + lqll zol::;; M(1 + lql).
Supongamos que para k E N (k > 1) se verifica Ia desigualdad
consiguiente, w L l = o(1). Cualquiera que sea p E N fijo,
k=p+l
lzd ::;; M(l + lql + ... + lqlk) . {2) Ve >03 nc E N: V n ~ nc es valida Ia estimaci6n
Entonces,
lz~:+d ::;; lwd + lqllz~:l::;; M + lqiM(l + lql + ... + lqlk) =
p
f;(wn -k- w)q
k I ::;; f; lwu-k- wllql
p k p
< e ~ lql <
k
= I::(wn-1:- w) l 2::::: l.
1
+ qP+ Zn-p-1 - W (5)
k=O k=p+l
..,. Soluci6n. 1) Dado que
rr(1 + :. )
u n
2
jz,. j = ZnZ, = = II ak +d = II ak+ J = an+I,
k= l k k= J ak k= J ak al
i-;-)
11
lffl #. n - 1
lzn+l - z,.l - lz I t - - - -
f- -
- " a,t+J - {f-"
a1+l {
an+I .Jd
- Val -- -
a, . lz .. l = ( 1 + ( 2 )
n2 ) n/2
, arg z, = n arctg -
n
--.
n - 12 n 2 -1
2) De las condiciones de partida se d educe que
Ya que
cp, = arg IT
k= l
(1 + i ' : : ) =
v~ limlznl=exp {n-limoo n-1) n}= 1,
2
-
n
arctg n2- 1 "' n2 -1 '
n
n-oo (n2 2 2
= targ (1 +i
k=J
fd)
v~
= t
k=J
arctg
v/d,~ lim narctg -
n-oo
n
- = lim - -=1,
n 2 -1 n-oo n 2 -1
n2
de donde resulta inmediatamente Ia igualdad entonces Jim Zn = cos 1 + i sen 1 = ei. .,..
u-oo
=~ ~,.;;:; -1) =
~ ( \1r:;-;t
n-oo
tiene limite para cp i= 0; si cp = 0 e ntonces lim ncp = 0. En el
n--+oo
u ltimo a = 1, = 1, n-oo
lim = 1.
1#.
CaSO Z 11 Zn
1#.
2an+l an+l 2 a1 '
valores del parametro a considerados anteriormente .
. Tn+J-Tn
Si lal < 1, entonces lim a" = 0, lim (1 + a") = 1,
n-+oo n-oo
lim =-
n-oo cpn+l - cpn 2
-
a!.
.... a"
lim - - = 0, es decir, lim (,. = 0.
n-oo 1 + a" n-oo
Sea lal > 1. En este caso lim a" = oo y lim -1 = 0.
n-oo n-oo an Dado que lzl ~ 1 y z "/: 1, Ia sucesi6n (
zll+2- z) es
Escribiendo el tthmino general de Ia sucesi6n {(,) en Ia forma {1- z) 2 .
z"+2 - z
1 1 1 acotada y lim = 0. Por consiguiente, Ia sucesi6n
(,. = 1 - 1 + a" = 1 - all . 1+ 1 , n-co (1 - z)2 (1 + n)
((,.) converge y
a" 1
ha Uamos que lim (, = 1. lim(,.=--. ..,..
n-oo n-co 1- Z
Supongamos ahora que Ia I = 1 y V n E N a" -:j: - 1.
Entonces a = e;"', tp = arg a, a" = e;"V' y cos ntp -:j: - 1. Para los
va lores ind icados de a tenemos
e;"V' ei""'(1 + e - i""') e;""' + 1
(,. = 1 + ei 11 V' = (1 + ei""') (1 + e- inv>) = 2(1 +.cos ntp) =
2 ntp ntp ntp)
2 ( cos 2+isen
2
cos . ntp
2 1
n~p = - + 1 tg - .
4cos 2 - 2 2
2
1
a = 1. En este caso lim ( 11 = - . Por consiguiente, Ia sucesi6n
it~II 1 ( k)
an=n L..-J- -
it _ it Inn ~
-e
11 1( '
L..-J - -
k) jt
n-oo 2 k= l
n n k= l
n n
( (11 ) converge si lal < 1, lal > 1 y a= 1. ..,..
1
se deduce que todos los puntos lfmites de Ia sucesi6n (eit "")
pertenecen a Ia circunferencia unidad con centro en el origen de
coordenadas, y
lim
n-co
" 1 (k) it
.f; n n 1
- - =
1
~
x' dx= - -
1 + it
xl+it I' =~
1
1 +it
0
0
0 X
Fig.25
0 X ia 1----:----.-----.----
Fig.26 ia ia ia
y = a(1 - ~ cost).
Esta curva es Ia trayectoria que describe
Fig.27
un punto M que se encuentra a una distancia d del centro 2) El_extremo del vector z = b(cos t + i sent) con punto
de una circunferencia que rueda sin resbalar por una recta. r>
de aplicaci6n en z = 0 describe una circunferencia de radio b
Si d > a, Ia curva se denomina cicloide alargada (fig. 25) y recorrida en_sentido positivo. El vector z = b(cos t - i sent) es Ia
si d < a, cicloide acortada (fig. 26). A veces dichas curvas se imagen simetrica del vector z respecto al eje real; por tanto, el
denominan trocoides. Las ecuaciones parametricas de Ia trocoide punto z' = -iz, obtenido al girar el vector zen un angulo igual
tienen Ia forma x = =
at - d sent, y a- d cost, donde d es Ia 7r
a --, recorre dicha circunferencia en el sentido de las agujas del
distancia del punto M hasta el centro de Ia circunferencia que 2
rueda ._ reloj. ._
9 l>. ~
2) haUar.Jas preunagenes,de :las lmeas ~ = .c y v =;= c
(w =ti+iv) .eneTplari~z . . . .. . . , .a )
.,. So l uc1on. s1 Z = x,. + ty,.,
11
. entonces f( Zn ) Z~ = Zn -=-,
= -=- Z 11
Zn Zn
2
v v -tYn n-oo
b) u = x - C , v = 2Cx =>X =-=> u = - 2 - C 2
2 2
2C 4C De este modo, en el punto z =
0 el conjunto E 1 (0) de Hrnites
si C -:/= 0 . Toda linea recta y = C (C -:/= 0) se transforma en una parciales de la funci6n f contiene mas de un elemento, luego
parabola en el plano w. Si C = 0, e ntonces u = x 2 , v = 0 . f no tiene lfrnite e n ese punto. IJooo
El conjunto 1' = {(u, v) E <C: u ~ 0, v = 0} es el sernieje
positivo. En los casos a) y b) Ia aplicaci6n es biunfvoca, si
c-:/= 0.
c) y = x => u = 0, v = 2x 2 . El conjunto 1' = {(u, v) E <C:
u = 0, v ~ 0} es el sernieje p ositivo. La aplicaci6n, evidentemente,
no es biunivoca, pues to que tanto Ia semirrecta que pertenece al
primer cuadrante como Ia d el tercer cuad rante tienen una misma
imagen.
d) Si lzl = R , entonces z = R eirp, cp E Arg z, z 2 = R 2e2i'P,
lwl = R 2 La circunferencia d e radio R y centro en el pun to z = 0
se transforma en la circunferencia de radio R 2 y centro en el
punto w = 0. La aplicaci6n no es biunfvoca.
e) La imagen d e la semirrecta arg z = a es Ia semirrecta .,. Soluci6n. Sea Zn = ( ~, 0) y z~ = ( 0,~) . Para valores de
t>
arg w = 2a. La aplicaci6n es biunfvoca. n .f N suficientemente grandes los terminos de las sucesiones
2) Sea u =C. Entonces para C-:/= 0 obtenemos Ia ecuaci6n (zn) y (z~) pe rtenecen al conjunto 05(0) y lim Zn = lim z;, = 0.
n-...oo n-oo
de Ia hiperbola x 2 - y 2 = C . Si C = 0, tenemos un par de rectas
A partir de las igualdades f 1(zn ) = 1 y !1(z~) = 0, h(zn) = 1
y = =
x. Si v C, entonces 2xy =C. Para C =I= 0 obte nemos la y h(z~) = i, !J(zn) = 1 y !J(z;,) = - 1 se deduce que las
c
ecuaci6n de Ia hiperbola y = - , y para C = 0, el par d e rectas funciones fi (j = 1, 2,3} no tienen limite en el punto z = 0
2x
x = 0 e y = 0. IJooo
y, por tanto, no pueden prolongarse en el conjunto 0 6(0) d e
modo que las funciones obtenidas sean continuas en z = 0.
Consideremos Ia funci6n j 4. Sea (z 11 ) = (xn + iyn) una sucesi6n
de puntos del conjunto 06(0), z11 -+ 01\ V n E N z,. =I= 0. Entonces
Xn -+ 0 e Yn -+ 0 cuando n -+ oo. Dado que lf4(zn}l = lx,.l -+ 0
cuando n -+ oo, entonces lim f 4 (zn) = 0. Por consiguiente, la
n-oo
t.
funci6n 06(0}.!. C, donde La funci6n h tampoco es uniformemente con tinua en el conjunto
Dh. ..,..
<p(z) = { j 4(z ), si z E 0 6(0) \ {0},
0, si z = 0,
es continua en el punta z = 0.
e-ZlI = e- (z
~~ 2
+Y) e<z + y) .
~ Demostraci6n. Segun Ia formula (1) tenemos
Sea Z 111 = 1 ") ,1/
0, r.--
(
vln n
Z 11 = ( 0, vln2n
~ 1) . En cste caso, 'Vn EN .
hm
f( z) - f( zo) .
= Dthm ,
!p(z) = I{J(Zo) = f (zo). ll>-
I
Z 11 E D f 1 Z 11II E D J 1
D(:Jz-Zo Z - Zo 3t-Zo
p ( Z 111 , Z 11
")
= J -1- - -1- -+ 0 cuando n -+ oo,
Inn ln 2n
Consideremos, por ejemplo, f(z) =-
z
- , z E C\ {-i, i}.
1+z2
p (! (z~), f (z~)) 1
= e " 2n -
1
e"n = 2n - n = n -+ +oo. Calculemos /'(zo), zoE D, . Dado que
z zo 1- zzo
Por consiguiente, Ia funcion f no es uniformemente continua. ll>-
l +z 2 -1+z5 =(z-zo)(l+z5) (1 + z 2 )'
1 - zzo 1 - z5
I{J(z) = (1 + z5) (1 + z 2)' IP(ZO) = (1 + z5) 2 ' D
(f -1)'(wo) = f'(zo).
1 (11)
:o~ola:o (de Ia. deriv~da del producto). S i das funcianes f : C ~ C
r
~ C . ~ ;n diferenctnbfes en 111'1 punta Zo, dande Zo es un punta limite
e con;un o I _n Dg, entonces Ia funci6n f g es diferenciable en esle punta ..,.. Demostraci6n. De Ia definicion de diferenciabilidad de una
Y se cumple La fannula fu ncion f en un punto z0 , se deduce que existe una funcion cp
(!g)' (zo) = J'(zo) g(zo) + g'(Zo) f(zo). continua en Zo tal que D, = D1 y 't:/ z E D1
(9)
f (z) - f (Zo) = (z - zo) cp(z). (12)
..,.. Demostraci6n. La demostracion se deduce de Ia identidad Teniendo en cuenta (12) y que Ia aplicacion f es biunivoca,
f(z) g(z) = (f(z) - f( Zo))g(z) + f( zo) g(z ) 't:/ z E D n D obtenemos que cp(z) i= 0 para z i= zo y cp(zo) = f'(zo) i= 0;
I
haciendo w = f (z), tenemos
g
Y d e los teoremas 3 y 5. .,.
1
r 1
(w) - r 1
(wo) = (w- Wo) cp(/- 1(w)) (13)
Teor.ema 6 ~de Ia derivada del cociente). Sean f : C ~ C y g C ~ C das
funczones diferenciables en un punta zo, dande zo es un pu~ta limite del Dado que cpo f - 1 es continua en el punto w 0 , Ia funcion j-1
es diferenciable en wo por definicion. Si wo es un punto limite del
conjunto D 1 n D Si g( ) ...L 0 t 1 , f conjunto E1 = D 1-1 , por Ia definicion de derivada obtenemos
g Zo -r , en onces a funczon - es diferenciable en
el punta z0 y se cumple g
( J -1)' (wo) = cp(J-11(wo)) 1 1
= cp(zo) = J'(zo)
(!_)
.,.
'(zo) = J'(zo) g(zo)- g'(zo) f(zo)
g g2(zo ) . (10)
Observemos que si el conjunto D 1 es compacto y Ia
funcion f es continua, Ia continuidad de Ia funcion inversa se
..,.. ~emos~racion. Utilicemos la regia de diferenciacion del producto
deduce del teorema del p. 6.3, cap. 1.
e f';fficiones y el teorema de tla derivada de Ia composicion de
f unc1ones. Obtenemos En Ia teoria de funciones de variable compleja, las funcio-
Ja). Sea f : C -+ C, donde f(z ) = ~(x, y) + iv(x , y), una Junci6n definida {J -+ 0 cuando x -+ xo, y -+ Yo (4)
eu u!1 entomo del punto zo = xo + t yo. Para que Ia Junci6n f sea C- dife-
Multiplicando los dos miembros de Ia igualdad (4) por i y su-
renczable ~n el p~mto zo es necesario y suficiente que las Junciones u y v
mando Ia igualdad obtenida con (3), hallamos
seau lW -difer~ncwble~ en el punt~ (xo, Yo) y que sus derivadas pnrcinles en
este prmto esten relacronadns medrnnte las expresiones = =
D. f (Zo, b.z ) b.u(xo,.Yo) + i D.v(xo, Yo)
8u(x o, Yo) = 8v(xo, Yo) 8u(xo, Yo) av(x 0 , y0 ) = 2 2
A(b.x + i b.y) + B(i b.x- b.y) +(a + i{J) -JD.x + b.y . (5)
ax ay 8y ax (l)
Como b.x + i b-y_= b.z e i b.x - b-y = i b.z, entonces Ia igual Tomilndo en (10) t::.z = lt::.zle;o, obtenemos
dad (5) toma Ia forma
!::. f( zo, t::.z) = aj(zo) + 8/(~o) e-i20 + o(lt::.zl). (11)
b.J(zo, b.z) =(A + iB) b. z + o(lb.zi), (6) t::.z az az
f
t::.j
cs decir, Ia funcion es C-diferenciable en c l p unto Zo .,.. De Ia expresi6n (l l) se deduce que, cuando t::.z -.. 0, cl limite del cociente
t::.z
. . ' I . of(zo) 0
Cabe sei1ala r que las exp resiones (1) fucron estudiadas por extste Sl, y SO 0 Sl, aF = .
primera vez en el s iglo XVIII por D'Alembert y Euler, asf que scrfa
m as correcto d enominarlas condiciones d e Eu le r- D'Alembcrt-
Cauchy-Rie mann. 4.4. Funciones analiticas
Definicion 1. Una funcion w =
f( z) d efinida en una region G C C se
Nota. Hagamos varias observaciones respecto a este teorema. dcnomi.na J1mcio11 nnaliticn (holomorfa) en 1111n region s i es diferencia-
1. AI demostrar el teorema establccimos Ia relaci6n ent re Ia derivilda j'(z) bleV'zEG.
y las derivadas parciales de las partes real e imaginilria de Iii funci6n f en Ia
forma
OU .OV OU .OU OV
f (z)= - +z- = - - 1- = - - z- = -+ z-.
1 .OU OV .OU Definicion 2. Una funcion w =f( z) se d enomina mrnliticn en 1111 punta
ax ax ax oy oy ay ay ax z E C s i es ana litica en un entorno d e este punto.
2. Del curso de ilnalisis miltematico se sabe que para Ia R2 -diferenciilbilidi1d
de las funcioncs u y .v es suficiente que existan y seiln continuas las derivadas
au au av av Definicion 3. Una fu.ncion w =
f (z ) se denomina analiticn e11 una cwvn
parciales ax, oy, ax, ay en un entomo del pun to considerado. Por tanto, para
1 C C s i es analitica en una region que contiene dicha curva.
que Ia funci6n f = u + iv SCil d iferenciable en el punto z = (x, y) es suficiente
. . au(x, y) au(x, y) ov(x, y) av(x, y) .
que las denvadas parctales - - - , - - - , - - - , - - - extstan en un
0X oy OX oy Definicion 4. Una funcion w = j(z) se denomina analiticn e11 1111 conj1mto
entom o del punto (x, y), sean continuas en este punto y sa tisfagan lils condiciones
de Cauchy-Riemann. _ abicrto E C C s i es analitica en tod o punto z E E.
!._ y .!.... :
3. Definamos los operadores diferenciales
az az
Definicion 5. Una funcion w = f (z) se denomina nnnliticn en 1111 conj1mto
of ~ ! (a!_ ia1) = !(au+ av) + ~ (a v _au) arbitrario M C C s i es analitica en cierto conju.nto abierto E:) M.
az 2 ax ay 2 ax ay 2 ax ay ' (?)
a~ ~ ~ (a J + i aJ) = ~ (au _ av) + ~ ( av + au) . En particular, u.na funcion w = f(z) se denomina mmliticn
az 2 ax ay 2 ax ay 2 ax ay (B) en u11n region cerrada G s i es analftica en cierta region D 2> G.
En h~ rminos de esos operadores, las condiciones de Cauchy- Riemann se SenaJemos que el concepto de fu.ncion analitica se puede
pueden escribir como una sola igualdad extender tambh~n a regiones de C; para ello hay que definir el
of concepto de fu.ncion anaHtica en el pu.nto del infinito.
a-z = o. (9)
2
Si u y v son R -diferenciables en el punto (:r0, y0 ), entonces
Definicion 6. Una fu.ncion f definida en e l plano complejo ampliado C se
af(Zo) a f(zo) denomina nnaliticn en el infinito si Ia fu.ncion cp: z ..... f (l/ z) es analftica
!::. f( Zo, t::.z) = - - t::.z + -_- t::.z + o(lt::.zl). (10)
8z az en el punto z =0.
tO ll. J6
Enumeremos algunas propiedades de las funciones a nali- es distinto de cero en el punto ZQ, ya que V z E G lf'(z)l # 0.
ticas. Por ta nto, C<?nforme al teorema de Ia funcion implicita, en un
1) La suma, fa dlferencia, el produclo y cl cocierzle (si ef
entomo del punto Wo =
(UQ, Vo) existe Z 1
=r
(w). La existencia
1
denominador es difererzte de cero) de dos funcion es anafilicas y Ia continuidad de la derivada (/ - )' se demuestran siguiendo
son funciones analiticas. Por consiguiente, ef conjunlo {!} el mismos pasos del teorema 7, p . 4.1. IJil>
de funcion es arzaliticas en una region G fomw 1111 a11illo.
Denotemoslo mediante el sfmbolo A(G). 4) Dada fa parte real u de una funci6n f E A(G), su parte
2) La composici6n f og de dos Ju11ciones mwfiticas es una imaginaria v se puede determinar a excepci6n de una constante
funci6n analitica. aditiva.
Las propiedades 1) y 2) se d ed ucen a partir d e los teoremas
<111 Demostraci6n. Efectivamente, utilizando las condiciones de
de las funciones diferenciables an alizados en el p. 4.1.
Cauchy-Riemann vemos que la diferencial total de Ia fun-
Como ejemplo de una funcion analitica en toda region
cion incognita v se d eterrnina unfvocamente a partir de Ia fun-
G C C puede servir un p olinomio arbitrario P,.(z) =
aoz" +
cion u:
a 1z"- 1 + .. . + a,._ 1 z +a,.. La funcion racional
av av au au
Pn(z) aoz" + a1 z"- 1 + ... + an - 1Z +an dv = -ax dx + -ay dy = -- dx + - dy,
ay ax
f (z) =
Qm(z) =
bozm + b1 zm - 1 + ... + bm- IZ + bm
es analitica en toda region G que no contenga los ceros del lo que permite reconstruir la funcion v mediante Ia formula
d enominador. conocida
3) Si f E A(G) y V z E G 1/'(z)l # 0, enlonces en ef (:z:,y}
conjunto E 1 = / (G) estti definida fa fimci6n inversa
tambien es mzalitica. Si Wo = f (Zo), enlonces
r
u -l),(wo) =
1
, fa Cllaf
J';Zo).
v(x,y) = J
(:z:o.Yol
au({, TJ)
aTJ d{ +
au({, TJ)
a{ d1J +C.
~ =
Demostracion. Como la aplicacion w u + iv es invertible, las 5) Sea f E A(G), f = u + iv. Consideremos las li-
=
ecuaciones u u(x, y) y v = v(x, y) pueden resolverse respecto a neas de nivel u(x, y) =
C y v(x, y) = C de las funciones
:i; e y e n Ia region G. Dado que Ia funci6n f es a nalitica u y v. Suponiendo que el espacio ~ es e uclideo, calculemos
en G, entonces V z 0 = (xo, Yo) E G se verifican las condiciones de
Cauchy- Riemann (1) d e l p. 4.3, debido a las cuales el jacobia no (grad u, grad v} V z = (x, y) E G, donde grad u = ( ::, :; )
au(xo, Yo) au(xo, Yo)
D(u, v) ax ay y grad v = ( ax
av
av) . Teniendo en cuenta las condiciones de
ay
I
- - (xo,Yo)
D (x, y)
= av(xo, Yo) av(xo, Yo)
= Cauchy-Riemann, obtenemos
=(
ax
au(;: Yo) r ay
+ ( av(;: Yo)
2
r (grad u, grad v)
au av
= -ax -ax +-
au av au au
- = -- - + - - = 0.
ay ay ax ay ay ax
Dado que para toda funcion el vector g radiente siempre es
au au
= I au(xo, Yo) + i av(xo, Yo) 1 = If'(zo)l2 ortogonal a las lineas de nivel, las familias de curvas u(x, y) C =
ax ax y v(x, y) = C son ortogonales entre si.
10'
' i:unciones diferenciables de variable cQm
fr
Fr ds =
r
f F... dx + Fy dy = 0. (10)
de volver a Ia posicion inicial sin detenerse en ninglin instante,
Jo cual constituye una de las diferencias principales entre los
movirnientos por un plano y por una recta. A modo de ejemplo,
2. Ejemplo de electrostriticn. Consideremos un campo elec- consideremos Ia rotacion de un punto material alrededor de un
trostatico definido por un vector intensidad E. Se sabe que este centro fijo; este problema se describe matematicamente mediant~
campo es potencial, es decir, Ia funcion f: IR-> <C, donde f(x} = ei:z:, D 1 = [0, 27f]. En efecto,
E = -\lcp, (11) f(O) = f(27l"} 1\ J'(x) = iei:z: =/= 0 'r;fx E [0,27r]. Vemos pues, que
existen funciones f : IR-+ C para las cuales los teoremas de Rolle El extremo izquierdo de esta cadena de igualdades sugiere que su
y d e Lagrange no son va lidos. . extremo d erecho d ebe ser un nllmero real, luego v(b) - v(a) 0. =
Como hemos seiialado anteriormente, el teorema d e Dar- Segun el teorema de Lagra nge, para Ia funci6n u existe un punto
boux se basa en el hecho d e que para cambiar el sentido del mo- { E (a, b) tal que
vimiento d e un punto que se mueve por una recta, su velocidad lf(b)- f (a)l = u'(O (b- a) ~ lf'({)l(b- a) ~ llf'll(b - a). ~
tiene que anularse en alg tin instante. Por o tra parte, al moverse
por un plano, el punto ma terial puede cambiar el sentido d e su
movimie nto sin que se anule su velocidad. Como ejemplo puede
servir el movimie nto de un punto por una semicircunferencia; Ia
IJ Problemas resueltos.
posicion del punto se describe mediante Ia funcion f: IR -+ C,
donde j(x) = =
iei"', D 1 [0,1r] . Vemos que los vectores de ve-
locidad j'(O) y j'(1r) tienen sentidos op uestos; sin embargo, el
vector f'( x) es distinto de cero '</ x E [0, 1r] . Por consiguientc, el
teorema de Darboux no es aplicable a las funciones de IR en C. <1111 Soluci6n. Sea lzd < 1, lz21 < 1 y z1 =f. z2. Demostremos
La interpretacion ffsica de Ia d erivada sugiere Ia s iguien- que w(z.) =f. w(z2), es decir, lw(z.) - w(z2)l > 0. En efecto,
te modificacion d el teorema d e Lagrange para las funciones lw(z.)- w(z2)1 = lzi + 2z1 - 2z2- zi l = lz1 - z2 llz1 + Z2 + 21 ~
f : IR -+ C. Si un punto inicia su movirniento de Ia posi- lz1 - z2l (2 - lzl - lz21) > 0. ~
cion f(a) y el valor absoluto de su velocidad no supera el
numero v = 11!'11 = sup 1/'(x)l, entonces en el intervalo de tiem-
z e D1
po t = b - a dicho punto no puede salir fuera de los lirnites d e
Ia circunferencia 1 = { w E C: lw - f(a)l = v(b- a)} .
Hagamos e-i<p f(x ) = u(x) + iv(x) 'r/ x E [a, b] . Tenemos: w(z} li w(z)
. .
z = x -+ 0, entonces lim - - ~ - - no
= 0. Por consJgUiente,
z-o z z 0 z
lf(b) - f(a)l = (u(b) + iv(b)) - (u(a) + iv(a)) = existe y Ia funci6n w no es diferenciable en e l punto z = 0. ~
= u(b) - u(a) + i(v(b) - v(a)).
. 72~ B~mostrali que Ia funcion w = 3:} - 3xy2 +"i (3x2y -
1/-1) DID = Cl es ahalifica .
I
1~~0 1 ~: I = + ( !~)
2 2
( r ~r.
como b.z tiende a cero. Elig iendo b.z-= b.xl obtenemos au au+ av av = 0.
ax ay ax ay
lim b.w
t.z-o
Ib.z .I = ~ +( Si D.z = i b.yl en tonces Esta ultima ig ua ldad es posible solo en los dos casos siguientes:
2 2
lim - =b.w l
t.z--o l b.z
au) (av)
( ay + ay . Por consig uiente 1
l ) au _ av
ax - ay I
au = _ av . En este caso es diferenciable la
ay ax
funcion f pues satisface las condiciones d e Cauchy-
2 2 2 2 Riemann.
1
Por tanto, 'V zE D f (z) = 0, es decir, f(z) const en D . .,... que f noes diferenciable en el punto zo. Dado que en este punto
son diferenciable las funciones u y v' entonces
!:if(zo, l:lz) _ Au(xo, Yo)+ i l:lv(xo, Yo) =
/::iz - l:iz
_ 2_ ( au(x0 , y0 ) l:ix + au(xo, Yo) l:iy + o(IAzl)) +
- Az ax ay
Multipliquemos ahora (1) por -sen cp, (2) por cos cp y sumemos
los resultados obtenidos:
1 au av
; ocp = -or. (4)
au au ox au oy au au
- = - - + - - = - - r sencp+ - rcoscp.
ocp ax acp ay ocp ax ay
au au
Resolviendo este sistema respecto a - y - , hallamos
0x ay <Ill Solucion. Dado que f(z) = x2 + ixy = u + iv, entonces u = x 2 ,
au au au sen cp au av au av . .
- = -coscp - - - - , v - = 2x, - = x, - = 0, - = y . Por constgwente,
= xy '
ox or ocp r ox By By ox
au av au ov
au au au cos cp
- = -sencp+- - - .
- _ - {::} x = 0, - = -- {::} y = 0, es dectr,. las
ax oy 8y ax
By or ocp r condiciones de Cauchy-Riemann se cumplen s6lo en el punto
II J a. 36
z = 0. Por definicion p un t6 determinado. Como. Ia funcion u(x 1 y) = no es v1:tYf
, . l(z) . (x2 + ixy)(x - iy) x 2 + ixy d iferenciable en el punto (01 0)~ no cumple una de las condiciones
1 (0) = hm - = lun = :z:-0
lim - --=-
z-o Z :z:-0 X 2 + y2 X + iy del teorema mencionado. .,.. -
y-O y-O
2
. x 3
- ix y + ix 2y + xy2
= lun x2 + y2
= :z:-o
lim x = 0.
lim I m -
!J.w
= lim -D..v av
= -ax = 6y-O -~u au
lim - - = --
, = I(ezad +- d)be I= 1,
lw (z)i 2
6z- O D..z . 6:z-O D..x ~y ay I
es decir, de donde
au av
lad - bel = iez + dj 2, o bien z + ~1 = vlad- bel
ay =-ax"
l e lei . .
3) Sean u y v funciones diferenciables y supongamos que
D..w ~ ~
= {z dl viad-
E C: z + ; = lei bel }
existe lim Re - . En este caso, segun lo demostrado, -
~~ D..z ~
= -.
~
Los incrementos D..u y D..v de las funciones diferenciables u y v
De este modo, el conjunto Z
I
viad- bel
tienen la forma cs Ia circunfe re ncia de radio lei y centro en e l punto
au au av av
D..u=- D..x+- ~y+o(ID..zi), D..v= -a D..x +- ~y + o<l~zi). d
ax ay X ay z= -- .
c
Entonces 2) Segtin las condiciones del problema, arg w'(z) = 0, es
D..w D..u D..x + D..v D..y 1 (au 2 =
decir, arg (ad- be) - arg (ez + d)2 0, de donde
Re-
D..z
= D..x2 + D..y2
= D..x2 + ~y2 - D..x +
ax
(cz + d) =(ad- be)r ,
2
r > 0.
+ 8v
ay D..y2 + (au av) D..x D..y + (D..x + D..y) o(iD.. zi))
ay + ax I Asf,
d -/ad- be
au av z = -- + t, -oo < t < +oo. (1)
y como - = - , resulta e e
ax ay El conjunto Z es Ia recta definida mediante Ia ecuaci6n (1). ..,..
Re D..w = au + (au + av) D..x D..y + (~x + ~y) o(ID..zl) _
D..z ax ay ax D..x2 + ~y2 ~x2 + D..y2
D..w
La existencia del limite de Re D..z (cuando D..z --t 0) igual a
au (au 8v) au av
ax implica que ay
I + ax = 0, es decir, ay = -ax =
D..w
lim Im - . Por cuanto f cumple las condiciones de Cauchy-
6z-o D..z
Riemann en el punto z, la funci6n f es diferenciable en dicho <111 Soluci6n. De las condiciones del problema se deduce que la
punto. ..,.. imagen de Ia curva -y 1 mediante la aplicaci6n f es el arco de
circunferencia r = { w E C: lwl = lw(zo)l} y la imagen de la
I
<IIIII Sol uci6ri. Tenemos: <IIIII Soluci6n. Aplicando Ia formula demostrada en el ejemplo ante-
In lz - ai = In b = const, rior, obtenemos
o bien Re In (z - a) = const. Consecuentemente,
- 1 1
J-L(G) = JJ
D
l3z
22
1 dx dy =9 JJ(x +
D
2
y
2 2
) .
J-L(G) = JJ 2
IJ'(z )l dx dy. .,.
2
b) 11 - z1z2l - lzt - z2l
2
= 2 2
(1 + lz1z21) - (lzd + 1~1) ;
2~~
2
~~ - (1 + i )lzl2 - ~(1
2
D c) lz + + i lz ..+ 2 4 + i) = z;
d)
II 1
2
2 II
-z +- z + ZJ + -z, +-
2
I
z2- z3 = lzd + lz21 si z1z2 = z 2;
3
11. Sean b E lR, a E C y a :j::. 0. Demostrar que
e) ~
n
1+;
k 12
+~
I 12=
n k
1- ;
2nz + 9n + 1
~ 2
si lz 1
.
= n, 11 E N; .
IaI
IReaz0 - bl
b) Ia distancia de un punto Zo E C a Ia recta iiz + az = b es igual a .:..__........,...~---.:
z, .z, 111 = 0.
g) TI
n-l ( 2h )
e'n- 1 =(- 1)"- 1 - n(n EN). Zz ~2
k=l
5. Demostrar Ia igualdad
IZJ ZJ 1
w( z 1) = w(z2) ? z, = Z2.
1.5. Demostrar que
7. Sean z 1 , z2, z3 y z4 cuatro ntlmeros tales que z 4 no coincide con ninguno de los 2
a) 11 + z21 ~ 2(Rez) 'r/ z: - 1 ~ Rez ~ 1;
. , Zt - Z2 Zz- ZJ z3 - z 1
tres restantes. Demostrar que s1 dos de los tres numeros - - - , - --, - -- z1 Rez, -lzd
z3- z4 z 1 - z4 z2 - z 4 b) Re - - . ~ , si z 1 E C, z2 E C, Re z 2 > 0.
son imaginaries puros, el tercero tambien to es. z2 + tl 2 Re z2
lndicaci6n. Utilizar Ia relaci6n 16. Resolver el sistema de ecuaciones
Zt - Z2 Z2- ZJ ZJ- z 1
2 2 2
lzJ -z. l Re - - + lz, -z4 1 Re - - +l z2 -z41 R e - - = 0.
3
z +w
5
0=
~-~ ~-~ ~-~ { z 2 w4 = 1.
8. Demostrar que
1 + it D
17. Demostrar que las rakes de Ia ecuaci6n de segundo grado az 2 + bz + c = 0, con
a) si z :j::. - 1 y lz l = 1, entonces z = - - . , donde t es un numero real; a, b, c reales y discriminante negative, son complcjas conjugadas.
1 - tl .
1 +z 18. Demostrar que las rakes z 1 y z2 de Ia ecuaci6n z 2 + 2pz + q = 0 (p E C, q E C,
b) todo numero real a puede representarse en Ia forma a= i - - , donde z es un
1 -z q :j::. p 2 ) se encuentran en una recta que pasa por el origen de coordenadas si, y s6lo
numero complejo tal que lzl = 1 y z :j::. 1. _
si, p = 0, o bien p :j::. 0 y ; E R y ; 2 '< 1.
9. Representar en forma trigonometrica el numero z = (1 - cos a + i sen a:)", d onde n
es un numero entero distinto de cero. 19. Hallar el conjunto de puntos z del plano complejo C que satisfacen las condiciones
sigu ientes:
10. Hallar las sumas
sen x sen 2x
Sn = 1 + - - + - -
sen nx
-+ ... + - - ,
=
a) lz - al R;
sen x sen2 x senn x b) Re z + Im z =
1;
cos x cos 2x cos nx c) argz =a:, a:E(-11',11');
l +t I
Un = 1 + - - + - -2 -+ ... + -- .
sen x sen x senn x z-.i = 1;
d) -
Indicaci6 n . Calcular Un + i(Sn - 1). z
e) Rc (z
2
Z) = 0;
= fJ (1 + ~), se
-
= 0.
g) Re (1 + z)- lz l
b) x + (y + 1)2 = 1;
2
succsi6n (z.. ) de modo recurrentc:
1
c) x 2- y 2 = -; Zn =(a+ {J)Zn- l - o:{Jz,._z It 71 ~ 2.
2
d) y 2 = 2x + 1;
Oemostrar que lim z,.
n-oo
= 0.
1 2 1 1
e) p = . 28. Sean z, = a, Zz = b (a i: 0, b i: 0, a i: b) y z,. = Zn-1 + Zn+ t. Demostrar que
1 +cos cp
21. Hallar el conjlmto de pnntos z del plano C dcfinid os mediante las cond iciones:
lim Zn
n-co
=0.
a) r < lz - z0 1 < R; 29. Demostrar que si dos regiones D 1 ~. D 2 del plano C tienen un pun to comlln,
b) z-I
z+ 1
~ 11 1; entonces n, u D 2 tambien es una reg10n.
2
iz - 1
c) a < Rez < b; 30. Dada una funci6n f: C _, C, donde f (z) =z -
2
iz ,z = e'~' Y cp es nn numero
'
1 1 1 1 real arbitrario,
d) 4 < Re i + Jm i < 2; a) demostra r que f es una fnn ci6n real de cp;
~ ~ ~4 }
i -z 1r
e) 0 < a rg -.- <- . b) hallar Ia imagen d e I segmen to -v, -_ r
{ "' E R: 0 cp mediante Ia
l +z 2
aplicaci6n f.
22. Entre los numeros complejos z que satisfaccn Ia condici6n lz - 25il ~ 15, haUar
ague! cuyo valor principal del argumento es minimo. 1
. w
31. Para Ia aplicacion = ~ (w = u + ;v ' z =x + iy) hallar:
23. De mostrar que dos pnntos A(z 1) y A(z2 ) de Ia esfera de Riemann distintos de a) las imagenes de las lineas siguientes:
0 y N son diame tralmente opuestos si, y s61o si, los puntos z 1 y z2 del plano C
satisfacen Ia condici6n z 1z2 - 1. = 1) X = C; 2) y = C; 3) X+ y 1; =
=
4) arg z a; 5) lz + il = 1; 6) Y = lxl;
24. ;.Para que valores del parametro a las siguieRtes circunferencias en el plano b) las imagenes de los conjuntos siguientes:
complejo C corresponden a circulos maximos de Ia esfera de Riemann:
=
a) lz - al a (a > 0);
7) Ia franja comprendida entre las rectas x 0 y x = = 1;
= = 1;
b) lz- il =a (a> 0);
8) Ia franja comprendida entre las rectas y 0 e Y
c) las preimagcnes de las lineas siguientes:
=
c) lz - il a (a > 0); =
9) u C; 10) v = C .
d) lz - 2ail a (a > 0). = 32 Para Ia aplicaci6n w = z-
z - 4 hallar las preimagenes de los conjnntos s iguientes:
25. Ha Uar: 1
a) W = {w E C: lwl < 2};
a) lim
n-oo
(n (1- cos ~)
2
n
+ i ( v'n2 + 1- vn ) sen .!.);
n b) W ={wE C: lwl ~ 1}.
e) lim(~
z-o x + y +2i) ; a) l(x + iy) = x + ~ + i (y - ~) ;
X +y X +y
f) lim z;
:-t- i b) f (z) = lz l2 + 2z;
g) lim arg z; lzl + z
:--1
z
c) f (z) =- 2
-.
h) lim=; 41. Sea P (z) un polinornio cuyas raices se encuentran en un circulo. Demostrar que las
z-o z
raices de su derivada P'(z) pertenecen a ese mismo circulo.
i) lim (Re z)2
z-o Imz . 42. Demostrar que si las funciones I y g son analiticas en un punto z0 y f (z0)
6
=
, . f(z) /'(zo) 1 +z
36. Investigar Ia continuidad de las funci ones siguientes en sus dominios: g(zo) = 0, pero g (z0) :j: 0, entonces ltm - () = ,---() . :t:Jallar liD! - - 10 .
z-zo g z g Zo - 1 + z
a) w = Im z; 43. Sea 1 una funci6n analitica en un dorninio D u = ReI v Im I . Demostrar =
b) w = z; =
que en los puntos donde /'(z) 0 las lineas u 1
1
=
const se cortan con las lineas
I
c) w =
X+ iy
{ 01
1 si x 6 y son racionales1 =
v const perpendicularmente.
si x de y son irracionales.
44. Reconstruir las funciones analiticas I si
z
d) w = z2 +4; = =
a) u x 2 - y 2 + 2x, f(i ) -1 + 2i;
e) w = tg (arg z ).
=
b) v ez seny +2xy +Sy, f(O) 10. =
37. Sean u = u(x y) y v 1 =
v(x~ y) dos funciones diferenciables en una region D. Sea
=
l(x + iy) u(x~ y) + iv(x~ y) para todo par (x y) E D . Demostrar que para que Ia 1
=
funcion 1 sea diferenciable en el punto z0 x 0 + iy0 E D es necesario y suficiente
que Ia expresion du(xo~ Yo) + i dv(x0 y0) sea proporcional a dz dx + i dy.
1 =
r
donde a E C,_ b E C, c E C y d E C verifican Ia condid6n Definicion. Por angulo en el punto z = oo entre dos curvas -y1 y -y2 que
ad- be i= 0. D1cha ~ondici6n evita que de Ia funci6n (1) degenere pasan por el infinito y que tienen tangentes a sus imagenes en la esfera de
=
en una constante. S1 c 0 y d i= 0, Ia funci6n (1) se convierte en Riemann en el polo N, se entiende el angulo entre las imagenes r 1 y r 2
una funci6n lineal: 1
de estas curvas mediante Ia aplicaci6n z .-. - = Z en el punto Z = 0 (con
a b z
w = dz + d = Az + B . la condici6n de que existan las tangentes a rl y r2 en z = 0) (fig. 29).
Fig.29
El teorema se demuestra comprobando directamente los
axiomas de grupo (Ia asociatividad y Ia existencia de Ia unidad y
del elemento inverso).
las curvas tiene ta ngente en z ). Sus imagenes r j y r ;i mediante
Ia aplicaci6n (1) pasaran por ei punto del infinito. El ang ulo entre
las ultimas en ei infinito es igual, por definicion, a) ang ulo entre 1.2. Propiedades geometricas
sus imagenes f1 y f 2 mediante Ia aplicaci6n W =..!.__ Dado que
de las aplicaciones homograficas
. w
Consideremos cuatro casos partkulares de aplicaciones homogra-
W= cz+ d ficas:
(3)
az + b'
1) traslaci6n paralela en un vector h
las curvas f1 y f2 p ueden considerarse como imagenes de 11
y / 2 mediante Ia aplicaci6n homogrclfica (3), cuya su derivada w =z +h;
dW be- ad -
- 2) giro en un angulo B alrededor del origen de coordenadas
dz - (az + W
w = e z;
t>
i9
12 Jn . J6
pertenecientes a los cuatro casos enumerados anteriormente: que es una ecuaci6n del tipo (2) y, por consiguiente, determina
ad una circunferencia en el planoC. .,..
az+b a b- ~ a
w = - - = - + - - = - + w4 (traslaci6n para lela);
cz+d c cz+d c Para enunciar Ia segunda propiedad geometrica de las
( ad ) ad )
1 ( (aplicaci6n de semejan- aplicaciones homograficas, definamos el concepto de puntas si-
w4= b- - - = b- - w3 metricos respecto a una circunferencia.
c cz+ d c za y giro);
1 1
w3 =- - = - (aplicaci6n inversa);
cz+d w2 Definicion 1. Se dice que dos puntas z y z son simetricos respecto a una
=
w 2 cz + d =w1 + d (traslaci6n para lela); circwiferencia (de rad io fmito) en C si estos se encuentran en una misma
(aplicaci6n de semejan- semirrecta que sale del centro Zo de Ia circunferencia, y el producto de
w1=cz za y giro). sus distancias hasta el centro es igual al cuadrado del radio R 2 de dicha
Vemos que las propiedades inherentes a las cuatro apli- drcunferencia (fig. 30).
caciones indicadas se pueden trasladar en alg unos casos a las
aplicaciones homograficas generales. Como una consecuencia ob- Tenemos:
y
tenemos, por ejemplo, Ia propiedad circular de las aplicaciones arg (z-zo) = arg (z* -Zo),
homogr<Hicas. z*
2
lz- zollz*- zol = R ,
12
r
Demostremos Ia propiedad principal de los puntos sime- simetrfa respecto a Ia circunferencia se convierte en la simetrfa
tricos que los caracteriza por complete. ordinaria.
El teorema demostrado perm.ite dar otra definicion de
puntos simetricos.
Teorema 2. Pam que das puntas z y z* sean simetricas respecta n una
circunferencin r es necesnria y suficiente que tadn circunferellcia 1 C C que
pase par elias sea ortagannl a r. Definicion 3. Dos puntas z y z* se denominan simetricas respecta a una
circunferencia r en el plano C si toda circunferencia 1 que pasa por estos
~ Demostracion. Necesidad. y puntos es ortogonal a r.
Sean z y z* dos puntos si-
metricos respecto a una cir- La aplicaci6n z ...... z* se denomina inversion.
cunferencia r y sea 1 una
circunferencia arbitraria que
pasa por z y z* (fig. 31). Teorema 3 (de invariancia de los puntas simetricos respecto a una aplicaci6n
Tracemos por el pun- homogratica). Tada aplicnci6n lzomagnifica ltnce carrespander n cada par
to z 0 una tangente a Ia cir- de puntas z y z* simetricos respecta a una circrmferencin r c c
!Ill par
cunferencia 1. conforme a de puntas w y w* simetricas respecta a Ia circunferencin r imagen de
un conocido teorema del In circunferencia r mediante Ia apli~aci6n dada.
curso de geometria, el cua- _
drado de Ia longitud del 0 1 X
~ Demostracion. Tracemos por los puntas w y w* una circunfe-
segmento I( - z0 12 de esta Fig.31
rencia arbitraria 1. Segun el teorema 2, su preimagen 1 en el
tangente es igual al produc- plano z es ortogonal a Ia circunferencia r. Debido al caracter
to de las longitudes del segmento lz* - z0 1de una secante por conforme de Ia aplicacion homografica, las circunferencias 1 y r
el segmento lz- zol, es decir, I(- zol = lz- zol lz*- zol. Dado
2
son ortogonales. Por consiguiente, segtin el teorema 2, los puntas
que z y z* son simetricos respecto a r, entonces I( - z0 1= R. w y w* son simetricos respecto a r. ~
De este modo, el segmento de Ia tangente a 1 constituye el radio
de Ia circunferencia r es decir, I es ortogonal a r .
I 0
Suficiencin. Sean z y z* dos puntos con Ia siguiente 1.3. Isomorfismos y automorfismos homograficos
propiedad: cualquier circunferencia 1 que pasa por estos puntos
es ortogonal a r. Entonces tenemos que: La formula
1) los puntos z y z* se encuentran en una misma semi- w = az+b (1)
rrecta con vertice en el centro Zo de Ia circunferencia r (pues en cz+d
calidad de 1 se puede tamar una recta que sea ortogonal a r y que define Ia aplicaci6n homogrcifica L: z -+ w contiene cuatro
que, por tanto, pase por el centro zo de Ia circunferencia r); parametres complejos a, b, c y d. Pero en realidad, Ia aplica-
2
2) lz- zollz*- zo l =I( - zol = R 2, es decir, los puntas ci6n (1) depende de tres parametres, pues el nurnerador y el
z y z* son simetricos respecto a r. ~ denominador de (1) pueden dividirse por uno de los cuatro pa-
rametres (distinto de cero). Por tanto, es l6gico esperar que toda
De la propiedad establecida de los puntas simetricos se aplicaci6n homogrcifica transforme de un modo Unico tres puntas
deduce que si Ia circunferencia r degenera en una recta, Ia dados en otros tres puntos dados.
Teore~a 1. Para tres puntas diferentes cualesquiern z 1 E C, z2 E C y En efecto, para ella es suficiente transformar tres puntos
z3 E C, y tres puntas cualesquiern tambien diferentes w 1 E C, w E C, de Ia circunferencia 7 en tres puntas de Ia circunferencia 7*.
2
w3 E C, existe una z/nica aplicnd6n homografica L tal que L(zk) = wk Utilizando Ia propiedad circular de Ia aplicaci6n homografica y
(k = 1,2,3). el hecho de que tres puntos definen Ia circunferencia de modo
linico, nos cercioramos de Ia validez del corolario.
~ Demostraci6n. Existencia. a) Sean zk E C y wk E C (k = Una aplicaci6n homografica de una region D en otra re-
1, 2, 3). Consideremos dos aplicaciones homograficas L 1 y L 2 que gion D* se denomina isomoifismo lwmogrtifico, y las regiones D
transforman, respectivamente, los puntas z 1, z2, z 3 y w 1, w 2 , w 3 y n se dice que son homograficamente isomoifas.
en los puntas 0, oo, 1 del plano (: Denominaremos cfrculo toda region K C C cuya frontera
Z - ZJ z 3 - z2 W - W J WJ - w 2 es una circunferencia en C. De este modo, por cfrculo puede
L1: ( = - - - - , L2: ( = - - . entenderse un circulo en el sentido comlin, o el exterior de
Z - Z2 Z3 - ZJ W - W2 WJ - WJ
este drculo, asi como un semiplano. Toda circunferencia 7 del
Obviamente, la aplicaci6n L = L2 o L 1 es Ia que se busca,
1
plano z divide C en dos circulos K 1 y K 2 . A su vez, Ia
L = w(z), w(zk) = w~;. Su forma explicita se puede obtener
a partir de la relaci6n circunferencia -y = L(;) del plano w divide C en dos circulos
Kj y K~ . Partiendo de consideraciones topol6gicas vemos que
Z-ZJ ZJ-Z2 W-WJ WJ-W2
-----=--- (2) son posibles dos casas: a) L(K1) = Kj, L(K2) = Ki; b) L(K!) =
Z - Z2 z3 - Zt W - W 2 WJ - w 1 K i, L(K2) = K j.
b) Si un punta z; o bien Wj (o bien z; y Wj a Ia vez) (i, j = Para aclarar cual de estas dos posibilidades tiene Iugar
1, 2, 3) se encuentra en el infinito, la formula (2) sigue siendo en un caso particular, es suficiente hallar Ia imagen de cualquier
valida. En este caso tan solo se requiere sustituir por Ia unidad el punta del drculo K 1 (o del circulo K 2 ). Se puede utilizar tambien
numerador y el denominador de Ia fracci6n donde aparece este Ia denominada regia del recorrido que consiste en lo siguiente.
punta (pues cada uno de los puntas zk y w~; figura en (2) dos Fijemos en Ia circunferencia 7 tres puntas z 1 , Z2 y z 3
veces: una vez en el numerador y otra vez en el denominador). Denotemos mediante w 1, w2 y w 3 sus imagenes respectivas.
Par ejemplo, sea z 1 = w 1 = oo. En este caso (2) toma Ia forma Es evidente que al indicar sucesivamente tres puntas en una
circunferencia determinamos univocamente el sentido de su re-
z- z2 w- w 2 corrido. Utilizando Ia propiedad de las transformaciones con-
Unicidad. Supongamos que ademas de Ia aplicaci6n L formes de conservar los m6dulos y los signos de los angulos,
existe otra aplicacion homogrcifica >. tal que >.(zk) = wk. Con- se- puede demostrar que si las circunferencias 7 y 7 se re-
sideremos Ia aplicacion homogrMica L = L 2 o >. o L] 1 que deja corren en los sentidos determinados por los puntas z; y wi
(, j = 1, 2, 3}, las regiones que se transforman una en otra se
inmoviles los puntas 0, oo y 1. Evidentemente, L(oo) = oo colocaran a un mismo lado. Ahara es facil demostrar el siguiente
implica que L(z) = az + b; L(O) = 0 implica que b = 0 y teorema.
L(1) = 1 implica que a= 1. Por consiguiente, L(z) = z, es decir,
1
L2 o >. o L] = E, donde E es la aplicaci6n identica, de donde
resulta >. = L21L 1 = L. ..,.. Teorema 2. Dos drculos cunlesquiera en el plano C son isomorfos mediante
una aplicaci6n homograficn.
w= . ..,.. i - iz
(a - b)z + a(b + 1) ....
w=-
z+2
., 5 1
~ Soluc10n. Tenemos w(- 1) = - y w(1)
4
= -.
12
Dado que los
coeficientes d e tod a C!plicacion homografica son numeros reales,
~ Soluci6n. Segun Ia formula (3), p. 1.1, tenemos
z + 1 1 +i - i w - i d d d (1 + 2i)z +6 - 3i
=l(h- R)(h - v'h
R(R - h)
2
- R
2
) I= lv'h 2
-
R
R
2
- hi =
- - = - -, e on e w=
z- i 1+ i +1 1- i 5(z- i) h- .Jh2 - R 2
~
Teniendo en cuenta que los puntos z 1 = -1, z 2 = i, z3 = R
1 +i pertenecen a la circunferencia 'Y = { z E <C: z -
1
i I ~ I= /[}
y que la circunferencia 'Y se transforma en Ia recta u + v = 1,
al aplicar Ia regia del recorrido establecemos que el semiplano
P = {(u, v) E ~: u + v > 1} es Ia imagen de Ia region D. ~
~ Soluci6n. 1) Si z1 = 0, z2 = oo, entonces w = Az, A E <C.
Zt Z - Zt
2) Suponiendo W = -W--,
W- Z2
Z =--
Z - Zz
y tomando en
consideracion 1), obtenemos
W- Zt Z - Zt
- - = A -- . ~
w- z2 z- Zz
.~ z,. = {P: si
si
IAI < 1,
IAI > 1.
Si IAI = 1, el lim z,. n o existe.
n - oo
....
D
27r nfvoca y mutuamente continua entre todos los puntas del plano z
entero de- y los puntas de esa imagen.
n
27r
27r Tomemos el primer angulo 0 < <p < :--- . Su imagen es
argz1 =argz2 + k- , k EZ, n
n todo el plano w sin el semieje real positive, pues este es Ia
se transforman en un rnismo punta w. Por consiguiente, Ia 27r-
imagen de las semirrectas <p = 0 y <p = - . Para mantener la
aplicaci6n (1) no es de una hoja en C. En otras palabras, mediante n
Ia aplicaci6n considerada todos los vertices de cada n-agono
regular con centro en el origen de coordenadas se transforman correspon~encia biunivoca entre el conjunto i5 = {z E C 0 ~
en un mismo punta del plano w. Aquellas regiones del plano z
que no contengan dos vertices diferentes del n -agono regular con izi < +oo, 0 ~ arg z ~ 27r }
-:;; y el plano w cortemos el plano w a
I
centro en el punta z = 0 seran las regiones de uniformidad l ) de lo largo del sernieje positive real y convengamos que, conforme a
la funcion z t-t z". De este modo, Ia funcion sera de una hoja en Ia regia del recorrido, Ia sernirrecta <p = 0 tendra como imagen
toda region comprendida totalmente dentro de un angulo central 27r
el borde superior del corte y la semirrecta <p = - , el inferior.
n
>.Denominaremos regi611 de uuij{Jnuidad de una aplicaci6n multiforme I~
1
Preparemos ahara n ejemplares del plano w con cortes a lo largo
region donde es de una hoja.
del sernieje real positive (estos ejemplares son imagenes de los n
13 JaK. 36
sectores infin itos determinados en (1)), situemoslos uno debajo del
tiene los p untos 0 e 00, para todo p unto del conjunto n el
otro y unamoslos de mane ra t.a l que se conserve Ia continuidad y Ia
va lor de () esta ra univocamente determinado, y Ia igualdad
correspondencia biunfvoca. Pa ra lograr n uestro objetivo, unamos n/i:::T . '
el borde inferior del corte de Ia p rimera hoja con el borde superior z = v JWJe'; defini ra una funcion unifo rme en n. Ah ora oien,
del corte de Ia segw1da (esta se encuentra debajo d e Ia primera), el si tomamos () = 8o + 211' para Wo E n, obtenemos otra rama; .si
b orde inferior d el corte d e Ia segunda hoja con el borde superior 0 = 00 + 411', Ia tercera ramn, etcetera. De este modo, asignnndo
de la te rcera, e tc.; finalme nte, unamos el borde inferior del corte a un pu nto wo un valor 0 de n mane ras difere ntes (tomand o
de la n-esima hoja con el borde superior d e Ia primera (fig. 32). 0 = 00 + 2k7r (k =
0, n- 1)), obtenemos n funciones p ara cada
La imagen geome- una de las cuales Ia funcion potencial w = z n es su inversa.
trica obtenida se d eno- La union de estas funciones (ramas unifo rmes) se denomina
mina superftcie de Rie- funci6n multiforme z = rw.
mann de Ia funcion z = Se d enomina punto de ramiftcnci6n de Ia funcion multifor-
V:W. La superficie d e Rie- me a un p unto tal que al rodear un e ntorno suyo suficiente mente
mann pe rmite fo rma rse p equeno se p asa de una rama de Ia funcion a Ia otra. Si, ademas,
una idea mas cla ra so- tras rodear este punto n veces en un mi.smo sentido volvemos
1 bre Ia natura leza de las a Ia rama de pa rtida, entonces se dice que es un punta de
aplicaciones p otenciales. rnmificaci6n de (n - 1)-esima orden; en caso contrario, cunndo
Anteriormente se no existe un n fi.nito, se d ice que el punto es de orden inft-
sena lo q ue una region del nita. Los puntos de ramificacion de orden finito se d eno minan
plano z es region de uni- puntos nlgebraicas de ramiftcaci6n. Los puntos w .= 0 y w = oo
fo rmidad d e la funcion son puntas algebraicos de ramiftcaci6n de (n - 1)-esima orden
Fig. 32 z ~--+ zn si ella no contiene de In funci6n z =
eruJ. En cada uno de estos p untos Ia fun-
dos vertices diferentes del cion toma un solo valor: W = 0, \YOO = oo. Sus imagenes
=
n-agono regular con vertice en el punto z 0. Es evidente que Ia geometricas en Ia superficie de Riemann son los extremes de
= =
region que contenga los p untos z 0 o z oo no es una region los cortes, comunes a todas las hojas. Cada rama de Ia fu ncion
de uniformidad de Ia funcion z - t zn. Senale mos ta mbien que =
z eruJ es analitica en Ia region D * y su d erivada_es di.stinta de
estos p untos son fijos, es d ecir, on
= 0, (oot = 00. cero:
Sea ahora D * cierta region simplemente conexa del pla-
0
d vw-;t: o.
-rw=-
no w , la cual no contiene los puntos 0 e oo. En esa region dw nw
se pueden d efinir n funciones uniformes diferentes para cada Asi pues, cad a rama es una trnnsformacion conforme en toda
una d e las cuales la funcion w =
z n es su inversa. Dichas region D* (0 r/:. D*, oo r/:. D *).
funciones se d enominan ramas unifonnes de Ia funcion mul-
tiforme z = V:W. Sean, p or ejemp lo, z = r ei'P y w = 8
p ei .
0 IIJ Problemas resueltos.
Entonces r = efP y 1P = -n . El an gulo 0 se d etermi.n a uni-
vocamente p a ra cad a rama y cad a p un to d e Ia region D *.
Concretamen te, tomamos cualquier pun to Wo E n , fijamos en
el un valor de terminad o de 0 =
00 y a continuacion consi-
de ramos que al d esplazar continuamente el punto w E D * el
ang ulo 8 ta mbien varia continuamente. Dado que n no con-
13
.,... Soluci6n. a) La rama derecha de Ia hiperbola se transforma en Ia .,... Soluci6n. La region G es una lzlnula circular y los puntos
=
recta u a 2 . Tomand o en considcraci6n que x > 0, segun Ia regia Z J = - -13 + il z2 =
-13 + il sus vertices. Consideremos Ia
d el recorrido vemos que e l interior de Ia rama derecha de Ia hi- z - zt - 1-i/3
perbola se transforma en el semi plano Q ={
w E C: Re w > a 2 }. funcio n w1 = - - . C omo w1 (i) = -1 y Wt(2i)
2
= 1
Z - Z2
7r
b) Las sernirrectas arg z = -4 son las asintotas d e Ia vemos que w 1 transforma Ia 11.lnula G en e l inte rior del angulo
4
2
hiperbola x - y 2
= 1. La aplicacion w = 2
z las transforma en 7r < arg W J < 37r. La aplicaci6n w = - wf transforma esta u ltima
el eje imaginario, y transforma Ia rama derecha de Ia hiperbola region e n e l conj unto P = {w E C: Im w > 0} q ue es Ia imagen
x 2 - y2= =
1 en Ia recta Re w 1. Consig uientemente, Ia imagen de de G. II>
Ia region considerada es Ia franja M ={w E C: 0 < Re w < 1} .
c) Para y = c tenemos u = x 2 - c?, v = 2cx, x E lit
v2
Eliminando x , hallar;nos u = 42 - c2 Tomando en consideracion
que c >0 y aplicando Ia regia del recorrido obtenemos que Ia
2
imagen del semiplan o P es e l exterior d e Ia parabola u = .!!...._
42
- c2
.,... Soluci6n. Hallemos los puntos de interseccion de las circunfe-
(es decir, Ia region limi tada por Ia pa rabola sin s u foco). 11>
rencias 11 = {z E C: lzl = 2} y 12 ={
z E C: lz- ../21 = J2} :
z1 = J2- i../2 1 z2 = J2 + i../2.
La funci6n
Z - ZJ (J2 - 1) (-1 + i)
Wt=-- ~ Wt(2) = M I
Z - Z2 2- v2
7r 37r
.,... Soluci6n. Las imagenes de las rectas Im W =
c en el p lano transforma Ia lunula G en el interior del an g ulo - < arg w 1 < - 1
2 4
z = W 2 son las parabolas y2 = 4c(x + c)
(v. ej. 17). Por y Ia fu nci6n w wt
= transforma el interior del an g ulo en el
consiguiente1 Ia funci6n W = =
,fZ (Vl 1} transforma Ia region semi p la no s uperior P ={
w E C: Im w > 0}. Por consiguiente1 Ia
dada en Ia franja M' = {W E C: 1 < Im W < 2}. Mediante Ia aplicacion buscada es
aplicaci6n w = -(../2 + 1)(iW + 1) Ia franja M' se transforma en
4
Ia franja M. Asf pueS1 w= (z- ../2(1 - i)) .....
z- v'2(1 + i)
w=-(V2+1) (i vz+ 1) .....
I_
Funcion exponencial w = e'. ilundon multiforme z = Ln w
a ~
22. HalllU 1a transformaci6n confor.me del ;plano con 3. Funci6n exponencial w = ez .
un corte a lo Jargo d el1nter\ralo (-~, - 1) en el circulo
K ={w E C: lwl < 1}, de man!ra tal que z = 0 ~ w =~o. Funci6n multiforme z = Ln w
3.1. Funci6n exponencial w = ez
..,.. Solucion. La aplicacion w 1 = v'Z+i (w 1(0) = 1) hace co-
rresponder Ia regio n dada con el semiplano derecho P = La junci611 exponencial z ,..... e (z E C) se d efine mediante Ia
{w 1 E C: Re-w 1 > 0} . La aplicacion w2 = iw 1 = iv'ZTI
~ransforma el semiplano derecho P en el scmiplano superior
P' = {w2 E C: Im w2 > 0}, w2 (0) = i. Utilizando Ia formula (4),
-p. 1.31 para a = i obtenemos Para los z = x reales esta definicion coincide con Ia
definicion comun, lo cual se verifica tomando y = 0 en Ia
i8 w2 -
w=e - -
i
= e
i8 JZTI - 1 . ~
formula {1).
w2 + i v'ZTI + 1 La funci6n w = e es analitica 'r/ z E C. En efecto,
au av
-=-=e cosy,
:t au av
- - = - = e sen yl
:t
(2)
ax ay ay ax
es decir, 'r/ z E C las funciones u y v satisfacen las condiciones
de Cauchy-Riemann. Diferenciando Ia funci6n w, 'r/ z E Cl
obtenemos
Para Ia funcion z ~---+ e se conserva Ia formula de Ia suma: La aplicacion considerada es unfvoca pero no biunivoca, puesto
que cada punto w E C \ {0} tiene un conjunto infinito de
e' e'2 = e+z (4)
preimagenes. -
De hecho, sea Zt = Xt + iyt, z2 = x2 + iy2. Entonces Asi pucs, la Jegion de uniformidad de Ia funci6n exponen-
e' e'2 = e:r:' (cos Yt + i sen Yt )e:r:2 (cos Yz + i sen Yz) = cial z ~---+ e es toda region que no contenga dos puntos diferentes
cuyas partes rcales coincidan y las imaginarias se diferencien en
= e:r:,+:r: 2 (cos (Yt + Yz) + i sen(yt + Yz)) = e''+z 2
2k7r, k E Z . Es decir, toda franja M = {z E C: b < Im z < b+ 27r}
La funcion w = e' es periodica de periodo imaginario puro es una region de uniformidad. Su imagen es todo el plano w sin
= =
27ri. Efectivamente, sea ez+w e' y w a+if3. Multipliquemos Ia semirrecta de pendiente b que sale del origen de coordenadas.
ambos miembros de esta igualdad por e- : Sea w = pei8 . A pa rtir de Ia igualdad pei8 = e:r: eiy tenemos
ew = e0 cos {3 + ie0 sen {3 =1 = =
p e:r:, 0 y, es decir, Ia funcion w e' transforma las rectas =
y = const en semirrectas y los segmentos 1 = { (x, y) E ~ :
o bien
e0 cos {3 = 1, e0 sen {3 = 0,
x = const, b < y < b + 27r} en circunferencias sin los pw1tos de
interseccion con Ia semirrccta 0 = b.
de donde resulta a= 0, {3 = 2m7r, w = 2m1ri, es decir, 27ri es el La funcion exponencial transforma toda franja horizontal
periodo de Ia funcion w.
La funcion w esta definida en C y no tiene limite cuando Mk = { z E C: 2k7r < lm z < 2(k + l }1r}, k E Z ,
z --+ oo, ya que de longitud 211' en el conjunto
lim e = oo, Lim e' = 0. q n = { (p, rp) E Ii: 0 < p < +oo, 2k7r < 0 < 2(k + 1)1r},
z=:r:>O z=:r: <O
x-+oo %--oo o sea, en el plano w con un corte a lo largo del semieje real
La funcion exponencial nose anula en C, o sea, el origen positivo.
de coordenadas no pertenece a Ia imagen del plano C mediante Ia
aplicacion z ~---+ e'. Para verificar esto, hagamos z 1 z, z2 -z = = 3.2. Funci6n multiforme z = Ln w
1
en La formula (4). Obtenemos e e- = 1, o bien e- = -, lo
e Divid~mos todo el plano z en regiones de uniformidad de Ia
que demuestra Ia afirmacion, pues si Ia funcion cxponencial sc funcion w = e'. Por ejemplo, mediante las rectas y 2k7r, =
anulara en un punto z, no estarfa definida en el punto -z, lo cual k E Z. Para cada una de estas regiones tomemos una copia del
entra en contradiccion con Ia definicion de funcion exponencial. C>
plano w, que es Ia imagen de Ia franja mediante Ia aplicacion
Demostremos que cualquier otro punto del plano w (ex- z ~-+ e. Para conseguir una aplicacion biunivoca de Ia region
cepto w = 0) pertenece a Ia imagen del plano C mediante Ia junto con Ia frontera, cortamos cada uno de estos pianos a lo largo
aplicadon (1). Sea w (w :/= oo, w -:/= 0) un punto arbitrario del del semieje real positivo. Poniendo estas hojas una debajo de otra
plano C. Hallemos un z tal que e' = w. Tenemos: y unif:!ndolas apropiadamente (por ejemplo, el borde inferior del
lwl = e:r: :=} x = In lwl, y E Arg w. corte de una hoja con el borde superior del corte de la hoja que se
encuentra debajo de ella), construimos Ia superficie de Riemann
Por consiguiente, de Ia funcion multi forme z = Ln w que es la inversa de la funcion
= =
z x+iy = inlwl +iy ln lwl +i(argw +2k7r), k E z. (5) exponencial w = e'. Segll1l Ia formula (1), p. 3.1, tenemos
' . - ~-_ -: -... . - --"'I~- . ' - ;:- ...~~,.... -t,.- -- -~'".-: .. ..__ ..._.- ~-_: --.. -..._~. r"' . ....,7
Como vemos, existe un conjunto infinito de preimagenes del l<ii w =In !wl _+ i(cu-g .it.i+2kv1, ... k E ~Z(:<~~~:.:--:<1)
punto w E C 1\ w :/= 0 que se encuentran en una recta paralela al
eje Oy, a una distancia 271" una de otra. Por tanto, Los puntos 0 y el oo son puntos de ramificacion de orden
w = e': C--+ C \ {0}. infmito de Ia funci6n w ~---+ In w. En toda region simplemente
conexa D* que no contenga los puntas 0 e oo, se puede definir un
conjunto numerable de funciones uniformes, respecto a las cuales
Ia funci6n z ~--+ e es Ia inversa. Tales fu nciones se denominan
ramas tllliformes de Ia funci6n z = Ln w. Para escoger una rama .
de D *, fijamos un punto wo y hacemos Oo E Arg wo. Supongamos
~ Soluci6n. La cadena de aplicaciones
que cuando w varia continuamente en D', B E Arg w tambien
varia continuamente. Como 0 D * e oo D*, entonces B E 1 i 1 - iz 1r(l - iz)
1 WJ = .
Arg w se determina univocamente para todo w E n dando w2= - - - -2 = - z- t
Iugar a Ia funci6n uniforme
I
W1 = z- i' z- i 2(z - i) '
w = ew3
z= lnlwl+iB. (2)
Si en vez de Bo tomamos 00 + 21r (Bo - 21r), entonces razonando transforma G en Ia franja M 1 = {w 1 E C: 0 < Im w 1 < 1},
~},
de manera analoga obtenemos Ia segunda rama, etcetera . La rama
de Ia funci6n z = Ln w para Ia cual B = arg w, se denomina rama en Ia franja M2 = { w2 E C: 0 < Im w2 < en Ia franja
principal. M 3 = {w3 E C: 0 < Im w3 < 11'} y en el semi plano superior P,
11(1 - iz)
liiJ Problemas resueltos. respectivamente. De este modo, w = e z-i .,..
h
~ Soluci6n. La frontera y = 0 de Ia franja M se transforma <111 Soluci6n. El ancho de Ia franja es d = j f La aplicaci6n buscada
en Ia parte positiva del eje real: lwl = ex, arg w = 0, -oo < se obtiene mediante la composici6n de las aplicaciones siguientes:
7r
x < +oo.La frontera y = - se transforma en Ia parte positiva
2
del eje imaginario: lwl = 7r
ex, arg w = -, -oo < x < +oo. 1) W1 = e- '4 = 1-v2r;;i
l<
Z Z, giro en un angulo de - -;
4
11'
2 D
Utilizando Ia regia del recorrido, obtenemos el primer cuadrante
del plano w. .,.. 2) w
2
= 11'-w = ?r..fi
- -w
1 1, aplicaci6n de semejanza con raz6n
d 1t
11'../2
de semejanza - - ;
h
3) w= ew2-
-e "J2
1, w, =e !.(1-!1=.
1, ....
~ = =
Soluci6n. Dado que Ia funci6n w 1 In z (In 1 0) proporciona
Ia franja M' = { w1 E <C: 0 < Im w 1 < 21r}, entonces Ia funci6n
1 In z En Ia figura 33 estan representadas varias transformaciones
buscada es w = -w1 = - . .,.. conformes simples proporcionadas por Ia funci6n w = e.
27r 27r
a) b)
0 0 c) z 0 Si p es un numero racional arbitrario y p = !?. (p y q son
lJC
'("---...
q
primos entre sl), donde p E Z , q E N \ {1}, entonces en cad a
punto z E C /\ z f:. 0 Ia funci6n w tiene q valores distintos, y en
+P:
w @ cualquier region simplementc conexa que no contiene el cero ni
cl infinito se pueden definir q ramas uniformes. Por consiguiente,
el cero y el infini to son puntos de ramificacion de (q - 1)-esimo
I orden de Ia funci6n multiforme w = zPf q.
d)
'hri
0 e)
0 . 0 Si p es un numero irracional, entonces para todo punto z
(z f:. 0, z f:. oo) Ia funci6n zP puede to mar Iantos valores como
(- : ta(a < 2n)
( se quiera, es decir, en toda region simplemente conexa que no
contiene los puntos 0 e oo existe un conjunto infinito de rarnas
~
uniformes de Ia funcion multi forme w = zP.
~
\ @)
Expliquemos con mas detalle el sentido que se atribuye
(
~ al concepto de potencia compleja z", a E C. Escribarnos Ia
ig ualdad (1) en Ia forma
g) h) zP = lzlpeiprp = eP ln ll+iprp = epln z
lJC
0 @) y generalicemos esta igualdad a Ia potencia compleja:
!...-<.. ;;II z" = eo ln z = ealnzeio2k.-
4. Funciones potencial y
exponencial generales
4.2. Funci6n exponencial general
4.1. Funci6n potencial general La Junci6n exponendnl general w = a' (a f:. 0) se define mediante
=
Ia formula az ez Lna. Para escoger una rarna uniforme hay que
Elevemos un numero complejo a una potencia real arbitraria fijar un valor de Ln a, por ejemplo, Ln a = b. De este modo
P E lit Segun Ia regia tenemos
obtenemos az = ebz E A(C), que es una funci6n diferenciable
w = zP = lz iP(cos pep + i sen pep) =Iz iPeiprp' ep E Arg z. (1) (recordemos al lector que el slrnbolo A(D) denota el conjunto
de funciones analiticas en Ia region D). Considerando todos los
. , Si p = n (n E N), Ia funci6n w es analitica en C Esta valores posibles de Ln a, obtendremos todas las rarnas uniformes
f unCion fue analizada en Ia sec. 2. posibles de la funcion multiforme z ~ az. Dado que dos valores
cualesquiera de Ln a difieren en un sumando de Ia forma 2k1ri,
las dos ramas correspondientes de Ia funci6n w = a difieren en consiguiente, Ia aplicacion (1) es una transformacion conforme en
2
un factor de Ia fo rma ei kn, el cual es una funci6n uniforme ig ual todo C salvo, ta l vez, en los puntos 0, 1 y -1.
_ a un? s6lo para los valores enteros de z. Las ramas de Ia funci6n Demostremos que en el punto z 0 Ia aplicacion es=
multiforme w = a' se diferencian sustancialmente d e las ramas conforme. Toma ndo en consid eracion que w(O) = oo, calculamos
de todas las funciones multiformes anteriormente analizad as. De
he~h?, en todos los caso~ ~xa ~!nados anteriormente, en el p lano C
1 = 2z .!!:._ (2_) = 2(12 - z 2
).
= w ( ~) tambil~n
funcwn umforme en C. Recorriendo cualquier camino cerrado
y regresando al punto de partida obtenemos e l mismo numero es con forme en z = 0. De Ia igua ldad w(z)
inicial z (posiblemente con otro valor del argumento) y, por tanto, se deduce e l caracter conforme en e l punto z oo. =
el ntismo valor de eb. Para comprobar que e n los puntos z =I Ia ap licacion (1}
~si ~~es, Ia funci6n multiforme w = a no tiene puntos no es una transformacion conforme, consideremosla como una
d e r~rruftcaciOn y sus ramas uniformes no pued en transformarse composicion de las aplicaciones
contmuam~nte ~na en otra. Este hecho permite considerarlas z- 1 w2+ 1
como fu ncwnes mdependientes, no ligadas entre si: w 1 = - -, w2 =w21, w=--.
z ~ edna z~ ez(lna+2.-i) z(lna- 2.-i)
z+ 1 1-w2
I I e I
La primera aplicaci6n y Ia ultima son homograficas y, por tanto,
Si fijam os _una de estas ramas (es d ecir, el valor d e In a = b), conformes en C. La aplicaci6n w 2 d uplica los angulos en los
podemos d etermmar que su funci6n inversa es ig ual al logaritmo puntos 0 e oo, a los cuales corresponden los puntos z = 1. Por
dew de base a:
eso, Ia funcion d e Zhukovski duplica los angulos e n los puntos
1 Lnw
z = - Ln w = - - = Log w. 1, luego noes una transformacion conforme en dichos puntos.
b Lna a Establezcamos las condiciones que determinan las regiones
dond e Ia funcion de Zhukovski es uniforme. Sean Z t y z2 d os
puntos diferentes de C, en los cuales Ia funcion de Zhukovski
5. Funci6n de Zhukovski toma los mlsmos valores, es decir,
I
[-1, 1] (este es Ia imagen de Ia
de donde w 1 = -w2 . Segun Ia propiedad de las aplicaciones
circunferencia unidad 1). Para
biyectivas, las preimagenes de los puntos W J y w2, o sea, los
establecer una correspondencia
puntos z 1 y z2 , se encuentran en !ados diferentes de 1 .,..
biunivoca entre los puntos de Ia
circunferencia 1 y los del seg-
mento [-1, 1], hacemos un corte
a lo largo del segmento y aplica-
mos Ia regia del recorrido como
se indica en la figura 34.
Fig.35 La funci6n inversa de Ia
funci6n de Zhukovski tiene Ia
14 3><. 36
z
~ Soluci6n. En eLplano Wt = ~ = u 1+ iv 1 Ia parte exterior el interior del angulo 0 < arg WJ < 7r - 2a. Consiguientemente,
v a2 - b2 Ia ap licacion buscada es
de La eLipse considerada es
-
a= --===
a b-
b
. W = w3"~2a = (e- iaw2) "~2a = (e-ia ( Wt + ~)) "~2a =
Jaz- bz' - Jaz - bz'
eL paso siguiente es transformar dicha parte mediante La aplicaci6n
= Wt + y'w~ - 1 (w2(oo) = oo) en Ia parte exterior del cfrculo
=( e-ia (z + ..jz2- a2- b2)) "~2a
Wz Ja2+ b2
de radio R:
_ ;:::;;----:: a +b e-ia )2=~
-" b
R =a + vaL - 1 = . =( (z + V z 2 -a2 -b2 ) .
Ja2+~ Ja2 + b2
Finalmente, en el plano w = w2 obtenemos Ia region D = {w E <C:
R
lwl > 1}. Asf,
6. Funciones trigonometricas
e hiperb6licas
Definamos las jwzcio11es trigonomtHricas z f-+ sen z y z f-+ cos z
mediante Ia funcion exponencial z f-+ e', utilizando las formulas
de Euler
14
5) Ia funcion z t-> se n z es impar, mientras que z t-> cos z
0
I"
es par. a)
sh Z-
~ e'-. e- ch z ~ e~ :t- e-
2 ___ 2 -
0.
I
@
:~1,4 ~
-~~ ~
b)
..-----
Su relacion con las funciones trigonometricas es Ia siguiente:
shz = -i s-en iz,
senz = -i sh iz,
chz =cos iz,
cosz= chiz.
.
i=f ur ~;:rJ
-+----...;..;;....;;;
-
- I 1
. ... ,.,... .. ___
rl0 ~8
siguientes aplicaciones: @
1} w 1 = z-
7T'
2' 2) w2 = iw 1, 3) w 3 .= e
w2
, r
rl. ~ ,..- ~
. '~ t r l '-..... ~ ~- I~
4) w = ~2 (wJ + W3
~). L.~ ~
Como ejemplo, hallemos Ia imagen d e Ia franja Fig.37
IJ Problemas resueltos.
se tlene
sh
2
( n + i) 1r + sen 2 x
del eje real sea el eje real, es decir, w(z) E IR si z E IR.. Par eso
a y b han d e ser nume ros reales. Ademas, las condiciones de
partida exigen que se cumpla Ia condicion w'(z) =a> 0. De este
:::;~< 1.
1 modo, Ia funcion w = az + b, a E JR, bE IR y a> 0, transforma
sh- el semiplano superior en si mismo.
2 =
2) Es evidente que Ia aplicaci6n buscada es w -az + b,
En los !ados verticales z = (n + i) + iy,
1r tenemos
a E IR, b E lR 1\ a > 0.
3) Para resolver el problema planteado, transformemos
Icosec ( ( n + ~) 1r + iy) I= 1
primeramente el semiplano superior en sl mismo y despues
7r
efectuemos un giro e n un an gu lo de --. As! obtendremos
2
2
sh y + sen2 ( n+ ~) 1r w = - i(az + b), a E IR, b E IR 1\ a > 0.
4) En este caso, a los valores imaginaries puros de z deben
1 =
corresponder valores imaginaries puros de w, donde w az + ib,
a E IR, bE IR.. Para que el semiplano derech o se transforme en si
.Jsg 2 y + 1' mismo es necesario que se verifique Ia condicion w'(z) =a > 0.
de donde se d educe Ia desig ua ldad
Por consiguiente, obtenemos Ia funcion w =
az + i b, a E IR,
Icosec ( (n + i) + iy) I<
1r 1. ~ bE lR 1\ a> 0.
Para Ia determinacion exacta de Ia aplicacion hay que
especificar dos pares de p untas correspondientes. Si son puntas
frontera, no podemos reducir el numero d e pa res, pero si son
puntas interiores basta fijar solo un par de puntas, ya que el otro
II Veamos ahora algunos problemas relacionados con todas las par quedara determinado por Ia propiedad de simetrfa. ~
seccion es de este capitulo:
1) Ia franja D = {z E C: 0 <: Re z < 1} en sf misma; . 2) La aplicacion z 1 = -
t
(z + 2i) transforma Ia franja G
2) Ia franja G =. { z E C: - 2 < Imz < 1} en sf misma; 3
3) Ia franja limitada por las redas y = x e y = x - 1 en sf en Ia franja D. Segun los resultados obtenidos en el caso 1) Ia apli-
misma. cacion w 1 = z 1 + bi, b E JR, o bien w2 = -z 1 + 1 + bi, transforma
Ia franja D en si misma. Sea w Ia aplicacion buscada. Entonces,
Investigar que pares de puntos pueden corresponder i
uno a otro mediante estas aplicaciones }'4en que caso dicha Ia aplicacion w 3 = - -(w + 2i) transforma Ia franja G en D.
3
correspondencia determina tota lmente Ia aplicaci6n. Asi pues, Ia aplicaci6n w se obtiene a partir d e las condiciones
w3 = w 1, o bien w3 = w2, cs decir,
..,. Soluci6n. 1) La aplicaci6n buscada tiene Ia forma w = az + b.
Dado que esta debe transformar Ia franja D en sf misma, las -~(w + 2i) = - ~(z + 2i) + bi,
rectas x = 0 y x = 1 tienen que transformarse en las rectas
u = 0 y u = 1. Son posibles dos casos: a) x = 0 -t u= O, o bien
i i .
X= 1 -t U = 1; b) X = 0 -t U = 1, X = 1 -t U = 0. - (w + 2i) = 3(z -t- 2i) + 1 + bt.
Consideremoslos por separado. 3
a) Para z = iy tenemos w = iv, iv = iay + b; en parti- En el primer caso w = z - 3b = z + b1 , b1 E JR; en el segundo
cular, para y = 0 se tiene iv = b y, por consiguiente, b = ib 1, caso tenemos
b1 E IR, a E IR. En caso de que z = 1 + i y se tiene w= 1 + iv, w = - z- i - 3b = -z- i + ~~ b2 E !It
= =
1 + iv a(1 + iy) + ib, de donde hallamos a 1. De esta manera,
En cuanto a Ia correspondencia de los puntos para Ia
Ia aplicacion buscada es w = z + ib, b E IR.
b) Para z = iy se tiene w = 1 + iv, 1 + iv = iay + b, en determinacion exacta de Ia aplicacion, los razonamientos son
amllogos al caso 1), dado que hemos reducido el caso 2) al caso 1).
= =
particular, para y 0 tenemos que 1 + iv b. Por consiguiente, 7r 1
b E <C y b = 1 + ib1, b1 E JR, a E IR. Para z = 1 + iy, se tiene 3) El ancho d e Ia franja es igual a cos - = "'. Considere-
w = iv, iv = a(1+iy)+1+ib 1, de donde hallamos a= -1. 4 v2
Finalmente, ob tenemos w = - z + 1 + bi, bE JR.
En el caso a) las rectas x = c, las cuales son parale-
mos Ia aplicacion z 1 = ../2 exp { i i} z = h ( ~ + ~) z = -
las a las rectas frontera, se transforman en si mismas, mientras (1 + i)z. Esta transforma Ia franja dada en Ia- franja D.
que en el caso b) las rectas paralelas que son simetricas res- Si w es Ia aplicacion buscada, entonces, d e manera anci-
loga a\ caso 2) tenemos (1 + i)w = (1 + i)z +- bi, o bien
pecto a Ia linea media de Ia franja x = ~ se transforman (1 + i)w = -(1 + i)z + 1 + bi, b E JR. En el primer caso ob-
I~. una en Ia otra. Evidentemente, para det~rminar Ia aplica- b
tenemos w = z +- - (1 + i) = z + b1(1 + i), b1 E JR, y en el segundo
CIOn de forma completa hay que cspecificar un par de pun- 2
tas correspondientes que se encuentren en una misma recta b+1 b- 1 b+1 i(b - 1)
1 w = -z + - - + i -- = -z + 1 + - - - 1 + - - -
x = const # 2, o en rectas simetricas respecto a Ia recta 2 2 2 2
b- 1 - -
1 -z + 1 + --(1 + i) = -z + 1 + b(1 + i), b E JR.
x = 2. La aplicacion no queda totalmente determinada si los 2
Dado que el caso 3) tambien se reduce al caso 1), los
puntos correspondientes se encuentran en Ia linea media de Ia razonarnientos anteriores acerca de las condiciones para la d eter-
franja. De este modo; w = z + ib, o bien w = -z + 1 + ib minacion univoca d e una aplicacion siguen siendo validos. .,..
b E JR. I
36. f(allar la .6:tnd6n~Ifueal entera w = w(z) que ttan -
formg la franja compcendida entre dos ~etas especificadas a
1
de donde -
h
= v1 b+ k2 . H ac1-en do g1rar
. Ia franJa
. en un angu
-
Io
-
( tL + ;b r r 2:
+ (v + :b
Hemos ob tenido Ia familia de las circunferencias d e radio
2.
1
r,:;
cisoide. ~
1 +v
La curva definida mediante .Ja ultima ecuaci6n se denomina
v2lbl
y centro en el pun to
2b 2b
(2-, 2-) .
Las circunferencias de esta familia
=
son tangentes a Ia recta v - u en el origen d e coordenadas. La
recta tambien pertenece a Ia familia para b 0. =
4) Escribamos Ia ecuaci6n del haz de las imagenes de
dicha familia: ~ Soluci6n. 1) Sean z = x+iy, w = u+iv, h = ht +ih2. Entonces
v ku
- u2
- ---
+ v2 -
es decir, ku + v = 0.
u2 + v2, w(z - zo) = 1 + h(z - zo), zo = xo + iyo,
1
Hemos obtenido el haz d e rectas v =- k1t. z(w - h) = 1 + z0 (w - h), z = - - + zo,
w-h
15 la<. 36
. . 1 por eso en el caso considerado - 1 < u < 1, v < 0. Como lwl = 1,
x + zy = xo + zyo + . =
(tt-h 1)+z(v-h 2) Ia parte de Ia fronteca del cuadrante -y1 = { z E C: 0 < Re z < + oo,
. - (tt - hi) - i(v - h2) Im z = 0} se transforma en Ia semicircunferencia unidad inferior
= xo + tyo + ' = =
con centro en el punto w 0. Sea z iy, 0 < y < +oo. Entonces
(.t t- hi)2 + (v - h2) 2
tL- h, v -h2 . iy- i y -1
x = xo + (tt- hi)2 + (v- h )2 , Y =Yo - . w(z) = tt + zv = -.~y--. = - -,
+t y +1
2 (tt - hi)2 + (v- h 2)2
Sustituyendo x e y por C obtenemos dos familias de circunfe- y-1
rencias tL = --,
y+1
-1 < tL < 1, v = 0.
2
(C- xo)((tt- h 1) + (v- hd)- (tt- hi)= 0, Vemos que Ia semirrecta y > 0 se ha transformado en el intervalo
2
(C- Yo)((u- hi) + (v- h2)2) + (v- h2) = 0. -1 < u < 1. De este modo, Ia funci6n w transforma el conjunto G
en el conjunto D = {wE C: lwl < lA Im w < 0}. ..,.
La primera familia pasa por el punto w =
h y es tangente en este
punto a una recta paralela al eje imaginario (Ia recta pertenece a
Ia familia). La segunda familia es tangente en el punto w h a = 41.
una recta paralela a! eje real. Esta recta tambien pertenece a Ia
familia.
. 1
2) Dado que z - z0 = R e'" y w = --+h, entonces w-
. z- z0
1 . 1
h = Re-a. Se obtuvo una familia de circunferencias de radio R
y centro e n el punto w = h. Es obvio que arg (w - h) - a es Ia = ~
.
S o Iuc1on. La runc10n
.. homograr1ca w = z - .i/2 trans for-
1 + (z12)z
fam.ilia de semirrectas que salen del punto w h. ..,. = rna e l drculo unidad G = {z E C: lzl < 1} en sl nus-
mo. Hallemos Ia imagen de Ia semicircunferencia superior
1 = { z E C: lzl = 1 /\ Im z > 0} . Tomemos tres puntos z 1 = -1,
, 3 4
r
=
z2 i, z3 = 1. Estos se transforman en w1 =-S-is, w2 i, =
.4 p . . . . nf .
w3 = -3 - z-. I
or constgUlente, a semtctrcu erenc1a 1 se trans-
5 5
~ Soluci6n. Para z =x y0 < x < +oo forma en el arco de circunferencia superior con extremos en
3 4
x-i x 2 -1 2x los puntos S -is. Hallemos ahora Ia imagen del intervalo
w=u+iv= - - = - - - i -2 - .
x+i 2
x +1 x +1 -1 < x < 1 mediante Ia aplicaci6n w. Por ser w una aplicaci6n
2
x -1 homografica, Ia imagen del intervalo es un arco de circunferen-
La funci6n x ...... - 2- - es no decreciente: cia. En el caso considerado, esta circunferencia se define por
2
X +1
2
tres puntos z 1 = -1, z2 0 y z3 = =
1. Anteriormente hemos
2 obtenido que los puntos z1 y ZJ se transforman en los puntos
x - 1 x - 1 x - 1 1 x2 -
inf - 2 - = lim - 2-=-1, sup - 2- = lim - -=1, 3 4 3 4
O<z<+oo X + 1 z-+0 X + 1 O<z<+oo X +1 z-+oo X + 1
2
w1 = - - - i- y w3 =-- i-. El punto z se transforma en
5 5 5 5
15
i < u < 1.
el pun to w = - -. Es obvio transforma en el eje real del plano w sin el intervalo 0
2 7r
que el centro de Ia circunfe- Como ya sabemos, Ia semirrecta cp = 4 se transforma mediante
rencia que buscamos pcrte- una aplicaci6n homograficaen una circunferencia de ecuaci6n ge-
nece al eje imagi nario. Sea neral (u - a) 2 +(v - b)2 = R 2 . Para determinar a, by R haHemos
wo = (0, b) su centro y R 7r
3 4 su radio. La ecuaci6n de Ia las imagenes de tres puntos de Ia sernirrecta cp = 4: estas image-
5 -zs
circunferencia tiene Ia forma nes perteneceran a Ia circunfercncia y Ia definiran univocamente.
Fig. 40 u 2 + (v- b) 2 R 2 . Utilizan- = Es c6modo elegir los puntos z 1 = 0, z 2 = eif y z3 = oo. Tras una
do ahora el hecho de que 1 i
los puntos w 1 y w 3 pertenecen a Ia circunferencia, obtenemos serie de calculos sencillos obtenemos w1 = 0, w2 = - - r.>
2 2(v2-1)
9+ (45+ ) =
25
b
2
R
2
. Dado que el pun to - i tambien pertenece
2
y w 3 = 1. De esta manera, tenemos un sistema de tres ecuaciones
con tres incognitas a, b y R:
. 2
al arco de Ia circunferencia buscada, entonces ( ~ + b) = R2 . a2 + b2 = R2,
2 2
De esta forma, hemos obtenido un sistema de dos ecuaciones 1 )
( --a + ( 1 + b) =R,
2
= --54 3
para b y R . Resolviendolo, hallamos b
pues, Ia imagen del intervalo (-1, 1) es el arco de circunferen-
y R = -.
4
Asf {
'(1 ~ a)2 + b2 = ~~ - 1)
cia r = {w E C: lw +i~ ~ = ~ }, y todo el semicirculo D se 1 1 .;2.
Su soluci6n es a = -, b = -- , R = - , luego Ia circunferencia
transforma en una lunula que contiene el punto w = 0 y esta 2 2 2
buscada es
limitada por dos arcos de circunferencia f1 {wE C: lwl 1} = =
y r (fig. 40). ,...
K= { I 2 2il <T./2}
wE<C: w- 1 +
Fig.42
Solucion. 1) Hailemos Ia imagen del eje imaginario mediante Ia transforma en el eje real y los angu los se conservan. Tomemos dos
<1111
aplicacion w. Tenemos: = = =
puntos z 1 0 y z 2 oo en Ia recta x 0. Sus imagenes son los
1 .
iy -1 i
2
=
puntos w = - y w 1. Busquemos Ia unagen de Ia recta x 0 =
w=-.-=1+-.
ty y en Ia forma (u- a) + v = R (Ia imagen es una circunferencia).
2 2 2
Asi pues, Ia recta x = 0 se ha transformado en Ia recta u = 1. Las constantes a y R se obtienen a partir del sistema de ecua-
Hallemos Ia imagen d e Ia recta X = 1. Esta imagen sera ortogonal
al eje real, pues Ia aplicacion dada transforma el eje real en el
eje real. Por consiguiente, dicha imagen es Ia circunferencia de
ciones ( i -a) 2
= R 2 , (1- a)2 = R 2 . Rcsolviendolo obtenemos:
3
2
ecuaci6n (u - af + v = R 2 y centro en el eje real. El p unto a = -, R = -1 . La recta x = 0 se transforma en Ia ctrcunfereneta
. .
ec:o~i6n ~~- ~~ = ~
= = =
z 1 se transforma en el punto w 0, y el punto z oo, en el
punto w = 1. Para determinar a y R tenemos un sistema de dos de
ecuac10nes a2 -_ R 2, (1 - a )2 = R2, cuyas soluCJones
. son a = -1 t> Determinemos ahora Ia imagen de Ia recta x = 1. Las
2' imagenes de los p untos (t = 1, {2 = oo son los puntos w 1 == 0 y
1
R = 2. La ecuaci6n de Ia circunferencia buscada.es w 2 = 1. Dado que dicha recta se transforma en una circunferencia,
los puntos w1 y w2 pertenecen a ella, y como su centro se
i
{wE<C: lw - I= i}tangente a dicha recta (fig. 42).
a1 = R 1 = 2~. La ecuaci6n de Ia circunferencia es lw - 2~~ = 2~.
z- 1
2) Las imagenes de las rectas x == 0 y x == 1 son cir- Por consiguiente, mediante Ia fu nci6n w = - - Ia franja D se
z-2
cunferencias con centros en el eje real, dado que el eje real se transforma en Ia region limitada por dos circunferencias tangentes
0
Fig.44
Fig.43
Fig. 45
1
..,. Soluci6n. 1) La fu nci6n w 1 = - transforma el conjunto P \ K
en Ia franja
G
z
La funci6n w 2 d,dz ( w - -
= ---
dz- d,
1
dz
1)
transforma Ia franja D1
en Ia franja Dz = {Wz E <C: 0 < Re w2 < 1}; Ia aplicaci6n
= =
w Wz + ih (o Ia aplicaci6n w -w2 + 1 + ih h E R) transfor- 1
..,. Soluci6n. 1) Para mayor claridad escribamos las condiciones de
ma Ia franja D 2 en sf mism al es decir en Ia franja D (v. ej.3511)).
1
partida en forma de una tabla
.
Fmalmente obtenemos que w
1 = -d,- (dz
- - 1) + th,
. o b1en
.
d2- d, z z -1 i 1+ i
2
w = -dI d,- d2 ( dZ - 1) + 1+ ih, donde h E R es arbitrario (fig. 45).
w 0 2i 1- i
Busquemos Ia funci6n en Ia fo rma w =kz+1 -
- - _El p unta - 1
z-b
se transforma en el punta w = 0. De acuerdo con Ia tabla, para i, 1, H - i; '
determinar k y b tenemos el sistema de ecuaciones 00, i,1;
1 +i 0, oo, 1, resp.ectivamente.
2i = k - -
i - b'
{ 1 -i=k 2+ i <1111 Soluci6n. Es comodo resolver es te ejemplo de Ia misma ma-
- . nera que cl ej. 46: escribimos los datos en for~~ de una t~~la,
1 +t- b
Dividiendo las ecuaciones miembro a miembro, obtendremos una luego d eterminamos Ia forma genera l de Ia funcwn homograftca
ecu aci6n respecto a b: y, finalmente, hallamos las incognitas a pa rtir del sistema d e
ecuacioncs.
2i (1 + i) (1 - b + i)
1- i
= (i -b) (2 + i) -
1) Te nemos:
3 +2i
I: 1-: l7ll+i I
Tras una serie de transformaciones obtenemos b = - (i _ )-
2 1
Sustituyendo esta expresi6n en Ia primera ecuaci6n del sistema
l
hallamos que k = -2:. Finalmente resulta
luego w = z - a, con lo que se verifica oo .-. 1. Del sistema de
2i(z + 1) ecuaciones
z-b
w = - --'---'-
4z -1- Si i= -1-a = 1+a,
2) Las condiciones de partida escritas en forma de tabla -1-b 1+ b
{ i - a
1 + i=-.-b'
1-
obtenemos a = -i - 2, b =i - 2. Asi p ues,
z+i+2
sug ieren que Ia aplicaci6n hom~rafica se debe buscar en Ia forma w= .
z- a z - i+2
w = k - - - . Es obvio que se verifica Ia condici6n i----. oo. Las 2) Con ayuda de la tabla
z- z
incognitas k y a se determinan a partir del sistema de ecuaciones
i=k -1-a = k1+a,
-1 -i 1+ i
{
1 = k 11+z
+i - a
_ _ = k(1 + i -
- z
a). obtenemos que Ia aplicacion homografica tiene Ia forma w =
1 i z-a o
- - . En este caso -1 ~-+ oo e oo .-. z. ue da por dt .
e ermmar a.
Resolviendo este sistema obtenemos a = 3i, k = --.-, luego 1
1 - 2z z + ello
Para utilicemos Ia condicion i .-. 1. A parhr
. d e Ia ecuacwn
.,
(1 + 2i)z + 6 - 3i
w= ~ i-a
S(z - i) 1=i--
i +1
obtenemos que a = -1 + 2i. Por consiguiente, w -1/2 z -1/2
2 + i(z + 1)
2) A partir de Ia condici6n w _
2
= k~ , hallamos
w= - - - - Ia funci6n w. Tenemos:
z+1 2w - 1 2z -1
3) A partir de Ia tabla - - - k-- (2w - I ) (z - 2) = k(2z - 1) (w - 2),
w-2- z-2'
z{l- 4k) + 2k- 2
I: ~ -~ I: I: I w=
2z{l - k) + k- 4
.
1-i
w = - -(z + 1}. ~
2
2z{1 - i) + i - 4
3) Las condiciones de partida sugieren que Ia funci6n w
I 1 I+ h(z - i)
satisface las condiciones - - .
W-t
= --.
+h
Z-t
= Por. .
Z - t
. . . z(1+ih) +h
tanto, z - t = (w - t) {1 + hz - hz + _ ih Dado
th), w =
1
. 1 {1 + i)
que 1~--+ oo, entonces h + 1- th = 0, h = _ + i = - -- -
1 2
Obtenemos
z(3 - i) - (1 + i)
w= . ~
(I+ i) (I- z)
<Ill Soluci6n. 1) Buscamos Ia funci6n homogrtifica w en Ia forma
w-1 z-1 - 1 -1 2 k
- - . = k - -.. Dado que 0~--+ -1, entonces - - . =-. =-:-,
w-t z-t -1-t 1+t t
2i
de donde k = - -.. Por consiguiente,
1 +t
w-1 2i z- I
w-i I +i z-i' <111 Soluci6n. Para mayor claridad compongamos Ia tabla
w((I +i)(z-i)+2i{l -z)) =2{z-I)+(l+i)(z-i),
(3+i)z-1-i
w(z(I-i)+i+I) = z{3+ i)-I-i, w
(1-i)z+i+l .
Seg{m e l teorema 1, p. 1.3, para tres puntos dife rentes
51. Hallar ~a aplicaci6n del serniplano suRerior eq s1
cualesquiera z1 E C, z2 E C, 'z3 E C y Ires puntos diferentes
mismo que satisfaga las condiciones de normalizaci6n si-
cualesquiera w 1 E C, w2 E C, w3 E C, existe una sola aplicaci6n
.guientes: .
homografica L tal que L(zt:) = WJ.: (k = 1, 2, 3). Dicha aplicaci6n
se puede determinar a partir de Ia expresi6n = = =
"1) w(O) 1, w(l) ;;= 2, w(2) oo; 2) w(O) 1, w(i) 2i. =
(1) 1 Soluci6n. 1) Segun e l teorema 1, p.l.3, tenemos
z w- 1 2
ZJ - z 2 1 W3 - w2 1+i w=--.
2(z-1) w-2' 2-z
Dado que - -
Z3 - Z1
= -,
2 W3 - W1
= --,
2
Ia ex presion (1) toma
2) Compongamos Ia tabla
z +1 (w - 1) z- i
Ia forma - - = (1 + i)---. , cfe dondc w = -.- - . z i
z w- 1 tz -1 0 -t
La funci6n w transforma el semi plano superior P z E C: ={
1m z > 0} en el circulo unidad K ={
w E C: lwl < 1}, cuyo w 1 2i -2i
=
centro w 0 es Ia imagen del punto i. .,..
N6tcse que el punto -i se transforma en el punlo -2i, ya
que i se transforma en 2i (las imagenes de los puntos simetricos
son puntas simetricos). Volvamos a aplicar el teorema 1, p. 1.3.
Obtenemos
2z 4i w - 1 2z + 1
z - i = 2i + 1 W - 2i W = - 2 Z - 2
I ...
16l>r.l6
que sale del origen de coorder1adas. Utilizando Ia regia del
recorrido y Ia propil!dad de las transformaciones conformes de 2) Dado que z = 1 + ei9 1 entonces z" = 1 +1e-io =
conservar los m6dulos y los signos de los angulosl obtenemos 1 i 0 -
que Ia imagen del semicirculo superior es el cuarto cuadrante 2 + 2tg 2. La imagen simetrica es Ia recta de ecuaci6Q x = ~.
D = {(u~v) E ~: u > Olv < 0} . ll> 3) Escribamos Ia recta defmida en el plano mediante Ia
ecuaci6n y = 2 en Ia forma 'Y = {z E C.: -oo < Re z < +oo~
Im z = 2} 1 es decir1 z = x + i2.
Entonces
. + 1 X+ i2 X 2
z =x +ty = - - = - -=- - + t2- - 1
x - i2 x2 + 4 x2 + 4 x +4
X 2
x = x2 + 4 I Y = x2 + 4.
2x*
<1111 Soluci6n. Segun la formula (3) 1 p. 1.21 tenemos Sustituyendo x = y.
en el segundo miembro de Ia igual-
R2 x
z* = z0 + -==~ (1) dad x" =X-2--~ tras una serie de transformaciones sencillas
+4
z- z 0 obtenemos que
donde z 0 es el centro de la circunferencia y R es su radio.
En el caso 1) Zo = 01 R = 1; por consiguiente1 2
(x) + ( y - 4 1) = 12
161
es decir~ Iz- 4
i =
2
1
16
.
1
1 1 1 1
z = - = =
z 2+i = - - = -(2 + i).
2-i 5 En este caso Ia imagen simetrica es Ia circunferencia d e radio ~
4
l
9 9 y centro en el p un to z = -. ll>
En el caso 2) zo = i R = 3 z = i+
1 1 . . = - +i. ll> 4
2 +t- t 2
<1111 Soluci6n. Utilicemos Ia formula (1) del ej. 53. <1111 Soluci6n. 1) Es obvio que arg w(x) = a+ 2 arg (x - {3) 1 puesto
e
i9
1 ~ que arg (x- P) = - arg (x- /3);
1) Es evidente que z = T. Entonces z = i = 2e son 2) Derivando w(x) obtenemos
los puntos de Ia circunferimcia de radio 2 y centro en el origen '( }
wz=e ia Z - P- _Z + f3 =eia f3 - P i~
=e~
i2b
de coordenadas.
(z - /3)2 (z - {3)2 (z - f3)2
16"
.z - a
Realizando el cambio z = {J hallamos 2) Toll}ando a = 2i en Ia formula general w = e' 0 - - ,
z-t-a
I
- 10
. t'2b ei(a- 1f/2) iO Z - 2i
obtenemos w = e - -.. Puesto que
w (fJ) = ~ (i2W = 2b z + 2t
2
3) Por cuanto lw (z)l
1
= b , para V2b < lz - PI tiene I
w (z) = e
i8 4i
lz - fJI 2 (z + 2if'
Iugar u na contracci6n, mientras que para .J2b > lz- PI ocurre I
argw (2z) =8--=0,
7f'
(1)
2
eia
2 f eia
arg w' = arg - - = 0 =} a = 0,
w'(O) = eia(l -lal ), w (a)=
1
-lal2 . 2 1--
1
4
3) Si I(~ =:~;2 1 > 1, Ia parte correspondiente del cfrculo entonces
1
z- 2 2z -1
se dilata; si I (~ =:~~2 ~ < 1, entonces se contrae. Resolviendo estas
w= --z-
__ 2-z = - -.
1
desigualdades elementales, obtenemos que el conjunto de los pun- 2
t
2. Entonces,
~ { zE C lz- ~~ < /
2) AI ig ual que antes, hacemos a =
too inte<imos del cin:ulo G : , - I}
se dilata y el conjunto de los puntos exteriores del cfrculo
11 w' ( ~) = eia ,
1
arg w' ( ~) = ~ =} a= ~
1 --
D ~ { zEC lz- ~~ > / : ,
11
-I} se mntoe. La ""unfe.en- Por consiguiente,
4
Haciendo e'
o
= -1 en Ia segunda ecuaci6n del sistema, obtenemos
R2 I Rl i(O-IP)
R 1 Ri -IW i(O-IPJ 2a
~ -IW w (a) = R~ - la!Z . e ' w'(a)= R2. R~ - lal2e 2
1- a= - 2a + 2lal , o bien a= 2lal - 1.
2
h + R- Vh 2
- R2 .../Ji+R- ~ z
w=k--.
p= h+R+vh2 -R2 = vl}+R+vh+R = z +24
(2)
=h~>-Jh2-R2 =~-/-(~r -1.
Ya que el punto z = 24 E 12 se transforma en un punto
... 24 -8
de Ia circunferencia ~~~ entonces 1 = lkl-~ lkl 21 k
48
=
2e' 1 =
B = JR. La funci6n w = w(z) adquiere Ia forma
;o 2z
w=e - -
z+24
Como el punto z = 12 - 1 1 se transforma en un punto de Ia
circunferencia pI entonces
u-"
trans forma en la circunferencia 1'. Tenemos: Los puntos fijos de Ia funcion homognifica S o Lo s- que establece Ia correspon-
z +24 36 eiB =
dencia entre v y ( son 0 e oo, luego v k(, donde k -;s una constante compleja.
w=k---,
z
1 = lk l-
12'
k = -,
3
_8 E lit Por consiguiente, Ia aplicaci6n lineal L tiene Ia forma
W -
ZJ =
k Z - Z1 ( )
1
w- z 2 z- z 2
i6 z + 24 24 + 24 2 =
En caso de que z2 oo, para L tenemos w - z 1 k(z- z1) . =
w=e - - - p -
3z ' -3-24-- 3 La formula (1) se denomina forma normal de una aplicnci611 lwmogrtiftca con
(el punto z = 24 E 12 se transforma en un punto de Ia circun fe- dos pun los fijos. Como
rencia de radio p y centro w = 0). .,.. k = w - z 1 z - z2
(2)
W - Z2 Z- Z t
b
no depende de z, entonces tomando z = 0 y w = d obtenemos
Nota. AI resolver ciertos problemas en los que se utilizan las funciones homogrMi-
cas, es comodo utilizar Ia denominada forma normal de Ia aplicacion homografica a + d- J(a - d} 2 + 4bc
con dos puntas fijos. k - __:_-~~~== {3)
- a + d + J(a - d)Z + 4bc
11od a f uncwn az +
. ' 11omogra' f"tea L : z ,_. - - b , d Jstmta
" . d e Ia ap1Jcacwn
. 1"d.enhca
. a
cz + d Si z =oo, entonces k =d.
w = z, tiene a lo s umo dos puntos fijos, los cuales se mantienen invariables
mediante Ia aplicacion L. En efecto, Ia ecuacion Sc dis tingucn Ires casos: 1} k > 0; 2) k = ei0 (8 i= 0); 3) k = reio (8 i= 0, r i=
1). En el caso 1) Ia aplicaci6n (1} se denomina hiperb6/ica; en el caso 2), eliptica y
az + b
z = ...----
cz + d
en el caso 3), loxodr6mica.
17
Funciones tri onome!ricas e hi
w WI (k - 1 )wi +k w 0 1 00
~ ( z + ~) r =-~ (z + ~) =-z 2: 1.
2
w =1 - ( 1+
"
3) Dado que z
i
=
2 >-+ w 1 =34:i >-+ w =i , utilizando Ia
solucion del ej. 60 obtenemos
arg
dw1
=argw '(i)2 -argw 1 '(i)2 =- 7r 7r= 7r .
2 2 o bien
1 +a'
{ 1 - a= i(1 - a).
3. Sus soluciones son a= i y a= -i. Por consiguiente, Ia funci6n w
w - t .
W1- -1
4 4w 1 +3 -2z2 +3z- 2 tiene Ia fo rma
--.=1 3' w= - = 2z2 + 3z + 2
~ (z + ~) + ~z + 2i
w+1 . 4w 1 - 3
W1 + -t - -i z
4 . 2 z
w =- t 1( 1)
- 2 z+ ; +i
=t
-z-; + 2t
1 .
. z2 + 2iz + 1
2
z + 2iz + 1
=t
- z2 + 2iz - 1
= iz 2 + 2z + i .
i 3.
2) Ya que z =
2 ~--+ w 1 = 41 ~--+ w = 0, entonces
3
jq
w i - -1
4 4
iO WI -
3'1
..,. S oluci6n. Transformemos prime ramente el semidrculo K e n el w= e +3. = e 4wl + 3(
w1 -z
semiplano superior w 1 med ian te Ia funci6n w 1 = - ~ (z + ~) ,
4
Diferenciando la funci6n w respecto a Ia variable w1, hallamos
y desp ues el semiplano superior en e l drculo unidad d e manera dw 24iei9
que se verifiquen las con diciones d e normalizaci6n .
dw1 - (4wl + 3i)2 '
1) Escribamos Ia tabla de normalizaci6n:
z 1 -1 0 t>
dw (~i) 24ieiB 2. iO dw (~i) 7r
dw1- = -36 = - 3te ' arg dw
1
= -2 +B.
Wi - 1 1 00 Por otra parte, como vimos en el problema anterior,
w 1 - 1 -i
arg
dw (~i)
4 (.) (.)
= arg w' _: - arg w; _: .
La funci6n buscada w tiene Ia fo rma estand ar: d~ 2 2
(~i)
w=e --_, iBwl-a BErro
a
w 1 -a dw 7r
A partir de las condiciones de normalizaci6n obtenemos Sustituyendo en esa igualdad arg dw
1
= -2 + 8,
iO 1 + a
1=e - -
1 +a'
i B1 - a
- 1 =e -
1 -a
_,
.
-1=e .
iB
argw' (~) = i, argw\ (~) = 7r y eligiendo argw\ (~) =-7r
< arg w' ( ~) - ( ~)
Considcremos Ia funcion
(dado_que - 1r arg w; :s:; 1r), obtenemos
w 1 + Rifa
7r 7r w2=
--+B= - -
2 2'
0 = 0. W1- R l /a '
4w1 - 3i
-2 (z + ~) -
z
3i
2z
2
+ 3iz + 2
1
w2(RI/ai) = "2(1 + i)2 = i. Por consiguiente, Ia fu ncion w2 trans-
fo rma el semicirculo dado en el primer cuadrante del plano w 2 .
~) + 3i
~
w = 4w 1 +3i = _ 2 ( z+ 2z2 - 3iz + 2 Por eso Ia aplicacion buscada es
w = w~ = (zl fa + Rl /a ) 2
z l/a _ R lfa
zlfa _ Rl / a
2) La fu ncion w 1 = 11 transforma Ia region D
Z a + R 11a
..,. Soluci6n. La transformaci6n considerada se cfcctua mediante en Ia region D' = {w 1 E C: lwtl > R 1fa Aim w1 > 0}. conforme a
Ia funcion de Zhukovski w = ~ ( z + ~) . Asimismo, se puede la solucion del ej. 74, tenemos
zlf a _ Rl /a ) 2
utilizar una funcion homografica que tra nsforme Ia region G en w= ~
el primer cuad rante y despues elevar al cuadrado el resultado. +
( zl /a R lfa
z- 1
Tomemos w 1 = --.
z+ 1
Entonces z = 1 .--. w = 0, z = - 1 .--.
1
w -- w 24 -
-
(
- t
z - ../2(1 - i))4
-
-
( z - ../2(1 - i)) 4
.,.
z - ../2(1 + i) z - ../2(1 + i)
Fig. 54 Fig. 55
2 - ../2(1 - i) (../2 - 1 + if
../2 - 1 + i
w 1 (2) = = = =
2 -../2(1 + i) ../2-1 - i (/.2 - 1)2+ 1
~ Soluci6n. Tomando w1 = - iz obtenemos el plano con un corte
2 - 2.f2 + 2i(../2-1) i- 1 1 i a Io largo del segmento [- 1, 1], es decir, reducimos este problema
- =-- --+- al anterior. Asf pues,
4- 2../2 ../2 - ../2 ../2"
+ 1 = v -iz-: 1 = ~-
w= Jw,1-w,
Vemos que el punto z = 2 se tr:ansforma en un punto de Ia
bisectriz del segundo cuadrante. Como ...
1+tz v~
~ 2../2 - ../2(1 - i) 2 - (1-i) 1 + i .
w 1(2v2) = = = - = t,
2../2 - V2(1 + i) 2- (1 + i) 1- i
Ia imagen del punto z = 2../2 pertenece a! eje imaginario del plano
w,. De este modo, Ia Iunula Ds se transforma en el interior del
angulo formado por el semieje imaginario positivo y Ia bisectriz ~ Soluci6n. To memos Ia funci6n lineal w1 = az + b y exijamos que
del segundo cuadrante (fig. 55).
z 1 ...... - 1, z2 ...... 1. Para determinar a y b obtenemos un sistema
de d os ecuaciones con dos incognitas: 1(
w2 = e - ;r w1 transforma el plano
w 1 con el corte descrito en el
- 1 = az1 + b plano con un corte a lo largo del semieje positive, y Ia aplicacion
{ 1 = az2 +b. buscada es w = ,fiiii. = e -ii Jz - i. .,..
2 Z t + z2
Sus soluciones son a =- --
Z2- Zt
y b = ---.
Z t - Z2
Asf pues, el
problema se ha reducido a Ia transformacion del plano w1 con
un corte a lo largo del segmento [-1, 1] en el semi plano superior
(v. ej. 77). Por consiguiente,
w = Jw + 1 = V
1
1 - w1
/az +b+1
1 - az - b
= <111 Soluci6n. La funcion w 1 = z 2 transforma dicho semiplano en el
plano con un cortea lo largo del segmento (- h2, 0]. Tomando w 2 =
w 1 + h 2 obtenemos una aplicacion del plano w 1 con el corte indi-
+ +2z z1 z2
---
z2
+
tE-z
- iz1
2z
Zz - Z t
z1
1
Zz
= - -.
z2 - z
...
cado en el plano con un corte a lo largo del segmento [0, h2 ]. Por
consig uiente, w = ,fiiii. = Jz 2 + h2 es Ia aplicacion buscada. .,..
1--- +--
Z2 - Zt Z2- Z t
=
~ Soluci6n. La funcion w 1 z - i transforma el plano dado en
un plano con un corte que comienza en ei-punto w 1 = 0 y se
extiende a lo largo de Ia bisectriz del primer cuadrante. La funcion
1
~ Soluci6n. 1) La funcion w1 = ,JZ (escogiendo apropiadamente A partir de Ia condicion w'(O) > 0 se ded uce que k > 0:
Ia rama) transforma Ia region dada en el semidrculo superior. En-
Puesto que lkl = 1, entonces k = 8
ei > 0 para 0 = 0, es decir,
= ( :: ~ ~ ) = ( ~ ~ ~)
2 2
cons1.g wente,
. ., buscad a es w = ,fZ _ 1)
Ia f unClon
1
2
(,JZ+
Notese que, aunque las funciones w en ambos casos
parecen tener Ia misma forma, en cada uno elegimos difere ntes
ramas de ,JZ. ..,.
~ Soluci6n. El cambio z = R eio en la formula de w produce
w= u + iv = 2 1 ia
1 ( Re + ]i.e -ia) =
= i(( + ~)
R cos a+ i (R- ~) sen a)
Consiguientemente,
~ Soluci6n. Sea z = z(w1) Ia aplicaci6n del semiplano superior
del plano w 1 en el drculo K . Entonces z
Wi - {3
k- - =
-, k
e'8 , =
u= i ( + ~)
R cos a, v = i( R- ~) sen a. (1)
-
1) kz
= (z- k)2 (v. sec. 5).
Escribiendo las dos primeras ec~aciones de (2) en Ia forma
Derivando w, tenemos
w'(z) = - k (z + k) .
(z - k)3 ~
u _ 1
- 2
(R + ..!._) R '
_v _ ~
sen a - 2
(R_. !. )
R '
18 'l.u. 36
elevando al cuadrado ambos miembros de las igualdades obteni- Como w 1(oo) = oo, entonces
das y sumando miembro a miembro los resultados, obtenemos
dw 2 (oo)
1
arg - - - arg2
. dw 1
= = 0.
-----= (3)
R Haciendo w = w2 eia, obtenemos
que v = 0, u =
R + 1/ R r::-1"
~ yR R = 1. De un modo analogo w= -
e ia
(z + J z 2 - 2) .
2 c
se establece que a Ia semirrecta arg z = 1r le corresponde Ia 2) Realicemos una aplicaci6n de semejanza tal que los
semirrecta tp-,; = {w E C: Re w :::::; - 1, Im w = 0}, y a las focos de Ia elipse sean los puntos ( - 1, 0) y (1, 0). Obtenemos
semirrectas arg = 7r2", el eje Re w =0. ~ z
w, = Ja2- b2.
Hallemos el radio r de Ia circunferencia que resulta de aplicar Ia
funci6n de Zhukovski a Ia elipse dada:
uf
---=---2 +
vr 2 = 1.
( ~) (~)
a
Sea a= ~. El valor de r se obtiene a partir de Ia
~ Soluci6n. 1) Haciendo w,
z
= -c el segrnento [-c, c] se transforma a ~ a +b
en el segmento [-1, 1]. Ahora transformemos Ia funci6n w 1 - r= Ja2-b2 + y~= Ja2-b2.
mediante Ia aplicaci6n inversa de Ia funci6n de Zhukovski. Ahora utilicemos Ia aplicaci6n inversa de Ia funci6n de Zhukovski
haciendo w2 = w1 + Vwr-"1-
v
Obtenemos Entonces, Ia funci6n buscada w es
= w, + wr - 1.
w =~=~(~ + v~~~-1)=
w2
Diferenciemos Ia funci6n w 2 :
dw2 w, .
-=1 +
dw 1 Vwr-"1 = a:b (z+Jz2- (a2-b2)).
18
Mediante Ia aplicacion in versa de Ia funcion de Zhukovski,
3) Utilicemos Ia solucion del problema anterior. Transfer-
transformemos el anillo eliptico en uno circular:
memos Ia region dada en el semiplano_superior del que se ha
eliminado un semicirculo unidad. Tenemos:
w2 J
= Wt + wi - 1 = ~ (z + Jz 2
-
2 - b2) ) .
(a
az-bJz2 - (a2-b2) a= -
2
1(r+ 1)- . r
1 r = a .Ja2=1.
a2-b2
....
TJ ._ , a b
r2 = I ~2 , r.2 Ia2 +k2 = ,ja2 +k2 Jb2 +k2
1
---1
a2- b2
t>
a-b
J.L= ....
,ja2 + k2- ,jb2 + k2.
z
<1111 Sol ucion. La aplicacion d e semejanza w 1 = ~ transforma
- v~-~ <1111 Soluci6n. Sea a > 0. Como Ia funcion de Zhukovski transforma
Ia elipse dada en Ia elipse con focos en los puntas 1 y cjes
_ a - b el circulo unidad en todo el plano con un corte a lo largo del
a= b=-=== segmento [ -1 1 1] 1 el cual es Ia imagen de Ia frontera del drculo1
Ja2-b2' Ja2-~
entonces dicha funcion transfonna Ia region dada en todo cl
plano w con un corte a lo largo_del segmento [ - 1, ~ (a + ~) ] . ~ Solucion. La funcion de Zhukovski w 1 =~ (z+ ~) transforma
el conjunto dado en "tod o el plano w 1 con un corte a lo largo
Sea a < 0. La funcion de Zhukovski w = ~ ( z + ~) de Ia semirrecta ( -oo, ~ (a + ~) ) . En efecto, ~ (a + ~) ~
transforma el punto a en ~ (a + ~) < -1 y el punto - 1
g = 1, z = x-+ -oo cuando x-+ - 0, y la circunferencia
en -1. Sea z = x. Para x-+ -0 tenemos ~ (x + X
2
2.) -+ -oo
I
1 = {z E C: lzl = 1} se transforma en el corte a lo largo d el
segmento [- 1, 1]. Asf obtenemos el plano con un corte a lo largo
.
nuentras :ue para x-+ 1( 1)
+0, 2" x + ;- -+ +oo. Por tanto, en el de Ia semirrecta 1' = ( -oo, ~ (a+ ~) ) . Ahora consideremos
caso cons1derado, Ia funcion de Zhukovski transforma Ia region
dada en todo el plano w con cortes a lo largo d e las semirrectas Ia funcion w2 = w1 - ~ ( a+ ~) que transforma el plano w 1 con
( -oo, ~(a+~)] y (- l,+oo). ~ su corte en todo el plano w 2 con un corte a lo largo del semieje
real negativo. Con ayuda de la funcion w3 = -w2 obtenemos
un plano con un corte a lo largo del semieje real positive. Por
consiguiente, la funcion buscada es
w=
1 +~ (z+~) funci6n d e Zhukovski w2 =
2
(w 2..)
~ 1 + W1 transforma el circulo
~- ~ (z + 2.). con el corte en todo el plano w2 con dos cortes a lo largo de
-oo, -~ ( (i + ~2 ))
4 2 z
las semirrectas ( y [0, +oo), mientras que
este plano con los dos cortes es transformado por Ia funcion
w2+~ (ci+ ~)
w3 = en todo el plano con un corte a lo
w2
largo del semieje real positivoo Por consiguiente, w
aplicaci6n buscadao Finalmente,
= v'W3 es Ia 0 e'00 ] , mientras que Ia funci6n w2 =
[(1 _ h)e'o,
1
1(
2 w1 + w 1)
tra nsforma este cfrculo en todo el plano W2 con un corte a Io
la rgo del segmento [-1, h1h donde
2
(1- h) + 1
w= hi =2
1( 1 )
1- h + 1- h = 2(1 - h)
0
un corte a lo largo de Ia semjrrecta [ - ~ ( ci +~2 ) , +oo) 0 La La funci6n w 3 trans forma el plano w2 con el corte [-1, h1l
corte indicado en todo el plano w3 con un corte a lo largo del [ 4(1 - h) ' 4fl. - h)
se~eje real positivoo Por consiguiente, urudad K 1 = { w E <C: lwl < 1} 1 en el cual se transforma el dr-
0 (>
~-ulo K L1 funci6n w =
0
~ (w+; ) transforma el drculo K,
en todo el plano w con un corte a lo largo del segmento [ - 1~ 1] 0
U { z E C: b ~ Re z ~ +oo, Im z = 0} donde
de Ia frontera se tran sforma en el segmento ~-~ ~+~
a= f3= 2 . ~
L' = {Wt EC: -oo ~ Re w1 ~ - J a2 + Cl, 1m w1 = 0} u 2
W=
V(z+D,+(-D,+V(-+D'+(-D' Ia funcion de Zhukovski, transforma conformemente Ia mitad
superior de Ia region indicada en el sector 0 < arg w 1 < a,
w~/a transforma es te sector
=
I(+D'+ (-D'-1(z+D'+(-D' ~ lw 11> 1 (fig. 60). La funcion w2
~ en el semipla no superior sin el
CY semidrculo unidad, y Ia funcion
w = 2~ (w + 2_) transforma
( .z+~ ) P
transformaciones sencillas obtenemos
W = ~ ( ( e - ia ( z + Jz2-=1 ~) 2(.-.._a) _ _ w= e - ta _ _ _ __
c
- ( e-i~ ( z + Jz2-=1) )- .-_a)) . .,_
2(.. donde
b
a= arctg -, p= a' c= Va 2
+fil.
a 2arctg b
19 J:" . 36
103. Hall~ la imagen d e losconjlt!ltos siguiente~ mediante
Ia apJi.c~ciiSn w = ch z:
=
1) una 'Ted rectangular x C !-- y := C;
=
2) la franja G {z E ~ 0 < lpv~ ~ 1rJ;
3) !,a semifianja 'ID = { z E C R~ z;;:
Ot 0 < ~ z < 1r}..
~ Soluci6n. La composici6n de las aplicaciones w 1 = z - 1 y
7r
w 2 = - w 1 transfonna Ia fra nja G en Ia franja D del ej. 103,3).
h
Por tanto, Ia fu nci6n w 3 = ch w 2 transforma Ia region dada en el
~ Soluci6n. 1) Sea se miplano infe rior. Entonces
e +e- ex+iy + e-x-iy
w=u+~=
2
= 2
= w = -w3 = - ch
(z - 1)7r
h . ~
=!2 (e:z:(cos y +iseny)+e-:z:(cos y-i seny)) =
=cosy ch x + i sen y sh x.
Tenemos u =cos y ch x, v =sen y sh x. Si x = C, cntonces
uz vz
u =cosy ch C, v =sen y sh C, ch zc + sh zc = 1.
Hemos obtenido una familia de e lipses confocales con focos en -2 2
los puntos Re z = 1.
Si y = C, entonces
uz vz
u = cos C ch x, v = sen C sh x, - 2- - - 2- = 1.
ch C sh C
Las rectas y = C se transforman en una familia de hiperbolas
confocales con focos en los puntos Re z = 1. Fig.63 Fig.64
2) Para y = 0 se tiene u = ch x, v = 0, y para y = 1r
se tie ne u = - ch x, v = 0. La funci6n w = ch z transforma Ia
franja G en todo el plano con cortes a lo largo de las semirrectas
(-oo, - 1], [1, +oo).
= =
3) Dado que ~(0) 1 y w(i1r) - 1,_el segmento [0, i1r] se
transforma en el segmento [ - 1, 1]; n6tese que al mover un pun to h
de 0 a i1r el punto imagen se desplaza de 1 a - 1. Los puntos ~ Soluci6n. Sea d el ancho de Ia franja. Es evidente que d = ../2
imagenes en el p lano w se encuentran, segun la regia del recorrido, .,..
a Ia izquierda, es decir, pertenecen al semiplano inferior. Si z = x (fig. 63). La com posicion de las aplicaciones Wt = e- 4 z, w 2 =
7r 11"(1-i):
y x --+ -oo, Ia semirrecta ( -oo, 0] se transforma en Ia semirrecta - w 1 y w = e101 = e h resuelve el problema planteado. ~
[1, +oo), mientras que si z =
x + i1r, x --+ -oo, Ia funci6n d
w(z) = - ch x tiende a -oo y la semirrecta 1 = {z E C Rc z ~ 0,
Im z = i1r} se trans forma en Ia semirrecta (- oo, -1] . De acuerdo
con Ia regia del recorrido, la semifranja D se transforma med iante
la funci6n w = ch z en el semiplano inferior. ~
19
z
~ Soluci6n. La funci6n w, = -z-
- 2 transforma Ia lunula circular
Fig.66
D
Fig. 65
Tomando
w3 = tgw2 = tg ( ~(-z+i)
2 z- i
_ ~) = tg7r..:.__;_(z+3i)
4 4(z - i)
-i obtenemos Ia aplicaci6n de Ia franja D en el d rculo unidad con
1
r 7r
t> argw3 (- 3t} =
2.
Tomemos ahora w = w(w3 ) y-exijamos que se cumpla Ia condici6n
7r
de normalizaci6n arg w ( -3i) = 3". Diferenciando w respecto a
1
Ia variable Z1 encontramos
dw dw
dw3
1
dz dw3. dz
arg -dw(z)
- I dw(w3)
=arg - - I .
+a rg -dw3(z)
- I 1
dz =-Ji dw3 1DJ=O dz =-Ji
z +i
~ Soluci6n. La funci6n w 1 = - - . transforma el conjunto G en o bien .
Z- 1 7r I 7r I 7r7r 7r
la franja vertical D = {w 1 E C: 0 < Re w 1 < 1} I y Ia funci6n - = arg w (0) + -~
3 2
de donde a rgw (0) = - - -
3 2
= --.
6
La funci6n w = w(w3) debe satisfacer las condiciones w(O) = 0, con dichos cortes e n todo el plnno con un corte a lo la rgo de Ia
1f semirrecta [0; +oo)o Por consiguicnte,
arg w' (0) = -- Por consiguiente,
0
6
cos2z + ch 2h
z +-
7r ( -
w=e - i 6lr w3 = e - (!.6 tg- J3 -
3i) = - - i tg-
1f ( z + 3i )
-- w=.JWi=
0 cos2z + 1
4 z-i 2 4 z-i
Teniendo en cuenta Ia igualdad tg z = -i th iz, podemos repre- es Ia aplicacion buscadao ~
sentar w(z) en Ia forma
1 + i./3 1ri(z + 3i)
w =- th 0 ~
2 4(z - i)
..,.. Soluci6n. La funci6n WI = 1fZ transforma Ia franja G en Ia ..,.. Solucion. Tomando WI = -1 transformamos dicha region en
z
franja D = {WI E C: 0 < Re WI < 1r}, mientras que Ia funci6n
=
w2 cos WI transforma la franja D en todo el plano con dos Ia franja vertical G = { WI E C: 0 < Re WI < ~} con cor-
cortes a lo largo de las semirrectas ( -oo, -1] y [cos 1rh, +oo ). De
este modo, tes a Io largo de los segmentos [ 0, ~] y [ ~, ~] 0 La fun-
W2 -cos
w= , , __ _ 1fh I cos 1fZ -cos 1fh cion w2 =27rwi transforma el conjunto G en Ia franja verti-
, w2 + 1 V 1 + cos 1r z
cal D ={w2 E C: 0 < Rew2 < 1r} con cortes a lo largo de
2 2
es la aplicacion buscadao ~ los segmentos [ 0, :] y [ : , 1r] , y Ia funcion w 3 = cos w2
transforma Ia franja D en todo el p lano con cortes a lo largo
2 2
de las semirrectas ( - oo, cos : ] y [cos :, +oo) Tomando 0
211' 21f
cos - - cos-
z b
=
..,.. Soluci6n. Tomando WI cos 2z transformamos el conjunto G en w=rw4 = 211' 21f
todo el plano con cortes a lo largo de las semirrectas (- oo, - ch 2h] cos - - cos-
z a
w 1 +ch2h
y [ -1, +oo) La funcion w 2 =
0 tra nsforma el plano es Ia aplicacion requeridao ~
W1 +1
j 0
@Ejercicios 3
2z+/3 + i)
2
l. Utilizando Ia aplicacion w = z hallil r Ia imagen del circulo K = {z E C: lz-11 < 2}. c) G = {zE C: lzl <1}n {zEC: lz+il> 1} , w=- ( /3 .
2z- 3 + 1
2. Demostrar q~e si el punta z recorre tma circunferenciil 1 = {z E C: lzl = 2}, 11. Hallar Ia funcion potencial que transforma de modo biunivoco y conforme el interior
I
entonces cl punta. w = z - 2i + -z recorre unil elipse de ejes principilles igualcs del angulo 0 < arg z < J7r en todo el plano complejo w con un corte a lo largo d e
a 5 y 3. 7r
~}
16. Hallar una funci6n lineal entera que transforma el tricingulo con vertices en los
6. Hallar Ia imagen de Ia region G = { z E C: lzl < 2, 0 < arg z < mediante Ia puntas 0, 1, i en el triangulo semejante con vertices en 0, 2, 1 + i.
4 2 17. Hallar una aplicaci6n lineal entera con un punta fijo 1 + 2i, Ia cual transforma el
z + 16)
aplicacion w = ( ~ punta i en el punta - i.
z - 16
18. Para las aplicaciones indicadas a continuacion, hallar los puntas fijos de arden finito
7. Hallar Ia imagen del conjunto G = {z E C: Re z ~ 0, lm z ~ 0} mediante Ia Zo (si existen), cl angufo de g iro (J alrededor de Zo y e) factor de difa tacion X.
z 2 - i
aplicacion w = - 2- - Reducir estas aplicaciones a Ia forma canonica w- z0 = A(z- z0 ).
z +1 =
a) w 2z + 1 - 3i;
8. Transformar el conjunto D =
2
{z E C: lzl ~ 1, Rez ~ 0} con ayuda d e Ia funcion b) w = iz + 4;
.z + 2z + 1 =
c) w z + I - 2i;
w =--1 .
z2- 2z -1 =
d) w- w 1 a(z- z1) (a ::j:. 0);
9. Demostrar que Ia funcion =
e) w az + b (a ::j:. 0).
(1 + z 3 f - i(I - z 3) 2 Z - ZJ
w= 19. Para Ia funci6n w = - - :
(1 + z3)2 + i(1 - z3)2 z- z 2
aplica univoca y conformemente Ia region a) demostrar que la preimagen d e la familia u = {w E C: lwl = A (0 < A < +oo)}
cs una familia de circunferencias (circunferencias de Apolonio). Para un A fij o
G = { z E C: lz l < 1, 0 < argz < ~} hallar el radio y el centro de Ia circunferencia correspondiente en el plano z;
b) haUar las preimagenes de las sernirrectas arg w = 9;
en Ia region D = {w E C: lwl < 1}. c) constrwr una red en el plano z que corresponda a una red polar en el plano w;
10. Hallar las imagenes d e las regiones indicadas mediante las aplicaciones especificadas: d) hallar una region d el plano z que correspond a a l sernicirculo K = {w E C: lwl < 1,
3 lm w>O}.
a) G={ zEC: lz l<2,lmz > 1}, w=- z +/3-
r-; i)
. ;
( 20. Hallar Ia forma general d e Ia funcion homografica w = w(z) que transforma el
z- v3- 1
4
circulo K = {z E C: lzl < 1} en el serniplano derecho P ={wE C: Rew > 0}
b) G = {zE C: Izl >2}n{z EC: jz -v'2 j <v'2 }, w= z - v'2(1-
v'2 i))
. ; de modo que w(z1) = 0, w(z 2) = oo, donde z 1 y z2 son dos puntas fijos de Ia
(
z- 2(1+z) circunferencia {)K tales que arg z 1 < arg z 2 .
98
21. Hallar el centro w0 y cl radio R de Ia circunfcrcncia que cs Ia imagen del cje real 32. Transformar en cl scmiplano superior el exterior del circulo unidad con cortes a lo
z- z1 IMgo del segmento [-a, -1] y de Ia semirrecta [1, +oo), dondc a > 1.
(lm z 2 # 0) mediante Ia funcion w = - - .
z- z2 33. Transformar cl d rculo ]( = {z E C: )zl < 1} con un corte a lo largo del segmento
22. Hallar Ia forma general de Ia funci6n homog rafica w = w(z) que transforma cl [a, 1), 0 <a< 1, en el circulo K' ={wE C: )w) < 1} de fo rma tal que w(O} =
0,
circulo K = {z E C: )z) < R} en si mismo bajo las condiciones siguientcs: w'(O) > 0. Haii<H w'(O) y Ia longitud del arco corrcspondientc al corte. ;.Para que
a) w(a) = 0 ()a) < R); valor de a Ia imagen del corte es una semicircunfcrcncia?
b) w(a) =
b (Ia) < R, )b) < R); 34. Transformar cl circulo K = {z E C: )z) < 1} con cortes a lo largo de los segmentos
c) w(R} R. = (a, 1], [- 1, - b] (0 < a < 1,0 < b < 1) en cl circulo J(' = {wE C: )w) < 1} de
23. Transformar el circulo K = {z E C: )z) < 1} en si mismo de form a tal que fo rma tal que w(O) = 0, w'(O) > 0. Dctcrminar w'(O) y las lon gitudes de los arcos
dos puntos fijos z 1, z 2 d el interior d el circulo sc transformen en los puntos a corrcspondicntcs a los cortes.
(0 <a < 1). 35. Transformar el exterior del d rculo unidad G ={
z E C: )z) > 1} en cl plano w
24. Transformar el circulo K = {z E C: )z) < 1} en si mismo d e forma tal que cl w- 1
segmento del eje real "/ = {z E C: 0 ~ Rc z ~a (a < 1), lm z = 0} se transforme con un corte a lo largo d el arco arg - - = f3 (0 < lf31 < 1r) de forma tal que
w+1
en un segmento del ejc real simetrico rcspccto al origcn de coordenadas. Hallar Ia
w(oo) = oo, arg w'(oo) =a.
longitud del seg mento transformado.
36. Hallar las imagcnes de los conjuntos siguientes mediante Ia aplicaci6n w = e':
25. Demostrar que toda aplicacion linea l de un drculo en o tro se determina univocamente
indicando las imagenes de un pw1to interior y de un p unto frontera. =
a) Ia red rectangular x C, y C; =
26. Demostrar que si una aplicacion lineal tiene dos puntos fijos, el producto de las b) las rectas y = kx + b;
derivadas en estos puntos es ig ual a uno. c) Ia franja a < y < f3 (0 ~ a < {J ~ 27r);
27. a) Determinar para que valores de m Ia funcion w = R(z + mz"), donde n EN, =
d) Ia franja entre las rcctas y x, y = x + 27f;
transforma conformemente el circulo K = {z E C: )z) < 1} en cierta region y c) Ia semifranja X < 0, 0 < y < a ~ 27f;
hallar esta region. f) Ia scmifranja x > 0, 0 < y <a~ 27f;
b) Resolver el mismo problema para Ia aplicacion del exterior d el circulo K g) cl rcctangulo (a, {J} x (;, 6) (6-; ~ 27r).
mediante Ia funcion w = R ( z + ;~) y para Ia aplicacion d el interior del mismo
37. Dctcrminar las imiigenes mediante Ia aplicacion w = In z de los conjuntos s iguientes:
a) Ia red polar )z ) = R, arg z = () ;
circulo efectuadas por Ia ftmcion w = R ( ~ + mz") . b) las espiralcs logaritmicas r = Aek"' (A > 0);
c) cl angulo 0 < arg z <a~ 27f;
28. Sea P = {z E C: Im z > 0} el semi plano con w1 corte a Jo largo del arco de Ia d) el sccto r S = {zE C: )z] <1, O<argz <a~27r};
circunferencia "/ = {z E C: )z ) = 1} que va desde el p unto z = 1 hasta el pun to c) el anillo K = {z E C: r 1 < )z) < r 2 } con un corte a lo largo del segmento
z = eia, donde 0 < a < 1r. Transformar cste semi p lano en el semip lano"superior. (r 1, Tz] .
29. Transformar en el semiplano superior el interior del an gulo 0 < arg z < 1r{3, 38. Dcterminar las imagenes de los conjuntos sigu ientes med iante Ia aplicacion w =
0 < f3 < 2 con un corte a lo largo del arco de Ia circunferencia "/ = {z E C: )z) = 1}
arcscn z:
que comienza en el punto z = 1 y term ina en el pun to z = eia, d onde 0 <a < {3.
a) cl semiplano s uperior;
30. Transformar en el semiplano superior cl interior del semicirculo unidad s uperior b) cl plan o condos cortes a lo largo d e las semirrcctas ( - oo, -1 ], (1, +oo) d el cje
con un corte a lo largo del segmento [0, -i].
real;
31. Transformar Ia red polar mediante las funcioncs siguicntcs:
a) w = ~ (z- D;
2
c) el primer cuadrante;
d) el semi plano P = {z E C: Re z < 0} con un corte a lo largo de Ia semirrecta
(- oo,-1 ] del cje real.
b) w =Z 1(z + -:;
a ) (a> 0); 39. Hallar las imagencs de:
=
a) Ia red rectangular x C, y C; =
2
b) Ia semifranja P = {z E C: 0 < Rez < 7f, lm z > 0};
c) w = 21 ( z + ~
c ) , c = iclei 1
(0 ~ ; < 1r}. c) Ia franja G = {z E C: 0 < Rez < 1r};
Funciones elementales en el e ia!lo C0!}1p~ejo
Zz- Zt
en el semiplano superior.
45. Transformar en el semiplano s uperior Ia region limitad a por las circunferencias 16. Zt = -1, WJ = 1.
'Y1 = {z E C: lz - 11 = 1}, 'Y2 = {z E C: lz + 11 =
1} con un corte a lo largo de Ia 19. a) La circunferencia d e radio R y centro en el punto a;
=
semirrecta -y3 {z E C: 2 ~ Re z < +oo, Im z 0}. = b) Ia recta x + y = 1;
46. Transformar en el semiplano superior Ia region limitada por las circunferencias
'Y1 = {z E C: lz- II = 1}, -y2 = {z E C: lz- 21 =
2} con un corte a lo largo d el c) Ia semirrecta que sale del origen de coordenadas y forma un angulo a
segmento -y3 = {z E C: 2 ~ Rez ~ a, Im z 0} (a < 4) . = con el eje real positivo;
47. Transformar en el semiplano s uperior Ia region limitada por las circunferen- d) el eje real;
( 1)2 - = 14;
cias 'Y1 = {z E C: lz - 11 = 1}, -y2 = {z E C: lz - 21 = 2} con dos cor- 2
tes a lo largo d e los segmentos -y3 = {z E C: 2 ~ Re z ~ a, Im z = 0} y 2
e) Ia hiperbola x- y
-y4 = {z E C: b ~ Re z ~ 4, Im z = 0} (a< b).
48. Transformar en cl semiplano superior Ia region limitada por las circunferencias xz yz
'Y1 =
{z E C: lz- 11 = = =
1}, -y2 {z E C: lz + 11 1} con un corte a.Jo largo del f) Ia elipse -3 + -4 = 1,
segmento -y3 = =
{z E C: Re z 0, -a~ Im z ~ ,13} (a~ 0, f3 ~ 0).
2
g) Ia parabola y = 2x + 1.
20. a) Jm z 2 = 2; 6) v =-lui;
1 1 7) el semi plano u > 0 s in el drculo u 2 + v 2 - u ~ 0;
b) 1m -=-;
z 2 8) el semi plano v < 0 s in el circulo u 2 + v2 + v ~ 0;
c) z 2 + z2 1; = 9) Ia ci rcunferencia x 2 + y 2 - :_ = 0 si c f:. 0; el eje x = 0 s i c = 0;
d) Re (z + 1) = lzl; c
e) lzl + Re z = 1. 10) Ia circunferenc1 a x 2 + y 2 + -y
c
= 0 s1 c r-..J.. O; e I eJe y = 0 s1. c = 0 .
21. a) El anillo d e rad ios r y R y centro en el punto zo;
32 . a) El exterior d el circulo lzl ~ 2;
b) el semiplano d erecho incluido el eje imaginario;
b) cl scmipla no cerrad o q ue esta a Ia izquierda d e Ia recta Re z = 2,5,
c) Ia fra nja comprendida entre las rectas x = a y x = b; z:f:- 1.
d) Ia region comprend ida entre las circunferencias (x - 1)
2
+ (y 2
- 1) =2 34. a) Elips e;
y (x - 2)2 + (y - 2)2 = 8; b) espiral de Arqufmed es;
e) el semidrculo unidad d erecho con centro en el punto z = 0. c) rama de hiperbola;
22. z = 12 + 16i. d) cicloides.
24. a) Para ningun a; 35. a) oo;
2 b) 1;
b) J3; c) oo;
1
c) ,12; d) -2;
d) para ningun a. e) no existe;
9 f) 1 + i;
25 . a) + t;.
2 g) no exis te;
1 h) no exis te;
b) (1 - z)2 . i) no exis te.
-~, ~] .
36 . a) Continua;
30. b) El segm ento [ b) continua;
c) d iscontinua en todos los puntos;
31. 1) La circunferencia u 2 + v 2 - ~= 0 si c f:. 0; el ejc u = 0 s i c = 0; d) continua en todos los puntos salvo en z = 2i;
c
2 7r
2) Ia circunferencia u 2
+ ~ + ~ = 0 si c f:. 0; el eje v = 0 si c = 0; e) continua en todos los puntos salvo en las rcctas arg z = 2.
2 c
40. a) Analftica en C\ {0} ;
~) + ( v + ~) = ~;
2 2
20 J.o<. )6
44. a) f( z) = z 2 + 2z; e) si a = 1, no hay p untos fijos de orden finito; si a ::/= 1, entonces
2
b) f(z) = e + z + Sz + 9.
Zo = _b_,
1-a
0 =arga, k = lal, w- _ b_ = a(z- _ b_) .
1 -a 1 -a
19. La ecuaci6n de Ia familia de circunferencias de Apolonio respecto a los
Capitulo 3 z11 .>..
z--
puntos z 1 y z2 tiene Ia forma - =
1. La linea Re w = 4 cos tp{2 cos tp + 1) - 3,
lz- z 2
1m w = 4 sen tp{2 cos tp + 1), 0 ~ tp ~ 21r. z --z1, donde k > 0. A las semirrectas
20 . w = k exp { -21 ( 1r + arg-
z2) i } -
z1 z- z2
3 . El d rculo lwl < 1.
que sa len del punto w = 0 en el semi plano Re w > 0 les corresponden
5. El drculo lwl < 4. en el plano z los a rcos de circun ferencias que se encuentran dentro del
6 . El semi p lano 1m w > 0. drculo izl < 1 y pasan por los puntos z 1, z2. A las semicircunferencias
7. El drculo lwl ~ 1.
=
con centro en e l pun to w 0 que se encuentran en el semiplano Re w > 0
les corresponden los arcos de circunferencias de Apolonio respecto a los
8. El drculo lwl ~ 1. puntos z 1 y z2 que se encuentran dentro del d rculo lzl < 1.
10. a) Im w > 0;
b) Im w > 0;
c) Im w < 0.
=R2 e'. z -a
1(
11. w = e' 4z3 . 22. a) w 01
R 2 - az
;
20*
-R zei"t+ iei{J/2 ) 2
distancia mR del centro de un circulo d e radio - que rueda por el exterior de w -1
n 35.
w +1 ( zei1 + ie-ifJ/2 ' donde I =a si {3 > 0, y I = a + 7r si
R(n -1)
un drculo deradio
n
; {3 < 0.
b)
1
lml ::::; -. En el primer caso, el exterior del circulo unidad; en
36. a) En Ia red polar p = const, 8 = const;
n b) en las espirales p = e<e-b)/k (pa ra k = 0, en las semirrectas 8 =b);
el segundo caso, su interior se transforma en e l exterior de una
c) en el angulo a < 0 < f3 (para a = 0 y {3 = 27r en e l p lano con un corte
hipocicloide acortada.
a lo largo del eje real positivo);
2 d) en todo el plano con un corte a lo largo de la espiral p e9; =
z -1) + tg2 --
a
28. w = (- -
z+ 1 2 e) en el sector p < 1, 0 < 8 < a (si a = 27r, en e l circulo u nidad con un
corte a lo largo del radio v = 0, 0 ::::; u ::::; 1);
29. w =
zi/fJ-1)2 2a
( zi/fJ + 1
f) en Ia region p > 1, 0 < 8 < a (para a = 27r, en el exterior del circulo
unidad con un corte a lo la rgo de la semirrecta v 0, 1 ::::; u < oo; =
+ tg 2{3
g) en Ia region ea < p < efJ, 1 < 8 < (para o
1 = 27r esta region o-
(1 - z)2/3 _ (l + z )2/3 )2 + ~ es un anillo concentrico con un corte a lo largo del segmen to (} 1, =
30. w = ( (1 - z)113 + (1 + z)213 3
ea ::::; p ::::; ei3 ).
48. w=
e -21rj{3 _ e2"i/z
I - unitario 19
aplicaci6n 15
- biyectiva 17
- ordenado 59
Cantor, curva 112
-, teorema 36, 50
e27r/a _ e2"i/z - continua en un conjunto 42, 46 Cauchy, criterio 99
J - - en un punto 42, 46 Cauchy- Riemann, condiciones 143
- - - en el sentido de Cauchy 45 cicloide 127
- de inversion 181 - acortada 128
- definida parametricamente 17 - alargada 128
- discontinua 42 circulo 183
- eliptica 259 circunferencia de Apolonio 86
- hiperb6lica 259 cisoide 225
- inversa 17 complemento de un conjunto 11
- invertible 17 componente conexa 112
- inyectiva 16 composici6n de aplicaciones 17
- loxodr6mica 259 conjunto abierto 27, 95
- acotado 26
- suprayectiva 16
- cerrado 30, 96
t> - unifonnemente continua 49
- compacto 40
aplicaciones mutuamente continuas 51
- - en un espacio metrico 35
Apolonio, circunferencia 86
- conexo 40
argumento de un numero complejo
- - abierto 97
57
- - cerrado 97
Arquimedes, espiral 85
- continuo 112
automorfismo homografico 184
- de puntos de una curva 111
- lineal112
B - secuencialmente compacto 35, 101
Banach, espacio 22 - totalmente acotado 36
Bernoulli, lemniscata 124 - vacio 7
bola abierta 25 conjuntos disjuntos 10
- cerrada 25 - iguales 7
- isomorfos !8 esfera 25 - de corriente 152 J
criteria de Cauchy 99 -de Riemann 61 - de una hoja 103 Jordan, curva 109
- de compacidad secuencia l 101 espacio de Banach 22 - de Zhukovski 206 - , - cerrad;\109
- de d iferenciabilidad de una funci6n - mctrico 23 - difercnciable en un punto 134 -, teorema 110
de variable compleja 142 - - completo 25 - discontinua 103
cuantificador existencial 5 - - conexo 40 - exponencial 199
- universal 5 - topol6gico 95 - - general 205 L
cuerpo 19 - vectorial 20 - hiperb6lica 212 Lagrange, desigualdad 154
- normado 20 - - normado 21 - homogrcifica 174 -, teorema 154
curva cerrada 109 espacios metricos homeomorfos 51 - implicita 17 Landau, simbolos 21
- continua 108 espiral de Arquimedes 85 - lineal140 latitud 62
- contrariamente orientada 110 estructura matematica 18 - mon6gena en un conjunto 139 Lebesgue-Bore!, teorema 102
- de Cantor 112 exterior de un conjunto 30 - - en un punto fin ito no aislado 139 lemniscata de Bernoulli 124
- de Jordan cerrada 109 extremos de un segmento 96 - multiforme 195 ley del tercio excluso 6
- s imple 109 - potencial 192 leyes de Morgan 11
-suave 109 F - quebrada 96 limite de una aplicaci6n 41
- - a trozos 111 forma exponencial de un numero com - trigonometrica 211 - - en el sentido de Cauchy 44
- - orientada 109 plejo 57 - vectorial diferenciable en un segmento - de una funci6n 103
- normal de una aplicaci6n homografica 108 - de una sucesi6n de numeros compte-
D con dos puntas fijos 259 . jos 97
derivada 135 - trigonometrica de un numero comple- G - - de puntas de un espacio metrico
- de una funci6n vectorial 108 jo 57 grcifico de una aplicaci6n 15 24
desigualdad de Lagrange 154 formula de Moivre 58 grupo 18 - -de vectores 21
diametro de lm conjunto 26 formulas principales de Ia proyecci6n - abeliano 18 - parcial de un sucesi6n de numeros
diferencia de conjuntos 10 estereogrMica 62 - aditivo 19 complejos 100
diferencial de una funci6n 141 Frechet, teorema 37 - multiplicativo 19 - "'---- de una aplicaci6n 41
Dirichlet, nucleo 72 frontera de un conjunto 34, 96 - - de una funci6n 103
distancia cordal 93 funci6n C-diferenciable 142 H l> longitud 62
- entre conjuntos 26 - R2 -diferenciable 142 Hausdorff, tcorema 37
dis tancias equivalentes 52 - acotada 107 hip6tesis de inducci6n 8
dominio de una aplicaci6n 15 - anaHtica 139 homeomorfismo 51 M
- - en el infinito 145 homogeneidad 140 metoda de coordenadas 12
E - - en un conjunto abierto 145 - de inducci6n matematica 8
ecuaci6n de division del circulo 74 - - - arbitrario 145 - de reducci6n al absurdo 6
elemento inverso 18 - - en un punto 145 imagen de un conjunto 16 mtHrica 23
- neutro 18 - - en una curva 145 - de una aplicaci6n 15 - esferica 93
- nulo 19 - - en una region 145 interior de un conjunto 29 - inducida 34
- unidad 19 - - - cerrada 145 intersecci6n de conjuntos 9 modulo de un numero complejo 54
entomo abierto de un conjunto 28 - compleja 102 isomorfismo de un conjunto sobre otro - de una region doblemente conexa 276
- de un conjunto 28 - continua en sentido general 108 18 Moivre, formula 58
- de un punto 46, 113 - - en un punto 103 - homografico 183 Morgan, leyes 11
N primera componente de un par ordenado - cerrada 41, 97 sistema de entomos 36
norma cubica 21 12 - compacta 113 subconj unto 7
- de un espacio 20 - proyecci6n de una relaci6n binaria 13 - de uniformidad 192 - acotado 94
- de w1 vector 21 principia de simetria de Riemann- - infinitamente conexa 112 - 1;1aximal 112
- euclidea 21 Schwarz 282 - multiplementc conexa 111 subespacio de un espacio metrico 34
- octaedrica 21 producto cartesiano 12 - no simplemente conexa 112 sucesi6n de elementos de w1 conjunto 16
nucleo de Dirichlet 72 prolongaci6n de una funci6n 16 - si mplemente conexa 112 - de numeros complejos, convergente
numero complejo 56 propiedad aditiva de una aplicaci6n li- - - - respccto al plano complejo ;un- 97
- - conjugado 56 neal 140 pliado 110 - de puntas de un espacio metrico 97
- circular 149, 178 regiones homogrcificamente isomorfas - - - -, convergente 24
0 - distributiva 19 183 - - - -, fundamenta l 24
operaci6n de adici6n 19 - lineal de Ia diferenciaci6n 136 regia del recorrido 183 - de vectores, convergentc 21
- de inversion de una relaci6n binaria - simetrica 23 rclaci6n binaria 13 - -, fundamental 22
15 - triangular 20, 23 - - funcional 15 - numerica acotada 21
- de multiplicaci6n 19 proyecci6n estereogrcifica 61 - - inversa 14 - - infinitesima 21
orientaci6n contraria 110 punto adherente 32, 95 restricci6n de una funci6n 16 - - real16
- de una curva 109 - aislado 34 - - en un conjunto 16 superficie de Riemann 194
- de acumulaci6n 33, 96 Riemann, esfera 61
p - de discontinuidad evitable 42, 103 -, superficie 194 T
par ordenado 12 - de ramificaci6n 195 Riemann-Cauchy, cond iciones 143 . teorema de acotaci6n de un compacta
paralelo 62 - - algebraico 195 Riemann-Schwarz, principia de simc- 101
parametrizaci6n de un segmento 96 - - - de n-Csimo orden 195 tria 282 - de Bolz.ano-Weiers trass 100
- de una curva continua 108 - - de n-esimo orden 195 -de Borei-Lebesgue 102
- - - en sentido general 112
- - suave 109
- -de arden infinito 195 s - de Cantor 36, 50
- de un espacio metrico 23 Schwarz-Riemann, - - 282 - de continuidad de Ia aplicaci6n inver-
- natural de una curva suave 110 - del infinito 60 sccci6n primera de un conjunto 13 sa 44
parametrizaciones equivalentes 109 - exterior 30 - segunda de un conjunto 14 - - de Ia composici6n de aplicaciones
- - de una curva suave 109 - frontera 34, 96 segmento 96 43
parametro 17 - interior 29, 95 ,., scgunda componente de un par ordena- - - -de funciones 105
pares ordenados iguales 12 - mUltiple 109 do 12 - - de Ia imagen de un compacta 42,
parte imaginaria de un numero complejo p untos simetricos respecto a una circun- - proyecci6n de una relaci6n binaria 14 107
56 ferencia 179, 181 semimeridiano 62 - - de Ia norma 21
- - de una funci6n compleja 102 - - respecto a una recta 179 simbolo de conjunci6n 6 - - de Ia restricci6n de una aplicaci6n
- real de un funci6n compleja 102 - de disyunci6n 6 46
- - de un numero complejo 56 R - de equivalencia 6 - - de las aplicaciones biyectivas 111
plano complejo 56 rama principal 202 - de implicaci6n 6 - - de una funci6n diferenciable 136
- - ampliado 60 - uniforme 194, 202 - de inclusion 7 - de Frecl1et 37
- ecuatorial 62 recta numerica 23 -de Landau o(1) 21 - de Hausdorff 37
polo norte 62 recubrimiento de un conjunto 37 - - 0(1) 21 - de invariancia de los p untos simetri-
- sur 62 regi6n 41, 97 - de-negaci6n 6 cos respecto a una aplicaci6n ho-
preimagen de un conjunto 16 - n-conexa 112 - de pertcnencia 7 mogrilfica 181
J
- de Jordan 110
- de Ia derivada de Ia composicion
- - en una region 150
trocoide 128
I
I
"
135
- - de Ia. funcion inversa 139 u
In dice
- - del cociente 138
union de conjuntos 10
- -del producto de funciones 138
- de Lagrange 154 v Pr6logo a "Variable compleja" . . . . . . . . . . . . . . . . . . . . . . . . 3
-de Viete 73
valor absoluto 19
- de Weierstrass 107 - de una aplicaci6n 15 Capitulo 1
- del limite de Ia composicion de fun-
ciones 106
- principa l del argumento 57 Estructuras fundamentales del analisis matematico . . . . . . 5
vector 20
topologia de un espacio metrico 52, Viete, teorema 73 1. Elementos de Ia teoria de conjuntos y aplicaciones . . . . . . . . . . 5
94 2. Estructuras matematicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
- definida por entomos 113 w 3. Espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
- del plano complejo 95 Weierstrass, teorema 107
transformacion conforme de primera es- Weierstrass- IJolzano, - 100
4. Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
pede 150 5. Espacios y conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . . . 40
- - de segunda especie 150
- -en un punto 149
z 6. Limite y contin uidad de una aplicaci6n
Zhukovski, funcion 206 de un espacio metrico en otro . . . . . . . . . . . . . . . . . . . . . . . . 41
Capitulo 2
Numeros complejos y funciones de variable complej a 53
1. Numeros complejos y plano complejo . . . . . . . . . . . . . . . . . . 53
2. Topologia del plano complejo. Sucesiones de numeros complejos.
Propiedades de las funciones continuas en u n compacto . . . . . . 93
3. Cu rvas continuas y suaves. Dominios simplemente y
mu ltiplemente conexos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4. Funciones d iferenciables de variable compleja.
Diferenciabilidad en C y en llf . Funciones analiticas . . . . . . . . 134
Capitulo 3
Funciones elementales en el plano complejo 174
1. Funciones homogrMicas y sus propiedades . . . . . . . . . . . . . . . 174
2. Funci6n potencial w = zn. Fw1ei6n mu ltifo rme z = \YW.
Superficie de Riemmm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
3. Funci6n exponencial w = ez. Funci6n multiforme z = Ln w . . . 199
4. Funciones potencial y exponencial generales . . . . . . . . . . . . . . 204
EDITORIAL URSS
BielokUrov,
de los casi 170 problemas van acompanados de indicaciones para su resolud6n.