Teorema del valor extremo

01 · Antes de buscar

¿Sabemos que la solución existe?

Un procedimiento de optimización puede generar candidatos y compararlos, pero primero conviene responder una pregunta más básica: ¿la función alcanza realmente un valor máximo y uno mínimo?

El Teorema del Valor Extremo ofrece una garantía poderosa. Bajo dos condiciones sencillas, asegura que ambos extremos absolutos existen.

02 · Enunciado preciso

Una función continua sobre [a, b]

Si f es continua en el intervalo cerrado y acotado [a, b], entonces existen puntos c y d pertenecientes a [a, b] tales que:

En otras palabras:

• f(c) es el mínimo absoluto de f en [a, b].
• f(d) es el máximo absoluto de f en [a, b].
• Los valores están alcanzados por entradas válidas del intervalo.

Los puntos c y d pueden ser interiores, fronteras o incluso coincidir si la función es constante.

03 · Las hipótesis

Continuidad, cierre y acotación

Las tres ideas trabajan juntas. La continuidad controla el comportamiento de la función; el intervalo cerrado impide perder valores límite en fronteras excluidas; la acotación evita escapar indefinidamente.

04 · Qué afirma y qué no

Una garantía de existencia, no un localizador

Después de obtener la garantía necesitamos otro procedimiento para localizar candidatos y comparar sus valores.

05 · Interpretación geométrica

Una curva continua atrapada entre dos fronteras

Imaginemos que recorremos una curva continua desde x = a hasta x = b. El intervalo no tiene entradas faltantes y no permite alejarse al infinito. La curva tampoco puede saltar ni explotar dentro del recorrido.

En esas condiciones, la gráfica debe alcanzar una altura más baja y una más alta. Puede alcanzarlas varias veces, pero no puede limitarse a acercarse sin llegar.

En lenguaje más avanzado, un intervalo cerrado y acotado es compacto, y la imagen continua de un conjunto compacto también es compacta. En ℝ, esto implica que la imagen es cerrada y acotada.

06 · Si falta el cierre

Una función continua puede no alcanzar las fronteras

Sea f(x) = x en el intervalo abierto (0, 1). La función es continua y el intervalo está acotado, pero las fronteras no pertenecen al dominio.

Los valores se aproximan a 0 y 1, pero no los alcanzan. Por lo tanto, no hay mínimo ni máximo absoluto.

07 · Si falta la acotación

La función puede escapar hacia infinito

La función f(x) = x es continua en todo ℝ, un conjunto cerrado pero no acotado. Para cualquier valor propuesto como máximo, podemos elegir una entrada mayor. Para cualquier mínimo, podemos elegir una entrada menor.

Otro ejemplo es x² en ℝ: tiene mínimo absoluto en cero, pero no máximo. Cuando falla una hipótesis, el teorema deja de garantizar ambos extremos; no afirma que necesariamente desaparezcan los dos.

08 · Si falta la continuidad

Un intervalo perfecto no corrige un salto

Definamos en [0, 1]:

El dominio es cerrado y acotado, pero la función es discontinua en x = 1. Sus valores se acercan a 1 desde abajo y luego saltan a 0.

El supremo es 1, pero ninguna entrada lo alcanza. No existe máximo absoluto. Sí existe mínimo absoluto 0, alcanzado en x = 0 y x = 1.

09 · Condiciones suficientes

Fallar una hipótesis no decide el resultado

Las condiciones del teorema son suficientes, no necesarias. Si se cumplen, la existencia queda garantizada. Si alguna falla, debemos analizar el caso; los extremos podrían existir de todos modos.

Por lo tanto, no usamos el teorema para negar existencia. Solo lo usamos para afirmarla cuando sus hipótesis están presentes.

10 · Aplicación directa

Un polinomio sobre un intervalo cerrado

Sea f(x) = x³ − 3x en [−2, 2].

1. Todo polinomio es continuo en ℝ, por lo tanto es continuo en [−2, 2].
2. El intervalo [−2, 2] es cerrado.
3. También es acotado.

El Teorema del Valor Extremo garantiza que f alcanza máximo y mínimo absolutos. Para localizarlos, usamos puntos críticos y fronteras:

Al evaluar obtenemos valores −2, 2, −2 y 2. Ambos extremos existen y cada uno se alcanza en dos entradas.

11 · Verificar continuidad

Funciones por partes y puntos de unión

Para aplicar el teorema a una función por partes debemos comprobar continuidad en cada tramo y en los puntos donde cambia la fórmula.

Si esta igualdad se cumple en todas las uniones y las fórmulas son continuas en sus respectivos tramos, la función completa es continua. Entonces, sobre un intervalo cerrado y acotado, los extremos quedan garantizados.

