Immersion (mathématiques)En géométrie différentielle, une immersion est une application différentiable d'une variété différentielle dans une autre, dont la différentielle en tout point est injective. Soient V et W deux variétés et f une application différentiable de V dans W. On dit que f est une immersion si pour tout x appartenant à V, le rang de l'application linéaire tangente Tf(x) est égal à la dimension de V. On la différencie : de la submersion (le rang de Tf(x) est égal à la dimension de W) ; du plongement (en plus d'être une immersion, f est un homéomorphisme de V sur f(V)).
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.
Sphère exotiqueEn mathématiques, et plus précisément en topologie différentielle, une sphère exotique est une variété différentielle M qui est homéomorphe, mais non difféomorphe, à la n-sphère euclidienne standard. Autrement dit, M est une sphère du point de vue de ses propriétés topologiques, mais sa structure différentielle (qui définit, par exemple, la notion de vecteur tangent) n'est pas la structure usuelle, d'où l'adjectif « exotique ». La n-sphère unité, Sn, est l'ensemble de tous les n+1-uplets (x1, x2, ...
Submersion (mathématiques)En topologie différentielle – une branche des mathématiques –, une submersion ou application submersive entre deux variétés différentielles est une application différentiable dont la différentielle en tout point est surjective. Soient V et W deux variétés différentielles, f une application différentiable de V dans W et x un point de V. On dit que f est une submersion au point x si l'application linéaire tangente Tf(x) est surjective, autrement dit (W étant supposée de dimension finie) : si le rang de Tf(x) est égal à la dimension de W.
Georges de RhamGeorges de Rham (né le à Roche (Vaud) et mort le à Lausanne) est un mathématicien et alpiniste suisse connu pour ses contributions à la topologie différentielle. Originaire de Giez (Vaud), fils de Léon, ingénieur, et de Marie, née Dupasquier, il obtient son bachot au gymnase classique de Lausanne (1921), est licencié en sciences de l'université de Lausanne (1925) et docteur en mathématiques de la faculté des sciences de Paris, où il a Elie Cartan comme directeur de thèse (1931).
Analyse (mathématiques)L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la notion de limite, que ce soit la limite d'une suite ou la limite d'une fonction. Elle inclut également des notions comme la continuité, la dérivation et l'intégration. Ces notions sont étudiées dans le contexte des nombres réels ou des nombres complexes.
Gauge theory (mathematics)In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.
Conjecture de PoincaréLa conjecture de Poincaré est une conjecture mathématique du domaine de la topologie algébrique portant sur la caractérisation d'une variété particulière, la sphère de dimension trois ; elle fut démontrée en 2003 par le Russe Grigori Perelman. On peut ainsi également l'appeler théorème de Perelman. Elle faisait jusqu'alors partie des problèmes de Smale et des sept « problèmes du prix du millénaire » recensés et mis à prix en 2000 par l'Institut de mathématiques Clay.
Lie bracket of vector fieldsIn the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields X and Y on a smooth manifold M a third vector field denoted [X, Y]. Conceptually, the Lie bracket [X, Y] is the derivative of Y along the flow generated by X, and is sometimes denoted ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by X.
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.