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.

Première solution au problème <strong>de</strong> <strong>Riemann</strong>-Helmholtz. 265en <strong>le</strong>quel il possè<strong>de</strong>rait la libre mobilité dans l’infinitésimal. Par conséquent,<strong>le</strong> point invariant est imaginaire <strong>et</strong> <strong>le</strong> point imaginaire conjuguéreste simultanément au repos, ainsi que la droite <strong>de</strong> liaison réel<strong>le</strong> passantpar <strong>le</strong>s <strong>de</strong>ux.Si nous déplaçons alors <strong>le</strong>s <strong>de</strong>ux points appropriés grâce à un<strong>et</strong>ransformation réel<strong>le</strong> projective en <strong>le</strong>s <strong>de</strong>ux points du cerc<strong>le</strong> notregroupe se transforme en un sous-groupe à trois paramètres du groupesuivant à quatre paramètres :(1) p, q, yp − xq, xp + yq,<strong>et</strong> nous <strong>de</strong>vons par conséquent seu<strong>le</strong>ment rechercher encore tous <strong>le</strong>ssous-groupes à trois paramètres <strong>de</strong> ce groupe, qui satisfont notre exigence.Si un sous-groupe réel G <strong>de</strong> (1) à trois paramètres possè<strong>de</strong> la libremobilité dans l’infinitésimal en un point x 0 , y 0 <strong>de</strong> position généra<strong>le</strong>,alors, quand on fixe ce point, <strong>le</strong>s ∞ 1 éléments linéaires : dx : dy quipassent par ce point sont transformés par l’action d’un groupe à un paramètre.Si nous nous imaginons maintenant que <strong>le</strong> point : x 0 , y 0 estdéplacé sur l’origine <strong>de</strong>s coordonnées grâce à une transformation réel<strong>le</strong>du groupe à <strong>de</strong>ux paramètres : p, q, alors <strong>le</strong> groupe G reçoit une nouvel<strong>le</strong>forme dans laquel<strong>le</strong> il y a en tout cas une transformation infinitésima<strong>le</strong><strong>de</strong> la forme :(2) yp − xq + c (xp + yq),car : xp + yq laisse généra<strong>le</strong>ment au repos chaque élément linéaire passantpar l’origine <strong>de</strong>s coordonnées. De plus, comme groupe transitif, Gcontient encore <strong>de</strong>ux transformations infinitésima<strong>le</strong>s <strong>de</strong> la forme 6 :p + α (xp + yq),q + β (xp + yq).En calculant maintenant <strong>le</strong>s croch<strong>et</strong>s avec (2), on obtient :−q + c p, p + c q,<strong>et</strong> comme c est réel, <strong>et</strong> que G ne peut contenir que trois transformationsinfinitésima<strong>le</strong>s indépendantes, on en déduit que α <strong>et</strong> β s’annu<strong>le</strong>nt tous<strong>de</strong>ux, <strong>et</strong> que par conséquent G possè<strong>de</strong> la forme :p, q, yp − xq + c (xp + yq).Ainsi, la proposition suivante est vali<strong>de</strong>.6 — après combinaison linéaire via (2) —

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

Saved successfully!

Ooh no, something went wrong!