LÍMITE

Una aproximación al concepto de límite

Hemos aprendido el concepto de función de una variable real, ahora sabemos cómo
calcular su dominio, y esbozar o trazar algunos elementos de su gráfica. Para aprender otros
elementos, que nos permitan prever cómo se comporta una función dada, nuestro problema ahora
consiste en responder la siguiente pregunta:

¿Qué pasa con la función, cuando la variable independiente se aproxima a un valor dado
x=a, perteneciendo éste o no al dominio?

La única condición que exigimos al valor x= a es que sea punto de acumulación de su

dominio. Repasemos qué significa este concepto

Decimos que a es punto de acumulación de un conjunto dado C, si se verifica que para cualquier
entorno reducido de a, la intersección del entorno con el conjunto dado es no vacía.

Simbólicamente: a punto de acumulación deC    0 : E * (a ) C  

Esta definición, aunque breve, involucra varios conceptos preliminares, que ya

desarrollamos en la clase teórica. Sirvan como ejemplos los siguientes:

Ej.1 f1 ( x)  0.5x  1 x2 1
Ej.2 f 2 ( x) 
x 1

 x  1, x  0 Ej.4 f 4 ( x) 
1
Ej.3 f3 ( x)  
2  x, x  0 x 1

Claudia M Borré Página 1

En los cuatro casos, 1 es punto de acumulación de los respectivos dominios de f1 , f2 ,f3 y f4. ¿Por
qué?

Además, en el primer y último casos, el valor 1 pertenece al dominio, no así en los restantes.

Siguiendo con los ejemplos, puede observarse que:

 f1 (1) existe y es 3/2.

 no existen f2 (1) ni f4 (1), por no pertenecer 1 a sus dominios.
 f3(1)=1

No obstante, a medida que x se aproxima infinitamente cerca de 1(leemos x tiende a 1, y

notamos x  1 ), f1(x) se aproxima al valor 3/2 y f2(x) se aproxima al valor 2, ya sea que nos
acerquemos a 1 desde valores mayores que 1(leemos x tiende a 1 por derecha), o que nos
acerquemos a 1 desde valores menores que 1 (decimos que x tiende a 1 por izquierda).

Si intentamos algo similar para f4(x), es decir, aproximarnos a 1 por derecha y por izquierda,
vemos que por derecha, la función valores positivos cada vez mayores cuando más próximos
estamos a 1; en tanto que si nos aproximamos por izquierda, la función toma valores negativos,
cada vez menores a medida que nos aproximamos a 1.

Si procedemos de igual manera para f3(x), vemos que: si x tiende a 1 por derecha, la
función tiende a 0, en tanto que si x tiende a 1 por izquierda, la función tiende a 1.

Intuitivamente, podríamos decir que el límite de una función f(x), es el valor al cual
“tiende” la función (valor de la ordenada), cuando x tiende a un valor dado a.

Con esta noción muy primaria del concepto de límite, podemos decir que:

 el límite de f1(x) cuando x tiende a 1 es 3/2; escribimos lim f1 ( x)  3 / 2

x 1

Claudia M Borré Página 2

  el límite de f2(x) cuando x tiende a 1 es 2; notamos lim f 2 ( x)  2
x 1

 los límites de f3(x) y f4 (x) cuando x tiende a 1 no existen; 

 lim f3 ( x),  lim f 4 ( x)
x 1 x 1

Es importante destacar dos aspectos:

 En primer lugar, comprender que el concepto de límite de una función, para x

tendiendo a un valor dado, es independiente del valor de la función en el
punto, inclusive pudiendo o no existir la misma en dicho valor.
 En segundo lugar, el límite existirá si al tender x a a tanto por izquierda ( x  a  )
como por derecha( x  a  ), la función tiende al mismo valor.

Definición formal de límite

Comprendido lo antedicho, veamos ahora la definición formal de límite.

Decimos que el límite de una función f(x) cuando x tiende a un valor a, que es punto de
acumulación de su dominio, es un valor L, siempre que para cualquier valor positivo arbitrario ε
(aún tan pequeño como lo deseemos) es posible hallar un valor δ también positivo que de él
depende, de modo que si tomamos un valor x perteneciente a un entorno reducido de centro a y
radio δ, el valor de f(x) pertenecerá a un entorno de centro L y radio ε.

Simbólicamente:

lim f ( x)  L    0  ( )  0 / x  E* (a)  f ( x)  E ( L)

x a

a : punto de acumulación de D f

