Grothendieck space
= Grothendieck space
{c}
{wiki}
A Banach space $X$ is a Grothendieck space when every weak-star convergent sequence in $X^*$ is weakly convergent. Every <reflexive Banach space> has this property, and every separable Grothendieck space is reflexive.