Homotopy is a mathematical concept classifying continuous deformations of shapes, applied to material elasticity and quantum fields.En topologie, deux applications (par exemple, des chemins ou des surfaces) sont homotopes si l'on peut déformer l'une en l'autre de manière continue sans déchirure ni collage. L'homotopie étudie les classes de telles applications et les invariants préservés lors des déformations. L'exemple le plus important est le groupe fondamental d'un espace : ses éléments sont des classes de lacets fermés avec l'opération de parcours successif. Si tout lacet peut être rétracté en un point, l'espace est simplement connexe ; dans le cas contraire, le groupe reflète la présence de « trous ».
Henri Poincaré, dans son article « Analysis situs » (1895), a introduit le groupe fondamental et posé les bases de la topologie homotopique. Dans les années 1930, Witold Hurewicz a défini les groupes d'homotopie supérieurs. Le développement ultérieur a conduit à la théorie de J.-P. Serre, aux suites spectrales et, au XXIe siècle, à la théorie homotopique des types (V. Voevodsky). Poincaré a également formulé la célèbre conjecture, démontrée par G. Perelman à l'aide du flot de Ricci.
Une boucle dans un espace X est une application du cercle S^1 → X. Deux boucles sont homotopes si l'on peut passer continûment de l'une à l'autre en gardant le point de base fixe. La composition des boucles (parcourir la première, puis la seconde) définit la structure du groupe fondamental π_1(X). Si X est contractile (comme un disque), π_1 est trivial ; le cercle a π_1(S^1) = Z ; la sphère S^2 a π_1 trivial, mais π_2 non trivial. Le calcul des groupes d'homotopie des sphères est un problème difficile, partiellement résolu par les méthodes des CW-complexes et des suites exactes.
Elle est utilisée en imagerie médicale pour l'analyse de la forme des organes, en robotique pour la planification de trajectoires sans collision, en science des matériaux pour la classification des défauts du réseau cristallin.
Les méthodes homotopiques ont joué un rôle clé dans la démonstration de la conjecture de Poincaré, l'affirmation selon laquelle la sphère tridimensionnelle est la seule variété fermée tridimensionnelle dans laquelle tout lacet peut être rétracté en un point.

















