1

Conjuntos de puntos en el plano complejo

Un conjunto S de puntos en el plano complejo es
cualquier coleccin finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuacin
cuadrtica, los puntos de una lnea, los puntos del interior
de un crculo, etc.

Qu lugares geomtricos describen las siguientes ecuaciones?
| o < < z Arg
La ecuacin Arg z= o define una semirecta infinita de pendiente
o. Entonces la desigualdad anterior define un sector infinito
comprendido entre las semirectas infinitas Arg z= o y Arg z= |.
| o < < ) Arg(
o
z z
(...)
2
Evaluacin en la E.S.O.
(por Inocencio Docente)
Comentario de la evaluacin
1. La grafa del signo seis es del todo
correcta.
2. Se puede apreciar lo mismo con el
siete.
3. El signo ms nos dice, acertadamente,
que se trata de una suma.
4. En cuanto al resultado vemos que el
uno es correcto. El segundo nmero,
efectivamente, no es ocho. Bueno, si lo
cortamos por la mitad de arriba abajo,
observamos que el alumno ha escrito dos
treses simtricos. Elegimos el bueno
porque se ve que su intencin era buena.
Evaluacin El conjunto de estas
observaciones evidencia que:
(a) La actitud del alumno es positiva (lo
intent).
(b) Los procedimientos son correctos (los
elementos estn ordenados
correctamente).
(c) En conceptos slo se equivoc
parcialmente en uno de los seis elementos
que forman el ejercicio. Esto es casi de
sobresaliente.
En Consecuencia podemos otorgarle un
"Notable" y decir que "Progresa
Adecuadamente"
3
Un conjunto de puntos S se llama abierto si cada punto de
S tiene un vecindad constituida enteramente por puntos que
pertenecen a S. Por ejemplo los puntos del interior de un
crculo o un cuadrado.

El complementario de un conjunto de puntos S es el
conjunto de todos los puntos que no pertenecen a S.

Un conjunto de puntos S se llama cerrado si su
complementario es abierto. Ej.: los puntos sobre y dentro de
un crculo o un cuadrado, puesto que sus complementarios
(los puntos exteriores al crculo o al cuadrado) son abiertos.
4
La distancia entre dos puntos z y a es |z-a|. De modo que un
crculo C de radio y centrado en a, puede expresarse como:
|z-a| =

a

x
y
z
En particular, el crculo de radio unidad
centrado en el origen puede escribirse
como: |z| = 1
x
y
1
i
C es abierto o cerrado?
5
Los puntos dentro del crculo C vienen representados por:
|z-a| < (un entorno abierto centrado en a).
define un entorno
circular cerrado centrado en a.
El anillo abierto de radios
1
y
2
, viene
dado por:
1
< |z-a| <
2
a

1
x
y

2
a

x
y
z
a

x
y
z
0 < |z-a| < define un entorno punteado.
s |z-a|
6
(1) Determina la regin en el plano complejo dada por:

|z-3-i| 4
Es la regin circular cerrada de radio 4
con centro en 3+i.
(2) Determina las regiones: (a) |z|<1; (b) |z| 1; (c) |z| >1
4
x
y
3+i
(a) Crculo unidad abierto (b) Crculo unidad cerrado (c) Exterior del crculo unidad.

7
Qu lugar geomtrico describe la siguiente ecuacin?
5 | 2 | | 2 | = + + z z
Una elipse de focos en -2 y 2 (suma de distancias a
los focos igual a 5) con semieje mayor igual a 5/2).
2
-2
Ejercicio: Qu representan las
siguientes ecuaciones?
3 ) Re( | 2 | ) (
| | | | ) (
| | | | ) (
| | | | ) (
| | | | ) (
+ =
=
s
> +
= +
z z e
c b z a z d
c b z a z c
c b z a z b
c b z a z a
8
Un punto interior de un conjunto S es un punto para el que
podemos encontrar un entorno o vecindad cuyos puntos
pertenecen todos a S. Por ejemplo, el centro de un crculo.
Un punto frontera de un conjunto S es un punto tal que
todo entorno alrededor de l contiene puntos que pertenecen a
S y que no pertenecen a S. Por ejemplo los puntos que forman
la frontera de un crculo.
Si un punto no es interior ni frontera de un conjunto de
puntos S, entonces es un punto exterior a S.
Entonces, si S es abierto no posee puntos frontera, solo
puntos interiores. Si S es cerrado posee tambin a sus puntos
frontera.
Algunos conjuntos no son ni abiertos ni cerrados. Contienen
algunos puntos frontera. Por ejemplo un entorno punteado.
El plano complejo C es abierto y cerrado a la vez. No posee
puntos frontera.
9
Conjuntos de Julia
Iteracin:
2
1 n n
z z =
+
Condicin inicial y rbita:
( ) { } { } ,... , , ,... ) ( , ) ( ,
2 1 0
2
2
0
2
0 0
z z z z z z =
Utilizando la identidad de Moivre:
( ) { }
{ } ),... 4 sin 4 (cos ), 2 sin 2 (cos ), sin (cos
,... )) sin (cos ( , )) sin (cos ( ), sin (cos
) sin (cos
4 2
2
2 2
0
u u u u u u
u u u u u u
u u
i r i r i r
i r i r i r
i r z
+ + +
= + + +
+ =
Gaston Maurice Julia
1893 - 1978
10
)] 2 sin( ) 2 [cos(
2
u u n i n r z
n
n
+ =
En el paso ensimo tendremos:
Si comenzamos con un nmero complejo de mdulo r < 1,
sucesivamente el mdulo ir disminuyendo hasta tomar valor
r = 0 para n infinito.

Al contrario, si r > 1 el mdulo aumentar exponencialmente,
tendiendo a infinito.

El caso frontera, r = 1, mantendr los valores de la iteracin
en un crculo de radio unidad sobre el plano complejo.
11
De modo que todos los puntos del plano complejo
pertenecen a uno de estos dos conjuntos:

(a) Si escapan al infinito (r > 1): conjunto de escape E.
En este caso los puntos exteriores del crculo unidad.
La frontera de P (r = 1) es
el conjunto de Julia de esta
iteracin: la circunferencia unidad.
(b) Si permanecen recluidos
en una regin finita (r 1):
conjunto prisionero P.
En este caso el crculo unidad
cerrado.
s
12
Julia centr sus estudios en el
conjunto de iteraciones cuadrticas:
Fijado el parmetro complejo c establecemos una iteracin
cuadrtica en concreto.
c z z
n n
+ =
+
2
1
Al potenciar el mdulo nos manda
al origen o al infinito, excepto para
el mdulo de valor 1 (con c = 0)
Elevar al cuadrado implica
multiplicar el ngulo por dos.
Sumar c = a+ib, consiste en
una traslacin.
13
Sea r(c) = max (|c|, 2). Supongamos que .
Es evidente que existe un c>0 tal que r(c) = 2 + c.
Observemos que:
|z
2
+ c| > |z
2
| - |c| = |z|
2
- |c| > |z|
2
- |z| =
(|z| - 1) |z| > (1 + c) |z|.

En conclusin, si z cumple las condiciones previas:
|z
2
+ c| > (1 + c) |z|. De modo que en cada iteracin el
mdulo del nuevo valor crece.
Cmo discriminar si un punto del plano complejo pertenece
o no al conjunto de escape E
c
? Existe un sencillo criterio: si
|z| es mayor o igual que |c| y mayor que 2, entonces z es
un punto de escape de la iteracin z
n+1
= z
n
2
+ c.
) ( | | c r z >
14
Fractint/Winfract
Ultrafractal (UF) probablemente es el programa de generacin
de fractales ms usado por la comunidad de ciberartistas que
experimentan con fractales.

Puedes bajarte una versin de evaluacin en
http://www.ultrafractal.com/, la pgina oficial del programa.

No te pierdas la galera de imgenes en:
http://www.ultrafractal.com/showcase.html.
Te hars una idea de las posibilidades de UF.
Ejecutar Ultrafractal localmente.
Curso de fractales en nuestra pgina del departamento:
http://matap.dmae.upm.es/cursofractales/index.html
15
Conjuntos conexos
Son los siguientes conjuntos de puntos dominios?



No existe camino entre
el tringulo inferior y el
tringulo superior.
a

x
y
Un disco abierto
a

1
x
y

2
Un anillo
abierto
x
y
Un cuadrado abierto
sin diagonal.
Un conjunto S se llama conexo si cualquier par de sus puntos pueden
conectarse mediante un camino formado por puntos que pertenecen a S.
Un abierto conexo se denomina dominio. P.ej.: todo entorno es un
dominio.
16
El conjunto de Mandelbrot
Benoit Mandelbrot
(1924 -)
17
c z z
n n
+ =
+
2
1
18




El valor de c determina si un conjunto de Julia es conexo o no.
Para determinar que valores de c producen conjuntos conexos
parece que no quede ms remedio que determinar cada conjunto
iterando todos los puntos del plano complejo para cada funcin
z
2
+ c. Afortunadamente, se puede demostrar que basta
con iterar z
0
= (0, 0) para cada c. Si la rbita no escapa al infinito,
entonces el conjunto es conexo:
(1) o bien pertenece al conjunto de Julia de z
2
+ c,
(2) o bien est atrapado.
En el primer caso el conjunto de Julia correspondiente ser dendrtico.
En el segundo caso el conjunto ser equivalente, topolgicamente a un
crculo.
El conjunto de todos los valores c tales que sus correspondientes
conjuntos de Julia son conexos forman en el plano complejo el famoso
conjunto de Mandelbrot.
19
En la figura de la izquierda estn
representados algunos conjuntos de Julia
con distintos valores de c (indicados
en el plano complejo por las lneas de
color azul). Para valores de c dentro del
conjunto de Mandelbrot la forma de los
conjuntos de Julia es semejante a
crculos. Fuera del conjunto tenemos
nubes de puntos desconectados
(conjuntos de Julia no conexos). Los
conjuntos de Julia ms interesantes
estticamente se observan
en la frontera. Las formas dendrticas de
los conjuntos de Julia corresponden a las
fronteras filamentosas del conjunto de
Mandelbrot. En la imagen inferior
puedes observar un gif animado
del efecto de la variacin continua del
parmetro c en las formas de los
conjuntos J a lo largo de
una lnea que va desde la frontera de M
(forma dendrtica) hasta su interior
(forma circular).
20
Una regin es un conjunto formado por un dominio, ms,
quizs, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan regin para indicar dominio).
Un conjunto es acotado si todo punto de S est dentro de
algn crculo |z| = R. En caso contrario es no acotado.
Un punto de S se dice que es de acumulacin si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulacin.
Un punto no es de acumulacin si existe un entorno
punteado del mismo que no contenga puntos de S. P.ej.:
Todos los puntos del conjunto S = {i/n} (n = 1,2,...) no son de
acumulacin a excepcin del cero.
21
Semiplanos infinitos
x
y
Inferior: z = x+iy tales que y < 0 o Im(z) < 0.
Semiplano superior: el conjunto de todos los
puntos z = x+iy tales que y > 0 o Im(z) > 0.
Derecho:
z = x+iy tales que x > 0 o Re(z) > 0.
Izquierdo:
z = x+iy tales que x < 0 o Re(z) < 0
x
y
x
y
x
y
Qu regiones describen?
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
22
Funciones complejas
Sea S un conjunto de nmeros complejos z.
Una funcin f definida sobre S es una regla que asigna a
cada z en S un nmero complejo w llamado valor de f en z.
w = f(z)
z es una variable compleja.
S es el dominio de definicin de f.
El conjunto de valores de la funcin f se llama rango de f.

Como w es complejo (w = u+i v; con u y v reales) podemos
escribir
w = f(z) = u(x,y) + i v(x,y)
Una funcin compleja f(z) es equivalente a un par de funciones
reales u(x,y) y v(x,y), cada una dependiente de dos variables
reales x e y.
23
) , ( y x u
) , ( y x v
Ejemplos:
) (z f w=
) 2 ( ) (
) (
) (
2 2
2
2
xy i y x
iy x
z z f
+ =
+ =
=
) , ( ) , ( y x v i y x u w + =
Funcin de
variable
compleja
) , ( y x u ) , ( y x v
) 6 2 ( ) 2 6 (
) ( 6 ) ( 2
6 2 ) (
y x i y x
y i x y i x i
z iz z f
+ =
+ + =
+ =
) (z f
i z 2 3+ =
i
i
y x i y x z f
6 14
) 2 6 3 2 ( ) 2 2 3 6 (
) 6 2 ( ) 2 6 ( ) (
=
+ =
+ =
Cul es el valor de
en ?
Parte real Parte imaginaria
Cules son los
dominios de
definicin de estas
funciones?
24
Ejemplos:

Polinomios de grado n:


donde c
0
, c
1
...c
n
son constantes complejas y c
n
es distinto de
cero.
Funciones racionales (cocientes de polinomios):

Si en f(z) = u+iv, v = v(x,y) = 0, entonces f es una
funcin de variable compleja con valores reales. P.ej.:
f(z)= |z|
2
= x
2
+ y
2
.
n
n
z c z c z c z c z c c z P + + + + + + =
4
4
3
3
2
2 1 0
) (
) (
) (
z Q
z P
25
x
Funciones de variable real
) (x f y =
2
) ( x x f =
Representacin
geomtrica
cartesiana
Variable real
y
Asignacin
26
x
) (z f w=
i i i f
f
z z f
2 ) 1 ( ) 1 (
1 ) 1 ( ) 1 (
) (
2
2
2
= + = +
= =
=
y
i + 1
i 2
1 1 +
Funciones de variable compleja
Cmo representarlas geomtricamente?
Parte imaginaria
Asignacin
Parte real
Imagen
Preimagen. Cul es la otra?
27
x
Representacin mediante dos planos: z y w.
y i x z + =
2
) ( z z f =
y
i z + = 1
3
u
v
i z 2 1
2
=
i z = 2
1
v i u w + =
i w 4 3
1
+ =
i w 4 3
2
=
1
4
= z
1
4
+ = w
i w 2
3
=
Plano z
Plano w
Cmo transforman ?
z f(z) (c) iz, f(z) (b) c, z f(z) (a) = = + =
28
Transformaciones mediante funciones lineales

Existen muchas situaciones prcticas donde podemos simplificar
un problema mediante una transformacin en el plano complejo.
) , ( ) , (
) , ( con ) (
2 1
2 1
c y c x w y x z
c c c c z z f w
+ + = =
= + = =
Translacin:
) |, | ( ) , (
)] sin( ) [cos( | | ) sin (cos
) sin (cos | | con ) (
| u u
u | u | | |
u u
+
+ + + + =
+ = = =
b r r
i b r i r z
i b b bz z f w
Rotacin alrededor del origen y alargamiento/contraccin:
29
Funciones lineales
c bz z f w + = = ) (
Translacin
Rotacin y alargamiento/contraccin
Ejemplo:
) 1 ( ) ( + + = = i iz z f w
Esta funcin transforma el cuadrado A en el cuadrado B.
30
2
) ( z z f =
x
y
u
v
)] 2 sin( ) 2 [cos(
2 2
u u i r z w z + = =
La funcin/transformacin
Observemos que la transformacin no es biyectiva. Los puntos
+z y z se transforman en el mismo w.
31
0 ) , ( = y x F
) ( ) (
) (
t iy t x
t z z
+
= =
) ( ) (
) , ( ) , (
) (
t iv t u
y x iv y x u
z f w
+ =
+
= =
)] ( ), ( [ ) (
)] ( ), ( [ ) (
0 ) , (
t y t x v t v
t y t x u t u
v u
=
=
= u
Curva en el plano z Transformacin f(z) Curva en el plano w
En qu curva se transforma el crculo de radio unidad
centrado en el origen a travs de la funcin f(z)=z
2
?
0 1 ) , (
2 2
= + = y x y x F
xy y x v
y x y x u
2 ) , (
) , (
2 2
=
=
t i t t z z sin cos ) ( + = =
) 2 sin( sin cos 2 ) (
) 2 cos( ) (sin ) (cos ) (
2 2
t t t t v
t t t t u
= =
= =
0 1 ) , (
2 2
= + = u v u y x
La imagen traza una circunferencia
dando dos vueltas.
32
] 1 , 0 [ ; ) 1 ( ) (
2
e + =

z z z f
33
34
35
En qu curvas se transforman rectas verticales en el
plano z a travs de la funcin f(z)=z
2
en el plano w?
k x =
ky xy y x v
y k y x y x u
2 2 ) , (
) , (
2 2 2 2
= =
= =
iy k z + =
La ecuacin de un parbola abierta hacia la izquierda:
con vrtice en (k
2
, 0) y foco en el origen.


Idem para rectas horizontales (pero sern parbolas
hacia la derecha):
) ( 4
2
2 2 2
2
k u k v
k
v
y
u k y
=

=
=
ik x z
k y
+ =
=
kx xy y x v
k x y x y x u
2 2 ) , (
) , (
2 2 2 2
= =
= =
) ( 4
2
2 2 2
2
k u k v
k
v
x
k u x
=

=
=
36
Tomemos como dominio un rectngulo con esquinas en 3/23/2i. Observa
como las lneas verticales, formadas por complejos de parte real constante, se
convierten en parbolas abiertas hacia la izquierda. Y las lneas horizontales,
formadas por nmeros complejos de parte imaginaria constante, en parbolas
abiertas a la derecha. Observa tambin como los ngulos entre rectas amarillas y
rosas siguen siendo rectos: la transformacin es conforme. .
http://www.ima.umn.edu/~arnold/complex.html
Douglas N. Arnold
37
] 1 , 0 [ ; ) 1 ( ) (
2
e + =

z z z f
38
39
40
) 2 , ( ) , (
2 ) , ( ) , (
2 2
2 2
xy y x y x
xy y x v y x y x u

= =
Observa que puesto
que la transformacin
w = f(z) = z
2
es:
Los puntos z sobre la hiprbola x
2
y
2
= k se transforman en lineas u = k.
Los puntos z sobre la hiprbola 2xy = k se transforman en lineas v = k.

41
f(z) = z
2
Esquema de color dependiente del valor real
Dominio Rango
http://winnie.fit.edu/~gabdo/function.html
42
f(z) = z
3
Esquema de color dependiente del argumento
Dominio Rango
43
Transformacin w = f(z) = 1/z

En este caso la transformacin si es biyectiva excluyendo al origen.
En coordenadas polares la transformacin es:
) , / 1 ( ) , ( u u r r
Una inversin en el crculo unidad (lo de fuera pasa adentro y al
contrario) seguida de una reflexin respecto al eje x.
Los puntos del crculo unidad permanecen invariantes.
Los crculos se convierten en crculos.
Las lneas que pasan por el origen se convierten en lneas que
pasan por el origen.
44
f(z) = 1/z
Esquema de color dependiente del argumento
Dominio Rango
45
f(z) = 1/z
Esquema de color dependiente del mdulo
Dominio Rango
46
0 ) (
recta una de ecuacin 0 crculo un de ecuacin 0
) , , , ( 0 ) (
;
;
1
;
1
2 2
2 2
2 2 2 2
2 2 2 2
= + + +
= =
9 e = + + + +
+

=
+
=
+

+
=
+
= +
+
= +
a cv bu v u d
a a
d c b a d cy bx y x a
v u
v
y
v u
u
x
v u
v
i
v u
u
iv u
iy x
iy x
iv u
(1) a y d distintos de 0: crculos que no pasan por el centro
se transforman en crculos que no pasan por el centro.
(2) a distinto de 0 y d = 0: crculos que pasan por el centro
se transforman en rectas que no pasan por el centro.
(3) a = 0 y d distinto de 0: rectas que no pasan por el centro
se transforman en crculos que pasan por el centro.
(4) a = d = 0: rectas que pasan por el centro se transforman
en rectas que pasan por el centro.
Veamos con ms detalle la transformacin f(z) = 1/z.
47
Ejemplo: Cul es la imagen de la recta x = c bajo la transformacin
f(z) = 1/z?
2
2
2
2 2
2 2 2 2
2
1
2
1
0
) (
|
.
|

\
|
= +
|
.
|

\
|
= +
+
= =
+
=
c
v
c
u
c
u
v u
v u
u
c c x
v u
u
x
Es decir, un crculo de centro (1/2c, 0) que pasa por el origen.
El semiplano x > c se transforma en el interior del crculo.
48
f(z) = 1/z
Esquema de color dependiente del argumento
Dominio Rango
49
Transformaciones bilineales o de Moebius
) , , , , 0 ( ) ( C d c b a bc ad
d cz
b az
w z f e =
+
+
= =
La transformacin inversa es
tambin bilineal: a cw
b dw
z w f

+
= =

) (
1
Observemos que la transformacin no est definida para z = -d/c.
Y lo mismo ocurre con w = a/c en el caso de la inversa.

El conjunto de posibles transformaciones bilineales forman un grupo.
50
( )
' '
'
1
' '
'
'
) (
z
c
ad bc
c
a
z
z
z
c
ad
b
c
a
d cz z
d cz
c
ad
b
c
a
c
d
z c
c
ad
b
c
d
z a
d cz
b az
w z f

+
|
.
|

\
|

+ +
+
|
.
|

\
|

+ =
|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
+
=
+
+
= =
Cmo transforma la bilineal?
De modo que cualquier
transformacin bilineal
puede obtenerse como
una composicin de
transformaciones lineales
y la transformacin 1/z.
As que para las transformaciones bilineales transforman el conjunto de
crculos y lneas en si mismo.
51
Ejemplo: Sea a una constante complejo tal que Im(a) > 0.
Encontrar la imagen del semiplano infinito
superior bajo la transformacin bilineal:
a z
a z
w

=
Consideremos primero el borde. Para los puntos z sobre el
eje x, tenemos:
1
| |
| |
| | | | | | =

= =
a z
a z
w a z a z
De modo que el eje x
se transforma en el
crculo unidad con
centro en el origen.
z = a se transforma en
w = 0 (un punto interior
del crculo).
La transformacin es continua, y de aqu podemos deducir que
la imagen del semiplano superior es el interior del crculo.
52
Nikolai Egorovich Zhukovskii (1847-1921)
(o Zhukovsky o Joukowski)
La transformacin de
Zhukovsky
z
z w
1
+ =
Ms general:
z
a
z w
2
+ =
La imagen de un crculo que pasa por z = 1 o z = -1 es una curva
similar a la seccin transversal de un ala de avin.
53
Lmite

Una funcin f(z) se dice que tiene lmite w
0
cuando z tiende a z
0
, y
se escribe:







u
si f est definida en un entorno de z
0
(a excepcin tal vez de z
0
mismo) y si:
real c > 0, - un real o > 0: z = z
0
, y |z - z
0
| < o, entonces |f(z) - w
0
| < c.

0
) ( lim
0
w z f
z z
=

x
z
0

o
y
z
w
0

c
v
f(z)
En general o=o(c, z
0
)

Si el lmite existe,
es nico.
Es decir: si dado un entorno de radio c alrededor del lmite, podemos
determinar un entorno de radio o(c, z
0
) alrededor de z
0
.
54
Observemos que como en el caso de variable real, la definicin
de lmite no nos dice cmo encontrarlo.
Demostremos que:
i i z
i z
2 ) ( lim = +

| | | 2 ) ( | | ) ( |
| | | |
) (
0
0
i z i i z w z f
i z z z
i z z f
= + =
=
+ =
Utilizando la notacin anterior, tenemos en este caso:
c < < | | 0 i z
o < < | | 0 i z
Tomando o = c,
por ejemplo,
siempre se
cumple.
Ejercicio: Demostrar que si el lmite existe,
es nico. (Nota: Suponer dos valores distintos
para el lmite, aplicar definiciones y demostrar entonces
que ambos valores han de ser, a la fuerza, el mismo).
55
Cul es el equivalente a lmite por la derecha y por la izquierda
de variable real en el caso de variable compleja?
En el plano complejo podemos acercarnos al lmite a travs de
una infinidad de trayectorias. Por ejemplo:
z z f Arg ) ( =
x
y
0
z
1
C
2
C
Toda vecindad de z
0
contiene
valores de Arg z en el segundo
cuadrante arbitrariamente cerca
de , pero tambin del tercer
cuadrante arbitrariamente cerca
de . Acercndonos por C
1
y por
C
2
obtenemos dos valores distintos
del lmite.
t
t
t t + s < z Arg
56
Ejemplo
y x
y y i
y x
x x
z f
+
+
+
+
+
=
) (
) (
2 2
Esta funcin no est definida para z = x+iy = 0, (x = 0, y = 0).
Veamos que no existe el lmite de la funcin cuando z tiende a 0.
(1) Nos aproximamos al origen a lo largo del eje y. Tomando
x=0 en f(z), tenemos:
) 1 (
) (
) (
2
0
+ =
+
=
=
y i
y
y y i
z f
x
Que se aproxima a i,
a medida que nos
acercamos al origen.
(2) Tomando y=0 nos aproximamos a lo largo del eje x:
1 ) (
2
0
+ =
+
=
=
x
x
x x
z f
y
Que tiende a 1.
Como el lmite por ambos
caminos no coincide, el
lmite no existe.
57
Ejercicios:

(1) Sean:
0 0 0 0 0 0
y ), , ( ) , ( ) ( iv u w iy x z y x v i y x u z f + = + = + =
Entonces:
0
) , ( ) , (
0
) , ( ) , (
0
) , ( lim y ) , ( lim
sii ) ( lim
0 0 0 0
0
v y x v u y x u
w z f
y x y x y x y x
z z
= =
=

Nota: Utilizar la definicin de lmite y la desigualdad:

(2) Demostrar que si
| | | ) ( | lim ) ( lim
0 0
0 0
w z f w z f
z z z z
= =

| ) ( | | | | ) ( |
0 0
w z f w z f s
58
Propiedades de los lmites
Sean w
0
y w'
0
los lmites, cuando z
tiende a z
0
, de f(z) y g(z) respectivamente. Entonces:





En particular si f(z) = g(z) = z :

y por induccin: Como adems:

Entonces, para un polinomio P(z) = a
0
+a
1
z+...+a
n
z
n
,

tendremos:
0 si
) (
) (
lim
)] ( ) ( [ lim )] ( ) ( [ lim
'
0
'
0
0
'
0 0
'
0 0
0
0 0
= =
= + = +

w
w
w
z g
z f
w w z g z f w w z g z f
z z
z z z z
2
0
2
0
lim w z
z z
=

n n
z z
w z
0
0
lim =

c c
z z
=

0
lim
) ( ) ( lim
0
0
z P z P
z z
=

Nota: Es fcil demostrar estas

propiedades a partir de u(x,y) y v(x,y).
59
Punto del infinito
El nmero complejo infinito o punto del infinito,
denotado por , no posee signo ni argumento.

Su mdulo es mayor que |z| para todo z complejo.

Es un punto del plano complejo? No es localizable,
pero s alcanzable a travs de cualquier trayectoria
en la que |z| sea creciente.

Se opera como en los reales. Por ejemlo:
z / = 0, z/0 = , etc.

Cuando el plano complejo incluye al punto del infinito ,
hablamos de plano complejo extendido.

60
Bernhard Riemann
(1826 - 1866)
Esfera de radio unidad centrada en
el cero del plano complejo.
Proyeccin estereogrfica: hacemos
corresponder cada punto del plano con
un punto de la esfera como muestra la
grfica. El polo norte N de la esfera
corresponde al punto del infinito.
Esfera de Riemann
61
Otra forma de la
esfera de Riemann
Ahora ya podemos definir
lmites al infinito. Si


para todo real c > 0, - un real
o> 0: |f(z) - w
0
| < c para todo
z: |z|> 1/o.
0
) ( lim w z f
z
=

O: si para todo real c > 0, - un real o > 0:

|f(z)| < 1/c siempre que |z - z
0
| < o.
=

) ( lim
0
z f
z z
62
) Arg( | | z r z = =
Espiral de Arqumedes. Dado que , la ecuacin
anterior solo representa una espira de la espiral.
Espirales esfricas de M.C. Escher
La proyeccin estereogrfica tiene dos
propiedades importantes: las circunferencias
siempre se transforman en circunferencias y
la transformacin conserva ngulos.

t t + s < z Arg
63
64
Funciones continuas
Decimos que f(z) es continua
en una regin si es continua
en todo punto de la regin.
Una funcin f(z) se dice que es continua en z = z
0
si f(z
0
)
est definida en z
0
y

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

Ejercicio:Las sumas, diferencias y productos de funciones

continuas son continuas. El cociente de dos funciones
continuas es continuo salvo en los puntos en que se anula el
denominador. La composicin de funciones continuas es
continua. Sea f(z) = u(x,y) + iv(x,y), entonces u y v sern
continuas en todo punto en el que f(z) lo sea. Y a la inversa:
f(z) ser continua en todo punto en que u(x,y) y v(x,y) lo sean.


(Nota: si en el lmite o = o(c, z
0
)
no depende de z
0
, la continuidad
es uniforme).

65
Ejemplo:
Sea:

=
=

+
=
i z i
i z
i z
z
z f
, 3
,
1
) (
2
Es continua f(z) en z = i? (1) f(i) = 3i est definido.
(2) Calculemos el lmite de la funcin cuando z tiende a i:
i i z
i z
i z i z
i z
z
i z i z i z
2 ) ( lim
) )( (
lim
1
lim
2
= + =

+
=

+

El lmite existe pero no coincide con el valor de la funcin:
la funcin no es continua.
66
Ejercicios:


(1) Demostrar que si f(z) es continua en una regin cerrada y
acotada entonces es uniformemente continua.

(2) Demostrar que si f(z) es continua en una regin R,
entonces la funcin |f(z)| tambin lo es.

(3) Demostrar que si se cumplen las condiciones de (2)
entonces existe M > 0 tal que |f(z)| M para todo z de R.
Y donde la igualdad estricta es al menos vlida para un
punto de R.
s
67

=
= =
+
2 2
2
) (
u
t
u
u
r r
r
z z f
Puntos de Ramificacin y cortes de rama
Para univaluar la raz cuadrada de z hagamos como en el caso real,
tomando arbitrariamente una de las dos posibilidades:
0
u
r z = =
) (z f
2
0
u
r w=
Si giramos siguiendo un camino
continuo como muestra la figura
tendremos:
t u 2
0
+
= r z
) (z f
t
u
+
=
2
0
r w
f(z) sufre una crisis de identidad!
68
Este camino continuo
no nos genera problemas.
Cul es la diferencia?
Rodear el origen z = 0
parece ser lo que nos
genera la crisis.
z = 0 es en este caso un
punto de ramificacin de
la funcin raz cuadrada.

Qu ocurre si damos dos
vueltas alrededor del origen?
69
Decimos que z
0
es un punto de ramificacin de f(z) si
el valor de f(z) no regresa a su valor original cuando
trazamos una curva cerrada alrededor de l, de manera
que f vara de forma continua a medida que recorremos
la curva.

Observacin: debe ocurrir para cualquier curva alrededor
de z
0
(lejana o cercana). La funcin no tiene por qu ser
continua o existir en z
0
.
70
Cul es la regin ms grande posible sin crisis de identidad?
Para todos los puntos
de la regin R la raz cuadrada
est univaluada.
Deseamos una regin, lo mayor
posible, tal que no exista
posibilidad de trazar un camino
continuo y cerrado que contenga
al origen en su interior: una rama.
Regin infinitesimal alrededor
del eje x positivo.
71
Univaluamos la funcin raz cuadrada cortando
el plano complejo a lo largo del eje real positivo.
Rama
t u 2 0 < < t u t < <
Rama
Cortes de rama
A es un punto infinitesimalmente cercano
al corte por arriba. Y B por abajo. La funcin
es discontinua a travs del corte de rama.
Nota: El corte es totalmente arbitrario.
72
Hojas y superficies de Riemann
En la superficie de Riemann la funcin est univaluada. Cada rama
corresponde a un piso (hoja de Riemman). Para el caso de la raz
cuadrada: las vueltas impares tocan arriba y las pares abajo.
73
Superficie de Riemann para f(z) = z
1/3
f(z) = z
1/n
tendr
n hojas de Riemann.

En particular si f(z)
no posee puntos
de ramificacin,
la superficie de
Riemann coincide
con el plano
complejo C.