EL LÍMITE DE UNA FUNCIÓN: DEFINICIÓN FORMAL, PROPIEDADES Y CONTINUIDAD

El límite es la herramienta matemática que da origen a todo el cálculo diferencial e integral. Permite analizar el comportamiento de una función en la frontera de lo indefinido, otorgando rigor matemático a conceptos abstractos como "infinitamente cerca" o "infinitamente pequeño".

A continuación, se presenta la investigación analítica sobre los límites y la continuidad de las funciones.

1. El Límite de una Función (Concepto Intuitivo)

Concepto Fundamental:

El límite de una función describe el comportamiento de las salidas ($y$) de una función a medida que las entradas ($x$) se acercan cada vez más a un valor específico $c$, sin llegar a ser exactamente $c$.

Notación y Fórmula:

$$ \lim_{x \to c} f(x) = L $$

Se lee: "El límite de $f(x)$ cuando $x$ tiende a $c$ es igual a $L$."

Esto significa que podemos hacer que el valor de $f(x)$ esté tan cerca de $L$ como queramos, simplemente eligiendo un valor de $x$ lo suficientemente cerca de $c$ (por ambos lados, izquierda y derecha).

2. Definición Formal de Límite (Épsilon - Delta)

El concepto de "acercarse" es intuitivo, pero insuficiente para demostraciones matemáticas rigurosas. Augustin-Louis Cauchy y Karl Weierstrass formalizaron el límite eliminando la noción de "movimiento" y reemplazándola por distancias estáticas y tolerancias de error.

Concepto Épsilon-Delta ($\epsilon - \delta$):

Imagina un juego de desafíos. Tú propones una tolerancia de error muy pequeña para la salida (llamada $\epsilon$, épsilon). Para que el límite exista, yo debo ser capaz de encontrar siempre una pequeña ventana de proximidad en la entrada (llamada $\delta$, delta) que garantice que todos los valores de la función caerán dentro de tu tolerancia.

Definición Matemática Estricta:

Decimos que $\lim_{x \to c} f(x) = L$ si y solo si:

Para todo $\epsilon > 0$, existe un $\delta > 0$ tal que, si $0 < |x - c| < \delta$, entonces $|f(x) - L| < \epsilon$.

• $|x - c| < \delta$: La distancia horizontal entre $x$ y $c$ es menor a $\delta$ (pero mayor a cero, porque $x$ nunca es exactamente $c$).
• $|f(x) - L| < \epsilon$: La distancia vertical entre la función y el límite $L$ está acotada por $\epsilon$.

Demostración Analítica:

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

1. Análisis previo: Queremos que $|(3x - 1) - 5| < \epsilon$.
2. Simplificando: $|3x - 6| < \epsilon \implies 3|x - 2| < \epsilon \implies |x - 2| < \frac{\epsilon}{3}$.
3. La Prueba: Sea $\epsilon > 0$ un número cualquiera. Elegimos $\delta = \frac{\epsilon}{3}$.
4. Si $0 < |x - 2| < \delta$, entonces:
5. $|x - 2| < \frac{\epsilon}{3}$
6. $3|x - 2| < \epsilon$
7. $|3x - 6| < \epsilon$
8. $|(3x - 1) - 5| < \epsilon$.
9. Queda demostrado formalmente que el límite es 5.

3. Propiedades de los Límites

Para evitar aplicar la tediosa definición $\epsilon - \delta$ en cada cálculo, el cálculo establece las Leyes de los Límites, que permiten manipular y desglosar funciones complejas.

Si $\lim_{x \to c} f(x) = L$ y $\lim_{x \to c} g(x) = M$, y ambas son constantes reales, se cumplen las siguientes propiedades algebraicas:

1. Ley de la Suma / Resta: $\lim_{x \to c} [f(x) \pm g(x)] = L \pm M$
2. Ley de la Constante: $\lim_{x \to c} [k \cdot f(x)] = k \cdot L$ (donde $k$ es una constante).
3. Ley del Producto: $\lim_{x \to c} [f(x) \cdot g(x)] = L \cdot M$
4. Ley del Cociente: $\lim_{x \to c} \left[ \frac{f(x)}{g(x)} \right] = \frac{L}{M}$, siempre y cuando $M \neq 0$.
5. Ley de la Potencia: $\lim_{x \to c} [f(x)]^n = L^n$ (para $n$ entero positivo).
6. Ley de la Raíz: $\lim_{x \to c} \sqrt[n]{f(x)} = \sqrt[n]{L}$ (si $n$ es par, asumimos $L > 0$).

4. Límites Infinitos y Asíntotas Verticales

Concepto Fundamental:

Un límite infinito ocurre cuando, al acercar $x$ a un valor $c$, las salidas $f(x)$ crecen sin límite hacia valores positivos colosales, o decrecen hacia valores negativos abismales. A diferencia de un límite estándar (que debe ser un número real), aquí el límite "no existe" en el sentido numérico, pero usamos el símbolo del infinito para describir su comportamiento.

Fórmula:

$$ \lim_{x \to c} f(x) = \infty \quad \text{o} \quad \lim_{x \to c} f(x) = -\infty $$

Demostración Geométrica (Asíntota Vertical):

Tomemos la función $f(x) = \frac{1}{x^2}$.

Si evaluamos el límite cuando $x$ tiende a cero:

$$ \lim_{x \to 0} \frac{1}{x^2} $$

Al acercarnos a 0 (ej. $x = 0.1, 0.01, 0.001$), el denominador $x^2$ se vuelve diminuto y siempre positivo ($0.01, 0.0001, 0.000001$). Dividir 1 entre un número infinitamente pequeño resulta en un número infinitamente grande.

Por lo tanto, $\lim_{x \to 0} \frac{1}{x^2} = +\infty$.

Geométricamente, esto significa que la recta $x = 0$ es una asíntota vertical de la gráfica.

5. Funciones Continuas

Concepto Fundamental:

En lenguaje cotidiano, una función es continua si puedes dibujar su gráfica completa sin despegar el lápiz del papel; no hay huecos, saltos bruscos ni cortes asintóticos. En el cálculo, la continuidad se define de manera precisa utilizando límites.

Definición Matemática de Continuidad:

Una función $f$ es continua en un punto interior $x = c$ si y solo si cumple tres condiciones inquebrantables:

1. La función existe en el punto: $f(c)$ está definida (el punto pertenece al dominio).
2. El límite existe: $\lim_{x \to c} f(x)$ existe y es un número real (es decir, los límites por la izquierda y por la derecha son idénticos).
3. El límite coincide con la función: El valor hacia el que tiende la gráfica es exactamente el mismo valor que tiene la gráfica en ese punto.
4. $$ \lim_{x \to c} f(x) = f(c) $$

Tipos de Discontinuidad:

Si falla alguna de estas tres reglas, la función es discontinua en $c$. Existen tres escenarios de falla:

• Discontinuidad Evitable (Hueco): El límite existe, pero $f(c)$ no existe o tiene un valor distinto. (Se soluciona redefiniendo un solo punto).
• Discontinuidad de Salto (Escalón): Los límites por la izquierda y derecha existen pero dan números diferentes. Ocurre comúnmente en funciones definidas por partes.
• Discontinuidad Infinita (Asíntota): El límite por al menos uno de los lados tiende a $\infty$ o $-\infty$.