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. 193Les calculs effectués pour <strong>le</strong> premier cas montrent directementque <strong>le</strong>s cinq premières transformations infinitésima<strong>le</strong>s (29) peuvent êtremises sous la forme :p, q, xq + r, xp + yq, xp − yq − 2zr.D’un autre côté, comme <strong>le</strong>s croch<strong>et</strong>s :[p, x 2 p + xyq + ϕ 6 r ] = 2xp + yq + ∂ϕ 6∂x r[q, x 2 p + xyq + ϕ 6 r ] = xq + ∂ϕ 6∂y r[xp + yq, x 2 p + xyq + ϕ 6 r ] = x 2 p + xyq +{x ∂ϕ 6∂x + y ∂ϕ }6r∂ydonnent immédiatement 20 :∂ϕ 6∂x = −z, ∂ϕ 6∂y = 1,x ∂ϕ 6∂x + y ∂ϕ 6∂y = ϕ 6 = y − xz,nous obtenons <strong>le</strong>s six transformations infinitésima<strong>le</strong>s :{p, q, xq + r, xp + yq, xp − yq − 2zr(30)x 2 p + xyq + (y − zx) r.Cel<strong>le</strong>s-ci constituent manifestement un groupe à six paramètres 21 quiprovient aussi par extension [durch Erweiterung] du groupe projectif àsix paramètres du plan :p, q, xq, xp + yq, xp − yq, x 2 p + xyq,<strong>de</strong> la même manière que <strong>le</strong> groupe (28) provient par extension du groupelinéaire général du plan.Cependant, <strong>le</strong> groupe (30) ne fait pas non plus partie <strong>de</strong>s groupesque nous recherchons. En eff<strong>et</strong>, l’origine : x = y = z = 0 qui est20 Rappelons que <strong>le</strong>s membres <strong>de</strong> droite <strong>de</strong> ces trois croch<strong>et</strong>s doivent êtrecombinaisons linéaires à coefficients constants <strong>de</strong>s six transformations infinitésima<strong>le</strong>s(29) — dont <strong>le</strong>s cinq premières sont déjà normalisées —,21 En eff<strong>et</strong>, on peut se convaincre sans aucun calcul <strong>de</strong> la stabilité par croch<strong>et</strong>sgrâce à la propriété généra<strong>le</strong> ([124, 11, 125, 109]) que <strong>le</strong>s croch<strong>et</strong>s entre prolongements[ X (1)j , X (1)kl] ∑ 6 =l=1 c jkl X (1) se comportent exactement <strong>de</strong> la même manièreque <strong>le</strong>s croch<strong>et</strong>s [ X k , X l]=∑ 6l=1 c jkl X l entre <strong>le</strong>s transformations infinitésima<strong>le</strong>sinitia<strong>le</strong>s.

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

Saved successfully!

Ooh no, something went wrong!