Beruflich Dokumente
Kultur Dokumente
Teorema
Unicidad del lmite de una funcin
H) Existe limx->af(x)=b
T) b es nico
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 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,.
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}
Teorema
Conservacin del signo
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 + .
As, basta considerar un menor que b, para tener un entorno de a donde f(x) es
mayor que 0.
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 + .
Para todo x perteneciente al E*a, b - < f(x) <= h(x) <= g(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,
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| < '.
|(f(x) + g(x)) - (b+c)| = |(f(x) - b) + (g(x) - c)| <= (*) |f(x) - b| + |g(x) - c| <
(*) Desigualdad triangular: |a + b| <= |a| + |b|
Ejemplo:
limx->2 x2 = 4
limx->2 x = 2
limx->2 x2 + x = 6
Teorema
Demostracin:
limx->af(x)=b => (por def. de lmite) para todo Eb, existe un E*a,1 / para todo x
perteneciente al E*a,1b - < 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,2g(x) > A.
f(x) > b -
g(x) > A
=> f(x) + g(x) > A + b - = K
Teorema
Demostracin:
Anloga a la anterior.
Teorema
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
Teorema
Demostracin:
Anloga a la anterior.
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| < --- (1)
2|c| 2
|g(x) - c| < --- => k|g(x) - c| < --- (2)
2k 2
|f(x)| < k => (de 2) |f(x)||g(x) - c| < --- (3)
2
Sea = min {1,2}
|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| <
Ejemplo
limx->2 x = 2
limx->2 ex = e2
limx->2 xex = 2e2
Teorema
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,2g(x) > A.
f(x) > k
g(x) > A
=> f(x)g(x) > kA > B
Basta elegir A > B/k.
Teorema
Lmite del cociente
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| < .
Ejemplo
ex 1
lim ----- = --
x->0 x + 2 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)
Caso 2:
H) limx->af(x) = b > 0, limx->ag(x) = 0-
T) 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)
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
Teorema
Demostracin:
f(x) = 1 + h(x)
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...
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)
Teorema
Sustitucin de infinitos equivalentes
Demostracin:
pues lim (x)/(x) = 1
| x->a
(x).(x).f(x) |
lim (x).f(x) = lim --------------- = lim (x).f(x) = b
x->a x->a (x) x->a
Ejemplo
(ex + x2) equiv ex por comparacin de
| infinitos fundamentales
1 | 1 1
lim (ex + x2).--- = lim ex.--- = lim --- = 0
x->+inf e2x x->+inf e2x x->+inf ex