Cálculo Diferencial

Límite de Funciones

Omar Enrique García Caicedo

ogarciac30@gmail.com

13 de mayo de 2021

1 / 20
Contenido

1. Motivación

2. Límite
Límites Laterales
Límites Infinitos y al Infinito
Un par de Teoremas Importantes

2 / 20
Motivación I

Imagine a una persona caminando sobre un paisaje representado por la

gráfica de y = f (x). Su posición horizontal se mide por el valor de x,
muy similar a la posición dada por un mapa de la tierra o por un sistema
de posicionamiento global. Su altitud viene dada por la coordenada y.
Camina hacia la posición horizontal dada por x = p. A medida que se
acerca más y más, nota que su altitud se acerca a L. Si se le pregunta
sobre la altitud de x = p, ella respondería L.

Entonces, ¿qué significa decir que su altitud se acerca a L? Significa que

su altitud se acerca cada vez más a L, excepto por un posible pequeño
error en la precisión. Por ejemplo, supongamos que establecemos una meta
de precisión particular para nuestro viajero: debe acercarse a diez metros
de L. Ella informa que de hecho puede acercarse a diez metros verticales
de L, ya que observa que cuando está dentro de los cincuenta metros
horizontales de p, su altitud es siempre de diez metros o menos de L.

3 / 20
Motivación II
Luego se cambia el objetivo de precisión: ¿puede llegar a un metro ver-
tical? Si. Si se encuentra en cualquier lugar dentro de los siete metros
horizontales de p, entonces su altitud siempre permanece dentro de un
metro del objetivo L. En resumen, decir que la altitud del viajero se acer-
ca a L cuando su posición horizontal se acerca a p, es decir que para cada
objetivo de precisión meta, por pequeña que sea, hay alguna vecindad de
p cuya altitud cumple esa meta de precisión.

De manera informal podemos decir que: El límite de una función f (x)

cuando x se acerca a p es un número L con la siguiente propiedad:
dada cualquier distancia objetivo desde L, hay una distancia desde
p dentro de la cual los valores de f (x) permanecen cerca de la
distancia objetivo.

De hecho, esta declaración explícita se acerca bastante a la definición

formal del límite de una función, con valores en un espacio topológico.

4 / 20
Motivación III

Específicamente, para decir que:

lı́m f (x) = L
x→p

es decir que f (x) se puede hacer tan cerca de L como se desee, haciendo
x lo suficientemente cerca, pero no igual, de p.

5 / 20
Límite I

Definición 1
Dados X ⊆ R, a ∈ X 0 y f : X → R. Decimos que L ∈ R es el
límite de f cuando x tiende a a, si para todo ε > 0 existe
δ > 0 tal que para x ∈ X con 0 < |x − a| < δ se tiene que
|f (x) − L| < ε. Y se simboliza como:

lı́m f (x) = L
x→a

a ∈ X 0 nos dice que a es un punto de acumulación de X. En particular no

siempre va a suceder que a ∈ X; esto implica que para calcular límites no
es necesario que la función f esté definida en el punto a, lo que realmente
importa es que se pueda estudiar el comportamiento de f en los puntos
de X ”cercanos” a a.

6 / 20
Límite II
Las letras ε y δ pueden entenderse como ”error” y ”distancia”. En estos
términos, el error ε en la medición del valor en el límite se puede hacer
tan pequeño como se desee, reduciendo la distancia δ al punto límite.

7 / 20
Límite III

Teorema 1 - Caracterización por medio de Sucesiones

lı́m
f (x) = L si, y solo si, para toda sucesión {xn }n∈N ⊆ X − {a}
x→a
lı́m xn = a se tiene que lı́m f (xn ) = L.
con n→∞ n→∞

Dms. (=⇒) Supongamos que x→a lı́m f (x) = L y tomamos una sucesión
xn ∈ X − {a} para todo n ∈ N con n→∞ lı́m xn = a. Dado ε > 0 arbitrario,
existe δ > 0 tal que para x ∈ X con 0 < |x − a| < δ implica que
|f (x) − L| < ε. Además, existe también N ∈ N tal que si n > N entonces
0 < |xn − a| < δ (pues xn 6= a para todo n). En consecuencia, n > N
implica que |f (xn ) − L| < ε, es decir, n→∞ lı́m f (xn ) = L.

(⇐=) Supongamos que para toda sucesión xn ∈ X−{a} tal que n→∞ lı́m xn =
lı́m f (xn ) = L. Debemos probar que lı́m f (x) = L, si ne-
a implica que n→∞ x→a
gamos esta última afirmación, tendriamos que existe un  tal que para

8 / 20
Límite IV

todo n ∈ N obtenemos un xn ∈ X tal que 0 < |xn − a| < n1 implica que

|f (xn ) − L| ≥ , esto contradice la suposición inicial, lo que completa la
demostración. 

Este teorema nos permite usar los resultados obtenidos sobre sucesiones
para calcular límites.

Corolario 1 - Unicidad del Límite

Si lı́m f (x) = L y lı́m f (x) = M entonces L = M .
x→a x→a

9 / 20
Límite V

Corolario 2 - Operaciones con Límites

Si lı́m f (x) = L y lı́m g(x) = M entonces

x→a x→a
• lı́m
x→a f (x) ± g(x) = L ± M .
• lı́m
x→a f (x) · g(x) = L · M .
• lı́m f (x) = L
M 6= 0.
x→a g(x) M,
• lı́m
x→a |f (x)| = |L|.
• Si x→a |f (x)| = 0 y g es acotada en una vecindad de a
lı́m
lı́m f (x) · g(x) = 0 .
entonces x→a

10 / 20
Límite VI

