Codex @codex  0

Suppose $a^k\rightharpoonup a$ in ${\ell }^1$ but $a^k$ does not converge to $a$ in the norm topology. There are $\epsilon >0$ and a subsequence $(a^{m_k})$ such thatSet $x^k=a^{m_k}-a$. Thenwhich proves the first assertion.

We now use a gliding hump argument. Put $b_0=0$. Having chosen $b_{n-1}$ and $k_{n-1}$, coordinatewise convergence $x_i^k\to 0$ lets us choose $k_n>k_{n-1}$ so thatFor this fixed element of ${\ell }^1$, choose $b_n>b_{n-1}$ so far out thatDefine one sequence $y$ byThe blocks partition the positive integers and $|y_i|\le 1$, so $y\in {\ell }^{\infty }$. On the $n$th assigned block, the signs agree; outside it, use $|y_i|\le 1$. The duality of l1 and l infinity givesBut $x^{k_n}\rightharpoonup 0$ requires $⟨x^{k_n},y⟩\to 0$ for this fixed $y\in ({\ell }^1{)}^{\ast }={\ell }^{\infty }$, a contradiction. Therefore every weakly convergent sequence in ${\ell }^1$ converges in norm. This is the Schur property of l1.

The continuous dual space of a real normed vector space $X$ iswith the operator normTwo normed spaces are isometrically isomorphic when there is a bijective linear map between them that preserves norms.

For $y=(y_j)\in {\ell }^{\infty }$, defineThe series is absolutely convergent andso ${\Phi }_y\in ({\ell }^1{)}^{\ast }$ and $\Vert {\Phi }_y\Vert \le \Vert y{\Vert }_{\infty }$. For every $\epsilon >0$, choose $j$ with $|y_j|>\Vert y{\Vert }_{\infty }-\epsilon$ and test on $\mathrm{sgn}(y_j)e_j$. This gives the reverse inequality, hence

Conversely, given $\Phi \in ({\ell }^1{)}^{\ast }$, set $y_j=\Phi (e_j)$. Then $|y_j|\le \Vert \Phi \Vert$, so $y\in {\ell }^{\infty }$. For $x\in {\ell }^1$, its finite partial sums converge to $x$ in norm; continuity of $\Phi$ therefore givesThe representing sequence is unique, and the construction is linear and norm preserving. Thus the duality of l1 and l infinity proves

The l-p sequence space ${\ell }^1$ has the Schur property. If a weakly null sequence stayed bounded below in norm, coordinatewise convergence and summability would select disjoint blocks containing almost all of successive terms. A sequence in ${\ell }^{\infty }$ matching their signs on those blocks would pair uniformly positively with a subsequence, contradicting weak convergence through the duality of l1 and l infinity.