True. In the norm topology on the unit ball, the set is a neighbourhood of zero. If the relative weak topology agrees with it, there are finitely many continuous linear functionals and positive such that
If contained a nonzero vector, rescaling it to have norm would put it in the left-hand set but not the right-hand set. Therefore . The linear map
is injective into a finite-dimensional scalar space, so
This proof works for either the open or closed unit-ball convention and does not require completeness.

Articles by others on the same topic (0)

There are currently no matching articles.