Intégrateur symplectiqueUn intégrateur symplectique est une méthode numérique de résolution approchée des équations de la mécanique hamiltonienne, valable pour des faibles variations de temps. Les hypothèses de la mécanique hamiltonienne sont souvent appliquées à la mécanique céleste. Le système à étudier peut s'écrire sous la forme d'une action I et d'un angle φ, de manière que le système différentiel se réduise à : x := (I, φ) et : où l'on a noté : le crochet de Poisson de et . On voudrait connaître la solution formelle au système intégrable .
SymplectomorphismeEn géométrie symplectique, un symplectomorphisme est un isomorphisme de variétés symplectiques. Soient et deux variétés symplectiques. Une application différentiable est appelée morphisme symplectique lorsque, pour tout , la différentielle est une isométrie linéaire entre espaces vectoriels symplectiques. Autrement dit : Si , comme est non dégénérée, les différentielles sont des isomorphismes linéaires, et de fait, par le théorème d'inversion locale, est un difféomorphisme local.
Nonlinear systemIn mathematics and science, a nonlinear system (or a non-linear system) is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other scientists since most systems are inherently nonlinear in nature. Nonlinear dynamical systems, describing changes in variables over time, may appear chaotic, unpredictable, or counterintuitive, contrasting with much simpler linear systems.
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.
Réaction de Fehlingvignette|Liqueur de Fehling : bleue (à gauche) en l'absence de réducteurs des ions cuivre(II), et forme un précipité d'oxyde de cuivre Cu2O, de couleur rouge brique, après réduction à chaud. La réaction de Fehling est une réaction chimique qui sert couramment à caractériser des aldéhydes et certaines espèces chimiques réductrices (par exemple les sucres réducteurs) par leur oxydation par des ions cuivre(II). Pour l'essentiel, la solution de Fehling (ou liqueur de Fehling) contient des ions cuivre(II) complexés par les ions tartrate en milieu basique.
Ose réducteurUn ose réducteur est un type d'ose possédant un groupe aldéhyde ou capable d'en former un par isomérie. La forme hémiacétal cyclique d'un aldose peut s'ouvrir pour présenter une fonction aldéhyde, et certains cétoses peuvent par tautomérie se transformer en aldoses. Cependant les acétals, notamment ceux formant des liaisons polyosidiques, ne peuvent pas facilement devenir des aldéhydes libres. Cette fonction aldéhyde permet à l'ose d'agir comme réducteur, comme dans la réaction de Tollens, le test de Benedict, ou la réaction de Fehling.
Espace pointéEn topologie, un espace pointé est un espace topologique dont on spécifie un point particulier comme étant le point de base. Formellement, il s'agit donc d'un couple (E, x) pour lequel x est un élément de E. Une application pointée entre deux espaces pointés est une application continue préservant les points de base. Les espaces pointés sont les objets d'une catégorie, notée parfois Top, dont les morphismes sont les applications pointées. Cette catégorie admet le point comme objet nul.
Espace des lacetsEn mathématiques, l'espace des lacets d'un espace topologique pointé est l'ensemble des applications continues d'un segment dans cet espace, tel que l'image des deux extrémités du segment coïncide avec le point de base. Muni de la topologie compacte-ouverte, il s'agit d'un invariant homotopique. La concaténation et le renversement des lacets en font un h-groupe. L'espace des lacets d'un CW-complexe a le type d'homotopie d'un CW-complexe. L’espace des lacets est la cofibre de l’inclusion de l’espace des chemins pointés dans l’espace des chemins.
Réduction (complexité)En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant une instance d'un problème algorithmique en une ou plusieurs instances d'un autre problème. S'il existe une telle réduction d'un problème A à un problème B, on dit que le problème A se réduit au problème B. Dans ce cas, le problème B est plus difficile que le problème A, puisque l'on peut résoudre le problème A en appliquant la réduction puis un algorithme pour le problème B. On écrit alors A ≤ B.
Turing reductionIn computability theory, a Turing reduction from a decision problem to a decision problem is an oracle machine which decides problem given an oracle for (Rogers 1967, Soare 1987). It can be understood as an algorithm that could be used to solve if it had available to it a subroutine for solving . The concept can be analogously applied to function problems. If a Turing reduction from to exists, then every algorithm for can be used to produce an algorithm for , by inserting the algorithm for at each place where the oracle machine computing queries the oracle for .
