You are on page 1of 46

http://matematica.50webs.com/infinitesimos.

html
LIMITES, CONTINUIDAD DE LIMITES.

Lmite finito
Definicin
Intervalo cerrado
Un segmento en el eje numrico con extremos a y b, con a < b, se denomina intervalo.
Si los puntos extremos, a y b, estn incluidos en el intervalo, se dice que el intervalo
es cerrado, y se denota por [a,b].
[a,b] = { x perteneciente a R / a <= x <= b }
El intervalo cerrado [a,b] consiste de los puntos x para
los cuales a <= x <= b.

Definicin
Intervalo abierto
Si los puntos extremos se excluyen, el intervalo se llama abierto, y se denota por
(a,b).
(a,b) = { x perteneciente a R / a < x < b }
El intervalo abierto (a,b) consiste de aquellos puntos x
para los cuales a < x < b.

Definicin
Entorno del punto a de radio

Es el intervalo abierto (a - ,a + ), esto es, consiste de los valores x para los cuales a
- < x < a + .
Ea, = { x perteneciente a R / |x - a| < }

Son los puntos x cuya distancia al punto a es menor


que .

Definicin
Entorno reducido de a de radio
No incluye al punto a.
E*a, = { x perteneciente a R / 0 < |x - a| < }

Son los puntos x cuya distancia al punto a es menor


que pero mayor que 0, es decir, no se incluye a a.

El concepto de Lmite
Consideremos la funcin f(x)=x2.
Observemos los valores de f(x) para x cercanos a 3.
x
2,8
2,9
2,95
2,99
2,999
3,001
3,01
3,05
3,1
3,2

f(x)
7,84
8,41
8,7025
8,9401
8,994001
9,006001
9,0601
9,3025
9,61
10,24

Cuando x se aproxima a 3, los valores de f(x) se acercan a 9. Se dice que f(x) tiende a
9 cuando x tiende a 3.

En general, una funcin f(x) tiende a un lmite b cuando x tiende a a, si f(x) difiere
arbitrariamente poco de b para todo x situado suficientemente cerca de a.
En smbolos, limx->af(x)=b.
Enseguida se expresa ms precisamente la definicin de lmite.

Definicin
Lmite finito de una funcin
limx->a f(x)=b <=> para todo >0 existe >0 / para todo x, 0 < |x-a| < |f(x) - b| <
.
Otra notacin:
limx->a f(x)=b <=> para todo Eb, existe un E*a, / para todo x perteneciente al E*a, f(x)
pertenece a Eb,.
Se dice que la funcin f(x) tiene lmite b, cuando x tiende a a, si dado positivo
arbitrario y tan pequeo como se quiera, existe un tal que para todo x perteneciente
al entorno reducido de a de radio , la funcin pertenece al entorno de b de radio .
Dicho de otro modo, para cualquier nmero positivo , por pequeo que sea, podemos
encontrar un tal que para todos los x dentro del entorno reducido de a de radio se
cumple que f(x) est dentro del entorno de b de radio .

limx->af(x)=b significa que por ms pequeo que sea el entorno considerado alrededor
de b, va a ser posible encontrar un entorno de a, para cuyos valores x (x a), la
funcin f da como resultado valores que estn dentro del entorno de b considerado.
En otras palabras, la funcin f(x) tiene lmite b, cuando x tiende a a, si el valor de la
funcin f(x) se hace arbitrariamente prximo al valor b cuando x se aproxima al valor
a.
Notar que la definicin dice entorno reducido de a. Es decir que f(a) puede no existir, o
puede estar fuera del entorno de b, pero el lmite de f cuando x tiende a a sigue siendo
b.

f(a) b, pero limx->af(x)=b

Continuidad

f(x)=x2

Intuitivamente, la continuidad significa que un pequeo cambio en la variable x implica


slo un pequeo cambio en el valor de f(x), es decir, la grfica consiste de un slo
trozo de curva.

f(x)=sgn x

En contraste, una grfica como la de la funcin f(x) = sgn x (signo de x) que consiste
de pedazos de curva separados por un vaco en una abcisa exhibe all una
discontinuidad.
La continuidad de la funcin f(x) para un valor a significa que f(x) difiere
arbitrariamente poco del valor f(a) cuando x est suficientemente cerca de a.
Expresemos esto en trminos del concepto de lmite...

Definicin
Continuidad
Una funcin f(x) es continua en un punto a si limx->af(x) = f(a).
Nota: observar que debe existir f(a) y debe existir el limx->a f(x) y debe ser igual a f(a).

Ejemplos de discontinuidad

f(x)= 1/x2
Discontinua en x=0 (No existe f(0))

f(x) = x2 si x <= 2
2x - 4 si x > 2
Discontinua en x=2.
Si bien existe f(2), no existe limx->2f(x), pues limx->2f(x)=4 y limx->2+f(x)=0
Sin embargo, si miramos la funcin para x prximos a 2 pero menores, e ignoramos
los x mayores que 2, la funcin es continua en 2 "por la izquierda".

Definicin
Continuidad por la izquierda
Una funcin f(x) es continua por la izquierda en el punto a si existe f(a) y limx->a-f(x) =
f(a).

Definicin
Continuidad por la derecha

