¿Qué es el Teorema del Sándwich?
En el ámbito del cálculo matemático, el teorema del emparedado, más comúnmente conocido como teorema del sándwich, es una herramienta fundamental utilizada para determinar el límite de una función o de una sucesión. Es un método importante para establecer la existencia y el valor de un límite cuando este no puede ser calculado directamente.
Este teorema es también conocido por otros nombres, como Teorema de los dos lados, Criterio del sándwich, Teorema de compresión o Teorema de convergencia forzada.
La intuición detrás del teorema es bastante clara: si una función o sucesión se encuentra "encerrada" entre otras dos funciones o sucesiones, y estas dos últimas convergen al mismo límite, entonces la función o sucesión "intermedia" también debe converger a ese mismo límite. En la proximidad de un proceso de límite, si existen dos valores con el mismo límite (uno mayor y otro menor), el valor límite original puede ser "comprimido" por estos dos valores hacia ese mismo límite.
Formulación del Teorema
Para funciones
Sea \(I\) un intervalo que contiene al punto \(a\). Sean \(f(x)\), \(g(x)\) y \(h(x)\) funciones definidas en \(I\), exceptuando quizás el mismo punto \(a\). Si en una vecindad de \(x = a\) se cumple siempre que \(f(x) \leq g(x) \leq h(x)\), y los límites de las funciones "externas" son iguales:
$$ \lim_{x \to a} f(x) = L $$
$$ \lim_{x \to a} h(x) = L $$
entonces, el límite de la función "central" también será \(L\):
$$ \lim_{x \to a} g(x) = L $$
Para sucesiones
Consideremos tres sucesiones, \((a_n)\), \((b_n)\) y \((c_n)\). Si para \(n\) suficientemente grande se cumple siempre que \(a_n \leq b_n \leq c_n\), y los límites de las sucesiones "externas" son iguales:
$$ \lim_{n \to \infty} a_n = L $$
$$ \lim_{n \to \infty} c_n = L $$
entonces, el límite de la sucesión "central" también será \(L\):
$$ \lim_{n \to \infty} b_n = L $$
Demostración Simplificada
La demostración de este teorema se basa en la definición formal de límite (la definición épsilon-delta). Si el límite de \(f(x)\) y \(h(x)\) es \(L\) cuando \(x\) se aproxima a \(a\), entonces para cualquier \(\epsilon > 0\), existirá una pequeña vecindad de \(a\) tal que para todo \(x\) en esa vecindad se cumple \(\|f(x) - L\| < \epsilon\) y \(\|h(x) - L\| < \epsilon\).
Debido a la condición \(f(x) \leq g(x) \leq h(x)\), en la intersección de estas vecindades, también se tendrá que \(\|g(x) - L\| < \epsilon\). Esto implica que \(g(x)\) está "comprimida" entre \(f(x)\) y \(h(x)\) en torno a \(L\), forzando así su límite a ser \(L\).
De manera análoga, para sucesiones, si \(\lim_{n \to \infty} a_n = L\) y \(\lim_{n \to \infty} c_n = L\), entonces para cualquier \(\epsilon > 0\), existe un número natural \(N\) tal que para todo \(n > N\), se cumple \(\|a_n - L\| < \epsilon\) y \(\|c_n - L\| < \epsilon\). Dada la condición \(a_n \leq b_n \leq c_n\), se deduce que \(\|b_n - L\| < \epsilon\), lo que prueba que \(\lim_{n \to \infty} b_n = L\).
Aplicaciones Principales
El Teorema del Sándwich es una herramienta poderosa y versátil en cálculo y análisis matemático. Sus usos más frecuentes incluyen:
- Resolución de límites indeterminados: Es especialmente útil cuando los métodos directos fallan o son demasiado complejos, permitiendo "acotar" la función problemático.
- Cálculo de límites de productos: Es una herramienta eficaz para calcular límites que involucran productos, en particular aquellos con funciones trigonométricas como senos y cosenos, debido a sus propiedades de acotación (por ejemplo, \(-1 \leq \sin(x) \leq 1\)).
- Demostraciones en cálculo y análisis matemático: Es fundamental para probar la convergencia de diversas sucesiones y series, y para establecer propiedades de funciones.
Para aplicar el teorema, es común manipular una desigualdad conocida. Por ejemplo, se puede tomar una desigualdad base y multiplicarla por los términos necesarios para que el término del medio sea igual a la función cuyo límite se desea calcular. Es importante recordar que al multiplicar o dividir por un término negativo, los signos de la inecuación deben invertirse, mientras que con un término no negativo, se mantienen.
Ejemplos Resueltos
Ejemplo 1: Encontrar el límite \(\lim_{x \to 0} x \sin(\frac{1}{x})\)
Solución:
Sabemos que la función seno está acotada entre -1 y 1 para cualquier argumento:
$$-1 \leq \sin(\frac{1}{x}) \leq 1$$
Multiplicamos la desigualdad por \(x\). Debemos considerar el signo de \(x\). Si \(x > 0\), la desigualdad se mantiene:
$$-x \leq x \sin(\frac{1}{x}) \leq x$$
Si \(x < 0\), la desigualdad se invierte:
$$x \leq x \sin(\frac{1}{x}) \leq -x$$
Sin embargo, en ambos casos, las funciones que acotan \((x \sin(\frac{1}{x}))\) tienden a 0 cuando \(x \to 0\):
$$\lim_{x \to 0} (-x) = 0$$
$$\lim_{x \to 0} x = 0$$
Por lo tanto, por el Teorema del Sándwich, el valor del límite original es:
$$\lim_{x \to 0} x \sin(\frac{1}{x}) = 0$$
Ejemplo 2: Encontrar el límite \(\lim_{x \to 0} x^2 \cos(\frac{1}{x})\)
Solución:
Sabemos que \(-1 \leq \cos(\frac{1}{x}) \leq 1\). Multiplicamos por \(x^2\). Dado que \(x^2 \geq 0\), los signos de la desigualdad no se invierten:
$$-x^2 \leq x^2 \cos(\frac{1}{x}) \leq x^2$$
Calculamos los límites de las funciones que acotan:
$$\lim_{x \to 0} (-x^2) = 0$$
$$\lim_{x \to 0} x^2 = 0$$
Por lo tanto, por el Teorema del Sándwich, el valor del límite original es:
$$\lim_{x \to 0} x^2 \cos(\frac{1}{x}) = 0$$
Ejemplo 3: Encontrar el límite \(\lim_{n \to \infty} \frac{\sin(n)}{n}\)
Solución:
Sabemos que \(-1 \leq \sin(n) \leq 1\). Dividimos por \(n\). Dado que \(n \to \infty\), asumimos \(n > 0\), por lo que los signos de la desigualdad no se invierten:
$$-\frac{1}{n} \leq \frac{\sin(n)}{n} \leq \frac{1}{n}$$
Calculamos los límites de las funciones que acotan:
$$\lim_{n \to \infty} (-\frac{1}{n}) = 0$$
$$\lim_{n \to \infty} (\frac{1}{n}) = 0$$
Por lo tanto, por el Teorema del Sándwich, el valor del límite original es:
$$\lim_{n \to \infty} \frac{\sin(n)}{n} = 0$$
Ejemplo 4: Encontrar el límite \(\lim_{n \to \infty} \frac{(-1)^n}{n}\)
Solución:
Sabemos que \(-1 \leq (-1)^n \leq 1\) para cualquier entero \(n\). Dividimos por \(n\). Dado que \(n \to \infty\), asumimos \(n > 0\), por lo que los signos de la desigualdad no se invierten:
$$-\frac{1}{n} \leq \frac{(-1)^n}{n} \leq \frac{1}{n}$$
Calculamos los límites de las funciones que acotan:
$$\lim_{n \to \infty} (-\frac{1}{n}) = 0$$
$$\lim_{n \to \infty} (\frac{1}{n}) = 0$$
Por lo tanto, por el Teorema del Sándwich, el valor del límite original es:
$$\lim_{n \to \infty} \frac{(-1)^n}{n} = 0$$
Ejemplo 5: Calcular el límite \(\lim_{x \to 0} (x^2 + 1) \cos(e^{1/x})\)
Solución:
Sabemos que \(-1 \leq \cos(e^{1/x}) \leq 1\). Multiplicamos por \((x^2 + 1)\). Dado que \(x^2 + 1 > 0\) para todo \(x\), los signos de la desigualdad no se invierten:
$$-(x^2 + 1) \leq (x^2 + 1) \cos(e^{1/x}) \leq (x^2 + 1)$$
Calculamos los límites de las funciones que acotan:
$$\lim_{x \to 0} (-(x^2 + 1)) = -(0^2 + 1) = -1$$
$$\lim_{x \to 0} (x^2 + 1) = (0^2 + 1) = 1$$
En este ejemplo, los límites de las funciones que acotan no son iguales. Esto significa que el Teorema del Sándwich no puede ser aplicado para determinar el límite de \((x^2 + 1) \cos(e^{1/x})\). El límite no existe, ya que la función oscila entre -1 y 1 a medida que \(x \to 0\).
(Nota del editor: Se corrigió el ejemplo 5 que en el borrador original indicaba erróneamente un límite de 0. La condición principal del teorema es que los límites de las funciones de acotación sean iguales.)
Ejemplo 6: Encontrar el límite \(\lim_{x \to \infty} \frac{x + \sin(x)}{x}\)
Solución:
Sabemos que \(-1 \leq \sin(x) \leq 1\). Sumamos \(x\) a todos los lados de la desigualdad:
$$x - 1 \leq x + \sin(x) \leq x + 1$$
Dividimos por \(x\). Dado que \(x \to \infty\), asumimos \(x > 0\), por lo que los signos de la desigualdad no se invierten:
$$\frac{x - 1}{x} \leq \frac{x + \sin(x)}{x} \leq \frac{x + 1}{x}$$
Simplificamos las expresiones y calculamos los límites de las funciones que acotan:
$$\lim_{x \to \infty} \frac{x - 1}{x} = \lim_{x \to \infty} (1 - \frac{1}{x}) = 1 - 0 = 1$$
$$\lim_{x \to \infty} \frac{x + 1}{x} = \lim_{x \to \infty} (1 + \frac{1}{x}) = 1 + 0 = 1$$
Dado que ambos límites son 1, por el Teorema del Sándwich, el valor del límite original es:
$$\lim_{x \to \infty} \frac{x + \sin(x)}{x} = 1$$