## [Théorie de l'Homotopie](/fr/node/62246) Définition L'étude des espaces topologiques, des applications et des constructions à homotopie près, accompagnée de structures algébriques et catégorielles (groupes d'homotopie, catégories de modèles, spectres) qui codent l'information de déformation en dimensions supérieures. ## Principe Principe Remplacer l'égalité stricte par l'équivalence d'homotopie comme notion de similarité pertinente ; étudier les invariants et constructions invariants par homotopie, organiser les objets via des structures de modèles ou des cadres ∞-catégoriques pour gérer les homotopies supérieures et les cohérences de composition. ## Démonstration Démonstration Calculer π_n(S^k) pour des sphères en utilisant des outils comme la suite exacte longue d'une fibration, le théorème de suspension de Freudenthal et les suites spectrales ; construire la catégorie d'homotopie des complexes CW et travailler avec les tours de Postnikov pour classifier les espaces par données d'homotopie par étages. ## Mauvaise application Mauvaise application Prendre l'équivalence d'homotopie pour une homéomorphie (ce sont des notions différentes), ou ignorer les cohérences supérieures en travaillant seulement avec des ensembles d'homotopie naïfs alors que des groupes d'homotopie ou une structure supérieure sont essentiels ; le mauvais usage survient aussi quand des problèmes de points-ensembles invalident les structures de modèles supposées dans un raisonnement. ## Conséquence Conséquence Produit des invariants (groupes d'homotopie, classes d'homotopie de cartes), des méthodes obstructionnelles et des cadres structurés (catégories de modèles, ∞-catégories, spectres) qui permettent de classifier et manipuler espaces et applications à homotopie près ; oriente des constructions comme la localisation et la théorie homotopique stable. ## Inversion Inversion Le point de vue opposé met l'accent sur l'équivalence stricte de points (homéomorphie, isotopie ou difféomorphie) plutôt que sur l'équivalence par déformation ; d'autre part, l'homologie ou la cohomologie éliminent des données homotopiques supérieures, fournissant un invariant 'aplati'. ## Limite Limite Se concentre sur les phénomènes invariants par homotopie : complexes CW, ensembles simpliciaux, catégories de modèles et spectres sont des domaines naturels ; exclut les questions demandant une précision point-ensembliste (plongements sauvages, propriétés métriques fines) sauf si elles sont reformulées homotopiquement. ## Tension sémantique Tension sémantique Tension entre une classification invariante par homotopie (plus grossière mais souvent calculable) et des données géométriques ou métriques plus fines ; tension interne entre descriptions algébriques classiques et formulations ∞-catégoriques modernes des cohérences et des morphismes supérieurs. ## Synthèse Synthèse La théorie de l'homotopie formalise l'étude des espaces à travers leurs déformations continues : elle remplace l'égalité par l'équivalence d'homotopie, développe des outils algébriques et ∞-catégoriques pour enregistrer et calculer les données de déformation, et sous-tend les résultats de classification instable et stable.