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.

180 Division V. Chapitre 20. § 85.nouveau y <strong>et</strong> nouveau z <strong>le</strong>s <strong>de</strong>ux solutions indépendantes <strong>de</strong> l’équation39 : X 1 f = 0, <strong>et</strong> rapporter par c<strong>et</strong>te opération <strong>le</strong> groupe à la forme :X 1 f = p,X k f = η k (x, y, z) q + ζ k (x, y, z) r(k = 2 ···6).Mais alors l’invariant <strong>de</strong>s <strong>de</strong>ux points : x, y, z <strong>et</strong> x 1 , y 1 , z 1 serait nécessairement<strong>de</strong> la forme : x − x 1 , donc <strong>le</strong>s pseudosphères <strong>de</strong> centrex 1 , y 1 , z 1 seraient représentées par : x − x 1 = const., ou plus simp<strong>le</strong>mentpar : x = const., c’est-à-dire qu’il y aurait en général seu<strong>le</strong>ment∞ 1 pseudosphères distinctes, ce qui est exclu d’après ce qui précè<strong>de</strong>.Si d’autre part <strong>le</strong>s surfaces : x = const. se transformaient <strong>de</strong> <strong>de</strong>uxmanières différentes, nous pourrions, d’après <strong>le</strong> Théorème 1, p. 6, parun choix approprié <strong>de</strong> x, rapporter <strong>le</strong> groupe : X 1 f . . .X 6 f à la forme :X 1 f = p + η 1 (x, y, z) q + ζ 1 (x, y, z) rX 2 f = xp + η 2 (x, y, z) q + ζ 2 (x, y, z) rX k f =η k (x, y, z) q + ζ k (x, y, z) r(k =3···6),<strong>et</strong> par conséquent, un point x 1 , y 1 , z 1 fixé en position généra<strong>le</strong> adm<strong>et</strong>traittrois transformations infinitésima<strong>le</strong>s <strong>de</strong> la forme 40 :Y 1 f = (x − x 1 ) p + η 1 q + ζ 1 rY 2 f =η 2 q + ζ 2 rY 3 f = η 3 q + ζ 3 r,39 Le changement <strong>de</strong> coordonnées est alors <strong>de</strong> la forme :x = x, y = y(x, y, z), z = z(x, y, z),<strong>et</strong> il induit la transformations suivante sur <strong>le</strong>s transformations infinitésima<strong>le</strong>s basiques:p = p + y x q + y x r, q = y y q + z y r, r = y z q + z z r,ce qui ne change rien au fait que <strong>le</strong>s autres transformations infinitésima<strong>le</strong>s X 2 , . . .,X 6n’incorporent pas p : <strong>le</strong>s nouvel<strong>le</strong>s transformations X 2 , . . . , X 6 n’incorporent pas p.40 La transformation Y 1 := X 2 − x 1 X 1 s’annu<strong>le</strong> au point p 1 . Les quatre transformationsrestantes X 3 , X 4 , X 5 , X 6 n’incorporant que q <strong>et</strong> r, il existe <strong>de</strong>ux combinaisonslinéaires indépendantes à coefficients constants Y 2 <strong>et</strong> Y 3 qui s’annu<strong>le</strong>nt aussi enp 1 .

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

Saved successfully!

Ooh no, something went wrong!