Una funcin f(x) es continua por la derecha en el punto a si existe f(a) y limx->a+f(x) =
f(a).
La funcin anterior es continua por la izquierda en x=2, pero no por la derecha.

Definicin
Continuidad en un intervalo cerrado [a,b]
Una funcin f(x) es continua en un intervalo cerrado [a,b] si:
f es continua en a por la derecha
f es continua en b por la izquierda
f es continua en x, para todo x perteneciente al intervalo abierto (a,b)

Clasificacin de discontinuidades
Evitable
Caso A:
No existe f(a) pero existe limx->af(x).
Ejemplo:

f(x)= e-1/x2 + 2

No existe f(0) pues anula un denominador.


limx->0-f(x) = limx->0+f(x) = 2 o sea limx->0f(x)=2

Podemos extender la definicin de la funcin, asignndole en el punto a el valor del


lmite, con lo cual la funcin se torna continua. Por ello este tipo de discontinuidad se
denomina evitable.
Caso B:
Existe f(a) y existe limx->af(x)=b pero bf(a).
(Existe f(a) pero es distinto al valor del lmite).
Ejemplo:

f(x) = x2 si x2
8 si x=2

f(2) = 8
limx->2 f(x) = 4
Asignndole a la funcin el valor 4 en x=2, se elimina la discontinuidad.

No evitable
1 especie:
limx->a-f(x) limx->a+f(x).
(Los lmites laterales son distintos).
Ejemplo:

f(x) = x/(x - 2)

limx->2-f(x) = -inf
limx->2+f(x) = +inf
2 especie:
No existe limx->a-f(x) o no existe limx->a+f(x).
(No existe por lo menos uno de los lmites laterales).
Ejemplo:

______
f(x) = \|x2 - 4

En x=-2 y x=2 la funcin presenta discontinuidades no evitables de 2 especie. No


existe limx->-2+f(x) y no existe limx->2-f(x).

Operaciones con funciones continuas


Si f y g son funciones continuas en x=a, la suma, multiplicacin y cociente de f y g
(con g(a) 0) son funciones continuas en x=a.

H) f(x) es continua en x=a.


g(x) es continua en x=a.
T) f(x) + g(x) es continua en x=a.

Demostracin
Por definicin de continuidad,
existe f(a) y existe limx->af(x) = f(a)
existe g(a) y existe limx->ag(x) = g(a)
=> por teo. lmite de la suma de funciones, el lmite de una suma de funciones es igual
a la suma de los lmites de cada funcin, si stos son finitos.
limx->a f(x) + g(x) = f(a) + g(a)
=> por def. de continuidad f(x) + g(x) es continua en x=a.
Anlogamente se prueba la continuidad del producto y el cociente.

Teorema
Continuidad de la funcin compuesta

H) f es continua en x=a.
g es continua en x=f(a).
T) g o f es continua en x=a.

Demostracin:
Queremos demostrar que limx->a g[f(x)]=g[f(a)], o sea, por definicin de lmite,
queremos probar que, dado >0 existe >0 tal que para todo x perteneciente al E *a,
g[f(x)] perteneciente al Eg[f(a)],.

Por hiptesis g es continua en f(a) => por def. de continuidad limx->f(a) g(x)=g[f(a)] =>
por def. de lmite, dado >0 existe >0 tal que...

para todo x perteneciente al E*f(a), g(x) pertenece al Eg[f(a)],

(1)

Por hiptesis f es continua en a => por def. de continuidad limx->af(x) = f(a), es decir
que (por def. de lmite) si tomamos el nmero de (1), existe >0 tal que...

para todo x perteneciente al E*a, f(x) pertenece al Ef(a),

(2)

De (1) y (2) se deduce que:


Dado >0 existe >0 / para todo x perteneciente al E*a, g[f(x)] pertenece al Eg[f(a)],.

Teoremas sobre lmites


Teorema
Unicidad del lmite de una funcin
Si una funcin tiene lmite es nico.
H) Existe limx->af(x)=b
T) b es nico
Demostracin
La demostracin se hace por reduccin al absurdo.
Suponemos que f(x) tiene dos lmites distintos b y c, cuando x tiende a a.
Suponemos que b > c.

limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x
perteneciente al E*a,1 f(x) pertenece al Eb,.
limx->af(x)=c => (por def. de lmite) para todo Ec, existe un E*a,2 / para todo x
perteneciente al E*a,2 f(x) pertenece al Ec,.
Consideremos un tal que Eb, Ec, = .

Queremos que c+ < b- => < (b - c)/2


Sea = min {1,2}
Para todo x perteneciente al E*a, se cumple

f(x) pertenece a Eb,

f(x) pertenece a Ec,

Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos.


Absurdo de suponer b c.
Por lo tanto b = c.

Definicin
Lmites laterales
Lmite de f(x) en el punto a por la derecha :
limx->a+f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a,a + )
|f(x) - b| < .

Lmite de f(x) en el punto a por la izquierda :


limx->a-f(x)=b <=> para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a)
|f(x) - b| < .
Nota: x->a+ indica que x tiende a a por la derecha, es decir que x pertenece al
entorno (a,a + ).
x->a- indica que x tiende a a por la izquierda, es decir que x pertenece al entorno (a ,a).
A veces las funciones son discontinuas o no estn definidas en un punto a, pero son
continuas a uno y otro lado. En estos casos, el lmite por la izquierda puede ser distinto
del lmite por la derecha.

