Está en la página 1de 6

Teoremas sobre lmites

El lmite de una funcin es un concepto fundamental del anlisis matemtico, un caso de lmite aplicado a las funciones. Informalmente, el hecho que una funcin f tiene un lmite L en el punto c, significa que el valor de f puede ser tan cercano a L como se desee, tomando puntos suficientemente cercanos a c, independientemente de lo que ocurra en c.

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

También podría gustarte