information about nonexpansive mappings field