Professional Documents
Culture Documents
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:
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:
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
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
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.
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.