CÁLCULO III Primer Cuatrimestre de 2023

Lı́mite y continuidad de funciones en C

Comencemos recordando la notación de vecindad o entorno de un punto z0 como el

conjunto de puntos B (z0 ) = {z : |z − z0 | < }.
Definiremos lı́mite de una función f : C → C cuando su variable z tiende a z0 de
manera análoga al conocido caso real.

Definición
Sea f es una función definida para todo los puntos del entorno perforado
z ∈ B (z0 ) − {z0 }, es decir, salvo quizás en el mismo z0 . Diremos que

lim f (z) = L ∈ C
z→z0

si f tiene la siguiente propiedad:

”Para todo  > 0 existe un δ > 0 (que seguramente depende de ) tal que, si es
0 < |z − z0 | < δ, entonces es |f (z) − L| < ”.

Observemos que cuando decimos | · | estamos indicando el módulo de un complejo.

Veamos un par de ejemplos simples.
2z
1. Consideremos la función f (z) = y z0 = 2i. Afirmamos que
i
2z
lim = 4,
z→2i i
2z
por simple inspección, si z está ”cerca” de 2i entonces lo está de 4.
i
2z z
Observemos que |f (z) − 4| = | − 4| = 2| − 2| = 2|z − 2i| < 2δ = . Luego basta
i i

tomar δ = con  > 0 arbitrario, demostrando lo afirmado.
2
2. Consideremos la función f (z) = 2x + i3y y z0 = −i. Afirmamos en este otro caso
que
lim (2x + i3y) = −3i,
z→−i

ya que si z tiende a −i nos dice que x tiende a 0 e y lo hace a -1.

Observemos que mediante desigualdades propias de este caso, como:
|x| ≤ |z − (−i)| < δ y |y − (−1)| ≤ |z − (−i)| < δ, podemos afirmar que
|f (z)−(−3i)| = |2x+i3y +3i| ≤ |2x|+|3i(y +1)| = 2|x|+3|y +1| < 2δ +3δ = 5δ = .

Luego basta tomar δ = con  > 0 arbitrario, demostrando lo afirmado.
5

1
 En el caso complejo también contamos con los resultados sobre lı́mites que nos permiten
acelerar el estudio de ciertas funciones estableciendo una conexión entre los lı́mites de
funciones de variable compleja y los de funciones reales en dos variabels reales. Como estos
últimos han sido estudiados ya en Cálculo II, utilizaremos su definición y sus propiedades
con entera libertad.
Ahora vamos a presentar algunas propiedades del lı́mite, varias de ellas también serán
análogas a las correpondientes propiedades del lı́mite de sucesiones complejas.
Partimos de la unicidad del lı́mite (en caso de que exista).

Proposición 1
Sea f definida en el entorno perforado z ∈ B (z0 ) − {z0 }. Si limz→z0 f (z) = L1 y
limz→z0 f (z) = L2 , entonces debe ser L1 = L2 .
Demostración: Suponemos que hay dos lı́mites distintos, es decir, L1 6= L2 . Por lo
tanto tenemos que existen δ1 y δ2 positivos tales que

|f (z) − L1 | <  siempre que 0 < |z − z0 | < δ1

|f (z) − L2 | <  siempre que 0 < |z − z0 | < δ2 .

|L1 −L2 |
Como  > 0 es cualquiera, podemos elegir  = 2 6= 0 y δ = min{δ1 , δ2 }. Entonces
tenemos:
|L1 − L2 | |L1 − L2 |
|L1 −L2 | = |L1 −f (z)−L2 +f (z)| < |L1 −f (z)|+|L2 −f (z)| ≤ + = |L1 −L2 |.
2 2
Esto último es un absurdo que vino de suponer que L1 6= L2 . Por lo tanto el lı́mite si
existe es único.

Proposición 2
Sean f (z) = u(x, y) + iv(x, y), z0 = x0 + iy0 , y L = L1 + iL2 . Entonces,

 lim u(x, y) = L1
(x,y)−>(x0 ,y0 )
lim f (z) = L ⇐⇒
z−>z0  lim v(x, y) = L2 .
(x,y)−>(x0 ,y0 )

Demostración:

⇒) De acuerdo a la definición de lı́mite complejo, para cada  > 0 existe un δ tal que

|f (z) − L| = |(u − L1 ) + i(v − L2 )| < 

