Sea $M$ sea una variedad riemanniana. Un mapa diferenciable $f:M\to M$ se llama contrayente (definición propia) si el mapa lineal $D_x f:T_x M \to T_x M$ tiene la norma del operador limitada por $1$ en relación con las normas sobre $T_x M$ inducida por la métrica de Riemann sobre ella para todo $x\in M$ .
Los únicos ejemplos que conozco son isometrías o mapas constantes. Me pregunto si existen ejemplos clásicos, naturales y relativamente no triviales de mapas contrayentes en variedades riemannianas compactas. (Por favor, no te preocupes demasiado por las palabras "natural" y "clásico"...)