Lmites y continuidad

Clculo diferencial e integral en una variable

1. Lmites
1.1. Entornos
Las nociones de continuidad y de lmite de una funcin f en un punto x0 estn ntimamente
vinculadas con el comportamiento de dicha funcin alrededor del punto x0 . En matemtica,
se formaliza la nocin intuitiva de proximidad mediante la nocin de entorno:

Definicin 1 (Entorno de un punto). Dados un punto x0 R y un nmero > 0, se llama

entorno de centro x0 y de radio al conjunto E(x0 , ) definido por

E(x0 , ) := {x R : |x x0 | < } = (x0 , x0 + ) .

E(x0 , )
x0

De modo similar se define el entorno reducido E?(x0 , ), excluyendo el punto x0 :

E?(x0 , ) := E(x0 , ) \ {x0 }

= {x R : 0 < |x x0 | < } = (x0 , x0 ) (x0 , x0 + ) .

E?(x0 , )
x0

Observacin 2. Intuitivamente, el entorno E(x0 , ) de centro x0 y de radio > 0 representa

el conjunto de las aproximaciones del nmero x0 con precisin . Es claro que cuando se
reemplaza el radio por otro radio 0 (es decir: por una precisin mejor), se obtiene un
entorno contenido en el entorno anterior:

0 < 0 E(x0 , 0 ) E(x0 , ) .

La observacin anterior tambin vale para los entornos reducidos E?(x0 , ) y E?(x0 , 0 ).

Definicin 3 (Interior y clausura de un intervalo). Sea un intervalo I R.

El interior de I es el subintervalo I I obtenido excluyendo los extremos de I.
La clausura de I es el supraintervalo I I obtenido incluyendo los extremos de I.

1
La siguiente tabla resume la definicin del interior y de la clausura de un intervalo en funcin
del tipo del intervalo considerado:

Intervalo I Interior I Clausura I

[a, b], [a, b), (a, b], (a, b), con a < b (a, b) [a, b]
(, a], (, a) (, a) (, a]
[a, +), (a, +) (a, +) [a, +)
(, +) (= R) (, +) (, +)
{a} (= [a, a]) {a}

Se observa que en todos los casos, tenemos que I I I.

Definicin 4 (Punto interior, punto adherente). Dado un intervalo I R, se dice que un nmero

real x0 es un punto interior de I cuando x0 I , y que es un punto adherente a I cuando x0 I.
Dicho de otro modo:
un punto interior de I es un punto del intervalo I distinto de sus extremos;
un punto adherente a I es o bien un punto del intervalo I, o bien uno de sus extremos
(el o es inclusivo, pues los extremos del intervalo I pueden pertenecer a I).

Ejercicio 5 (Caracterizacin de los puntos interiores y adherentes). Dados un intervalo I R

y un nmero real x0 , se consideran las siguientes dos equivalencias:
(a) x0 es un punto interior de I si y slo si existe > 0 tal que E(x0 , ) I.
(b) x0 es un punto adherente a I si y slo si E(x0 , ) I , para todo > 0.

Para cada uno de los diez tipos de intervalos, demostrar que ambas equivalencias se cumplen.

Convencin 6. En lo siguiente, slo consideraremos funciones definidas en un intervalo I R

cuyo interior no es vaco, es decir, tal que I , . As, cuando escribiremos

Sea f : I R una funcin definida en un intervalo I R...

habr que leer:

Sea f : I R una funcin definida en un intervalo I R tal que I , ...

En la prctica, la convencin anterior slo excluye las funciones definidas en el intervalo

vaco I = y en los intervalos I = {a} (= [a, a]) reducidos a un punto, que tienen poco inters
en anlisis. El lo que sigue, usaremos a menudo la siguiente propiedad, que slo se cumple para
los intervalos cuyo interior no es vaco:

Proposicin 7. Si I R es un intervalo cuyo interior no es vaco (I , ), entonces para todo

punto x0 adherente a I y para todo > 0, tenemos que E?(x0 , ) I , .

Ejercicio 8. Demostrar la propiedad anterior, distinguiendo los casos en funcin del tipo del
intervalo considerado. Qu pasa cuando el intervalo est reducido a un punto?

2
1.2. Nocin de lmite
Definicin 9 (Lmite de una funcin en un punto). Sea f : I R una funcin real definida
en un intervalo I R. Dados un punto x0 I y un nmero L R, se dice que f (x) tiende a L
cuando x tiende a x0 , o que f tiene lmite L en el punto x0 cuando:

> 0, > 0, x I, 0 < |x x0 | < | f (x) L| < .

En este caso, se escribe

f (x) L o bien lm f (x) = L.

xx0 xx0

Observaciones 10. (1) Formalmente, tenemos que

def.
f (x) L > 0, > 0, x I, 0 < |x x0 | < | f (x) L| <
xx0

es decir, usando las notaciones para los entornos:

f (x) L > 0, > 0, x E?(x0 , ) I, f (x) E(L, ) .

xx0

As, la definicin de lmite expresa la idea intuitiva que f (x) es arbitrariamente cercano a L en
cuanto x sea suficientemente cercano a x0 (sin ser igual a x0 ). Ms precisamente:
> 0, Dada una precisin > 0 arbitraria,
> 0, existe un radio > 0 (suficientemente pequeo) tal que
x E?(x0 , ) I, todo punto x I, x , x0 cercano a x0 (a menos del radio )
f (x) E(L, ) tiene imagen f (x) cercana a L (a menos de la precisin ).
(2) La definicin de lmite slo examina los valores tomados por la funcin f en los entornos
reducidos del punto x0 que excluyen el punto x0 , y nunca examina el valor de f en el propio
punto x0 , cuando dicho valor existe1 . As, el valor tomado por la funcin f en el punto x0
(cuando dicho valor existe) no influye ni en la existencia del lmite, ni en el valor de dicho
lmite. La exclusin sistemtica del punto x0 del dominio de la observacin tambin explica
por qu se puede considerar el lmite de la funcin f en cualquier extremo del intervalo I,
incluso cuando la funcin f no est definida en dicho extremo.
(3) Una funcin f : I R no siempre tiene lmite en un punto x0 I (veremos contra-
ejemplos ms adelante), pero cuando tiene lmite, ste es nico:

Proposicin 11 (Unicidad del lmite). Sean una funcin f : I R definida en un intervalo

Si f tiene lmites L y L0 en el punto x0 , entonces L = L0 .
I R y un punto x0 I.

Demostracin. Supongamos (por el absurdo) que L , L0 . Se considera la precisin > 0

definida por := |L L0 |/2, de tal modo que los entornos E(L, ) y E(L0 , ) sean disjuntos:
E(L, ) E(L0 , )
L+L0
L 2 L0
|L L0 | = 2
1
Recordemos que el punto x0 puede no estar en el intervalo de definicin I.

3
Como f tiene lmite L en el punto x0 , existe un radio > 0 tal que f (x) E(L, ) para todo
x E?(x0 , ) I. Y como f tambin tiene lmite L0 en el punto x0 , existe otro radio 0 > 0
tal que f (x) E(L0 , ) para todo x E?(x0 , 0 ) I. Ahora, se elige un punto x I tal que
0 < |x x0 | < mn(, 0 ) (tal punto existe por la Prop. 7), de tal modo que x E?(x0 , ) I
y x E?(x0 , 0 ) I. Por lo anterior, se deduce que f (x) E(L, ) y f (x) E(L0 , ), lo que es
absurdo pues ambos conjuntos E(L, ) y E(L0 , ) son disjuntos. 
Notacin 12. Cuando la funcin f : I R tiene lmite en el punto x0 I, dicho lmite es nico
y se escribe lm xx0 f (x). Cuidado! Esta notacin slo tiene sentido cuando la funcin f tiene
lmite en el punto x0 , y no est definida si no.
Observacin 13. En el caso donde x0 I, tenemos tres situaciones posibles:
o bien f no tiene lmite en el punto x0 : lm f (x) no existe;
xx0
o bien f tiene lmite distinto de f (x0 ) en el punto x0 : lm f (x) , f (x0 );
xx0
o bien f tiene lmite igual a f (x0 ) en el punto x0 : lm f (x) = f (x0 ).
xx0