siempre que
0 < |z − z0 | = |(x − x0 ) + i(y − y0 )| < δ.
Como |u − L1 | ≤ |(u − L1 ) + i(v − L2 )| y |v − L2 | ≤ |(u − L1 ) + i(v − L2 )| se sigue
que
|u − L1 | <  y |v − L2 | < 
siempre que 0 < ||(x, y) − (x0 , y0 )|| < δ.

2
 ⇐) Ahora partimos del conocimiento de los dos lı́mites reales. Para cada  < 0 existen
dos reales positivos δ1 , δ2 tales que

|u − L1 | < mientras que 0 < ||(x, y) − (x0 , y0 )|| < δ1
2
y

|v − L2 | < mientras que 0 < ||(x, y) − (x0 , y0 )|| < δ2 .
2
Sea δ = min{δ1 , δ2 }. Dado que,
 
|f (z) − L| = |(u − L1 ) + i(v − L2 )| ≤ |u − L1 | + |v − L2 | < + =
2 2
obtenemos lo deseado.

Observación
La importancia de esta última proposición radica en que el análisis de un lı́mite complejo
se puede realizar mediante el estudio de su parte real e imaginria, que son funciones
escalares manejables con los conocimientos de Cálculo II como ya habı́amos anticipado.
Más aún, todas las propiedades de lı́mites conocidas y demostradas para R2 se trasladan
inmediatamente a C. Por eso a continuación enunciamos las siguientes propiedades cuya
demostraciones se basan en la existencia de lı́mites reales y la aplicación de la Proposición
2.

Álgebra de los lı́mites

Si limz→z0 f (z) = L y limz→z0 g(z) = L̃, entonces:

1. limz→z0 (Af (z) + Bg(z)) = AL + B L̃ con A, B ∈ C

2. limz→z0 f (z) · g(z) = L · L̃

f (z) L
3. Si L̃ 6= 0, limz−>z0 =
g(z) L̃
4. limz→z0 |f (z)| = |L| (ojo no vale la recı́proca)

5. limz→z0 f (z) = L

Estas propiedades quedan como ejercicios.

Ahora veamos algunos ejemplos simples de aplicación de esto último:
z
1. Consideremos la función f (z) = y z0 = 1. Afirmamos que
z2 +1
z 1
lim = ,
z→1 z 2 +1 2
ya que el numerador tiende a 1 y el denominador a 2.

3
 2. Consideremos la función f (z) = sin(z − i) cos(πzi) y z0 = i. Afirmamos que

lim sin(z − i) cos(πzi) = 0

z→i

ya que es producto de funciones que tienden a 0 y -1 respectivamente.

3. Consideramos la función del item 1 y z0 = −2i. Afirmamos que

z 2
lim | |=
z→−2i z2 + 1 3
2i
ya que el cociente tiende a 3.

También pueden ocurrir indeterminaciones como las conocidas en R, es decir, del tipo
cero sobre cero, infinito sobre infinito, etc. Motivamos con el siguiete ejemplo.
z2
Sea la función f (z) = . Claramente z0 = 0 no está en su dominio, pero qué
|z|
pasa cuando se tiende a ese valor?. Tanto numerador como denominador tienden a cero.
Busquemos parte real e imaginaria de esta función:

(x − iy)2 (x2 − y 2 ) − 2xyi

f (z) = p = p .
x2 + y 2 x2 + y 2

(x2 − y 2 ) −2xy
Entonces, u(x, y) = p y v(x, y) = p . Observemos que no estan definidas
x2 + y 2 x2 + y 2
en el origen y presentan el mismo tipo de indeterminación al tender (x, y) → (0, 0).
Este tipo de problemas fueron estudiados en Cálculo II. Analicemos el campo u y el
otro queda como ejercicio (sale de forma similar).
Podemos acotar de la siguiente forma

(x2 − y 2 ) x2 + y 2 p
|u(x, y) − 0| = | p |≤ p = x2 + y 2 = ||(x, y) − (0, 0)|| < δ = ,
x2 + y 2 x2 + y 2

es decir, si nos acercamos al origen (z0 = 0) el campo u tiende a cero. Lo mismo ocurre
con v, por lo tanto si parte real e imaginaria convergen a cero tenemos

z2
lim = 0.
z→0 |z|

