Banach-Alaoglu theorem (source code)

= Banach-Alaoglu theorem
{c}
{wiki=Banach–Alaoglu_theorem}

The closed unit ball of a dual Banach space is compact in the weak-star topology.