5
$\begingroup$

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

$\endgroup$
  • 1
    $\begingroup$ What is weak self sequence compact? Do you mean weakly sequentially compact? $\endgroup$ – Jochen Wengenroth Jul 13 '12 at 7:03
  • $\begingroup$ I think so, too. $\endgroup$ – Pietro Majer Jul 13 '12 at 9:51
  • $\begingroup$ oh,yes, it is weakly sequentially compact $\endgroup$ – Weeson Dorne Jul 13 '12 at 10:10
5
$\begingroup$

Yes, it's the Eberlein–Šmulian theorem

$\endgroup$
  • $\begingroup$ I don't think so. When $E=E'$, one can apply Ebelein-Smulian theorem. $\endgroup$ – Weeson Dorne Jul 31 '12 at 14:54

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.