CONTINUIDAD: DEFINICIÓN, TEOREMAS Y EL TEOREMA DEL VALOR INTERMEDIO

La continuidad es la propiedad matemática que garantiza que una función se comporte de manera fluida y predecible. En el cálculo y la física, asumir que una variable (como el tiempo, la posición o la temperatura) cambia de manera "continua" significa que no experimenta saltos cuánticos ni teletransportaciones instantáneas.

A continuación, se presenta la investigación analítica rigurosa sobre los fundamentos de la continuidad y sus teoremas derivados.

1. Definición Formal de Continuidad

Concepto Fundamental:

De manera intuitiva, una función es continua en un intervalo si su gráfica puede trazarse sin levantar el lápiz del papel. Sin embargo, matemáticamente, la continuidad no es una propiedad global por defecto; se define y evalúa de manera estricta punto por punto.

Definición Matemática (La Regla de las Tres Condiciones):

Una función $f$ es continua en un número $a$ si y solo si se cumplen las siguientes tres condiciones simultáneamente:

1. Existencia del valor: $f(a)$ está definida (es decir, $a$ pertenece al dominio de $f$).
2. Existencia del límite: $\lim_{x \to a} f(x)$ existe. Esto implica que los límites laterales (por la izquierda y por la derecha) deben ser iguales y finitos.
3. Igualdad absoluta: El límite de la función a medida que $x$ se aproxima a $a$ es exactamente igual al valor de la función evaluada en $a$.
4. $$ \lim_{x \to a} f(x) = f(a) $$

Si una función es continua en todos y cada uno de los puntos de un intervalo abierto $(a, b)$, decimos que la función es continua en el intervalo.

2. Teoremas Fundamentales de Continuidad

Para no tener que aplicar la definición de límites punto por punto en funciones complejas, el cálculo establece teoremas que nos permiten construir y certificar funciones continuas a partir de funciones más simples.

A. Teorema de las Operaciones Algebraicas:

Si las funciones $f$ y $g$ son continuas en $x = a$, y $c$ es una constante, entonces las siguientes funciones también están garantizadas de ser continuas en $x = a$:

1. Suma y Resta: $f + g$ y $f - g$
2. Múltiplo Constante: $c \cdot f$
3. Producto: $f \cdot g$
4. Cociente: $\frac{f}{g}$ (condicionado estrictamente a que $g(a) \neq 0$)

B. Teorema de Continuidad de Funciones Base:

• Cualquier polinomio $P(x)$ es continuo en todas partes (su dominio son todos los números reales, $\mathbb{R}$).
• Cualquier función racional $R(x) = \frac{P(x)}{Q(x)}$ es continua en todo su dominio (es decir, en todos los valores excepto donde el denominador $Q(x) = 0$).
• Las funciones trigonométricas, exponenciales y logarítmicas son continuas en todos los puntos de sus respectivos dominios.

C. Teorema de la Función Compuesta:

Si una función $f$ es continua en $a$ y una función $g$ es continua en $f(a)$, entonces la función compuesta $(g \circ f)(x) = g(f(x))$ es continua en $a$.

Este teorema permite una manipulación analítica muy poderosa, permitiendo "introducir" el límite dentro de la función externa:

$$ \lim_{x \to a} g(f(x)) = g\left( \lim_{x \to a} f(x) \right) $$

3. El Teorema del Valor Intermedio (Intermediate Value Theorem - IVT)

Este es uno de los teoremas de existencia más importantes del cálculo diferencial. No nos da una fórmula para calcular un valor exacto, pero demuestra irrefutablemente que dicho valor existe.

Concepto Fundamental:

Si estás viajando de manera continua desde una altitud de 1000 metros hasta una altitud de 500 metros, es físicamente imposible que lo hagas sin haber pasado en algún momento exacto por la altitud de 800 metros. La continuidad prohíbe saltarse valores intermedios.

Enunciado Formal del Teorema (IVT):

Supongamos que $f$ es una función continua en el intervalo cerrado $[a, b]$ y sea $N$ cualquier número estrictamente entre $f(a)$ y $f(b)$, donde $f(a) \neq f(b)$.

Entonces, el teorema garantiza que existe al menos un número $c$ en el intervalo abierto $(a, b)$ tal que:

$$ f(c) = N $$

Demostración y Aplicación Analítica (Búsqueda de Raíces):

La aplicación más crítica del IVT en ingeniería y matemáticas puras es demostrar que una ecuación tiene solución (una raíz), incluso si no sabemos cómo despejarla.

Problema: Demostrar que el polinomio $f(x) = x^3 - x - 1 = 0$ tiene al menos una raíz real entre $x = 1$ y $x = 2$.

1. Verificación de Continuidad: Como $f(x)$ es un polinomio, sabemos por el teorema de funciones base que es continuo en todos los números reales, y por ende, es continuo en el intervalo cerrado $[1, 2]$.
2. Evaluación en los extremos:

• Evaluamos en $x = 1$:
• $$ f(1) = (1)^3 - (1) - 1 = -1 $$
• Evaluamos en $x = 2$:
• $$ f(2) = (2)^3 - (2) - 1 = 5 $$

1. Aplicación del IVT:
2. El valor objetivo que buscamos es $N = 0$ (ya que queremos que $f(x) = 0$).
3. Observamos que el valor $N = 0$ se encuentra estrictamente entre $f(1) = -1$ y $f(2) = 5$.
4. $$ -1 < 0 < 5 $$
5. $$ f(1) < N < f(2) $$
6. Conclusión Analítica:
7. Por el Teorema del Valor Intermedio, como la gráfica de la función continua debe conectar el punto $(1, -1)$ bajo el eje X con el punto $(2, 5)$ sobre el eje X, la curva está obligada a cruzar el eje X en algún punto intermedio. Por lo tanto, existe un número $c$ en el intervalo $(1, 2)$ tal que $f(c) = 0$. La ecuación tiene solución comprobada.