Eberlein–Šmulian theorem

The Eberlein–Šmulian theorem is a result in functional analysis that characterizes weak*-compactness in the dual space of a Banach space. Specifically, it provides a criterion for when a subset of the dual space \( X^* \) (the space of continuous linear functionals on a Banach space \( X \)) is weak*-compact.