Hilbertraum/Teilmenge/Dichtheitskriterium/Fakt

Es sei ein -Hilbertraum und eine Teilmenge.

Dann erzeugt genau dann einen dichten Untervektorraum in , wenn die Eigenschaft

für alle nur für gilt.