En el ltimo caso, diremos que la funcin f es continua en el punto x0 . Formalmente:

Definicin 14 (Funcin continua en un punto). Se dice que una funcin f : I R es continua
en un punto x0 I cuando tiene lmite igual a f (x0 ) en el punto x0 :
def.
f continua en x0 ( I) f (x) f (x0 ) .
xx0

En caso contrario, cuando la funcin f no tiene lmite en el punto x0 , o cuando tiene lmite
distinto de f (x0 ) en el punto x0 , se dice que la funcin f es discontinua en el punto x0 .

1.3. Ejemplos y contraejemplos

Para demostrar que una funcin f : I R tiene lmite L R en un punto x0 adherente a su
intervalo de definicin I, se necesita construir para cada precisin > 0 un radio > 0 (que
depende en general de la precisin > 0) tal que:

() x I, 0 < |x x0 | < | f (x) L| < .

L+

x0 x0 x0 +

Dicho de otro modo, se necesita construir alguna funcin 7 (de R+ en R+ ) que asocie
a cada precisin > 0 un radio de seguridad > 0 que cumpla la condicin ()2 . Los
siguientes ejemplos muestran cmo se puede construir tal funcin en la prctica.
2
Tal funcin no es nica (vase Obs. 16 ms adelante) y en la prctica, slo se necesita construir alguna.

4
Ejemplo 15 (Funcin identidad). Sea f : R R la funcin identidad, definida por f (x) = x
para todo x R. Entonces para todo punto x0 R, tenemos que


lm f (x) = x0 = f (x0 ) .
xx0

Por lo tanto, la funcin identidad f (x) = x es continua en todo punto x0 R.

Demostracin. Dada una precisin > 0 fijada, se trata de hallar un radio > 0 tal que

x R, 0 < |x x0 | < | f (x) x0 | < .

Aqu, como f (x) = x para todo x R, es natural tomar := .

x0 +

x0

x0

x0 x0 x0 + (con := > 0)

En efecto, para todo x R tal que 0 < |x x0 | < , tenemos que |x x0 | < (pues = ), es
decir: | f (x) x0 | < (pues f (x) = x). 

Observacin 16. En el ejemplo anterior, asociamos el radio := a cada precisin > 0, pero
tambin hubiramos podido asociar cualquier radio menor o igual a , por ejemplo := /2 o
:= /1000. Ms generalmente, dados una funcin f : I R, un punto x0 I y un nmero
L R, es claro que si un radio > 0 cumple la condicin

x I, 0 < |x x0 | < | f (x) L| <

para una precisin > 0 fijada, entonces cualquier radio 0 > 0 tal que 0 cumple la
misma condicin (reemplazando por 0 ).

Ejercicio 17 (Funcin identidad modificada). Sea f : R R la funcin definida por

1 si x = 0

f (x) = (para todo x R)
x si x , 0

El objetivo del ejercicio es demostrar que lm xx0 f (x) = x0 para todo x0 R.

(1) Demostrar que lm x0 f (x) = 0, asociando el radio := a cada precisin > 0.
Deducir que la funcin f es discontinua en el punto x0 = 0.
(2) Ahora, se considera un punto x0 , 0. Demostrar que lm xx0 f (x) = x0 , asociando el
radio := mn(, |x0 |) a cada precisin > 0. Por qu no se puede tomar := ?
Deducir que la funcin f es continua en cada punto x0 , 0.

5
Ejemplo 18 (Funcin raz cuadrada). Sea f : [0, +) R la funcin raz cuadrada, definida
por f (x) = x para todo x [0, +). Entonces para todo punto x0 [0, +), tenemos que


lm f (x) = x0 = f (x0 ) .
xx0

Por lo tanto, la funcin raz cuadrada f (x) = x es continua en todo punto x0 [0, +).
Demostracin. Sea x0 0. Dada una precisin > 0, se trata de hallar un radio > 0 tal que:
 
() x [0, +), 0 < |x x0 | <  x x0  < .

Para ello, se distinguen dos casos:

Caso donde x0 = 0. En este caso, se puede tomar := 2 > 0. En efecto, para todo
2
x [0, +) tal que 0 < |x 0| < , tenemos
que
0 < x < (pues |x 0| = x 0 y
= 2 ). Entonces, tenemos que | x 0| = x < 2 = .
Caso donde x0 > 0. Queremos construir un radio > 0 tal que

x [0, +), 0 < |x x0 | < x0 < x < x0 + .

Para evitar que el nmero x0 sea negativo, se reemplaza la precisin > 0 por la


precisin (ms fina) 0 := mn , x0 > 0, de tal modo que x0 0 0, mientras
0 . Luego, se observa que para todo x [0, +), tenemos que

2
2
() x0 0 < x < x0 + 0 x0 0 < x < x0 + 0

pues los tres nmeros x0 0 , x y x0 + 0 son positivos o nulos. En particular,
cuando x = x0 , se observa que

2
2
x0 0 < x0 < x0 + 0 ,

lo que nos permite definir el radio > 0, escribiendo


2
2 
:= mn x0 x0 0 , x0 + 0 x0 > 0 .

Ahora, se trata de demostrar que el radio > 0 cumple la condicin () deseada.

x0 + 0

















x0 con 0 := mn(, x0 )














0
x0

 
x0 x0 x0 + con := mn x0 ( x0 0 )2 , ( x0 + 0 )2 x0

6
 Para ello, se considera un nmero x [0, +] tal que 0 < |x x0 | < . Por hiptesis
sobre x, tenemos que

2 
2
2
x < x0 + x0 + x0 + 0 x0 = x0 + 0 pues x0 + 0 x0

2 
2
2
x > x0 x0 x0 x0 0 = x0 0 pues x0 x0 0

2
2
es decir: x0 0< x < x0 + 0 . Por la equivalencia (), se deduce que
 
x0 0 < x < x0 + 0 , es decir:  x x0  < 0 .

Lo que acaba demostrar la condicin () en el caso donde x0 > 0. 

Observacin 19 (Negacin de la propiedad de lmite). Hasta ahora, slo vimos ejemplos de
funciones que tienen lmites en todos los puntos de su intervalo de definicin. Recordemos que
una funcin f : I R tiene lmite en un punto x0 I si y slo si:

L R, > 0, > 0, x I, 0 < |x x0 | < | f (x) L| < .

se necesita
As, para demostrar que una funcin f : I R no tiene lmite en un punto x0 I,
demostrar la negacin del enunciado anterior, es decir el enunciado:

L R, > 0, > 0, x I, 0 < |x x0 | < | f (x) L| .

El siguiente ejemplo presenta una funcin que no tiene lmite en el punto x0 = 0.

Ejemplo 20 (Funcin signo). Se considera la funcin sgn : R R (signo), definida por



1 si x > 0



sgn(x) = 0 si x = 0 (para todo x R)



1 si x < 0

Entonces la funcin sgn no tiene lmite en el punto x0 = 0.

1
0

Demostracin. Queremos demostrar que:

L R, > 0, > 0, x R, 0 < |x 0| < | sgn(x) L| .

Dado un nmero L R cualquiera, se trata de hallar una precisin > 0 tal que

> 0, x R, 0 < |x 0| < | sgn(x) L|

es decir, tal que: > 0, x E?(0, ), | sgn(x) L|

Se elige la precisin := 1. Dado un radio > 0 cualquiera, queremos hallar un punto x

E?(0, ) tal que | f (x) L| 1 (= ). Para ello, se distinguen dos casos:

7
 Caso donde L 0. En este caso, se elige el punto x = 2 E?(0, ), de tal modo que
sgn(x) = 1. Entonces, tenemos que

