Me gustaría compartir un ejemplo trabajado de una prueba de límite épsilon - delta que se encuentra en: http://www.karlscalculus.org/x2_1.html y se reproduce aquí para su comodidad. Karl Hahn explica cada paso de la prueba para que incluso un principiante en pruebas como puede entenderlo completamente.
Ejemplo de trabajo
Demuestra el siguiente límite:
$$\lim_{x 2}\frac{2 (x^2 - 4)}{(x - 2)} = 8 \qquad\qquad\text{eq. 2.1x-1}$$
utilizando el método delta-epsilon. Es evidente que no podemos evaluar esta función en $x = 2$ porque eso supondría un denominador cero.
Recordamos del álgebra que $x^2 - 4$ es la diferencia de cuadrados y, por tanto, puede ser fácilmente factorizada.
$$x^2 - 4 = (x + 2) (x - 2)$$ Demos un nombre a la función que intentamos encontrar el límite de la misma. Llamémosla $f(x)$ . Así que tenemos:
$$f(x) = \frac{2 (x^2 - 4)}{(x - 2)} = \frac{2 (x + 2) (x - 2)}{(x - 2)} \qquad\qquad\text{eq. 2.1x-2}$$
Claramente en todos los valores de $x$ excepto $x = 2$ obtenemos una cancelación, y esto es lo mismo que: $$f(x) = 2 (x + 2) \qquad\qquad\text{eq. 2.1x-3}$$ Por tanto, lo anterior es válido para cualquier valor de $x$ excepto $2$ . Eso significa que podemos evaluar $f(x)$ utilizando esta expresión y obtener la respuesta correcta siempre que x nunca sea igual a 2. Así que si demostramos que $$\lim_{x 2} \;\;2 (x + 2) = 8 \qquad\qquad\text{ eq. 2.1x-4}$$
entonces hemos resuelto el problema. ¿Entiendes por qué? Recuerda que todas las expresiones que hemos hecho para $f(x)$ son funciones idénticas para cualquier valor de $x$ además de $2$ . Tomando el límite de $f(x)$ como $x$ se destina a $2$ significa no tener que evaluar nunca $f(x)$ en $x = 2$ . Así que en todos los lugares que tenemos que evaluar, todas las formas de $f(x)$ son efectivamente idénticos, incluyendo $f(x) = 2 (x + 2)$ .
Ahora llegamos a la parte delta-epsilon de la prueba. Tenemos que arreglar un esquema por el cual usted puede decirme cuán cerca $f(x)$ tiene que ser para $8$ (es decir, me das una $$) and based upon that can tell you how close $ x $ has to be to $ 2 $ to make it true (i.e. I can give you a $$ que lo hace cierto).
Bien, vamos a plantear una ecuación que muestre lo que ocurre cuando utilizamos una x que está dentro de 2.
$$f(2 ± ) = 2 ( (2 ± ) + 2) \qquad\qquad\text{ eq. 2.1x-5}$$ Recordando que $$ is always greater than zero (and more importantly it never is zero), we can see that in the above, we still never have to evaluate $ f(x) $ at the forbidden value. So we just multiply out the above expression: $$ f(2 ± ) = 8 ± 2 \qquad\qquad\text{ eq. 2.1x-6} $$ The requirement is that we have to be able to choose $$ para que el valor anterior no se aleje del límite (que en este caso es $8$ ) que el $$ that you might give me, no matter how small an $$ que me das. Así que al darme un $$, you are telling me to make it so that: $$ |f(2 ± ) - 8| \qquad\qquad\texto{ec. 2.1x-7} $$ But we can get an expression for what's inside the absolute value brackets from stuff we have already done. Just take equation 2.1x-6 and subtract $ 8 $ from both sides. If you substitute that in for $ 2 ± $, you get: $$ |± 2 | |qquad\qquad\texto{c. 2.1x-8} $$ and since the absolute value brackets make the ± sign moot, we have simply: $$ 2 \qquad\qquad\text{ eq. 2.1x-9}$$ o
$$ \frac{}{2} \qquad\qquad\text{eq. 2.1x-10}$$ Así que, si me golpeas con cualquier $$, all I have to tell you is to try a $$ que sea inferior o igual a la mitad de su $$. In other words we have established a scheme that turns $$ 's en $$'s, and the scheme always gives you a $$ que hace que la función entre en $$ of $ 8$. Y eso significa que hemos terminado con la prueba.
14 votos
(+1) por verbalizar lo que a tantos estudiantes les cuesta.
1 votos
Me parece que la presentación de la $\epsilon$ - $\delta$ La definición como juego suele ayudar a los estudiantes principiantes: los jugadores son Paul, el proverbio, y Alice, el adversario. Las reglas son: Alice va primero y juega $\epsilon > 0$ ; entonces Paul va y juega $\delta > 0$ ; entonces Alice va y juega $x$ tal que $0 < |x - x_0| < \delta$ . Paul gana si $|f(x) - L| < \epsilon$ . Entonces una prueba típica de $\lim_{x \to x_0} f(x) = L$ es exactamente una estrategia tal que Paul siempre puede ganar, junto con una prueba de que la estrategia siempre funciona.