1. Lmite de una funcin en un punto. Propiedades.

A) LIMITE EN UN PUNTO. A1) Lmite finito: Se dice que la funcin y = f(x) tiene por lmite l cuando x tiende hacia a, y se representa por (Es decir, que si fijamos un entorno de l de radio , podemos encontrar un entorno de a de radio , que depende de , de modo que para cualquier valor de x que est en el entorno E(a, ) exceptuando el propio a, se tiene que su imagen f(a) est en el entorno E(l, ).) A2) Lmite infinito: (A partir de ahora usaremos la notacin matemtica para hacer ms corta la definicin).

B) PROPIEDADES DE LOS LMITES. B1) . B2) B3) indeterminacin con . siempre y cuando no aparezca la . siempre que no aparezca la indeterminacin

B4) .

siempre y cuando no aparezcan las indeterminaciones

B5) que aparecen.

con

, siempre y cuando tengan sentido las potencias

B6)

siempre y cuando tengan sentido las potencias .

que aparecen y no nos encontremos con indeterminaciones de los tipos C) LIMITES LATERALES.

C1) Lmite por la izquierda:

C2) Lmite por la derecha:

TEOREMA: Existe el lmite si y solo si existen los limites laterales (por la derecha y por la izquierda) y ambos coinciden. (Demostracin inmediata). TEOREMA: Si existe el lmite, ste es nico. (Demostracin inmediata). Todo lo dicho anteriormente es tambin vlido si consideramos que el lmite vale en lugar de l.

2. Lmites en el infinito. Asntotas de una curva.

A) LIMITES EN EL INFINITO. A1) Lmite finito.

A2) Lmite infinito.

Todo lo referente a las propiedades de los lmites vistas en la pregunta anterior es vlido si escribimos en lugar de a. Hay casos que parecen indeterminaciones y no lo son realmente. B) ASNTOTAS DE UNA CURVA. B1) Asntotas verticales. Se dice que y = f(x) tiene una asntota vertical en x=a si o alguno (o ambos) de los lmites laterales vale . Es decir, puede haber asntota vertical por la derecha, por la izquierda o por ambos lados. La posicin de la curva respecto a la asntota depender del signo de los lmites laterales. Como ejemplo, determinar la asntota vertical y su posicin con respecto a la grfica de la funcin

B2) Asntotas horizontales. Se dice que y = f(x) tiene una asntota horizontal en y=b si . La asntota puede aparecer cuando La posicin de la grfica de la funcin respecto a la asntota vertical se determina estudiando si el signo de f(x) b es positivo o negativo cuando . Como ejemplo, determinar la asntota horizontal y su posicin con respecto a la grfica de la funcin

B3) Asntotas oblicuas. Dada la funcin y = f(x), si se verifica que

a)

b)

c)

entonces se dice que y = mx + h es una asntota oblicua de dicha funcin para . La asntota puede aparecer cuando Para estudiar la posicin de la grfica de la funcin con respecto a la asntota basta estudiar el signo de f(x)-(mx + h). Como ejemplo, determinar la asntota oblicua y su posicin con respecto a la grfica de la funcin

3. Clculo de lmites.
A) INDETERMINACIN En la mayora de los casos basta con efectuar las operaciones indicadas. Ejemplo.-

En otros casos, sobre todo en aquellos en que aparecen radicales, basta con multiplicar y dividir por la expresin radical conjugada. Ejemplo.-

B) INDETERMINACIN En la mayora de los casos basta con efectuar las operaciones indicadas. Ejemplo.-

C) INDETERMINACIN Cuando solo aparecen funciones racionales, basta con descomponer factorialmente el numerador y el denominador. Ejemplo.-

En aquellos casos en que aparecen funciones irracionales (radicales), basta con multiplicar y dividir por la expresin radical conjugada. Ejemplo.-

D) INDETERMINACIN En la mayora de los casos basta con dividir el numerador y denominador por la mayor potencia de x del denominador. Ejemplos.-

E) INDETERMINACIONES - Para determinar estos lmites tendremos en cuenta que:

de donde resulta que: pudiendo aparecer otras indeterminaciones, que resolveremos por los mtodos anteriores o por mtodos que aprenderemos en temas posteriores. En el caso de la indeterminacin igualdad: podemos aplicar con mayor facilidad la siguiente

Aplicar la igualdad anterior a la resolucin del siguiente lmite:

F) LIMITES DE FUNCIONES TRIGONOMTRICAS. En algunos casos podemos utilizar un lmite muy conocido, que es:

Aplica lo anterior para resolver los siguientes lmites:

