Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What can be said topologically about the subspace $\{(a_k)_{k\ge1}\in \ell^\infty\mid\text{$\lim_{k\to\infty}a_k=0\wedge\sum_{k=1}^\infty a_k \ \ converges$}\}$ relative to the subspace $\{(a_k)_{k\ge1}\in \ell^\infty\mid\text{$\lim_{k\to\infty}a_k=0$}\}$ . Thanks

share|cite|improve this question
You mean like, are they closed in $\ell^\infty$? – 1015 Feb 5 '13 at 19:51
@DavidMitra Are you sure? The second space is $c_0$, but the first is not closed in $l_\infty$, so it is not a Banach space. – Theo Feb 5 '13 at 22:11
@theo Ah, you're right, of course. I misread it... – David Mitra Feb 5 '13 at 23:24
BTW, convergence of the series $\sum a_k$ implies $a_k\to 0$. – Jochen Feb 6 '13 at 12:40

The second space is the classical space $c_0$ and is a closed subspace of $l_\infty$. The first space, call it $X$, is not closed in $l_\infty$. Indeed, the sequence $x_n=(1, 1/2, \dots, 1/n, 0, 0, \dots)$ is in $X$ and converges to $x=(1, 1/2, 1/3,\dots)$ which is not in $X$. However $X$ is a dense subspace of $c_0$. To see this, note that $c_{00}\subset X\subset c_0$ and the closure of $c_{00}$ in the $l_\infty$ norm is $c_0$. By $c_{00}$ we understand the subspace of finitely supported sequences in $c_0$.

I am not sure this is what you are looking for.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.