Destacamos en este ejemplo que aunque la función no está definida en un punto (z0 = 0)
tiene lı́mite en el. Es decir, podrı́amos redefinir esta función para que el origen esté en su
dominio con imagen su valor lı́mite,
 2
 z
, z 6= 0
f (z) = |z| .
0, z = 0


4
Algunas definiciones más
En lo que sigue generalizamos el concepto de ”∞” al plano C. Si el alumno está interesado
en una definición más precisa y su representación geométrica (plano C extendido), puede
ver ”VARIABLE COMPLEJA Y APLICACIONES, R. V. Churchill, pag 44.

1. limz→z0 f (z) = ∞ si para todo M > 0, existe δ > 0 tal que si |z − z0 | < δ entonces
|f (z)| > M

2. limz→∞ f (z) = L si para todo  > 0, existe N > 0 tal que si |z| > N entonces
|f (z) − L| < 

3. limz→∞ f (z) = ∞ si para todo M > 0, existe N > 0 tal que si |z| > N entonces
|f (z)| > M

Veamos unos ejmeplos ilustrativos:

1
1. limz→∞ =0
z3
1
2. limz→0 =∞
z
z 5 + iz + 3
3. limz→∞ =∞
z3
i
4. limz→i =∞
z2 + 1

Continuidad
Una función f es continua en un punto z0 si se satisface

lim f (z) = f (z0 ),

z→z0

esta igualdad implica tres cosas:

1. z0 ∈ Domf

2. existe limz→z0 f (z)

3. y el lı́mite del item 2. coincide con f (z0 ).

Como ejemplo podemos mencionar la función que redefinimos arriba.

Además, una función f de variable compleja se dice que es continua en una región
Ω ⊂ C lo es en todos sus puntos.

5
Observaciones
Si dos funciones son continuas en un punto, su suma y su producto también lo son; su
cocierite es continua en las mismas circunstancias siempre que el denommador no se anule
en ese punto. Estas observaciones son consecuencias inmediatas de la Proposición 2. y la
definición de continuidad.
De la la misma Proposición 2. se desprende que una función f de variable compleja
es continua en un punto z0 = x0 + iy0 si y sólo si sus funciones componentes u y v son
continuas en (x0 , y0 ). Enfatizamos esto último, analizar la continuidad en C se puede
hacer mediante la inspección de dos campos escalres: parte real e imaginaria de la función
involucrada.
Finalmente, composición de funciones continuas es continua mientras los entornos de
definició sean adecuados.
Veamos unos ejemplos.

1. Los polinomios son continuos en todo C

2. La función exponencial ez = ex cos(y) + iex sin(y) es continua en todo C ya que su

parte real e imaginaria lo son en R2
sin(z)
3. La función f (z) = es continua en C−{−2i,2i} ya que el numerador es continuo
z2 + 4
en todo el plano pero el denominador (que es continuo) se anula en los valores -2i,
2i.

4. La función f (z) = x2 y + i(x − 2y) es continua en todo C ya que su parte real e

imaginaria lo son en R2 .

Para terminar esta clase, intoducimos a las sucesiones en C, que son un caso particular
de funciones.

Sucesiones
Una sucesión infinita z1 , z2 , · · · , zn , · · · de números complejos tiene lı́mite z si para cada
 > 0 existe un n0 ∈ N tal que

|zn − z| <  si n ≥ n0 .

Esto quiere decir que para valores suficientemente grandes de n los términos zn están
en cualquier entorno del tipo B (z0 ).
La sucesión puede tener a lo sumo un lı́mite. Cuando existe tal lı́mite, diremos que la
sucesión converge a z y lo expresamos

lim zn = z.
n→∞

Si la sucesión no tiene lı́mite, diremos que diverge.

Además, podemos expresar a los términos en función de su parte real e imaginaria,
esto es:
zn = xn + iyn

6
por lo tanto el estudio de su convergencia, nuevamente, la podemos realizar mediante estas
componentes reales.
Veamos los siguientes ejemplos.
1 sin(n)
1. lim +i = 0 + 0i
n→∞ n2 n
√ n iπn
(1 + i)n 2 e 4
2. lim = lim =0
n→∞ n! n→∞ n!
π π
3. lim in = lim (cos(n ) + i sin(n )), no converge ya que su parte real no converge
n→∞ n→∞ 2 2
(la imaginaria tampoco converge).