En matemáticas, una función corta es una función f de un espacio métrico X en otro espacio métrico Y tal que
para todos
se tiene que
.
Aquí y denotan métricas en y , respectivamente. En otras palabras, f es corta ssi es 1-Lipschitz.
Se puede decir que f es estrictamente corta si la desigualdad, salvo en el caso , es siempre estricta. Entonces una contracción es estrictamente corta, pero no recíprocamente (incluso con X = Y).