En matemática, una contracción o aplicación contractiva de un espacio métrico es una aplicación matemática "f" de un espacio métrico ("M, d") en sí mismo (formula_1) con la propiedad de que existe un número real formula_2 y no negativo tal que para todo "x" e "y" en "M":