Recordemos que con entorno E (C ) nos referimos a un intervalo abierto, que representa a
todos los números reales que están a una distancia del centro C menor que el radio o semiamplitud
 . Usamos la notación E* (C ) para representar a un entorno reducido de centro C y radio  , que
está formado por los puntos del entorno, exceptuando el mismo valor de C.

Es decir, para los elementos usados en la definición, encontramos:

E* (a)   x / 0  x  a     (a   , a)  (a, a   )

E ( L)   x / x  L     ( L   , L   )

De modo que lo anterior es equivalente a:

lim f ( x)  L    0,  ( )  0 / 0  x  a    f ( x)  L  
x a

Claudia M Borré Página 3

Sea f(x)=0.5x+1; calculemos lim f ( x)
x 1

Siendo f(x) una función lineal, su dominio son los reales, de modo que existe f(1 )y es
f(1)=3/2; prescindamos ahora de esto, y miremos qué pasa cuando x tiende a 1, para calcular
lim f ( x)
x 1

L+ε

L-ε L

a-δ a a+δ

Además, todos sus puntos son de acumulación (¿por qué?), así que podemos asegurar que 1
lo es.

Veremos que cualquiera sea el valor positivo de ε prefijado, y si δ=2ε, si x está entre (1-δ) y
(1+δ) exceptuando el valor 1, f(x) estará comprendido entre (1-ε) y (1+ε).

Es decir, vamos a probar que lim f ( x)  lim(0.5 x  1)  3 / 2 , y que basta tomar δ=2ε para que se
x 1 x 1

cumpla la definición anterior.

De acuerdo a ella:

1 1
f ( x)  L   ; 0.5 x  1  1.5   ; x  0.5   ; x  1    x  1  2
2 2

Si tomamos δ=2ε (el  ( ) que aparece en la definición), se cumple lo dicho. Por ejemplo,
comprobémoslo para algunos valores.

Claudia M Borré Página 4

  E* (1) = x  E* (1) E (3 / 2)  f  x   E (3 / 2)
(1   ,1)  (1,1   ) (1.5   ,1.5   )
0.5 1 (0,1)U(1,2) 0.2 (1,2) 1.1
1.4 1.7
0.1 0.2 (0.8,1)U(1,1.2) 0.9 (1.4,1.6) 1.45
1.1 1.55
0.001 0.002 (0.998,1)U(1,1.002) 0.999 (1.499,1.501) 1.4995
1.001 1.5005

En este caso, vemos que el valor de la función y del límite coinciden; no obstante, como ya dijimos,
son conceptos independientes.

Veamos el ejemplo 2. Gráficamente, Vemos que:

f 2 (1)

lim f 2 ( x)  2
x 1

Verificaremos como en el caso anterior

x2 1 ( x  1) ( x  1)
 2  ;  2   ; x 1  2   ;  x 1  
x 1 x 1

En este caso, hemos factorizado el numerador y simplificamos, sin condicionar, por cuanto estamos
calculando límites y, como ya dijimos, nos interesa qué pasa con la función en las inmediaciones
de x=2, pero no en x=2

Así, si tomamos δ=ε (el  ( ) que aparece en la definición), se cumple lo dicho. Por ejemplo,
comprobémoslo para algunos valores, como en el caso anterior.

  E* (1) = (1   ,1)  (1,1   ) E (2)  (2   , 2   )

x  E* (1) f  x   E (2)

0.5 0.5 (0.5,1)U(1,1.5) 0.7 (1.5,2.5) 1.7

1.4 2.4
0.1 0.1 (0.9,1)U(1,1.1) 0.95 (1.9,2.1) 1.95
1.05 2.05
0.0001 0.0001 (0.999,1)U(1,1.001) 0.9998 (1.999,2.001) 1.9998
1.0005 2.0005

No en todos los casos, la obtención de la relación  ( ) es tan sencilla; por otra parte, hemos
verificado el límite, acorde a los gráficos previamente vistos. Necesitamos buscar modos de calcular
el valor del límite de una función. Para nuestro caso:
Claudia M Borré Página 5
 x2 1 ( x  1) ( x  1)
lim f 2 ( x)  lim  lim  lim( x  1)  1  1  2,
x 1 x 1 x  1 x1 ( x  1) x 1

donde hemos simplificado el factor (x-1) sin condicionar, por cuanto, reiteramos, no importa qué
pasa con la función en x=1, sino en su entorno (por eso, en la definición se usa un entorno reducido
de a).

Aclaración: a partir de aquí, en el texto daremos por sobreentendido que a es punto de

acumulación del dominio de la función.

Propiedades
1-Teorema de unicidad del límite: establece que, si una función tiene límite para x tendiendo a un
valor a, ese límite es único.