Ejemplo
f(x) =

x2 si x <= 2
-2x + 1 si x > 2

limx->2-f(x)=4
limx->2+f(x)=-3
No existe limx->2f(x)

Teorema
Existe el lmite finito de una funcin <=> los lmites laterales son iguales.
H) limx->af(x)=b
T) limx->a+f(x) = limx->a-f(x) = b
Demostracin:

Directo:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x
perteneciente al E*a, f(x) pertenece al Eb,.
=> para todo > 0 existe > 0 / para todo x perteneciente a (a - ,a) f(x) pertenece
al Eb, => (por def. de lmites laterales) limx->a-f(x)=b.
y para todo > 0 existe > 0 / para todo x perteneciente a (a,a + ) f(x) pertenece al
Eb, => (por def. de lmites laterales) limx->a+f(x)=b.
Recproco:
limx->a+f(x)=b => (por def. de lmites laterales) para todo > 0 existe 1 > 0 / para
todo x perteneciente a (a,a + 1) f(x) pertenece al Eb,.
limx->a-f(x)=b => (por def. de lmites laterales) para todo > 0 existe 2 > 0 / para
todo x perteneciente a (a - 2,a) f(x) pertenece al Eb,.
Sea = min {1,2}
Para todo x perteneciente a E*a, f(x) pertenece al Eb,.
=> (por def. de lmite) limx->af(x) = b.
Ejemplo: en la funcin del ejemplo anterior, no existe limx->2f(x), pues limx->2-f(x)
limx->2+f(x).

Teorema
Conservacin del signo
Para valores de x suficientemente prximos al valor de tendencia, la funcin tiene el
mismo signo que su lmite.
H) limx->af(x)=b > 0
T) Existe > 0 / para todo x perteneciente al E*a, f(x) > 0
Demostracin:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x
perteneciente al E*a, f(x) pertenece al Eb,.
Es decir, b - < f(x) < b + .

Consideremos < b => 0 < b - < f(x) => f(x) > 0.


As, basta considerar un menor que b, para tener un entorno de a donde f(x) es
mayor que 0.

Nota: El teorema tambin se cumple para valores negativos.


Si la funcin tiene distinto signo en la mitad izquierda del entorno de a que en la mitad
derecha, entonces su lmite en a vale 0.

Teorema de la funcin comprendida


Si una funcin est comprendida entre otras dos que tienen igual lmite cuando x
tiende a a, entonces tiene el mismo lmite.
H) limx->af(x) = limx->ag(x) = b
Existe 1 > 0 / para todo x perteneciente al E*a,1 f(x) <= h(x) <= g(x)
T) limx->ah(x)=b
Demostracin:
limx->af(x)=b => (por def. de lmite) para todo > 0 existe 2 > 0 / para todo x
perteneciente al E*a,2 b - < f(x) < b + .
limx->ag(x)=b => (por def. de lmite) para todo > 0 existe 3 > 0 / para todo x
perteneciente al E*a,3 b - < g(x) < b + .
Sea = min {1,2,3}
Para todo x perteneciente al E*a, b - < f(x) <= h(x) <= g(x) < b +
=> (por def. de lmite) limx->ah(x) = b.

Teorema de la acotacin
Si una funcin tiene lmite finito cuando x tiende a a, entonces est acotada en un
entorno reducido de a.
H) limx->af(x)=b
T) Existe > 0 y existen h y k reales / para todo x perteneciente al E*a, h < f(x) < k
Demostracin.
limx->af(x)=b => (por def. de lmite) para todo > 0 existe > 0 / para todo x
perteneciente al E*a,
b -

<

f(x)

<

b +

--^--

--^--

cota inferior

cota superior

Nota: tambin podemos expresar la tesis como:


Existe >0 y existen h y k reales positivos / para todo x perteneciente al E*a,
h < |f(x)| < k.

Lmite infinito
Observemos la funcin f(x)=1/x2 para valores de x positivos muy grandes.
x

f(x)

100

1,0x10-4

1.000

1,0x10-6

10.000

1,0x10-8

100.000

1,0x10-10

1.000.000

1,0x10-12

Si tomamos x cada vez mayor, f(x) est cada vez ms cerca de 0. Si x es


suficientemente grande podemos conseguir que f(x) se acerque a 0 tanto como
queramos. Decimos que f(x) tiende a 0 cuando x tiende a infinito.

Veamos a continuacin las definiciones precisas de cada uno de los lmites que
involucran al infinito.

Definicin
Lmite infinito
Caso 1:
limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a,
f(x) > A.
El lmite de f(x) cuando x->a es infinito positivo, si para cualquier nmero positivo A
(tan grande como se quiera), podemos encontrar un nmero tal que, para todos los x
dentro del entorno reducido de a de radio se cumple que f(x) es mayor que A.
En otras palabras, si para cualquier nmero positivo A que consideremos, existe un
entorno reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede
hacerse mayor que cualquier nmero, con tal de que x se acerque lo suficiente a a. Por
eso se dice que el lmite de f(x) cuando x tiende a a es +inf.

Caso 2:
limx->af(x) = -inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a,
f(x) < -A.

Caso 3:
limx->+inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) > A.

