Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Sous-groupe à un paramètre
Résumé
Un sous-groupe à un paramètre d'un groupe de Lie réel G est un morphisme de groupes de Lie c : R → G. Plus explicitement, c est une application différentiable vérifiant :
En dérivant cette relation par rapport à la variable s et en évaluant en s = 0, il vient :
où Lc(t) désigne la multiplication à gauche par c(t). Un sous-groupe à un paramètre s'obtient comme orbite de l'élément neutre par un champ de vecteurs invariant à gauche de G. Un tel champ X est déterminé par sa valeur X(e) en l'élément neutre e. Il y a donc correspondance univoque entre sous-groupe à un paramètre et l'espace tangent g de G en e :
à tout sous-groupe à un paramètre c de G est associé le vecteur c(0) de g ;
à tout vecteur v de g est associé le sous-groupe à un paramètre c : R → G défini par l'équation différentielle c '(t) = TeLc(t)[v] et la condition initiale c '(0) = v.
Les sous-groupes à un paramètre interviennent naturellement dans la définition de l'application exponentielle du groupe de Lie G :
l'application exponentielle est l'application exp : g → G définie par exp(v) = c(1) où c est le sous-groupe à un paramètre de G associé à X ;
tout sous-groupe à un paramètre c s’écrit de manière unique c(t) = exp(t.v) où v = c '(0).
Tout espace vectoriel réel E de dimension finie est un groupe de Lie, la loi interne étant l'addition vectorielle. L'espace tangent en 0 de E s'identifie naturellement avec E en tant qu'espace vectoriel réel. Les sous-groupes à un paramètre de E sont simplement les applications t ↦ t.v où v parcourt E : ce sont les droites vectorielles paramétrées de E.
La classification des groupes de Lie commutatifs est connue et élémentaire. Tout groupe de Lie commutatif G se réalise comme quotient d'un espace vectoriel E par un sous-groupe discret, un sous-réseau de E. Les sous-groupes à un paramètre de G s'obtiennent donc par passage au quotient des droites paramétrées de E.
Un exemple important est le tore R/Z. Les sous-groupes à un paramètre sont les applications cv : t → t.v mod Z où v parcourt R.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (3)
MATH-561: Spectral theory
This course is an introduction to the spectral theory of linear operators acting in Hilbert spaces. The main goal is the spectral decomposition of unbounded selfadjoint operators. We will also give el
AR-211: Stereotomy
En histoire de l'architecture, la stéréotomie est l'art de concevoir et fabriquer des volumes complexes en pierre et des assemblages en bois.
Ce cours propose une réinterprétation de la stéréotomie
MATH-495: Mathematical quantum mechanics
Quantum mechanics is one of the most successful physical theories. This course presents the mathematical formalism (functional analysis and spectral theory) that underlies quantum mechanics. It is sim
Séances de cours associées (18)
Théorie quantique des champs : Symmétries de jauges
Explore les symétries de jauge dans la théorie quantique des champs, en mettant l'accent sur l'invariance sous les transformations et le rôle des champs fantômes.
Courbes intégrales et carte exponentielle
Explore les courbes intégrales sur les variétés et la signification de la carte exponentielle dans les groupes de Lie.
Théorie quantique des champs : Identités de salle
Explore les identités de Ward dans la théorie quantique des champs, en mettant l'accent sur les cas classiques et quantiques, les générateurs de symétrie et la théorie des perturbations.
Publications associées (30)
Stability: a search for structure
In this thesis we study stability from several viewpoints. After covering the practical importance, the rich history and the ever-growing list of manifestations of stability, we study the following. (i) (Statistical identification of stable dynamical syste ...
EPFL2024Decoding the Mechanisms of Phase Transitions from In Situ Microscopy Observations
Vasiliki Tileli, Reinis Ignatans
Analysis of the temperature- and stimulus-dependent imaging data toward elucidation of the physical transformations is an ubiquitous problem in multiple fields. Here, temperature-induced phase transition in BaTiO3 is explored using the machine learning ana ...
WILEY-V C H VERLAG GMBH2022Non-intrusive double-greedy parametric model reduction by interpolation of frequency-domain rational surrogates
Fabio Nobile, Davide Pradovera
We propose a model order reduction approach for non-intrusive surrogate modeling of parametric dynamical systems. The reduced model over the whole parameter space is built by combining surrogates in frequency only, built at few selected values of the param ...
2021Concepts associés (13)
Angle hyperbolique
droite|vignette|200x200px|Une hyperbole est une figure délimitée par deux rayons et un arc d'hyperbole. Le secteur grisé est en position standard si En géométrie, l'angle hyperbolique est un nombre réel déterminé par l'aire du secteur hyperbolique correspondant de xy = 1 dans le quadrant I du plan cartésien. L'angle hyperbolique paramètre l'hyperbole unité, qui a des fonctions hyperboliques comme coordonnées. En mathématiques, l'angle hyperbolique est une mesure invariante car il est conservé par rotation hyperbolique.
Flot (mathématiques)
Le flot, coulée ou encore courant est, en mathématiques, un concept fondamental utilisé en géométrie différentielle. La notion de flot permet notamment de modéliser le déplacement dans le temps des éléments d'un fluide. Pour ce faire, on crée une application α qui, à chaque point x de l'espace concerné par l'écoulement, associe un autre point α(x,t), correspondant à la position qu'aurait une particule du fluide à l'instant t, si elle avait été située en x à l'instant 0. thumb|Flot associé à l'équation différentielle d'un pendule.
Versor
In mathematics, a versor is a quaternion of norm one (a unit quaternion). Each versor has the form where the r2 = −1 condition means that r is a unit-length vector quaternion (or that the first component of r is zero, and the last three components of r are a unit vector in 3 dimensions). The corresponding 3-dimensional rotation has the angle 2a about the axis r in axis–angle representation. In case a = π/2 (a right angle), then , and the resulting unit vector is termed a right versor.