| sgn(x) L| = |1 L| = |L + 1| = L + 1 1 (pues L 0)
Caso donde L 0. En este caso, se elige el punto x =
2
E?(0, ), de tal modo que
sgn(x) = 1. Entonces, tenemos que

| sgn(x) L| = |1 + (L)| = 1 + (L) 1 (pues L 0)

As para cada radio > 0, logramos hallar un punto x E?(0, ) tal que | sgn(x) L| (con
= 1). Por lo tanto, la funcin sgn no tiene lmite en el punto x0 = 0. 

Ejercicio 21. Acabar el estudio de la funcin sgn : R R (funcin signo), demostrando

que es continua en todo punto x0 , 0.

Observacin 22. En el ejemplo anterior, se observa que la funcin sgn tiende a 1 (al ser igual
a 1) cuando x tiende a 0 por la izquierda, mientras sgn tiende a 1 (al ser igual a 1) cuando x
tiende a 0 por la derecha, lo que escribiremos:

lm sgn(x) = 1 y lm sgn(x) = 1 .
x0 x0+

As, la funcin sgn tiene lmites laterales (por la izquierda y por la derecha) en el punto 0, pero
como dichos lmites laterales son distintos, la funcin sgn no tiene lmite en el punto 0. Las
nociones de lmites laterales sern definidas formalmente en la seccin 1.7.2.

Para acabar esta seccin, se presenta un ejemplo de funcin tan irregular que no tiene lmite
en ningn punto de su dominio de definicin:

Ejemplo 23 (Funcin de Dirichlet). Sea D : R R la funcin de Dirichlet, definida por

1 si x Q

D(x) = (para todo x R)
0 si x < Q

Entonces la funcin D no tiene lmite en ningn punto x0 R.

Demostracin. Dado x0 R fijado, se trata de demostrar que

L R, > 0, > 0, x E?(x0 , ), |D(x) L| .

As, dado un nmero L R cualquiera, se trata de hallar una precisin > 0 tal que

> 0, x E?(x0 , ), |D(x) L|

Se elige la precisin := 12 . Dado un radio > 0, queremos hallar un punto x E?(x0 , ) tal
que |D(x) L| 12 (= ). Para ello, se observa que el intervalo (x0 , x0 + ) E?(x0 , ) contiene
a la vez nmeros racionales y nmeros irracionales (como todos los intervalos cuyo interior no
es vaco), lo que nos permite elegir dos puntos x1 , x2 (x0 , x0 + ) E?(x0 , ) tales que x1 Q
y x2 < Q. Ahora, se distinguen los siguientes dos casos:

8
 Caso donde L 12 . En este caso, se toma x := x1 E?(x0 , ), de tal modo que D(x) = 1
(pues x = x1 Q). Se verifica que
1
|D(x) L| = |1 L| = 1 L 2
(pues L 12 )
Caso donde L 12 . En este caso, se elige x := x2 E?(x0 , ), de tal modo que D(x) = 0
(pues x = x2 < Q). Se verifica que
1
|D(x) L| = |0 L| = |L| = L 2
(pues L 12 )
As, para cada radio > 0, logramos hallar un punto x E?(0, ) tal que |D(x) L| (con
= 21 ). Por lo tanto, la funcin D no tiene lmite en el punto x0 . 

1.4. Propiedades algebraicas de los lmites

Antes de estudiar las propiedades de los lmites, se necesita observar lo siguiente:
Observacin 24. Dados una funcin f : I R definida en un intervalo I R, un punto x0 I
adherente al intervalo de definicin y un nmero L R, los tres enunciados
lm f (x) = L, lm ( f (x) L) = 0 y lm | f (x) L| = 0
xx0 xx0 xx0

son equivalentes.
Demostracin. En efecto, tenemos que:
def.
lm f (x) = L > 0, > 0, x E?(x0 , ) I, | f (x) L| <
xx0
def.  
lm ( f (x) L) = 0 > 0, > 0, x E?(x0 , ) I, ( f (x) L) 0 <
xx0
def.  
lm | f (x) L| = 0 > 0, > 0, x E?(x0 , ) I, | f (x) L| 0 <
xx0
   
Se concluye observando que | f (x) L| 0 = | f (x) L| = ( f (x) L) 0. 
Proposicin 25 (Lmite de una suma, una resta). Sean f, g : I R dos funciones definidas en
un intervalo I R, un punto x0 I y dos nmeros L, L0 R.
(1) Si lm f (x) = L y lm g(x) = L0 , entonces lm ( f (x) + g(x)) = L + L0 .
xx0 xx0 xx0
(2) Si lm f (x) = L y lm g(x) = L , entonces lm ( f (x) g(x)) = L L0 .
0
xx0 xx0 xx0

Demostracin. (1) Supongamos que lm xx0 f (x) = L y lm xx0 g(x) = L0 . Por hiptesis,
existen dos funciones 7 y 7 0 (de R+ en R+ ) tales que
() x I, 0 < |x x0 | < | f (x) L| <
(0 ) x I, 0 < |x x0 | < 0 |g(x) L0 | <
para toda precisin > 0. Queremos construir una funcin 7 00 (de R+ en R+ ) tal que
 
(00 ) x I, 0 < |x x0 | < 00 ( f (x) + g(x)) (L + L0 ) <
para toda precisin > 0. Para ello, se define 00 := mn(/2 , 0/2 ) > 0 para todo > 0. En
efecto, dados una precisin > 0 y un punto x I tal que 0 < |x x0 | < 00 , tenemos que

9
 0 < |x x0 | < /2 (pues 00 /2 ), entonces | f (x) L| < /2 por ();
0 < |x x0 | < 0/2 (pues 00 0/2 ), entonces |g(x) L0 | < /2 por (0 ).
Sumando las dos desigualdades obtenidas, se deduce que
   
( f (x) + g(x)) (L + L0 ) = ( f (x) L) + (g(x) L0 )
| f (x) L| + |g(x) L0 | < /2 + /2 = .

Lo que demuestra la condicin (00 ) para todo > 0, es decir: lm xx0 ( f (x) + g(x)) = L + L0 .
(2) El caso de la resta es anlogo al caso de la suma. 
Ejercicio 26. Demostrar el tem (2) de la proposicin anterior, adaptando la demostracin del
tem (1) de modo adecuado. (Sugerencia: en la demostracin del tem (1), slo se necesita
reemplazar 5 ocurrencias del smbolo + por el smbolo .)
Ahora, queremos demostrar la propiedad anloga para el producto y el cociente. Para ello,
se necesita establecer algunos resultados intermedios.
Definicin 27 (Funcin acotada en un entorno de un punto). Sean f : I R una funcin
Se dice que la funcin f est acotada en un
definida en un intervalo I R, y un punto x0 I.
entorno de x0 cuando existen r > 0 y M 0 tales que

x E(x0 , r) I, | f (x)| M .

Ejercicio 28. El enunciado que expresa que f est acotada en un entorno de x0 es:

r > 0, M 0, x E(x0 , r) I, | f (x)| M .

(1) Escribir la negacin del enunciado anterior, es decir: el enunciado que expresa que la
funcin f no est acotada en ningn entorno del punto x0 .
Sea f : R R la funcin definida por


0
si x 0
f (x) =
(para todo x R)
1/x si x > 0
(2) Demostrar que la funcin f no est acotada en ningn entorno del punto x0 = 0.
(3) Demostrar que para todo punto x0 , 0, la funcin f est acotada en un entorno de x0 .
(Sugerencia: distinguir los casos x0 < 0 y x0 > 0.)
Proposicin 29. Sea f : I R una funcin definida en un intervalo I R. Si f tiene lmite en
entonces f est acotada en un entorno del punto x0 .
un punto x0 I,
Demostracin. Suponiendo que lm xx0 f (x) = L R, se considera un radio > 0 tal que

() x E?(x0 , ) I, | f (x) L| < 1 .

(Basta con tomar el radio asociado a la precisin = 1.) Ahora, se distinguen dos casos:
Caso donde x0 I (la funcin f est definida en el punto x0 ). En este caso, se toman
r := y M := max(|L| + 1, | f (x0 )|) 0. En efecto, dado un punto x E(x0 , r) I


