Théorie du transportEn mathématiques et en économie, la théorie du transport est le nom donné à l'étude du transfert optimal de matière et à l'allocation optimale de ressources. Le problème a été formalisé par le mathématicien français Gaspard Monge en 1781. D'importants développements ont été réalisés dans ce domaine pendant la Seconde Guerre mondiale par le mathématicien et économiste russe Léonid Kantorovitch. Par conséquent, le problème dans sa forme actuelle est parfois baptisé problème (du transport) de Monge-Kantorovitch.
Variété hyperboliquethumb|Une projection en perspective d'un pavage dodécahédrique dans H3. C'est un exemple de ce qu'un observateur pourrait observer à l'intérieur d'une 3-variété hyperbolique thumb|La pseudosphère : chaque moitié de cette forme est une surface hyperbolique à bord. En mathématiques, une variété hyperbolique est un espace dans lequel chaque point apparaît localement comme d'une certaine dimension. Ces variétés sont spécifiquement étudiées en dimensions 2 et 3, où elles sont appelées respectivement surfaces de Riemann et .
Système axiomatiqueEn mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.
Prime manifoldIn topology, a branch of mathematics, a prime manifold is an n-manifold that cannot be expressed as a non-trivial connected sum of two n-manifolds. Non-trivial means that neither of the two is an n-sphere. A similar notion is that of an irreducible n-manifold, which is one in which any embedded (n − 1)-sphere bounds an embedded n-ball. Implicit in this definition is the use of a suitable , such as the category of differentiable manifolds or the category of piecewise-linear manifolds.
Coordonnées normalesEn géométrie différentielle, les coordonnées normales d'un point p dans une variété différentielle munie d'une connexion affine symétrique sont un système de coordonnées locales au voisinage de p obtenu par une application exponentielle à l'espace tangent à p. Dans un système de coordonnées normales, les symboles de Christoffel de la connexion disparaissent au point p. En coordonnées normales, associées à une connexion de Levi-Civita d'une variété riemannienne, on peut en outre faire en sorte que le tenseur métrique soit le symbole de Kronecker au point p, et que les dérivées partielles premières de la métrique à p disparaissent.
Espace contractileEn mathématiques, un espace topologique est dit contractile s'il est homotopiquement équivalent à un point. Tous ses groupes d'homotopie sont donc triviaux, ainsi que ses groupes d'homologie de degré > 0. Tout espace vectoriel normé (ou même : tout espace vectoriel topologique sur R) est contractile, à commencer par la droite réelle et le plan complexe. Plus généralement, toute partie étoilée d'un tel espace (en particulier : tout convexe non vide, comme un intervalle réel ou un disque) est clairement contractile.
Ricci calculusIn mathematics, Ricci calculus constitutes the rules of index notation and manipulation for tensors and tensor fields on a differentiable manifold, with or without a metric tensor or connection. It is also the modern name for what used to be called the absolute differential calculus (the foundation of tensor calculus), developed by Gregorio Ricci-Curbastro in 1887–1896, and subsequently popularized in a paper written with his pupil Tullio Levi-Civita in 1900.
Distance de WassersteinEn mathématiques et plus particulièrement en théorie des probabilités et en statistique, la 'distance de Wasserstein (ou distance de Kantorovitch, ou distance de Kantorovitch – Rubinstein') est une distance définie entre des mesures de probabilité sur un espace polonais. La plupart des publications en français adoptent l'orthographe allemande Wasserstein pour ce nom russe d'origine allemande.
Théorème d'inversion localeEn mathématiques, le théorème d'inversion locale est un résultat de calcul différentiel. Il indique que si une fonction f est continûment différentiable en un point, si sa différentielle en ce point est inversible alors, localement, f est inversible et son inverse est différentiable. Ce théorème est équivalent à celui des fonctions implicites, son usage est largement répandu. On le trouve par exemple utilisé, sous une forme ou une autre, dans certaines démonstrations des propriétés du multiplicateur de Lagrange.
Primitive notionIn mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to intuition and everyday experience. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).
