Polynôme formelEn algèbre, le terme de polynôme formel, ou simplement polynôme, est le nom générique donné aux éléments d'une structure construite à partir d'un ensemble de nombres. On considère un ensemble A de nombres, qui peut être celui des entiers ou des réels, et on lui adjoint un élément X, appelé indéterminée. La structure est constituée par les nombres, le polynôme X, les puissances de X multipliées par un nombre, aussi appelés monômes (de la forme aX), ainsi que les sommes de monômes. La structure est généralement notée A[X].
DifféomorphismeEn mathématiques, un difféomorphisme est un isomorphisme dans la catégorie usuelle des variétés différentielles : c'est une bijection différentiable d'une variété dans une autre, dont la bijection réciproque est aussi différentiable. vignette|Image d'une grille à maille carrée par un difféomorphisme du carré dans lui-même. Soient : E et F deux espaces vectoriels normés réels de dimension finie ; U un ouvert de E, V un ouvert de F ; f une application de U dans V.
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.
Alexander's trickAlexander's trick, also known as the Alexander trick, is a basic result in geometric topology, named after J. W. Alexander. Two homeomorphisms of the n-dimensional ball which agree on the boundary sphere are isotopic. More generally, two homeomorphisms of Dn that are isotopic on the boundary are isotopic. Base case: every homeomorphism which fixes the boundary is isotopic to the identity relative to the boundary. If satisfies , then an isotopy connecting f to the identity is given by Visually, the homeomorphism is 'straightened out' from the boundary, 'squeezing' down to the origin.
Catégorie trianguléeEn mathématiques, une catégorie triangulée est une catégorie dotée d'une structure supplémentaire. De telles catégories ont été suggérées par Alexander Grothendieck et développées par Jean-Louis Verdier dans sa thèse de 1963 pour traiter les catégories dérivées. La notion de t-structure, qui y est directement liée, permet de reconstruire (en un sens partiel) une catégorie à partir d'une catégorie dérivée.
Orientabilitédroite|vignette| Un tore est une surface orientable droite|vignette| Le ruban de Möbius est une surface non orientable. Notez que le crabe violoniste qui se déplace autour de lui est retourné à gauche et à droite à chaque circulation complète. Cela ne se produirait pas si le crabe était sur le tore. droite|vignette| La surface romaine n'est pas orientable En mathématiques, l'orientabilité est une propriété des surfaces dans l'espace euclidien qui mesure s'il est possible de faire un choix cohérent de vecteur normal de surface en chaque point.
Revêtement (mathématiques)En mathématiques, et plus particulièrement en topologie et en topologie algébrique, un revêtement d'un espace topologique B par un espace topologique E est une application continue et surjective p : E → B telle que tout point de B appartienne à un ouvert U tel que l' de U par p soit une union disjointe d'ouverts de E, chacun homéomorphe à U par p. Il s'agit donc d'un fibré à fibres discrètes. Les revêtements jouent un rôle pour calculer le groupe fondamental et les groupes d'homotopie d'un espace.
Michael AtiyahSir Michael Francis Atiyah, né le à Londres et mort le , est un mathématicien anglais d'origine libanaise, fils de l'écrivain Edward Atiyah. Il est professeur à l'université d'Oxford, à l'université de Cambridge et à l'université de Princeton. Membre de la Royal Society depuis 1962, il en est président de 1990 à 1995. Il est lauréat de la médaille Fields 1966, du prix Abel 2004 et de la grande médaille 2010.
Théorème de DandelinEn mathématiques, le théorème de Dandelin, ou théorème de Dandelin-Quetelet ou théorème belge sur la section conique, est un théorème portant sur les coniques. Le théorème de Dandelin énonce que, si une ellipse ou une hyperbole est obtenue comme section conique d'un cône de révolution par un plan, alors : il existe deux sphères à la fois tangentes au cône et au plan de la conique (de part et d'autre de ce plan pour l'ellipse et d'un même côté de ce plan pour l'hyperbole) ; les points de tangence des deux sphères au plan sont les foyers de la conique ; les directrices de la conique sont les intersections du plan de la conique avec les plans contenant les cercles de tangences des sphères avec le cône.
Koszul complexIn mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul (see Lie algebra cohomology). It turned out to be a useful general construction in homological algebra. As a tool, its homology can be used to tell when a set of elements of a (local) ring is an M-regular sequence, and hence it can be used to prove basic facts about the depth of a module or ideal which is an algebraic notion of dimension that is related to but different from the geometric notion of Krull dimension.
