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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Deuxième solution au problème <strong>de</strong> <strong>Riemann</strong>-Helmholtz. 307Ainsi on a démontré que <strong>le</strong>s mouvements euclidiens <strong>et</strong> noneuclidienssont effectivement entièrement caractérisés par <strong>le</strong>s axiomesposés à la page 298.§ 103.Nous allons maintenant montrer que <strong>le</strong>s mouvements euclidiens <strong>et</strong>non-euclidiens <strong>de</strong> R 4 sont entièrement caractérisés, lorsqu’on pose <strong>le</strong>saxiomes suivants.I) R 4 est une variété numérique.II) Les mouvements <strong>de</strong> R 4 forment un groupe réel continu, qui estengendré par <strong>de</strong>s transformations infinitésima<strong>le</strong>s.III) Si l’on fixe un point réel quelconque : y1 0 . . .y0 4 en positiongénéra<strong>le</strong>, alors tous <strong>le</strong>s autres points réels : x 1 , x 2 , x 3 en <strong>le</strong>squels unautre point réel : x 0 1 . . .x 0 4 peut encore être transformé, satisfont uneéquation réel<strong>le</strong> <strong>de</strong> la forme :(12) W ( y 0 1 . . .y 0 4 ; x 0 1 . . .x 0 4 ; x 1 . . .x 4)= 0,qui n’est pas réalisée pour : x 1 = y 0 1, . . .,x 4 = y 0 4, <strong>et</strong> qui représente engénéral une variété trois fois étendue passant par <strong>le</strong> point : x 0 1 . . .x0 4 .IV) Autour du point : y1 0 . . .y0 4 , une région finie quatre fois étenduepeut être délimitée <strong>de</strong> tel<strong>le</strong> sorte que <strong>le</strong>s conditions suivantes sontsatisfaites : Si l’on fixe <strong>le</strong> point : y1 0 . . .y0 4 , alors chaque autre pointréel : x 0 1 . . .x 0 4 <strong>de</strong> la région peut encore être transformé continûmenten tous <strong>le</strong>s points réels : x 1 . . . x 4 qui satisfont l’équation (12). Si l’onfixe, outre <strong>le</strong> point : y1 0 . . .y0 4 , encore un <strong>de</strong>uxième point réel : z0 1 . . .z0 4<strong>de</strong> la région, alors chaque autre point réel : x 0 1 . . .x0 4 <strong>de</strong> la région peutencore être transformé continûment en tous <strong>le</strong>s points réels : x 1 . . .x 4<strong>de</strong> la région qui satisfont <strong>le</strong>s <strong>de</strong>ux équations : (12) <strong>et</strong> :(13) W ( z 0 1 . . .z0 4 ; x0 1 . . .x0 4 ; x 1 . . .x 4)= 0.Avec cela, il est à chaque fois supposé que <strong>le</strong>s <strong>de</strong>ux points : x 0 1 . . .x 0 4 <strong>et</strong>x 1 . . .x 4 sont reliés l’un à l’autre par une série continue <strong>et</strong> irréductib<strong>le</strong><strong>de</strong> points <strong>de</strong> c<strong>et</strong>te sorte.Nous faisons à nouveau remarquer expressément à ce suj<strong>et</strong> que cesaxiomes contiennent peut-être certains éléments superflus, bien qu’ils<strong>de</strong>man<strong>de</strong>nt moins que <strong>le</strong>s axiomes helmholtziens. En eff<strong>et</strong>, Monsieur <strong>de</strong>Helmholtz <strong>de</strong>man<strong>de</strong> en plus que lorsque trois points sont fixés, chaquequatrième point est encore complèment libre <strong>de</strong> se mouvoir, autant que

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

Saved successfully!

Ooh no, something went wrong!