Ê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
Théorème de suspension de Freudenthal
Résumé
In mathematics, and specifically in the field of homotopy theory, the Freudenthal suspension theorem is the fundamental result leading to the concept of stabilization of homotopy groups and ultimately to stable homotopy theory. It explains the behavior of simultaneously taking suspensions and increasing the index of the homotopy groups of the space in question. It was proved in 1937 by Hans Freudenthal.
The theorem is a corollary of the homotopy excision theorem.
Let X be an n-connected pointed space (a pointed CW-complex or pointed simplicial set). The map
induces a map
on homotopy groups, where Ω denotes the loop functor and Σ denotes the reduced suspension functor. The suspension theorem then states that the induced map on homotopy groups is an isomorphism if k ≤ 2n and an epimorphism if k = 2n + 1.
A basic result on loop spaces gives the relation
so the theorem could otherwise be stated in terms of the map
with the small caveat that in this case one must be careful with the indexing.
As mentioned above, the Freudenthal suspension theorem follows quickly from homotopy excision; this proof is in terms of the natural map . If a space is -connected, then the pair of spaces is -connected, where is the reduced cone over ; this follows from the relative homotopy long exact sequence. We can decompose as two copies of , say , whose intersection is . Then, homotopy excision says the inclusion map:
induces isomorphisms on and a surjection on . From the same relative long exact sequence, and since in addition cones are contractible,
Putting this all together, we get
for , i.e. , as claimed above; for the left and right maps are isomorphisms, regardless of how connected is, and the middle one is a surjection by excision, so the composition is a surjection as claimed.
Let Sn denote the n-sphere and note that it is (n − 1)-connected so that the groups stabilize for by the Freudenthal theorem. These groups represent the kth stable homotopy group of spheres.
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.