Para cualquier nmero positivo A (por grande que sea), es posible encontrar un
nmero positivo B tal que para todos los x mayores que B, f(x) es mayor que A. Es

decir que f(x) puede ser mayor que cualquier nmero, si x es lo suficientemente
grande.

Caso 4
limx->+inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) < -A.

Caso 5:
limx->-inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) > A.

Caso 6:
limx->-inff(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) < -A.

Caso 7:
limx->+inff(x) = b <=> para todo > 0 existe B > 0 / para todo x > B f(x) pertenece al
Eb,.

Caso 8:
limx->-inff(x) = b <=> para todo > 0 existe B > 0 / para todo x < -B f(x) pertenece al
Eb,.

Operaciones con lmites


Teorema
Lmite de la suma

El lmite de una suma es igual a la suma de los lmites de cada trmino, siempre que
estos lmites sean finitos.

H) limx->af(x)=b, limx->ag(x)=c
T) limx->af(x) + g(x) = b + c

Demostracin:
Queremos probar que, dado > 0, existe > 0 tal que para todo x perteneciente al
E*a, |(f(x) + g(x)) - (b+c)| < .
Sea ' = /2
limx->af(x)=b => (por def. de lmite) para todo ' > 0 existe 1 > 0 / para todo x
perteneciente al E*a,1 |f(x) - b| < '.
limx->ag(x)=c => (por def. de lmite) para todo ' > 0 existe 2 > 0 / para todo x
perteneciente al E*a,2 |g(x) - c| < '.
Sea = min {1,2}
Para todo x perteneciente al E*a, se cumple:

|f(x) - b| < '

|g(x) - c| < '

=> |f(x) - b| + |g(x) - c| < 2' =


|(f(x) + g(x)) - (b+c)| = |(f(x) - b) + (g(x) - c)| <= (*) |f(x) - b| + |g(x) - c| <
(*) Desigualdad triangular: |a + b| <= |a| + |b|
=> (por def. de lmite) limx->af(x) + g(x) = b + c

Ejemplo:

limx->2 x2 = 4
limx->2 x = 2
limx->2 x2 + x = 6

Teorema
H) limx->af(x) = b, limx->ag(x) = +inf
T) limx->af(x) + g(x) = +inf

Demostracin:
limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x
perteneciente al E*a,1 b - < f(x) < b + .
limx->ag(x)= +inf => (por def. de lmite infinito) para todo A > 0 existe un E*a,2 / para
todo x perteneciente al E*a,2 g(x) > A.
Sea = min {1,2}
Para todo x perteneciente al E*a, se cumple:

f(x) > b -

g(x) > A

=> f(x) + g(x) > A + b - = K


=> (por def. de lmite infinito) limx->a f(x) + g(x) = +inf.

Teorema
H) limx->af(x) = b, limx->ag(x) = -inf
T) limx->af(x) + g(x) = -inf

Demostracin:
Anloga a la anterior.

Teorema
H) limx->af(x) = +inf, limx->ag(x) = +inf
T) limx->af(x) + g(x) = +inf

Demostracin:
Sea A > 0.
Consideremos A/2.
Por def. de lmite infinito, existe 1 > 0 / para todo x perteneciente al E*a,1 f(x) > A/2
Por def. de lmite infinito, existe 2 > 0 / para todo x perteneciente al E*a,2 g(x) > A/2
Sea = min {1,2}
Para todo x perteneciente al E*a, f(x) + g(x) > A
=> (por def. de lmite infinito) limx->af(x) + g(x) = +inf.

Teorema
H) limx->af(x) = -inf, limx->ag(x) = -inf
T) limx->af(x) + g(x) = -inf

Demostracin:
Anloga a la anterior.

Cuando limx->af(x) = -inf y limx->ag(x) = +inf, el limx->af(x) + g(x) no puede


determinarse, se dice que es INDETERMINADO de la forma inf - inf.

Teorema
Lmite del producto

H) limx->af(x) = b, limx->ag(x) = c
T) limx->af(x).g(x) = b.c

Demostracin:
Queremos probar que, dado > 0, existe > 0 / para todo x perteneciente al E *a, |
f(x).g(x) - b.c| < .
limx->af(x) = b => (por def. de lmite) para todo Eb,1 existe E*a,1 / para todo x
perteneciente al E*a,1 f(x) pertenece al Eb,1.
limx->ag(x) = c => (por def. de lmite) para todo Ec,2 existe E*a,2 / para todo x
perteneciente al E*a,2 f(x) pertenece al Ec,2.
limx->af(x) = b => (por teo. de la acotacin) existe 3 > 0 y k > 0 / para todo x
perteneciente al E*a,3 |f(x)| < k.

Sea 1 = ---

2 = ---

2|c|

2k

|f(x) - b| < ---

=>

|c||f(x) - b| <

---

2|c|

|g(x) - c| < ---

(1)

=>

2k

k|g(x) - c| <

---

(2)

|f(x)| < k

=> (de 2)

|f(x)||g(x) - c| < --2

(3)

Sea = min {1,2}


De 1) y 3): para todo x perteneciente al E*a,
|c||f(x) - b| + |f(x)||g(x) - c| <
|f(x)g(x) - bc| = |f(x)g(x) - bc + f(x)c - f(x)c| = |c(f(x) - b) + f(x)(g(x) - c)| <= (*) |
c||f(x) - b| + |f(x)||g(x) - c| <
(*) Desigualdad triangular: |a + b| <= |a| + |b|
=> |f(x)g(x) - bc| <
=> (por def. de lmite) limx->af(x)g(x) = bc

