Suspension (mathématiques) | EPFL Graph Search

Ê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 GraphSearch.

Découvrez-en plus sur les applications Graph.

En mathématiques, la suspension est une construction topologique définie par écrasement des extrémités d'un cylindre. Elle permet notamment de définir les sphères S par récurrence. Si l'espace topologique est pointé, sa suspension réduite est le quotient de la suspension par le cylindre sur le point de base, c'est un espace pointé avec un point base canonique. La suspension est un foncteur de la catégorie des espaces topologiques (pointés ou non) dans elle-même. Le théorème de Freudenthal montre que les groupes d'homotopie d'un espace s'identifient à ceux de sa suspension, à un décalage d'un degré près et en dessous du double de la connexité de l'espace. La suspension permet alors de définir la stabilisation d'un espace par son associé. En dynamique, la suspension est un procédé (similaire en un certain sens à la suspension topologique) permettant de construire un système continu à partir d'un système discret. La suspension SX d'un espace topologique X, parfois dite « non réduite » ou « libre », par opposition à la suspension réduite décrite ci-dessous, est l'espace quotient du produit de X par l'intervalle unité I = [0, 1]. Intuitivement, on forme un cylindre de base X et on réduit chacune des deux extrémités du cylindre à un point. On peut aussi voir SX comme deux exemplaires du cône CX de X, recollés le long de leur base. C'est aussi, en tant que cône d'une application constante de X sur un point, un quotient d'un seul exemplaire de CX. C'est également le joint de X et de l'espace discret S à deux éléments. À toute application continue f : X → Y, on associe l'application Sf : SX → SY définie par Sf([x, t]) = [f(x), t], ce qui fait de S un foncteur. Grossièrement, le foncteur S augmente de 1 la dimension de l'espace : il envoie la n-sphère sur la (n + 1)-sphère, pour tout entier naturel n. Il décale de 1 les groupes d'homologie et d' : Si X est un CW-complexe, alors SX aussi. Si deux espaces ont même type d'homotopie, leurs suspensions aussi.

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

Publications associées (18)

Personnes associées (2)

Unités associées (2)

Concepts associés (16)

Cours associés (1)

Séances de cours associées (17)

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

Neurometabolic profiles of bile duct ligated rats after the treatment with an urease inhibitor – 1H MRS dataset

Cristina Ramona Cudalbu, Dunja Simicic

1H MRS in the cerebellum was used to study the effect of 2-octynohydroxamic acid (2-octynoHA) treatment on the brain of bile duct ligated (BDL) rats (type C hepatic encephalopathy). The study included four groups of rats: negative control group (rats recei ...

Zenodo2023

Computational tools for twisted topological Hochschild homology of equivariant spectra

Kathryn Hess Bellwald, Inbar Klang

Twisted topological Hochschild homology of Cn-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we intr ...

ELSEVIER2022

A Shadow Perspective on Equivariant Hochschild Homologies

Kathryn Hess Bellwald, Inbar Klang

Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category V, as ...

OXFORD UNIV PRESS2022

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.

En topologie, et en particulier en topologie algébrique, le cône CX d'un espace topologique X est l'espace quotient :du produit de X par l'intervalle unité I = [0, 1]. Intuitivement, on forme un cylindre de base X et on réduit une extrémité du cylindre à un point. Le cône construit sur un point p de la droite réelle est le segment {p} × [0,1]. Le cône construit sur deux points {0,1} est un "V" avec les extrémités en 0 et 1. Le cône construit sur un intervalle I de la droite réelle est un triangle plein, aussi appelé 2-simplexe (voir l'exemple final).

En mathématiques, l'espace des lacets d'un espace topologique pointé est l'ensemble des applications continues d'un segment dans cet espace, tel que l'image des deux extrémités du segment coïncide avec le point de base. Muni de la topologie compacte-ouverte, il s'agit d'un invariant homotopique. La concaténation et le renversement des lacets en font un h-groupe. L'espace des lacets d'un CW-complexe a le type d'homotopie d'un CW-complexe. L’espace des lacets est la cofibre de l’inclusion de l’espace des chemins pointés dans l’espace des chemins.

Explore les espaces de cartographie pointés, la loi exponentielle, les propriétés d'adjonction et les classes homotopiques.

Couvre le concept de Places Steenrod et leurs applications dans des opérations de cohomologie stables.

Explore la cartographie des cylindres et des cônes, la clé dans les séquences exactes et la topologie.