Théorème d'HurewiczEn topologie algébrique, le cas le plus simple du théorème d'Hurewicz – attribué à Witold Hurewicz – est une description du premier groupe d'homologie singulière d'un espace topologique connexe par arcs à l'aide de son groupe fondamental. Le groupe fondamental, en un point x, d'un espace X, est défini comme l'ensemble des classes d'homotopie de lacets de X en x, muni de la loi de concaténation des lacets. Il est noté π(X, x).
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.
Propriété de relèvement des homotopiesEn mathématiques, en particulier en théorie de l'homotopie en topologie algébrique, la propriété de relèvement des homotopies est une condition technique sur une fonction continue d'un espace topologique E dit total à un autre, B dit espace de base. Moralement, cette propriété énonce que toute homotopie dans l'espace de base se relève en une homotopie dans l'espace total E. Par exemple, un revêtement a une propriété de relèvement local unique des chemins vers un ouvert de la fibre donnée ; l'unicité est due au fait que les fibres d'un revêtement sont des espaces discrets.
Axiomatic foundations of topological spacesIn the mathematical field of topology, a topological space is usually defined by declaring its open sets. However, this is not necessary, as there are many equivalent axiomatic foundations, each leading to exactly the same concept. For instance, a topological space determines a class of closed sets, of closure and interior operators, and of convergence of various types of objects. Each of these can instead be taken as the primary class of objects, with all of the others (including the class of open sets) directly determined from that new starting point.
Sphère d'homologieEn topologie algébrique, une sphère d'homologie (ou encore, sphère d'homologie entière) est une variété X de dimension n ≥ 1 qui a les mêmes groupes d'homologie que la n-sphère standard S, à savoir : H0(X,Z) = Z = Hn(X,Z) et Hi(X,Z) = {0} pour tout autre entier i. Une telle variété X est donc connexe, fermée (i.e. compacte et sans bord), orientable, et avec (à part b0 = 1) un seul nombre de Betti non nul : bn. Les sphères d'homologie rationnelle sont définies de façon analogue, avec l'homologie à coefficients rationnels.
Whitehead torsionIn geometric topology, a field within mathematics, the obstruction to a homotopy equivalence of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion which is an element in the Whitehead group . These concepts are named after the mathematician J. H. C. Whitehead. The Whitehead torsion is important in applying surgery theory to non-simply connected manifolds of dimension > 4: for simply-connected manifolds, the Whitehead group vanishes, and thus homotopy equivalences and simple homotopy equivalences are the same.
Espace de FréchetUn espace de Fréchet est une structure mathématique d'espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l'absence d'une norme. Cette dénomination fait référence à Maurice Fréchet, mathématicien français ayant participé notamment à la fondation de la topologie et à ses applications en analyse fonctionnelle. C'est dans ce dernier domaine que la structure des espaces de Fréchet se révèle particulièrement utile, notamment en fournissant une topologie naturelle aux espaces de fonctions infiniment dérivables et aux espaces de distributions.
K-théorie algébriqueEn mathématiques, la K-théorie algébrique est une branche importante de l'algèbre homologique. Son objet est de définir et d'appliquer une suite de foncteurs K de la catégorie des anneaux dans celle des groupes abéliens. Pour des raisons historiques, K et K sont conçus en des termes un peu différents des K pour n ≥ 2. Ces deux K-groupes sont en effet plus accessibles et ont plus d'applications que ceux d'indices supérieurs. La théorie de ces derniers est bien plus profonde et ils sont beaucoup plus difficiles à calculer, ne serait-ce que pour l'anneau des entiers.
Homologie de FloerL'homologie de Floer est une adaptation de l'homologie de Morse en dimension infinie. L'homologie de Floer symplectique (HFS) est une théorie homologique pour une variété symplectique munie d'un symplectomorphisme non-dégénéré. Si le symplectomorphisme est hamiltonien, l'homologie provient de l'étude de la fonctionnelle d'action symplectique sur le revêtement universel de l'espace des lacets de la variété symplectique. L'homologie de Floer symplectique est invariante par isotopie hamiltonienne du symplectomorphisme.
HistoireL’histoire est à la fois l'étude et l'écriture des faits et des événements passés quelles que soient leur variété et leurs complexités. Ce mot est souvent écrit avec la première lettre en majuscule. L'histoire est également une science humaine et sociale. On désigne aussi couramment sous le terme dhistoire (par synecdoque) le passé lui-même, comme dans les leçons de l'histoire. L'histoire est un récit écrit par lequel les êtres humains, et plus particulièrement les historiens, s'efforcent de faire connaître les temps révolus.
Topologie discrèteEn mathématiques, plus précisément en topologie, la topologie discrète sur un ensemble est une structure d'espace topologique où, de façon intuitive, tous les points sont « isolés » les uns des autres. Soit X un ensemble. L'ensemble des parties de X définit une topologie sur X appelée topologie discrète. X muni de cette topologie est alors appelé espace discret. On dit qu'une partie A d'un espace topologique X est un ensemble discret lorsque la topologie induite sur A est la topologie discrète.
Nombre de BettiEn mathématiques, et plus précisément en topologie algébrique, les nombres de Betti sont des invariants topologiques, c'est-à-dire qu'ils aident à distinguer différents espaces topologiques. Ils forment une suite dont chaque terme est un entier naturel ou +∞. Pour les espaces « raisonnables » comme les variétés compactes et les complexes simpliciaux ou CW-complexes finis, ils sont tous finis, et nuls à partir d'un certain rang (au-delà de la dimension de l'espace). Henri Poincaré les a nommés ainsi en l'honneur d'Enrico Betti.
