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.

Critique <strong>de</strong>s recherches helmholtziennes. 223Conséquences <strong>de</strong>s axiomes helmholtziens.Le premier <strong>de</strong>s axiomes helmholtziens exprime simp<strong>le</strong>ment que<strong>le</strong>s mouvements continus sont possib<strong>le</strong>s <strong>et</strong> il détermine ce qui doit êtreentendu en général par « mouvement continu ».Lorsqu’on considère un mouvement <strong>de</strong> l’espace n fois étendu, ons’imagine <strong>de</strong> la manière la plus commo<strong>de</strong> <strong>de</strong>ux espaces n fois étenduscontenus l’un dans l’autre, dont l’un est fixe, <strong>et</strong> l’autre mobi<strong>le</strong> 1 ;la nature particulière du mouvement considéré spécifie alors <strong>de</strong> quel<strong>le</strong>manière <strong>le</strong>s points individuels <strong>de</strong> l’espace en mouvement modifient <strong>le</strong>ursituation à l’intérieur <strong>de</strong> l’espace fixe. Maintenant, l’Axiome I <strong>de</strong>man<strong>de</strong>que chaque mouvement soit accompagné d’une modification continue<strong>de</strong>s coordonnées du point qui se déplace. Par conséquent, si nous nousimaginons un mouvement quelconque qui commence pour <strong>le</strong> tempst = 0 <strong>et</strong> qui est continuel pendant un certain temps t, <strong>et</strong> si nous adm<strong>et</strong>tonsqu’un point quelconque <strong>de</strong> l’espace mobi<strong>le</strong> a <strong>le</strong>s coordonnéesx 1 , . . .,x n au temps t = 0 par rapport à l’espace fixe, <strong>et</strong> qu’il a <strong>le</strong>s coordonnéesx 1 , . . .,x n au temps t, alors notre mouvement sera représentépar <strong>de</strong>s équations <strong>de</strong> la forme :(1) x ν = F ν(x1 , . . .,x n , t ) (ν = 1 ···n),qui pour t = 0 se réduisent aux équations : x ν = x ν ; avec cela, <strong>le</strong>s F νsont <strong>de</strong>s fonctions réel<strong>le</strong>s <strong>de</strong> <strong>le</strong>urs arguments.Ainsi, nous voyons que chaque mouvement continu <strong>de</strong> l’espace nfois étendu fournit une famil<strong>le</strong> continue <strong>de</strong> ∞ 1 transformations ponctuel<strong>le</strong>sréel<strong>le</strong>s, <strong>et</strong> pour préciser, une famil<strong>le</strong> dans laquel<strong>le</strong> est contenuela transformation i<strong>de</strong>ntique.Pour ce qui touche à la nature <strong>de</strong>s fonctions F ν , remarquons queMonsieur <strong>de</strong> Helmholtz présuppose en tout cas l’existence <strong>de</strong>s quotientsdifférentiels du premier ordre par rapport à x <strong>et</strong> à t ; cela décou<strong>le</strong> déjà<strong>de</strong> l’Axiome I, bien que ce ne soit pas énoncé avec toute la certitu<strong>de</strong>désirab<strong>le</strong>, mais cela <strong>de</strong>vient indubitab<strong>le</strong> lorsqu’on envisage <strong>le</strong>s calculssitués aux pages 202–206 <strong>de</strong> son travail. À c<strong>et</strong> endroit-là, Monsieur <strong>de</strong>Helmholtz utilise par ail<strong>le</strong>urs aussi l’existence <strong>de</strong> certains quotients différentielsdu second ordre, lorsqu’il différentie notamment d’abord parrapport à x <strong>et</strong> ensuite par rapport au paramètre présent, ce qui correspondraitau fait que <strong>le</strong>s quotients différentiels <strong>de</strong>s F ν par rapport à xsont différentiab<strong>le</strong>s <strong>de</strong> <strong>le</strong>ur côté par rapport à t.1 En dimension <strong>de</strong>ux, l’espace fixe sera une gran<strong>de</strong> région rectangulaire <strong>et</strong> planaire,tandis que l’espace mobi<strong>le</strong>, superposé tel une nappe liqui<strong>de</strong>, glissera <strong>de</strong> partoutes ses parties, d’un seul tenant, avec <strong>de</strong>s franges libres.

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

Saved successfully!

Ooh no, something went wrong!