Unidad III.

La Derivada

3.2 Teoremas sobre límites. (primera parte)

Objetivo General: Calculará el límite de funciones aplicando los teoremas establecidos para tal fin.

Objetivo Específico: Resolverá problemas de aplicación.

Teorema

Unicidad del límite de una función

Si una función tiene límite es único.

𝐸𝑥𝑖𝑠𝑡𝑒 lim 𝑓(𝑥) = 𝑏 ; 𝑑𝑜𝑛𝑑𝑒 𝑏 𝑒𝑠 ú𝑛𝑖𝑐𝑜

𝑥→𝑎

Demostración

La demostración se hace por reducción al absurdo.

Suponemos que 𝑓(𝑥) tiene dos límites distintos 𝑏 y 𝑐, cuando 𝑥 tiende a 𝑎.

Suponemos que 𝑏 > 𝑐.

∗ ∗
lim 𝑓(𝑥) = 𝑏 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝐸𝑏,𝜀 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛 𝐸𝑎,𝛿1 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸𝑎,𝛿1 𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒
𝑥→𝑎

𝑎𝑙 𝐸𝑏,𝜀 .
∗ ∗
lim 𝑓(𝑥) = 𝑐 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝐸𝑐,𝜀 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛 𝐸𝑎,𝛿2 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸𝑎,𝛿2 𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒
𝑥→𝑎

𝑎𝑙 𝐸𝑐,𝜀 .

𝐶𝑜𝑛𝑠𝑖𝑑𝑒𝑟𝑒𝑚𝑜𝑠 𝑢𝑛 𝜀 𝑡𝑎𝑙 𝑞𝑢𝑒 𝐸𝑏,𝜀 ∩ 𝐸𝑐,𝜀 = Ø.

(𝑏 − 𝑐)
Queremos que 𝑐 + 𝜀 < 𝑏 − 𝜀 ⟹ 𝜀 <
2

Sea 𝛿 = 𝑚𝑖𝑛 {𝛿1 , 𝛿2 }

∗
Para todo x perteneciente al 𝐸𝑎,𝛿 se cumple:

𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝐸𝑏,𝜀

𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎 𝐸𝑐,𝜀

Absurdo, pues 𝑓(𝑥) no puede pertenecer a dos entornos disjuntos, es decir, absurdo de suponer 𝑏 ≠ 𝑐, por lo tanto 𝑏 = 𝑐.

Límites laterales
𝐿í𝑚𝑖𝑡𝑒 𝑑𝑒 𝑓(𝑥) 𝑒𝑛 𝑒𝑙 𝑝𝑢𝑛𝑡𝑜 𝑎 𝑝𝑜𝑟 𝑙𝑎 𝑑𝑒𝑟𝑒𝑐ℎ𝑎 ∶

lim 𝑓(𝑥) = 𝑏 ⟺ 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎 (𝑎, 𝑎 + 𝛿) |𝑓(𝑥) − 𝑏| < 𝜀.
𝑥→𝑎

𝐿í𝑚𝑖𝑡𝑒 𝑑𝑒 𝑓(𝑥) 𝑒𝑛 𝑒𝑙 𝑝𝑢𝑛𝑡𝑜 𝑎 𝑝𝑜𝑟 𝑙𝑎 𝑖𝑧𝑞𝑢𝑖𝑒𝑟𝑑𝑎 ∶

lim 𝑓(𝑥) = 𝑏 ⟺ 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎 (𝑎 − 𝛿, 𝑎) |𝑓(𝑥) − 𝑏| < 𝜀.
𝑥→𝑎

Nota: 𝑥 ⟶ 𝑎 + indica que 𝑥 tiende a a por la derecha, es decir que x pertenece al entorno (𝑎, 𝑎 + 𝛿).
𝑥 ⟶ 𝑎 − indica que x tiende a 𝑎 por la izquierda, es decir que 𝑥 pertenece al entorno (𝑎 − 𝛿, 𝑎).

