¿Cómo es correcta la siguiente demostración?
Reclamo: Si es un subconjunto ilimitado no vacío de R, entonces existe una secuencia con valores en que no tiene subsecuencias convergentes.
Prueba: Desde es ilimitado, para todos , existe de modo que (ya que si no estaría acotado arriba por y delimitado por abajo por , por lo tanto acotado). Suponer que es una subsecuencia convergente de . Entonces está ligado. Entonces, existe tal que para todos . Sin embargo, si elegimos de modo que , entonces , entonces . Contradicción.
Esto me parece erróneo. Supongamos que mi subsecuencia fuera que
Esa prueba es correcta. No lo olvides, para que es una subsecuencia, la secuencia debe ser una sucesión estrictamente creciente de números naturales. Por lo tanto, sí, , , etcétera…
Tenga en cuenta que en la primera línea de la prueba, debe ser que para cada existe un calle .
por ejemplo, tomar la secuencia ilimitada . claramente es ilimitado pero para todos .