Lmites

De Wikilibros, la coleccin de libros de texto de contenido libre. Clculo en una variable/Lmites Saltar a: navegacin, buscar Introduccin Ahora que hemos hecho una revisin de las funciones, llegamos a una idea central del clculo, el concepto de lmite. Es preferible comenzar con una funcin f(x) = x2. Sabemos que f(2) = 4.Sin embargo seamos un poco mas ingeniosos y creemos un "hueco" en x = 2. Podemos hacer esto variando la funcin sutilmente, as

Esta ltima funcin es igual a en todas partes excepto por x=2 donde no existe. Ahora, un hecho curioso es que cuando x se acerca ms a 2, entonces f(x) se acerca ms a 4. Esto es un hecho til y podemos expresarlo en smbolos como

Note que no importa qu es f(x) en x=2, en este caso la hemos dejado indefinida, pero podra ser 2 o 15 o 10000000. Esto no importa, la idea de lmite es que usted puede hablar acerca de cmo se comporta una funcin cuando se hace ms y ms cercana a un valor, sin hablar de cmo se comporta en ese valor. Ahora usando variables podemos decir que L es el lmite de una funcin f(x) cuando a x se aproxima a c si f(x) L cuando x c. Decimos que el lmite, cuando x se aproxima a c, de f(x) es L, si L existe como un nmero finito. Y lo expresamos algebricamente como sigue

Intuitivamente, el lmite L es simplemente el nmero al que f(x) se hace ms y ms cercana cuando x se aproxima a c, pero f(c) no necesita estar definido. Esta idea de hablar acerca de una funcin cuando se aproxima a algo fue un descubrimiento importante, porque permite hablar de cosas de las que antes no se hubiera podido. Por ejemplo,

consideremos una funcin 1/x. Cuando x se hace muy grande, 1/x se hace muy pequea, ms y ms cercano a cero, cuanto ms grande se haga x. Sin los lmites es muy difcil hablar de este hecho, porque 1/x nunca llega realmente a ser cero. Pero el lenguaje de los lmites existe precisamente para permitirnos hablar de acerca del comportamiento de una funcin cuando sta se aproxima a algo, sin preocuparnos acerca de que nunca llegar all. As que podemos decir

[editar] Aplicacin al clculo de la velocidad instantnea

Para ver el poder del lmite, vayamos atrs al ejemplo del auto en movimiento del que hablamos en la introduccin. Suponga que tenemos un auto cuya posicin es lineal con el tiempo. Queremos encontrar la velocidad. Esto es fcil de hacer desde el lgebra, simplemente tomamos la inclinacin de la recta distancia contra tiempo para este auto y esta es nuestra velocidad. Pero desafortunadamente (o tal vez afortunadamente si usted es un profesor de clculo), las cosas en el mundo real no siempre viajan en agradables lneas rectas. Los carros aceleran, desaceleran, y generalmente se comportan en formas que hacen difcil calcular sus velocidades. (figura 2). Ahora lo que realmente queremos es encontrar la velocidad en un momento dado. (figura 3). El problema es que para encontrar la velocidad necesitamos dos puntos, mientras que en cualquier tiempo dado, slo tenemos un punto. Podemos, por supuesto, encontrar siempre la velocidad promedio de auto, dados dos puntos en el tiempo, pero queremos encontrar la velocidad del auto en un momento preciso. Ac es donde el truco bsico del clculo diferencial entra. Elegimos un par de puntos en nuestra grfica de posicin contra tiempo, uno en donde queremos hallar la velocidad instantnea y otro en cualquier otro sitio y luego trazamos una lnea entre ellos. Empezamos a acercar cada vez ms y ms este ltimo punto al primero y a trazar sucesivas lneas, entre ellos. En la medida en que los puntos se hacen ms cercanos, la pendiente de la lnea se acerca a la velocidad instantnea.

[editar] Definicin formal de lmite

La definicin formal de lmite ha tenido tradicin de ser algo complicada para los estudiantes que la ven por primera vez. Vamos a presentarla primero y luego veremos detalladamente que es lo que nos dicen en forma tan suscinta. Decimos que el lmite de f(x) cuando x tiende a c es igual a L o

si para todo > 0 existe un > 0, tal que, para todo x, si 0 < |x - c| < , entonces |f(x) - L| <