Proposición 1
lı́m f (x) existe entonces f es acotada en una vecindad
Si existe x→a
de a, esto es, existen δ, M > 0 tales que para todo x ∈ X con
0 < |x − a| < δ se tiene que |f (x)| ≤ M .

11 / 20
Límites Laterales I

Los números reales cumplen la propiedad de tricotomía, es decir, para

cada par de puntos x, y ∈ R se cumple sólo una de las siguentes:
x < y o x = y o x > y, lo que implica que podemos redefinir el concepto
de punto de acumulación de un conjunto X:

Definición 2
Dados un punto a ∈ R y un conjunto X ⊆ R decimos que a
es un punto de acumulación a derecha (a izquierda) de X
si para todo ε > 0 se tiene que X ∩ ]a, a + ε[ 6= ∅ (X ∩
]a − ε, a[ 6= ∅) y se denota por a ∈ X
+0 (a ∈ X 0 ), es decir,
−
0 0
a ∈ (X ∩ ]a, +∞[) a ∈ (X ∩ ]−∞, a[) .

12 / 20
Límites Laterales II
Esto implica que a ∈ X 0 si, y solo si, a ∈ X+
0 ∩ X 0 .Esto es , a es un
−
punto de acumulación (bilateral) si, y solo si, a es un punto de
acumulación a izquierda y a derecha.

Proposición 2

a ∈ X+ 0 si, y solo si, existe una sucesión {x }

n n∈N ⊆ X ∩ ]a, +∞[
lı́m
tal que n→∞ xn = a. De la misma manera, a ∈ X− 0 si, y solo si,

existe una sucesión {xn }n∈N ⊆ X ∩ ]−∞, a[ tal que n→∞ lı́m xn = a

Dado I ⊆ R un intervalo. Si c ∈ int(I) entonces c ∈ I+0 ∩ I 0 . Además,

−
si c es el extremo inferior del intervalo se tiene que c ∈ I+0 y si c es
0
el extremo superior del intervalo se tiene que c ∈ I− .

Ahora podemos definir:

13 / 20
Límites Laterales III
Definición 3 - Límites Laterales
Sea f : X → R, a, L ∈ R entonces:
• Si a ∈ X+0 decimos que L es el límite a derecha de f

cuando x tiende a a si para todo ε > 0 existe δ > 0 tal

que para todo x ∈ X con 0 < x − a < δ se tiene que
lı́m f (x) = L.
|f (x) − L| < ε y se denota x→a +

• Si a ∈ X−0 decimos que L es el límite a izquierda de f

cuando x tiende a a si para todo ε > 0 existe δ > 0 tal

que para todo x ∈ X con 0 < a − x < δ se tiene que
lı́m f (x) = L.
|f (x) − L| < ε y se denota x→a −

Es de esperar que:

14 / 20
Límites Laterales IV

Teorema 2
Dado a ∈ X+ 0 ∩ X 0 se tiene que: lı́m f (x) = L si, y solo si,
− x→a
lı́m f (x) = lı́m f (x) = L.
x→a + x→a −

Teorema 3
0
Sea f : X → R una función monótona acotada. Para todo a ∈ X+
0 lı́m lı́m
y b ∈ X− existen x→a+ f (x) = L y x→b− f (x) = M .

Una función f : I → R donde I es in intervalo es llamada reglada si

si para todo x ∈ I sus límites laterales existen (aunque no sean
iguales).

15 / 20
Límites Infinitos y al Infinito I

Definición 4 - Límite al Infinito

Sea X ⊆ R conjunto no acotado y dada una función f : X → R,
escribimos:
• x→+∞
lı́m f (x) = L si se cumple que: Para todo ε > 0 existe
A > 0 tal que para x ∈ X con x > A se tiene que
|f (x) − L| < ε.
• x→−∞
lı́m f (x) = L si se cumple que: Para todo ε > 0 existe
A > 0 tal que para x ∈ X con x < −A se tiene que
|f (x) − L| < ε.

En este caso la recta horizontal y = L se llama Asíntota Horizontal

de f .

16 / 20
Límites Infinitos y al Infinito II

Definición 5 - Límite Infinito

Sean X ⊆ R, a ∈ X 0 y dada una función f : X → R, escribimos:

• lı́m
x→a f (x) = +∞ si se cumple que: Para todo A > 0 existe
δ > 0 tal que para x ∈ X con 0 < |x − a| < δ se tiene
que f (x) > A.
• lı́m
x→a f (x) = −∞ si se cumple que: Para todo A > 0 existe
δ > 0 tal que para x ∈ X con 0 < |x − a| < δ se tiene
que f (x) < −A.

En este caso la recta vertical x = a se llama Asíntota Vertical de f .

17 / 20
Límites Infinitos y al Infinito III

Un tipo especial de límite al infinito nos permite definir las Asíntotas

Oblicuas:

Definición 5
Dado X ⊆ R conjunto no acotado y una función f : X → R.
Decimos que la recta y = mx + n con m 6= 0 es una asíntota
oblicua si se cumple que:
f (x)
• x→+∞
lı́m = m.
x
• x→∞
lı́m f (x) − mx = n.

Estas asíntotas ayudan a estudiar el comportamiento asintótico de la fun-

ción en valores finitos específicos o en el infinito.

18 / 20
Un par de Teoremas Importantes

Teorema 4
Sean f, g, h : X → R funciones con h(x) ≤ f (x) ≤ g(x) en
X y a ∈ X 0 tales que x→a
lı́m g(x) = lı́m h(x) = L se tiene que
x→a
lı́m f (x) = L.
x→a

Teorema 5
Dadas g : X → Y y f : Y → R con a ∈ X 0 . Si x→a lı́m g(x) = b con
lı́m lı́m
g(x) 6= b y y→b f (y) = L entonces x→a f (g(x)) = L.

19 / 20
Gracias!

20 / 20