Lmite de una funcin

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda 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.

Contenido
[ocultar]
y y

y y

y y y

1 Historia 2 Definicin formal o 2.1 Funciones de variable real  2.1.1 Lmites laterales o 2.2 Funciones en espacios mtricos 3 Unicidad del lmite 4 Propiedades de los lmites o 4.1 Propiedades generales o 4.2 Indeterminaciones o 4.3 Regla de l'Hpital o 4.4 Lmites trigonomtricos  4.4.1 Demostraciones 5 Vase tambin 6 Referencias 7 Enlaces externos

[editar] 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

[editar] Definicin formal

[edi

io es de variable real

Vi

li

de l

parmetros utili ados en la defini i n de lmite.

Si la funci n f tiene lmite en podemos decir de manera informal que la funci n f tiende hacia el lmite cerca de si se puede hacer que f(x) est tan cerca como queramos de haciendo que x est suficientemente cerca de siendo x distinto de . Los conceptos er a 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. [edi ar] L i es 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.

[editar] F

io es en espacios mtricos

Existe otra manera definicin de lmite que tiene que ver con el concepto debolas y entornos: Supngase f : (M, dM) (N, dN) es mapeado entre dos espacios mtricos, p es un punto lmite de M y L N. 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 x M 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 est en el intervalo vertical con centro en f(c) y radio psilon.

[editar] 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'.

[editar] Propiedades de los lmites

[editar] Propiedades generales
Si k es un escalar:

Lmite de

Expresi n

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

[editar] Indeterminaciones
Hay varios tipos de indeterminaciones, entre ellas las siguientes (considere como el lmite que tiende a infinito y al lmite cuando tiende a 0; y no al nmero 0):

Operaci n

Indeterminaci n

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:

[editar] Regla de l' pital

Artcul 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 , tomar el logaritmo natural en ambos miembros, y entonces aplicar la regla de l'Hpital.

Por ejemplo:

[editar] Lmites trigonomtricos

1. 2. 3.

4. 5. [editar] 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:

El lmite de una sucesi n es uno de los conceptos ms antiguos del anlisis matemtico. El mismo da una definicin rigurosa a la idea de una sucesin que se va aproximando hacia un punto llamado lmite. Si una sucesin tiene lmite, se dice que es una sucesi n convergente, y que la sucesin converge o tiende al lmite. En caso contrario, la sucesin es divergente. La definicin significa que eventualmente todos los elementos de la sucesin se aproximan tanto como queramos al valor lmite. La condicin que impone que los elementos se encuentren arbitrariamente cercanos a los elementos subsiguientes no implica, en general, que la sucesin tenga un lmite (Vase sucesin de Cauchy). Qu se entiende por prximo da lugar a distintas definiciones de lmite dependiendo del conjunto donde se ha definido la sucesin.

Contenido
[ocultar]
y

y y y

1 Lmite de una sucesin de nmeros reales o 1.1 Definicin formal o 1.2 Notacin o 1.3 Ejemplos o 1.4 Propiedades 2 Lmite en un espacio mtrico 3 Lmite en un espacio topolgico 4 Enlaces externos

[editar] Lmite de una sucesi n de nmeros reales

[editar] Definici n formal
Una sucesin tal que tiene lmite , cuando tiende a valor por pequeo que sea, hay un valor a partir del cual si distancia de a es menor que , es decir: . , si para todo tenemos que la

[editar] Notaci n

o bien

[editar] Ejemplos

y y y y

La sucesin 1/1, 1/2, 1/3, 1/4, ... converge al lmite 0. La sucesin 1, -1, 1, -1, 1, ... es oscilante. La sucesin 1/2, 1/2 + 1/4, 1/2 + 1/4 + 1/8, 1/2 + 1/4 + 1/8 + 1/16, ... converge al lmite 1. Si a es un nmero real con valor absoluto |a| < 1, entonces la sucesin an posee lmite 0. Si 0 < a 1, entonces la sucesin a1/n posee lmite 1.

y y y

[editar] Propiedades
y y y

Si una sucesin tiene lmite positivo, existe un trmino a partir del cual todos los trminos de la sucesin son positivos. Si una sucesin tiene lmite negativo, existe un trmino a partir del cual los trminos de la sucesin son negativos. Si una sucesin converge a cero, no se puede asegurar nada acerca del signo de cada uno de los trminos de la sucesin. Si una sucesion 0. tiende a menos infinito y entonces tiende a

[editar] Lmite en un espacio mtrico

Para una sucesin de puntos distancia en un espacio mtrico con funcin de

(como por ejemplo, una sucesin de nmeros racionales, nmeros reales, nmeros complejos, puntos en un espacio normado, etc.): Si se dice que es el lmite de la sucesin y se escribe i.e.:si y solo si para todo (hodap) nmero real tal que para cada , se satisface que , existe un nmero natural

[editar] Lmite en un espacio topol gico

Una generalizacin de esta relacin, para una sucesin de puntos espacio topolgico T: Si se dice que L es un lmite de esta sucesin y se escribe en un

si y solo si para todo entorno S de L existe un nmero natural N tal que para todo

De forma intuitiva, suponiendo que se tiene una sucesin de puntos (por ejemplo un conjunto infinito de puntos numerados utilizando los nmeros naturales) en algn tipo de objeto matemtico (por ejemplo los nmeros reales o un espacio vectorial) que admite el concepto de entorno (en el sentido de "todos los puntos dentro de una cierta distancia de un dado punto fijo"). Un punto L es el lmite de la sucesin si para todo entorno que se defina, todos los puntos de la sucesin (con la posible excepcin de un nmero finito de puntos) estn prximos a L. Esto puede ser interpretado como si hubiera un conjunto de esferas de tamaos decrecientes hasta cero, todas centradas en L, y para cualquiera de estas esferas, solo existiera un nmero finito de nmeros fuera de ella. Es posible tambin que una sucesin en un espacio topolgico general, pueda tener varios lmites diferentes, pero una sucesin convergente posee un nico lmite si T es un espacio de Hausdorff, por ejemplo la recta real (extendida), el plano complejo, sus subconjuntos (R, Q, Z...) y productos cartesianos (Rn...).