Miremos en principio las normas o valores absolutos de la anterior expresin. Sobre la recta real, un valor absoluto de un nmero es la diferencia entre este nmero (ya sea positivo o negativo) y el origen. -3 est a tres unidades de distancia de cero, por tanto |-3| = 3. De modo anlogo, el valor absoluto de una resta corresponde a la distancia entre los dos nmeros involucrados en ella. Dmonos cuenta que y en la definicin anterior nos delimitan la distancia tanto entre los valores de f(x) y L, como entre los de c y x. Es decir, una vez escogida una distancia entre x y c menor que pero mayor que cero (pues c se acerca a x pero no lo alcanza), podemos garantizar que la distancia entre f(x) y L es menor a Independientemente del elegido.

[editar] Lmites laterales

Obsrvese que sobre la recta real estamos en condiciones de acercarnos a una valor particular de x bien sea por valores ms grandes (a la derecha) o por valores ms pequeos (a la izquierda). Debido a que existen funciones que no se comportan del mismo modo a la izquierda y a la derecha de un valor dado, el concepto de lmite lateral puede ayudarnos a dilucidar este tipo de comportamiento. Consideremos por ejemplo la funcin parte entera de x o escaln unitario (usada frecuentemente para exponer la idea de lmites laterales), denotada por E(x) y que se define de la siguiente forma E(x) = [x], donde [x] es el mayor nmero entero inferior o igual a x, tal que, E(x) x < E(x) + 1. http://enciclopedia.us.es/upload/parte_entera.png Su curva es una sucesin de segmentos horizontales a distintas alturas. Consideremos ahora un valor entero particular, por ejemplo 1. En la medida en que nos acercamos a 1 por la izquierda nos damos cuenta que los sucesivos valores de E(x) son iguales a cero, y en la medida en que nos acercamos a 1 por la derecha los valores son iguales a uno. La idea de acercarnos sucesivamente a un valor es la que introduce la nocin de lmite lateral. A continuacin introduciremos las nociones formales de los lmites laterales por izquierda y por derecha.

[editar] Lmite por la derecha

El lmite por la derecha de f(x) cuando x tiende a a por la derecha es igual a L, si >0, existe un > 0 tal que si 0 < x - a < , entoces |f(x) - L| < . Lo anterior se denota como:

[editar] Lmite por la izquierda

El lmite por la izquierda de f(x) cuando x tiende a a por la izquierda es igual a L, si >0, existe un > 0 tal que si 0 < a - x < , entonces |f(x) - L| < . Lo anterior se denota como:

TEOREMA Existe el limite si y solo si los dos limites laterales(por la derecha y por la izquierda) ambos existen y coinciden Nota:aunque tambin es valido si consideramos que le limite vale + o - en lugar de 1.

[editar] Teoremas fundamentales sobre lmites

Sean f y g funciones con lmites en c, n un nmero entero y k una constante. Se tiene entonces que:

El lmite de una constante es la constante:

El lmite de una constante por una funcin es igual a la constante por el lmite de la funcin:

El lmite de una suma es igual a la suma de los lmites:

El lmite de un producto es igual al producto de los lmites:

El lmite de un cociente es igual al cociente de los lmites, siempre y cuando el denominador evaluado en el lmite no sea cero.

, siempre y cuando

El lmite de la potencia ensima de una funcin es igual a la potencia ensima del lmite de la funcin:

El lmite de un radical ensimo de una funcin es igual al radical ensimo del lmite de la funcin:

[editar] Demostraciones
[editar] Teorema de la suma de lmites Debemos verificar que: (1) Siendo:

Por lo tanto, segun la definicin de lmite, tiene que haber un (2)

para todo tal que:

Entonces, tomando en

sus lmites para

tendiendo a , tomamos un

, tal que:

Si ahora tomamos un

mnimo para

, es decir,

, entonces:

(3) y

(4) Por lo tanto, para todo luego:

Usando desigualdad triangular:

Reemplazando por (3) y (4):

Es decir:

Lo que demuestra (2), es decir, hay un

para todo tal que:

Que segn (1) verifica que:

Es decir:

El lmite de la suma de dos funciones es igual a la suma de sus lmites.

[editar] Teorema de Intercalacin (Teorema del Emparedado)

