"topological vector space" Deutsche bedeutung