C LASE 2

L IMITES LATERALES Y L IMITES INFINITOS

2.1. Lmites laterales

Definicion 2.1 (Lmite por la izquierda de una funcion en un punto). Sea x0 R, a < x0 , f :
]a, x0 [ R y L R. Decimos que f tiene lmite L por la izquierda en x0 (o cuando x tiende a x0
 > 0, existe un > 0 (que depende de ) tal que, si x ]a, x0 [ y
por la izquierda) si, para cada
x0 < x < x0 , entonces f (x) L < .
Denotamos
L = lm f (x).
xx0

Y
Y

L+
f (x)
L
f (x) en este intervalo

L
Para todo x 6= x0
en este intervalo

f (x) L

X X
x x0 x0 x x0
L = lm f (x) Intervalos relacionados con la definicion
xx0 de lmite lateral izquierdo

Definicion 2.2 (Lmite por la derecha de una funcion en un punto). Sea x0 R, b > x0 , f :
]x0 , b[ R y L R. Decimos que f tiene lmite L por la derecha en x0 (o cuando x tiende a x0

8
  > 0, existe
por la derecha) si, para cada  un > 0 (que depende de ) tal que, si x ]x0 , b[ y
x0 < x < x0 + , entonces f (x) L < . Denotamos
 

L = lm+ f (x).
xx0

Y Y

L+
f (x)
L
f (x) en este intervalo

L

Para todo x 6= x0
f (x) en este intervalo
L

X X
x0 x x0
L = lm+ f (x) x x0 +
xx0 Intervalos relacionados con la definicion
de lmite lateral derecho

Observacion. Las definiciones anteriores pueden generalizarse para funciones cuyos dominios
sean intervalos o union de intervalos, con la siguiente observacion: si f : A R y x0 A,
para poder definir el lmite por la izquierda necesitamos que exista un intervalo de la forma ]a, x0 [
contenido en A. Del mismo modo, para poder definir el lmite por la derecha necesitamos que
exista un intervalo de la forma ]x0 , b[ contenido en A.

Teorema 2.3. Sean A =]a, b[\{x0 }, donde x0 ]a, b[, f : A R y L R. Se tiene que existe el
lmite de f cuando x tiende a x0 y L = lm f (x), si y solo si, existen los lmites por la izquierda
xx0
y por la derecha de f cuando x tiende a x0 por la izquierda y por la derecha de x0 , y

L = lm+ f (x) = lm f (x).

xx0 xx0

Observacion. El teorema anterior se aplica unicamente en el caso en que ambos lmites por izquier-
da y por derecha
puedan ser definidos (que no es lo mismo que decir que existan).
Consideremos el
lmite lm x = 0. Observe que para la funcion f : [0, +[ R, f (x) = x, no se puede aplicar
x0
la definicion de lmite por la izquierda para el punto x0 = 0; simplemente lm x = 0 = lm+ x,
x0 x0
y no hay ninguna contradiccion con el teorema anterior.
Observacion. Los teoremas de unicidad del lmite (proposicion 1.5), algebra de lmites (teore-
ma 1.6) y sandwich (teorema 1.9) tambien son validos para lmites laterales. Del mismo modo los
ejercicios 1.7 y 1.8, corolario 1.10, proposicion 1.11 y las pautas para el calculo de lmites dadas
en la clase anterior.

9
Ejemplo 2.4. Sea a R, y f : R \ {0} R dada por

2x + 1, x < 0,
f (x) =
x2 + a, x > 0.

Entonces, lm f (x) = 1, lm+ f (x) = a, de modo que para que exista el lmite lm f (x), es nece-
x0 x0 x0
sario y suficiente que a = 1.

2.2. Lmites infinitos

Definicion 2.5 (Lmite infinito + de una funcion en un punto). Sea A R intervalo o union de
intervalos, f : A R, y x0 A. Decimos que f tiene lmite + en x0 (o cuando x tiende a x0 )
si, para cada M > 0, existe un > 0 (que depende de M ) tal que, si x A y 0 < |x x0 | < ,
entonces f (x) > M . Denotamos entonces

lm f (x) = +.
xx0

f (x)
No importa que tan grande
M sea M , la grafica siempre
la superara

X
x x0 x

Definicion 2.6 (Lmite infinito de una funcion en un punto). Sea A R intervalo o union de
intervalos, f : A R, y x0 A. Decimos que f tiene lmite en x0 (o cuando x tiende a x0 )
si, para cada N < 0, existe un > 0 (que depende de N ) tal que, si x A y 0 < |x x0 | < ,
entonces f (x) < N . Denotamos entonces

lm f (x) = .
xx0

1
Ejemplo 2.7. lm = +.
x0 x2

10
Observacion. Tambien pueden definirse lmites laterales en un punto, a . Esto se deja como
ejercicio al estudiante.
Ejercicio 2.8. Defina lm f (x) = (son cuatro definiciones).
x

2.3. Pautas para el calculo de lmites infinitos

Si f (x) > 0 en I y
Proposicion 2.9. Sea I intervalo, sea f : I R una funcion y x0 I.
lm f (x) = 0, entonces
xx0
1
lm
xx0 f (x)
= +.

1
Demostracion. Sea M > 0 cualquiera y definamos = . Como lm f (x) = 0, entonces existe
M xx0
> 0 tal que si x I y 0 < |x x0 | < , entonces |f (x)| < = 1/M . Dado que f es positivo en
1
I, podemos ignorar el valor absoluto y obtener f (x) < 1/M , que equivale a > M . Observe
f (x)
1
lm
que hemos probado por definicion que xx = +.
0 f (x)

Del mismo modo, tenemos para el caso .

Si f (x) < 0 en I y
Corolario 2.10. Sea I intervalo, sea f : I R una funcion y x0 I.
lm f (x) = 0, entonces
xx0
1
lm
xx0 f (x)
= .

f (x)
Supongamos que tenemos el lmite lm , donde las formulas de f y g estan compues-
xx0 g(x)
tas por operaciones algebraicas de polinomios, funciones trigonometricas, exponencial, logaritmo,
raices y valor absoluto. Supongamos que tenemos el caso f (x0 ) = xx lm f (x) 6= 0 y g(x0 ) =
0
1
lm g(x) = 0. Observe que por la proposicion y corolario anteriores, xxlm = , depen-
xx0 0 g(x)

diendo del signo de g cerca a x0 . Luego, tenemos las siguientes posibilidades

f (x)
1. si f (x0 ) > 0 y g(x) > 0 cerca a x0 , entonces xx
lm = +;
0 g(x)
f (x)
2. si f (x0 ) > 0 y g(x) < 0 cerca a x0 , entonces xx
lm = ;
0 g(x)
f (x)
3. si f (x0 ) < 0 y g(x) > 0 cerca a x0 , entonces xx
lm = ;
0 g(x)
f (x)
4. si f (x0 ) < 0 y g(x) < 0 cerca a x0 , entonces xx
lm = +.
0 g(x)

11
 Esta pauta tambien se aplica cuando se consideran lmites laterales.
Observacion. Recuerde que no son numeros, por lo tanto, las operaciones algebraicas de
numeros reales (suma, resta, multiplicacion, division) no estan definidas para estos. Sin embargo,
a manera de recurso nemotecnico, presentamos la siguiente tabla

lm f (x) op lm g(x) =
xx0 xx0
+
+ indet
LR +


L>0
L<0
L=0 indet
/ indet
LR / 0
L 6= 0 / 0 (ver signo)

12