12.07.2015 Views

Sophus Lie, Friedrich Engel et le problème de Riemann ... - DMA - Ens

Sophus Lie, Friedrich Engel et le problème de Riemann ... - DMA - Ens

Sophus Lie, Friedrich Engel et le problème de Riemann ... - DMA - Ens

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

116 3.6. Champs <strong>de</strong> vecteurs <strong>et</strong> groupes à un paramètreénoncera que ces équations <strong>de</strong> transformations, appelées équations finiescanoniques du groupe par <strong>Engel</strong> <strong>et</strong> <strong>Lie</strong>, recouvrent complètement<strong>le</strong>s équations origina<strong>le</strong>s x ′ i = f i(x; a).Avant <strong>de</strong> poursuivre, résumons <strong>le</strong> parcours spéculatif <strong>et</strong> sou<strong>le</strong>vons<strong>de</strong>s questions nouvel<strong>le</strong>s. Le Multip<strong>le</strong> X 1 , . . .,X r comprend l’Un-diversX = λ 1 X 1 +· · ·+λ r X r <strong>de</strong> transformations infinitésima<strong>le</strong>s individuel<strong>le</strong>spossib<strong>le</strong>s. Chaque tel Un-divers jouit p<strong>le</strong>inement <strong>de</strong> l’équiva<strong>le</strong>nce ontologiqueavec <strong>le</strong> groupe à un paramètre qu’il engendre. Ainsi <strong>le</strong> groupeà un paramètre <strong>de</strong> l’Un-divers fournit-il gratuitement <strong>de</strong>s équations d<strong>et</strong>ransformations à plusieurs paramètres. La question <strong>de</strong> savoir commentces équations <strong>de</strong> transformations x ′ i = h i(x; t, λ 1 , . . .,λ r ) sont reliéesaux anciennes équations se divise alors en <strong>de</strong>ux questions.• Étant donné r transformations infinitésima<strong>le</strong>s linéairement indépendantesX 1 , . . .,X r qui proviennent d’un groupe continu à r paramètresessentiels x ′ = f(x; a 1 , . . .,a r ), comment choisir 27 <strong>le</strong>s paramètrest, λ 1 , . . .,λ r dans <strong>le</strong>s équations <strong>de</strong> transformations x ′ =exp ( tλ 1 X 1 + · · · + tλ r X r )(x) pour r<strong>et</strong>rouver x ′ = f(x; a 1 , . . .,a r ) ?• Étant donné r transformations infinitésima<strong>le</strong>s linéairement indépendantesquelconques X 1 , . . .,X r qui ne proviennent pas forcémentd’un groupe continu fini, <strong>le</strong>s équations <strong>de</strong> transformations x ′ =exp ( tλ 1 X 1 + · · ·+tλ r X r )(x) constituent-el<strong>le</strong>s un groupe continu fini ?Et si tel n’est pas <strong>le</strong> cas, sous quel<strong>le</strong>s conditions, nécessaires, suffisantes,ou mieux encore : nécessaires <strong>et</strong> suffisantes 28 c<strong>et</strong>te conclusion est-el<strong>le</strong>satisfaite ?La secon<strong>de</strong> question exige la notion crucia<strong>le</strong> <strong>de</strong> croch<strong>et</strong> <strong>de</strong> <strong>Lie</strong>(§§ 3.8 <strong>et</strong> 3.9 ci-<strong>de</strong>ssous), tandis que la réponse à la première peuts’en dispenser : <strong>le</strong> passage à un niveau supérieur d’abstraction dans <strong>le</strong>sconditions <strong>de</strong> donation implique un renversement compl<strong>et</strong> du champsynthétique.Tout d’abord, au suj<strong>et</strong> <strong>de</strong>s fonctions h i (x; t, λ 1 , . . .,λ r ) introduitesà l’instant, une question se pose immédiatement : <strong>le</strong>s r + 1 paramètrest <strong>et</strong> λ 1 , . . .,λ r y sont-ils essentiels ? Certainement pas : ces r + 1 paramètresse réduisent en fait à r paramètres (au maximum), puisquechaque λ i apparaît multiplié par t dans exp(tλ 1 X 1 + · · · + tλ r X r )(x).27 Nous venons d’annoncer que l’on r<strong>et</strong>rouve <strong>le</strong>s équations d’origine, mais il auraittrès bien pu se produire que <strong>le</strong>s équations x ′ = exp ( tλ 1 X 1 + · · · + tλ r X r )(x) <strong>le</strong>ursoient purement étrangères.28 Nécessité <strong>et</strong> suffisance en toute circonstance : exigence riemannienne universel<strong>le</strong>.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!