"normed vector space" Deutsche bedeutung