Lmite de una funcin

El lmite de una funcin es un concepto fundamental del clculo diferencial matemtico. Informalmente, el hecho que una funcin f tiene un lmite L en el punto p, significa que el valor de f puede ser tan cercano a L como se desee, tomando puntos suficientemente cercanos a p, pero distintos de p.

Historia
Aunque implcita en el desarrollo del Calculo de los siglos XVII y XVIII, la notacin moderna del lmite de una funcin se remonta a Bolzano quien, en 1817, introdujo las bases de la tcnica psilon-delta.1 Sin embargo, su trabajo no fue conocido mientras l estuvo vivo. Cauchy expuso lmites en su Cours d'analyse (1821) y parece haber expresado la esencia de la idea, pero no en una manera sistemtica.2 La primera presentacin rigurosa de la tcnica hecha pblica fue dada por Weierstrass en los 1850 y 18603 y desde entonces se ha convertido en el mtodo estndar para trabajar con lmites. La notacin de escritura usando la abreviatura lim con la flecha debajo es debido a Hardy en su libro A Course of Pure Mathematics en 1908.2

Definicin formal
Funciones en espacios mtricos

Visualizacin de los parmetros utilizados en la definicin de lmite.

El lmite de la funcin f(x) cuando x se aproxima a p ser L si y solo s para todo > 0 existe un > 0 tal que para todo nmero real x en 0 < |x - p| < , tenemos que |f(x) - L| < El siguiente concepto de lmite es el de la definicin formal, la cual no es muy aprensible para el comn de la gente. Dicha formulacin matemtica es ms conocida como epsilon delta. Por ello es importante entender el concepto de lmite como aquella herramienta matemtica que sirve para conocer el comportamiento de una funcin alrededor de un punto, y que no dice nada de tal comportamiento precisamente en dicho punto. Supngase f : (M, dM) -> (N, dN) es mapeado entre dos espacios mtricos, p es un punto lmite de M y LN. Decimos que "el lmite de f en p es L" y escribimos

si y slo si para todo > 0 existe un > 0 tal que para toda xM en 0 < dM(x, p) < , tenemos dN(f(x), L) < . En trminos de desigualdades, tenemos que el lmite de la funcin f ( x ) en x = a es L si se cumple lo siguiente: para toda > 0 existe un () > 0 tal que, para toda x: si , entonces

Observemos que la solucin de la desigualdad 0 < | x - a | < es la siguiente: x pertenece a la vecindad ( a - , a ) U ( a, a + ): x no toca el valor de a, pues 0 < | x - a | implica x distinto de a, mientras que la solucin de | f (x) - L | < es la siguiente: y pertenece al intervalo ( L - , L + ). Esto proporciona la clave de la comprensin del concepto de lmite, pues mientras que el valor de la x est en la vecindad horizontal alrededor del punto "a" y agujereada en "a" con radio delta y centro "a", aun cuando en ese punto "a" no est definida, el valor de y est en el intervalo vertical con centro en f(a) y radio psilon.

Notacin de lmite
Lmite de una funcin en un punto

Sea f una funcin real, entonces ( si y slo si para todo funcin existe un > 0 tal que para todo nmero real x en el dominio de la )

Notacin formal:

Indeterminaciones
Hay varios tipos de indeterminaciones, entre ellos:

* Nota: 0).

se refiere al lmite que tiende infinito y al lmite cuando tiende 0 (no al nmero

Ejemplo: 0/0 es una indeterminacin pues lmites de cocientes donde los lmites de dividendo y divisor separadamente son cero, pueden terminar dando cualquier cosa, como los siguientes:

Propiedades de los lmites

Si k es un escalar: 1.

2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. f(x) acotada y g(x) infinitsimo