Ejemplo
limx->2 x = 2
limx->2 ex = e2
limx->2 xex = 2e2

Teorema
H) limx->af(x) = b, limx->ag(x) = inf
T) limx->af(x)g(x) = inf

Nota: inf denota el infinito, positivo o negativo.


Caso 1:
H) limx->af(x) = b > 0, limx->ag(x) = +inf
T) limx->af(x)g(x) = +inf
Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = -inf
T) limx->af(x)g(x) = -inf

Caso 3:
H) limx->af(x) = b < 0, limx->ag(x) = +inf
T) limx->af(x)g(x) = -inf
Caso 4:
H) limx->af(x) = b < 0, limx->ag(x) = -inf
T) limx->af(x)g(x) = +inf
Demostracin caso 1:
Quiero probar que para todo B > 0 existe > 0 / para todo x perteneciente al E*a,
f(x)g(x) > B.
limx->af(x) = b => (por teo. de la acotacin) existe 1 > 0 y k > 0 / para todo x
perteneciente al E*a,1 f(x) > k.
limx->ag(x) = +inf => (por def. de lmite infinito) para todo A > 0 existe 2 > 0 / para
todo x perteneciente al E*a,2 g(x) > A.
Sea = min {1,2}
Para todo x perteneciente al E*a,

f(x) > k

g(x) > A

=> f(x)g(x) > kA > B


Basta elegir A > B/k.
Los dems casos se demuestran en forma anloga.

Si b = 0 el limx->af(x)g(x) no puede determinarse. Se dice que es una


INDETERMINACIN de la forma 0.inf.

Teorema
Lmite del cociente

H) limx->af(x) = b, limx->ag(x) = c (c distinto de 0)


T) limx->af(x)/g(x) = b/c

Demostracin:
limx->af(x) = b => (por def. de lmite) para todo Eb,1 existe un E*a,1 / para todo x
perteneciente al E*a,1 |f(x) - b| < 1.
limx->ag(x) = c => (por def. de lmite) para todo Ec,2 existe un E*a,2 / para todo x
perteneciente al E*a,2 |g(x) - c| < 2.
Quiero probar que limx->af(x)/g(x) = b/c, o sea que para todo Eb/c, existe un E*a, / para
todo x perteneciente al E*a, |f(x)/g(x) - b/c| < .
|f(x)c - g(x)b|
|f(x)/g(x) - b/c| =

|f(x)c - g(x)b - bc + bc|

--------------- = ------------------------- =
|g(x)c|

|c(f(x) - b) + b(c - g(x))|

|g(x)c|

|c||f(x) - b| + |b||c - g(x)|

--------------------------- <= ----------------------------- <


|g(x)c|

(*)

|c||f(x) - b| + |b||c - g(x)|

|g(x)c|
(1)

----------------------------k|c|
(*) Desigualdad triangular: |a + b| <= |a| + |b|.
(**) pues |g(x)|>k por teo. de la acotacin.
Sea 1 = k/2 y 2 = k|c|/2|b|
Para todo x perteneciente al E*a,1
|f(x) - b| < k
---

|c||f(x) - b| < k|c|


=>

2
Para todo x perteneciente al E*a,2

---2

(2)

(**)

|g(x) - c| < k|c|


-----

|b||g(x) - c| < k|c|


=>

(3)

----

2|b|

Sea = min {1,2}


De 2) y 3): para todo x perteneciente al E*a,
|c||f(x) - b| + |b||g(x) - c| < k|c|
|c||f(x) - b| + |b||c - g(x)|
=> |f(x)/g(x) - b/c| <

k|c|

----------------------------- < ----- =

por 1)

k|c|

k|c|

Ejemplo
ex
lim

----- = --

x->0 x + 2

Otros cocientes
Caso 1:
H) limx->af(x) = b > 0, limx->ag(x) = 0+
T) limx->af(x)/g(x) = +inf (-inf si b < 0)
El lmite 0+ indica que, en un entorno de a, f(x) se aproxima a 0 por la derecha, es
decir, 0 < f(x) < .
Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = 0T) limx->af(x)/g(x) = -inf (+inf si b < 0)
Caso 3:
H) limx->ag(x) = b > 0, limx->ag(x) = +inf
T) limx->af(x)/g(x) = 0+ (0- si b < 0)
Caso 4:
H) limx->af(x) = b > 0, limx->af(x) = -inf
T) limx->af(x)/g(x) = 0- (0+ si b < 0)

Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)/g(x) no puede determinarse. Se dice que


es INDETERMINADO de la forma 0/0.
Si limx->af(x) = inf y limx->ag(x) = inf, limx->af(x)/g(x) no puede determinarse. Se dice
que es INDETERMINADO de la forma inf/inf.

Lmite exponencial
Caso 1:
H) limx->af(x) = b, limx->ag(x) = c (c0)
T) limx->af(x)g(x) = bc
Caso 2:
H) limx->af(x) = b, limx->ag(x) = 0
T) limx->af(x)g(x) = 1
Caso 3:
H) limx->af(x) = b, limx->ag(x) = +inf
T) limx->af(x)g(x) = +inf
Caso 4:
H) limx->af(x) = b, limx->ag(x) = -inf
T) limx->af(x)g(x) = 0