= E(x0 , ) I , se observa que

10
 o bien x = x0 , y en este caso, tenemos que | f (x)| = | f (x0 )| M;
o bien x , x0 , y en este caso, tenemos que x E?(x0 , ) I. Por lo tanto, tenemos
que | f (x) L| < 1 por (), de tal modo que

| f (x)| = |L + ( f (x) L)| |L| + | f (x) L| < |L| + 1 M .

As, para todo x E(x0 , r) I, tenemos que | f (x)| M.
Caso donde x0 < I (la funcin f no est definida en el punto x0 ). En este caso, basta
con tomar r := y M := |L| + 1; el razonamiento es anlogo. 
Proposicin 30. Sean f, g : I R dos funciones definidas en un intervalo I R y un punto
Si f est acotada en un entorno de x0 , y si lm g(x) = 0, entonces lm f (x)g(x) = 0.
x0 I.
xx0 xx0

Demostracin. Por hiptesis, sabemos que:

(i) Existen r > 0 y M 0 tales que | f (x)| M para todo x E(x0 , r) I. Sin prdida de
generalidad, se puede suponer que M > 03 .
(ii) Existe una funcin 7 (de R+ en R+ ) tal que para todo > 0, tenemos que

() x I, 0 < |x x0 | < |g(x)| < .

Se trata de construir una funcin 7 0 (de R+ en R+ ) tal que

(0 ) x I, 0 < |x x0 | < 0 | f (x)g(x)| <

para toda precisin > 0. Para ello, se define 0 := mn(/M , r) > 0 para todo > 0. En efecto,
dados una precisin > 0 y un punto x I tal que 0 < |x x0 | < 0 , tenemos que:
|x x0 | < r (pues 0 r), entonces | f (x)| M por (i).
0 < |x x0 | < /M (pues 0 /M ), entonces |g(x)| < /M por ().
Por lo tanto, se deduce que

| f (x)g(x)| = | f (x)| |g(x)| < M = .
M
Esto demuestra la condicin (0 ) para todo > 0, es decir: lm xx0 f (x)g(x) = 0. 
Ahora, se puede demostrar la propiedad de lmite para el producto:
Proposicin 31 (Lmite de un producto). Sean f, g : I R dos funciones definidas en un
intervalo I R, un punto x0 I y dos nmeros L, L0 R. Si lm f (x) = L y lm g(x) = L0 ,
xx0 xx0
entonces lm f (x)g(x) = LL0 .
xx0

Demostracin. Por hiptesis, tenemos que lm xx0 ( f (x) L) = 0 y lm xx0 (g(x) L0 ) = 0

(por la Obs. 24 p. 9). Ahora, se observa que para todo x I, tenemos que

f (x)g(x) LL0 = ( f (x) L)L0 + f (x)(g(x) L0 ) .

Como lm xx0 ( f (x) L) = 0, y como la funcin constante igual a L0 est (trivialmente)

acotada en un entorno de x0 , tenemos que lm xx0 ( f (x) L)L0 = 0 por la Prop. 30. Por otro
3
En efecto, siempre se puede reemplazar M 0 por M 0 := M + 1 > 0 sin afectar la condicin (i).

11
lado, como f tiene lmite en el punto x0 , est acotada en un entorno de x0 por la Prop. 29. Y
como lm xx0 (g(x) L0 ) = 0, tenemos que lm xx0 f (x)(g(x) L0 ) = 0, usando de nuevo la
Prop. 30. Sumando los dos lmites anteriores, se deduce por la Prop. 25 (1) que
     
lm f (x)g(x) LL0 = lm ( f (x) L)L0 + lm f (x)(g(x) L0 ) = 0 + 0 = 0 ,
xx0 xx0 xx0

lo que demuestra que lm xx0 f (x)g(x) = LL0 por la Obs. 24. 

Ejercicio 32 (Continuidad de las funciones polinomiales). El objetivo del ejercicio es demos-
trar que todas las funciones polinomiales son continuas en todos los puntos de R.
(1) Demostrar por induccin sobre k N que lm xx0 xk = x0k para todo x0 R. Deducir
que la funcin x 7 xk es continua en todo punto x0 R.
(Sugerencia: en el paso inductivo, observar que xk+1 = f (x)g(x), con f (x) = xk y g(x) = x,
y usar el resultado del Ejemplo 15 p. 5.)
(2) Deducir de lo anterior que para todos a R y k N, la funcin monomial x 7 axk es
continua en todo punto x0 R.
(3) Demostrar por induccin sobre n N que toda funcin f : R R de la forma
n
X
f (x) = a0 + a1 x + + an xn = ak x k
k=0

(con a0 , . . . , an R) es continua en todo punto x0 R.

Proposicin 33 (Lmite de la funcin 1/ f ). Sea f : I R una funcin definida en un intervalo
I R, tal que que f (x) , 0 para todo x I. Si x0 I es un punto tal que lm xx0 f (x) = L , 0,
entonces
1 1
lm =
xx0 f (x) L
!
1 1
Demostracin. Queremos demostrar que lm = 0. Para ello, se observa que
xx0 f (x) L
1 1 L f (x) 1 1
= = ( f (x) L) (para todo x I)
f (x) L f (x)L L f (x)
Demostremos que la funcin g : I R definida por g(x) = 1/ f (x) est acotada en un entorno
del punto x0 . Como lm xx0 f (x) = L , 0, existe un radio > 0 tal que
|L|
| f (x) L| < para todo x E?(x0 , ) I
2
(considerando el radio asociado a la precisin |L|/2 > 0). Entonces, tenemos que
|L|
|L| = | f (x) ( f (x) L)| | f (x)| + | f (x) L| | f (x)| +
2
para todo x E?(x0 , ) I, de tal modo que
|L| |L|
| f (x)| |L| = (para todo x E?(x0 , ) I)
2 2
Ahora, se distinguen dos casos:

12
 Caso donde x0 I (la funcin f est definida en el punto x0 ). En este caso, se deduce
de lo anterior que |g(x)| = 1/| f (x)| 2/|L| para todo x E?(x0 , ) I, de tal modo que
!
1 2 1
|g(x)| = max , para todo x E(x0 , ) I
| f (x)| |L| | f (x0 )|
(distinguiendo los casos x , x0 y x = x0 ).
Caso donde x0 < I (la funcin f no est definida en el punto x0 ). En este caso, se
observa que E(x0 , ) I = E?(x0 , ) I (pues x0 < I), de tal modo que
1 2
|g(x)| = para todo x E(x0 , ) I.
| f (x)| |L|
As, en ambos casos, demostramos que la funcin g(x) = 1/ f (x) est acotada en un entorno
E(x0 , ) del punto x0 . Adems, tenemos que lm xx0 ( f (x) L) = 0 por hiptesis. Aplicando
dos veces seguidas la Prop. 30, se deduce de lo anterior que
 
lm g(x) ( f (x) L) = 0
xx0
! !
1 1 1 
y lm = lm g(x) ( f (x) L) = 0 . 
xx0 f (x) L xx0 L

Observacin 34. (1) Cabe destacar que para calcular el lmite de la funcin x 7 1/ f (x) en el
punto x0 , se necesita verificar tres condiciones:
(i) la funcin f : I R no se anula4 en I: f (x) , 0 para todo x I;

(ii) la funcin f tiene lmite en el punto x0 I;
(iii) el lmite de la funcin f en el punto x0 no es nulo: lm xx0 f (x) , 0.

Cuidado! Las condiciones (i) y (ii) no implican la condicin (iii). Un contraejemplo es la

funcin f : R R definida por


|x| si x , 0

f (x) =
(para todo x R)
1 si x = 0

Por construccin, tenemos que f (x) > 0 para todo x R (condicin (i)). Adems, la funcin f
tiene lmite en el punto x0 = 0 (condicin (ii)), pero ste es nulo: lm x0 f (x) = 0.
(2) Por otro lado, las condiciones (ii) y (iii) implican que la funcin f no se anula en algn
entorno reducido del punto x0 , en el sentido de que existe un radio > 0 tal que:

