Teorema de Bolzano Weierstrass Si X n n es una sucesin acotada tiene puntos de acumulacin.

Ms aun se pueden encontrar dos subsucesiones de X n n convergentes

para cualquier subsucesion Y p de X n n convergente se verifica :

k p
 

lim
  

lim y p
  

lim
  

Demostracin :
# & " $ %#

xm m n
"  # "

xm m n 1
! 

a n n es una sucesin montona creciente b n n es una sucesin montona decreciente

  2 45   2 43 

a1 a2
  6

an bn

b2 b1

Encontramos subsucesiones que convergen a y

# " C

Lo suponemos cierto para k

1
 

Analogamente se encuentra b n que converge a

k

xn

por el T del Sanwich

&I

1


&

an

xn

an

1 k 1

G H&

tomando lmites cuando n k

&

1


&

1 k 1
& 

an

xn

an

1 k 1

1


&

&

"

) (

n2

: n 2 n1 1 n1 a n

xn

an

1 2

1


&

"

&

"

Sea

an

Inf x m m n1 1

an

no es cota inferior de

1 2


&

"

) 3(

n1

: n1 1 a1 x n

a1 1

x m m n1 1

"

Sea

a1 Inf x m m 1
D

a1 no es cota inferior de

Y p X n subsuc. conv.

  B

  

np

xm m 1

lim b n

an

xn

bn

lim x n

 9 

lim a n

a1 a n b1 a1 b n b1
 

an

y b n n estan acotadas

1


"

0#

&

"

" 1#

"

 

 @

) (

b n Supr x m m n

bn

Supr x m m n 1

bn bn

1


0#

&

"

) (

a n Inf x m m n

an

Inf x m m n 1

  !

   8 ' '

an an

1 1