(Usa la frmula del sen(x/2))

En los casos anteriores puede ocurrir que aplicando lo dicho anteriormente no podamos resolver la indeterminacin. Estos casos, al igual que en el apartado E), se resolvern en los temas siguientes aplicando la Regla de L'Hpital.

4. Funcin continua en un punto y en un intervalo.

Diremos que la funcin y = f(x) es continua en x = a si: a. Existe f(a), es decir, f(x) est definida en x=a. b. Existe el . . c. Ambos valores coinciden, es decir

Si tenemos en cuenta la definicin de lmite, podemos obtener la siguiente definicin equivalente:

Diremos que y = f(x) es continua en el (a,b) si es continua en cada uno de los puntos del intervalo abierto (a,b). Diremos que y = f(x) es continua por la derecha en x=a si Diremos que y = f(x) es continua por la izquierda en x=a si Diremos que y = f(x) es continua en el [a,b] si: a. y = f(x) es continua en el intervalo abierto (a,b). b. y = f(x) es continua por la derecha en x=a. c. y = f(x) es continua por la izquierda en x=b. . .

TEOREMA: Si y = f(x) es continua en x = a existe el . (La demostracin es inmediata) Sin embargo, el teorema recproco no es cierto en general. Como ejemplo comprobarlo para:

TEOREMA DE CONSERVACIN DEL SIGNO Sea y=f(x) una funcin continua en x=a siendo f(a) distinto de 0 x=a en el que los valores de f(x) tienen el mismo signo que f(a).

existe un entorno de

Demostracin: Supongamos que f(a)>0 (si fuese negativo, se razonara de modo similar). Tomemos . Por la continuidad de y=f(x) en x=a se tiene que:

Es decir:

Por lo tanto: f(x)>0. (Como se quera demostrar) TEOREMA DE ACOTACIN DE LA FUNCIN Si y = f(x) es continua en x = a y = f(x) est acotada en un cierto entorno de x = a. Demostracin: Tomemos

. Por la continuidad de y = f(x) en x = a se tiene que:

de modo que acotada en el entorno

es un intervalo acotado, por lo tanto y=f(x) est de x=a.

5. Operaciones con funciones continuas.

Sean f(x) y g(x) dos funciones continuas en x=a, se tiene entonces que: a. b. c. d. es continua en x=a. es continua en x=a. es continua en x=a si .

es continua en x=a suponiendo que f(a)>0 (para que tenga sentido la potencia).

TEOREMA: Si f(x) es continua en x=a y g(x) es continua en y=f(a) continua en x=a. Demostracin:

es

De lo dicho anteriormente resulta que:

6. Discontinuidades.
Se dice que una funcin y = f(x) es discontinua en x = a si no es continua en dicho valor de x, es decir, no cumple alguna de las tres condiciones de continuidad. TIPOS DE DISCONTINUIDADES A) Evitable: Cuando existe el pero no coincide con el valor de f(a) por una de estas dos razones, son distintos los valores o no existe f(a). B) De salto: Cuando existe el lmite por la derecha y por la izquierda (siendo ambos finitos) pero no coinciden. C) Asinttica: Cuando alguno de los lmites laterales (o ambos) no es finito. Puede ser asinttica por la derecha, por la izquierda o por ambos lados. D) Esencial: Cuando no existe alguno de los lmites laterales (o ambos). Puede serlo por la derecha, por la izquierda o por ambos lados. Si y = f(x) tiene una discontinuidad evitable en x = a, llamaremos verdadero valor de la funcin en x=a al . Dicho valor es el que convierte a la funcin en continua.

Si y = f(x) tiene una discontinuidad de salto en x=a, llamaremos salto de la funcin en x=a al valor .

Estudiar, como aplicacin de lo anterior, la continuidad y discontinuidades de las funciones elementales vistas en el captulo anterior y de las funciones definidas a trozos.

7. El Teorema del valor intermedio de Bolzano y el Teorema de existencia de extremos absolutos de Weierstrass.
TEOREMA DE BOLZANO Si y = f(x) es una funcin continua en el [a,b] siendo distintos los signos de dicha

funcin en los extremos del intervalo, es decir, que f(c)=0.

tal

Demostracin: Supongamos que f(a)<0 y f(b)>0 (Se razona de forma anloga si ocurre lo contrario). Si el teorema est demostrado. En caso contrario, la funcin tomar en dicho punto un valor del mismo signo que f(a) o que f(b). Sea Si el nuevo intervalo donde hay cambio de signo. el teorema est demostrado. En caso contrario, repetimos el proceso