x E?(x0 , ) I, f (x) , 0 .

(Vase ejercicio 35 ms abajo). Sin embargo, en el caso donde x0 I, esta propiedad de no

anulacin local no implica que f (x0 ) , 0, salvo cuando f es continua en el punto x0 .

Ejercicio 35 (Lmite no nulo). Sea f : I R una funcin definida en un intervalo I R, y tal

que lm xx0 f (x) = L R en algn punto x0 I.
4
Esta condicin sirve para asegurarnos que la funcin 1/ f est definida en el intervalo I.

13
 (1) Demostrar que si L > 0, entonces existe un radio > 0 tal que

x E?(x0 , ) I, f (x) > 0 .

(Sugerencia: considerar el radio asociado a la precisin := L > 0.)

(2) Demostrar que si L < 0, entonces existe un radio > 0 tal que

x E?(x0 , ) I, f (x) < 0 .

(Sugerencia: considerar el radio asociado a la precisin := L > 0.)

(3) Deducir de lo anterior que si L , 0, entonces la funcin f no se anula en algn entorno re-
ducido del punto x0 . Mediante un contraejemplo adecuado, explicar por qu la propiedad
no se puede extender (en general) a un entorno lleno (no reducido) del punto x0 .
Corolario 36 (Lmite de un cociente). Sean f, g : I R dos funciones definidas en un interva-
lo I R, tales que g(x) , 0 para todo x I. Si x0 I es un punto tal que lm xx0 f (x) = L R
y lm xx0 g(x) = L0 , 0, entonces
f (x) L
lm = 0
xx0 g(x) L
Demostracin. Se sigue de la Prop. 31 y de la Prop. 33, observando que f /g = f (1/g). 

1.5. Propiedades de monotona

Lema 37 (Lmite de una funcin positiva o nula). Sea f : I R una funcin definida en un
intervalo I R. Si f es positiva o nula en I (es decir: f (x) 0 para todo x I) y tiene lmite
entonces dicho lmite es positivo o nulo: lm f (x) 0.
en un punto x0 I,
xx0

Demostracin. Sea L := lm xx0 f (x). Dado > 0, existe un radio > 0 tal que | f (x) L| <
para todo x E?(x0 , ) I. Eligiendo un punto x E?(x0 , ) I, se observa que

L = 0 L f (x) L < (pues 0 f (x) por hiptesis)

As, demostramos que L < para todo > 0. Luego L 0, es decir: L 0. 

Observaciones 38. (1) De modo anlogo, se demuestra que si f es negativa o nula en I (es
decir: f (x) 0 para todo x I) y tiene lmite en el punto x0 , entonces lm xx0 f (x) 0.
(2) Cuidado! En el caso donde f (x) > 0 para todo x I (resp. f (x) < 0 para todo x I),
slo se puede concluir que lm xx0 f (x) 0 (resp. lm xx0 f (x) 0). Un ejemplo de funcin
estrictamente positiva con lmite nulo es dado por la funcin f de la Obs. 34 (1).
Ms generalmente, se demuestra que:
Proposicin 39 (Monotona de los lmites). Sean f, g : I R dos funciones definidas en un
mismo intervalo I R. Si f (x) g(x) para todo x I, y si ambas funciones tienen lmites en
entonces lm f (x) lm g(x).
un punto x0 I,
xx0 xx0

Demostracin. Basta con aplicar el lema anterior con la funcin g f (que es positiva o nula
en el intervalo I), observando que lm (g(x) f (x)) = lm g(x) lm f (x). 
xx0 xx0 xx0

14
 El siguiente teorema, conocido como el teorema del sndwich5 , enuncia una propiedad
muy til en la prctica para demostrar la existencia de un lmite:
Teorema 40 (Teorema del sndwich). Sean f, g1 , g2 : I R tres funciones definidas en un
mismo intervalo I R, y tales que g1 (x) f (x) g2 (x) para todo x I. Si las funciones g1
y g2 tienen el mismo lmite L R en un punto x0 I, entonces la funcin f tambin tiene
lmite L en el punto x0 :
g1 f g2 lm g1 (x) = lm g2 (x) = L lm f (x) = L .
xx0 xx0 xx0

Demostracin. Por hiptesis, existen funciones 7 0 y 7 00 (de R+ en R+ ) tales que

(1 ) x I, 0 < |x x0 | < 0 |g1 (x) L| <
(2 ) x I, 0 < |x x0 | < 00 |g2 (x) L| <
para toda precisin > 0. Queremos construir una funcin 7 (de R+ en R+ ) tal que
() x I, 0 < |x x0 | < | f (x) L| <
para todo > 0. Para ello, se define := mn(0 , 00 ) > 0 para todo > 0. En efecto, dados


una precisin > 0 y un punto x I tal que 0 < |x x0 | < = mn(0 , 00 ) , tenemos que
0 < |x x0 | < 0 , entonces |g1 (x) L| < por (1 ), es decir: L < g1 (x) < L + ;
0 < |x x0 | < 00 , entonces |g2 (x) L| < por (2 ), es decir: L < g2 (x) < L + .
Por lo tanto, tenemos que L < g1 (x) f (x) g2 (x) < L + , es decir: | f (x) L| < . Lo
que demuestra la condicin () para todo > 0, de tal modo que lm xx0 f (x) = L. 
Ejemplo 41 (Continuidad de la funcin logaritmo en el punto x0 = 1). En el captulo sobre las
integrales (Seccin 4.3 p. 38), definimos la funcin log : R+ R (logaritmo) por
Z x
1
log x := dt (para todo x > 0)
1 t
y demostramos (Ejercicio 97 p. 41) las desigualdades
1
1 log x x 1 (para todo x > 0)
x
Usando las propiedades algebraicas de los lmites, se verifica inmediatamente que
!
1 1

lm 1 =1 =0 y lm x 1 = 1 1 = 0 .
x1 x 1 x1

Por el teorema del sndwich, se deduce que lm x1 log x = 0 (= log 1). Por lo tanto, la funcin
logaritmo es continua en el punto x0 = 1.
Ejercicio 42. Sea f : R R la funcin definida por


x si x Q

f (x) =
x si x < Q
(1) Verificar que x f (x) x para todo x R.
(2) Deducir (por el teorema del sndwich) que lm x0 f (x) = 0 = f (0).
(3) Existe un punto x0 , 0 donde f tenga lmite?
5
Segn la analoga del sndwich, las funciones g1 y g2 representan las trayectorias de dos rebanadas de pan
que intentan capturar una loncha de jamn f . En Francia, este resultado tambin es conocido como el teorema
de los gendarmes, al ser g1 y g2 dos gendarmes que intentan detener a un ladrn f .

15
1.6. Composicin de lmites
Sean f : I R y g : J R dos funciones definidas en intervalos I, J R, y tales que
f (x) J para todo x I (lo que escribiremos f (I) J). En tal situacin, se puede definir la
funcin compuesta g f : I R por
(g f )(x) := g( f (x)) (para todo x I)
Ahora, se demuestra que:
Proposicin 43 (Composicin de lmites). Si la funcin f tiene lmite y0 en un punto x0 I,
con y0 J, y si la funcin g es continua en el punto y0 J (es decir: lmyy0 g(y) = g(y0 )),
entonces la funcin g f tiene lmite g(y0 ) en el punto x0 :
lm (g f )(x) = lm g( f (x)) = g(y0 ) .
xx0 xx0

Demostracin. Por hiptesis, existen funciones 7 y 7 0 (de R en R) tales que:

() x I, 0 < |x x0 | < | f (x) y0 | <
(0 ) y I, 0 < |y y0 | < 0 |g(y) g(y0 )| <
para toda precisin > 0. Queremos construir una funcin 7 00 (de R+ en R+ ) tal que
 
(00 ) x I, 0 < |x x | < 00 g( f (x)) g(y ) < .
0 0

