Infinitésimos
Una sucesión an es un infinitésimo si es una sucesión convergente que tiene por límite cero.
lim an = 0
Propiedades de los infinitésimos
1. La suma de dos infinitésimos es un infinitésimo.
2. El producto de un infinitésimo por una sucesión acotada es un infinitésimo.
3. El producto de infinitésimos es un infinitésimo.
4. El producto de una constante por un infinitésimo es un infinitésimo.
5.Si una sucesión an converge a L, la sucesión (an − L) es un infinitésimo.
6. Si una sucesión an es divergente, su inversa es un infinitésimo.
Teoremas sobre límites
Teorema
Unicidad del límite de una función
Si una función tiene límite es único.
H) Existe limx->af(x)=b
T) b es único
H) Existe limx->af(x)=b
T) b es único
La demostración se hace por reducción al absurdo.
Suponemos que f(x) tiene dos límites distintos b y c, cuando x tiende a a.
Suponemos que b > c.
Suponemos que f(x) tiene dos límites distintos b y c, cuando x tiende a a.
Suponemos que b > c.
limx->af(x)=b => (por def. de límite) 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 límite) 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 suponerb ≠ c.
Por lo tanto b = c.
Absurdo de suponer
Por lo tanto b = c.
Definición
Límites laterales
Límite 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| < ε.
Límite 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| < ε .
limx->a+f(x)=b <=> para todo
Límite de f(x) en el punto a por la izquierda :
limx->a-f(x)=b <=> para todo
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).
x->a- indica que x tiende a a por la izquierda, es decir que x pertenece al entorno
A veces las funciones son discontinuas o no están definidas en un punto a, pero son continuas a uno y otro lado. En estos casos, el límite por la izquierda puede ser distinto del límite 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 |