anterior, obtenindose una sucesin de intervalos encajados tales que cada uno es la mitad del anterior y la funcin toma valores opuestos en los extremos de cada intervalo. Dicha sucesin define un nmero real Demostremos que f(c)=0. .

Supongamos que por el TEOREMA DE CONSERVACIN DEL SIGNO, existir un entorno de c donde se mantendr el mismo signo que en c. Sin embargo, por la construccin anterior, dicho entorno contendr uno al menos de los , donde la funcin tomaba valores opuestos. Llegamos pues a una contradiccin f(c)=0. Consecuencia: Si y = f(x) es continua en a,b y k es un valor comprendido entre los valores de f(a) y f(b) (o al revs) Bolzano a g(x)=f(x)-k.) (Basta aplicar el Teorema de

TEOREMA DE WEIERSTRASS: Si y = f(x) es continua en [a,b] mximo y el mnimo absoluto en dicho intervalo [a,b]. Demostracin: A) Veamos, en primer lugar, que f(x) est acotada en [a,b]. Supongamos que no lo est. Consideremos el punto medio y

f(x) alcanza el

y los subintervalos .

f(x) no est acotada en uno de ellos, al menos, que llamaremos

Dividamos en dos mitades y llamemos a aquella parte de las dos (al menos) en la que f(x) no est acotada. Repitamos el proceso indefinidamente, obteniendo una sucesin de intervalos encajados, cada uno la mitad del anterior, donde f(x) no est acotada. Sea c el nmero real que define esta sucesin. Como f es continua en [a,b] f es continua en c por el TEOREMA DE ACOTACIN DE LA FUNCIN, existir un entorno de c en el que la funcin est acotada. Pero en dicho entorno y por construccin estarn incluidos a partir de uno todos los , donde la funcin no estaba acotada. Llegamos a una contradiccin, luego f(x) est acotada en [a,b]. B) Veamos, a continuacin, que f(x) alcanza el mximo en [a,b]. (Anlogamente se demuestra que alcanza el mnimo).

Si f(x) est acotada en [a,b] siendo m el nfimo o extremo inferior y M el supremo o extremo superior. Si en algn punto de [a,b] resulta que f(x)=M, el teorema estar demostrado.

