You are on page 1of 14

Propiedades de los lmites

Lmite de una constante

Lmite de una suma

Lmite de un producto

Lmite de un cociente

Lmite de una potencia

Lmite de una funcin

g puede ser una raz, un log, sen ,cos, tg, etc.

Lmite de una raz

Lmite de un logaritmo

Teoremas fundamentales sobre lmites


En los apartados anteriores hemos determinado el lmite de una funcin en un
punto, utilizando para ello la representacin grfica de la funcin. Sin embargo,
se hace necesario poseer otros criterios que permitan agilizar el proceso. Con este
fin es que estudiaremos algunos teoremas bsicos para determinar el lmite de
una funcin en un punto.

Teorema 1 (sobre la unicidad del lmite)

Sea una funcin definida en un intervalo tal que .


Si y entonces .

O sea, el valor del lmite de una funcin en un punto es nico.

Teorema 2

Si son nmeros reales entonces

Ejemplos:

1.
2.
Ejercicio:
Determine cada uno de los siguientes lmites:

1.

2.
Como consecuencia del teorema anterior se tiene que:

con
a.
, en

b. con en

Ejemplos:
1.

2.
3.
4.
Teorema 3

Si y es un nmero real entonces se cumple que

Ejemplos:

1.

2.
Ejercicio:
Determine cada uno de los lmites siguientes:

1.

2.
Teorema 4
Si entonces
.

Ejemplos:

1.

2.
Ejercicio:
Determine los lmites indicados.
1.
2.
Teorema 5

Si y son dos funciones para las que y


entonces se cumple que:

Este teorema lo que nos dice es que el lmite de la suma de dos funciones, es
igual a la suma de los lmites de cada una de las funciones.
Ejemplos:

1.
2.
Ejercicio:
Determine los lmites siguientes:

1.
2.
El teorema anterior puede extenderse a un nmero cualquiera finito de
funciones.

Teorema 6

Si y son dos funciones para las que y


entonces se cumple que

Es decir, el lmite del producto de dos funciones es igual al producto de los


lmites de cada una da las funciones. Ejemplos:

1.
2.
3.
Ejercicio:
Determine el valor de cada uno de los lmites siguientes:

1.
2.
El teorema anterior puede extenderse a un nmero cualquiera finito de funciones

Corolario

Si entonces

Observe que (n factores) por lo que aplicando el teorema anterior se


tiene que:

(n factores)

Ejemplos:

1.
2.

En particular, el lmite de la ensima potencia de es igual a la ensima

potencia del lmite de . Es decir


Ejemplos:

1.

2.
Teorema 7

Si y son dos funciones para las cuales y


entonces se tiene que:

siempre que

Teorema 8

siempre que

Ejemplos de los teoremas 7 y 8

1.

2.

3. (se aplicaron los teoremas 2 y 4)

4. (por teorema 7)

(por teorema 5)

(Por teorema 3 y corolario del teorema 6)

5.
Observe que en este ejemplo se han aplicado directamente los teoremas
estudiados, sin hacer el desglose paso por paso como en el ejemplo anterior.

Ejercicio:
Determine el valor de cada uno de los siguientes lmites:
1.

2.

Teorema 9

Si si:
(1) es cualquier nmero positivo.
(2) es impar.

Ejemplos:

1.
2.
3.
4.
Teorema 10

Si , entonces . Si e cumple alguna de las condiciones siguiente:


(1) es cualquier entero positivo ( ).
(2) es un entero impar positivo.

Ejemplos:

1.
2.
3.
Ejercicio:
Determine el valor de cada uno de los siguientes lmites:

1.
2.

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,2b - < f(x) < b + .

limx->ag(x)=b => (por def. de lmite) para todo > 0 existe 3 > 0 / para todo x
perteneciente al E*a,3b - < 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 +


--^-- --^--
h k
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.

Indeterminaciones

Una indeterminacin no significa que el lmite no exista o no se pueda determinar,


sino que la aplicacin de las propiedades de los lmites tal como las hemos
enunciadas no son vlidas.
En estos casos hay que efectuar operaciones particulares para resolver cada una de
las indeterminaciones.

Tipos de indeterminacin

1. Infinito partido por infinito

2. Infinito menos infinito

3. Cero partido por cero

4. Cero por infinito

5. Cero elevado a cero

6. Infinito elevado a cero

7. Uno elevado a infinito