El título es engañoso, porque la tarea de mostrar
Cada monótona creciente y acotada secuencia $(x_n)_{n\in\mathbb{N}}$ es de Cauchy
sin saber que:
- Cada delimitada conjunto no vacío de números reales tiene al menos un superior enlazado. (Supremum/Integridad Axioma)
- Una secuencia converge si y sólo si es de Cauchy. (De Cauchy
Criterio) - Cada monotónica creciente/decreciente, acotada y real
secuencia converge a la supremum/infimum del codominio (no estoy seguro si esta es la palabra correcta).
Sin embargo, lo que es permitido el uso de los mencionados así:
- Una secuencia se llama covergent, si por $\forall\varepsilon>0\,\,\exists N\in\mathbb{N}$, de modo que $|\,a_n - a\,| < \varepsilon$$\forall n>N$. (Definición de Convergencia)
- Una secuencia $(a'_k)_{k≥1}$ se llama una larga de una secuencia $(a_n)_{n≥1}$, si hay una monótona creciente secuencia $(n_k)_{k≥1}\in\mathbb{N}$, de modo que $a'_{k} = a_{n_{k}}$$\forall k≥1$. (Definición de una Larga)
- Una secuencia $(a_n)_{n≥1}$ es de Cauchy, si por $\forall\varepsilon>0\,\,\exists N=N(\varepsilon)\in\mathbb{N}$, de modo que $|\,a_m - a_n\,| < \varepsilon$$\forall m,n>N$. (Definición de una Secuencia de Cauchy)
- (Sugerencia) La secuencia de $(\varepsilon\cdot\ell)_{\ell\in\mathbb{N}}$ es ilimitado para $\varepsilon>0$. (Principio De Arquímedes)
Agradecería cualquier ayuda.