¿Cómo lo escribiría simbólicamente?

También, por la definición planteada, pueden deducirse las siguientes propiedades. Proponemos que
enuncie cada una en lenguaje coloquial.

2  lim k  k , k 
x a

3  lim x  a,
x a

4  lim  kx   k lim x, k 
x a x a

Además, siendo lim f ( x)  L1 ,lim g ( x)  L2 , se cumplen:

x a x a

5  lim  f ( x)  g ( x)  L1  L2
x a

6  lim  k f ( x)  k L1 , k 
x a

7  lim  k1 f ( x)  k2 g ( x)  k1L1  k2 L2

x a

8  lim  f ( x) g ( x)  L1L2

x a

9  lim  f ( x) / g ( x)  L1 / L2 , con L2  0

x a

10  lim  f ( x)k   L1k , k 

x a

Claudia M Borré Página 6

11  lim k f ( x )   k L1 , k  0
x a

12  lim  f ( x) g ( x )   L1L2
x a

13  lim logb f ( x)  log b lim f ( x)  , b  0  b  1

x a  x a 

14- Teorema de estricción (*)

x  E* (a) : f ( x)  g ( x)   lim f ( x),lim g ( x)  lim f ( x)  lim g ( x)

x a x a x a x a

También se extiende a f ( x)  g ( x)

15- Teorema del sándwich, compresión o emparedado (*)

x  E* (a) : f ( x)  g ( x)  h( x)  lim f ( x)  lim h( x)  L  lim g ( x)  L

x a x a x a

(*) la designación de estos teoremas puede variar según la bibliografía; éstas definiciones son las
seguidas en este curso.

A partir de la definición de límite, pueden distinguirse:

Límites laterales

Limite lateral derecho:

lim f ( x)  Ld    0,  ( )  0 / a  x  a    f ( x)  Ld  
x a 

Limite lateral izquierdo

lim f ( x)  Li    0,  ( )  0 / a    x  a  f ( x)  Li  
x a 

Acorde a la definición general, es evidente que, para que exista el límite, ambos deben ser iguales
entre sí:

 lim f ( x)  L  Li  Ld  L
x a

En Ej.3: lim f3 ( x)  1; lim f3 ( x)  0  

 lim f3 ( x)
x 1 x 1 x 1

Claudia M Borré Página 7

Límite infinito
Corresponde a un caso de no existencia de límite (finito).

Sea el Ej. 5 de la figura; allí podemos verificar la definición:

lim f ( x)    M  0,  ( M )  0 / 0  x  a    f ( x)  M
x a

f(x) Ej. 5

x
1-δ 1+δ

También la función puede tender a menos infinito, como se ve en Ej.6, donde se cumple la
definición:

lim f ( x)    M  0,  ( M )  0 / 0  x  a    f ( x)  M
x a

Claudia M Borré Página 8

 x
1-δ 1+δ

-M Ej. 6

f(x)

También un límite puede ser distinto por izquierda al que resulta por derecha, es decir un
límite lateral puede ser infinito de un signo, y el otro, del signo contrario (ver Ej.3); y aún, uno de
los laterales puede ser infinito, y el otro no, como se ve en Ej.7

Ej. 7

Por último, para completar los casos de no existencia de límite, debemos citar el caso de
límite oscilante: existen funciones que, por más próximos que estemos al valor de a, la función

Claudia M Borré Página 9

sigue oscilando permanentemente. Un caso típico es : lim  sen(k / x) , k  0 , como se grafica en
x 0

Ej.8.

Ej. 8

Límites en el infinito
El concepto original de límite puede extenderse para “puntos de acumulación en el
infinito”. Así, resulta:

lim f ( x)  L    0, N ( )  0 / x  N  f ( x)  L  
x 

lim f ( x)  L    0, N ( )  0 / x   N  f ( x)  L  
x 

Vemos que no se trata de limites laterales, sino que la variable independiente tiende a valores
infinitamente grandes, o a valores infinitamente pequeños; tengamos esto presente en la notación.

En la función graficada, Ej.9:

lim f ( x)  0
x 

lim f ( x)  2
x 

Claudia M Borré Página 10

 Ej. 9

Límite infinito en el infinito

También, los límites en el infinito pueden ser infinitos; así tenemos

lim f ( x)    M  0, N ( M )  0 / x  N  f ( x)  M
x 

lim f ( x)    M  0, N ( M )  0 / x  N  f ( x)   M
x 

lim f ( x)    M  0, N ( M )  0 / x   N  f ( x)  M
x 

