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.

Chapitre 20.Détermination <strong>de</strong>s groupes <strong>de</strong> R 3 relativement auxquels<strong>le</strong>s paires <strong>de</strong> points possè<strong>de</strong>nt un, <strong>et</strong> un seul invariant,tandis que s > 2 points n’ont pas d’invariant essentiel.Les développements du présent chapitre se rattachent au §59 duTome I (p. 218 sq.). À ce moment-là, nous 1 avons introduit <strong>le</strong> conceptd’invariant <strong>de</strong> plusieurs points <strong>et</strong> maintenant, nous voulons déterminertous <strong>le</strong>s groupes continus finis <strong>de</strong> R 3 qui satisfont certaines exigencesquant aux invariants d’un nombre quelconque fini <strong>de</strong> points. Notamment,<strong>de</strong>ux points doivent avoir un <strong>et</strong> un seul invariant relativement àchaque tel groupe, tandis que tous <strong>le</strong>s invariants <strong>de</strong> s > 2 points doiventtoujours pouvoir s’exprimer comme fonctions <strong>de</strong>s invariants <strong>de</strong>s paires<strong>de</strong> points qui sont comprises dans ces s points. Si, en concordance avec<strong>le</strong> Tome I, p. 219, nous disons qu’un invariant <strong>de</strong> s points est essentiels’il ne peut pas être exprimé au moyen <strong>de</strong>s invariants d’un sous-sytème<strong>de</strong> s − 1 (voire moins) points, alors nous pouvons énoncer notre problème(qui se trouve déjà exprimé dans <strong>le</strong> titre du chapitre) <strong>de</strong> la manièresuivante :Déterminer tous <strong>le</strong>s groupes continus finis <strong>de</strong> R 3 relativementauxquels <strong>de</strong>ux points possè<strong>de</strong>nt un <strong>et</strong> un seul invariant, tandis qu’unnombre <strong>de</strong> points supérieur à <strong>de</strong>ux n’a jamais d’invariant essentiel.Nous allons d’abord résoudre ce problème sans tenir compte <strong>de</strong>la condition <strong>de</strong> réalité. Par conséquent, nous allons chercher en premierlieu tous <strong>le</strong>s groupes <strong>de</strong> transformations comp<strong>le</strong>xes qui possè<strong>de</strong>ntla propriété indiquée, <strong>et</strong> plus tard seu<strong>le</strong>ment, nous résoudrons aussi <strong>le</strong>problème pour <strong>le</strong>s groupes <strong>de</strong> transformations réels * .Nous nous sommes déjà expliqués p. 397 sq. sur <strong>le</strong>s raisons quinous ont poussés à placer ce chapitre en position préliminaire, avant <strong>de</strong>1 Ambiguïté éventuel<strong>le</strong>, ici, sur <strong>le</strong> « nous », qui pourrait aussi bien renvoyer à unimpersonnel mathématique qu’au duo <strong>de</strong> rédacteurs formé par <strong>Engel</strong> <strong>et</strong> <strong>Lie</strong>.* En 1886, <strong>Lie</strong> a déjà esquissé dans <strong>le</strong> Leipziger Berichten, p. 337 sq., <strong>le</strong>s résultatsqui alimentent <strong>le</strong> présent chapitre ; début 1890, il en a donné <strong>de</strong>s démonstrationsdétaillées (ib., pp. 355–418). Ce qui suit est un remaniement <strong>de</strong> c<strong>et</strong>te <strong>de</strong>rnière étu<strong>de</strong>.

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

Saved successfully!

Ooh no, something went wrong!