Is $(V^\perp)^\perp=\overline{V}$ when $V$ is a subspace of a Hilbert space $H$?

622 Views Asked by At

Why is $(V^\perp)^\perp=\overline{V}$ when $V$ is a subspace of a Hilbert space $H$? I googled about this but only $V$ as a subspace of finite vector space. Any reference or proof or idea are welcome.