Lmite es un concepto que describe la tendencia de una sucesin o una funcin, a medida que los parmetros de esa sucesin

o funcin se acercan a determinado valor. En clculo (especialmente en anlisis real y matemtico) este concepto se utiliza para definir los conceptos fundamentales de convergencia, continuidad, derivacin, integracin, entre otros.

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.

Definicin formal
Funciones de variable real

Visualizacin de los parmetros utilizados en la definicin de lmite. Si la funcin tiene lmite en podemos decir de manera informal que la funcin tiende

hacia el lmite cerca de si se puede hacer que haciendo que est suficientemente cerca de siendo

est tan cerca como queramos de distinto 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. Lmites laterales

El lmite cuando: x x0+ x x0-. Por lo tanto, el lmite cuando x x0 no existe. De manera similar, x puede aproximarse a c tomando valores ms grandes que ste (derecha):

o tomando valores ms pequeos (izquierda), en cuyo caso los lmites pueden ser escritos como:

Si los dos lmites anteriores son iguales:

entonces L se pueden referir como el lmite de f(x) en c. Dicho de otro modo, si estos no son iguales a L entonces el lmite, como tal, no existe.

Funciones en espacios mtricos

Existe otra manera de definir el lmite que tiene que ver con el concepto de bolas y entornos: Supngase f : (M, dM) (N, dN) es mapeado entre dos espacios mtricos, c es un punto lmite de M y LN. Se dice que "el lmite de f en c es L" y se escribe:

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

De la desigualdad 0 < | x - c | < se obtiene lo siguiente: 1. x pertenece a la vecindad ( c - , c ) U ( c, c + ). 2. x no es igual a c, pues 0 < | x - c | implica x distinto de c. 3. La solucin de | f(x) - L | < pertenece al intervalo ( L - , L + ). Esto proporciona la clave de comprensin del concepto de lmite, pues mientras que el valor de x est en la vecindad horizontal alrededor del punto c y agujereada en c con radio delta y centro c,

aun cuando en ese punto c no est definida, el valor de y est en el intervalo vertical con centro en f(c) y radio psilon.

Unicidad del lmite

Teorema. Si el lmite de una funcin existe, entonces es nico. Este teorema es vlido en espacios topolgicos Hausdorff.4 Supongamos que , veamos que no puede ser que tambin verifique la definicin. Para ello tomamos un entorno E de L y un entorno E' de L' que no se intersequen. Por definicin de lmite para todo x en algn entorno agujereado de c, por lo que no puede estar en E', evitando que el lmite sea L'.

Propiedades de los lmites

Propiedades generales
Si f(x) y g(x) son funciones de variable real y k es un escalar, entonces, se cumplen las siguientes propiedades: Lmite de Una constante La funcin identidad El producto de una funcin y una constante Una suma Una resta Un producto Un cociente Una potencia Un logaritmo El nmero e Expresin

Funcin f(x) infinitesimal

acotada

g(x) .

Indeterminaciones
Vase tambin: Forma indeterminada.

Hay varios tipos de indeterminaciones, entre ellas las siguientes (considere tiende a infinito y al lmite cuando tiende a 0; y no al nmero 0): Operacin Sustraccin Multiplicacin Divisin Elevacin a potencia Indeterminacin

como el lmite que