TEOREMAS DE BOLZANO - WEIERSTRASS

1.- APROXIMACIN A LOS TEOREMAS.

A) DEFINICIONES BSICAS.
Recordars que, si a y b son nmeros reales, con a<b, el intervalo cerrado [a,b] es
el conjunto de nmeros reales mayores o iguales que a y menores o iguales
que b, es decir, [a,b]= {x R | a x b}.
Tambin sabes que una funcin f(x) es continua en un punto x0 R si coincide el
valor de la funcin en el punto x0 con el lmite de la funcin cuando x tiende a x0 .
Intuitivamente, significa que los valores que toma la funcin en puntos prximos a
x0 estn cerca del valor que toma en x0.
Una funcin es continua en un intervalo cerrado [a,b] si es continua en cada uno
de sus puntos.
Intuitivamente, significa que la grfica de la funcin en [a,b] no se corta, que se
puede recorrer con un solo trazo.
B) TEOREMA DE BOLZANO.
Sea pues f(x) una funcin continua en un intervalo cerrado [a,b] de la recta real,
es decir, su grfica no se corta. Supongamos que f(a) y f(b) sean valores de
distinto signo (por ejemplo, f(a)>0 y f(b)<0), o lo que es lo mismo, que la grfica
de f(x) tenga un punto por encima del eje horizontal (el (a,f(a))) y otro por debajo
(el (b,f(b))). Parece lgico pensar que la grfica de f(x) corte al eje horizontal, o
dicho de otra forma, que f(x) se anule en algn punto c del intervalo [a,b] y al no
anularse en los extremos, debe hacerlo en el intervalo abierto (a,b).

Eso es precisamente lo que dice el teorema de Bolzano: si f(x) es una funcin

continua en un intervalo cerrado [a,b] y toma valores de distinto signo en los
extremos del intervalo, se anula en al menos un punto c del intervalo abierto (a,b).

El teorema no dice cul es el punto c en el que se anula la funcin ni el nmero de

puntos en los que se anula; tan slo dice que se anula en algn (o algunos) punto
del intervalo abierto.
Al punto en el que se anula la funcin f(x) se le suele llamar raz (o cero) de f(x),
luego la tesis del teorema dice que f(x) tiene al menos una raz en (a,b).
El teorema de Bolzano se usa, sobre todo, para hallar aproximaciones a las races
de las ecuaciones, es decir, a los ceros de las funciones, segn se ver en el
apartado dedicado a problemas.
Tambin parece intuitivo que una funcin f(x) continua en el intervalo [a,b] tome
cualquier valor comprendido entre f(a) y f(b). Esta es una consecuencia sencilla
del teorema de Bolzano y se llama teorema de Darboux o de los valores
intermedios.

El teorema de Darboux se demuestra fcilmente: si p es un nmero real

comprendido entre f(a) y f(b), basta aplicar el teorema de Bolzano a la funcin f(x)p.
C) TEOREMA DE WEIERSTRASS.
Si

f(x)

est

definida

en

[a,b],

decimos

que tiene

un mximo

absoluto en x1 [a,b] si f(x1) f(x), para todo x [a,b]. La funcin f(x) tiene un mnimo
absoluto en el punto x2 [a,b] si f(x2) f(x), para todo x [a,b].
Hay otra propiedad que parece que debe cumplir una funcin continua f(x) en un
intervalo cerrado [a,b] que es la siguiente: la funcin, al dibujarse con un solo trazo
en el intervalo cerrado, no puede tomar valores que crezcan indefinidamente tanto
por arriba como por abajo (como podra hacer en un intervalo abierto); ms bien,
parece que los valores que toma deben estar limitados, es decir, que la funcin
debe tener un mximo y un mnimo absolutos. Esto es lo que asegura el teorema
de Weierstrass que dice:
Si una funcin f(x) es continua en un intervalo cerrado [a,b], tiene en [a,b] un
mximo y un mnimo absolutos, al menos.

