Normierter Vektorraum/Separabel/Definition