Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Groupe d'homotopie
Résumé
En mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures.
Il y a plusieurs définitions équivalentes possibles.
Première définition
Soit X un espace topologique et un point de X.
Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension .
Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
Un élément de est donc représenté par une fonction continue de la i-boule vers X, qui envoie la -sphère vers le point de référence , la fonction étant définie modulo homotopie relative à .
Deuxième définition
En identifiant le bord de la boule à un point , on obtient une sphère et chaque élément de se définit par les classes d'homotopie des applications par lesquelles le point base de la sphère se transforme en . On peut dire que les éléments du groupe sont les composantes connexes de l'espace topologique des applications pour lesquelles on a : .
Pour définir une opération sur les classes d'homotopie, il est utile d'identifier la boule avec le cube de dimension i dans R.
La définition du produit est la suivante :
La somme de deux applications du cube est l'application définie par la formule :
et
Lorsque l'on passe aux classes d'homotopie, la loi de composition obtenue est associative, unifère, tout élément admet un inverse et la loi est commutative si i ≥ 2.
On définit donc un groupe commutatif si i ≥ 2 (cf. ).
On obtient le groupe fondamental si i = 1.
On a une généralisation des groupes d'homotopie.
Soient X un espace topologique, A ⊂ X et x un point de X.
Soient Ir = [0, 1]r et Jr = (∂Ir-1 × I) ∪ (Ir-1 × {1}) = ∂Ir \ int(Ir-1 × {0}).
Le r-ième groupe d'homotopie relatif est l'ensemble des classes d'homotopie d'applications continues telles que : , , , avec des homotopies de même forme.
donc les groupes d'homotopie sont des cas particuliers des groupes d'homotopie relatifs.
Source officielle
À propos de ce résultat
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.
Proximité ontologique
Cours associés (12)
MATH-506: Topology IV.b - cohomology rings
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
MATH-436: Homotopical algebra
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
MATH-497: Homotopy theory
We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspen
Séances de cours associées (111)
Homologie et homotopie
Explore la comparaison de longues séquences exactes pour les vibrations et la relation entre l'homotopie et les groupes d'homologie.
Places Steenrod
Couvre le concept de Places Steenrod et leurs applications dans des opérations de cohomologie stables.
Attachement d'un 2-cellule
Couvre l'attachement d'une cellule 2 à un espace et explore le concept de l'application d'attachement f.
Publications associées (41)
Personnes associées (6)
Unités associées (2)
Concepts associés (39)
Fibration
En théorie de l'homotopie, une fibration est une application continue entre espaces topologiques satisfaisant une propriété de relèvement des homotopies, qui est satisfaite en général par les projections fibrées. Les fibrations de Serre relèvent les homotopies depuis les CW-complexes tandis que les fibrations de Hurewicz relèvent les homotopies depuis n'importe quel espace topologique.
Glossaire de topologie
Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première traite des concepts généraux, et la seconde liste différents types d'espaces topologiques. Dans ce glossaire, tous les espaces sont supposés topologiques. Accessible : voir l'axiome de séparation T1. Adhérence L'adhérence ou fermeture d'une partie d'un espace topologique est le plus petit fermé contenant celle-ci. Un point est dit adhérent à une partie s'il appartient à son adhérence.
Catégorie groupoïde
En mathématiques, et plus particulièrement en théorie des catégories et en topologie algébrique, la notion de groupoïde généralise à la fois les notions de groupe, de relation d'équivalence sur un ensemble, et de l'action d'un groupe sur un ensemble. Elle a été initialement développée par Heinrich Brandt en 1927. Les groupoïdes sont souvent utilisés pour représenter certaines informations sur des objets topologiques ou géométriques comme les variétés. Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme.