Demostrar directamente a partir de la definición que $({1\over2}+\frac{1}{2^2}+...+\frac{1}{2^n})_n $ es Cauchy

Question

Demostrar directamente a partir de la definición que $({1\over2}+\frac{1}{2^2}+...+\frac{1}{2^n})_n$ es cauchy Sé por la definición de Cauchy que | $x_n$ - $x_m$ |< Pero, ¿cómo se puede hacer esto con el $\frac{1}{2^n}- \frac{1}{2^m}$ |

lo que he probado: si $n\gt m$ entonces $$ |\frac{1}{2^n}- \frac{1}{2^m}| \le |\frac{2^m-2^n}{2^n2^m}| \le |\frac{2^m +2^n}{2^{n+m}}| \le \frac{2^n+2^n}{2^{2n}}= \frac{1}{2^{n-1}} \le \frac{1}{2^{N-1}} \le \epsilon $$
y reordenar para obtener N $ \ge 1+ \frac{ln(\epsilon)}{ln(2)}$ ¿es esto correcto?

Answer 1

Dejemos que $S_n=\sum_{k=1}^n\frac{1}{2^k}$ . Entonces, tenemos para cualquier $\epsilon>0$

$$\begin{align} \left|S_n-S_m\right|&=\left|\sum_{k=\min(m,n)+1}^{\max(m.n)}\frac{1}{2^k}\right|\\\\ &=\left|\frac{1}{2^{\min(n,m)}}-\frac{1}{2^{\max(m,n)}}\right|\\\\ &\le \frac{1}{2^{\min(n,m)-1}}\\\\ &<\epsilon \end{align}$$

siempre que $\min(n,m)>1-\frac{\log(\epsilon)}{\log(2)}$

Answer 2

Para demostrar que la serie satisface la condición de Cauchy hay que estimar, para $n,p\in\mathbb{N}$ la diferencia $$ \sum_{j=n}^{n+p} \frac{1}{2^j} = \frac{1}{2^{n-1}}\left(1 - \frac{1}{2^{p+1}}\right) < \frac{1}{2^{n-1}}\,. $$ Dado $\varepsilon > 0$ basta con elegir $N > 1 - \log_2\varepsilon$ para que $$ \sum_{j=n}^{n+p} \frac{1}{2^j} < \varepsilon \qquad \forall n> N, \ p\in\mathbb{N}. $$

Answer 3

$S_m,S_n $ son las sumas parciales del problema:

$|S_n - S_m| =|1/2^n -1/2^m|;$

Dejemos que $\epsilon \gt 0$ ser dado .

Elija $N_0$ tal que $N_0 \gt 2 (1/\epsilon)$ . (Arquímedes)

Entonces:

Para $m,n \gt N_0 :$

$|S_n-S_m| = |1/2^n-1/2^m| \lt $

$|1/2^n|+|1/2^m| \lt 1/n +1/m \lt$

$2/N_0 \lt \epsilon.$