El teorema de intercalacin, ms coloquialmente llamado teorema del emparedado, es til cuando queremos hallar el lmite de una funcin que se encuentra "confinada" por dos funciones que ya conocemos. Si y , entonces

[editar] Lmites de funciones trigonomtricas [editar] Demostracin del lmite de sen(x)/x cuando x tiende a0

Considerese que, un entorno reducido de 0,

Si dividimos todos los miembros por

nos queda

Pero

Invirtiendo cada miembro nos queda esta expresin que es totalmente indeterminada

Si hallamos el Y como

de cada miembro, nos queda y , por Teorema del Emparedado nos queda que

[editar] Lmites infinitos

Considere que simplemente los valores de 0,1,2,3,4,5 .... permitiendo de esta manera que crezca o decrezca pero sin dejar atras la definicion de limite entonces en conclusion se podra determinar que la funcin se acercara al limite por un infinito de nmeros pero nunca tocando el limite Definicin 1 Sea f una funcin que esta definida en todo nmero de algn intervalo abierto (a,+). El limite de f(x) cuando x crece sin limite, es L lo que se escribe como:

Definicin 2 Sea f una funcin que esta definida en todo nmero de algn intervalo abierto(-,a). El limite de f(x) cuando x decrece sin limite, es L, lo que se escribe como

Teorema Sea n cualquier entero positivo, entonces

[editar] Lmites al infinito

Se trata ahora de calcular cul es el valor, en caso de que exista y sea finito, al que se acerca una sucesin segn vamos avanzando trminos. Usaremos un ejemplo muy ilustrativo para introducir esta. Considrese la siguiente sucesin:

Si escribimos algunos trminos, nos haremos rpidamente una idea de hacia qu valor real se acercan los mismos:

Como podemos comprobar, los trminos se van haciendo cada vez menores, por lo que es de esperar que, de existir realmente un ltimo trmino de la sucesin, ste sera 0. Esto nos da una idea intuitiva de lo que significa el lmite de una sucesin cuando tiende a infinito; sto es, aventurar de algn modo a qu valor se acercan los trminos de la sucesin segn vamos avanzando sobre la misma. Con la sucesin anterior, podemos escribir siguiente licencia: . , y de hecho, nos podemos tomar la

Dar una prueba para esta igualdad es algo complicado, pero podemos ilustrarlo con el siguiente ejemplo:

Supongamos que disponemos de una barra de pan y con ella debemos alimentar a toda la poblacin de China. La pregunta es cunto pan corresponde a cada persona.

Si tenemos en cuenta la cantidad de chinos que hay, habremos de realizar fracciones muy microscpicas de pan, porciones casi moleculares que en ningn caso supondrn alimento alguno, por lo que podemos decir que a cada chino le toca cero pan. La idea es que al dividir una cantidad por otra inmensamente mayor, el resultado es inmensamente diminuto; por lo que dividir una cantidad por infinito, que vendra a ser el mayor de todos los valores, nos da el menor de todos ellos, que es cero.

Es importante de cara al clculo de lmites al infinito tener en mente algunas igualdades que implican a infinito. Debemos, adems, recordar siempre que infinito no es un nmero, sin un concepto. Nos referimos a infinito como aquello que es inabarcable o inabastable, pero mediante un inofensivo abuso de lenguaje podemos valernos de l para efectuar operaciones:

, -Por completar-

[editar] Indeterminaciones
Hay lmites que evalundolos directamente, se obtiene alguna de las siguientes expresiones:

A estas expresiones se les denomina indeterminaciones, ya que, a simple vista, no est claro cual puede ser el lmite (si es que existe). Por ejemplo, en la segunda de estas ecuaciones, el lmite pudiese valer 0, 1 o infinito. En algunos casos, simplificando las expresiones u obteniendo expresiones equivalentes a las iniciales, mediante racionalizacin o factorizacin se puede resolver la indeterminacin y calcular el lmite. En otros casos, se requerir el uso de otras herramientas ms potentes como pueden ser las desigualdades o la regla de l'Hpital.

Un ejemplo de indeterminacin del tipo es la que se da en estos tres casos, y en cada caso (tras simplificar), se obtiene un lmite distinto :

[editar] Asntotas
Las asntotas son rectas a las cuales una funcin se aproxima indefinidamente, cuando x o f(x) tienden al infinito.

