# Completeness in l^\infty Norm

1. Apr 14, 2006

### Euclid

Show that the space $$c_0$$ of all sequences of real numbers that converge to
0 is a complete space with the $$l^\infty$$ norm. First I let $$A^j=\{a_k^j\}_{k=1}^\infty$$ be a sequence of sequences converging to zero and I assume that it is norm summable:
$$\sum \limits_{j=1}^\infty ||A^j||_\infty < \infty$$
I argue that $$S= \sum \limits_{j=1}^\infty A^j$$ converges componentwise.
Then I want to show that the sequence S converges to 0 at infinity (and hence is in $$c_0$$). Fix $$\varepsilon >0$$. For each j, choose a $$K_j$$ such that $$k \geq K_j$$ implies $$|a_k^j| < \frac{\varepsilon}{2^j}$$. Given $$N>0$$ let $$K=\sup\limits_{k\leq N} K_k$$. Then for $$k\geq K$$ we have
$$|S_k|=|\sum \limits_{j=1}^{\infty}a_k^j| \leq \sum \limits_{j=1}^{N}|a_k^j|+\sum \limits_{j=N+1}^{\infty}|a_k^j|\leq \varepsilon + \sum \limits_{j=N+1}^{\infty}|a_k^j|$$.
Here is where I am stuck. I know the quantity on the right goes to 0 if I make N large enough, but putting that down rigorously presents a difficulty. Any ideas?

Last edited: Apr 15, 2006
2. Apr 18, 2006

### CarlB

Can you choose another integer, say L_j, so that if j is larger than L_j, it makes that annoying summation on the end small enough?

Carl

3. Apr 18, 2006

### Euclid

Not really.... The best I can do is this:
$$|S_k|\leq 2\varepsilon + \sum \limits_{j=N+1}^{L}|a_k^j|$$
but here L will depend on K, so if I want to make those finite number of terms small I'll have to increase K, and this may force me to change L, which will force me to increase K, etc.

Edit: I think I figured it out. I showed that l^\infty is complete by showing norm summable implies summable. Then I went back to the Cauchy sequence definition. Given a Cauchy sequence of convergent sequences, we know it has a limit in l^\infty. From there it's not too bad to show that the limit is itself convergent.

Last edited: Apr 18, 2006