I'm studying for an exam and came across a problem: I want to prove that the unit sphere in a Hilbert space $\mathcal{H}$ is weakly dense in the unit ball.
I already had to prove that the unit ball is weakly closed, so one direction is done. What remains to be seen is that the unit ball is contained in the weak closure of the sphere. I suspect that orthonormal bases will need to be used here; the problem also had us prove that every orthonormal sequence in $\mathcal{H}$ converges weakly to $0$ which I did.
There's another similar question here: Prove: The weak closure of the unit sphere is the unit ball. but that deals with normed spaces as opposed to Hilbert ones and is beyond the scope of my course from the looks of it.