Si limx->af(x) = 0 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es


INDETERMINADO de la forma 0inf.
Si limx->af(x) = 0 y limx->ag(x) = 0, limx->af(x)g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma 00.
Si limx->af(x) = inf y limx->ag(x) = 0, limx->af(x)g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma inf0.
Si limx->af(x) = 1 y limx->ag(x) = inf, limx->af(x)g(x) no puede determinarse. Se dice que es
INDETERMINADO de la forma 1inf.

Teorema
H) limx->a f(x) = 1, limx->a g(x) = inf
T) limx->a f(x)g(x) = ek, k = limf(x)->1, g(x)->inf g(x)(f(x) - 1)

Demostracin:
Sea h(x) = f(x) - 1
lim h(x) = 0 por lmite de la suma
f(x) = 1 + h(x)
lim (1 + h(x))g(x) = lim (1 + h(x))g(x).(h(x)/h(x)) =
h(x)->0, g(x)->inf

h(x)->0, g(x)->inf
h(x)0

e
-------^-------

(1)

lim (1 + h(x))1/h(x).g(x).h(x) = elim

g(x).h(x)

h(x)->0, g(x)->inf
h(x)0
lim g(x)(f(x) - 1)
e

g(x)->inf, f(x)->1

1) por lmite tipo 2 y lmite exponencial.

Funcin compuesta
Si f es una funcin tal que f:A->B y g es una funcin tal que g:C->D, y B es
subconjunto de C (el dominio de g contiene al rango de f), podemos definir una nueva
funcin h:A->D como sigue: para cada x en A, se aplica f resultando un valor f(x) en
B. Luego a este valor f(x) se aplica g, obtenindose g[f(x)]. Definimos h como la
funcin que mapea x en g[f(x)]. Se dice que h es la composicin de g y f: h(x) = (g o
f)(x) = g(f(x))

Teorema
Lmite de la funcin compuesta

H) limx->af(x)=b, limx->bg(x)=c
T) limx->ag[f(x)]=c

Demostracin:
Queremos demostrar que limx->a g[f(x)]=c, o sea, por definicin de lmite, queremos
probar que, dado >0 existe >0 tal que para todo x perteneciente al E*a, g[f(x)]
perteneciente al Ec,.
Por hiptesis limx->bg(x)=c => por def. de lmite, dado >0 existe >0 tal que...

para todo x perteneciente al E*b, g(x) pertenece al Ec,

(1)

Por hiptesis limx->af(x) = b => por def. de lmite si tomamos el nmero de (1),
existe >0 tal que...

para todo x perteneciente al E*a, f(x) pertenece al Eb,

(2)

De (1) y (2) se deduce que:


Dado >0 existe >0 / para todo x perteneciente al E*a, g[f(x)] pertenece al Ec,.

Clculo de lmites
Polinomios
Ver pgina sobre lmites de polinomios por detalles.

limx->a P(x) = P(a)

Ejemplo: limx->2 x2 - 3x + 4 = 2

limx->inf P(x) = limx->inf anxn

Ejemplo: limx->+inf -3x3 + x2 - 2x + 1 = limx->+inf -3x3 = -inf

lim

A(x)

---- =

| 1) ----

x-> B(x)

A()
si B()0

B()

| 2) inf si B()=0 y A()0


| 3) INDETERMINADO de la forma 0/0
|

si B()=0 y A()=0

Ejemplos:
x2 - 1
1) lim

------- = --

x->2 3x - 4

x2 - 1

2) lim -------- = -- = +inf


x->2

x - 2

-2x2 + 5x - 2

3) lim -------------- = -2

x->2 3x - 2x - 8

INDETERMINADO

Para resolverlo, expresamos cada polinomio como un producto y simplificamos los


factores comunes. Para ello, bajamos cada polinomio por Ruffini.
-2
2
-2

5 -2
-4

-2x2 + 5x - 2 = (x - 2)(-2x + 1)
3 -2

2
3

x2 - 2x - 8 = (x - 2)(3x + 4)

-2x2 + 5x - 2

(x - 2)(-2x + 1)

-3

lim -------------- = lim ---------------- = --x->2 3x2 - 2x - 8

x->2 (x - 2)(3x + 4)
anxn

---- = lim

----

lim

A(x)

x->inf bmxm

x->inf B(x)

Ejemplo:
3x3

-------------- = lim

----- = --

lim

3x3 + 2x2 - 5
x->+inf

2x - 8x

x->+inf 2x3

3
2

10

Races de polinomios
Si el lmite da indeterminado, aplicar el siguiente truco:

____

____

P(x) - Q(x)

lim \|P(x) - \|Q(x) = lim ---------------____

____

\|P(x) + \|Q(x))

Se llama expresin conjugada de


__

__

\|a - \|b

__
a

__

\|a + \|b

Multiplicando y dividiendo por la conjugada, obtenemos la diferencia de las cantidades


subradicales.
____
____

____

____

____

____ (\|P(x) + \|Q(x))

lim \|P(x) - \|Q(x) = lim \|P(x) - \|Q(x) ----------------- =


____

____

(\|P(x) + \|Q(x))
P(x) - Q(x)
lim ---------------____

