RESUMEN DE TEORIA LIMITE

Es la nocin fundamental del Anlisis Matemtico, y constituye su herramienta esencial.

Algunos definen incluso el Anlisis Matemtico como aquella parte del clculo que tiene que ver
con lmites o con el pase a lmite o tomar lmites. Efectivamente, los temas posteriores,
como continuidad, derivadas, sucesiones, integrales, etc., se basan en la nocin de lmite, y mal
podremos entender aquellos conceptos despus si ahora no entendemos el fundamental.
Esencialmente, se trata de predecir el valor que debiera tomar la funcin para un dado
valor de x, digamos x0, de acuerdo a cmo se comporta la funcin en las cercanas de ese punto.
Segn esto, no queremos conocer el valor de f(x) en x = x0 , y f(x0) hasta podra no existir, es decir,
el punto no necesariamente debe pertenecer al Df. Pero queremos saber qu pasa con f(x) cuando x
se acerca tanto como necesitemos o queramos al punto x0, as que necesitamos valores del dominio
en todo entorno de x0, por ms pequeo que sea ese entorno, es decir, que pedimos s que x0 sea
punto de acumulacin del dominio.
Analicemos las siguientes funciones, en las cercanas de x0 = 2:

a) f(x) = x + 2 (Df = R)
2
x 4 ( x + 2)( x 2)
b) g(x) = = (Df = R {2})
x2 x2
x + 2 x 2
c) h(x) = . (Df = R)
3 x=2
Como vemos, si x no toma el valor 2, en las tres expresiones podemos asimilar cada
funcin a (x+2), ya que en b) puede simplificarse la expresin al ser x 2. O sea, que las tres
tienen el mismo comportamiento, excepto en x = 2, segn vemos sus grficas:

f(x) g(x) h(x)

1 2 3 x 1 2 3 x 1 2 3 x

Si calculamos los valores de las funciones para valores de x cercanos a 2, podemos

construir la siguiente tabla:

x 1 1.5 1.9 1.99 1.999 1.9999

f(x),g(x),h(x) 3 3.5 3.9 3.99 3.999 3.9999

x 3 2.5 2.1 2.01 2.001 2.0001

f(x),g(x),h(x) 5 4.5 4.1 4.01 4.001 4.0001

Ing. Guillermo Ryan

1
 Observamos, de la tabla y de las grficas, que podemos aproximar tanto como queramos
el valor de la funcin a 4, si tomamos el valor de x tan cerca de 2 como haga falta (siempre sin
tomar x = 2).
Es decir que si queremos, por ejemplo, tener el valor de la funcin a menos de 0.01 de 4,
basta con tomar x a menos de 0.01 de 2, de acuerdo a la tabla. O sea, que para todos los valores de
x en (1.99, 2.01), excepto el 2, el valor de la funcin en x (sea f(x), g(x) o h(x)) estar a menos de
0.01 de 4 (efectivamente, estar entre 3.99 y 4.01).
En este caso se da que la cercana de x al valor 2 debe ser menor que la misma cercana de
f al valor 4 pretendido, por la funcin particular que elegimos. No ocurre siempre as; es ms,
normalmente no ocurre as, salvo en la funcin lineal f(x) = x + k que estamos considerando (las
otras dos coinciden con ella, salvo en x = 2).
Decimos entonces que el lmite de f(x) cuando x tiende a 2 es 4, y lo expresamos en forma
simblica como lim f(x) = 4.
x 2
Matemticamente definimos la nocin de lmite de la siguiente forma:

lim f ( x ) = L > 0, ( ) > 0 / 0 <| x x0 |< | f ( x ) L |< .

