"abstract vector space" Deutsche bedeutung