Weakly compact set is norm bounded (source code)

= Weakly compact set is norm bounded

Every <weakly compact set> in a <normed vector space> is norm bounded, even if the space is incomplete. Its <canonical embedding into the bidual> is pointwise bounded on the <continuous dual space>; the <Uniform boundedness principle> on that Banach dual gives the norm bound.