How can we show that the space c_0 is complete with the l^\infty norm?

[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?

 

[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

 

[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.