Concept
Homologie (mathématiques)
Concepts associés (44)
Théorème de Künneth
En mathématiques, le théorème de Künneth est un résultat de topologie algébrique qui décrit l'homologie singulière du produit X × Y de deux espaces topologiques, en termes de groupes homologiques singuliers Hi(X, R) et Hj(Y, R). Il tient son nom du mathématicien allemand Hermann Künneth. Si R est supposé être un corps commutatif, alors le résultat est une approximation du cas général : en effet, on n'a plus besoin d'invoquer le foncteur Tor.
Suite spectrale
En algèbre homologique et en topologie algébrique, une suite spectrale est une suite de modules différentiels (En,dn) tels que En+1 = H(En) = Ker dn / dn est l'homologie de En. Elles permettent donc de calculer des groupes d'homologie par approximations successives. Elles ont été introduites par Jean Leray en 1946. Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
Somme connexe
En mathématiques, et plus précisément en topologie, la somme connexe est une opération qui s'effectue sur des variétés connexes de même dimension. La somme connexe de deux variétés connexes de même dimension n est obtenue en retirant à chacune un petit voisinage d'un point formé d'une boule ouverte, et en recollant les deux variétés ainsi obtenues (techniquement : en prenant l'espace quotient de leur union disjointe) le long des deux sphères Sn–1 apparues.
Quasi-isomorphisme
En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie. Cette définition s'applique aux morphismes de complexes différentiels et notamment aux complexes de chaines ou de cochaines, mais aussi aux applications continues entre espaces topologiques via les différentes théories d'homologie. Toute équivalence d'homotopie est un quasi-isomorphisme mais la réciproque est fausse. En particulier, l'existence d'un quasi-isomorphisme entre deux espaces n'implique pas l'existence d'un quasi-isomorphisme réciproque.
Homologie de Hochschild
L’homologie de Hochschild et la cohomologie de Hochschild sont des théories homologiques et cohomologiques définies à l'origine pour les algèbres associatives, mais qui ont été généralisées à des catégories plus générales. Elles ont été introduites par Gerhard Hochschild en 1945. La cohomologie cyclique développée par Alain Connes et Jean-Louis Loday en est une généralisation. La cohomologie de Hochschild classifie les de la structure multiplicative de l'algèbre considérée, et d'une manière générale l'homologie comme la cohomologie de Hochschild possèdent une riche structure algébrique.
Smith normal form
In mathematics, the Smith normal form (sometimes abbreviated SNF) is a normal form that can be defined for any matrix (not necessarily square) with entries in a principal ideal domain (PID). The Smith normal form of a matrix is diagonal, and can be obtained from the original matrix by multiplying on the left and right by invertible square matrices. In particular, the integers are a PID, so one can always calculate the Smith normal form of an integer matrix.
Combinatoire topologique
La combinatoire topologique est un domaine mathématique de la combinatoire qui applique des méthodes topologiques et algébrico-topologiques à la résolution de problèmes en combinatoire. La topologie combinatoire a utilisé des concepts combinatoires en topologie ; au début du , elle est devenue progressivement le domaine de la topologie algébrique. En 1978, la situation s'est inversée, et des méthodes de topologie algébrique ont été utilisées pour résoudre un problème en combinatoire, lorsque László Lovász a prouvé la conjecture de Kneser, initiant ainsi une nouvelle forme de la combinatoire topologique.
Topological data analysis
In applied mathematics, topological data analysis (TDA) is an approach to the analysis of datasets using techniques from topology. Extraction of information from datasets that are high-dimensional, incomplete and noisy is generally challenging. TDA provides a general framework to analyze such data in a manner that is insensitive to the particular metric chosen and provides dimensionality reduction and robustness to noise. Beyond this, it inherits functoriality, a fundamental concept of modern mathematics, from its topological nature, which allows it to adapt to new mathematical tools.
Théorème de la boule chevelue
En mathématiques, le théorème de la boule chevelue est un résultat de topologie différentielle. Il s'applique à une sphère supportant en chaque point un vecteur, imaginé comme un cheveu, tangent à la surface. Il affirme que la fonction associant à chaque point de la sphère le vecteur admet au moins un point de discontinuité, ce qui revient à dire que la coiffure contient un épi, ou qu'il y a des cheveux nuls, c'est-à-dire de la calvitie. De manière plus rigoureuse, un champ de vecteurs continu sur une sphère de dimension paire s'annule en au moins un point.
Analysis situs (article)
Analysis Situs est un article de référence sur les mathématiques publié par Henri Poincaré en 1895. Poincaré en a publié cinq compléments entre 1899 et 1904. Ces articles ont fourni le premier traitement systématique de la topologie et ont révolutionné le sujet en utilisant des structures algébriques pour distinguer les espaces topologiques non homéomorphes, fondant ainsi le domaine de la topologie algébrique.