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.

Critique <strong>de</strong>s recherches helmholtziennes. 243s > 2 points n’ont pas d’invariant essentiel, donc ce groupe satisfait certainesexigences qui décou<strong>le</strong>nt <strong>de</strong>s axiomes helmholtziens (cf.p. 236).Cependant, <strong>le</strong> groupe réduit associé 6 :(23’) q, p, r, xr, xp + yq − cxq, yrne satisfait pas ces exigences, car il contient <strong>de</strong>s transformations infinitésima<strong>le</strong>s,<strong>et</strong> même trois, à savoir : r, xr, yr, qui ont <strong>de</strong>s courbesintégra<strong>le</strong>s en commun, alors que, d’après la Proposition 1, p. 176, celane peut pas se produire lorsque <strong>de</strong>ux points doivent avoir un <strong>et</strong> un seulinvariant, alors que s > 2 points ne doivent pas avoir d’invariant essentiel.Par conséquent, <strong>le</strong>s exigences en question ne sont pas toujours nécessairementsatisfaites par <strong>le</strong> groupe (20) lorsqu’el<strong>le</strong>s <strong>le</strong> sont par <strong>le</strong>groupe (17), (18).Enfin, l’axiome <strong>de</strong> monodromie peut très bien appartenir aussi auxexigences qui sont satisfaites par <strong>le</strong> groupe (17), (18), sans que cel<strong>le</strong>s-cisoient satisfaites par <strong>le</strong> groupe (20).Le groupe :⎧p, q, xp + yq + r, yp − xq⎪⎨(24)(x 2 − y 2 ) p + 2xyq + 2xr⎪⎩2xyp + (y 2 − x 2 ) q + 2yr,que nous avons déjà trouvé à la page 214 7 , en fournit la démonstration.Ce groupe extrêmement curieux [äusserst merkwürdige Gruppe]satisfait en eff<strong>et</strong> toutes <strong>le</strong>s exigences <strong>de</strong> l’axiome helmholtzien <strong>de</strong> monodromie,tandis que <strong>le</strong> groupe réduit associé :(24’) p, q, r, yp − xq, xr, yrne <strong>le</strong>s satisfait pas.Il est faci<strong>le</strong> <strong>de</strong> voir que <strong>le</strong> groupe (24’) ne satisfait pas l’axiome <strong>de</strong>monodromie. Si nous fixons en eff<strong>et</strong> <strong>de</strong>ux points qui sont mutuel<strong>le</strong>menten position généra<strong>le</strong>, par exemp<strong>le</strong> l’origine <strong>de</strong>s coordonnées <strong>et</strong> <strong>le</strong> pointx 0 , y 0 , z 0 , où x 0 <strong>et</strong> y 0 ne s’annu<strong>le</strong>nt pas, alors <strong>le</strong>s mouvements encorepossib<strong>le</strong>s forment un groupe à un paramètre qui est engendré par la6 Pour obtenir trois transformations infinitésima<strong>le</strong>s linéairement indépendantesfixant l’origine, une combinaison linéaire préalab<strong>le</strong> est requise : r<strong>et</strong>rancher <strong>de</strong> la cinquièm<strong>et</strong>ransformation la troisième multipliée par c, ce qui donne xp + yq − cxq.7 à savoir <strong>le</strong> groupe (58) avec a = 1 <strong>et</strong> b = 0, ce qui a donné <strong>le</strong> groupe 7 p. 215.

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

Saved successfully!

Ooh no, something went wrong!