La repetición es la madre de la habilidad.
Mr. Shoaff.

 

Operaciones con límites

Teorema

Límite de la suma

El límite de una suma es igual a la suma de los límites de cada término, siempre que estos límites sean finitos.

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

Demostración:

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 límite) para todo ε' > 0 existe δ1 > 0 / para todo x perteneciente al E*a,δ1 |f(x) - b| < ε'.

limx->ag(x)=c => (por def. de límite) 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 límite) 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

Demostración:

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

limx->ag(x)= +inf => (por def. de límite 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 límite 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

Demostración:

Análoga a la anterior.

Teorema

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

Demostración:

Sea A > 0.
Consideremos A/2.

Por def. de límite infinito, existe δ1 > 0 / para todo x perteneciente al E*a,δ1 f(x) > A/2

Por def. de límite 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 límite infinito) limx->af(x) + g(x) = +inf.

Teorema

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

Demostración:

Análoga 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

Límite del producto

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

Demostración:

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 límite) 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 límite) 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 acotación) 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}

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 límite) 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

Demostración 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 acotación) existe δ1 > 0 y k > 0 / para todo x perteneciente al E*a,δ1 f(x) > k.

limx->ag(x) = +inf => (por def. de límite 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 demás casos se demuestran en forma análoga.

Si b = 0 el limx->af(x)g(x) no puede determinarse. Se dice que es una INDETERMINACIóN de la forma 0.inf.

Teorema

Límite del cociente

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

Demostración:

limx->af(x) = b => (por def. de límite) 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 límite) 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)c - g(x)b - bc + bc|
|f(x)/g(x) - b/c| =  --------------- = ------------------------- =
                         |g(x)c|               |g(x)c|

|c(f(x) - b) + b(c - g(x))|    |c||f(x) - b| + |b||c - g(x)|
--------------------------- <= ----------------------------- <
        |g(x)c|             (*)             |g(x)c|         (**)

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

(*) Desigualdad triangular: |a + b| <= |a| + |b|.

(**) pues |g(x)|>k por teo. de la acotación.

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)
             ---  =>                  ----
              2                         2  

Para todo x perteneciente al E*a,δ2

|g(x) - c| < εk|c|     |b||g(x) - c| < εk|c|      (3)
             -----  =>                 ----
             2|b|                       2

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)|   εk|c|
=> |f(x)/g(x) - b/c| <   ----------------------------- < ----- = ε
                   por 1)            k|c|                 k|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)

El límite 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) = 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)

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.

Límite exponencial

Caso 1:
H) limx->af(x) = b, limx->ag(x) = c (c≠0)
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)

Demostración:

Sea h(x) = f(x) - 1

lim h(x) = 0 por límite 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 límite tipo 2 y límite exponencial.

Función compuesta

Si f es una función tal que f:A->B y g es una función tal que g:C->D, y B es subconjunto de C (el dominio de g contiene al rango de f), podemos definir una nueva función 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, obteniéndose g[f(x)]. Definimos h como la función que mapea x en g[f(x)]. Se dice que h es la composición de g y f: h(x) = (g o f)(x) = g(f(x))

Composición de funciones

Teorema

Límite de la función compuesta

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

Demostración:

Queremos demostrar que limx->a g[f(x)]=c, o sea, por definición de límite, queremos probar que, dado ε>0 existe δ>0 tal que para todo x perteneciente al E*a,δ g[f(x)] perteneciente al Ec,ε.

Por hipótesis limx->bg(x)=c => por def. de límite, dado ε>0 existe δ>0 tal que...

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

Por hipótesis limx->af(x) = b => por def. de límite si tomamos el número δ 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,ε.

<< anterior  siguiente >>

Página principal

Tabla de Contenidos

Noticias matemáticas


 
Cálculo > Límites
Límite finitoTeoremasLímite infinitoOperaciones con límitesLímites de polinomiosLímites tipoInfinitésimosInfinitosCálculo de límitesEjercicios


Última modificación: noviembre 2004
Página principal     Tabla de contenidos     E-mail