Géométrie de contactLa géométrie de contact est la partie de la géométrie différentielle qui étudie les formes et structures de contact. Elle entretient d'étroits liens avec la géométrie symplectique, la géométrie complexe, la théorie des feuilletages de codimension 1 et les systèmes dynamiques. La géométrie de contact classique est née de l'étude de la thermodynamique et de l'optique géométrique. Une structure de contact sur une variété est un champ d'hyperplans c'est-à-dire la donnée, en tout point de la variété, d'un hyperplan dans l'espace tangent.
Univers de von NeumannEn théorie des ensembles, une des branches des mathématiques, l'univers de von Neumann, ou hiérarchie cumulative de von Neumann, est la classe notée V d'ensembles « héréditaires », tels que la relation d'appartenance sur ces ensembles soit bien fondée. Cette classe, qui est formalisée par la théorie des ensembles de Zermelo-Fraenkel (ZFC), est souvent utilisée pour fournir une interprétation ou une motivation des axiomes de ZFC. Ce concept est nommé d'après John von Neumann, bien qu'il ait été publié pour la première fois par Ernst Zermelo en 1930.
Canonical bundleIn mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle on . Over the complex numbers, it is the determinant bundle of the holomorphic cotangent bundle . Equivalently, it is the line bundle of holomorphic n-forms on . This is the dualising object for Serre duality on . It may equally well be considered as an invertible sheaf.
Lax pairIn mathematics, in the theory of integrable systems, a Lax pair is a pair of time-dependent matrices or operators that satisfy a corresponding differential equation, called the Lax equation. Lax pairs were introduced by Peter Lax to discuss solitons in continuous media. The inverse scattering transform makes use of the Lax equations to solve such systems. A Lax pair is a pair of matrices or operators dependent on time and acting on a fixed Hilbert space, and satisfying Lax's equation: where is the commutator.
John von NeumannJohn von Neumann (János Lajos Neumann) (, János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois. Il a apporté d'importantes contributions en mécanique quantique, en analyse fonctionnelle, en logique mathématique, en informatique théorique, en sciences économiques et dans beaucoup d'autres domaines des mathématiques et de la physique. Il a de plus participé aux programmes militaires américains.
Fonction lemniscatiqueEn mathématiques, les fonctions lemniscatiques sont des fonctions elliptiques liées à la longueur d'arc d'une lemniscate de Bernoulli ; ces fonctions ont beaucoup d'analogies avec les fonctions trigonométriques. Elles ont été étudiées par Giulio Fagnano en 1718 ; leur analyse approfondie, et en particulier la détermination de leurs périodes, a été obtenue par Carl Friedrich Gauss en 1796. Ces fonctions ont un réseau de périodes carré, et sont étroitement reliées à la fonction elliptique de Weierstrass dont les invariants sont g2 = 1 et g3 = 0.
Théorème de Darboux (géométrie)vignette|Portrait de Gaston Darboux, mathématicien ayant démontré ce théorème. Le théorème de Darboux est un théorème central de la géométrie symplectique : les variétés symplectiques de dimension sont deux à deux localement symplectomorphes. Plus explicitement : Ce résultat implique l'inexistence d'invariant local en géométrie symplectique. Cette situation s'oppose à la géométrie riemannienne pour laquelle il existe un invariant local de classe , la courbure. Ainsi, la géométrie symplectique est essentiellement globale.
Structure algébriqueEn mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité. La structure de groupe qui émerge progressivement au , avec une seule opération interne et quelques propriétés se formalise au début du avec une kyrielle de structures d’algèbre générale moins restrictives (monoïde) ou au contraire enrichies par une seconde opération (anneau, corps, algèbre de Boole.
Théorème d'Abel (algèbre)En mathématiques et plus précisément en algèbre, le théorème d'Abel, parfois appelé théorème d'Abel-Ruffini ou encore théorème de Ruffini, indique que pour tout entier n supérieur ou égal à 5, il n'existe pas de formule générale exprimant « par radicaux » les racines d'un polynôme quelconque de degré n, c'est-à-dire de formule n'utilisant que les coefficients, la valeur 1, les et l'extraction des racines n-ièmes.
Jet bundleIn differential topology, the jet bundle is a certain construction that makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant form. Jets may also be seen as the coordinate free versions of Taylor expansions. Historically, jet bundles are attributed to Charles Ehresmann, and were an advance on the method (prolongation) of Élie Cartan, of dealing geometrically with higher derivatives, by imposing differential form conditions on newly introduced formal variables.
Charles HermiteCharles Hermite (1822-1901) est un mathématicien français. Ses travaux concernent surtout la théorie des nombres, les formes quadratiques, les polynômes orthogonaux, les fonctions elliptiques et les équations différentielles. Plusieurs entités mathématiques sont qualifiées d'hermitiennes en son honneur. Il est aussi connu comme l'un des premiers à utiliser les matrices. Il fut le premier à montrer, en 1873, qu'une constante naturelle de l'analyse, en l'occurrence le nombre e, base des logarithmes naturels, est transcendant.
Dualité (mathématiques)thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.
