11
$\begingroup$

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.

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

No, not necessarily. Any reflexive Banach space has a weakly compact unit ball; so, by the Eberlein-Šmulian Theorem, any reflexive Banach space has a weak* sequentially compact unit ball.

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.

$\endgroup$
4
$\begingroup$

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$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.