Tampoco dice nada el teorema sobre los puntos en los que la funcin alcanza los
extremos ni cuntos de stos tiene.
Una sencilla consecuencia del teorema de Weierstrass es que, si f(x) es continua
en [a,b] y llamamos m al mnimo y M al mximo de f(x) en [a,b], la imagen de f es
el intervalo [m, M] y por tanto, la funcin est acotada.
El teorema de Bolzano y el de Weierstrass son resultados que parecen intuitivos y
evidentes pero demostrarlos rigurosamente es dficil, ya que es necesario usar
propiedades "profundas" de la estructura de la recta real (habitualmente se
demuestran usando la propiedad de existencia del supremo o la de los
intervalos encajados). Las demostraciones se salen del nivel de este curso por lo
que no aparecen aqu.
D) NOTAS BIOGRFICAS SOBRE BOLZANO Y WEIERSTRASS.
Quiz tengas curiosidad por saber quines fueron los dos matemticos que dan
nombre a los teoremas que estudiamos en esta leccin; aqu tienes una escueta
informacin sobre la vida y obra de cada uno de ellos.
Bernhard

Bolzano fu

un

sacerdote

catlico,

filsofo

matemtico

checoslovaco, de ascendencia italiana, nacido y muerto en Praga (1.781-1.848).

Se adelant a los analistas del siglo XIX en conceptos tales como funcin
continua, criterios de convergencia de series, etc.
En su obra ms importante "Paradojas del infinito" (publicada hacia 1.847) se
reconoce por primera vez la necesidad de demostrar rigurosamente proposiciones
aparentemente evidentes, aunque sus ideas son ms filosficas que matemticas.
Contribuy a la sistematizacin de la teora de funciones y fu un precursor de la
aritmetizacin del anlisis, enunciando en 1.817 el teorema que estudiamos aqu.

Como filsofo, fu un profundo conocedor de la filosofa escolstica y uno de los

fundadores de la fenomenologa.
Karl Weierstrass fu un matemtico alemn, nacido en Ostenfelde y muerto en
Berln (1.815-1.897).
Fu profesor del Instituto Industrial y de la Universidad de Berln, donde tuvo a H.
E. Heine como alumno.
Introdujo el rigor matemtico en el clculo de variaciones y di un ejemplo de
funcin continua no derivable en ningn punto.
Investig en diversos campos de las Matemticas, destacando sobre todo, en
anlisis funcional y funciones analticas y elpticas, siendo uno de los matemticos
que culminaron las investigaciones en torno a la idea de funcin y su
aromatizacin.

TEOREMA DE BOLZANO-WEIERSTRASS

En el anlisis real, el teorema de BolzanoWeierstrass es un importante teorema

que caracteriza los conjuntos secuencialmente compactos.
ENUNCIADO
En el anlisis real, el teorema de Bolzano-Weierstrass es un resultado
fundamental

referente

la

convergencia

en

un

espacio

eucldeo

dimensionalmente finito Rn. El teorema establece que cada sucesin acotada en

Rn tiene una subsucesin convergente. Una formulacin equivalente es que un
subconjunto de Rn es secuencialmente compacto si y slo si es cerrado y
acotado.
DEMOSTRACION
En primer lugar, aplicando el mtodo de induccin matemtica, demostraremos el
teorema cuando n = 1, en cuyo caso el orden de R se puede poner a buen uso. De
hecho tenemos el siguiente resultado.
Lema: Cada sucesin {xn} en R tiene una subsucesin montona.
Demostracin: Vamos a llamar a un nmero entero positivo n un "pico de la
secuencia", si m> n implica xn > xm es decir, si xn es mayor que todos los trminos
siguientes de la secuencia. Supongamos primero que la secuencia tiene picos
infinitos, n1 < n2 <n3 < < nj < Entonces la subsecuencia correspondiente

a los picos es montonamente creciente, y ya est. As que supongamos

ahora que slo hay un nmero finito de picos, sea N el ltimo pico y n1 = N + 1.
Luego n1 no es un pico, ya que n1 > N, lo que implica la existencia de
un n2 > n1 con

