Está en la página 1de 3

Universidad de Chile Facultad de Ciencias F sicas y Matemticas a Departamento de Ingenier Matemtica a a

L mite de funciones por denicin o


Profesor: Ral Gormaz u Auxiliares: Waldo Glvez, Gonzalo Jeldres a 17 de Junio de 2011

Recuerdo: Para comprobar por denicin que l xn x, dec o m amos que


n

, cuya interpretacin en el plano cartesiano es la siguiente: Quiero o > 0, n0 N, n n0 |xn x| que para cualquier > 0 (que tambin es llamado margen de error), desde cierto n0 N en adelante, todos e n los trminos xn se parezcan al l e mite x, salvo un margen de error , que puede ser todo lo pequeo que sea (probablemente eso nos obligue a necesitar un n0 ms grande, pero que podemos asegurar siempre va a a existir). Por lo tanto los trminos de la sucesin estn en la banda [x , x + ] para cualquier desde cierto e o a n0 . Grcamente (supongan que es una sucesin de puntos): a o

Si se rena el margen de error (se considera ms pequeo), puede verse que n0 deber ser ms grande, a n a a pero existir. Esto es importante porque para l a mites de funciones con x tendiendo a +, la nocin es o exactamente la misma, salvo que en vez de puntos ser una linea continua que debe estar en la banda (es a decir, el grco se acomoda ms a esta nocin); pero obviando esos pequeos detalles, es la misma cuestin a a o n o no ms. a Para funciones: Ahora bien, si lo que se quiere es demostrar que l f (x) = , entonces debe demostrarse m x x que > 0, > 0, |x x| |f (x) | . En el plano cartesiano, signica lo siguiente: Quiero que para nmeros cercanos a x, la funcin evaluada en dichos nmeros se parezca a . Dicho de otra forma, si me doy u o u un margen de error (idealmente pequeo para que efectivamente las cosas se parezcan), quiero que exista n un con el n de que los nmeros cercanos a x, con un margen de inclusin de , evalundolos en la funcin u o a o me queden dentro de ese margen de error del l mite. En cierta manera, se est encajonando la funcin: si se a o puede hacer eso, entonces efectivamente era el l mite. Grcamente, se ve as a :

Universidad de Chile Facultad de Ciencias F sicas y Matemticas a Departamento de Ingenier Matemtica a a

En trminos ms coloquiales, si me doy una banda [ , + ], debo ser capaz de encontrar una banda e a [ , x + ] que me deje la funcin dentro del cajoncito lindo precioso que qued arriba en el grco cerca x o o a del l mite, y esto para cualquier . Si se toma ms pequeo este margen de error , claramente (por lo menos a n en este caso), deber ser ms pequeo, pero siempre existir. a a n a Cmo calcularlos: Lo ms importante es cmo aplicar esta denicin. Vamos a demostrar algunos l o a o o mites charchas para vericar que la denicin de l o mite de funciones de verdad funciona: Ejemplo 1: l x 3. Este ejemplo de juguete servir para comprender bien el procedimiento. Este l m a mite es
x2

claramente 1 (cosa de reemplazar no ms). Por lo tanto, debiramos ser capaces de demostrar que a e > 0, > 0, |x 2| |(x 3) (1)| . Con la desigualdad que hay que trabajar es con la de epsilon, ya que ella nos permitir determinar cuanto debe valer delta para cumplir la denicin. a o Trabajando el mdulo, luego de operar obtenemos |x 2|, y como queremos que eso sea menor que epsilon, o basta con denir = . As se obtiene claramente la implicancia que se busca, ya que: |x 2| |x 2| , pero como =

|x 2|

|(x 3) (1)|

Ahora veamos un ejemplo un poco ms rudo. An cuando ambos son de juguete (y no vamos a complicarlos a u ms, porque de verdad es innecesario), el primero ser como uno de esos juguetes que cuelgan en las cunas a a de las guaguas que suenan, y este ser como un hot wheels o algo por el estilo, ms rudo, pero de juguete a a al n y al cabo. 3x 1 . La fraccin siempre complica un poco las cosas, pero veremos que igual se puede o x+2 hacer relativamente fcil. Ms complicado que esto no haremos, porque para eso est el lgebra de l a a a a mites, teorema del Sandwich, cambio de variable y todo eso. Esto es ms como para vericar que la denicin de a o verdad dene al l mite. Ejemplo 2: l m
x5

Puede verse claro que dicho l mite ser 2. Por ello, debiramos ser capaces de demostrar que: a e > 0, > 0, |x 5| | 3x 1 2| x+2 | . Trabajando el mdulo de la izquierda, se obtiene: o 3x 1 x5 2| = | | x+2 x+2

Universidad de Chile Facultad de Ciencias F sicas y Matemticas a Departamento de Ingenier Matemtica a a

Apareci el |x 5|, pero est molestando ese |x + 2|. Sin embargo, como la intuicin nos dice que el delta se o a o est haciendo cada vez ms pequeo, tenemos casi (as muy informalmente, pero recuerden que necesitamos a a n slo que exista) que x 5 0, entonces x + 2 7. Para irnos a la segura, tomemos un no tan o descaradamente pequeo, algo as como 0,5. Entonces tendr n amos que 6, 5 x + 2 7, 5. Como se ve que es positivo siempre, con mdulo tambin lo cumple. Esto es importante. Podemos tomar un valor as por dos o e , razones: primero, si basta con un delta ms grande para dejar encajonada la funcin, con delta = 0,5 queda a o ms br a gidamente encajonada, as que se puede concluir al toque para dichos epsilon burdos (burdos porque lo ms probable es que sean margenes de error grandes); segundo, si se requiere un delta ms pequeo para a a n encajonar, entonces la desigualdad se cumple ms estrictamente an, porque va a estar encajonado por algo a u ms pequeo. Entonces efectivamente x+2 en este caso estar entre los nmeros especicados. Sabiendo eso, a n a u entonces podemos decir sin miedo que: | x5 | x+2 | x5 | esto porque estamos dividiendo por algo ms chico. a 6, 5

Finalmente, si decimos que = 6, 5, que se puede ver claro por qu ese delta, ya que la idea es que quede e slo epsilon al otro lado, obtenemos: o |x 5| | 3x 1 2| x+2 | x5 | x+2 |x 5| 6, 5

En conclusin, se tiene que se cumple la denicin de l o o mite (por transitividad de , y como = 6, 5, ese 6,5 se va con el de abajo y queda todo perfect, ya que |x 5| ), es decir, efectivamente el l mite era 2. Otra forma de hacerlo: Como bien me lo hizo notar mr. Rodriguez, podemos simplemente echarnos el |x + 2|, x+5 ya que es mayor que uno, luego podemos decir sin problemas que | | |x+5|, ya que estamos dividiendo x+2 por algo ms chico (cuando x 5, x + 2 7, que es ms grande que 1). Por ende, deniendo = , se a a concluye. Ambas formas son vlidas, y de hecho la segunda es como ms fcil de ver... la unica diferencia entre a a a ellos es que en la primera dimos una cota ms grande para la vecindad de x que encajona ms ampliamente a a la funcin, pero como slo se exige que exista dicho , no importa que sea ms no o ms amplia, siempre y o o a a cuando encajone la funcin para cualquier dado. o Espero les sirva para entender mejor la denicin de l o mite de una funcin. Tengo la leve impresin de que o o no lo preguntarn en el control, pero mejor prevenir que lamentar. Saludos y feliz control 6. De verdad que a este control es ms fcil, as que estudien y tendrn buena nota. a a a