lim f ( x)    M  0, N ( M )  0 / x   N  f ( x)   M
x 

Actividad

Identifique en las siguientes funciones los límites en el infinito, e interprete gráficamente en una
de ellas las definiciones anteriores.

Claudia M Borré Página 11

Casos indeterminados
No obstante conocidas ya las propiedades, hay casos donde “a priori” no podemos decir si
el limite existe o no, y en tal caso, cuánto vale; estos son los llamados casos indeterminados, que en
la práctica se reducen a:

1-cociente de dos funciones cuyos límites valen cero (caso 0/0).

2-cociente de dos funciones cuyos límites son infinitos (caso  /  ).

3-diferencia de dos funciones cuyos límites son infinitos (caso    ).

4-producto de una función que tiende a 0 multiplicada por una que tiende a infinito (caso 0  ).

5-una función que tiende a 0 elevada a otra que también tiende a 0 (caso 00 ).

6-una función que tiende a infinito elevada a otra que tiende a 0(caso  0 ).
Claudia M Borré Página 12
7-una función que tiende a 1 elevada a otra función que tiende a infinito (caso 1 ).

Para resolver estos casos, deberemos “salvar la indeterminación”, es decir, evitarla, para
poder realizar el cálculo; para ello, apelaremos a transformaciones, algebraicas u otras, de modo de
obtener expresiones equivalentes a la original; por ejemplo, factoreando numerador y denominador
de modo de poder simplificar (como hicimos con f2(x), multiplicando y dividiendo por un binomio
conjugado, etc. Todo dependerá del tipo de función, por lo cual se requiere mucha práctica.

Límites notables

Vamos a demostrar que:

sen( x)
lim 1
x 0 x

sen( x)
El dominio de esta función f ( x)  es D f   0 ; además, f(x) es par porque:
x

sen( x) sen( x) sen( x)

f (  x)     f ( x)
x x x

Consideraremos por comodidad que x  (0,  / 2) ; de acuerdo a la figura que sigue, tenemos una
circunferencia de radio r  0 , con centro en el origen de coordenadas, y un ángulo x que satisface
lo antedicho. Recordando que: OP  OQ  r; x=l/r;l= PQ , de la comparación de áreas en la

construcción resulta:

área OPQ  área OPQ  área ORQ

eje y
R
P
l
r
x

eje x
O S Q
x: amplitud del ángulo orientado

l:longitud del arco PQ

Claudia M Borré Página 13

Explicitando cada miembro:

1 1
área OPQ  OQ PS  r 2 sen( x)
2 2

1 1
área OPQ  OQ PQ  r 2 x
2 2

1 1
área ORQ  OQ RQ  r 2tg ( x)
2 2

Reemplazando en la desigualdad anterior, y simplificando, obtenemos;

1 2 1 1
r sen( x)  r 2 x  r 2 tg ( x)
2 2 2

sen( x)  x  tg ( x)

Dividiendo miembro a miembro (m.a m.) la anterior por sen( x)  0 :

x tg ( x)
1 
sen( x) sen( x)

Elevando m. a m. a la (-1), la desigualdad cambia de sentido; considerando además que

tg ( x) 1
 :
sen( x) cos(x)

sen( x)
1  cos(x)
x

Tomando límite m. a m. para x  0 , por cuanto estamos tomando valores de x>0, y aplicando el
teorema de estricción:

sen( x)
lim 1  lim  lim cos(x)
x  0 x 0 x x 0

Siendo lim 1  1; lim cos(x)=1 :

x 0 x 0

sen( x)
lim 1
x  0 x

Claudia M Borré Página 14

Además, siendo f(x) par, es simétrica respecto al eje y, es decir tiene el mismo comportamiento a
ambos lados del eje, por lo tanto ambos límites laterales serán iguales; o en otras palabras:

sen( x) sen( x)
lim  lim 1
x 0 x x 0 x

Siendo iguales ambos límites laterales, concluimos que:

sen( x)
lim 1 s.q.d .
x 0 x

De la anterior puede derivarse que también:

tg ( x)
lim 1
x 0 x

Otro límite notable, que usaremos pero sin demostrar, es:

 1  x 
lim (1  x)1/ x   lim 1     e ,
x 0 x 
 x  

donde e es un número irracional cuyo valor es 2.7182818…

En base a lo anterior, te proponemos que demuestres que:

 k  x 
lim 1     ek , con k  k  0
x 
 x  

Bibliografía

LEITHOLD, Cálculo, 7ºed.

STEWART, J., Cálculo de una variable,4º ed.

Claudia M Borré Página 15