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 2. La mobilité helmholtzienne <strong>de</strong> la rigidité 53Autrement dit, l’espace est loca<strong>le</strong>ment euclidien si <strong>et</strong> seu<strong>le</strong>ment si sacourbure riemannienne s’annu<strong>le</strong> i<strong>de</strong>ntiquement. Dans ce cas, <strong>le</strong> théorème<strong>de</strong> Pythagore est alors satisfait pour tous <strong>le</strong>s triang<strong>le</strong>s rectang<strong>le</strong>s finissitués dans n’importe quel<strong>le</strong> surface tota<strong>le</strong>ment géodésique, <strong>et</strong> aussi,la somme <strong>de</strong>s ang<strong>le</strong>s <strong>de</strong> tout triang<strong>le</strong> quelconque est éga<strong>le</strong> à π.Deuxième « solution » : <strong>Riemann</strong> affirme que l’existence d’ungroupe <strong>de</strong> mouvements isométriques qui perm<strong>et</strong> <strong>de</strong> transférer un élément<strong>de</strong> surface quelconque basé en un point vers un autre élément<strong>de</strong> surface quelconque situé en un autre point arbitraire implique laconstante <strong>de</strong> la mesure <strong>de</strong> courbure sectionnel<strong>le</strong>.Si l’on suppose, en second lieu, comme Eucli<strong>de</strong>, une existenceindépendante <strong>de</strong> la position, non seu<strong>le</strong>ment pour <strong>le</strong>s lignes, mais encorepour <strong>le</strong>s corps, il s’ensuit que la mesure <strong>de</strong> courbure est partoutconstante, <strong>et</strong> alors la somme <strong>de</strong>s ang<strong>le</strong>s est déterminée dans tous <strong>le</strong>striang<strong>le</strong>s, lorsqu’el<strong>le</strong> l’est dans un seul. [133], p. 294.L’argument intuitif est simp<strong>le</strong> : un corp rigi<strong>de</strong> bidimensionnel maxima<strong>le</strong>mentmobi<strong>le</strong> suffira pour propager partout dans la multiplicité lacourbure sectionnel<strong>le</strong> qu’il possè<strong>de</strong>. Toutes <strong>le</strong>s surfaces géodésiques entout point orientées dans toute direction ont la même courbure : la courbureest constante. Alors dans c<strong>et</strong>te circonstance <strong>et</strong> dans <strong>de</strong>s coordonnéesgéodésiques norma<strong>le</strong>s adéquates 4 , <strong>Riemann</strong> représente la métriquepar une formu<strong>le</strong> (déjà mentionnée) invariante symétrique par rapport àtoutes <strong>le</strong>s variab<strong>le</strong>s :ds 2 =dx 2 1 + · · · + dx2 n[1 +κ4 (x2 1 + · · · + x2 n )] 2 ,définie par ζ(s) = ∑ n1 1 npour Re s > 1 <strong>et</strong> que <strong>Riemann</strong> avait introduite dans l’espoir<strong>de</strong> démontrer que <strong>le</strong> nombre <strong>de</strong>s nombres premiers inférieurs à un entier n 2sse comporte asymptotiquement comme log nn, ou mieux encore (Gauss), comme <strong>le</strong> logarithmeintégral ∫ n 12 log xdx. En 1932, après <strong>de</strong>s tentatives <strong>de</strong> Bessel-Hagen, Siegela étudié soigneusement ces notes manuscrites <strong>et</strong> il en a réorganisé <strong>le</strong> contenu dansun mémoire <strong>de</strong> refonte généra<strong>le</strong> [149]. Toutefois, d’après Siegel : « In <strong>Riemann</strong>s Aufzeichnungenzur Theorie <strong>de</strong>r Z<strong>et</strong>afunktion fin<strong>de</strong>n sich nirgendwo druckfertige Stel<strong>le</strong>n; mitunter stehen zusammenhanglose Formeln auf <strong>de</strong>mselben Blatt ; häufig ist vonG<strong>le</strong>ichungen nur eine Seite hingeschrieben ; st<strong>et</strong>s feh<strong>le</strong>n Restabschätzungen und Konvergenzuntersuchungen,auch an wesentlichen Punkten ».4 Dans [170], Weyl a reconstitué <strong>le</strong>s calculs qui auraient pu conduire <strong>Riemann</strong> àc<strong>et</strong>te expression.

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

Saved successfully!

Ooh no, something went wrong!