E

LÍMITE

Una aproximaación al cooncepto de límite

Hemos apprendido el concepto de función dde una variaable real, ahhora sabemoos cómo
calcullar su dominnio, y esbozzar o trazar algunos eleementos de su gráfica. P Para aprendeer otros
elemeentos, que noos permitan pprever cómoo se comportta una funcióón dada, nuestro problem
ma ahora
consisste en responnder la siguieente preguntaa:

¿Qué pasaa con la funcción, cuandoo la variable independiennte se aproxiima a un vallor dado
x=a, ppertenecienddo éste o no aal dominio?

La única condición que

q exigimoss al valor x== a es que ssea punto de acumulacióón de su
dominnio. Repasem
mos qué signiifica este conncepto

Decimmos que a ees punto de aacumulación de un conjunnto dado C, si se verificaa que para cuualquier
entornno reducido de
d a, la interssección del entorno
e con el
e conjunto dado es no vacía.

acumulaciónn de C ⇔ ∀δ > 0 : Eδ* ( a ) ∩ C ≠ ∅

Simbóólicamente: a punto de a

Esta defi
finición, aunnque breve,, involucra varios connceptos preeliminares, que ya
desarrrollamos en la
l clase teórica. Sirvan coomo ejemplos los siguienttes:

Ej.1 f1 ( x) = 0.5 x + 1 x2 − 1
Ej.2 f 2 ( x) =  
x −1

⎧ x − 1, x > 0 Ej.4 f 4 ( x) =
1
Ej.3 f 3 ( x ) = ⎨  
⎩ 2 − x, x ≤ 0 x −1

Claud
dia M Borré P
Página 1
 
 
 
En loos cuatro casoos, 1 es punnto de acumuulación de los respectivoss dominios dde f1 , f2 ,f3 y f4. ¿Por
qué?

Adem
más, en el prim
mer y últimoo casos, el vallor 1 perteneece al dominiio, no así en los
l restantes..

Siguieendo con los ejemplos, puuede observaarse que:

• f1 (1) existte y es 3/2.

• no existenn f2 (1) ni f4 (1), por no peertenecer 1 a sus dominioss.
• f3(1)=1

No obstannte, a medidaa que x se approxima infiinitamente ceerca de 1(leeemos x tiendde a 1, y

mos x → 1 ), f1(x) se aprooxima al valor 3/2 y f2(x) se aproxxima al valorr 2, ya sea qque nos
notam
acerquuemos a 1 desde valorees mayores que 1(leemoos x tiendee a 1 por dderecha), o que q nos
acerquuemos a 1 deesde valores menores quee 1 (decimos que x tiende a 1 por izquuierda).

Si intentam
mos algo sim
milar para f4(xx), es decir, aaproximarnoss a 1 por dereecha y por izquierda,
vemos que por dderecha, la ffunción valoores positivos cada vez mayores cuaando más prróximos
estam
mos a 1; en ttanto que si nos aproximmamos por izzquierda, la función tom ma valores neegativos,
v menores a medida quue nos aproxiimamos a 1.
cada vez

Si proceddemos de iguual manera ppara f3(x), vemos v que: si x tiende a 1 por derrecha, la
funcióón tiende a 0, en tanto quue si x tiende a 1 por izquiierda, la funcción tiende a 1.

mente, podríaamos decir qque el límitee de una fu

Intuitivam unción f(x), es el valor al cual
“tiend
de” la funcióón (valor dee la ordenadaa), cuando x tiende a un
n valor dado a.

Con esta nnoción muy pprimaria del cconcepto de límite, podem

mos decir quue:

• ell límite de f1(x) mos lim f1 ( x ) = 3 / 2  

( cuando x ttiende a 1 es 3/2; escribim
x →1

Claud
dia M Borré P
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 f 3 ( x ), ∃/ lim f 4 ( x)  

x →1 x →1

Es importante destacar dos aspectos:

9 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.
9 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
l f ( x)
x →1

Siendo f(xx) una funcióón lineal, suu dominio soon los reales, de modo que
q existe ff(1 )y es
f(1)=33/2;  prescinddamos ahoraa de esto, y miremos quué pasa cuanndo x tiendee a 1, para calcular
lim f ( x )
x →1

L+ε 

L‐ε  L 

a‐δ  a a+δ 

Además, ttodos sus punntos son de aacumulación (¿por qué?), así que podeemos asegurar que 1
lo es.

Veremos qque cualquieera sea el valoor positivo de

d ε prefijado, y si δ=2ε, ssi x está entree (1-δ) y
(1+δ) exceptuandoo el valor 1, f(x)
f estará coomprendido entre
e (1-ε) y ((1+ε).

Es decir, vamos a probar que lim f ( x ) = llim (0.5 x + 1)

1 = 3 / 2 , y que
q basta tom
mar δ=2ε paraa que se
x →1 x →1

cumpla la definiciión anterior.

De accuerdo a ella::

1 1
f ( x) − L < ε ; 0.55 x + 1 − 1.5 < ε ; x − 0.5 < ε ; x − 1 < ε ⇒ x − 1 < 2ε
2 2

mamos δ=2ε (el δ (ε ) quee aparece en la definiciónn), se cumple lo dicho. Poor ejemplo,
Si tom
comprobémoslo para algunos valores.
v

Claud
dia M Borré P
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)] = k1 L1 ± k2 L2
x →a

