Weak-* sequential compactness and separability

Let $X$ be a Banach space, and let $B$ be the closed unit ball of $X^*$, equipped with the weak-* topology. Alaoglu's theorem says that $B$ is compact. If $X$ is separable, then $B$ is metrizable, and in particular it is sequentially compact.

What about the converse? If $B$ is sequentially compact, must $X$ be separable?

This question was inspired by this one.

• Wouldn't $B$ be weak* sequentially compact in any reflexive space by Eberlein's theorem? – David Mitra Jul 9 '12 at 17:42
• @DavidMitra: You are quite right. I had forgotten about Eberlein. Want to post this as an answer? – Nate Eldredge Jul 9 '12 at 18:00
• – Tomek Kania Apr 22 '15 at 12:43

Also, and more generally, it follows from Rosenthal's $\ell_1$ Theorem (a Banach space $X$ does not contain $\ell_1$ isomorphically if and only if every every bounded sequence in $X$ has a weakly Cauchy subsequence) that if $X^*$ does not contain $\ell_1$ isomorphically, then the unit ball of $X^*$ is weak* sequentially compact.
For an explicit counterexample: let $H$ be a non-separable Hilbert space, and suppose we have a sequence of vectors $x_n$ in the unit ball of $H$. Let $H_0$ be the closed linear span of the $x_n$, so that $H_0$ is a separable Hilbert space. Then the $x_n$ have a subsequence converging weakly in $H_0$. But because of the orthogonal decomposition $H = H_0 \oplus H_0^\perp$, it is easy to see that this subsequence also converges weakly in $H$.