Eberlein-Smulian theorem (source code)

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