x x0
Estamos diciendo simblicamente lo que ya expresamos anteriormente en palabras: el
lmite de f(x) cuando x tiende a x0 es L si y solo si, dado cualquier positivo, tan pequeo como
se quiera, existe un ( ) >0 (el delta depende de cada psilon) tal que, para todos los x cuya
distancia a x0 (el valor absoluto de la diferencia) sea menor que , el correspondiente valor de f(x)
est a una distancia de L menor que .
Nota: Rigurosamente hablando, deberamos decir 0 <| x x0 |< x D f en la
expresin anterior, ya que podra haber valores de x en el intervalo (x0- , x0+ ) para los cules
no est definida f(x), pero por comodidad los obviamos, aqu y en adelante, y se supone que el
intervalo est incluido en el dominio, o no consideramos los x del mismo para los cules no est
definida f(x) (excepto x0, excluido expresamente, pertenezca o no al dominio de f).
*
Con la notacin de entornos, decir 0 <| x x0 |< es lo mismo que decir x E ( x0 )
(entorno reducido de radio delta de equis cero, o sea, sin incluir el punto x0). De la misma
forma, | f ( x) L |< es equivalente a f ( x) E ( L) . Escriba la definicin de lmite con esta
notacin!
De lo visto, surge claramente que el valor de la funcin en x0 no interesa: las tres
funciones tenan el mismo lmite, siendo que f(2) = 4 = L, no existe g(2), y h(2) = 3 L! Esto
permite calcular lmites en casos como el de g(x) y h(x), en que la funcin se comporta
extraamente en el punto en cuestin, pero normalmente en los alrededores.

Ejemplos:
x2 4
a) Calcular el lmite de cuando x tiende a -2. Importantsimo: Como x tiende a -2 pero
x+2
no es -2, se puede simplificar la expresin (x+2), ya que el numerador es x2 - 4 = (x+2)(x-2), y
nos queda el lmite de (x 2) cuando x tiende a -2, es decir, el lmite ser -2 - 2 = - 4. Calculen
ustedes el ( ), ahora.
Algo que surge de la definicin: si un dado sirve para cierto , puede usarse el
mismo para cualquier mayor que se! (lo que era < ser menor que 1 si < 1).
Tambin vale que si un sirve para cierto , cualquier 1 < tambin sirve para el mismo
(razone hasta entender completamente ambas afirmaciones).

b) Calcular el lmite de f(x) = x2 cuando x tiende a 2. Aplicar la definicin para corroborarlo.

Ing. Guillermo Ryan
2
 Como la funcin no tiene nada raro, vemos que f (2) = 4, y seguramente el lmite ser
4, es decir, que cuanto ms cerca est x de 2, ms cerca estar x2 de 4. Determinemos entonces el
necesario, dado un positivo cualquiera:
| x2 - 4| < |(x 2)(x+2)| < |x 2|.|x + 2| < . Como estamos cerca de x = 2,
podemos pedir que x > 1, es decir, imponemos que sea no mayor que 1, y 1< x < 3 y entonces

tenemos |x + 2| = (x+2) > 0, y podemos dividir m.a.m. por (x + 2). Deber ser | x 2 |< .
x+2

Como buscamos un que nos asegure, vemos que ser mnimo cuando (x+2) sea mayor,
x+2
que es cuando x=3, porque ya impusimos que no debe superar 1 (1< x < 3). Tomamos

entonces = mn (1, ) y ya est, es decir, que si |x 2| < , ser | x2 - 4| < .
) = mn (1,
3+2 5
De la misma forma, llegaramos a que el lmite cuando x tiende a 3 es 9, y sera =

mn( , 1) (comprubelo!).
7
Vemos as que, para la misma funcin, el ( ) depende tambin del punto x0. De forma
ms general, entonces, sera ( , x0) en la definicin, pero como hablamos de un punto x0 ya
dado, el punto x0 no vara, y la expresin ( ) original es correcta igual.
Resumiendo lo hasta aqu expresado: al buscar el lmite no calculamos el valor de la
funcin para ese valor de x, sino el valor que debiera tener de acuerdo a su comportamiento (los
valores que toma) en las cercanas del mismo, independientemente del valor que tenga (o no
tenga) en el valor de x dado. Esto es lo que nos permite simplificar factores que se anulan en x0
cuando estn en numerador y denominador (x no toma el valor x0).

Propiedades de lmites

1) El lmite, si existe, es nico. Esto se demuestra fcilmente, suponiendo que los lmites
sean dos, digamos L1 y L2, cuando x tiende a x0. Si tomamos = |L2 L1| / 2, y por ser L1 lmite,
existe un tal que todo x en el entorno de x0 de radio tiene el valor de f(x) a menos de de
L1, y por tanto a ms de de L2 (los dos entornos en el eje y centrados en L1 y L2 son disjuntos,
por el valor de que tomamos). Por tanto, L2 no es lmite si L1 lo es, y viceversa. No puede haber
ms de un lmite, entonces (haga el grfico correspondiente, y visualice la demostracin).