g(x) est acotada en [a,b] M no es el extremo superior de f, en contra de lo supuesto. Luego necesariamente ha de existir un f(x) alcanza un mximo absoluto en [a,b]. f(x) toma en Consecuencia (Teorema de Darboux): Si y=f(x) es continua en [a,b] dicho intervalo todos los valores comprendidos entre el mximo y el mnimo. ( Su demostracin es inmediata a partir de la consecuencia del teorema de Bolzano y del teorema de Weierstrass.

Lmite finito

Definicin
Intervalo cerrado

Un segmento en el eje numrico con extremos a y b, con a < b, se denomina intervalo. Si los puntos extremos, a y b, estn incluidos en el intervalo, se dice que el intervalo es cerrado, y se denota por [a,b]. [a,b] = { x perteneciente a R / a <= x <= b }
El intervalo cerrado [a,b] consiste de los puntos x para los cuales a <= x <= b.

Definicin
Intervalo abierto

Si los puntos extremos se excluyen, el intervalo se llama abierto, y se denota por (a,b). (a,b) = { x perteneciente a R / a < x < b }
El intervalo abierto (a,b) consiste de aquellos puntos x para los cuales a < x < b.

Definicin
Entorno del punto a de radio

Es el intervalo abierto (a - ,a + ), esto es, consiste de los valores x para los cuales a <x<a+ . Ea, = { x perteneciente a R / |x - a| < }
Son los puntos x cuya distancia al punto a es menor que .

Definicin
Entorno reducido de a de radio

No incluye al punto a. E*a, = { x perteneciente a R / 0 < |x - a| < }

Son los puntos x cuya distancia al punto a es menor que pero mayor que 0, es decir, no se incluye a a.

El concepto de Lmite
Consideremos la funcin f(x)=x2. Observemos los valores de f(x) para x cercanos a 3.
x 2,8 2,9 f(x) 7,84 8,41

Cuando x se aproxima a 3, los valores de f(x) se acercan a 9. Se dice que f(x) tiende a 9 cuando x tiende a 3.

2,95 8,7025 2,99 8,9401 2,999 8,994001 3,001 9,006001 3,01 9,0601 3,05 9,3025 3,1 3,2 9,61 10,24

En general, una funcin f(x) tiende a un lmite b cuando x tiende a a, si f(x) difiere arbitrariamente poco de b para todo x situado suficientemente cerca de a. En smbolos, limx->af(x)=b. Enseguida se expresa ms precisamente la definicin de lmite.

Definicin
Lmite finito de una funcin

limx->a f(x)=b <=> para todo >0 existe >0 / para todo x, 0 < |x-a| < |f(x) - b| < . Otra notacin: limx->a f(x)=b <=> para todo Eb, existe un E*a, / para todo x perteneciente al E*a, f(x) pertenece a Eb, . Se dice que la funcin f(x) tiene lmite b, cuando x tiende a a, si dado positivo arbitrario y tan pequeo como se quiera, existe un tal que para todo x perteneciente al entorno reducido de a de radio , la funcin pertenece al entorno de b de radio .

Dicho de otro modo, para cualquier nmero positivo , por pequeo que sea, podemos encontrar un tal que para todos los x dentro del entorno reducido de a de radio se cumple que f(x) est dentro del entorno de b de radio .

limx->af(x)=b significa que por ms pequeo que sea el entorno considerado alrededor de b, va a ser posible encontrar un entorno de a, para cuyos valores x (x a), la funcin f da como resultado valores que estn dentro del entorno de b considerado. En otras palabras, la funcin f(x) tiene lmite b, cuando x tiende a a, si el valor de la funcin f(x) se hace arbitrariamente prximo al valor b cuando x se aproxima al valor a. Notar que la definicin dice entorno reducido de a. Es decir que f(a) puede no existir, o puede estar fuera del entorno de b, pero el lmite de f cuando x tiende a a sigue siendo b.

f(a) b, pero limx->af(x)=b

Teoremas sobre lmites

Teorema
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
y y

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

Lmite infinito
Observemos la funcin f(x)=1/x2 para valores de x positivos muy grandes.
x 100 1.000 10.000 f(x) 1,0x10-4 1,0x10-6 1,0x10-8

Si tomamos x cada vez mayor, f(x) est cada vez ms cerca de 0. Si x es suficientemente grande podemos conseguir que f(x) se acerque a 0 tanto como queramos. Decimos que f(x) tiende a 0 cuando x tiende a infinito.

100.000 1,0x10-10 1.000.000 1,0x10-12

Veamos a continuacin las definiciones precisas de cada uno de los lmites que involucran al infinito.

Definicin
Lmite infinito Caso 1:

limx->af(x) = +inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) > A. El lmite de f(x) cuando x->a es infinito positivo, si para cualquier nmero positivo A (tan grande como se quiera), podemos encontrar un nmero tal que, para todos los x dentro del entorno reducido de a de radio se cumple que f(x) es mayor que A. En otras palabras, si para cualquier nmero positivo A que consideremos, existe un entorno reducido de a donde la funcin vale ms que A, quiere decir que f(x) puede hacerse mayor que cualquier nmero, con tal de que x se acerque lo suficiente a a. Por eso se dice que el lmite de f(x) cuando x tiende a a es +inf.

Caso 2:

limx->af(x) = -inf <=> para todo A > 0 existe > 0 / para todo x perteneciente al E*a, f(x) < -A.

Caso 3:

limx->+inff(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) > A.

Para cualquier nmero positivo A (por grande que sea), es posible encontrar un nmero positivo B tal que para todos los x mayores que B, f(x) es mayor que A. Es decir que f(x) puede ser mayor que cualquier nmero, si x es lo suficientemente grande.
Caso 4

limx->+inf f(x) = -inf <=> para todo A > 0 existe B > 0 / para todo x > B f(x) < -A.

Caso 5:

limx->-inf f(x) = +inf <=> para todo A > 0 existe B > 0 / para todo x < -B f(x) > A.

Caso 6:

limx->-inf f(x) = -inf <=> para todo A < 0 existe B < 0 / para todo x < -B f(x) < -A.

Caso 7:

limx->+inff(x) = b <=> para todo > 0 existe B > 0 / para todo x > B f(x) pertenece al E b, .

Caso 8:

limx->-inf f(x) = b <=> para todo > 0 existe B > 0 / para todo x < -B f(x) pertenece al Eb, .

Operaciones con lmites

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| < '. Sea = min { 1, 2} Para todo x perteneciente al E*a, se cumple:
y y

|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 lmite) 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
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 b - < 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, 2 g(x) > A. Sea = min { 1, 2} Para todo x perteneciente al E*a, se cumple:
y y

f(x) > b g(x) > A