8 − lim [ f ( x) g ( x)] = L1 L2
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− f 3 ( x ) = 1; lim+ f 3 ( x ) = 0 ⇒ ∃/ lim− f 3 ( x )  

x →1 x →1 x →1

 
Claudia M Borré Página 7
 
 
 
Límitte infinito 
Correesponde a un caso de no eexistencia de límite (finitoo).

Sea ell Ej. 5 de la ffigura; allí poodemos verifficar la definiición:

m f ( x) = ∞ ⇔ ∀M > 0, ∃δ ( M ) > 0 / 0 < x − a < δ ⇒ f ( x) > M

lim
x→a

f(x)  Ej. 5 

M 

M 

x
1‐δ 1+δ

Tambbién la funcióón puede tendder a menos iinfinito, com

mo se ve en Ejj.6, donde see cumple la
definiición:

lim f ( x) = −∞ ⇔ ∀M > 0, ∃δ ( M ) > 0 / 0 < x − a < δ ⇒ f ( x) < − M

x →a

Claud
dia M Borré P
Página 8
 
 
 
 x
1‐δ  1+δ

‐M  Ej. 6
6 

f(x) 

También uun límite pueede ser distinnto por izquieerda al que reesulta por derrecha, es decir un
límitee lateral puedde ser infinitoo de un signoo, y el otro, del signo conttrario (ver Ej.3); y aún, unno de
los latterales puedee ser infinito,, y el otro no, como se ve en Ej.7

Ej. 7

Por últimoo, para comppletar los casoos de no existencia de lím

mite, debemoss citar el casso de
límitee oscilante: exxisten funcioones que, porr más próxim
mos que estemmos al valor dde a, la función

Claud
dia M Borré P
Página 9
 
 
 
sigue oscilando peermanentemeente. Un casoo típico es : llim [ sen(k / x) ] , k ≠ 0 , como
c se grafiica en
x →0

Ej.8.

Ej. 8 

Límittes en el infinito 
El concepto original dee límite puedde extenderse para “puntoos de acumulación en el
infinitto”. Así, resuulta:

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 →−∞

Vemoos que no se trata de limiites laterales,, sino que la variable indeependiente tiende a valorees
infinittamente granndes, o a valoores infinitam
mente pequeñños; tengamoos esto presennte en la notaación.

En la función grafficada, Ej.9: 

lim f ( x) = 0
x →∞
 
lim f ( x) = −2
x →−∞

Claud
dia M Borré Pá
ágina 10
 
 
 
 Ej. 9 

Límitte infinito en el infin
nito 
Tambbién, los límittes en el infinnito pueden sser 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 fuunciones los límites en el infinito, e in
nterprete gráficamente en
n una 
de ellas las definicciones anteriiores. 

Claud
dia M Borré Pá
ágina 11
 
 
 
Caso
os indeterm
minados 
No obstannte conocidass ya las propiiedades, hay casos donde “a priori” noo podemos deecir si
el lim
mite existe o nno, y en tal caaso, cuánto vale;
v estos soon los llamados casos indeeterminados, que en
la prááctica se reduucen a:

1-cocciente de dos funciones cuuyos límites vvalen cero (ccaso 0/0).

2-cocciente de dos funciones cuuyos límites sson infinitos (caso ∞ / ∞ ). 

3-difeerencia de doos funciones cuyos

c límitess son infinitoos (caso ∞ − ∞ ).

multiplicada ppor una que ttiende a infinnito (caso  0 ∞ ). 

4-producto de unaa función quee tiende a 0 m

5-unaa función quee tiende a 0 elevada a otraa que tambiénn tiende a 0 ((caso 00  ).

finito elevadaa a otra que tiiende a 0(casso ∞ 0  ). 

6-unaa función quee tiende a infi
Claud
dia 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
p  , de la comparación de áreas en la
lo antedicho. Recordando que: OP = OQ = r ; x=l/r;l= PQ

construcción resulta:

área OPQ < área OPQ < área ORS

eje y
R
                                                                                                                                                                       
P
  l
r
  x

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

p
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 p = 1 r2x
área OPQ = OQ PQ
  2 2                  
1 1
área ORS = 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 ) ⎤⎦ = lim ⎢⎜ 1 + ⎟ ⎥ = e ,
1/ x

⎣⎢⎝ x ⎠ ⎦⎥
x →0 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 + ⎟ ⎥ = e k , 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