Lemme d'homotopie
Un article de Wikipédia, l'encyclopédie libre.
Lemme d'homotopie. Soient f et g deux applications différentiables , 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 :