=> f(x) + g(x) > A + b - = K => (por def. de lmite 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
Demostracin:

Anloga a la anterior.

Teorema
H) limx->af(x) = +inf, limx->ag(x) = +inf T) limx->af(x) + g(x) = +inf
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 Sea = min { 1, 2} Para todo x perteneciente al E*a, f(x) + g(x) > A => (por def. de lmite infinito) limx->af(x) + g(x) = +inf.

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

Anloga 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
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|c| 2 = --2k => |c||f(x) - b| < --2 --(1)

|f(x) - b| < --2|c| |g(x) - c| < ---

=>

k|g(x) - c| <

(2)

2k |f(x)| < k => (de 2) |f(x)||g(x)

2 - c| < --2 (3)

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 lmite) 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
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, 2 g(x) > A. Sea = min { 1, 2} Para todo x perteneciente al E*a,
y y

f(x) > k g(x) > A

=> f(x)g(x) > kA > B Basta elegir A > B/k. Los dems casos se demuestran en forma anloga. Si b = 0 el limx->af(x)g(x) no puede determinarse. Se dice que es una INDETERMINACIN de la forma 0.inf.

Teorema
Lmite del cociente

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

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| < .
|f(x)/g(x) - b/c| = |f(x)c - g(x)b| |f(x)c - g(x)b - bc + bc| --------------- = ------------------------- = |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 acotacin. Sea 1 = k/2 y 2 = k|c|/2|b| Para todo x perteneciente al E*a,
|f(x) - b| < k --2 =>
1

|c||f(x) - b| <

k|c| ---2

(2)

Para todo x perteneciente al E*a,

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

|b||g(x) - c| <

k|c| ---2

(3)

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 lmite 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) = 0T) 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.

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 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)
Demostracin:

Sea h(x) = f(x) - 1 lim h(x) = 0 por lmite 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) g(x)->inf, f(x) ->1

1) por lmite tipo 2 y lmite exponencial.

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... para todo x perteneciente al E*b, g(x) pertenece al Ec, (1)

Por hiptesis limx->af(x) = b => por def. de lmite si tomamos el nmero >0 tal que... para todo x perteneciente al E*a, f(x) pertenece al Eb, (2)

de (1), existe

De (1) y (2) se deduce que: Dado >0 existe >0 / para todo x perteneciente al E*a, g[f(x)] pertenece al Ec, .

Lmites de polinomios

Lmite de un polinomio
P(x) = a nxn + an-1 xn-1 + ... + a1x + a0 1) limx->b P(x) = P(b) Ejemplo: limx->1 x2 + 2x - 1 = 2 2) limx->inf P(x) = limx->inf anxn
limx->inf P(x) = lim x->inf an xn + an-1 xn-1 + ... + a 1 x + a 0 = 0 0 0 0 --^-- --^---^-- --^-an xn (1 + a n-1 + an-2 + ... + a 1 + a 0 ) = lim a n xn lim --------x->inf x->inf a nx a n x2 an xn-1 an xn

Ejemplo: limx->+inf x2 - 2x - 1 = limx->+inf x2 = +inf

Lmite del cociente de polinomios

A(x) = anxn + an-1 xn-1 + ... + a1x + a0 B(x) = bnxn + bn-1 xn-1 + ... + b 1x + b0
lim x-> A(x) ---- = B(x) | A( ) | 1) ---- si B( ) distinto de 0 | B( ) | 2) inf si B( )=0 y A( ) distinto de 0 | 3) INDETERMINADO de la forma 0/0 | si B( )=0 y A( )=0

Ejemplo:
2x2 + x + 1 4 lim ----------- = -- = 2 x->1 x2 + 2x - 1 2 x2 + 1 lim ----------- - = +inf x->1 x 2 + x - 2 x2 - 1 lim ----------x->1 x2 + x - 2

INDETERMINADO de la forma 0/0

Cmo resolver la indeterminacin 0/0

B( ) = 0 => es raz de B(x) => (por teo. de Descartes) (x - ) | B(x) ( (x - ) divide a B(x) ) => existe B1 (x) / B(x) = (x - )B1 (x) A( ) = 0 => es raz de A(x) => (por teo. de Descartes) (x - ) | A(x) => existe A1 (x) / A(x) = (x - )A1 (x)
A(x) (x - )A1 (x) A 1( ) => lim ---- = lim ------------ = -----x-> B(x) x-> (x - )B1 (x) B 1( )

Ejemplo
x2 - 1 (x - 1)(x + 1) 2 lim ----------- = lim -------------- = -x->1 x2 + x - 2 x->1 (x - 1)(x + 2) 3