Ein Untervektorraum U ⊆ V {\displaystyle {}U\subseteq V} eines K {\displaystyle {}{\mathbb {K} }} -Hilbertraumes V {\displaystyle {}V}
ist genau dann ein Hilbertraum, wenn er abgeschlossen in V {\displaystyle {}V} ist.
