Proving the $x \mapsto \sum_{n}x_{n}$ is not weak-* sequentially continuous on $\ell^{1}$

46 Views Asked by At

Let $S: \ell^{1} \to \mathbb R$ where $x \mapsto \sum_{n}x_{n}$. Show that $S$ is not weak-* sequentially continuous (when identifying $\ell^{1}$ and $(\ell^{0})^{*}$. We are given as a hint to use the standard basis.

Defining the standard basis $(e^{n})_{n}$ where $(e^{j})_{i}=\delta_{ij}$ we can identify a corresponding set of linear operators $(T_{n})_{n}\in (\ell_{0})^{*}$ where for a particular $m \in \mathbb N$:

$T_{m}(y)=\sum\limits_{n \in \mathbb N}y_{n}e_{n}^{m}$. We now note that $T_{m}(y)=y_{m} \xrightarrow{m \to \infty} 0$ for all $y \in \ell_{0}$ and hence (I am not sure about this) $T_{m}\xrightarrow{w-*} 0$. But now how does this help me in showing that $S$ is not weak-* sequentially continuous?

1

There are 1 best solutions below

3
On BEST ANSWER

The canonical vectors $(e_n)_n$ in $\ell^1$ satisfy $$e_n(x) = x_n \xrightarrow{n\to\infty} 0, \quad\text{ for all }x \in c_0$$

so $e_n \to 0$ weakly-$*$. However $Se_n = 1, \forall n \in \mathbb{N}$ so $Se_n \not\to 0$.