Temps de calcul pseudo-polynomialEn informatique théorique, et notamment en théorie de la complexité, un algorithme est appelé pseudo-polynomial si sa complexité en temps est un polynôme en la valeur numérique de l'entrée (mais pas nécessairement en la taille en mémoire de l'entrée). Considérons le problème du test de primalité. On peut vérifier qu'un entier naturel donné n est premier en testant qu'il n'est divisible par aucun des entiers . Cela exige divisions, de sorte que le temps pris par cet algorithme naïf est linéaire en la valeur n .
Tour de PostnikovEn théorie de l'homotopie, une branche de la topologie algébrique, une tour de Postnikov (ou système de Postnikov) est un objet permettant de reconstruire un espace topologique à partir de ses groupes d'homotopie. Une tour de Postnikov pour un espace X connexe par arcs est un morphisme de X vers une suite d'espaces et d'applications continues, ...→ X →...→ X→ X, tel que chaque application X→X induit des isomorphismes des π pour k ≤ n ; π(X) = 0 pour k > n. Tout CW-complexe connexe possède une telle « tour ».
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).
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 .
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.
A¹ homotopy theoryIn algebraic geometry and algebraic topology, branches of mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is.
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.
Polynômethumb|Courbe représentative d'une fonction cubique. En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées, habituellement notées X, Y, Z... Ces objets sont largement utilisés en pratique, ne serait-ce que parce qu'ils donnent localement une valeur approchée de toute fonction dérivable (voir l'article Développement limité) et permettent de représenter des formes lisses (voir l'article Courbe de Bézier, décrivant un cas particulier de fonction polynomiale).
Espace classifiantEn mathématiques, un espace classifiant pour un groupe topologique G est la base d’un fibré principal particulier EG → BG appelé fibré universel, induisant tous les fibrés ayant ce groupe de structure sur n’importe quel CW-complexe X par (pullback). Dans le cas d’un groupe discret, la définition d’espace classifiant correspond à celle d’un espace d'Eilenberg-MacLane K(G, 1), c’est-à-dire un espace connexe par arcs dont tous les groupes d'homotopie sont triviaux en dehors du groupe fondamental (lequel est isomorphe à G).
Groupe fondamentalEn mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d'un espace topologique pointé (X, d) est, par définition, l'ensemble des classes d'homotopie de lacets (chemins fermés) de X de base d. C'est un groupe dont la loi de composition interne est induite par la concaténation (juxtaposition) des arcs. L'examen des groupes fondamentaux permet de prouver que deux espaces particuliers ne peuvent être homéomorphes (c'est-à-dire topologiquement équivalents).
