Académique Documents
Professionnel Documents
Culture Documents
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
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.
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
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)
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)
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