MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $E$ is a Banach space, $A$ is a subset of $E$ and is compact with the weak topology $\sigma(E,E')$, that is the most coarse topology which make every $f\in E'$ continuous, is it true that $A$ is weakly sequentially compact? As we all know, in $C_1$ spaces, compact concludes sequentially compact. So, we should show that $E$ is a $C_1$ spaces with the topology $\sigma(E,E')$. Some known conclusions:$\forall x_0\in E$ , the basis of neighborhoods of $x_0$ constitutes of $V$ with the below form $$V=\lbrace x\in E;|(f_i,x-x_0)|\lt\epsilon, i\in I\rbrace$$
where I is a finite set. Can we prove $E$ is a $C_1$ spaces? Now, for every such $V$, we can find a $\delta>0$, such that $B(x_0,\delta)\subset V$.

share|cite|improve this question
What is weak self sequence compact? Do you mean weakly sequentially compact? – Jochen Wengenroth Jul 13 '12 at 7:03
I think so, too. – Pietro Majer Jul 13 '12 at 9:51
oh,yes, it is weakly sequentially compact – Weeson Dorne Jul 13 '12 at 10:10

Yes, it's the Eberlein–Šmulian theorem

share|cite|improve this answer
I don't think so. When $E=E'$, one can apply Ebelein-Smulian theorem. – Weeson Dorne Jul 31 '12 at 14:54

Your Answer


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.