Paire d'espaces
En topologie, une paire d'espaces est la donnée d'un espace topologique et d'une partie de celui-ci[1]. Cette structure permet notamment de définir la notion de théorie homologique par des axiomes[2].
Remarque préalable[modifier | modifier le code]
En réalité, il ne s'agit pas d'une paire au sens ensembliste du terme mais plutôt d'un couple. La dénomination traduit l'anglais topological pair.
Catégorie[modifier | modifier le code]
Un morphisme entre deux paires d'espaces (X, A) et (Y, B) est une application continue f de X dans Y telle que f(A) est inclus dans B.
Notes et références[modifier | modifier le code]
- Michel Zisman, Topologie algébrique élémentaire, Armand Colin, , p. 164.
- Axiomes d'Eilenberg-Steenrod : lire par exemple (en) Glen E. Bredon (en), Topology and Geometry [détail de l’édition], chap. IV, Definition 6.1, p. 183-184.
