Lmite de una funcin: 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. Funciones de variable real: Si la funcin decir de manera informal que la funcin puede hacer que tiene lmite en podemos

tiende hacia el lmite

cerca de si se est

est tan cerca como queramos de siendo distinto de

haciendo que

suficientemente cerca de

. Los conceptos cerca y

suficientemente cerca son matemticamente poco precisos. Por esta razn, se da una definicin formal de lmite que precisa estos conceptos. Entonces se dice: El lmite de una funcin f(x), cuando x tiende a c es L si y slo si para todo existe un tal que para todo nmero real x en el dominio de la funcin . Esto, escrito en notacin formal:

Lo importante es comprender que el formalismo no lo hacen los smbolos matemticos, sino, la precisin con la que queda definido el concepto de lmite. Esta notacin es tremendamente poderosa, pues, nos dice que si el lmite existe, entonces se puede estar tan cerca de l como se desee. Si no se logra estar lo suficientemente cerca, entonces la eleccin del no era adecuada. La definicin asegura que si el lmite existe, entonces es posible encontrar tal . No obstante, hay casos como por ejemplo la funcin de Dirichlet definida como:

donde no existe un nmero c para el cual exista

. Por lo tanto, para

demostrar la anterior afirmacin es necesario hacer uso del hecho de que cada intervalo contiene tanto nmeros racionales como irracionales.

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.

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 lim x->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) < b + --^-h cota inferior --^-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.