LIMITES 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. 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.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 de 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 debida a Hardy en su libro A Course of Pure Mathematics en 1908.2 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 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 como: definida

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 Supngase que y tambin que siendo L y L'

distintos; se debe de comprobar que no puede ser que verificndose la definicin de lmite. Para ello se toma 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 Funcin f(x) acotada y g(x) infinitesimal Indeterminaciones . Expresin

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

como el

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:

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

1. 2.

3. 4. 5. 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:

DEFINICION INFORMAL

Es el valor al que tiende una funcin en el entorno reducido de un punto, no importando el valor que tome en el punto. Recordar que entorno reducido de un punto significa que se toma "lo de alrededor" de un punto, pero excluyendo al punto mismo. Decir que "el lmite en un punto es el valor que toma esa funcin en el punto" es una ABERRACIN MATEMTICA. Es absolutamente contraria a la definicin formal de lmite. Tener en cuenta que se dice: "...con Delta x tan pequeo como se quiera pero Delta x =/= 0", con lo cual queda formalmente excluida la posibilidad de tomar en cuenta el valor de la funcin en el punto, ya que la distancia al punto, en el punto, es 0.

Ejemplo clsico que uso para explicar a los alumnos a entender lo que significa un lmite. Sea una f(x): y=x para todo x=/= 1; adems: y=2 cuando x=1. Cul es el lmite para f(x) cuando x tiende a 1: Respuesta correcta: 1. Cul es el valor de f(x) en x=1: Respuesta correcta: 2.