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.

252 Division V. Chapitre 21. § 96.En calculant <strong>le</strong>s croch<strong>et</strong>s <strong>de</strong> ces transformations par paires, on déduitenfin que tous <strong>le</strong>s α µν s’annu<strong>le</strong>nt 6 .Avec cela, nous sommes parvenus au résultat que, sous <strong>le</strong>s hypothèsesposées, <strong>le</strong> groupe linéaire homogène réel (29) peut toujours êtresupposé <strong>de</strong> la forme :x ′ 1 p′ 2 − x′ 2 p′ 1 , x′ 2 p′ 3 − x′ 3 p′ 2 , x′ 3 p′ 1 − x′ 1 p′ 3 .Mais il décou<strong>le</strong> <strong>de</strong> là que chaque groupe réel <strong>de</strong> transformations qui satisfaitnos Axiomes III <strong>et</strong> IV dans <strong>le</strong> voisinage <strong>de</strong> chaque point réel :x 0 1 , x0 2 , x0 3 en position généra<strong>le</strong> contient trois transformations infinitésima<strong>le</strong>sdu premier ordre en <strong>le</strong>s x ν −x 0 ν, que l’on peut s’imaginer rapportéesà la forme :(x µ − x 0 µ ) p ν − (x ν − x 0 ν ) p µ + · · · (µ, ν =1, 2,3; µ < ν),alors qu’au contraire, il ne contient pas d’autres transformations infinitésima<strong>le</strong>sdu premier ordre, <strong>et</strong> en particulier aucune <strong>de</strong> la forme :(x 1 − x 0 1) p 1 + (x 2 − x 0 2) p 2 + (x 3 − x 0 3) p 3 + · · · .Mais avec cela, la détermination <strong>de</strong> tous ces groupes est ramenée auproblème qui a déjà été résolu au § 84 (p. 365 sq.). Ainsi, nous pouvonstout d’abord en conclure que <strong>le</strong>s groupes concernés sont finis, <strong>et</strong>pour préciser, qu’ils comportent six paramètres. En outre, on obtientqu’ils sont semblab<strong>le</strong>s, via une transformation ponctuel<strong>le</strong> réel<strong>le</strong>, soit augroupe <strong>de</strong>s mouvements euclidiens, soit au groupe projectif réel d’une<strong>de</strong>s <strong>de</strong>ux surfaces du second <strong>de</strong>gré :x 2 1 + x2 2 + x2 3 + 1 = 0, x2 1 + x2 2 + x2 3 − 1 = 0.Par conséquent, chaque groupe réel <strong>de</strong> l’espace trois fois étenduqui satisfait nos Axiomes III <strong>et</strong> IV peut être transformé, via une transformationponctuel<strong>le</strong> réel<strong>le</strong>, soit en <strong>le</strong> groupe <strong>de</strong>s mouvements euclidiens,soit en l’un <strong>de</strong>s <strong>de</strong>ux groupes <strong>de</strong> mouvements non-euclidiens. En6 Posons R µν ′ := x′ µ p′ ν −x′ ν p′ µ (générateur infinitésimal <strong>de</strong>s rotations autour <strong>de</strong> ladroite {x ′ µ = x ′ ν = 0}) <strong>et</strong> D ′ := x ′ 1p ′ 1+x ′ 2p ′ 2+x ′ 3p ′ 3 (générateur infinitésimal <strong>de</strong>s homothéties<strong>de</strong> centre l’origine). On a <strong>le</strong>s relations <strong>de</strong> commutation [ R 12 ′ , 23] R′ = R′[ ] 13 ,R′12 , R 13′ = −R′23 , [ R 13 ′ , ] R′ 23 = −R′12 <strong>et</strong> aussi [ R µν ′ , D′] = 0. Il en décou<strong>le</strong> que<strong>le</strong> croch<strong>et</strong> <strong>de</strong> <strong>Lie</strong> :ˆR′ 12 +α 12D ′ , R 23+α ′˜ ′ 23D = ˆR˜12, ′ R 23′ + α23ˆR′ 12 , D ′˜ + α ˆD′ 12 , R 23˜ ′ + α12α 23ˆD′ , D ′˜= R ′ 13= λ`R ′ 13 + α 13D ′´qui doit être combinaison linéaire <strong>de</strong>s trois générateurs infinitésimaux R µν ′ + α µν D ′ne peut l’être que lorsque α 13 = 0, avec λ = 1. De même, α 12 = 0 <strong>et</strong> α 23 = 0.

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

Saved successfully!

Ooh no, something went wrong!