The following are two equivalent definitions of an orthonormal basis $\mathcal{B}$ on a Hilbert space $H$:
- $\mathcal{B}$ is orthonormal and complete ($\mathcal{B}$ is dense in $H$).
- if $\langle v, b\rangle = 0$ for all $b\in \mathcal{B}$ and some $v\in H$, then $v=0$.
I was wondering where I could find a proof of the above equivalence, since it is stated in my notes without any demostration.