In mathematics, the Puppe sequence is a construction of homotopy theory, so named after Dieter Puppe. It comes in two forms: a long exact sequence, built from the mapping fibre (a fibration), and a long coexact sequence, built from the mapping cone (which is a cofibration). Intuitively, the Puppe sequence allows us to think of homology theory as a functor that takes spaces to long-exact sequences of groups. It is also useful as a tool to build long exact sequences of relative homotopy groups.
Let be a continuous map between pointed spaces and let denote the mapping fibre (the fibration dual to the mapping cone). One then obtains an exact sequence:
where the mapping fibre is defined as:
Observe that the loop space injects into the mapping fibre: , as it consists of those maps that both start and end at the basepoint . One may then show that the above sequence extends to the longer sequence
The construction can then be iterated to obtain the exact Puppe sequence
The exact sequence is often more convenient than the coexact sequence in practical applications, as Joseph J. Rotman explains:
(the) various constructions (of the coexact sequence) involve quotient spaces instead of subspaces, and so all maps and homotopies require more scrutiny to ensure that they are well-defined and continuous.
As a special case, one may take X to be a subspace A of Y that contains the basepoint y0, and f to be the inclusion of A into Y. One then obtains an exact sequence in the :
where the are the homotopy groups, is the zero-sphere (i.e. two points) and denotes the homotopy equivalence of maps from U to W. Note that . One may then show that
is in bijection to the relative homotopy group , thus giving rise to the relative homotopy sequence of pairs
The object is a group for and is abelian for .
As a special case, one may take f to be a fibration . Then the mapping fiber Mp has the homotopy lifting property and it follows that Mp and the fiber have the same homotopy type.
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.
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
Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its
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
In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces . It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groupsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished trianglegives a long exact sequence analogous to the long exact sequence of homotopy groups.
La suite de Puppe — nommée d'après Dieter Puppe — est une construction mathématique en topologie algébrique, plus précisément en théorie de l'homotopie. Soient f : A → B une application continue entre deux CW-complexes et C(f) son cône. On a donc une suite : A → B → C(f). En appliquant à f le foncteur de suspension et en effectuant pour Sf : SA → SB la même construction, on obtient une autre suite : SA → SB → C(Sf).
En mathématiques et plus précisément en théorie de l'homotopie, le cône d'une application est un espace topologique construit à partir du cône ayant pour base l'espace de départ de l'application, en identifiant les points de cette base avec ceux de l'espace d'arrivée au moyen de l'application. Soit X et Y deux espaces topologiques et f : X → Y une application continue. Le cône de l'application f ou cofibre homotopique de f, noté C, est l'espace topologique , c'est-à-dire en quotientant la réunion disjointe CX⊔Y par l'identification de chaque élément x de X ⊂ CX avec son image f(x) dans Y.
Explore les séquences de tours, les homomorphismes et leurs applications en topologie, y compris le calcul de l'homologie et la construction de télescopes.
Explore la naturalité dans les complexes de chaînes, les groupes d'homologie et les groupes abéliens, en mettant l'accent sur la commutativité des carrés et du Cinq-Lemme.