A veces las funciones son discontinuas o no están definidas en un punto a, pero son continuas a uno y otro lado. En estos cas os,
el límite por la izquierda puede ser distinto del límite por la derecha.

Ejemplo:
𝑓(𝑥) = 𝑥 2 𝑠𝑖 𝑥 ⇐ 2
−2𝑥 + 1 𝑠𝑖 𝑥 > 2

lim 𝑓(𝑥) = 4
𝑥→2−

lim 𝑓(𝑥) = −3
𝑥→2+

𝑁𝑜 𝑒𝑥𝑖𝑠𝑡𝑒 𝑒𝑙 lim 𝑓(𝑥)

𝑥→2

Teorema

Existe el límite finito de una función ⟺ los límites laterales son iguales.

lim 𝑓(𝑥) = 𝑏
𝑥→𝑎

lim 𝑓(𝑥) = lim− 𝑓(𝑥) = 𝑏

𝑥→𝑎+ 𝑥→𝑎

Demostración:

Directo:
∗
lim 𝑓(𝑥) = 𝑏 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸𝑎,𝛿 𝑓(𝑥)
𝑥→𝑎

𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀

⟹ 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0/𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎 (𝑎 − 𝛿, 𝑎)𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀

⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 í𝑚𝑖𝑡𝑒𝑠 𝑙𝑎𝑡𝑒𝑟𝑎𝑙𝑒𝑠) lim− 𝑓(𝑥) = 𝑏

𝑥→𝑎

𝑦 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎 (𝑎, 𝑎 + 𝛿)𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓.

𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒𝑠 𝑙𝑎𝑡𝑒𝑟𝑎𝑙𝑒𝑠) lim+ 𝑓(𝑥) = 𝑏

𝑥→𝑎

Recíproco:

lim 𝑓(𝑥) = 𝑏 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒𝑠 𝑙𝑎𝑡𝑒𝑟𝑎𝑙𝑒𝑠)𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿1 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎
𝑥→𝑎+
(𝑎, 𝑎 + 𝛿1 ) 𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀 .

lim 𝑓(𝑥) = 𝑏 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒𝑠 𝑙𝑎𝑡𝑒𝑟𝑎𝑙𝑒𝑠)𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿2 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎
𝑥→𝑎+

(𝑎 − 𝛿2 , 𝑎) 𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀 .

𝑆𝑒𝑎 𝛿 = 𝑚𝑖𝑛 {𝛿1 , 𝛿2 }

∗
𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎 𝐸𝑎,𝛿 𝑓(𝑥) 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒) lim 𝑓(𝑥) = 𝑏
𝑥→𝑎

Ejemplo: en la función del ejemplo anterior, no existe lim 𝑓(𝑥), pues lim− 𝑓(𝑥) ≠ lim+ 𝑓(𝑥)
𝑥→2 𝑥→2 𝑥→2

Conservación del signo

Para valores de x suficientemente próximos al valor de tendencia, la función tiene el mismo signo que su límite.

lim 𝑓(𝑥) = 𝑏 > 0

𝑥→𝑎

∗
𝐸𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸𝑎,𝛿 𝑓(𝑥) > 0

Demostración:
∗
lim 𝑓(𝑥) = 𝑏 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸𝑎,𝛿 𝑓(𝑥)
𝑥→𝑎

𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑒 𝑎𝑙 𝐸𝑏,𝜀 .

𝐸𝑠 𝑑𝑒𝑐𝑖𝑟, 𝑏 − 𝜀 < 𝑓(𝑥) < 𝑏 + 𝜀.

𝐶𝑜𝑛𝑠𝑖𝑑𝑒𝑟𝑒𝑚𝑜𝑠 𝜀 < 𝑏 ⟹ 0 < 𝑏 − 𝜀 < 𝑓(𝑥) ⟹ 𝑓(𝑥) > 0.

