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.
En mathématiques, l'espace des lacets d'un espace topologique pointé est l'ensemble des applications continues d'un segment dans cet espace, tel que l'image des deux extrémités du segment coïncide avec le point de base. Muni de la topologie compacte-ouverte, il s'agit d'un invariant homotopique. La concaténation et le renversement des lacets en font un h-groupe. L'espace des lacets d'un CW-complexe a le type d'homotopie d'un CW-complexe. L’espace des lacets est la cofibre de l’inclusion de l’espace des chemins pointés dans l’espace des chemins.
En mathématiques, un H-espace est une version d'une généralisation de la notion de groupe topologique, dans laquelle les axiomes d' sont supprimés. Un H-espace est constitué d'un espace topologique X, ainsi que d'un élément e de X et d'une application continue , tel que et les applications et sont toutes les deux homotopes à l'application identité relativement à e. Cet espace peut être considéré comme un espace topologique pointé avec une multiplication continue pour laquelle le point de base est un , à homotopie près préservant le point de base.
In mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.
En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d'un produit scalaire. Cette notion généralise celles d'espace euclidien ou hermitien dans le cas d'une dimension quelconque, tout en conservant certaines bonnes propriétés géométriques des espaces de dimension finie grâce aux propriétés du produit scalaire, mais en perdant un atout de taille : un espace préhilbertien de dimension infinie n'est pas nécessairement complet. On peut cependant le compléter, pour obtenir un espace de Hilbert.