Que una función no sea derivable en una esquina no impide aplicar el Teorema del Valor Extremo. Este teorema exige continuidad, no derivabilidad.

12 · Analogía computacional

Una colección finita siempre tiene extremos

En un arreglo finito no necesitamos continuidad: si contiene al menos un número, podemos recorrer todos sus elementos y encontrar un mínimo y un máximo.

El Teorema del Valor Extremo cumple un papel análogo para un continuo de entradas. Aunque [a, b] contiene infinitos puntos, su compacidad y la continuidad impiden que la búsqueda «escape» o pierda las cotas.

Arreglo finito

La enumeración completa garantiza que el menor y el mayor elemento están presentes.

Intervalo continuo

No puede enumerarse; la garantía proviene de propiedades matemáticas del dominio y la función.

13 · Modelos bien planteados

Garantizar una solución antes de programar la búsqueda

En problemas aplicados, limitar un parámetro a un intervalo cerrado puede transformar una búsqueda incierta en un problema con solución garantizada, siempre que la función objetivo sea continua.

Configuración

Restringir un parámetro a [mínimoSeguro, máximoSeguro].

Diseño

Trabajar con dimensiones positivas dentro de límites físicos alcanzables.

Rendimiento

Modelar una métrica continua sobre un rango cerrado de carga.

Simulación

Buscar picos y valles durante un intervalo temporal finito que incluye sus extremos.

La garantía matemática no elimina los errores numéricos ni asegura que un algoritmo encuentre la solución exacta. Sí confirma que existe un objetivo real que vale la pena buscar.

14 · Exploración interactiva

Laboratorio: cambiar una hipótesis

Compará cinco escenarios. El gráfico distingue fronteras incluidas, fronteras excluidas y saltos. La escala permite observar mejor los casos con dominio no acotado.

Los círculos llenos representan entradas incluidas y los círculos vacíos valores excluidos o no alcanzados.

Preguntas para explorar

1. Compará x² en el intervalo cerrado y en el abierto. ¿Cuál de los dos extremos se pierde?
2. En la función lineal sobre (0, 1), explicá por qué no se alcanza ninguna cota.
3. En el caso discontinuo, observá el salto en la frontera derecha. ¿Dónde queda el supremo?
4. Aumentá la escala del dominio no acotado. ¿Qué ocurre con los valores de x²?

15 · Implementación

Representar las hipótesis antes de buscar

Un programa no puede deducir continuidad de una función JavaScript arbitraria, pero puede exigir que el modelo declare las propiedades demostradas por quien lo construye:

function verificarGarantia(modelo) {
  const dominioCompacto = modelo.intervalo.cerrado
    && Number.isFinite(modelo.intervalo.a)
    && Number.isFinite(modelo.intervalo.b);

  return {
    continua: modelo.continua,
    dominioCompacto,
    extremosGarantizados: modelo.continua && dominioCompacto
  };
}

const modelo = {
  f: x => x ** 3 - 3 * x,
  continua: true,
  intervalo: { a: -2, b: 2, cerrado: true }
};

console.log(verificarGarantia(modelo));

La propiedad continua es metadato respaldado por análisis matemático; el programa no la demuestra automáticamente.

Comparar candidatos después de obtener la garantía

function evaluarCandidatos(f, candidatos) {
  if (candidatos.length === 0) {
    throw new Error("La lista de candidatos está vacía");
  }

  const puntos = candidatos.map(x => ({ x, y: f(x) }));
  let minimo = puntos[0];
  let maximo = puntos[0];

  for (const punto of puntos.slice(1)) {
    if (punto.y < minimo.y) minimo = punto;
    if (punto.y > maximo.y) maximo = punto;
  }
  return { minimo, maximo };
}

const f = x => x ** 3 - 3 * x;
console.log(evaluarCandidatos(f, [-2, -1, 1, 2]));

16 · Comprensión

Confusiones frecuentes

17 · Práctica guiada

Ejercicios de aplicación

Ejercicio 1: verificar hipótesis

¿Puede aplicarse el teorema a f(x) = √(x + 2) en [−2, 7]?

Ejercicio 2: intervalo semiabierto

¿El teorema garantiza extremos para f(x) = x² en [0, 2)?

Ejercicio 3: continuidad frente a derivabilidad

¿Puede aplicarse el teorema a f(x) = |x − 1| en [−2, 3]?

Ejercicio 4: dominio infinito

La función cos(x) tiene máximo y mínimo en ℝ. ¿Esto contradice el teorema?

Ejercicio 5: ordenar el razonamiento

Ordená estas etapas: comparar valores, verificar las hipótesis del teorema, generar candidatos.

18 · Síntesis

Ideas para recordar

En el próximo tema aprenderemos a clasificar puntos críticos mediante el criterio de la primera derivada.