2) Sea f(x) = K = constante. Est claro que en cualquier punto x0 del Df, y para cualquier
*
> 0 que tomemos, podemos tomar = 1, por ejemplo, ya que todos los x del E1 ( x0 ) tienen f(x)
= K, y por tanto |f(x)-K| = 0 < . En este caso, muy particular, NO depende de .

lim (f(x) g(x)) = lim f ( x ) lim g ( x )

3) , si stos existen. Demostracin: Dado
xa xa xa
>0, tomamos 1 = /2, y con 1 determinamos 1 y 2 de modo que siendo L1 y L2 los
lmites de f y g respectivamente, ser |f(x) - L1| < 1 y | g(x) - L2| < 1 , siempre que x est a
menos de de a, tomando = mn { 1 , 2 }. Expresando las desigualdades en las formas:
- 1 < f(x) - L1< 1 y - 1 < g(x) - L2 < 1 , y sumando m.a.m. ser (ya que 1 + 1 = ):
- < f(x) - L1 + g(x) L2 < , o sea - < f(x) + g(x) (L1 + L2) < , o lo que es lo
mismo, | f(x) + g(x) (L1 + L2) | < , que demuestra para la suma. Demuestre para la resta!
(tener en cuenta que para restar una desigualdad de otra, debo multiplicarla por (-1), cambiarla de
Ing. Guillermo Ryan
3
sentido y sumar las dos, ya que la propiedad es vlida para sumas de desigualdades del mismo
sentido, no para restas).

lim
4) x = a . Tomando = , se demuestra fcilmente.
xa

lim cf ( x) = c. lim f ( x )
5) . Demostracin: dado >0, tomamos el que corresponde
xa xa
a 1 = /|c| del lmite L de f(x), y ser cf ( x) cL = |c|.|f(x) L| < |c|. /|c| = , lo que nos da
|cf(x) cL| <
para los x en el E (a ) , lo que termina la prueba.
lim f(x).g(x) = lim f ( x) . lim g ( x)
6) , si stos existen.
xa xa xa

lim f ( x)
f ( x)
lim g ( x) 0 lim =xa
7) g ( x)
xa xa lim g ( x)
xa

n n lim f ( x )
lim [ f ( x )] lim f ( x) lim b f(x)
8) = 8) = b x a
xa x a xa

lim log b f ( x) = log b lim f ( x)

9) .
xa x a

10) Teorema de Estriccin. Sean f(x) y g(x) tales que x en el intervalo [a, b] (salvo tal
vez en el punto x0 ( a, b) , se verifica que f(x) < g(x). Entonces, se tiene que
lim f ( x) lim g ( x)
. Por qu no se mantiene la desigualdad estricta? Lo vemos en un
x x0 x x0
ejemplo: f(x) podra coincidir en el punto x0 con g(x), pero ser menor que g(x) en el resto del
intervalo. Pero como las curvas se unen en x0 (y el punto de unin no nos interesa), los lmites en
x0 coinciden. Otro caso: f(x) < g(x) x [a, b], salvo en x0, donde no conozco (o no existe) el
valor de f(x) (o el de g(x)). Puedo asegurar la desigualdad no estricta de los lmites en x0, pero no
la estricta. Volveremos sobre este punto.

11) Teorema del Sandwich. Si en el intervalo [a, b] es f(x) < ( ) g(x) < ( ) h(x), y para
x0 ( a, b) es lim f ( x ) = lim h ( x ) = L , entonces ser lim g ( x) = L .
x x0 x x0 x x0

lim (mx + n) = ma + n
Ejercicio: aplicando los teoremas, demostrar que .
xa
Lmites laterales

Surge la necesidad de este concepto cuando tenemos funciones definidas por tramos, y
queremos calcular el lmite en los puntos de cambio de tramo, justamente. Pero pongamos un
ejemplo grfico, para visualizar mejor la idea:
Ing. Guillermo Ryan
4
 Observamos que en x0 = 2 la grfica de la funcin
