Hilbertraum/Untervektorraum/Abgeschlossen/Fakt

Ein Untervektorraum ${}U\subseteq V$ eines ${}{\mathbb {K} }$ -Hilbertraumes ${}V$

ist genau dann ein Hilbertraum, wenn er abgeschlossen in ${}V$ ist.