2
$\begingroup$

Show that the norm-closed unit ball of $c_0$ is not weakly compact; recall that $c_0^*=\ell_1$.

  • 0
    @Zev: What is $C_0$? I'm pretty sure $c_0$ here means the space of sequences converging to $0$, and that is standard notation. On the other hand, "$C_0$" is often followed by a topological space to denote the space of continuous complex-valued functions on that space that vanish at infinity. E.g. $C_0(\mathbb N)=c_0$ (when $\mathbb N$ is given the discrete topology).2012-05-19

1 Answers 1

4

Hint: Let $x_n=(\underbrace{1,1,\ldots,1}_{n\text{-terms}},0,0,\ldots)$. Suppose $z\in c_0$ is a weak cluster point of $(x_n)$. By considering the action of the standard unit vectors of $\ell_1$ on the $x_n$, obtain a contradiction by showing that we must have $z=(1,1,\ldots)$.

  • 0
    @VeridianDynamics Thanks for your answer. Can you explain why $z_n = \langle z,e_m\rangle$?2018-03-20