Cylindre d'applicationEn mathématiques, le cylindre (mapping cylinder) d'une application continue entre deux espaces topologiques est un espace homotopiquement équivalent à l'espace but et dans lequel l'espace source s'inclut par une cofibration. Si l'espace source est aussi l'espace but, le tore de l'application (mapping torus) est le quotient du cylindre par la relation entre ses extrémités. Le double cylindre d'applications de deux applications continues f : X → Y et f : X → Y est le quotient de la réunion disjointe par la relation d'équivalence : (x, i) ∼ f(x).
Homotopy fiberIn mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces . It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groupsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished trianglegives a long exact sequence analogous to the long exact sequence of homotopy groups.
Cône d'une applicationEn mathématiques et plus précisément en théorie de l'homotopie, le cône d'une application est un espace topologique construit à partir du cône ayant pour base l'espace de départ de l'application, en identifiant les points de cette base avec ceux de l'espace d'arrivée au moyen de l'application. Soit X et Y deux espaces topologiques et f : X → Y une application continue. Le cône de l'application f ou cofibre homotopique de f, noté C, est l'espace topologique , c'est-à-dire en quotientant la réunion disjointe CX⊔Y par l'identification de chaque élément x de X ⊂ CX avec son image f(x) dans Y.
Groupe d'homotopieEn mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
Théorie de l'homotopieLa 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.
Topologievignette|Déformation continue d'une tasse avec une anse, en un tore (bouée). thumb|Un ruban de Möbius est une surface fermée dont le bord se réduit à un cercle. De tels objets sont des sujets étudiés par la topologie. La topologie est la branche des mathématiques qui étudie les propriétés d'objets géométriques préservées par déformation continue sans arrachage ni recollement, comme un élastique que l’on peut tendre sans le rompre.
Topologie de l'ordreEn mathématiques, la topologie de l'ordre est une topologie naturelle définie sur tout ensemble ordonné (E, ≤), et qui dépend de la relation d'ordre ≤. Lorsque l'on définit la topologie usuelle de la droite numérique R, deux approches équivalentes sont possibles. On peut se fonder sur la relation d'ordre dans R, ou sur la valeur absolue de la distance entre deux nombres. Les égalités ci-dessous permettent de passer de l'une à l'autre : La valeur absolue se généralise en la notion de distance, qui induit le concept de topologie d'un espace métrique.
General topologyIn mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points.
Topologie finaleEn mathématiques et plus précisément en topologie, la topologie finale, sur un ensemble d'arrivée commun à une famille d'applications définies chacune sur un espace topologique, est la topologie la plus fine pour laquelle toutes ces applications sont continues. La notion duale est celle de topologie initiale. Soient X un ensemble, (Y) une famille d'espaces topologiques et pour chaque indice i ∈ I, une application f : Y → X. La topologie finale sur X associée à la famille (f) est la plus fine des topologies sur X pour lesquelles chaque f est continue.
Suite exacteEn mathématiques, plus particulièrement en algèbre homologique, une suite exacte est une suite (finie ou infinie) d'objets et de morphismes entre ces objets telle que l' de l'un est égale au noyau du suivant. Dans le contexte de la théorie des groupes, on dit que la suite (finie ou infinie) de groupes et de morphismes de groupes est exacte si pour tout entier naturel n on a . Dans ce qui précède, sont des groupes et des morphismes de groupes avec . Dans la suite, 0 dénote le groupe trivial, qui est l'objet nul dans la catégorie des groupes.
Topologie initialeEn mathématiques, plus précisément en topologie, la topologie initiale, sur un ensemble muni d'une famille d'applications à valeurs dans des espaces topologiques, est la topologie la moins fine pour laquelle toutes ces applications sont continues. Deux cas particuliers importants de topologies initiales sont la topologie induite et la topologie produit. La notion duale est celle de topologie finale. Soient X un ensemble et (fi)i∈I une famille d'applications, chacune définie sur X et à valeurs dans un espace topologique Yi.
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.
Topologie quotientEn mathématiques, la topologie quotient consiste intuitivement à créer une topologie en collant certains points d'un espace donné sur d'autres, par le biais d'une relation d'équivalence bien choisie. Cela est souvent fait dans le but de construire de nouveaux espaces à partir d'anciens. On parle alors d'espace topologique quotient. Beaucoup d'espaces intéressants, le cercle, les tores, le ruban de Möbius, les espaces projectifs sont définis comme des quotients.
Foncteur exactEn mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.
Suspension de véhiculeLes suspensions d'un véhicule sont les éléments permettant de relier les masses non suspendues (typiquement la roue, les pièces d'entraînement de roue, souvent les systèmes de freinage, etc) aux masses suspendues (typiquement le châssis, le moteur et tous les composants du véhicule fixés au châssis). L'utilisation de la suspension est imposée par les irrégularités de la surface sur laquelle se déplace le véhicule.
Topologie induiteEn mathématiques, la topologie induite est une topologie définie sur toute partie Y d'un espace topologique X : c'est la trace sur Y de la topologie sur X. Autrement dit, l'ensemble des ouverts de Y (muni de la topologie induite) est : {O⋂Y | O ouvert de X}. Ou encore : les voisinages dans Y d'un point sont les traces sur Y de ses voisinages dans X. On dit alors que Y est un sous-espace de X. La topologie induite est souvent sous-entendue dans les énoncés de topologie : par exemple, lorsque l'on a un espace topologique X donné, une partie Y de X sera dite compacte si elle est compacte pour la topologie induite par X sur Y.
Homotopy categoryIn 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.
Suspension pneumatiqueLa suspension pneumatique est un type de suspension de véhicule alimenté par une pompe à air entraînée par un moteur électrique ou un compresseur. Cette pompe pressurise l'air pour utiliser l'air comprimé comme un ressort. La suspension pneumatique remplace les ressorts en acier conventionnels, mais si le moteur ne fonctionne pas pendant une période prolongée, la suspension du véhicule se dégonfle. Le but de la suspension pneumatique est de fournir un bon confort de roulement et la possibilité de régler la fermeté des suspensions voire la hauteur du véhicule.
Suite de PuppeLa suite de Puppe — nommée d'après Dieter Puppe — est une construction mathématique en topologie algébrique, plus précisément en théorie de l'homotopie. Soient f : A → B une application continue entre deux CW-complexes et C(f) son cône. On a donc une suite : A → B → C(f). En appliquant à f le foncteur de suspension et en effectuant pour Sf : SA → SB la même construction, on obtient une autre suite : SA → SB → C(Sf).
Groupes d'homotopie des sphèresEn mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
