Eberlein-Smulian theorem
= Eberlein-Smulian theorem
{c}
{wiki=Eberlein–Šmulian_theorem}
For a subset of a Banach space, relative weak compactness is equivalent to every sequence having a weakly convergent subsequence. In particular, weak compactness and weak sequential compactness coincide.