Beschreibung
Definition
Ein Vektorraum mit einer Halbnorm wird Vektorraum mit einer Halbnorm genannt.
Eigenschaften
Ist ein -Vektorraum mit einer Halbnorm und ein Untervektorraum, dann ist auch der Abschluss von ein Untervektorraum.
\newcommand{\R}{\mathbb R}