Teorema de Bolzano-Weierstrass

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

teorema que caracteriza los conjuntos compactos secuencialmente.
En el anlisis real, el teorema de Bolzano-Weierstrass es un resultado
fundamental referente a 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
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 {\displaystyle \{x_{n_{j}}\}} {\displaystyle \{x_{n_{j}}\}}
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 {\displaystyle x_{n_{2}}\geq x_{n_{1}}.} {\displaystyle
x_{n_{2}}\geq x_{n_{1}}.} Una vez ms, n2 > N no es un pico, por lo tanto
hay n3 > n2 con {\displaystyle x_{n_{3}}\geq x_{n_{2}}.} {\displaystyle
x_{n_{3}}\geq x_{n_{2}}.} Repetiendo este proceso conduce a una
subsucesin infinita no decreciente {\displaystyle x_{n_{1}}\leq
x_{n_{2}}\leq x_{n_{3}}\leq \ldots } {\displaystyle x_{n_{1}}\leq
x_{n_{2}}\leq x_{n_{3}}\leq \ldots }, 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.
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.