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.

Groupes <strong>de</strong> R 3 pour <strong>le</strong>squels <strong>de</strong>ux points ont un seul invariant. 211transformation ponctuel<strong>le</strong> réel<strong>le</strong>, à l’une <strong>de</strong>s trois formes : (II), (III),p. 188 <strong>et</strong> (VI), p. 199. Si enfin <strong>le</strong> groupe : X 1 f . . .X 6 f laisse invariantes<strong>de</strong>ux famil<strong>le</strong>s distinctes <strong>de</strong> ∞ 1 courbes, alors il peut, lorsque ces<strong>de</strong>ux famil<strong>le</strong>s sont réel<strong>le</strong>s, recevoir la forme (IV), p. 188, <strong>et</strong> lorsqu’aucontraire el<strong>le</strong>s sont imaginaires conjuguées, la forme :{p, q, xp + yq, yp − xq(VII)(x 2 − y 2 ) p + 2xyq, 2xyp + (y 2 − x 2 ) q,(cf.p. 380) <strong>et</strong> ceci, <strong>le</strong>s <strong>de</strong>ux fois, via une transformation ponctuel<strong>le</strong>réel<strong>le</strong>.Si <strong>le</strong> groupe réduit : X 1 f . . .X 6 f a l’une <strong>de</strong>s formes (I) . . . (VI),alors en conduisant exactement <strong>le</strong>s mêmes calculs que précé<strong>de</strong>mment(voir <strong>de</strong> la p. 188 à la p. 204), on détermine toutes <strong>le</strong>s formes possib<strong>le</strong>sdu groupe : X 1 f . . .X 6 f, <strong>et</strong> alors, comme on s’en convainc faci<strong>le</strong>ment,on a seu<strong>le</strong>ment besoin, lors <strong>de</strong> l’effectuation <strong>de</strong> ces calculs, <strong>de</strong> transformationsponctuel<strong>le</strong>s qui respectent pas à pas la réalité du groupe. Par là,nous voyons que <strong>le</strong>s formes (I) <strong>et</strong> (II) du groupe réduit ne conduisentà aucun groupe réel possédant <strong>le</strong>s qualités ici requises, <strong>et</strong> nous voyonsaussi que chaque groupe réel : X 1 f . . .X 6 f qui satisfait nos exigences <strong>et</strong>dont <strong>le</strong> groupe réduit possè<strong>de</strong> l’une <strong>de</strong>s formes (III), . . . , (VI) est semblab<strong>le</strong>,via une transformation ponctuel<strong>le</strong> réel<strong>le</strong>, à l’un <strong>de</strong>s groupes :[2] 6 , [1], [3], [4]. Et naturel<strong>le</strong>ment, <strong>le</strong> paramètre c qui apparaît dans <strong>le</strong>s<strong>de</strong>ux groupes [1] <strong>et</strong> [2] doit avoir une va<strong>le</strong>ur réel<strong>le</strong>.Enfin, si <strong>le</strong> groupe réduit : X 1 f . . .X 6 f a la forme (VII), alors <strong>le</strong>groupe : X 1 f . . .X 6 f est semblab<strong>le</strong>, via une transformation imaginaire,à l’un <strong>de</strong>s groupes <strong>de</strong> la forme [1], car <strong>le</strong> groupe (IV), p. 188 provientdu groupe (VII), lorsqu’on introduit comme nouvel<strong>le</strong>s variab<strong>le</strong>s x + iy<strong>et</strong> x − iy à la place <strong>de</strong> x <strong>et</strong> <strong>de</strong> y.Nous ne voulons néanmoins faire aucun usage <strong>de</strong> c<strong>et</strong>te circonstance,car il est préférab<strong>le</strong> <strong>de</strong> déterminer directement tous <strong>le</strong>s groupesréels à six paramètres qui satisfont nos exigences <strong>et</strong> dont <strong>le</strong>s groupesréduits ont la forme (VII).Ainsi, nous cherchons maintenant tous <strong>le</strong>s groupes réels à six paramètres<strong>de</strong> la forme :{p + ϕ1 r, q + ϕ 2 r, xp + yq + ϕ 3 r, yp − xq + ϕ 4 r(56)(x 2 − y 2 ) p + 2xyq + ϕ 5 r, 2xyp + (y 2 − x 2 ) q + ϕ 6 r6 C’est <strong>le</strong> bon ordre.

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

Saved successfully!

Ooh no, something went wrong!