y aparenta tener dos lmites, segn nos acerquemos
desde la izquierda (llegaramos al valor Li = 3) o desde
la derecha de x0 = 2 (que llevara a Ld = 4).
Justamente se trata de estudiar estos dos
Ld 4 comportamientos distintos, analizando lo que ocurre
cuando nos acercamos a x0 slo desde un lado o slo
Li 3 desde el otro.
Cuando tomamos los valores de la derecha, es
2 decir, valores de x mayores que x0, hablamos de lmite
lateral derecho o de lmite por valores mayores que
1 x0.
Cuando tomamos los valores de la izquierda,
hablamos de lmite lateral izquierdo o lmite por
1 2 3 x valores menores que x0.

Pero si sta es la nica diferencia en cuanto a concepto de lmite, y si la idea es la misma

pero consideramos el entorno de x0 a un solo lado de x0 segn de qu lmite lateral hablamos,
deberamos poder dar las definiciones fcilmente! As es, y son stas:
lim f ( x)
Lmite lateral derecho: se simboliza con + , y su expresin ser:
x x0
lim f ( x) = Ld > 0, ( ) > 0 / 0 < x x0 < | f ( x) Ld |< (a)
+
x x0
En notacin de entornos sera como antes, pero tomando x > x0, es decir:
lim f ( x) = Ld > 0, ( ) > 0 / x E ( x0 ) x > x0 f ( x) E ( Ld ) (b)
*

+
x x0
Vemos que de nuestra definicin, en (a) slo sacamos las barras de valor absoluto de (x
x0), siendo el resto idntico. O sea que estamos pidiendo 0 < x x0, es decir, x > x0, porque nos
ubicamos a la derecha de x0. Por qu no suprimimos el valor absoluto en (f(x) Ld)?

Lmite lateral izquierdo: se simboliza con lim f ( x) , y su definicin ser,

x x0
entonces: lim f ( x) = Li > 0, ( ) > 0 / 0 < x0 x < | f ( x) Li |< .

x x0
Efectivamente, basta con invertir x y x0 en la desigualdad (ahora debe ser x < x0) para
tener la expresin apropiada. Escribirla en notacin de entornos!

Ahora bien: Cmo relacionamos la nocin de lmite con la de lmites laterales? Si la

funcin tiene lmite en x0, ste deber ser nico, como ya probamos. Esto nos dice qu debe
ocurrir, entonces: si f(x) tiene lmite en x0, los lmites laterales en x0 deben ser iguales, y
viceversa (si los lmites laterales son iguales, entonces hay lmite). Podra demostrar esta
equivalencia? Ayuda: La ida es muy fcil, ya que en la definicin de lmite, dado , el mismo
sirve para ambos lados, es decir, para los 2 lmites laterales. Para la vuelta: dado el , con tomar
= min ( 1, 2), siendo 1 y 2 los valores de para cada lmite lateral, se cumplir la

Ing. Guillermo Ryan

5
definicin de lmite tambin. Si los lmites laterales son distintos en a, la funcin no tiene lmite
en x0=a. Lo mismo ocurre si alguno de ellos no existe.
Importante: Si consideramos que el dominio de la funcin es slo un intervalo [a, b],
cuando hablamos de lmite en a o en b nos referimos al lmite lateral correspondiente, porque
cualquier entorno de un extremo del intervalo no tiene valores del dominio en la parte del entorno
que queda afuera (izquierda de a o derecha de b). As, lmite y lmite lateral ser la misma
cosa en los extremos del intervalo. Si el dominio fuera (a, b), qu pasa entonces en los extremos?
Podemos hablar de lmite todava? (Pensarlo!).

Lmite infinito

Surge este concepto cuando los valores de la funcin crecen (o decrecen) ilimitadamente
cuando nos aproximamos a un dado valor de x. Pero si decimos ilimitadamente, no entramos en
contradiccin al hablar de lmite en este caso? S, de alguna forma es una contradiccin, pero la
aceptamos y la usamos para decir de qu forma la funcin no tiene lmite para ese valor de x.
(Ac poner grficos de 1/x2, -1/ x2 , 1/x y -1/x )

