3
$\begingroup$

Let $\ell^\infty$ be the Banach space of bounded sequences with the usual norm and let $c,c_0$ be the subspaces of sequences that are convergent, resp. convergent to zero. Show that:

  • The linear functional $\ell_0\colon c\rightarrow \mathbb{C}$ defined for $x = (x_n) \in c$ by $$ \ell_0(x) = \lim_{n\rightarrow \infty} x_n$$ extends to a continuous functional on $\ell^\infty$
  • if $L$ denotes the set of all continuous extensions of the functional $\ell_0$ from (1), then a sequence $x = (x_n) \in \ell^\infty$ belongs to $c_0$ iff $$\ell(x) = 0 \;\; \forall \ell \in L$$
  • Describe $c$ in a similar way My try:

(1): This follows by Banach limits.

(2): $(\Rightarrow)$ follows by extension

$(\Leftarrow)$ Here Im a bit unsure, assume $x \not \in c_0$ if $x \in c$ we get an contradiction. But if $x\not \in c$ what happens then, can we use a subsequence? since we have bounded functionals? can we use $\ell x = \lim_{k \rightarrow \infty} x_{n_k}$ or something like that, would $\ell \in L$?

(3): same as two I suppose, can we use subseqeunces?

Please correct what I'm missed

  • 0
    (2) is a direct application of the Hahn-Banach theorem: As $c_0$ is a closed subspace of $l^\infty$, for $x\in l^\infty \setminus c_0$ exists an $l\in L$ with $l(x)\neq 0$.2012-12-29
  • 0
    thanks, but I don't see the importance of $c_0$ being closed. can you please expand?2012-12-29
  • 0
    Hahn-Banach can only seperate a point and a closed set.2012-12-29
  • 0
    Yes you are correct! Would it work for $c$ as well? is it also closed?2012-12-29
  • 0
    It is indeed. But you should think why, it is the same reason as for $c_0$.2012-12-29
  • 0
    You mean I should think about why $c$ is closed? maybe that is harder to show than that $c_o$ is closed?2012-12-30
  • 0
    No, it is not harder. But after you asked if $c$ is closed, I assumed that you are not aware how to prove that $c_0$ is closed. As this is quite basic analysis, you should know how to do it.2012-12-30

1 Answers 1