Proof.
Let

be a limit point of

. We may assume

, so that
there exists

such that

and

. Then for each

, select

in the
neighborhood
 |
(3.38) |
Then we have

. Then
 |
(3.39) |
Since

is arbitrary, this means

.
To see that the sphere is not necessarily closed in the weak topology,
consider the Banach space
and the sequence of functions
. The linear functional
![$\displaystyle \int : C([0,1]) \to \mathbb{R}$](img427.svg) |
(3.40) |
is bounded, but
 |
(3.41) |
and

.