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.

240 Division V. Chapitre 21. § 94.Le groupe (15) est engendré par trois transformations infinitésima<strong>le</strong>s<strong>de</strong> la forme :(17)⎧⎪⎨⎪⎩(α k1 x + α k2 y + α k3 z + · · ·) p++ (β k1 x + β k2 y + β k3 z + · · ·) q++ (γ k1 x + γ k2 y + γ k3 z + · · ·) r(k = 1,2, 3),où <strong>le</strong>s α, β, γ désignent <strong>de</strong>s constantes <strong>et</strong> où <strong>le</strong>s termes supprimés sontd’un ordre supérieur par rapport à x, y, z. Le groupe à six paramètres d<strong>et</strong>ous <strong>le</strong>s mouvements contient encore, hormis <strong>le</strong>s transformations infinitésima<strong>le</strong>s(17), trois transformations <strong>de</strong> la forme :(18) p + · · · , q + · · · , r + · · · .D’un autre côté, <strong>le</strong> groupe (16’) est <strong>le</strong> groupe réduit associé augroupe (17), <strong>et</strong> ses transformations infinitésima<strong>le</strong>s * :(19)⎧⎪⎨L k f = (α k1 x+α k2 y + α k3 z) p + (β k1 x + β k2 y + β k3 z) q++ (γ k1 x + γ k2 y + γ k3 z) r⎪⎩(k = 1,2, 3)proviennent <strong>de</strong> (17) lorsqu’on supprime tous <strong>le</strong>s termes d’ordre supérieur,<strong>et</strong> donc el<strong>le</strong>s ne sont pas nécessairement indépendantes <strong>le</strong>s unes<strong>de</strong>s autres. Remarquons en outre (cf.<strong>le</strong> Tome I, p. 606), qu’en tenantcompte <strong>de</strong>s hypothèses posées, <strong>le</strong>s transformations infinitésima<strong>le</strong>s :(20) p, q, r, L 1 f, L 2 f, L 3 f,* Nous ne voulons pas passer sous si<strong>le</strong>nce <strong>le</strong> fait que Monsieur <strong>de</strong> Helmholtzopère avec <strong>le</strong>s transformations infinitésima<strong>le</strong>s du groupe linéaire homogène (16’), <strong>et</strong>on peut même dire qu’il considère, quoique <strong>de</strong> manière inconsciente, <strong>le</strong>s groupes àun paramètre qui sont engendrés par certaines <strong>de</strong> ces transformations infinitésima<strong>le</strong>s.Néanmoins, on ne se trouve chez lui en aucune façon <strong>le</strong> concept général <strong>de</strong> transformationinfinitésima<strong>le</strong>, <strong>et</strong> encore moins <strong>le</strong> concept général <strong>de</strong> groupe à un paramètre.

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

Saved successfully!

Ooh no, something went wrong!