HomotopieEn mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
Espace pointé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.
LF-spaceIn mathematics, an LF-space, also written (LF)-space, is a topological vector space (TVS) X that is a locally convex inductive limit of a countable inductive system of Fréchet spaces. This means that X is a direct limit of a direct system in the category of locally convex topological vector spaces and each is a Fréchet space. The name LF stands for Limit of Fréchet spaces. If each of the bonding maps is an embedding of TVSs then the LF-space is called a strict LF-space.
Topologie compacte-ouverteEn mathématiques, la topologie compacte-ouverte est une topologie définie sur l'ensemble des applications continues entre deux espaces topologiques. C'est l'une des topologies les plus utilisées sur un tel espace fonctionnel, et elle est employée en théorie de l'homotopie et en analyse fonctionnelle. Elle a été introduite par Ralph Fox en 1945. Soient X et Y deux espaces topologiques et C(X,Y) l'espace des applications continues de X dans Y.
Groupe topologiqueEn mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu.
Variété topologiqueEn topologie, une variété topologique est un espace topologique, éventuellement séparé, assimilable localement à un espace euclidien. Les variétés topologiques constituent une classe importante des espaces topologiques, avec des applications à tous les domaines des mathématiques. Le terme variété peut désigner une variété topologique, ou, le plus souvent, une variété topologique munie d'une autre structure. Par exemple, une variété différentielle est une variété topologique munie d'une structure permettant le calcul différentiel.
Brown's representability theoremIn mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the Hotc of pointed connected CW complexes, to the Set, to be a representable functor. More specifically, we are given F: Hotcop → Set, and there are certain obviously necessary conditions for F to be of type Hom(—, C), with C a pointed connected CW-complex that can be deduced from alone. The statement of the substantive part of the theorem is that these necessary conditions are then sufficient.
Fonction localement intégrableEn mathématiques, plus précisément en théorie de l'intégration au sens de Lebesgue, une fonction à valeurs complexes définie sur un ouvert Ω de R est dite localement intégrable si sa restriction à tout compact de Ω est intégrable pour la mesure de Lebesgue λ. L'espace vectoriel de ces fonctions est noté L(Ω) et son quotient par le sous-espace des fonctions nulles presque partout est noté L(Ω).
Path space fibrationIn algebraic topology, the path space fibration over a based space is a fibration of the form where is the path space of X; i.e., equipped with the compact-open topology. is the fiber of over the base point of X; thus it is the loop space of X. The space consists of all maps from I to X that may not preserve the base points; it is called the free path space of X and the fibration given by, say, , is called the free path space fibration. The path space fibration can be understood to be dual to the mapping cone.
Espace séparéEn mathématiques, un espace séparé, dit aussi espace de Hausdorff, est un espace topologique dans lequel deux points distincts quelconques admettent toujours des voisinages disjoints. Cette condition est aussi appelée axiome T2 au sein des axiomes de séparation. L'appellation fait référence à Felix Hausdorff, mathématicien allemand et l'un des fondateurs de la topologie, qui avait inclus cette condition dans sa définition originale d'espace topologique.
Weak Hausdorff spaceIn mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. In particular, every Hausdorff space is weak Hausdorff. As a separation property, it is stronger than T1, which is equivalent to the statement that points are closed. Specifically, every weak Hausdorff space is a T1 space. The notion was introduced by M. C. McCord to remedy an inconvenience of working with the of Hausdorff spaces.
