3. La Definición Precisa (Epsilon-Delta)

Formalización del concepto de límite, abandonando la intuición para usar desigualdades estrictas.

Estudiar en la plataforma interactiva

De la Intuición al Rigor

Hasta ahora, hemos dicho que el límite es lo que pasa cuando nos "acercamos mucho" a un número. Pero, ¿qué significa "mucho"? ¿Estar a 0.1 de distancia? ¿A 0.000001?

En el siglo XIX, matemáticos como Augustin-Louis Cauchy y Karl Weierstrassse dieron cuenta de que la intuición no bastaba para evitar paradojas. Necesitaban una definición que no dependiera de palabras vagas como "acercarse", sino de aritmética pura.

Así nació la definición ϵδ\epsilon - \delta (Épsilon-Delta). Es un juego de retos:

  • El Retador (Épsilon ϵ\epsilon): Te da un margen de error muy pequeño en el eje Y (la salida). Te dice: "¿Puedes garantizar que la función no se salga de este margen?".
  • El Defensor (Delta δ\delta): Debe encontrar un radio de control en el eje X (la entrada) que asegure que el disparo acierte dentro del margen del retador.

Concepto Clave

"El límite existe si, para cualquier margen de error (ε) que te propongan, SIEMPRE puedes encontrar una tolerancia de entrada (δ) que cumpla el objetivo."

La Estructura Lógica

La Definición de Weierstrass

limxaf(x)=L    \lim_{x \to a} f(x) = L \iff
(ϵ>0)(δ>0)(0<xa<δ    f(x)L<ϵ)(\forall \epsilon > 0) (\exists \delta > 0) (0 < |x - a| < \delta \implies |f(x) - L| < \epsilon)

Desglosando los jeroglíficos:

1. El Reto (ϵ>0)(\forall \epsilon > 0)

"Para todo Épsilon". No importa qué tan pequeño sea el error que nos exijan (0.1, 0.00001...), la definición debe funcionar. ϵ\epsilon vive en el eje Y.

2. La Respuesta (δ>0)(\exists \delta > 0)

"Existe un Delta". Debemos ser capaces de encontrar un número δ\delta (tolerancia en X) que responda al reto. δ\delta depende de ϵ\epsilon.

3. La Implicación (    )(\implies)

Si xx está cerca de aa (a una distancia menor que δ\delta, pero sin ser aa), ENTONCES f(x)f(x) obligatoriamente cae cerca de LL (a una distancia menor que ϵ\epsilon).

Control de Lectura

Ejercicio 3.1: Interpretación

En la definición aparece 0<xa0 < |x - a|. ¿Por qué es estrictamente mayor que 0?

Ver Respuesta
Porque en el límite no nos importa lo que pasa exactamente en x=ax = a. La función podría no estar definida ahí (agujero). Solo nos importa la vecindad alrededor, excluyendo el centro.

Ejercicio 3.2: Dependencia

Si un cliente reduce el error permitido (ϵ\epsilon) a la mitad, ¿qué suele pasar con nuestra tolerancia necesaria (δ\delta)?

Ver Respuesta
Generalmente, δ\delta también debe hacerse más pequeño. Si el objetivo es más difícil (menor error), necesitamos más precisión (menor tolerancia).

Concepto Clave

"Recuerda: Epsilon es el error en Y (output), Delta es la distancia en X (input)."

Ingeniería Inversa: Encontrando Delta

Para demostrar un límite, usamos "ingeniería inversa". Empezamos con el final (la desigualdad de ϵ\epsilon) y manipulamos el álgebra hasta encontrar una relación con δ\delta.

Ejemplo Guía: Límite Lineal

Demostrar que limx3(2x1)=5\lim_{x \to 3} (2x - 1) = 5.

1. Queremos: (2x1)5<ϵ|(2x - 1) - 5| < \epsilon

2. Simplificamos: 2x6<ϵ|2x - 6| < \epsilon

3. Factorizamos: 2(x3)<ϵ|2(x - 3)| < \epsilon

4. Propiedad |ab|=|a||b|: 2x3<ϵ2|x - 3| < \epsilon

5. Despejamos el término objetivo: x3<ϵ2|x - 3| < \frac{\epsilon}{2}

¡Eureka!

La expresión x3|x - 3| es exactamente nuestra condición para delta (xa<δ|x - a| < \delta).
Conclusión: Si elegimos δ=ϵ2\delta = \frac{\epsilon}{2}, el límite se cumple.

Práctica de Álgebra

Ejercicio 3.3

Para limx2(3x)=6\lim_{x \to 2} (3x) = 6, si te dan ϵ=0.03\epsilon = 0.03, ¿cuánto debe valer δ\delta?

Ver Respuesta
Analizando 3x6<0.03|3x - 6| < 0.03
3x2<0.033|x - 2| < 0.03
x2<0.01|x - 2| < 0.01.
Por lo tanto, δ=0.01\delta = 0.01. (Es la tercera parte del error).

Ejercicio 3.4

Encuentra la fórmula general de δ\delta en función de ϵ\epsilon para limx4(5x+2)=22\lim_{x \to 4} (5x + 2) = 22.

Ver Respuesta
(5x+2)22<ϵ|(5x+2) - 22| < \epsilon
5x20<ϵ|5x - 20| < \epsilon
5x4<ϵ5|x - 4| < \epsilon
δ=ϵ5\delta = \frac{\epsilon}{5}.

Concepto Clave

"En funciones lineales f(x)=mx+b, el delta casi siempre será epsilon dividido por la pendiente (|m|)."

Desafío Contextual (Tipo PISA)

Contexto: La Fábrica de Pistones.
Una máquina automatizada corta cilindros de metal. El diámetro DD (en cm) del cilindro depende de la temperatura tt (en °C) de la máquina según la función:

D(t)=0.02t+4D(t) = 0.02t + 4

El diámetro ideal (Límite) debe ser de 5.00 cm. Sabemos que esto ocurre cuando la temperatura es idealmente t=50t = 50 °C.

Pregunta:

El cliente de Control de Calidad exige que el diámetro no varíe más de 0.01 cm respecto al ideal. Como ingeniero, ¿en qué rango de temperatura debes configurar la alarma de la máquina para garantizar que no se rechacen piezas?

Revelar Análisis y Solución

1. Identificar variables:
Límite L=5L = 5.
Error permitido (Épsilon) ϵ=0.01\epsilon = 0.01.
Función D(t)=0.02t+4D(t) = 0.02t + 4.
Punto objetivo a=50a = 50.

2. Plantear desigualdad:
D(t)5<0.01|D(t) - 5| < 0.01

3. Sustituir y simplificar:
(0.02t+4)5<0.01|(0.02t + 4) - 5| < 0.01
0.02t1<0.01|0.02t - 1| < 0.01

4. Factorizar para aislar (t - 50):
0.02(t50)<0.01|0.02(t - 50)| < 0.01
0.02t50<0.010.02|t - 50| < 0.01

5. Despejar delta:
t50<0.010.02|t - 50| < \frac{0.01}{0.02}
t50<0.5|t - 50| < 0.5

Respuesta: Debes mantener la temperatura entre 500.550 - 0.5 y 50+0.550 + 0.5.
Es decir, entre 49.5°C y 50.5°C.