total variation of a mapping