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.

36 1.16. Conditions pour la détermination <strong>de</strong>s rapports métriquesEn eff<strong>et</strong>, sans s’autoriser à cé<strong>de</strong>r ni à la formulation aisée <strong>de</strong> problèmesouverts qui consiste simp<strong>le</strong>ment à augmenter <strong>le</strong> nombre <strong>de</strong> variab<strong>le</strong>s,ni à la générativité symbolique <strong>de</strong>s expressions formel<strong>le</strong>s, c’està-direplus précisément, sans annoncer d’emblée à son auditoire :« Étudions maintenant l’expression différentiel<strong>le</strong> quadratique∑ ni,j=1 g ij(x 1 , . . .,x n ) dx i dx j à n variab<strong>le</strong>s qui généralise visib<strong>le</strong>mentl’expression connue en coordonnées paramétriques intrinsèques <strong>de</strong>la métrique E(u, v) du 2 + 2 F(u, v) dudv + G(u, v) dv 2 sur unesurface courbe, dont Gauss a montré, dans son Theorema Egregium,qu’el<strong>le</strong> possè<strong>de</strong> la mesure <strong>de</strong> courbure comme invariant à travers tout<strong>et</strong>ransformation isométrique »,<strong>Riemann</strong> va plutôt, en renversant <strong>le</strong> sens <strong>de</strong> son étu<strong>de</strong>, chercher à trouver<strong>de</strong>s principes <strong>de</strong> genèse a priori qui montreront en quoi l’expressionquadratique gaussienne, ainsi que sa généralisation à <strong>de</strong>s dimensionssupérieures, est en un certain sens naturel<strong>le</strong>, nécessaire, ou tout dumoins « la plus simp<strong>le</strong> possib<strong>le</strong> » qui pourrait s’offrir à l’étu<strong>de</strong> dans una priori relatif, reconstitué a posteriori, <strong>de</strong> la connaissance mathématique.Régressive dans l’a posteriori par rapport à la théorie <strong>de</strong> Gauss,l’étu<strong>de</strong> riemannienne cherche à ouvrir une voie nouvel<strong>le</strong> vers l’a priorigénétique.Par sa démarche, <strong>Riemann</strong> est donc un véritab<strong>le</strong> métaphysicien<strong>de</strong>s mathématiques : nous <strong>de</strong>vons nous interroger, dit-il en eff<strong>et</strong>, surl’existence <strong>de</strong> causes profon<strong>de</strong>s qui pourraient expliquer l’émergence<strong>de</strong> tel<strong>le</strong>s formes symboliques, ou <strong>de</strong> tel<strong>le</strong>s structures mathématiques.Le point <strong>de</strong> vue riemannien se situe donc bien en amont <strong>de</strong> toute optionphilosophique unilatéra<strong>le</strong> sur l’essence <strong>de</strong>s mathématiques <strong>et</strong> sait sesoustraire aux polémiques afférentes ; idéalisme, platonisme, réalisme,constructivisme, intuitionnisme, historicisme, essentialisme, axiomatisme,formalisme : chacune <strong>de</strong> ces options philosophiques est engagéedans une problématique d’essence tel<strong>le</strong>ment profon<strong>de</strong> que <strong>le</strong>s réponsespossib<strong>le</strong>s sont encore noyées dans l’ouverture <strong>et</strong> dans l’indécision, <strong>et</strong>tout penseur d’inspiration riemannienne se voit dans l’obligation philosophiqued’accepter c<strong>et</strong> état <strong>de</strong> fait.Ainsi la partie du discours <strong>de</strong> <strong>Riemann</strong> où il rappel<strong>le</strong> son principeméthodologique général d’investigation n’est-el<strong>le</strong> plus maintenanténigmatique pour notre analyse.Nous arrivons au second <strong>de</strong>s problèmes posés plus haut, savoirà l’étu<strong>de</strong> <strong>de</strong>s rapports métriques dont une multiplicité est susceptib<strong>le</strong>,<strong>et</strong> <strong>de</strong>s conditions suffisantes pour la détermination <strong>de</strong> ces rapports métriques.[133], p. 285.

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

Saved successfully!

Ooh no, something went wrong!