____

\|P(x) + \|Q(x))
Ejemplo:
(IND. inf - inf)
___________

__________ |

lim \|x + 2x - 3 - \|x2 + x - 1 =


x->-inf
__________
___________
lim

__________

__________ (\|x + 2x - 3 + \|x2 + x - 1)

\|x2 + 2x - 3 - \|x2 + x - 1

x->-inf

---------------------------- =
__________
2

__________

(\|x + 2x - 3 + \|x2 + x - 1)
x2 + 2x - 3 - (x2 + x - 1)

x - 2

lim

----------------------------- = lim ---------------------- =

x->-inf

__________

__________

__________

\|x + 2x - 3 + \|x2 + x - 1

\|x + 2x - 3 + \|x + x - 1
x
lim

----------- = lim

x->-inf

__

__

__________

------- = lim

x->-inf -x - x

-1

--- = --

x->-inf -2x

\|x + \|x

Raz cbica
3

____

lim \|P(x) -

____
\|Q(x) =
3

____

lim \|P(x) -

____

3
2

____

( \|P(x) +

\|Q(x)

____

_______

\|Q(x) + \|P(x)Q(x) )

-------------------------------- =
3

____

3
2

( \|P(x) +

____

_______

\|Q(x) + \|P(x)Q(x) )

P(x) - Q(x)
lim

-----------------------------3

____

3
2

____

_______

\|P(x) +

\|Q(x) + \|P(x)Q(x)

Ejemplo:
(IND. inf - inf)
3

____________
3

___________ |

lim 2 + \|x - 3x + 1 - \|x3 - 4x + 1 =


x->-inf
x3 - 3x2 + 1 - x3 + 4x - 1
2 + lim

----------------------------------------------------- =

x->-inf 3

__________
3

\|(x -3x +1) +


-3x2
2 + lim

---- = 2 - 1 = 1

_________
3

3 ___________________

\|(x -4x+1) + \|(|x3-3x2+1)(x3-4x+1)

x->-inf 3x2

Indeterminacin 0/0

Si se trata de un cociente de polinomios, aplicar Ruffini como se explic antes.

Aplicar lmites tipo.


Ejemplo:

L(1 + 5x)

5x

lim --------- = lim


x->0

2x

-- = --

x->0 2x

|
IND. 0/0
Lmite tipo: L(1 + f(x)) equiv. f(x)
f(x)->0

Aplicar L'Hpital:

H) limx->a f(x) = limx->a g(x) = 0


Existe limx->af'(x)/g'(x)
T) limx->af(x)/g(x) = limx->af'(x)/g'(x)

Ejemplo:
2x - 2
lim -----x->1

INDETERMINADO 0/0

Lx
2

Veamos lim ---- = 2


x->1 1/x

Indeterminacin 1inf

2x - 2
=>

lim ------ = 2
x->1

Lx

g(x)

lim g(x)(f(x) - 1)

lim f(x)

= e x->a

x->a

Ejemplo:
(IND. 1inf)
|

x + 5

x + 2 |
lim

((x + 5)/(x - 3))

lim (x + 2)(----- - 1)

= e x->+inf

x - 3

x->+inf
8

8x

lim (x + 2)---- =
e x->+inf

x - 3

lim

-- =

e x->+inf x

8
e

Indeterminaciones 00 e inf0
g(x)
lim f(x)

lim

g(x)Lf(x)

= e x->a

x->a

Ejemplo:
(IND 00)

(IND. 0.inf)

2x |

lim 2xLx |

lim x

e x->0+

(por rdenes de infinitos)


Lx

-----

e x->0+ 1/2x

lim

0
e

= 1

x->0+
(IND. inf0)
|
1/x
lim

((1 + x + 2x )/(x - 1))

x->+inf

|
=
(IND. inf/inf)
|

lim
e x->+inf

(1/x)L((1 + x + 2x2)/(x - 1)) |


=

0
e

= 1
|

(por rdenes de infinitos)

Indeterminaciones inf - inf e inf/inf

Aplicar lmites tipo


Ejemplo:
equiv. a 1/x + 1
--^-(2x - 1)(1 + x) - 2x2

1/x
lim

(2x - 1)e

- 2x = lim

x->+inf

x->+inf

x - 1
lim

-----

x->+inf x

-------------------- =

lim

--- = 1

x->+inf

Aplicar rdenes de infinitos. Equivalente al de mayor orden.

orden Lx < orden xn < orden ax < orden xnx (x->+inf)

Ejemplo:
(IND. inf - inf)
|
lim

(Lx) - (x - 1) /x = -inf

x->0+
pues orden (x - 1)2/x > orden (Lx)2
(IND. inf/inf)
x

e
lim

x->+inf

---- = +inf

pues orden ex > orden x

Indeterminacin 0.inf

Pasar la expresin que tiende a 0 al denominador del denominador. Queda una


indeterminacin inf/inf. Resolverla aplicando rdenes de infinitos.
Ejemplo:
(IND. 0.inf)

(IND. inf/inf)

1/(x - 3)

1/(x - 3) |
lim (3 - x)e

= lim

x->3+

--------

-inf

x->3+ 1/(x - 3)
(por rdenes de infinitos)

Aplicar lmites tipo

Lmites tipo
Sustituir una expresin por su lmite o su equivalente, cuando:

