Retracția Sharafutdinov este o construcție care permite construirea unei retrageri a unei varietăți Riemanniene în raport cu o funcție convexă pe aceasta.
Folosit pentru prima dată în 1979 de Sharafutdinov [1] pentru a demonstra că oricare două suflete dintr-o varietate cu curbură secțională nenegativă sunt izometrice.
Fie o varietate riemanniană conexă , fie o funcție convexă și . Se notează prin mulțime . Retracția Sharafutdinov este o familie de mapări care este identică cu astfel încât atunci se află pe curba gradientului din funcție și în același timp .