"real vector space" Deutsche bedeutung