para toda precisin > 0. Para ello, se define 00 := 0 para todo > 0. En efecto, dados una
precisin > 0 y un punto x I tal que 0 < |x x0 | < 00 , tenemos que | f (x) y0 | < 0 por (),
pues 00 = 0 . Ahora, se distinguen los siguientes dos casos:
Caso donde f (x) = y0 . En este caso, es obvio que |g( f (x)) g(y0 )| = 0 < .
Caso donde f (x) , y0 . En este caso, tenemos que 0 < | f (x) y0 | < 0 . Aplicando (0 )
al punto y = f (x) J, se deduce que |g( f (x)) g(y0 )| < .
As, en ambos casos vimos que |g( f (x)) g(y0 )| < , lo que acaba demostrar la condicin (00 )
para todo > 0. Por lo tanto: lm xx0 g( f (x)) = g(y0 ). 
Observaciones 44. (1) Los lectores habrn observado que, en la proposicin anterior, no slo
se supone que la funcin g tiene lmite en el punto y0 , sino tambin se supone que dicho lmite
es igual a g(y0 ) (es decir: que la funcin g es continua en el punto y0 ). En efecto, la propiedad
de composicin no se cumple cuando la funcin g tiene lmite sin ser continua en el punto y0 .
Un contraejemplo sencillo es el siguiente: sean f, g : R R las funciones definidas por


1 si x = 0

f (x) = 0 y g(x) = (para todo x R)
0 si x , 0

Escribiendo x0 := 0 e y0 := 0, es claro que

lm f (x) = 0 = y0 y lm g(y) = 0 .
xx0 yy0

Sin embargo, tenemos que (g f )(x) = g( f (x)) = g(0) = 1 para todo x R, de tal modo que
g f tiene lmite 1 , 0 en el punto x0 = 0.
(2) En la prctica, casi siempre usaremos la proposicin anterior en el caso particular donde
las funciones f y g son continuas en los puntos x0 I e y0 := f (x0 ) I, respectivamente:

16
Corolario 45 (Composicin de lmites en el caso continuo). Sean f : I R y g : J R dos
funciones definidas en intervalos I, J R, y tales que f (I) J. Si la funcin f es continua en
un punto x0 I, y si la funcin g es continua en el punto y0 := f (x0 ) J, entonces la funcin
g f es continua en el punto x0 I.
Demostracin. Inmediato por la Prop. 43. 
Ejercicio 46 (Continuidad de la funcin logaritmo). En el Ejemplo 41, demostramos que la
funcin logaritmo es continua en el punto x0 = 1, es decir:
lm log x = 0 = log 1 .
x1
El objetivo del ejercicio es demostrar ms generalmente que la funcin logaritmo es continua
en todo punto x0 > 0. As, en lo que sigue, se fija un nmero x0 > 0.
(1) Sea f : R+ R+ la funcin definida por f (x) = x/x0 para todo x R+ . Verificar que la
funcin f es continua en el punto x = x0 , es decir: lm xx0 f (x) = f (x0 ) = 1.
(2) Combinando el resultado del Ejemplo 41 con el Corolario 45, deducir que la funcin
g : R+ R definida por g(x) = log( f (x)) = log(x/x0 ) es continua en el punto x0 .
(3) Usando la propiedad fundamental del logaritmo, verificar que log x = g(x) + log x0 para
todo x R+ , y deducir que la funcin logaritmo es continua en el punto x0 .

1.7. Generalizacin de la nocin de lmite

En las secciones anteriores, vimos que la nocin de lmite est ntimamente vinculada con
la nocin de entorno. Para precisar ms este vnculo, se introducen las siguientes notaciones:
Notaciones 47 (Conjunto de los entornos de un nmero). Dado un nmero real a, se escriben
 
E (a) := E(a, ) : R+ = (a , a + ) : R+
al conjunto formado por todos los entornos del nmero a, y
 
E ?(a) := E?(a, ) : R+ = (a , a) (a, a + ) : R+
al conjunto formado por todos los entornos reducidos del mismo nmero. (Por definicin, las
notaciones E (a) y E ?(a) designan conjuntos de conjuntos.)
Dados una funcin f : I R (definida en un intervalo I R), un punto x0 I y un nmero
L R, se recuerda que
lm f (x) = L > 0, > 0, x I, 0 < |x x0 | < | f (x) L| <
xx0
> 0, > 0, x E?(x0 , ) I, f (x) E(L, )


> 0, > 0, f E?(x0 , ) I E(L, ) .
Usando los conjuntos de entornos E (a) y E ?(a) definidos ms arriba, se obtiene al final una
caracterizacin abstracta y muy compacta de la nocin de lmite, que es la siguiente:
Observacin 48 (Caracterizacin del lmite en trminos de entornos abstractos). Dados una
funcin f : I R, un punto x0 I y un nmero L R, tenemos la equivalencia
lm f (x) = L F E (L), E E ?(x0 ), f (E I) F .
xx0

Es decir, intuitivamente:
Para todo entorno F de L, existe un entorno reducido E de x0 tal que f (E I) F.

17
 Desde el punto de vista de la teora, el inters de esta caracterizacin abstracta es que
permite reemplazar las nociones de entornos definidas por los conjuntos E (a) y E ?(a) por
otras nociones de entornos (definidas a partir de otros conjuntos de conjuntos) sin cambiar el
esquema general de la definicin de lmite. As, en lo siguiente, cada vez que necesitremos
introducir una nueva nocin de lmite (por ejemplo: los lmites infinitos, o los lmites laterales),
slo tendremos que definir las nociones de entornos (llenos y reducidos) correspondientes.
En lo que sigue, consideraremos las siguientes nociones de entornos, adems de la nocin
usual definida a partir de los conjuntos E (a) y E ?(a):

Entornos de Se llama entorno de + a todo intervalo de la forma (L, +), con L R.

As, el conjunto de los entornos (llenos o reducidos6 ) de + est definido por:

E (+) = E ?(+) := (L, +) : L R .

De mismo modo, se llama entorno de a todo intervalo de la forma (, L), con

L R. As, el conjunto de los entornos de est definido por:

E () = E ?() := (, L) : L R .

Entornos laterales de un nmero a R Dado un nmero a R, se llama entorno derecho

del nmero a a todo intervalo de la forma (a, a + ), con > 0. As, el conjunto de los
entornos derechos (llenos o reducidos7 ) de a est definido por:

E (a+ ) = E ?(a+ ) := (a, a + ) : R+ } .

De mismo modo, se llama entorno izquierdo del nmero a a todo intervalo de la forma
(a , a), con > 0. As, el conjunto de los entornos izquierdos de a est definido por:

E (a ) = E ?(a ) := (a , a) : R+ } .

Al final, se obtienen 5 nociones distintas de entornos llenos y reducidos:

Notaciones 49 (Conjuntos de entornos generalizados). Dado un nmero real a, se definen los

siguientes conjuntos de entornos generalizados (llenos y reducidos):

E (a) := (a , a + ) : R+ (entornos de a)

E ?(a) := (a , a) (a, a + ) : R+
 (entornos de +)
E (+) = E ?(+) := (L, +) : L R
 (entornos de )
E () = E () := (, L) : L R
?

E (a+ ) = E ?(a+ ) := (a, a + ) : R+ (entornos derechos de a)
 +
E (a ) = E (a ) := (a , a) : R
?
(entornos izquierdos de a)

Estas 5 nociones de entornos inducen 5 5 = 25 nociones distintas de lmites:

6
Como los pseudonmeros (que no son nmeros reales) no pertenecen a ningn entorno de , las nocio-
nes correspondientes de entorno lleno y de entorno reducido coinciden: E () = E ?().
7
Igual que para los entornos de , las nociones de entorno lateral lleno y de entorno lateral reducido coinci-
den: E (a ) = E ?(a ). Cuidado! Los smbolos a+ y a no son nmeros, pero notaciones cmodas para indicar el
tipo de entorno lateral considerado (derecho o izquierdo).

