Weak closure of the unit sphere (source code)

= Weak closure of the unit sphere

In an infinite-dimensional normed space, the weak closure of the unit sphere is the closed unit ball. Every basic weak neighbourhood imposes only finitely many linear conditions, whose common kernel contains a nonzero direction that can move any interior point onto the sphere.