[editar] Usando la notacin de lmite para describir asntotas

Ahora considere la funcin

Cul es el lmite cuando x se aproxima a cero? El valor de

no existe puesto que

no est definido Pero es intuitivamente claro que podemos hacer la funcin g tan grande como queramos, escogiendo un x suficientemente pequeo. Por ejemplo para hacer igual a un milln, escogemos que x sea 10-6. En este caso decimos que podemos hacer g(x) arbitrariamente grande (tan grande como queramos) tomando un x que sea suficientemente cercano a cero, pero no igual y expresamos esto algebricamente como sigue:

Note que hemos usado la notacin de lmite por derecha, ya que el lmite, propiamente dicho no existe de hecho en x = 0 (dado que el lmite por la derecha y por la izquierda son distintos). De igual manera podemos considerar que en la medida en que x se hace ms y ms grande g(x) tiende a cero, pero nunca lo alcanza. Esto nos permite introducir la nocin de asntotas horizontales y verticales.

[editar] Asntota Vertical

Una asntota vertical se da en x = c, para una funcin f(x) siempre que:

1. 2. Vale la pena hacer nfasis en que en c el lmite la funcin puede ser o bien infinito positivo o bien infinito negativo (cualquiera de ellos, pero no ambos), para que tegamos una asntota vertical y que esto se puede cumplir cuando nos acercamos a c bien sea por la izquierda (primer caso) o bien por la derecha (segundo caso).

[editar] Asntota Horizontal

Una asntota horizontal es la recta 1. 2. y se tiene siempre que:

[editar] Continuidad de una funcin

[editar] En un punto
Ahora estamos listos para una definicin formal de continuidad, que fue introducida en nuestra revisin de funciones. La definicin es simple: f(x) es continua en c si y slo si

Definicin de Continuidad

Note que la funcin o el lmite o ambos podran no estar definidos en c, en cuyo caso la ecuacin no sera cierta, y por tanto f no es continua en c.

Sean f y g funciones continuas en los reales. Los siguientes teoremas se cumplirn:

Teorema 1 es continua en todos los reales. Teorema 2 es continua en todos los reales. Teorema 3 es continua en todos los reales. Teorema 4 es continua en los reales, mientras g sea diferente de 0. Teorema 5 que es la composicin de funciones, es continua en los reales. Ejemplo Con , tendremos que son continuas. ,

[editar] En intervalos abiertos y cerrados

INTERVALO ABIERTO Se dice que una funcin es continua en un intervalo abierto si y slo si es continua en cada nmero del intervalo abierto INTERVALO CERRADO Se dice que una funcin, cuyo dominio contiene al intervalo cerrado [a.b], es continua en el intervalo cerrado [a,b] si y solo si es continua en el intevalo (a,b), as como continua por la derecha en a y continua por la izquierda en b.

[editar] De funciones compuestas

[editar] Discontinuidades
Una discontinuidad es un punto donde una funcin no es continua. Por ejemplo, la funcin se considera que tiene una discontinuidad removible en .

Por qu la llamamos 'removible'? Porque, si modificamos la funcin ligeramente, podemos eliminar la discontinuidad y hacer la funcin continua. En particular, podemos dividir la funcin para obtener , excepto en obtenemos la funcin continua: . Si hacemos que f(x) sea 6 en ese punto,

Pero x + 3 = 6 para x = 3, y as podemos simplificar la funcin a g(x) = x + 3. (Esta no es la misma que la funcin original, en la cual hay un punto extra en (3,6)). As el lmite en x = 3 es 6. De hecho, esta clase de simplificacin es siempre posible con una discontinuidad removible en una funcin racional. Cuando el denominador es cero, podemos redefinir la funcin para obtener una funcin que es igual a la anterior, salvo por los nuevos puntos, donde previamente tenamos una divisin por 0. Y arriba se prob que el lmite de esta funcin (puesto que es continua) es igual al lmite de la funcin antigua.

[editar] Aplicaciones para aislar races [editar] Encontrando lmites

