"dual vector space" Deutsche bedeutung