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.
Khovanov homologyIn mathematics, Khovanov homology is an oriented link invariant that arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial. It was developed in the late 1990s by Mikhail Khovanov, then at the University of California, Davis, now at Columbia University. To any link diagram D representing a link L, we assign the Khovanov bracket [D], a cochain complex of graded vector spaces. This is the analogue of the Kauffman bracket in the construction of the Jones polynomial.
Andreas FloerAndreas Floer [fløːɐ] (1956-1991) est un mathématicien allemand qui a contribué aux domaines de la géométrie, de la topologie et de la physique mathématique. Il formula l'homologie de Floer, important outil dans ces domaines. Il est étudiant à l'université de Bochum et reçoit le diplôme de mathématiques (Diplom-Mathematiker) en 1982. Il intègre par la suite l'université de Californie à Berkeley, où il commence un travail de doctorat sur les et les 3-variétés sous la direction de Clifford Taubes.
Polynôme d'AlexanderEn mathématiques, et plus précisément en théorie des nœuds, le polynôme d'Alexander est un invariant de nœuds qui associe un polynôme à coefficients entiers à chaque type de nœud. C'est le premier découvert ; il l'a été par James Waddell Alexander II, en 1923. En 1969, John Conway en montra une version, appelée à présent le polynôme d'Alexander-Conway, pouvant être calculé à l'aide d'une « » (skein relation), mais l'importance n'en fut pas comprise avant la découverte du polynôme de Jones en 1984.
Relation binaireEn mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation. Les composantes d'un couple appartenant au graphe d'une relation R sont dits en relation par R. Une relation binaire est parfois appelée correspondance entre les deux ensembles.
Homologie (mathématiques)En mathématiques, l'homologie est une manière générale d'associer une séquence d'objets algébriques tels que des groupes abéliens ou des modules à d'autres objets mathématiques tels que des espaces topologiques. Les groupes d'homologie ont été définis à l'origine dans la topologie algébrique. Des constructions similaires sont disponibles dans beaucoup d'autres contextes, tels que l'algèbre abstraite, les groupes, les algèbres de Lie, la théorie de Galois et la géométrie algébrique.
Relation (mathématiques)Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets ; ainsi la relation d'ordre strict, notée « < », définie sur N l'ensemble des entiers naturels : 1 < 2 signifie que 1 est en relation avec 2 par cette relation, et on sait que 1 n'est pas en relation avec 0 par celle-ci. Une relation est très souvent une relation binaire, définie sur un ensemble comme la relation d'ordre strict sur N, ou entre deux ensembles.
Relation réflexiveEn mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité). Une relation R sur un ensemble X est dite : réflexive si tout élément de X est R-relié à lui-même :ou encore, si le graphe de R contient la diagonale de X (qui est le graphe de l'égalité) ; antiréflexive (ou irréflexive) si aucun élément de X n'est R-relié à lui-même :ou encore, si son graphe est disjoint de la diagonale de X.
Relation ternaireEn mathématiques, une relation ternaire est une relation d'arité 3, de même que les relations binaires, plus courantes, sont d'arité 2. Formellement, une relation ternaire est donc représentée par son graphe, qui est une partie du produit X × Y × Z de trois ensembles X, Y et Z. Le graphe d'une fonction de deux variables f : X × Y → Z, c'est-à-dire l'ensemble des triplets de la forme (x, y, f(x, y)), représente la relation ternaire R définie par : R(x, y, z) si z est l' de (x, y) par f.
Relation inverseIn mathematics, the converse relation, or transpose, of a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of' is the relation 'parent of'. In formal terms, if and are sets and is a relation from to then is the relation defined so that if and only if In set-builder notation, The notation is analogous with that for an inverse function. Although many functions do not have an inverse, every relation does have a unique converse.
