Extremos Globales
Los extremos globales son los valores absolutamente más altos (máximo global) y absolutamente más bajos (mínimo global) que alcanza una función en todo su dominio o en un intervalo cerrado.
Definition
El máximo global es el único punto más alto de toda una gráfica, y el mínimo global es el único punto más bajo, los campeones de todos los valores en lugar de solo un vecindario local. El Teorema del Valor Extremo garantiza que toda función continua en un intervalo o conjunto cerrado y acotado (compacto) alcanza tanto un máximo global como un mínimo global; para encontrarlos, se evalúa $f$ en todos los puntos críticos y en los extremos del intervalo. En dominios abiertos o no acotados, los extremos globales podrían no existir.
Example
En un mapa de todas las montañas de la Tierra, el Monte Everest es la elevación máxima global y la Fosa de las Marianas es el mínimo global. Para $f(x) = x^3 - 3x$ en $[-2, 2]$: $f'(x) = 3x^2 - 3 = 0$ en $x = \pm 1$; verificando $f(-2) = -2$, $f(-1) = 2$, $f(1) = -2$, $f(2) = 2$ se obtiene un máximo global de $2$ y un mínimo global de $-2$. En cambio, $f(x) = x$ en $(0, 1)$ es continua pero no tiene máximo ni mínimo global porque el intervalo es abierto.
Key Insight
Un extremo global supera a cualquier otro valor en todo el dominio, mientras que un extremo local solo supera a los valores cercanos, así que siempre revisa los extremos del intervalo, el extremo global en un intervalo cerrado a menudo ocurre ahí en vez de en un punto crítico interior. La compacidad es la condición estructural clave que garantiza la existencia de extremos globales, lo cual motiva la técnica práctica de convertir problemas sin restricciones en problemas con restricciones sobre conjuntos factibles compactos, abordados mediante multiplicadores de Lagrange o programación dinámica.