Teorema que afirma que una función continua real definida en un conjunto compacto alcanza tanto un máximo como un mínimo (es decir, existen puntos donde la función logra su supremo e ínfimo globales).

Principio

La continuidad sobre un dominio compacto impide que los valores «se escapen» sin alcanzar un extremo; la compacidad junto con la continuidad garantiza la realización de extremos.

Demostración

Ejemplo: f(x)=x(1-x) en [0,1] es continua y alcanza su máximo 1/4 en x=1/2 y su mínimo 0 en x=0 y x=1, ilustrando la consecución concreta de extremos globales.

Aplicación incorrecta

Suponer que existen extremos en dominios no compactos (por ejemplo f(x)=x en (0,1) no tiene máximo aunque existe sup) o para funciones discontinuas; tales errores conducen a conclusiones de optimización incorrectas.

Consecuencia

Garantiza la existencia de soluciones a problemas de optimización sobre conjuntos compactos y respalda argumentos que requieren máximos o mínimos globales, como demostrar existencia de minimizadores en problemas variacionales.

Inversión

La recíproca falla: que una función alcance máximos y mínimos en un conjunto no implica que el conjunto sea compacto ni que la función sea continua; la realización puede darse por accidente en conjuntos no compactos o para ciertas funciones discontinuas.

Límite

Se aplica a funciones reales continuas en subconjuntos compactos del espacio euclidiano (o en espacios topológicos compactos). Excluye dominios no compactos, aplicaciones discontinuas y situaciones en que solo se consideran extremos locales.

Tensión semántica

Tensión entre supremo/ínfimo y realización: el teorema garantiza la realización (max/min), no solamente la existencia de sup/inf; la confusión aparece cuando se confunde la realización condicionada por compacidad con la mera acotación o existencia de supremos.

Síntesis

El teorema del valor extremo combina la compacidad topológica con la continuidad para asegurar que los extremos globales no sean meros valores límite sino que se realicen en puntos concretos del dominio, ofreciendo un resultado de existencia fundamental para la optimización global en conjuntos compactos.