I want to prove that $$c = \{ (x_n)_{n\geq 0} \mid x_n \in \Bbb C \text{ and the sequence converges} \}$$ with the norm $$ \left\|(x_n)_{n\geq 0}\right\|_{\infty} =\sup_{n\geq 0} |x_n|$$ is a Banach space. I have done some work, but I am having trouble concluding.
So far: let $(\xi_n)_{n\geq 0} = \left( (x_k^{(n)})_{k\geq 0} \right)_{n\geq 0}$ be a $\|\cdot\|_{\infty}$-Cauchy sequence. Let $\epsilon > 0$, there exists $n_0 \in \Bbb N$ such that: $$\begin{align} \| \xi_n – \xi_m \|_{\infty} &< \epsilon, \quad \forall\, n,m > n_0 \\ \sup_{k \geq 0} |x_k^{(n)}-x_k^{(m)}| &< \epsilon, \quad \forall\,n,m > n_0 \\ |x_k^{(n)} – x_k^{(m)}| &< \epsilon, \quad \forall\, k\geq 0, \quad \forall\,n,m > n_0 \end{align}$$ So fixed $k$, $(x_k^{(n)})_{n \geq 0}$ is a $|\cdot |$-Cauchy sequence, and since $\Bbb C$ is Banach, there exists a limit $\lim_{n\to \infty} x_k^{(n)} =: x_k$. Then define $\xi = (x_k)_{k \geq 0}$.
Now I understand I have two things to do:
-
prove that $\xi_n \stackrel{\|\cdot \|_{\infty}}{\longrightarrow} \xi $: we proceed as before. Let $\epsilon > 0$. Now, there is $n_0 \in \Bbb N$ such that: $$\begin{align} \| \xi_n – \xi_m \|_{\infty} &< \epsilon, \quad \forall\, n,m > n_0 \\ \sup_{k \geq 0} |x_k^{(n)}-x_k^{(m)}| &< \epsilon, \quad \forall\,n,m > n_0 \\ |x_k^{(n)} – x_k^{(m)}| &< \epsilon, \quad \forall\, k\geq 0, \quad \forall\,n,m > n_0 \\ \lim_{m \to \infty} |x_k^{(n)} – x_k^{(m)}| &\leq \epsilon, \quad \forall\,k\geq 0, \quad \forall\,n >n_0 \\ |x_k^{(n)} – x_k| &\leq \epsilon, \quad \forall\,k\geq 0 \quad \forall\, n>n_0 \\ \sup_{k\geq 0} |x_k^{(n)} – x_k| &\leq \epsilon,\quad \forall\, n > n_0 \\ \| \xi_n – \xi\|_{\infty} &\leq\epsilon, \quad \forall\,n>n_0, \end{align}$$ so ok.
-
prove that $\xi \in c$. I'm not sure of how to do this. I think I must use that every $(x_k^{(n)})_{k \geq 0}$ converge, because I don't seem to have used this yet.
How can I prove that $\xi \in c $?
Thanks.
Best Answer
Here is a sketch. I will use all of the same notations you are using (You should definitely check it for mistakes)
For each $n$, then sequence $\xi_n=(x^{(n)}_k)_{k\geq 0}$ is a convergent sequence (because it is in $c$), so let us say that $\xi_n=(x^{(n)}_k)_{k\geq 0}$ converges to $u_n \in \mathbb{C}$.
You can check that $|u_m-u_n|\leq ||\xi_m-\xi_n||_{\infty}$ for all $m,n \in \mathbb{N}$, so since $(\xi_n)_{n\geq 0}$ is a Cauchy sequence in $c$, it follows that $(u_n)_{n \geq 0}$ is a Cauchy sequence in $\mathbb{C}$, so there exists $u \in \mathbb{C}$ such that $\lim_{n\to \infty}u_n=u$.
I claim that the sequence $\xi=(x_k)_{k\geq 0}$ converges to $u$. The reason is that for any $n$ we have $$|x_k-u| \leq |x_k-x^{(n)}_k|+|x^{(n)}_k-u_n|+|u_n-u| $$ $$\;\;\;\;\;\;\;\;\;\;\;\;\;\leq ||\xi-\xi_n||_{\infty}+|x^{(n)}_k-u_n|+|u_n-u|$$Let $\epsilon>0$. Choose $n_0 \in \mathbb{N}$ such that $|u_{n_0}-u|<\frac{\epsilon}{3}$ and $||\xi-\xi_{n_0}||<\frac{\epsilon}{3}$. Choose $K \in \mathbb{N}$ such that $|x_k^{(n_0)}-u_{n_0}|<\frac{\epsilon}{3}$ whenever $k \geq K$. Then for $k \geq K$, all three terms on the right hand side of the above equation are less than $\frac{\epsilon}{3}$, and thus $|x_k-u|<\epsilon$.
Thus $x_k \to u$. Therefore the sequence $\xi=(x_k)_{k\geq 0}$ converges, so $\xi \in c$.
Edit: (Alternative solution) Actually, I just realized that we don't really care about the limit of $\xi$, we only care that it converges. So it suffices to prove that it is Cauchy. To do this, you can just say that for any $n$ $$|x_k-x_l| \leq |x_k-x^{(n)}_k|+|x^{(n)}_k-x^{(n)}_l|+|x^{(n)}_l-x_l|$$ $$\;\;\;\;\;\;\;\;\;\;\;\;\;\;\leq ||\xi-\xi_n||_{\infty}+|x^{(n)}_k-x^{(n)}_l|+||\xi-\xi_n||_{\infty}$$ and then argue as before.