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 𝑦 𝑒𝑥𝑖𝑠𝑡𝑒𝑛 ℎ 𝑦 𝑘 𝑟𝑒𝑎𝑙𝑒𝑠 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜𝑠 / 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒 𝑎𝑙 𝐸∗𝑎,𝛿
ℎ < |𝑓(𝑥)| < 𝑘.
