TEOREMAS DE LMITES Teorema de lmite1: Si k es una constante y a un nmero cualquiera, entonces Teorema de lmite2: Para cualquier nmero dado

a, Teorema de lmite3: Si m y b son dos constantes cualesquiera, entonces Teorema de lmite4:

Teorema de lmite5:

Teorema de lmite6: Si f es un polinomio y a es un nmero real, entonces Teorema de lmite7: Si q es una funcin racional y a pertenece al dominio de q, entonces Teorema de lmite8:

PROCEDIMIENTO PARA CALCULAR LMITES Si es posible aplicar directamente las propiedades anteriores, el lmite se calcula directamente. Con respecto a las propiedades, como la propiedad 6 se aplica a cualquier polinomio y las propiedades 1, 2, 3, y 4 implican funciones polinmicas es indistinto que nos refiramos a cada una de las propiedades 1 a 4 en particular que a la propiedad 6 cuando calculamos el lmite de una funcin polinmica. Lo mismo, la propiedad 7 se aplica a una funcin racional y la propiedad 4 (III) tambin. Cuando al sustituir la a por x en la funcin nos da la forma indetermidada 0/0 es posible calcular el lmite pero, previamente, hay que

transformar la frmula de la funcin de tal modo que se pueda evitar la divisin por cero: para lograr esto disponemos de procedimientos algebraicos eficaces como la factorizacin, la conjugada, etc. Ejercicios resueltos Evalu los siguientes lmites indicando la propiedad o propiedades que se aplican en cada paso:

Soluciones 1. Solucin

2. Solucin:

3. Solucin:

4. Solucin:

5. Solucin:

6. Solucin: No es posible aplicar directamente el TL7, pues se obtendra la forma indeterminada 0/0; no obstante, luego de factorizar y simplificar la expresin, se obtiene fcilmente el lmite aplicando el TL1:

7. Solucin: No es posible aplicar directamente el TL7, pues se obtendra la forma indeterminada 0/0; no obstante, luego de factorizar y simplificar la expresin se obtiene fcilmente el lmite aplicando el TL7 o el TL4(III):

8. Solucin: Si pretendiramos aplicar el lmite directamente a partir del TL7, nos dara la forma indeterminada 0/0; por lo que, se debe factoriazar y luego simplificar la expresin antes de poder hacer uso del TL6:

9. Solucin: No se puede aplicar el lmite directamente, dara la forma indeterminada 0/0; no obstante, luego de multiplicar tanto el numerador como el denominador por la conjugada de la expresin en el numerador y luego reduciendo y simplificando, se puede aplicar el TL para hallar el lmite:

10. Solucin: Luego de la transformacin de la expresin se aplican los TL7 y TL8:

11. Solucin: El lmite no se puede aplicar directamente, resultara la forma indeterminada 0/0; no obstante, una vez factorizando y simplificando, la expresin queda expedita para hallar el lmite mediante los TL7 y TL6:

12. Solucin:

TEOREMAS SOBRE LMITES

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