Bonjour,
Mon prof m'a un jour lancé une affirmation (qui sort du cadre de mon travail), mais qui m'a intéressé. Il m'a dit que si on prend un (très petit) ouvert autour du neutre d'un groupe de Lie, alors l'ensemble des groupes à 1 paramètre contenus dans cet ouvert engendrent l'algèbre de Lie associée à ce groupe.
Quelqu'un a-t-il des sources à ce sujet ?
Oui en fait l'algèbre de Lie d'un groupe de Lie est un objet local, elle ne dépend que de ce qui se passe au voisinage de l'élément neutre. C'est ce qui fait tout l'intérêt de la théorie des groupes de Lie car un groupe de Lie est un objet global qui est (presque) gouverné par son algèbre de Lie, c'est-à-dire par ce qui se passe au voisinage du neutre.
Bonsoir,
N'importe quel cours sut les groupes et algèbres de Lie te donnera le détail. J'ai sous les yeux le déjà ancien "Grpies de Lie, Représentations Linéaires et Applications" de Guy Pichon, chez Hermann, collection "Méthodes" (couverture argentée). Mais j'en ai beaucoup d'autres, la plupart en anglais hélas. Tu paux aussi trouver ce genre de truc sur le web en googlant beaucoup. J'aime bien le Pichon parce qu'il est court et en français, mais malheureusement pas très complet, c'est juste un bon aperçu.
-- françois
L'anglais n'est pas un problème
Je vais tenter de googler alors :/ À moins que qqn aies déjà une source dans ses favoris
Finalement, j'ai pu démontrer cela ...
(1) Je sais que dans un groupe de Lie G, tout voisinage symétrique (ie stable pour l'inversion) du neutre engendre G.
(2) J'ai obtenu un difféomorphisme entre 2 voisinages du neutre de deux groupes de Lie :
Ad : VSU(2)
Je souhaite montrer avec (1) que Ad est surjectif sur SO(3). Comment puis-je le montrer ? Intuitivement, je me dis que W engendre SO(3) et V est difféomorphe à W. Donc d'une certaine façon, V "engendre" (à travers son image par Ad) tout SO(3). Du coup, Ad : SU(2)
Mais j'ai du mal à formaliser cela ...