Ahora nos concentraremos en encontrar los lmites, en lugar de probarlos. En las pruebas anteriores, empezamos con el valor del lmite. Cmo encontramos dicho lmite para empezar nuestras pruebas? Primero, si la funcin es continua en un punto particular c, el lmite es simplemente el valor de la funcin en c, debido a la definicin de continuidad. Todas las funciones polinmicas, trigonomtricas, logartmicas y exponenciales son continuas sobre sus dominios. Si la funcin no es continua en c, entonces en muchos casos (como con las funciones racionales) la funcin es continua alrededor, pero es discontinua en un punto aislado. En este caso, queremos encontrar una funcin similar, excepto que el "agujero" que antes representaba la discontinuidad ahora est "relleno". El lmite de esta funcin en c ser el mismo, como puede ser visto de la definicin de lmite. La funcin es la misma que la anterior excepto en el punto c. La definicin de lmite depende de f(x) slo en los puntos donde 0 < |x - c| < . Cuando x c, la desigualdad es falsa, y as el lmite en c no depende del valor de la funcin en c. Por tanto, el lmite es el mismo. Y puesto que nuestra nueva funcin es continua, ahora podemos slo evaluar la funcin en c como antes.

Finalmante, note que nuestro lmite podra no existir del todo. Hay muchas formas en que esto puede ocurrir:

"Hueco": Hay un hueco (de ms de un punto de ancho) en la funcin donde sta no est definida. Por ejemplo, en:

f (x) no tiene ningn lmite cuando -4 x 4. No hay manera de "aproximarse" al medio del grfico. Ntese que la funcin no tiene lmites en los extremos de las dos curvas generadas (en x = -4 y x = 4). Para que exista un lmite, el punto debe ser aproximable desde ambos derecha e izquierda. Ntese tambien que no existe lmite en un punto completamente aislado de un grfico. "Salto": Se sigue de nuestra discusin previa que si el grfico salta de repente a un nivel diferente (creando una discontinuidad), el lmite no existe. Esto se ilustra con la funcin escaln unitario (en la cual el valor de la salida es el entero ms grande no mayor al valor de entrada).

Asntota: En

la grfica se hace arbitrariamente alta cuando 'x' se aproxima a 0. El lmite no existe. Oscilacin infinita: Las dos siguientes pueden ser un poco truculentas para visualizar. En sta, nos referimos a una grfica que continuamente alcanza puntos arriba y abajo de una lnea horizontal. De hecho, hace esto infinitamente en la medida en que nos aproximamos a un cierto valor x. Esto significa a menudo que no hay lmite, puesto que el grfico nunca se establece en un valor particular. Sin embargo, si la altura (y profundidad) de cada oscilacin disminuye cuando el grfico se aproxima al valor x, de modo que las oscilaciones se hagan arbitrariamente pequeas, entonces podra haber de hecho un lmite. El uso de la oscilacin naturalmente trae a la mente las funciones trigonomtricas. Un ejemplo simplemente definido de este tipo de lmites no existentes es

En la funcin seno hay un nmero infinito de ciclos a medida que el grfico contina al infinito. sin(1/x) tomar cualquier valor (1,) y devolver otro entre (0, 1). Aqu tenemos una oscilacin infinita sobre un intervalo finito del grfico. Grfica Incompleta: Vamos a considerar dos ejemplos. Primero, siendo f la funcin constante f(q)=2 definida por un nmero racional q. Luego, f es continua: sea racional . Mostramos que f

es continua con

. Sea

; entonces si cogemos cualquier , tenemos

, entonces siempre que q .

sea un nmero racional dentro de de As que f es continua en .

Ahora Sea g la funcin de aspecto similar se define en toda la recta real. Dejamos g tomar el valor 2 para la entrada racional y 0 para la entrada de irracional. Ahora g es continua en ninguna parte! Sea, pues, x un nmero real, se muestra que g no es continua en x. Vamos a = 2; entonces, si g se continua en x, no habra un nmero tal que cada vez que y fue un nmero real a una distancia inferior a , tendramos | g (x) - g (y) | < 1. Pero no importa lo pequeos que hacen podemos encontrar un nmero dentro de y de x tal que | g (x) - g (y) | = 2, porque si x es racional, slo debes elegir y lo irracional y si x es irracional, pick x racional. Por lo tanto g no ser continua en todo nmero real! Tenga en cuenta que estos dos ejemplos muestran lo importante que es conseguir que los dominios de las funciones de resolver. f y g tienen grficos muy similares, pero sus propiedades de continuidad se oponen por completo.