Concept
Espace pointé
Concepts associés (16)
Espace des lacets
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.
Théorie de l'homotopie
La théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A. Étant donné deux équivalences d’homotopie f : X′ → X et g : Y → Y′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.
Bouquet (mathématiques)
In topology, the wedge sum is a "one-point union" of a family of topological spaces. Specifically, if X and Y are pointed spaces (i.e. topological spaces with distinguished basepoints and ) the wedge sum of X and Y is the quotient space of the disjoint union of X and Y by the identification where is the equivalence closure of the relation More generally, suppose is a indexed family of pointed spaces with basepoints The wedge sum of the family is given by: where is the equivalence closure of the relation In other words, the wedge sum is the joining of several spaces at a single point.
Suspension (mathématiques)
En mathématiques, la suspension est une construction topologique définie par écrasement des extrémités d'un cylindre. Elle permet notamment de définir les sphères S par récurrence. Si l'espace topologique est pointé, sa suspension réduite est le quotient de la suspension par le cylindre sur le point de base, c'est un espace pointé avec un point base canonique. La suspension est un foncteur de la catégorie des espaces topologiques (pointés ou non) dans elle-même.
Comma category
In mathematics, a comma category (a special case being a slice category) is a construction in . It provides another way of looking at morphisms: instead of simply relating objects of a to one another, morphisms become objects in their own right. This notion was introduced in 1963 by F. W. Lawvere (Lawvere, 1963 p. 36), although the technique did not become generally known until many years later. Several mathematical concepts can be treated as comma categories. Comma categories also guarantee the existence of some s and colimits.
Espace compactement engendré
En mathématiques, un espace topologique est dit compactement engendré si c'est un k-espace faiblement Hausdorff. Cette notion intervient en théorie de l'homotopie, dans l'étude des CW-complexes. Un espace X est : un k-espace si toute partie « compactement fermée » de X est fermée (une partie F de X est dite compactement fermée si pour toute application continue f d'un compact K dans X, est fermé dans K) ; faiblement Hausdorff si toute application continue d'un compact dans X est fermée.
Catégorie des espaces topologiques
En mathématiques, la catégorie des espaces topologiques est une construction qui rend compte abstraitement des propriétés générales observées dans l'étude des espaces topologiques. Ce n'est pas la seule catégorie qui possède les espaces topologiques comme objet, et ses propriétés générales sont trop faibles ; cela motive la recherche de « meilleures » catégories d'espaces. C'est un exemple de catégorie topologique.
Somme amalgamée
vignette|Diagramme commutatif traduisant la propriété universelle de la somme amalgamée. En mathématiques, la somme amalgamée est une opération entre deux ensembles constituant les espaces d'arrivée de deux applications définies sur un même troisième ensemble. Le résultat satisfait une propriété universelle de factorisation de diagrammes, duale de celle du produit fibré et qui peut être valable dans d'autres catégories que celle des ensembles, comme celle des groupes.
Théorie de l'homotopie stable
En mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé , les groupes d'homotopie se stabilisent pour suffisamment grand. En particulier, les groupes d'homotopie des sphères se stabilisent pour .
Foncteur adjoint
L'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».