Espace pointé
De Wikipédia, l'encyclopédie libre
En topologie, un espace pointé est un espace topologique dont on spécifie un point particulier comme étant le point de base. Formellement, il s'agit donc d'un couple (E, x) pour lequel x est un élément de E.
Une application pointée entre deux espaces pointés est une application continue préservant les points de base.
Les espaces pointés sont les objets d'une catégorie, notée parfois Top, dont les morphismes sont les applications pointées.
Cette catégorie admet le point comme objet nul. Le produit cartésien et le bouquet constituent respectivement le produit et le coproduit. Plus précisément, le produit (catégorique) des espaces pointés (X, x) et (Y, y) est l'espace X × Y doté du point de base (x, y).
Un espace (X, x) est dit « bien ponctué[1] » si l'inclusion de {x} dans X est une cofibration[2].
Le produit smash apparaît dans la loi exponentielle pour les espaces pointés. Si X, Y et Z sont des espaces pointés et X satisfait certaines conditions (par exemple s'il est localement compact), alors on a la relation suivante[3] :
Il existe un foncteur d'oubli vers la catégorie des espaces topologiques, muni d'un foncteur adjoint à gauche consistant à munir chaque espace d'un point de base disjoint isolé.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
