GAUSS CARL FRIEDRICH (1777-1855)
Article modifié le
L'œuvre du mathématicien allemand Carl Friedrich Gauss (né à Brunswick, mort à Göttingen) est un monument d'une ampleur et d'une richesse sans égale : non seulement il y a Gauss mathématicien, mais il y a aussi le calculateur, le géodésien, l'astronome, et il ne faut pas oublier qu'il a pratiquement consacré les vingt dernières années de sa vie à l'étude du magnétisme.
Du vivant de Gauss déjà, son génie inspirait à ses contemporains une vénération un peu craintive, et nul n'aurait osé lui contester le titre de princeps mathematicorum dont on le désignait communément. Il faut préciser que non seulement les découvertes de Gauss le mettent hors de pair, mais que leur position dans l'histoire des mathématiques est absolument unique. On peut dire sans exagération qu'il a, à lui seul, incarné toute la mathématique pendant un tiers de siècle, car, de tout ce qui s'est publié de 1797 à 1827 environ, il est peu de travaux qui ne lui soient dus ou qu'il n'ait anticipés et parfois (comme par exemple dans ses théorèmes sur la fonction modulaire) c'est presque de trois quarts de siècle qu'il a devancé son temps. Placé comme à point nommé à la jonction de deux grandes époques de la science, Gauss nous apparaît comme le flambeau qui a montré la route à de nombreuses générations de mathématiciens et illuminé l'avenir comme nul autre ne l'a fait.
Le calcul sur les objets abstraits
Le point de vue de Gauss sur les objets « mathématiques » est déjà identique au nôtre : « Le mathématicien, dit-il, fait complètement abstraction de la nature des objets et de la signification de leurs relations ; il n'a qu'à énumérer les relations et les comparer entre elles » (Werke, t. II, p. 176). Dans ses travaux d'arithmétique supérieure, Gauss met plusieurs fois ce précepte en pratique : il introduit en effet une idée qui nous est maintenant familière, mais qui, à l'époque, était particulièrement hardie, celle de loi de composition entre objets qu'il n'est plus guère possible de considérer comme des « nombres » (au contraire de ce qu'on avait fait jusqu'alors pour les « nombres négatifs » ou les « nombres imaginaires »). C'est ainsi que, s'il se conforme à l'usage établi en ce qui concerne le calcul des congruences modulo un entier donné n, il n'en est pas moins conscient du fait qu'il s'agit en réalité d'un calcul sur les classes d'entiers ne différant que par des multiples de n, bien plutôt que d'un calcul sur les entiers eux-mêmes (Disquisitiones arithmeticae, art. 26 et 31). Dans la théorie de la composition des classes de formes quadratiques, qui lui est entièrement due, il est beaucoup plus net encore ; Lagrange avait défini une relation d'équivalence entre formes quadratiques binaires à coefficients entiers, deux formes étant équivalentes s'il est possible de transformer l'une en l'autre par une transformation unimodulaire à coefficients entiers ; il avait aussi démontré l'identité :
Dans l'un comme dans l'autre cas, les lois de composition envisagées par Gauss sont ce que nous appelons maintenant des lois de groupe commutatif (ou abélien), et les résultats de Gauss (bien que non exprimés sous la forme abstraite moderne) sont conçus et démontrés de manière si générale qu'on peut à bon droit les considérer comme établissant les fondements de la théorie des groupes commutatifs finis. Il met particulièrement en relief la notion de groupe cyclique et de générateurs d'un tel groupe, qu'Euler avait déjà rencontrée en montrant en substance que les classes modulo n des nombres premiers à n forment un groupe cyclique pour n premier ; complétant les résultats d'Euler, Gauss détermine la structure de ce groupe pour n quelconque, obtenant déjà sur cet exemple la structure générale d'un groupe commutatif fini comme produit direct de groupes cycliques. Bien qu'il ne l'ait pas exprimée de façon tout à fait explicite, il est vraisemblable qu'il était arrivé à la même conclusion pour le groupe des classes de formes quadratiques de déterminant donné et, en tout cas, il est aisé de déduire le théorème général des méthodes qu'il développe à ce propos (Disq. arith., art. 306 et suiv.).
Il est évident que deux groupes cycliques de même ordre sont isomorphes et, bien entendu, cette observation ne pouvait échapper à Gauss ; ce qui est beaucoup plus remarquable, c'est la façon extrêmement pénétrante dont il use de ce fait dans ses célèbres travaux sur les racines de l'unité. Ayant démontré que, pour n premier, l'équation de degré n − 1 :
Il y a bien d'autres exemples de la hardiesse de Gauss à ouvrir de nouvelles voies par l'introduction d'objets mathématiques insoupçonnés de ses devanciers, et dont son instinct infaillible lui faisait pressentir toute la richesse. C'est ainsi que, dans un fragment destiné aux Disquisitiones, mais finalement non publié de son vivant, il avait reconnu la possibilité de définir des « racines imaginaires » des congruences modulo un nombre premier, et obtenu l'essentiel de la théorie des corps finis que retrouvera Galois trente ans plus tard. Surtout, c'est Gauss qui donne l'impulsion à toute la grande théorie des nombres algébriques, par son étude systématique de l'arithmétique des « entiers de Gauss » a + bi (a, b entiers rationnels) ; nous savons d'ailleurs qu'il avait ébauché des tentatives analogues pour d'autres corps de nombres algébriques, notamment certains corps cyclotomiques, mais il s'y était heurté à l'obstacle majeur qui ne fut surmonté que par Kummer, l'impossibilité de calquer directement la théorie des éléments « premiers » de ces corps sur celle des nombres premiers usuels.
Accédez à l'intégralité de nos articles
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Pierre COSTABEL : directeur d'études à l'École pratique des hautes études
- Jean DIEUDONNÉ : membre de l'Académie des sciences
Classification
Autres références
-
RECHERCHES ARITHMÉTIQUES (C. F. Gauss)
- Écrit par Bernard PIRE
- 190 mots
Les Recherches arithmétiques (Disquisitiones arithmeticae) que Carl Friedrich Gauss (1777-1855) publie à Brunswick en 1801 marquent un progrès fondamental en théorie des nombres. Les quatre premières sections sont consacrées aux congruences et, selon la Préface même de l'auteur, contiennent peu...
-
ALGÈBRE
- Écrit par Jean-Luc VERLEY
- 7 145 mots
Le premier exemple de groupe formé d'éléments de nature assez différente de celle des nombres est fourni par les travaux deGauss sur les formes quadratiquesax2 + bxy + cy2, où a, b, c sont des entiers relatifs premiers entre eux. Deux telles formes étant dites équivalentes si l'on passe... -
ALGORITHME DE TRANSFORMÉE DE FOURIER RAPIDE (J. W. Cooley et J. W. Tukey)
- Écrit par Bernard PIRE
- 348 mots
La publication en 1965, dans le journal Mathematics of Computation de la Société américaine de mathématiques (AMS), de l’« Algorithme de transformée de Fourier rapide » par les mathématiciens américains James William Cooley (1926-2016) et John Wilder Tuckey (1915-2000) révolutionne l’automatisation...
-
ANALYSE MATHÉMATIQUE
- Écrit par Jean DIEUDONNÉ
- 8 532 mots
...xixe siècle est caractérisé tout d'abord par un retour à la rigueur, notamment dans l'emploi des séries, où, sous l'influence de Gauss et surtout d' Abel et de Cauchy, il est assez rapidement admis qu'une série n'a de sens que lorsqu'on a prouvé sa convergence. Or, une fonction... -
DIOPHANTIENNES APPROXIMATIONS
- Écrit par Marcel DAVID
- 4 515 mots
Pour obtenir le développement de (e + 1)/(e − 1), Gauss a utilisé le développement en fraction continuée non régulière des séries hypergéométriques. - Afficher les 27 références
Voir aussi
- MÉCANIQUE HISTOIRE DE LA
- OPTIQUE INSTRUMENTALE
- SYSTÈME OPTIQUE CENTRÉ
- ISOMORPHISME, mathématiques
- GROUPES FINIS
- GAUSS ENTIER DE
- RACINES N-IÈMES
- GROUPE CYCLIQUE
- SCIENCES HISTOIRE DES, XIXe s.
- CORPS FINIS
- RÉCIPROCITÉ QUADRATIQUE LOI DE
- RACINE PRIMITIVE
- NOMBRES ALGÉBRIQUES
- FONCTIONS ELLIPTIQUES & MODULAIRE
- EUCLIDE POSTULAT D'
- CÉRÈS, astéroïde
- GÉOMÉTRIES NON EUCLIDIENNES
- CONTRAINTES, mécanique
- ELLIPTIQUES INTÉGRALES
- COURBURE, mathématiques
- MODULAIRE FONCTION
- COMPOSITION LOIS DE, mathématiques
- ASTRONOMIE HISTOIRE DE L'
- GAUSS SOMMES DE
- MATHÉMATIQUES HISTOIRE DES
- ORBITE, mécanique céleste
- PHYSIQUE HISTOIRE DE LA