Antonio Rivasplata Matematica para Fsicos 37

Si en el dominio se toma un contorno C que no contiene el origen y nos desplazamos a lo

largo de la curva, los valores de las funciones i iran variando continuamente. Cuando z vuelva
a su valor inicial, los valores de las funciones i seran los mismos que al principio.

Esto puede entenderse como que en el contorno C se ha definido dos funciones unvocas i
y si el dominio G se toma de tal modo que ningun contorno contenga al origen se dira que en
el dominio G se han definido dos funciones unvocas i . Las funciones i se denominan ramas
de la funcion multivaluada.

En cambio si dentro del contorno se encuentra el cero, cuando z vuelva a su valor inicial, se
tendra p p
1 = |z| ei(/2+) = 2 y 2 = |z| ei(/2) = 1 ,
razon por la cual las distintas ramas i de la funcion ya no pueden ser consideradas como
distintas funciones unvocas. En este caso se dice que el origen es un punto de ramificacion
de la funcion multivaluada.

Lmite de una funcion.

Se dice que una funcion compleja = f (z) tiene lmite en el punto z0 , cuando independi-
entemente de la sucesion {zn }, convergente al punto z0 , que se tome, existe un unico lmite
lm f (zn ) = 0
zn z0

y se escribe como
lm f (z) = 0 (2.39)
zz0

Frecuentemente se dice que 0 es el lmite de la funcion f (z) en el punto z0 , si para cualquier

> 0 se puede indicar un > 0, tal que
.
z |z z0 | < = |f (z) 0 | < (2.40)

Continuidad en z0 .
Se dice que una funcion compleja es continua en el punto z0 si
lm f (z) y lm f (z) = f (z0 ) (2.41)
zz0 zz0

La continuidad de una funcion en el punto z0 tambien se puede definir en terminos de .

Una funcion compleja es continua en z0 , si para cualquier > 0 se puede indicar un > 0, tal
que .
z |z z0 | < = |f (z) f (z0 )| < (2.42)
Si se tiene en cuenta que para que una sucesion compleja sea convergente es necesario y
suficiente que sean convergentes las sucesiones de sus partes real e imaginaria, entonces de la
continuidad de f (z) en z0 se deduce la continuidad de las funciones (x, y) y (x, y) en el punto
(x0 , y0 ) del plano real y viceversa.