Normierter Vektorraum/Metrischer Raum/Fakt