El teorema de Weierstrass es uno de los resultados fundamentales del análisis matemático. Garantiza que una función continua definida en un intervalo cerrado y acotado asume necesariamente un valor máximo y un valor mínimo.
Índice
Teorema de Weierstrass
Sea \( f : [a, b] \to \mathbb{R} \) una función continua en un intervalo cerrado y acotado \( [a,b] \subseteq \mathbb{R} \). Entonces, \( f \) es acotada y admite un máximo y un mínimo absolutos en \( [a,b] \).
Demostración. Consideremos el conjunto de los valores que toma la función \( f \) en \( [a,b] \), que denotamos por \( f([a,b]) \). Como \( f \) es continua en \( [a,b] \), la imagen de \( f \) es cerrada. Además, dado que \( [a,b] \) es un intervalo cerrado y acotado, \( f([a,b]) \) es también un conjunto acotado.
Definimos:
\[ M = \sup f([a,b]) \quad \text{y} \quad m = \inf f([a,b]). \]
Nuestro objetivo es mostrar que existen puntos \( x_M, x_m \in [a,b] \) tales que: \[ f(x_M) = M \quad \text{y} \quad f(x_m) = m. \]
Existencia del máximo
Por la definición de \( M \) como supremo, existe una sucesión de valores \( \{ y_n \} \subseteq f([a,b]) \) tal que \( y_n \to M \). Esto implica que existe una sucesión de puntos \( \{ x_n \} \subseteq [a,b] \) tal que: \[ f(x_n) = y_n \to M. \] La sucesión \( \{ x_n \} \) está contenida en el intervalo compacto \( [a,b] \), por lo que, por el teorema de Bolzano-Weierstrass, admite una subsecuencia \( \{ x_{n_k} \} \) que converge a un punto \( x \in [a,b] \).
Por la continuidad de \( f \), se tiene: \[ f(x_{n_k}) \to f(x). \] Pero como \( f(x_{n_k}) \to M \), se sigue que: \[ f(x) = M. \] Por lo tanto, existe al menos un punto \( x_M \in [a,b] \) tal que \( f(x_M) = M \).
Existencia del mínimo
Ahora demostramos la existencia del mínimo con el mismo procedimiento. Por la definición de \( m \) como ínfimo, existe una sucesión \( \{ z_n \} \subseteq f([a,b]) \) tal que \( z_n \to m \). Luego, existe una sucesión de puntos \( \{ w_n \} \subseteq [a,b] \) tal que: \[ f(w_n) = z_n \to m. \] También en este caso, la sucesión \( \{ w_n \} \) está contenida en \( [a,b] \). Aplicando nuevamente el teorema de Bolzano-Weierstrass, existe una subsecuencia \( \{ w_{n_k} \} \) que converge a un punto \( x' \in [a,b] \).
Por la continuidad de \( f \), se tiene: \[ f(w_{n_k}) \to f(x'). \] Como \( f(w_{n_k}) \to m \), se sigue que: \[ f(x') = m. \] Por lo tanto, existe un punto \( x_m \in [a,b] \) tal que \( f(x_m) = m \).
Hemos demostrado que la función continua \( f \) definida en un intervalo cerrado y acotado \( [a,b] \) es acotada y alcanza sus valores máximo y mínimo en al menos un punto de \( [a,b] \).