Goldstine theorem (source code)

= Goldstine theorem
{c}
{wiki=Goldstine_theorem}

The canonical image of the closed unit ball of a Banach space $X$ is weak-star dense in the closed unit ball of $X^{**}$.