Cofibration

Modèle:Sources 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.

Définition

Une application $i$ entre deux espaces topologiques $A$ et $X$ est appelée une cofibration si pour toute application $F$ de $X$ dans un espace topologique $Y$ telle que la composée avec $i$ est homotope à une application $g$, il existe une homotopie de $X$ vers $Y$ dont la composée avec $i$ donne l'homotopie sur $A$. Cette définition est résumée par le diagramme commutatif suivant :

$\begin{array}{ccc}A& \stackrel{H}{\to }& Y^{[0;1]}\\ {}^i\downarrow & {}^{\mathrm{\exists }}\nearrow & {\downarrow }^{{\mathrm{e}\mathrm{v}}_0}\\ X& \stackrel{F}{\to }& Y\end{array}$

où $Y^{[0,1]}$ est l’espace des chemins sur Modèle:Mvar.

Propriétés

Pour une cofibration Modèle:Math de Modèle:Math dans Modèle:Math, l'homologie de la cofibre Modèle:Math est celle de la paire d'espaces et s'inscrit donc dans une suite exacte longue :

$\cdots \to H_n(A)\stackrel{i_{*}}{⟶}{H}_n(X)\to H_n(C)\to H_{n-1}(A)\to \cdots \to H_1(C)\to H_0(A)\to H_0(X)\to H_0(C)\to 0.$

Articles connexes

• Fibration
• Propriété de relèvement des homotopies