18
Definicin 50 (Lmite generalizado). Dados
una funcin f : I R definida en un intervalo I R,
un punto generalizado k = a, +, , a+ , a (con a R),
un lmite generalizado l = b, +, , b+ , b (con b R),
se define la nocin de lmite correspondiente por:
def.
lm f (x) = l F E (l), E E ?(k), f (E I) F .
xk

Observaciones 51. (1) La nocin de punto generalizado no es ms que una notacin cmoda
para distinguir los 5 tipos de lmites que se pueden considerar en el dominio, es decir:
x a, x +, x , x a+ o x a (con a R)
De mismo modo, la nocin de lmite generalizado no es ms que una notacin cmoda para
distinguir los 5 tipos de lmites que se pueden considerar en el codominio:
f (x) b, f (x) +, f (x) , f (x) b+ o f (x) b (con b R)
(2) La definicin de lmite generalizado slo tiene sentido cuando todos los entornos re-
ducidos E E ?(k) del punto generalizado k = a, +, , a+ , a (con a R) intersectan el
intervalo I de definicin de la funcin f , es decir: cuando
E E ?(k), E I , .
En el caso particular donde k = a R (nocin usual de lmite en el punto a), esta condicin
significa que el punto a es adherente al intervalo I (vase Ejercicio 5 p. 2).

En lo siguiente, se estudian algunos casos particulares de lmites generalizados, dejando las

demostraciones a los lectores como ejercicios.

1.7.1. Lmites infinitos

Definicin 52 (Lmites infinitos). Sea f : I R una funcin definida en un intervalo I R.
se definen las notaciones lm f (x) = + y lm f (x) = por:
Dado un punto x0 I,
xx0 xx0

def.
lm f (x) = + F E (+), E E ?(x0 ), f (E I) F
xx0
L R, > 0, x I, 0 < |x x0 | < f (x) > L
def.
lm f (x) = F E (), E E ?(x0 ), f (E I) F
xx0
L R, > 0, x I, 0 < |x x0 | < f (x) < L
Cuando se trabaja con lmites finitos (L R) e infinitos (L = ), es cmodo extender la
recta real con los dos pseudonmeros y +:
Definicin 53 (Recta real extendida). Se llama recta real extendida (o recta real acabada) y se
escribe R o [, +] al conjunto definido por:
R = [, +] := R {, +} .
(Recordemos que los pseudonmeros y + no son nmeros reales.)

19
 En este marco extendido, la propiedad de unicidad del lmite (Prop. 11 p. 3) se generaliza
del modo siguiente:

Proposicin 54 (Unicidad del lmite). Sean f : I R una funcin definida en un intervalo

I R, un punto x0 I y dos nmeros reales extendidos L, L0 R (= [, +]). Si

lm f (x) = L y lm f (x) = L0 ,
xx0 xx0

entonces L = L0 .

Ejercicio 55. Sea f : R R la funcin definida por

0
si x = 0
f (x) =
(para todo x R)
1/|x| si x , 0

(1) Bosquejar la grfica de la funcin f .

(2) Demostrar que la funcin f es continua en todo punto x0 , 0.
(3) Usando la definicin anterior, demostrar que lm f (x) = +.
x0

Las propiedades algebraicas de los lmites (Prop. 25 p. 9 y Prop. 31 p. 11) se generalizan a

los lmites infinitos del modo siguiente:

Proposicin 56 (Lmite de una suma). Sean f, g : I R dos funciones definidas en un inter-

valo I R, un punto x0 I y dos nmeros reales extendidos L, L0 R. Si lm xx0 f (x) = L
y lm xx0 g(x) = L0 , entonces el lmite de la funcin f + g en el punto x0 , cuando existe, est
dado por la siguiente tabla (donde el smbolo ? indica un caso indeterminado):

L0 = L0 R L0 = +
L = ?
0
LR L+L +
L = + ? + +

Observacin 57. En el caso indeterminado donde lm xx0 f (x) = + y lm xx0 g(x) = ,

no se puede deducir nada sobre el lmite de la suma f + g en el punto x0 (ni siquiera si tal lmite
existe), as como lo ilustra el siguiente ejercicio:

Ejercicio 58 (Indeterminacin para la suma). En cada uno de los siguientes tems, definir dos
funciones f, g : R R que cumplen las siguientes condiciones:

(1) lm f (x) = +, lm g(x) = y lm( f (x) + g(x)) = +.

x0 x0 x0

(2) lm f (x) = +, lm g(x) = y lm( f (x) + g(x)) = .

x0 x0 x0

(3) lm f (x) = +, lm g(x) = y lm( f (x) + g(x)) = L, con L R fijado.

x0 x0 x0

(4) lm f (x) = + y lm g(x) = , pero f + g no tiene lmite (finito ni infinito) en 0.

x0 x0

20
Proposicin 59 (Lmite de un producto). Sean f, g : I R dos funciones definidas en un
intervalo I R, un punto x0 I y dos nmeros reales extendidos L, L0 R. Si lm xx0 f (x) = L
y lm xx0 g(x) = L0 , entonces el lmite de la funcin f g en el punto x0 , cuando existe, est
dado por la siguiente tabla (donde el smbolo ? indica un caso indeterminado):

L0 = L0 R L0 = 0 L0 R+ L0 = +
L = + + ?
L R + LL0 (> 0) 0 LL0 (< 0)
L=0 ? 0 0 0 ?
0 0
LR +
LL (< 0) 0 LL (> 0) +
L = + ? + +

Observacin 60. En el caso indeterminado donde lm xx0 f (x) = y lm xx0 g(x) = 0, no

se puede deducir nada sobre el lmite del producto f g en el punto x0 (ni siquiera si tal lmite
existe), as como lo ilustra el siguiente ejercicio:

Ejercicio 61 (Indeterminacin para el producto). En cada uno de los siguientes tems, definir
dos funciones f, g : R R que cumplen las siguientes condiciones:

(1) lm f (x) = +, lm g(x) = 0 y lm( f (x)g(x)) = +.

x0 x0 x0

(2) lm f (x) = +, lm g(x) = 0 y lm( f (x)g(x)) = .

x0 x0 x0

(3) lm f (x) = +, lm g(x) = 0 y lm( f (x)g(x)) = L, con L R fijado.

x0 x0 x0

(4) lm f (x) = + y lm g(x) = 0, pero f g no tiene lmite (finito ni infinito) en 0.

x0 x0

Proposicin 62 (Lmite de la funcin 1/ f ). Sea f : I R una funcin definida en un intervalo

I R, tal que que f (x) , 0 para todo x I. Dado un punto x0 I:
!
1
(1) Si lm f (x) = , entonces lm = 0.
xx0 xx0 f (x)
!
1
(2) Si lm f (x) = 0, entonces lm = +.
xx0 xx0 | f (x)|

Observacin 63. En el caso donde lm xx0 f (x) = 0, la proposicin anterior slo permite
determinar el lmite de la funcin 1/| f | en el punto x0 (y en este caso, dicho lmite es +).
Sin embargo, se puede deducir en muchos casos el lmite de la funcin 1/ f en el punto x0 ,
estudiando el signo de la funcin f en un entorno de dicho punto.

Proposicin 64 (Monotona de los lmites infinitos). Sean f, g : I R dos funciones definidas

en un mismo intervalo I R, y un punto x0 I.

(1) Si f (x) g(x) para todo x I, y si lm f (x) = +, entonces lm g(x) = +.

xx0 xx0

(2) Si f (x) g(x) para todo x I, y si lm g(x) = , entonces lm f (x) = .

xx0 xx0

Ejercicio 65. Demostrar la proposicin anterior.

