Lemme d'homotopie

Un article de Wikipédia, l'encyclopédie libre.

Lemme d'homotopie. Soient f et g deux applications différentiables M\rightarrow N, où M et N sont deux variétés différentielles données. On suppose f et g homotopes. Alors il existe un opérateur H de degré -1 de l'algèbre graduée A(N) des formes différentielles sur M dans l'algèbre graduée A(M) des formes différentielles sur M, tel que :

g^*-f^*=H\circ d+d\circ H