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. 303linéaires réels passant par P aux points réels d’un plan, alors g se transformeen un groupe projectif réel g à trois paramètres <strong>de</strong> ce plan, <strong>et</strong> pourpréciser, en un groupe par l’action duquel aucun point réel ne reste invariant.Mais d’après <strong>le</strong>s pages 106 <strong>et</strong> 384, chaque tel groupe g est semblab<strong>le</strong>,via une transformation projective réel<strong>le</strong> du plan, soit au groupeprojectif réel d’une conique non-dégénérée qui est représentée par uneéquation réel<strong>le</strong>, soit au groupe :p, q, y p − x q + c (x p + y q).Par conséquent, g laisse invariante soit une conique non-dégénérée dusecond <strong>de</strong>gré formée d’éléments linéaires qui est représentée par uneéquation réel<strong>le</strong>, soit il laisse invariant un élément <strong>de</strong> surface réel <strong>et</strong> dansc<strong>et</strong> élément, <strong>de</strong>ux éléments linéaires conjugués.Lorsque <strong>le</strong> <strong>de</strong>uxième cas se produit, à chaque point réel en positiongénéra<strong>le</strong> est associé par G un élément <strong>de</strong> surface réel invariant passantpar ce point, donc G laisse invariante une équation <strong>de</strong> Pfaff réel<strong>le</strong>, quinaturel<strong>le</strong>ment, à cause <strong>de</strong> la primitivité <strong>de</strong> G, ne doit pas être intégrab<strong>le</strong>.Si nous nous imaginons c<strong>et</strong>te équation rapportée à la forme : dz − ydxpar une transformation ponctuel<strong>le</strong> réel<strong>le</strong> <strong>de</strong> R 3 , alors G se transformeen un groupe réel à six paramètres G ′ , par l’action duquel l’équation :dz − ydx = 0 reste invariante. De plus, nous pouvons faire en sorte,via une transformation ponctuel<strong>le</strong> réel<strong>le</strong> à travers laquel<strong>le</strong> l’équation<strong>de</strong> Pfaff en question reste invariante, que l’origine <strong>de</strong>s coordonnées :x = y = z = 0 soit un point <strong>de</strong> position généra<strong>le</strong> relativement à l’action<strong>de</strong> G ′ (voir <strong>le</strong> Tome II, p. 402 sq.).Si nous fixons l’origine <strong>de</strong>s coordonnées, alors l’élément <strong>de</strong> surface: dz = 0 reste invariant, ainsi que <strong>de</strong>ux éléments linéaires imaginairesconjugués contenus en lui ; nous pouvons toujours, via une transformationréel<strong>le</strong> à travers laquel<strong>le</strong> l’origine <strong>de</strong>s coordonnées <strong>et</strong> l’équation: dz − ydx = 0 restent invariantes, transformer ces <strong>de</strong>ux élémentslinéaires en <strong>le</strong>s éléments linéaires :(7) dz = dx + idy = 0, d¯z = dx − idy = 0.Maintenant, puisque G ′ est transitif, <strong>et</strong> puisque, après fixation <strong>de</strong> l’origine<strong>de</strong>s coordonnées, <strong>le</strong>s éléments linéaires passant par l’origine sonttransformés par l’action d’un groupe à trois paramètres, G ′ doit contenirtrois transformations infinitésima<strong>le</strong>s du premier ordre en <strong>le</strong>s x, y, zdans <strong>le</strong> voisinage <strong>de</strong> l’origine <strong>de</strong>s coordonnées, mais au contraire, aucun<strong>et</strong>ransformation du second ordre, ou d’un ordre supérieur. Mais parail<strong>le</strong>urs, nous connaissons toutes <strong>le</strong>s transformations infinitésima<strong>le</strong>s quilaissent invariante l’équation : dz−ydx = 0 <strong>et</strong> qui sont du premier ordre

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

Saved successfully!

Ooh no, something went wrong!