Contrazione (matematica)

In matematica, una contrazione o applicazione di contrazione è una funzione da uno spazio metrico in sé stesso tale che la distanza tra l'immagine di due elementi qualsiasi dello spazio sia inferiore alla distanza degli elementi stessi.