ヒルベルト空間Hで
<y,xn> = 0 (n=1,2.,...)
が稠密な部分集合Dの各元 xn について成り立つとき、
Dの稠密性より y = 0 
というのが本にありましたが、どうすればこれが言えますか?
(y はDの元とは限らない)