es un trmino que multiplica o divide a toda la expresin

es una cantidad subradical aunque aparezcan suma de radicales

es una expresin afectada por una funcin trascendental (e, L, sen, cos, tg,
etc.)
(1 + 1/x)x = e

lim
x->inf

(1 + x)1/x = e

lim
x->0

L(1 + x)
lim -------- = 1
x->0

=>

L(1 + x) equiv x
x->0

Tambin: Lx equiv x - 1
x->1
ex - 1

lim ------- = 1
x->0

ex - 1 equiv x

=>

x->0

ax - 1
lim

(a perteneciente a R+) => ax - 1 equiv xLa

------ = La

x->0

x->0

sen x
lim ----- = 1
x->0

=>

sen x equiv x
x->0

tg x
lim ---- = 1
x->0

=>

tg x equiv x
x->0

1 - cos x

lim ---------- = -x2

x->0

=>

1 - cos x equiv x2/2


x->0

(1 + x)m - 1
lim ------------- = 1
x->0

=>

mx
n

x->0

______
\|1 + x

n
- 1

x->0

_____
\|1 + x

lim ------------- = -n

(1 + x)m - 1 equiv mx

=> lim

_____

=> \|1 + x - 1 equiv x/n

x->0

- 1

------------ = 1
x/n

Lmites de polinomios
Lmite de un polinomio
P(x) = anxn + an-1xn-1 + ... + a1x + a0
1) limx->b P(x) = P(b)
Ejemplo: limx->1 x2 + 2x - 1 = 2
2) limx->inf P(x) = limx->inf anxn
limx->inf P(x) = limx->inf anxn + an-1xn-1 + ... + a1x + a0 =
0

--^--

--^--

--^--

--^--

anx (1 + an-1 + an-2 + ... + a1


lim
x->inf

--anx

---

---

n-1

anx

anx

a0 ) = lim anxn
--n

anx

Ejemplo: limx->+inf x2 - 2x - 1 = limx->+inf x2 = +inf

Lmite del cociente de polinomios

x->inf

A(x) = anxn + an-1xn-1 + ... + a1x + a0


B(x) = bnxn + bn-1xn-1 + ... + b1x + b0

lim

A(x)

---- =

| 1) ----

x-> B(x)

A()

si B() distinto de 0

B()

| 2) inf si B()=0 y A() distinto de 0


| 3) INDETERMINADO de la forma 0/0
|

si B()=0 y A()=0

Ejemplo:
2x2 + x + 1
lim

----------- = -- = 2

x->1 x2 + 2x - 1

x2 + 1
lim

------------ = +inf

x->1

x2 + x - 2
x2 - 1

lim -----------

INDETERMINADO de la forma 0/0

x->1 x + x - 2

Cmo resolver la indeterminacin 0/0


B() = 0 => es raz de B(x) => (por teo. de Descartes) (x - ) | B(x)
( (x - ) divide a B(x) ) => existe B1(x) / B(x) = (x - )B1(x)
A() = 0 => es raz de A(x) => (por teo. de Descartes) (x - ) | A(x) => existe
A1(x) / A(x) = (x - )A1(x)
A(x)

(x - )A1(x)

A1()

=> lim ---- = lim ------------ = -----x-> B(x)

x-> (x - )B1(x)

B1()

Ejemplo
x2 - 1

(x - 1)(x + 1)

lim ----------- = lim -------------- = --

x->1 x2 + x - 2

x->1 (x - 1)(x + 2)

Asntotas
Se llama asntota de una funcin f(x) a una recta t cuya distancia a la curva tiende a
cero, cuando x tiende a infinito o bien x tiende a un punto a.

Definicin
Asntota vertical
La recta x=a es asntota vertical (AV) de f(x) si limx->a+ f(x) = inf o limx->a- f(x) = inf.

Definicin
Asntota horizontal
La recta y=b es asntota horizontal (AH) de f(x) si limx->inf f(x) = b.

Ejemplo

f(x) = x/(x-1)
limx->1+ f(x) = +inf
limx->1- f(x) = -inf
=> x=1 es AV de f(x)
limx->inf f(x) = 1
=> y=1 es AH de f(x)

Definicin
Asntota oblicua
La recta y = mx + n es asntota oblicua (AO) de f(x) si limx->inf f(x) - (mx + n) = 0.

Ejemplo
f(x) = x + 1/x
limx->inf f(x) - x = limx->inf x + 1/x - x = 0
=> y=x es AO de f(x)
Adems,
limx->0+ f(x) = +inf
limx->0- f(x) = -inf
=> x=0 es AV de f(x)

Teorema

y = mx + n es asntota oblicua de f(x) <=>


n = limx->inf f(x) - mx
m = limx->inf f(x)/x
Demostracin:
Directo:
Por hiptesis lim f(x) - (mx + n) = 0
x->inf
=> lim f(x) - mx - n = 0
x->inf
=> lim f(x) - mx = n
x->inf
n
---^--=> lim

f(x)

f(x)

f(x) - mx

---- = lim

---- - m + m = lim

--------- + m = m

x->inf x

x->inf

x->inf

Recproco:
lim f(x) - (mx + n) = lim f(x) - mx - n = 0
x->inf

x->inf

=> por definicin y = mx + n es asntota oblicua de f(x).

You might also like