En mathématiques et plus particulièrement en analyse, une application contractante, ou contraction, est une application qui « rapproche les images » ou, plus précisément, une application k-lipschitzienne avec k < 1. Le théorème de point fixe le plus simple et le plus utilisé concerne les applications contractantes.