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.

230 Division V. Chapitre 21. § 92.En cela rési<strong>de</strong> <strong>le</strong> fait que chaque invariant que possè<strong>de</strong> un systèmequelconque <strong>de</strong> points : P 1 , P 2 , P 3 . . . relativement à tous <strong>le</strong>s mouvements,doit se laisser exprimer au moyen <strong>de</strong>s invariants <strong>de</strong>s paires <strong>de</strong>points qui sont contenues dans <strong>le</strong> système. Si en eff<strong>et</strong> J est un invariantquelconque que <strong>le</strong> système <strong>de</strong> points : P 1 , P 2 , P 3 . . . a relativement àtous <strong>le</strong>s mouvements, alors la fonction J conserve sa va<strong>le</strong>ur numériqueau cours <strong>de</strong> tous <strong>le</strong>s mouvements. Si maintenant J ne se laissait pasexprimer au moyen <strong>de</strong>s invariants <strong>de</strong>s paires <strong>de</strong> points : P 1 , P 2 ; P 1 , P 3 ;P 2 , P 3 ; . . . , alors la mobilité du système <strong>de</strong> points : P 1 , P 2 , P 3 . . . ne seraitpas seu<strong>le</strong>ment limitée par <strong>le</strong> fait que <strong>le</strong>s invariants <strong>de</strong> ces paires <strong>de</strong>points-là <strong>de</strong>vraient conserver <strong>le</strong>ur va<strong>le</strong>ur numérique au cours du mouvement,mais el<strong>le</strong> serait aussi limitée par la condition indépendante parrapport à cel<strong>le</strong>s-là que J doit conserver toujours sa va<strong>le</strong>ur numérique ;mais cela contredirait l’axiome posé ci-<strong>de</strong>ssus.Il suit alors <strong>de</strong> la première partie du troisième axiome helmholtzienqu’un point n’a absolument aucun invariant relativement à tous <strong>le</strong>smouvements <strong>et</strong> que trois points (ou plus) ne possè<strong>de</strong>nt, relativement àtous <strong>le</strong>s mouvements, que <strong>le</strong>s invariants qui s’expriment au moyen <strong>de</strong>sinvariants <strong>de</strong>s paires <strong>de</strong> points qui sont contenues en eux ; autrementdit : un point individuel n’a en général aucun invariant ; <strong>de</strong>ux pointsont en tout cas un invariant relativement à tous <strong>le</strong>s mouvements possib<strong>le</strong>s; mais au contraire, trois points (ou plus) n’ont aucun invariantessentiel. Mais comme nous ne savons cependant pas encore si c<strong>et</strong>tepropriété <strong>de</strong>s mouvements peut être substituée entièrement à l’exigencequi est posée dans c<strong>et</strong>te première partie-là, nous <strong>de</strong>vons comme auparavantajouter l’exigence que chaque point P <strong>de</strong> l’espace mobi<strong>le</strong> est limitédans son mouvement seu<strong>le</strong>ment par <strong>le</strong>s invariants qu’il a avec <strong>le</strong>s autrespoints <strong>de</strong> l’espace mobi<strong>le</strong>.Il reste maintenant encore à discuter <strong>de</strong> la <strong>de</strong>uxième partie du troisièmeaxiome helmholtzien (voir p. 221, l. 6–11 ci-<strong>de</strong>ssus).La <strong>de</strong>uxième partie <strong>de</strong> l’Axiome III semb<strong>le</strong> au premier coup d’œilne contenir que <strong>de</strong>s conséquences <strong>de</strong> la première partie, <strong>et</strong> c’est visib<strong>le</strong>mentainsi que Monsieur <strong>de</strong> Helmholtz a voulu l’entendre. Il en vacependant tout autrement. Certes <strong>le</strong>s lignes 6–9 expriment seu<strong>le</strong>ment<strong>de</strong>s faits qui sont conséquences immédiates <strong>de</strong>s hypothèses posées précé<strong>de</strong>mment,en particulier <strong>le</strong>s mots : « <strong>le</strong> premier point . . . mobi<strong>le</strong> » nesont qu’une autre manière d’exprimer <strong>le</strong> fait qu’un point individuel nepossè<strong>de</strong> aucun invariant. Mais dans <strong>le</strong>s lignes 10 <strong>et</strong> 11 se glisse unenouvel<strong>le</strong> supposition qui n’est pas conséquence <strong>de</strong>s précé<strong>de</strong>ntes.

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

Saved successfully!

Ooh no, something went wrong!