Prove: The weak closure of the unit sphere is the unit ball.

Solution 1:

With the same notations in you question: Notice that if $x_i^*(x) = 0$ for all $i$, then $x \in U$, and therefore the intersection of the kernels $\bigcap_{i=1}^n \mathrm{ker}(x_i^*)$ is in $U$. Since the codimension of $\mathrm{ker}(x^*_i)$ is at most $1$, then the intersection has codimension at most $n$ (exercise: prove this). But since $X$ is infinite dimensional, this means the intersection has an infinite dimension, and in particular contains a line. Since any line going through $0$ intersects $S$, then $U$ intersects $S$.

The same argument can be applied to any point in $B$ (any line going through a point in $B$ intersects $S$), and since you've proved the other inclusion, the weak closure of $S$ is $B$.