I have come across the space of bounded sequences denoted as $\ell^\infty$ in my course, but not a clear, concise definition. I have seen sometimes when these includes sequences in $\mathbb{R}$ that are bounded and sometimes when the sequence is in $\mathbb{R}^\infty$! So I presume this implies $\ell^\infty$ for is bounded sequences in $\mathbb{R}^n$ (i guess this can be generalised in metric spaces as well). Also it will be great if someone could mention a clear definition of $\ell^0$ and $\ell^1$ as my lecturer didnt do so.



The space $\ell^\infty$ is the Banach space given by $$\ell^\infty = \{f\in\mathbb{R}^\mathbb{N}|\ \|f\|_\infty<\infty\}$$ where $$\|f\|_\infty = \sup_n |f_n|$$ The definition for $\ell^p$, $1\leq p<\infty$ is similar, only using the norm $$\|f\|_p=\left(\sum_{n=0}^\infty|f_n|^p\right)^{\frac{1}{p}}$$ I don't know of any $\ell^0$ space.

  • $\begingroup$ The $l^0$ space (at least, the way it was defined for us), is the sequence space of "eventually zero" sequences, which is usually equipped with the uniform norm. $\endgroup$ – Andrew D Dec 1 '13 at 21:59
  • 1
    $\begingroup$ @AndrewD Ah, I see. I usually call it $c_0$. $\endgroup$ – Daniel Robert-Nicoud Dec 1 '13 at 22:01
  • $\begingroup$ I get the feeling that there isn't a standard definition for it, seeing as the wikipedia page defines $c_0$ as the sequence space of sequences with limit 0, whereas the "eventually zero" definition means that every sequence is the space is finite with limit 0. $\endgroup$ – Andrew D Dec 1 '13 at 22:05
  • $\begingroup$ in regards to the metric for l^infinity, i take it the rhs is the usual/euclidean metric? $\endgroup$ – Raul Dec 1 '13 at 22:05
  • $\begingroup$ @Raul Yes, it is. $\endgroup$ – Andrew D Dec 1 '13 at 22:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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