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.

Chapitre 2. La mobilité helmholtzienne <strong>de</strong> la rigidité 67central dans <strong>le</strong>s raisonnements mathématiques <strong>de</strong> Helmholtz est remisen cause dans <strong>le</strong> passage à l’infiniment p<strong>et</strong>it !Grâce aux exemp<strong>le</strong>s précé<strong>de</strong>nts, il a été suffisamment démontréque la supposition que Monsieur <strong>de</strong> Helmholtz a introduite tacitement[l’infinitésimalisation] <strong>et</strong> qui a été décrite plus précisément auxpages 239 sq. [dans la traduction ci-<strong>de</strong>ssous] est erronée. Et maintenant,comme ses considérations ultérieures prennent entièrement c<strong>et</strong>tesupposition comme point <strong>de</strong> départ <strong>et</strong> n’ont force <strong>de</strong> preuve que sur labase <strong>de</strong> c<strong>et</strong>te supposition, nous parvenons donc au résultat que Monsieur<strong>de</strong> Helmholtz n’a pas démontré l’assertion qu’il énonce à la fin <strong>de</strong>son travail, à savoir : il n’a pas démontré que ses axiomes suffisent àcaractériser <strong>le</strong>s mouvements euclidiens <strong>et</strong> non-euclidiens. p. 247 ci<strong>de</strong>ssous.C<strong>et</strong>te observation conduit alors à contourner l’erreur principa<strong>le</strong><strong>de</strong> Helmholtz en supposant directement que <strong>le</strong>s axiomes II, III <strong>et</strong> IVsont vali<strong>de</strong>s dans l’infiniment p<strong>et</strong>it, c’est-à-dire plus précisément, que<strong>le</strong> groupe réduit <strong>le</strong>s satisfait. On se ramène ainsi à un problème plusaccessib<strong>le</strong> : trouver, dans <strong>le</strong> groupe affine compl<strong>et</strong> <strong>de</strong> l’espace à troisdimensions, tous <strong>le</strong>s sous-groupes transitifs à six paramètres pour <strong>le</strong>squels<strong>de</strong>ux points ont un <strong>et</strong> un seul invariant <strong>et</strong> qui satisfont <strong>de</strong> plusl’axiome <strong>de</strong> monodromie. En utilisant toute la force <strong>de</strong> la théorie <strong>de</strong>sgroupes <strong>de</strong> transformations, <strong>Engel</strong> <strong>et</strong> <strong>Lie</strong> vérifieront que <strong>le</strong>s conclusions<strong>de</strong> Helmholtz peuvent être rendus rigoureuses <strong>et</strong> véridiques parune voie différente (voir <strong>le</strong> § 2.8 ci-<strong>de</strong>ssous). Et sans insister ici sur<strong>le</strong>s erreurs mathématiques <strong>de</strong> Helmholtz 32 , eu égard à son but principalqui était <strong>de</strong> r<strong>et</strong>rouver la métrique pythagoricienne tridimensionnel<strong>le</strong>ds 2 = dx 2 1 + dx2 2 + dx2 3 tel<strong>le</strong> qu’el<strong>le</strong> était représentée dans l’infinimentp<strong>et</strong>it par Gauss <strong>et</strong> par <strong>Riemann</strong>, l’approche qui consiste à infinitésimaliserd’emblée <strong>le</strong>s quatre axiomes était tout à fait naturel<strong>le</strong>.2.7. Calculs helmholtziens. Pour l’instant, reprenons maintenant <strong>le</strong>sraisonnements mathématiques originaux <strong>de</strong> Helmholtz ([76]) que <strong>Lie</strong> necherchera pas à imiter 33 . Dans <strong>le</strong>s équations <strong>de</strong> transformations linéaireshomogènes (2), <strong>le</strong>s quantités A n , B n , C n dépen<strong>de</strong>nt <strong>de</strong> trois paramètresindépendants p ′ , p ′′ <strong>et</strong> p ′′′ . Supposons alors que p ′ , p ′′ <strong>et</strong> p ′′′ dépen<strong>de</strong>nt32 Le Chapitre 21 p. 220 ci-<strong>de</strong>ssous y consacre déjà une analyse suffisammentminutieuse.33 Gran<strong>de</strong> liberté <strong>de</strong> stratégie dans la théorie <strong>de</strong>s groupes.

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

Saved successfully!

Ooh no, something went wrong!