I'm considering a possible alternate proof of an elementary theorem in functional analysis:
Let $(X, \|\cdot\|)$ be a normed space over $\mathbb{R}$ or $\mathbb{C}$. $X$ is Banach if and only if every absolutely convergent series in $X$ converges in $X$.
- Say $X$ is not Banach. That means there exists a non-convergent Cauchy sequence $(x_n)_{n=1}^\infty$. Is there a way to explicitly construct a non-convergent but absolutely convergent series in $X$ using the Cauchy series $(x_n)_{n=1}^\infty$?
- Conversely, say we have an absolutely convergent, but non-convergent series $\sum_{n=1}^\infty y_n$ in $X$. Is there a simple way to get one explicit non-convergent Cauchy series using this series?
My attempt:
- Let's try with defining a sequence $(z_n)_{n=1}^\infty$ with: \[z_1=x_1\] \[z_n=x_n-x_{n-1}, \forall n \geq 2\] Notice that $\sum_{n=1}^N z_n = x_N$ so $\sum_{n=1}^\infty z_n$ does not converge. But is it absolutely convergent? I have no idea.
- Consider the sequence $\left(\sum_{n=1}^N y_n\right)_{N=1}^\infty$. This sequence does not converge. We show that it is Cauchy: let $M \geq N \in \mathbb{N}$ \[\left\Vert\sum_{n=1}^M y_n - \sum_{n=1}^N y_n\right\Vert = \left\Vert\sum_{n=N+1}^M y_n\right\Vert \leq \sum_{n=N+1}^M \left\Vert y_n \right\Vert \leq \sum_{n=N+1}^\infty \left\Vert y_n \right\Vert \xrightarrow{M, N \to \infty} 0\] It seems that it is Cauchy. Is this correct?