Para x aproximndose a x0 = 0, en el primer grfico vemos que la funcin crece sin lmite
hacia arriba, en el segundo crece hacia abajo (decrece) sin lmite, y en los otros dos grficos
observamos que si nos aproximamos al 0 por un lado nos vamos hacia arriba y por el otro lado
hacia abajo. Esto qu nos indica? Que en el primer grfico la funcin tiende a + , en el segundo
a - , y en los otros dos tendremos lmites laterales + - , segn el caso.
En este caso vemos que f(x) crece (o decrece) sin cota tomando x suficientemente
prximo a x0. Esto nos dice que no tengo un Entorno de infinito de radio psilon en juego!
El concepto terico: dado un nmero M > 0, tan grande como se quiera, siempre
podemos encontrar un > 0 , tal que dentro del entorno de x0 (x0 = 0 en los grficos de ejemplo)
de radio (exceptuando x0, como de costumbre) los valores de la funcin son mayores que M (o
menores que M si se trata de - ).
Si consideramos y = 1/ x2, en x = 0, y tomamos M = 100, vemos que tomando = 0.1 ya
alcanza: x (0 - , 0+ ) = (- , ) = (- 0.1, 0.1) hace 1/ x2 > 100 (1/(0.1)2 = 100, pero debe ser
|x| < 0.1). Para M = 10.000, alcanza con = 0.01, ya que con x (- , ) = (- 0.01, 0.01) tenemos
1/ x2 > 10.000.
Para el segundo grfico (y = - 1/x2) ocurre lo mismo, pero hacia abajo: para M = 100
tomamos de nuevo = 0.1, y tenemos que -1/ x2 < -100 si x (-0.1, 0.1). Verifique que para M =
10.000 sirve = 0.01.
Con lo dicho no debiramos tener problemas en interpretar la definicin matemtica de
los lmites mencionados:

lim f ( x) = + M > 0, ( M ) > 0 / x E (a ) f ( x) > M

*
1)
xa

Ing. Guillermo Ryan

6
 lim f ( x) = - M > 0, ( M ) > 0 / x E (a) f ( x) < M
*
2)
xa
Y los lmites laterales + y - , que seran 4 (+ y - por la izquierda y por
la derecha). Ac definimos dos (los otros dos quedan como ejercicio de razonamiento):

a) lim f ( x) = M > 0, (M ) > 0 / 0 < x a < f ( x) < M

x a+

b) lim f ( x) = + M > 0, ( M ) > 0 / 0 < a x < f ( x) > M

x a
Lmite en el infinito

Se trata ahora de considerar qu ocurre con la funcin cuando nos desplazamos

indefinidamente sobre el eje x, ya sea hacia la derecha (x + ) o hacia la izquierda (x ).
Por ejemplo, podemos ver que si f(x) = senx, por ms que nos alejemos sobre el eje x
la funcin contina oscilando entre -1 y +1 indefinidamente, o sea, podemos decir que f(x) no
tiende a un valor definido (o lmite) cuando x tiende a ms infinito o a menos infinito.
Sin embargo, una funcin como f(x) = 1/x2, a medida que x crece en valor absoluto (x2
es siempre positivo) el valor de f(x) disminuye y el cociente se hace tan pequeo como queramos
tomando x suficientemente grande, es decir, la funcin tiende a cero cuando x tiende a +
infinito.
Entonces, si existe el lmite L para x tendiendo a + infinito, la definicin matemtica es
simple, si razonamos que El valor de la funcin debe estar tan prximo a L como se pida
(Epsilon!) siempre que x sea suficientemente grande (o bien, mayor que cierto valor, que
depende de psilon):

lim f ( x) = L > 0, N ( ) > 0 / x > N | f ( x) L |<

x +
Anlogamente ser para el lmite L cuando x tiende a menos infinito:

lim f ( x) = L > 0, N ( ) > 0 / x < N | f ( x) L |<

x
Notemos que f(x) puede, en ambos casos, aproximarse a L por arriba (decreciendo) o por
abajo (creciendo), por ello se toma valor absoluto de f(x) L para ambas definiciones.

Grficos ilustrativos:

Ing. Guillermo Ryan

7