"normed space" in German normed space normierter Raum Detailed translations for "normed space" normed space normed space normierter Raum