Support de fonctionLe support d'une fonction ou d'une application est la partie de son ensemble de définition sur laquelle se concentre l'information utile de cette fonction. Pour une fonction numérique, c'est la partie du domaine où elle n'est pas nulle et pour un homéomorphisme ou une permutation, la partie du domaine où elle n'est pas invariante. Soit une fonction à valeurs complexes, définie sur un espace topologique . Définition : On appelle support de , noté , l'adhérence de l'ensemble des points en lesquels la fonction ne s'annule pas.
Fonction C∞ à support compactEn mathématiques, une fonction C à support compact (également appelée fonction test) est une fonction infiniment dérivable dont le support est compact. Ces fonctions sont au cœur de la théorie des distributions, puisque ces dernières sont construites comme éléments du dual topologique de l'espace des fonctions tests. Les fonctions C à support compact sont également utilisées pour construire des suites régularisantes et des partitions de l'unité de classe C.
InvariantEn mathématiques, le mot invariant possède suivant le contexte différentes significations (non équivalentes). Il est utilisé aussi bien en géométrie et en topologie qu'en analyse et en algèbre. Si g : E→E est une application, un invariant de g est un point fixe, c'est-à-dire un élément x de E qui est sa propre image par g : Pour une telle application g, une partie P de E est dite : invariante point par point si tous ses éléments sont des points fixes ; globalement invariante par g, ou stable par g, si , c'est-à-dire : (cette propriété est moins forte que la précédente).
Tenseur antisymétriqueEn mathématiques et physique théorique, un tenseur est antisymétrique pour les indices i et j si son signe est interchangé lorsqu'on inverse 2 indices : Un tenseur antisymétrique est un tenseur possédant 2 indices pour lesquels il est antisymétrique. Si un tenseur change de signe dès que 2 indices quelconques sont inversés, alors ce tenseur est dit complètement antisymétrique et est aussi nommé forme différentielle. Un tenseur A qui est antisymétrique pour les indices i et j possède la propriété que sa contraction avec un tenseur B, symétrique pour les indices i et j, est identiquement nulle.
Differential (mathematics)In mathematics, differential refers to several related notions derived from the early days of calculus, put on a rigorous footing, such as infinitesimal differences and the derivatives of functions. The term is used in various branches of mathematics such as calculus, differential geometry, algebraic geometry and algebraic topology. The term differential is used nonrigorously in calculus to refer to an infinitesimal ("infinitely small") change in some varying quantity.
Gluing axiomIn mathematics, the gluing axiom is introduced to define what a sheaf on a topological space must satisfy, given that it is a presheaf, which is by definition a contravariant functor to a category which initially one takes to be the . Here is the partial order of open sets of ordered by inclusion maps; and considered as a category in the standard way, with a unique morphism if is a subset of , and none otherwise. As phrased in the sheaf article, there is a certain axiom that must satisfy, for any open cover of an open set of .
Théorème de GreenEn mathématiques, le théorème de Green, ou théorème de Green-Riemann, donne la relation entre une intégrale curviligne le long d'une courbe simple fermée orientée C par morceaux et l'intégrale double sur la région du plan délimitée par cette courbe. Ce théorème, nommé d'après George Green et Bernhard Riemann, est un cas particulier du théorème de Stokes. thumb|upright=0.9|Domaine délimité par une courbe régulière par morceaux. Vu comme cas particulier du théorème de Stokes, le théorème s'écrit sous la forme suivante, en notant ∂D la courbe C et ω la forme différentielle.
H-cobordismIn geometric topology and differential topology, an (n + 1)-dimensional cobordism W between n-dimensional manifolds M and N is an h-cobordism (the h stands for homotopy equivalence) if the inclusion maps are homotopy equivalences. The h-cobordism theorem gives sufficient conditions for an h-cobordism to be trivial, i.e., to be C-isomorphic to the cylinder M × [0, 1]. Here C refers to any of the categories of smooth, piecewise linear, or topological manifolds.
ÉquivarianceEn mathématiques, léquivariance est une forme de symétrie de fonctions d'un espace par symétrie avec un autre (tels que les espaces symétriques). Une application est dite équivariante par l'action d'un groupe de symétrie si ce groupe peut agir sur ses ensembles de départ et d'arrivée et quand cette application commute avec l'action de groupe. Autrement dit, appliquer une transformation du groupe de symétrie puis effectuer l'application produit le même résultat que d'effectuer ces opérations en sens inverse.
Simon DonaldsonSir Simon Kirwan Donaldson, né le à Cambridge, est un mathématicien, connu principalement pour ses travaux sur la topologie des variétés de dimension 4. Donaldson a obtenu son Bachelor of Arts de mathématiques au Pembroke College en 1979, et effectua ses travaux de troisième cycle sous la direction de Nigel Hitchin, puis de Michael Atiyah. Il est encore étudiant lorsqu'il prouve, en 1982, un résultat qui le rendit célèbre, publié dans l'article Self-dual connections and the topology of smooth 4-manifolds en 1983.
