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)
--^-h
cota inferior

<

b +
--^-k
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.