Una vez ms, n2 > N no es un pico, por lo tanto

hay n3 > n2 con

Repetiendo este proceso conduce a una subsucesin

infinita no decreciente

, si lo desea.

Ahora supongamos que tenemos una secuencia acotada en R, por el Lema existe
una subsucesin montona, necesariamente limitada. Pero se sigue del teorema
de convergencia montona que esta subsecuencia deben converger, y la prueba
es completa. Por ltimo, el caso general puede ser fcilmente reducida al caso de
n = 1 como sigue: dada una secuencia limitada en Rn, la secuencia de las primeras
coordenadas es una secuencia real limitado, por lo tanto tiene una subsucesin
convergente. A continuacin, puede extraer un subsubsucesin en el que
convergen las segundas coordenadas, y as sucesivamente, hasta que al final
hemos pasado de la secuencia original a subsecuencia n veces - que sigue siendo
una subsecuencia de la secuencia original - en la que cada coordenada converge
secuencia , por lo tanto, la propia subsucesin es convergente.

COMPACIDAD SECUENCIAL EN ESPACIOS EUCLDEOS

Supongamos que A es un subconjunto de Rn con la propiedad de que toda
sucesin en A tiene una subsucesin convergente a un elemento de A. Entonces,
A debe ser limitada, pues de lo contrario existe una secuencia en la xm en A con ||
xm|| m para todos los m, y luego cada subsecuencia es ilimitada y por tanto no
convergentes. Por otra parte A debe ser cerrado, ya que desde un punto de no
interior x en el complemento de A se puede construir una secuencia A con valores
de convergencia a x. As, los subconjuntos A, de Rn, para que cada secuencia en
la A tiene una subsucesin convergente a un elemento de A

es decir, los

subconjuntos que estn secuencialmente compacto en la topologa de subespacio

son precisamente los conjuntos cerrados y limitados. Esta forma del teorema
hace especialmente clara la analoga con el Teorema de Heine-Borel, que afirma
que un subconjunto de Rn es compacto si y solo si es cerrado y acotado. De
hecho, la topologa general nos dice que un espacio es compacto metrizable si y
solo si es secuencialmente compacto, de modo que la de Bolzano-Weierstrass y el
teorema de Heine-Borel son esencialmente los mismos.

HISTORIA
El teorema de Bolzano-Weierstrass lleva el nombre de matemticos Bernard
Bolzano y Karl Weierstrass. En realidad, fue demostrado por primera vez por
Bolzano en 1817 como un lema en la demostracin del teorema de valor
intermedio. Unos cincuenta aos ms tarde, el resultado fue identificado como
significativo por derecho propio, y demostrado una vez ms por Weierstrass.
Desde entonces se ha convertido en un teorema fundamental del anlisis.
EJERCICIO

2
1 Demuestra que la funcin f(x) = x 4x + 2 corta al eje

de las abscisas en el intervalo [0,2].Se puede decir lo

mismo de la funcin:

2 Sea la funcin:

Se puede afirmar que f(x) est acotada en el intervalo

[1,4]?

2
3 Sea la funcin f(x)= x + 1. Se puede afirmar que la

funcin toma todos los valores del intervalo [1,5]?

4 Utilizando el teorema de Bolzano, demostrar que la

ecuacin: x 3 + x 5 = 0, tiene al menos una solucin x =
a tal que 1 < a < 2.

3
2
5 Sea la funcin f(x) = x x + 1. Se puede afirmar

que existe al menos un punto c en el interior del intervalo

[1,2] tal que f(c) = 0?

3
6 Justificar que la funcin polinmica f(x) = x + x + 1

tiene un cero comprendido entre 1 y 0.

x
7 Demostrar que la ecuacin e + 2 = x tiene al menos

una solucin real.

8 Demostrar que existe algn nmero real x tal que sen x

= x.

9 Dada la funcin:

Demuestra que existe un punto del intervalo abierto (2,

4) en el que f toma el valor 1.