Closed unit ball (source code)

= Closed unit ball
{title2=$B_X=\{x:\|x\|\leq1\}$}

The closed unit ball of a <normed vector space> is the set of vectors of <norm> at most one. In a <continuous dual space> it is compact in the <weak-star topology> by the <Banach-Alaoglu theorem>.