Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
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

2 Answers 2

up vote 6 down vote accepted

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.

share|improve this answer

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

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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