Propriété de relèvement des homotopies

En mathématiques, en particulier en théorie de l'homotopie en topologie algébrique, la propriété de relèvement des homotopies est une condition technique sur une fonction continue d'un espace topologique E dit total à un autre, B dit espace de base. Moralement, cette propriété énonce que toute homotopie dans l'espace de base se relève en une homotopie dans l'espace total E. Par exemple, un revêtement a une propriété de relèvement local unique des chemins vers un ouvert de la fibre donnée ; l'unicité est due au fait que les fibres d'un revêtement sont des espaces discrets. La propriété de relèvement des homotopies existe dans de nombreuses situations, telles que la projection dans un fibré vectoriel, ou dans une fibration, où l'unicité du relèvement n'est plus assurée. Supposons désormais que toutes les cartes sont des fonctions continues d'un espace topologique à un autre. Étant donné une application , et un espace , on dit que a la propriété de relèvement des homotopies, si: pour toute homotopie , et pour n'importe quelle application relevant (c'est-à-dire que l'on a ), il existe une homotopie relevant (c'est-à-dire ) qui satisfait également . Fichier:Homotopy_lifting_property.png Le carré extérieur (sans la flèche en pointillé) commute si et seulement si les hypothèses de la propriété de relèvement sont vérifiée. Un relèvement correspond à une flèche en pointillé faisant commuter le diagramme. Si l'application satisfait la propriété de relèvement des homotopies par rapport à tout espace X, alors s'appelle une fibration. Une notion plus faible de fibration est la fibration de Serre, pour laquelle le relèvement d'homotopie n'est requis que pour tous les CW-complexes . Il existe une généralisation commune de la propriété de relèvement des homotopies et de la propriété de prolongement des homotopies. Étant donné une paire d'espaces , on note simplement. Soit de plus une application , on dit que a la propriété d'extension de relèvement des homotopies si : Pour toute homotopie , et Pour tout relèvement de , il existe une homotopie qui couvre (i.

À 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.

Concepts associés (5)

Cours associés (5)

Séances de cours associées (47)

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

EE-737: Introduction to wave scattering

This advanced theoretical course introduces students to basic concepts in wave scattering theory, with a focus on scattering matrix theory and its applications, in particular in photonics.

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

En mathématiques, une cofibration est une application qui satisfait la propriété d'extension des homotopies, ce qui est le cas pour les inclusions de CW-complexes. Le quotient de l'espace but par l'espace source est alors appelé cofibre de l'application. L'inclusion dans le cylindre d'application permet de remplacer une application continue entre deux espaces topologiques par une cofibration homotopiquement équivalente. La cofibre est alors appelée cofibre homotopique de l'application initiale.

La théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A. Étant donné deux équivalences d’homotopie f : X′ → X et g : Y → Y′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.

Structure du modèle Serre en haut MATH-436: Homotopical algebra

Explore la structure du modèle Serre sur Top, en mettant l'accent sur l'homotopie droite et gauche.

Levage de chemin: Levage de chemin unique MATH-225: Topology

Couvre le concept de levage de chemin et la propriété de levage de chemin unique.

Levage de sentier MATH-323: Topology III - Homology

Explore le levage de chemin, les propriétés d'homotopie et les homomorphismes dans les espaces de couverture.