Groupe de LieEn mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément.
Algèbre de LieEn mathématiques, une algèbre de Lie, nommée en l'honneur du mathématicien Sophus Lie, est un espace vectoriel qui est muni d'un crochet de Lie, c'est-à-dire d'une loi de composition interne bilinéaire, alternée, et qui vérifie la relation de Jacobi. Une algèbre de Lie est un cas particulier d'algèbre sur un corps. Soit K un corps commutatif. Une algèbre de Lie sur K est un espace vectoriel sur K muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Le produit est appelé crochet de Lie (ou simplement crochet) de et .
Simple Lie groupIn mathematics, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, , and that of the unit-magnitude complex numbers, U(1) (the unit circle), simple Lie groups give the atomic "blocks" that make up all (finite-dimensional) connected Lie groups via the operation of group extension.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.
Lie group–Lie algebra correspondenceIn mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is and (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other.
Système intégrableEn mécanique hamiltonienne, un système intégrable au sens de Liouville est un système qui possède un nombre suffisant de indépendantes. Lorsque le mouvement est borné, la dynamique est alors périodique ou quasi périodique. Soit un système à N degrés de liberté qui est décrit à l'instant par : les N coordonnées généralisées les N moments conjugués . À chaque instant, les 2N coordonnées définissent un point dans l'espace des phases Γ = R2N. L'évolution dynamique du système sous le flot hamiltonien se traduit par une courbe continue appelée orbite dans cet espace des phases.
Représentation d'algèbre de LieEn mathématiques, une représentation d'une algèbre de Lie est une façon d'écrire cette algèbre comme une algèbre de matrices, ou plus généralement d'endomorphismes d'un espace vectoriel, avec le crochet de Lie donné par le commutateur. Algèbre de Lie Soit K un corps commutatif de caractéristique différente de 2. Une algèbre de Lie sur K est un espace vectoriel muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Tout espace vectoriel peut être muni d'une structure d'algèbre de Lie, en posant .
Variété de PoissonEn géométrie, une structure de Poisson sur une variété différentielle est un crochet de Lie (appelé crochet de Poisson dans ce cas) sur l'algèbre des fonctions lisses de à valeurs réelles, vérifiant formule de Leibniz En d'autres termes, une structure de Poisson est structure d'algèbre de Lie sur l'espace vectoriel des fonctions lisses sur de sorte que est un champ de vecteurs pour toute fonction lisse , appelé champ de vecteurs hamiltonien associé à . Soit une variété différentielle.
Computational anatomyComputational anatomy is an interdisciplinary field of biology focused on quantitative investigation and modelling of anatomical shapes variability. It involves the development and application of mathematical, statistical and data-analytical methods for modelling and simulation of biological structures. The field is broadly defined and includes foundations in anatomy, applied mathematics and pure mathematics, machine learning, computational mechanics, computational science, biological imaging, neuroscience, physics, probability, and statistics; it also has strong connections with fluid mechanics and geometric mechanics.
Algèbre de PoissonUne algèbre de Poisson est une algèbre associative sur laquelle est défini un crochet de Lie qui satisfait la règle de Leibniz. L'exemple le plus important en est donné par l'algèbre des fonctions lisses sur une variété de Poisson ou, plus particulièrement, sur une variété symplectique. Ces algèbres ont été nommées algèbres de Poisson en l'honneur de Siméon Denis Poisson.
Lie algebroidIn mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra. Lie algebroids play a similar same role in the theory of Lie groupoids that Lie algebras play in the theory of Lie groups: reducing global problems to infinitesimal ones. Indeed, any Lie groupoid gives rise to a Lie algebroid, which is the vertical bundle of the source map restricted at the units.
Superalgèbre de LieUne superalgèbre de Lie est une extension de la notion d'algèbre de Lie par l'ajout d'une Z-graduation. Cette graduation sépare la superalgèbre en la somme directe d'une partie paire et d'une partie impaire. Cette structure est utilisée en physique théorique pour décrire la supersymétrie. Les éléments de l'algèbre peuvent y être représentés par des opérateurs différentiels. Dans la plupart de ces théories, les éléments pairs correspondent aux bosons et les éléments impairs aux fermions.
Transformation canoniqueEn mécanique hamiltonienne, une transformation canonique est un changement des coordonnées canoniques (q, p, t) → (Q, P, t) qui conserve la forme des équations de Hamilton, sans pour autant nécessairement conserver le Hamiltonien en lui-même. Les transformations canoniques sont utiles pour les équations de Hamilton-Jacobi (une technique utile pour calculer les quantités conservées) et le théorème de Liouville (à la base de la mécanique statistique classique).
Moment cinétique (mécanique quantique)En mécanique quantique le moment cinétique est défini comme un opérateur vectoriel (noté ) à trois composantes, correspondant chacune aux différentes dimensions de l'espace (opérateurs « scalaires »). Celles-ci obéissent entre elles à certaines relations de commutation. Ainsi, alors qu'en mécanique classique les trois composantes du moment cinétique peuvent être simultanément mesurées, ceci est impossible dans le cadre quantique.
Coordonnées canoniquesEn mathématiques et en mécanique classique, les coordonnées canoniques sont des ensembles de coordonnées sur l'espace des phases qui peuvent être utilisées pour décrire un système physique à un moment donné dans le temps. Les coordonnées canoniques sont utilisées dans la formulation hamiltonienne de la mécanique classique. Un concept étroitement lié apparaît également en mécanique quantique ; voir le théorème de Stone-von Neumann et les relations de commutation canoniques pour plus de détails.
Dual systemIn mathematics, a dual system, dual pair, or duality over a field is a triple consisting of two vector spaces and over and a non-degenerate bilinear map . Duality theory, the study of dual systems, is part of functional analysis. It is separate and distinct to Dual-system Theory in psychology. Pairings A or pair over a field is a triple which may also be denoted by consisting of two vector spaces and over (which this article assumes is the field either of real numbers or the complex numbers ).
Dual spaceIn mathematics, any vector space has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants. The dual space as defined above is defined for all vector spaces, and to avoid ambiguity may also be called the . When defined for a topological vector space, there is a subspace of the dual space, corresponding to continuous linear functionals, called the continuous dual space.
