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.
Quantifications canoniquesEn physique, la quantification canonique est une procédure pour quantifier une théorie classique, tout en essayant de préserver au maximum la structure formelle, comme les symétries, de la théorie classique. Historiquement, ce n'était pas tout à fait la voie de Werner Heisenberg pour obtenir la mécanique quantique, mais Paul Dirac l'a introduite dans sa thèse de doctorat de 1926, la «méthode de l'analogie classique» pour la quantification, et l'a détaillée dans son texte classique.
Algèbre de WeylEn mathématiques, et plus précisément en algèbre générale, lalgèbre de Weyl est un anneau d'opérateurs différentiels dont les coefficients sont des polynômes à une variable. Cette algèbre (et d'autres la généralisant, appelées elles aussi algèbres de Weyl) a été introduite par Hermann Weyl en 1928 comme outil d'étude du principe d'incertitude en mécanique quantique. Les éléments de l'algèbre de Weyl sont de la forme où les fi sont des éléments de F[X], l'anneau des polynômes à une variable sur un corps F, et où ∂X est la dérivée par rapport à X.
Quasi-normeEn mathématiques, une quasi-norme est une application d'un espace vectoriel dans l'ensemble des réels positifs ou nuls. Elle dispose presque des propriétés lui conférant le statut de norme. Une propriété est manquante : l'inégalité triangulaire, qui est remplacée par : il existe une constante K (nécessairement supérieure ou égale à 1 si l'espace n'est pas nul — il suffit de prendre y = 0 et x non nul —, et pouvant être choisie ainsi dans ce dernier cas) telle que pour tous vecteurs x et y, Les espaces L sont munis d'une quasi-norme ║ ║, définie pour 0 < p < ∞ par Si p ≥ 1, ║ ║ est une norme (K = 1) mais si p < 1, c'est seulement une quasi-norme (K = 2 > 1).
Midpoint methodIn numerical analysis, a branch of applied mathematics, the midpoint method is a one-step method for numerically solving the differential equation, The explicit midpoint method is given by the formula the implicit midpoint method by for Here, is the step size — a small positive number, and is the computed approximate value of The explicit midpoint method is sometimes also known as the modified Euler method, the implicit method is the most simple collocation method, and, applied to Hamiltonian dynamics, a sy
Distance geometryDistance geometry is the branch of mathematics concerned with characterizing and studying sets of points based only on given values of the distances between pairs of points. More abstractly, it is the study of semimetric spaces and the isometric transformations between them. In this view, it can be considered as a subject within general topology. Historically, the first result in distance geometry is Heron's formula in 1st century AD.
