Cylindre d'application
En mathématiques, le cylindre[1] (mapping cylinder) d'une application continue entre deux espaces topologiques est un espace homotopiquement équivalent à l'espace but et dans lequel l'espace source s'inclut par une cofibration.
![{\displaystyle I_{f}=(X\times [0;1]\sqcup Y)/\sim }](https://img.franco.wiki/i/9fb3fb0a826a06bb49ecd2204d6bdf23df13121f.svg)
où
![{\displaystyle T_{f}=(X\times [0;1])/\sim }](https://img.franco.wiki/i/8ccbe4fc20107e9b32da7f554e77c579ed00815a.svg)
où
Définitions du cylindre et du tore d'une application f entre X et Y.
Si l'espace source est aussi l'espace but, le tore de l'application (mapping torus) est le quotient du cylindre par la relation entre ses extrémités.
Le double cylindre d'applications de deux applications continues f0 : X → Y0 et f1 : X → Y1 est le quotient de la réunion disjointe X×[0, 1]⊔Y0⊔Y1 par la relation d'équivalence : (x, i) ∼ fi(x). Le cylindre d'une application f : X → Y en est un cas particulier : c'est le double cylindre de l'application identité de X et de l'application f.
Références
- (en) Allen Hatcher, Algebraic Topology, Cambridge, Cambridge University Press, , xii+544 (ISBN 0-521-79540-0, lire en ligne), p. 2
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.