Application homotope à zéro
Concept history
A revision trail for this concept page.
Revision 7041
10/12/2026, 4:08:28 PM · Ancient Tree
Concept created
##### Définition formelle Une application $f:X\rightarrow Y$ est homotope à zéro si elle est [[homotopie|homotope]] à une [[fonction-constante|application constante]].