Teorema de Acotación

Ya hemos estudiado qué significa que una función esté acotada.

Gráficas del teorema de acotación

Intuitivamente es fácil entender que cualquier función continua en un intervalo cerrado es continua en él. Observa que la condición exige que el intervalo sea cerrado, como ocurre en las funciones representadas en las gráficas 1 y 2. Cuando el intervalo es abierto, el teorema no puede asegurar nada. Observa lo que ucurre en la función del ejemplo 3. Para cualquier y=k Siempre es posible encontrar un valor de x lo suficientemente próximo a 0 por su derecha que haga f(x)>k, con lo que la función no está acotada.

Demostración

Para demostrar el teorema de acotación nos basaremos en las dos ideas siguientes, similares a las que utilizamos para demostrar el teorema de Bolzano:

• Teorema de los intervalos encajados

  Sea una sucesión de intervalos cerrados I₁=[a₁,b₁], I₂=[a₂,b₂], I₃=[a₃,b₃]... I_n=[a_n,b_n], tales que I₁⊃I₂⊃I₃...⊃I_n y las longitudes de los mismos b_n-a_n tiende a 0. Existe entonces un único valor c que es común a todos ellos. Matemáticamente: $c=\underset{n\in \mathrm{\mathbb{N}}}{\cap }{I}_n$

• Propiedad de las funciones continuas

  Basándonos en la propia definición de función continua, sabemos que cuando una función es continua en un punto x₀, existe un entorno de x₀ en el que la función está acotada

A partir de aquí, comenzamos suponiendo un intervalo [a,b] en el que la función no está acotada. Su punto medio, c₁ da lugar a dos subintervalos [a, c₁], y [c₁, b]. En uno ellos, al menos, la fución no está acotada (de estarlo en los dos, la fución estaría acotada en [a,b] y hemos supuesto que no lo está). A ese subintervalo lo llamamos [a₁,b₁].

Repetimos el razonamiento para ese [a₁,b₁] , considerando el punto medio c₂, que a su vez da lugar a dos subintervalos de [a₁,b₁] en uno de los cuales la función no está acotada. Repitiendo el proceso, podemos afirmar que tenemos una sucesión de intervalos encajados en los que la función no está acotada, cuya longitud viene dada por la expresión $\frac{b-a}{2^n}$. Dicha sucesión tiende a cero (es decir, las longitudes de los intervalos encajados tienden a 0). El teorema de los intervalos encajados nos permite asegurar que existe un punto común a todos ellos, que llamaremo c.

Sabemos que la función es continua en c, y por la propia definición de función continua debe existir un entorno en el que la función está acotada. Llamaremos a dicho entorno (c-δ, c+δ). En dicho entorno existen infinitos subtintervalos de la sucesión anterior (cuyas longitudes tendían a 0). En ellos la función no estaba acotada, lo cual se contradice con la propiedad de las funciones continuas, con lo cual hemos llegado a una contradicción. No queda más remedio que afirmar que la hipótesis de partida, es decir, que una función continua en [a,b] no está acotada, no es posible. Esto es justo lo que queríamos demostrar