En mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique.
L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
L'homotopie fournit des informations sur la nature topologique d'un espace. Une bande circulaire d'un plan ne peut être équivalente, au sens de l'homéomorphisme, à un disque. Dans un disque, tout lacet est homotope à un point. Dans une bande circulaire, ce n'est pas le cas. Cette remarque est source de démonstrations, comme celles du théorème de d'Alembert-Gauss, du point fixe de Brouwer, de Borsuk-Ulam ou encore celle du théorème du sandwich au jambon qui précise par exemple que, pour trois solides mesurables et de mesures finies de l'espace usuel, il existe un plan qui sépare chacun des solides en deux parties de mesures égales.
C'est une classe d'équivalence du chemin pour la relation d'homotopie.
thumb|Les deux chemins γ0 et γ1 sont strictement homotopes.
Soit X un espace topologique. Un chemin continu γ de X est une application continue du segment réel [0, 1] dans X. Cette définition correspond à l'idée intuitive de chemin, au sens de sentier qui part d'un point γ(0) pour arriver à un autre point γ(1).
Deux chemins continus γ0 et γ1 de X sont dits homotopes lorsqu'il existe une application continue H de [0, 1]2 dans X telle que l'application qui à t associe H(t, 0) est égale à γ0 et celle qui à t associe H(t, 1) est égale à γ1. Formellement :
Cette situation ne décrit pas encore exactement la situation représentée à droite. Sur l'illustration, les deux chemins γ0 et γ1 possèdent la même origine x ainsi que la même extrémité y.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
En mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
En topologie algébrique, un CW-complexe est un type d'espace topologique, défini par J. H. C. Whitehead pour répondre aux besoins de la théorie de l'homotopie. L'idée était de travailler sur une classe d'objets plus grande que celle des complexes simpliciaux et possédant de meilleures propriétés du point de vue de la théorie des catégories, mais présentant comme eux des propriétés combinatoires se prêtant aux calculs. Le nom CW provient du qualificatif de l'espace topologique, en anglais : closure-finite weak topology, pour « à fermeture finie » et « topologie faible ».
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
The theory of persistence, which arises from topological data analysis, has been intensively studied in the one-parameter case both theoretically and in its applications. However, its extension to the
The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of E-infinity-ring spectra in various
In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that