Universidad de la República Cálculo diferencial e integral en varias variables

Facultad de Ingenierı́a - IMERL Primer Semestre 2019

Teorema de Bolzano

Teorema de Bolzano: Para toda an sucesión acotada existe una subsucesión convergente.

Para probar este teorema introduciremos el concepto de pico que definimos a continuación.

Def: Dada una sucesión an decimos que m ∈ N es un pico si para todo n > m se verifica que am ≥ an .
Ejemplos:
1
(i) Si an = n2 entonces todo m ∈ N es un pico.

(ii) Si (an ) es una sucesión decreciente entonces todo m ∈ N es un pico.

(iii) Si an = n3 entonces ningún m ∈ N es un pico.
(iv) Si (an ) es una sucesión creciente entonces ningún m ∈ N es un pico.

(v) Si
1

 si n es par,
n − 1


an =

 1
si n es impar,


n+1
entonces únicamente los pares son primos.

(v) Si
1


 si n es par, n ≤ 8



 n − 1



1

an = si n es impar n ≤ 8
n + 1





1 − 1



7 n
entonces únicamente 2, 4, 6 y 8 son picos.

Como se ve en estos ejemplos puede no haber picos, puede haber finitos y pueden ser infinitos.
Vamos a mostrar el siguiente lema haciendo uso de la definición de picos.

Lema 1. Para toda an sucesión a existe una subsucesión mónotona.

Demostración. Sea an una sucesión y sea P ⊂ N el conjunto de los picos de an . Como observamos anteriormente
P puede ser vacı́o, tener finitos elementos o infinitos elementos.

(CASO I) P tiene infinitos elementos. Llamamos n1 al menor pico de an . Como son infinitos existe n2 > n1 tal que
n2 es un pico. Analogamente existe n3 un pico tal que n3 > n2 . Construyo ası́

(nk ) : N → N

1
 una sucesión creciente de naturales, tal que cada nk es un un pico. Observar que por ser una sucesión
estrictamente creciente de naturales cumple:

lı́m nk = +∞.
k→+∞

Considero la subsucesión ank . Observar que si k > k 0 entonces nk > nk0 . Como nk0 es un pico:

ank ≤ ank0 .

Concluimos que (ank ) es una sucesión monótona decreciente.

(CASO II) P tiene finitos elementos o ningún elemento. Construiremos

(nk ) : N → N

una sucesión creciente de naturales, tal que cada nk no es un un pico. Sabemos que :

lı́m nk = +∞.
k→+∞

Determinamos el primer elemento n1 de (nk ), para esto deberemos separa según P sea o no vacı́o
(i) P = ∅, en este caso
n1 = 1
..
(ii) P 6= ∅, en este caso como P es finito existe sea mp el máximo de P . Sea

n1 = mp + 1.

Observar que en ambos caso n1 no es un pico y si n > n1 tampoco es un pico. Como n1 no es un pico
existe n2 > n1 tal que
an1 < an2
El natural n2 tampoco entonces es un pico existe n3 > n2 tal que

an2 < an3 .

Construyo ası́ (nk ) : N → N. Considero la subsucesión ank . Observar que si k > k 0 por construcción de los
nk :
ank > ank0 .
Concluimos que (ank ) es una sucesión estrictamente monótona creciente.

Estamos en condiciones de demostrar el teorema de Bolzano-Weiestrass.

Teorema 1. Para toda an sucesión acotada existe una subsucesión convergente.

Demostración. Usando el lema anterior sabemos que existge (ank ) una subsucesión convergente. Como (an ) es
acotada, (ank ) también lo es. Por el teorema de convergencia monótona tenemos que ank es convergente.