𝐴𝑠í, 𝑏𝑎𝑠𝑡𝑎 𝑐𝑜𝑛𝑠𝑖𝑑𝑒𝑟𝑎𝑟 𝑢𝑛 𝜀 𝑚𝑒𝑛𝑜𝑟 𝑞𝑢𝑒 𝑏, 𝑝𝑎𝑟𝑎 𝑡𝑒𝑛𝑒𝑟 𝑢𝑛 𝑒𝑛𝑡𝑜𝑟𝑛𝑜 𝑑𝑒 𝑎 𝑑𝑜𝑛𝑑𝑒 𝑓(𝑥) 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 0.

Nota: El teorema también se cumple para valores negativos. Si la función tiene distinto signo en la mitad izquierda del entorno
de 𝑎 que, en la mitad derecha, entonces su límite en a vale 0.

Teorema de la función comprendida

Si una función está comprendida entre otras dos que tienen igual límite cuando x tiende a a, entonces tiene el mismo límite.

lim 𝑓(𝑥) = lim 𝑔(𝑥) = 𝑏 = 0

𝑥→𝑎 𝑥→𝑎

𝐸𝑥𝑖𝑠𝑡𝑒 𝛿1 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸∗𝑎,𝛿1 𝑓(𝑥) ⟸ ℎ(𝑥) ⟸ 𝑔(𝑥)

lim ℎ(𝑥) = 𝑏
𝑥→𝑎

Demostración:
 ∗
lim f(x)=b ⇒ (por def. de límite) para todo ε > 0 existe 𝛿2 > 0 / para todo x perteneciente al 𝐸𝑎,𝛿2
𝑏 − 𝜀 < 𝑓(𝑥) < 𝑏 + 𝜀.
𝑥→𝑎

∗
lim g(x)=b ⇒ (por def. de límite) para todo ε > 0 existe 𝛿3 > 0 / para todo x perteneciente al 𝐸𝑎,𝛿3
𝑏 − 𝜀 < 𝑔(𝑥) < 𝑏 + 𝜀.
𝑥→𝑎

𝑆𝑒𝑎 𝛿 = 𝑚𝑖𝑛 {𝛿1 , 𝛿2 , 𝛿3 }

𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸∗𝑎,𝛿 𝑏 − 𝜀 < 𝑓(𝑥) ⟸ ℎ(𝑥) ⟸ 𝑔(𝑥) < 𝑏 + 𝜀

⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒)lim g(x) = b

𝑥→𝑎

Teorema de la acotación

Si una función tiene límite finito cuando 𝑥 tiende a 𝑎, entonces está acotada en un entorno reducido de 𝑎.

lim 𝑓(𝑥) = 𝑏
𝑥→𝑎

𝐸𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 𝑦 𝑒𝑥𝑖𝑠𝑡𝑒𝑛 ℎ 𝑦 𝑘 𝑟𝑒𝑎𝑙𝑒𝑠 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸∗𝑎,𝛿 ℎ < 𝑓(𝑥) < 𝑘

Demostración.
∗
lim 𝑓(𝑥) = 𝑏 ⟹ (𝑝𝑜𝑟 𝑑𝑒𝑓. 𝑑𝑒 𝑙í𝑚𝑖𝑡𝑒) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜀 > 0 𝑒𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸𝑎,𝛿
𝑥→𝑎

𝑏 − 𝜀 < 𝑓(𝑥) < 𝑏 + 𝜀

Cota inferior Cota superior

Nota: también podemos expresar la tesis como:

𝐸𝑥𝑖𝑠𝑡𝑒 𝛿 > 0 𝑦 𝑒𝑥𝑖𝑠𝑡𝑒𝑛 ℎ 𝑦 𝑘 𝑟𝑒𝑎𝑙𝑒𝑠 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜𝑠 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸∗𝑎,𝛿

ℎ < |𝑓(𝑥)| < 𝑘.