21
1.7.2. Lmites laterales
Definicin 66 (Lmites laterales). Sean f : I R una funcin definida en un intervalo I R
y un nmero L R. Dado un punto x0 R tal que (x0 , x0 + ) I para algn > 0, se definen
los lmites laterales por la derecha en el punto x0 por:
def.
lm+ f (x) = L F E (L), E E ?(x0+ ), f (E I) F
xx0
> 0, > 0, x I, x0 < x < x0 + | f (x) L| <
def.
lm+ f (x) = + F E (+), E E ?(x0+ ), f (E I) F
xx0
L R, > 0, x I, x0 < x < x0 + f (x) > L
def.
lm+ f (x) = F E (), E E ?(x0+ ), f (E I) F
xx0
L R, > 0, x I, x0 < x < x0 + f (x) < L

De modo anlogo, dado un punto x0 R tal que (x0 , x0 ) I para algn > 0, se definen
los lmites laterales por la izquierda en el punto x0 por:
def.
lm f (x) = L F E (L), E E ?(x0 ), f (E I) F
xx0
> 0, > 0, x I, x0 < x < x0 | f (x) L| <
def.
lm f (x) = + F E (+), E E ?(x0 ), f (E I) F
xx0
L R, > 0, x I, x0 < x < x0 f (x) > L
def.
lm f (x) = F E (), E E ?(x0 ), f (E I) F
xx0
L R, > 0, x I, x0 < x < x0 f (x) < L

Observacin 67. En la definicin anterior, cabe destacar que:

La nocin de lmite por la derecha en el punto x0 (notacin: x x0+ ) slo tiene sentido
cuando la funcin f est definida en un intervalo de la forma (x0 , x0 + ) para algn > 0:
(x0 , x0 + ) I. En efecto, esta condicin nos asegura que todos los entornos derechos
del punto x0 intersectan el intervalo I, es decir: E E ?(x0+ ), E I , .
(Vase la Observacin 51 (2) p. 19.)
La nocin de lmite por la izquierda en el punto x0 (notacin: x x0 ) slo tiene sentido
cuando la funcin f est definida en un intervalo de la forma (x0 , x0 ) para algn > 0:
(x0 , x0 ) I. En efecto, esta condicin nos asegura que todos los entornos izquierdos
del punto x0 intersectan el intervalo I, es decir: E E ?(x0 ), E I , .

Las nociones de lmites laterales por la izquierda y por la derecha en un punto x0 tienen
esencialmente las mismas propiedades que la nocin usual (bilateral) de lmite finito o infinito
en un punto x0 . Estas propiedades incluyen:
la unicidad del lmite (Prop. 54 p. 20);
el lmite de una suma (Prop. 56 p. 20);
el lmite de un producto (Prop. 59 p. 21);

22
 el lmite de la funcin 1/ f (Prop. 33 p. 12 y Prop. 62 p. 21);
la monotona de los lmites (Prop. 39 p. 14 y Prop. 64 p. 21);
el Teorema del sndwich (Teorema 40 p. 15).

(Se deja a los lectores la tarea de adaptar los enunciados anteriores al los lmites laterales.) Una
propiedad importante de los lmites laterales es la siguiente:

Proposicin 68 (Pegado de lmites laterales). Sea f : I R una funcin definida en un

intervalo I R. Para todo punto x0 I interior al intervalo de definicin y para todo nmero
real extendido L R, tenemos la equivalencia:

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

xx0 xx0+ xx0

Observaciones 69. En la prctica, la proposicin anterior permite descomponer el estudio del

lmite de una funcin f : I R en un punto interior x0 I del modo siguiente:
1. Determinar, si existe, el lmite L := lm xx0 f (x) (finito o infinito).
2. Determinar, si existe, el lmite L+ := lm xx0+ f (x) (finito o infinito).
3. Si L y L+ existen y son iguales, entonces lm xx0 f (x) = L = L+ .
Si no, la funcin f no tiene lmite (finito o infinito) en el punto x0 .

Ejercicio 70. Sea f : R R la funcin definida por

1/x si x , 0

f (x) =
(para todo x R)
0 si x = 0
(1) Demostrar que lm x0+ f (x) = +.
(2) Demostrar que lm x0 f (x) = .
(3) Deducir que la funcin f no tiene lmite (finito ni infinito) en el punto 0.

1.7.3. Lmites en
Definicin 71 (Lmites en ). Sea f : I R una funcin definida en un intervalo I R.
Cuando el intervalo de definicin I es de la forma I = R, I = (a, +) o I = [a, +) para algn
a R, se definen los lmites (finitos e infinitos) en + por:
def.
lm f (x) = L F E (L), E E ?(+), f (E I) F
x+
> 0, K R, x I, x > K | f (x) L| <
def.
lm f (x) = + F E (+), E E ?(+), f (E I) F
x+
L R, K R, x I, x > K f (x) > L
def.
lm f (x) = F E (), E E ?(+), f (E I) F
x+
L R, K R, x I, x > K f (x) < L

23
De modo anlogo, cuando el intervalo de definicin I es de la forma I = R, I = (, a) o
I = (, a] para algn a R, se definen los lmites (finitos e infinitos) en por:
def.
lm f (x) = L F E (L), E E ?(), f (E I) F
x+
> 0, K R, x I, x < K | f (x) L| <
def.
lm f (x) = + F E (+), E E ?(), f (E I) F
x+
L R, K R, x I, x < K f (x) > L
def.
lm f (x) = F E (), E E ?(), f (E I) F
x+
L R, K R, x I, x < K f (x) < L

Ejercicio 72. Usando la definicin de lmite en +, demostrar que lm x = +.
x+

Como para las nociones de lmites laterales, las nociones de lmites en + y tienen
esencialmente las mismas propiedades que la nocin de lmite bilateral (finito o infinito) en un
Estas propiedades incluyen:
punto x0 I.
la unicidad del lmite (Prop. 54 p. 20);
el lmite de una suma (Prop. 56 p. 20);
el lmite de un producto (Prop. 59 p. 21);
el lmite de la funcin 1/ f (Prop. 33 p. 12 y Prop. 62 p. 21);
la monotona de los lmites (Prop. 39 p. 14 y Prop. 64 p. 21);
el Teorema del sndwich (Teorema 40 p. 15).
(Se deja a los lectores la tarea de adaptar los enunciados anteriores al los lmites en .)
Ejemplo 73 (Lmite de la funcin logaritmo en +). Queremos demostrar que

lm log x = + .
x+

Para ello, se considera un nmero L R, y se trata de hallar un nmero K R tal que

x > 0, x > K log x > L .

Se distinguen dos casos:

Caso donde L 0. En este caso, se elige K := 1, y se observa que para todo nmero
x > 1 (= K), tenemos que log x > log 1 = 0 L (usando la monotona del logaritmo).
Caso donde L > 0. En este caso, se elige K := 2n , donde n es un entero natural tal que
n L/ log 2. (Tal entero existe por el principio de Arqumedes.) En efecto, para todo
nmero x > 2n (= K), tenemos que log x > log(2n ) = n log 2 logL 2 log 2 = L.
As, para todo L R, logramos definir un nmero K > 0 tal que log x > L para todo x > K.
Por lo tanto: lm log x = +.
x

Ejercicio 74. Deducir de lo anterior que lm+ log x = .

x0
(Sugerencia: observar que para todo x > 0, tenemos que log 1x = log x.)

24
Ejercicio 75. Sea f : R R la funcin definida por
x
f (x) = (para todo x R)
1 + |x|
(1) Demostrar que la funcin f es continua en todo punto x0 R.
1
(2) Verificar que f (x) = 1 1+x para todo x > 0, y deducir que lm x+ f (x) = 1.
1
(3) Verificar que f (x) = 1x 1 para todo x < 0, y deducir que lm x f (x) = 1.

Ejercicio 76. Sea f : (a, +) R (con a R) una funcin montona creciente.

(1) Demostrar que si la funcin f est acotada superiormente en el intervalo (a, +), enton-
ces lm x+ f (x) = L, donde L := sup{ f (x) : x (a, +)}.
(2) Demostrar que si la funcin f no est acotada superiormente en el intervalo (a, +),
entonces lm x+ f (x) = +.
(3) Qu pasa cuando la funcin f es montona decreciente?

25