Lmite de una funcin El lmite de una funcin es un concepto fundamental del clculo diferencial 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. Historia Aunque implcita en el desarrollo del Clculo 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. 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 de una manera sistemtica. La primera presentacin rigurosa de la tcnica hecha pblica fue dada por Weierstrass en los 1850 y 1860 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 debida a Hardy en su libro A Course of Pure Mathematics en 1908. 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 est tan cerca como queramos de haciendo que est suficientemente cerca de siendo 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 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: existe un

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 definicin de lmite que tiene que ver con el concepto de bolas y entornos: 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 c es L" y escribimos 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: x pertenece a la vecindad ( c - , c ) U ( c, c + ). x no es igual a c, pues 0 < | x - c | implica x distinto de c. 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 k es un escalar: Lmite de Expresin 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 Funcin f(x) acotada y g(x) infinitesimal . Indeterminaciones Vase tambin: Forma indeterminada Hay varios tipos de indeterminaciones, entre ellas las siguientes (considere infinito y al lmite cuando tiende a 0; y no al nmero 0): Operacin Indeterminacin Sustraccin Multiplicacin Divisin Elevacin a potencia Ejemplo. 0/0 es una indeterminacin, es decir, no es posible, a priori, saber cual es el valor de un lmite que tiende a cero sobre otro que tambin tiende a cero ya que el resultado no es siempre el mismo. Por ejemplo:

como el lmite que tiende a

Regla de l'Hpital Artculo principal: Regla de l'Hpital Esta regla hace uso de la derivada y tiene un uso condicional. sta slo puede usarse directamente en lmites que son igual a 0/0 o a /. Otras formas indeterminadas requieren alguna manipulacin algebraica, por lo general, establecer que el lmite es igual a y, tomar el logaritmo natural en ambos miembros, y entonces aplicar la regla de l'Hpital.

Por ejemplo: Lmites trigonomtricos

Demostraciones Algunas demostraciones, por ejemplo, el segundo de estos lmites trigonomtricos, se utilizar la inecuacin sin(x) < x < tan(x) en el intervalo (0,/2), que relaciona x con las funciones seno y tangente. Luego dividimos por sin(x), obteniendo:

Invirtiendo los trminos de la inecuacin y cambiando los signos de desigualdad:

Calculando el lmite cuando x tiende a 0:

Lo que es igual a:

Aplicando el teorema del sndwich o teorema de estriccin, el lmite necesariamente vale 1:

El tercero de los lmites se demuestra utilizando las propiedades de los lmites y el valor obtenido en el lmite anterior. Es decir:

Lmites indeterminados Se llaman lmites indeterminados a los que presentan alguna de estas formas:

Contra lo que se pudiera pensar, un lmite de la forma -

tampoco un lmite de la forma 1 da siempre como resultado uno. Por esta razn se les llama lmites indeterminados y se requiere hacer un estudio particular para cada caso. Obsrvese que ya se han estudiado varios casos de indeterminaciones de la

Ejemplo:

Resolucin: Este lmite se resuelve multiplicando y dividiendo por el conjugado, es decir, por

Resolucin:

ndeterminado.

Resolucin:

Resolucin:

n2 en la expresin n2 + 3n -2: