Duda con la demostración 2.26 | Toda sucesión tiene una subsucesion convergente

Duda con la demostración 2.26 | Toda sucesión tiene una subsucesion convergente

de Daniel Padron Simon -
Número de respuestas: 1

Buenas. 

Tengo una duda en una parte especifica de la demostración. 

Cuando estamos trabajado con un rango de infinitos elementos, por medio del anterior teorema (Bolzano - Weierstrass) me garantiza que hay un punto de acumulación. Por lo tanto vamos construyendo punto a punto la sub-sucesion tomando los radios cada vez mas chicos. 

Mi pregunta es, como uno puede estar seguro que el indice del 'an' sea mayor a todos los anteriormente seleccionados. 

En otras palabras. Si para epison < 1/2 elegí a a5. Como puedo saber que cuando epison sea < 1/4 el an que voy a elegir tiene un indice necesariamente sea mayor. Pense que podría ser porque hay infinitos puntos, pero no se si esto sea prueba suficiente. 

¿Me pueden ayudar con esto?

Saludos

Daniel  

En respuesta a Daniel Padron Simon

Re: Duda con la demostración 2.26 | Toda sucesión tiene una subsucesion convergente

de Veronica Rumbo -

Exacto, es porque hay infinitos puntos.

O sea, tomando tu ejemplo, capaz que para  \epsilon = 1/4 resulta que el punto a_3 te sirve. Pero eso no importa. Lo que sí importa es que además vas a tener un punto que te sirva con un índice mayor al a_5 anterior (por que son infinitos puntos los que tenés para elegir).