Théorie de l'homotopie stableEn 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 .
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).
Axiomes de Peanovignette|Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique.
Étale morphismIn algebraic geometry, an étale morphism (etal) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
Catégorie homotopique des complexes de chaînesEn algèbre homologique, la catégorie homotopique K(A) des complexes de chaînes dans une catégorie additive A est un cadre pour travailler avec des complexes de chaînes et équivalences homotopiques. Elle est un intermédiaire entre la catégorie des complexes de chaînes Kom(A) de A et la catégorie dérivée D(A) de A lorsque A est abélien ; contrairement à la première, c'est une catégorie triangulée, et contrairement à la seconde, sa construction n'exige pas que A soit abélien.
Axiomes de TarskiLes axiomes de Tarski, dus à Alfred Tarski, sont un système d'axiomes pour la géométrie euclidienne exprimé en logique du premier ordre. Les prédicats utilisés dans le langage sont : le point y est entre les points x et z : (entre deux ou en anglais betweenness) ; la distance de x à y est égale à la distance de z à u : (congruence). A1: Réflexivité de la congruence A2: Transitivité de la congruence A3: Segment nul A4: Report de segment A5: Cinq segments A6: Identité A7: Axiome de Pasch A8: Plus petite dimension Il existe trois points non colinéaires, il n'existe donc pas de modèle de la théorie de dimension < 2.
Leray spectral sequenceIn mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946 by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence. Let be a continuous map of topological spaces, which in particular gives a functor from sheaves of abelian groups on to sheaves of abelian groups on .
Kan fibrationIn mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard structure on simplicial sets and are therefore of fundamental importance. Kan complexes are the fibrant objects in this model category. The name is in honor of Daniel Kan. For each n ≥ 0, recall that the , , is the representable simplicial set Applying the geometric realization functor to this simplicial set gives a space homeomorphic to the topological standard -simplex: the convex subspace of Rn+1 consisting of all points such that the coordinates are non-negative and sum to 1.
Propriété de prolongement des homotopiesEn mathématiques, et plus précisément en topologie algébrique, la propriété de prolongement des homotopies (ou d'extension des homotopies) indique quelles homotopies définies sur un sous-espace peuvent être étendues à une homotopie définie sur un espace plus grand. La propriété d'extension des homotopies des cofibrations est le dual de la propriété de relèvement des homotopies qui est utilisée pour définir les fibrations. Soit un espace topologique, et soit .
Axiome de séparation (topologie)En topologie, un axiome de séparation est une propriété satisfaite par certains espaces topologiques, similaire à la propriété de séparation de Hausdorff (dite aussi T2), et concernant la séparation de points ou de fermés, du point de vue soit de voisinages, soit de fonctions continues réelles. Divers axiomes de séparation peuvent être ordonnés par implication, notamment ceux de la série des axiomes codés par la lettre « T » et un indice numérique, ces axiomes étant en général d'autant plus restrictifs que les indices sont élevés et les topologies correspondantes plus fines.
Axiomes de Hilbertthumb|right|David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie (Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions successives par Hilbert lui-même, ou des axiomes directement inspirés de sa présentation que l'on appelle axiomes de Hilbert.
Cohomologie des faisceauxLes groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines : où est une résolution injective du faisceau , et désigne le groupe abélien des sections globales de . A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie. Le zéroième groupe est canoniquement isomorphe à .
