ChronoMath, une chronologie des MATHÉMATIQUES
à l'usage des professeurs de mathématiques, des étudiants et des élèves des lycées & collèges

HILBERT David, allemand, 1862-1943

David Hilbert fit toutes ses études à Königsberg, sa ville natale où il obtient sa thèse de doctorat (1885) dirigée par Lindemann portant sur les propriétés invariantes des fonctions sphériques (fonctions de deux variables définies sur la sphère).

Professeur à l'université de Königsberg dès 1886, il remplaça Hurwitz nommé à l'École polytechnique de Zurich (1892) et l'année suivante il succède à Lindemann nommé à Munich (München). C'est alors qu'il entreprend la rédaction de son premier traité, vaste synthèse sur la théorie des corps de nombres algébriques, initiée par Dedekind en 1871, qui deviendra le Zahlbericht (@ mémoire, compte-rendu sur les nombres) dans l'édition de la Société allemande de mathématiques (1897). Il semble qu'on lui doive là le terme d'anneau dont Fraenkel donnera une définition axiomatique une quinzaine d'années plus tard.

En 1895, Hilbert obtient un poste à Göttingen qu'il conservera jusqu'à sa retraite (1930) et publiera deux ans plus tard ses cours (527 pages réunies par un des étudiants, Sophus Marxsen) sur la Théorie des invariants algébriques (» réf. 11a-b & 12), synthèse encore de ses travaux depuis sa thèse, fondée sur la notion de groupe de transformations développée auparavant par Klein, ouvrant la voie de la géométrie algébrique et de l'algèbre commutative et couronnant les travaux de ses prédécesseurs (Gauss, Cauchy, Cayley, ...) sur les polynômes homogènes, formes quadratiques et formes multilinéaires (théorie des déterminants) en particulier.

Corps de nombres algébriques : »

Hilbert se lia d'amitié avec les plus grands mathématiciens de l'époque dont en particulier : Minkowsky (camarade d'études), Hurwitz, Cantor, Fuchs, Hermite, Klein, Kummer, Kronecker, Poincaré, Weierstrass.

Génie universel, s'investissant dans toutes les branches des mathématiques en les faisant progresser par des méthodes et des outils novateurs et rigoureux, Hilbert est considéré comme l'un des plus grands (le ?) mathématiciens du 20è siècle. Partisan d'un formalisme sans concession (Hilbert sera dans sa 70è année lors de l'entrée en scène de Gödel avec son théorème d'incomplétude), ses travaux se situent dans l'étude des fondements des mathématiques :

1.  L'axiomatisation de la géométrie :     

Face à certaines insuffisances de la géométrie euclidienne et des grandeurs irrationnelles, la volonté d'Hilbert fut de reconstruire les mathématiques sur des fondements axiomatiques plus complets et indépendamment de la logique ensembliste (Grundlagen der Geometrie : Fondements de la géométrie, 1899-1900). Il réussit la reconstruction de la géométrie euclidienne : cinq groupes de quatre axiomes, dont quinze équivalent à ceux d'Euclide. On y trouve, en particulier l'axiome de Pasch, non explicité par Euclide et les axiomes de continuité d'Archimède et de Cantor. Il s'attacha aussi à prouver la consistance des géométries, euclidiennes ou non, suite aux célèbres travaux de Klein sur leur classification (Programme d'Erlangen, 1872).

E. H. Moore montrera cependant (1902) que les axiomes d'Hilbert sont surabondants : l'axiome de Pasch, par exemple, est "trop fort" : il implique un des axiomes d'ordre sur la droite selon lequel (la notation [ABC] signifiant que A, B et C sont alignés avec B entre A et C) :

Quatre points A, B, C et D d'une droite peuvent toujours être situés de sorte que l'on ait simultanément
[ABC], [ABD], [ACD] et [BCD]

2.  Le programme de Hilbert :    

En 1925, Hilbert publie Sur l'Infini (Über das Unendliche) dans les Mathematischen Annalen (» Clebsch). Dans les premiers résultats sur la récursivité tout récemment initiée par Skolem et à laquelle s'intéresse également Gödel, il perçoit un outil possible dans ses recherches sur l'hypothèse du continu sur laquelle il travaille. On y rencontre la fonction d'Ackermann (qui fut un de ses étudiants et disciples) sous sa forme initiale à trois variables. Trois ans plus tard, la théorie de la démonstration (Die Beweistheorie) est évoquée comme un challenge lors du Congrès International des Mathématiciens (» ci-après) qui se tenait à Cambridge en 1928.

Hilbert estime possible de refondre toute la mathématique, et tout particulièrement la logique, base de tout raisonnement, au moyen d'un nombre fini d'axiomes et de règles définis sans ambiguïté. L'enchaînement logique (syllogisme) des résultats indiscutables obtenus pas à pas doit inéluctablement conduire à la preuve de l'énoncé étudié. On parla à l'époque du programme de Hilbert. Gödel, en 1931, devait ruiner cette espérance formaliste avec son théorème d'incomplétude et le jeune anglais Turing se passionne pour le sujet en 1935 en émettant l'idée d'une mécanisation de la pensée : ce sera la célèbre « machine à penser », ancêtre de l'ordinateur. Les problèmes soulevés par l'arithmétique, la géométrie algébrique, la
théorie des ensembles, beaucoup plus difficiles à reconstruire axiomatiquement, firent l'objet des célèbres 23 problèmes ouverts cités au congrès de 1900.

Axiomes de Hilbert-Ackermann (logique propositionnelle) : »        Gödel et le théorème d'incomplétude : »

3.  La métamathématique :    

Le théorème d'incomplétude de Gödel montre la limite des systèmes formels, que l'on croyait jusqu'alors d'une rigueur implacable et à l'abri de tout soupçon,  il fallut se placer à un niveau supérieur : on parla de métalogique, de métalangage mathématique susceptible de décrire l'essence même de ces systèmes, en un mot la métamathématique, le terme est de Hilbert dans ses travaux pour désigner la théorie de la démonstration.

Il s'agit de préciser les règle du jeu : bien-fondé des symboles, des quantificateurs et du raisonnement déductif eu égard aux axiomes (et de la légitimité du choix de ces axiomes) : une logique de la logique ! C'est une remise à plat de la logique issue d'Aristote. Le programme est ambitieux, on touche au concept de vérité, à la philosophie de la connaissance. Cette dernière est-elle mathématique ?

     Dans un article sur les fondements des mathématiques, intitulé Formalisme et formalisation, E. Balibar et P. Macherey écrivent dans l'Encyclopédie Universalis (1995) :

(...)  La logique s'identifie dans ses problèmes, sinon dans ses objectifs, avec ce que Hilbert appelait la métamathématique, c'est-à-dire la discipline (mathématique) qui, dans une métalangue rigoureuse, peut nous donner la connaissance scientifique de ces objets nouveaux que sont les systèmes axiomatiques formalisés.

(...)  Parmi les résultats les plus remarquables, et qui illustrent le mieux le caractère d'imprévisibilité que la logique mathématique possède comme toute discipline scientifique, figurent les théorèmes dits de « limitation » des systèmes formels. Le plus célèbre est le théorème de Gödel (1931) énonçant l'incomplétude de l'arithmétique formalisée, c'est-à-dire la possibilité de construire une interprétation du système formel dans laquelle figure une proposition vraie qui est représentée dans le système par une expression formellement indémontrable. Bien entendu la construction du système exclut la possibilité d'une formule démontrable qui correspondrait dans une interprétation quelconque à une proposition fausse; c'est même une condition du résultat précédent. La tentative de représenter la vérité des propositions de l'arithmétique par la démonstrabilité formelle n'aurait plus alors aucun sens cohérent.

En quel sens avons-nous affaire ici à une « limitation » ? Le résultat de Gödel montre que, pour une classe entière de systèmes formels, il faut renoncer à l'espoir d'une correspondance adéquate entre la notion sémantique de vérité (qui n'a de sens que pour une interprétation du système) et la notion purement syntaxique de démonstrabilité. Et comme l'interprétation d'un système est réglée par les propriétés syntaxiques du système lui-même, cela signifie que la syntaxe du système autorise la définition d'une notion de « vérité » qu'elle est cependant impuissante à représenter exactement.

Dans une perspective idéaliste (par exemple celle qu'adoptait Husserl lorsqu'il définissait la « clôture » formelle comme l'idéal régulateur de toute science théorique), ce résultat est ressenti comme une déception . Il permet d'étayer sur le développement même de la logique mathématique une philosophie de la finitude de la connaissance humaine. Dans une perspective matérialiste, ce résultat, comme l'ensemble des théorèmes de « limitation », est interprété positivement. Il exprime une propriété structurale fondamentale des systèmes formels considérés. Il ne borne donc pas la connaissance que ceux-ci représentent : il étend au contraire notre connaissance de ce qu'ils sont. Sa seule fonction négative est celle, critique, de faire obstacle sur ce terrain à une philosophie du savoir absolu. (...)

Nonobstant le théorème d'incomplétude de Gödel (1931), Ackermann donnait (1940) une preuve métamathématique de la consistance de l'arithmétique sans toutefois soulever grand enthousiasme !

Quelques années auparavant, une démonstration semblable avait été apportée par Gerhard Gentzen (1909-1945) étudiant de Hilbert (comme Ackermann) dont les travaux portent également sur la métamathématique.

   à propos de Gentzen, signalons que, selon Jeff Miller, professeur à New Port Richey (Floride), on doit à ce mathématicien allemand le quantificateur universel ∀ pour signifier "quel que soit",  A renversé, première lettre du mot anglais All =Tout, comme dans l'expression pour tout x de E équivalente à quel que soit x appartenant à E.

 »  Tarski , Peano , Bernays , Church 

Les 23 problèmes ouverts de Hilbert :

A la demande de Cantor, un Congrès international de mathématiques (CIM) fut créé en 1897. Ce premier congrès eut lieu à Zürich. Celui de 1900 se déroula à Paris et eut un grand retentissement par le fait qu'il inaugurait le 20è siècle (qui, rappelons-le, ne commença qu'en 1901...) et que se trouvaient évoqués les grands problèmes mathématiques non résolus. Henri Poincaré en était le président. Charles Hermite, malade, très affaibli ne put s'y rendre fut nommé président d'honneur (il meurt cinq mois plus tard). On pourra consulter le très intéressant compte rendu de ce congrès numérisé sur mathunion.org (» réf.13).

Hilbert y énonça ses célèbres 23 grands problèmes ouverts qui devaient guider les mathématiciens du 20è siècle, dont plusieurs au 21è siècle, ne sont pas encore résolus ! Depuis lors, le CIM se réunit tous les 4 ans et décerne depuis 1936, la célèbre médaille Fields.

   En fait, selon Pierre Cartier, le temps imparti à Hilbert ne lui permit pas d'exprimer l'ensemble des 23 problèmes mais seulement 10 d'entre eux qu'il sélectionna en accord avec ses amis Hurwitz et Minkowski. Sa conférence ne fut publiée dans son entièreté qu'en 1902.

Voici, dans la numérotation de Hilbert, les plus célèbres de ces problèmes et les plus accessibles à notre entendement de non mathématicien... :

1/ Démontrer l'hypothèse du continu : indécidable dans le système d'axiomes ZFC de la théorie des ensembles :
Cohen, 1963.

2/ Consistance des axiomes de l'arithmétique :  résolu par la négative, théorème d'incomplétude :
Gödel, 1931. Ce résultat montre que le formalisme axiomatique nest pas la panacée de la construction des mathématiques.

»  Ackermann , Cantor

3/ La méthode euclidienne de décomposition en polyèdres est-elle applicable à tous les volumes ? non, Dehn, 1901.

7/ Transcendance de nombres comme 2√2 : partiellement résolu, Gelfond, Schneider, Baker, 1939.

8/ Le problème de la distribution des nombres premiers lié à la conjecture de Riemann concernant les nombres ζ(n) : non résolu.

» Apéry

10/ Recherche d'un algorithme permettant de savoir si une équation diophantienne admet ou non des solutions : résolu par la négative (indécidable) en 1970 par le mathématicien russe Youri Matiyasevich (1947-).

L'ensemble des 23 problèmes : »            Médailles Fields : »          » Fields

Espace préhilbertien, Espace de Hilbert (ou espace hilbertien) :

Dans les années 1905-1912, Hilbert travaille sur l'analyse fonctionnelle née de la physique mathématique, tout particulièrement des phénomènes oscillatoires et du calcul des variations où les solutions recherchées sont des fonctions, souvent décrites par des équations intégrales (dont il édite un important traité en 1912, » réf.10) apparaissent comme somme d'une série de fonctions (souvent trigonométriques) que l'on approche par des polynômes orthogonaux pour un produit scalaire convenable. Outre pour une théorie rigoureuse des séries de Fourier, il faut aussi un outil essentiel en mécanique quantique et en calcul tensoriel.

Dans ce nouveau domaine de recherche où il s'agira de redéfinir les concepts de limite et de continuité, Hilbert doit s'appuyer sur une base rigoureuse. Ce sera la construction d'espaces vectoriels topologiques et fonctionnels abstraits sur R ou C (espaces hilbertiens) englobant les espaces vectoriels euclidiens (en hommage à Euclide) et hermitiens (en hommage à Hermite).

»  Steinhaus , Banach

Le début du 20è siècle verra d'importantes avancées en analyse fonctionnelle (par exemple, Volterra en Italie, Fredholm en Suède) qui se développèrent avec les magnifiques outils offerts par la formalisation des espaces métriques et topologiques abstraits : ce sera le fait de Fréchet (1906), Riesz (1907) et Hausdorff (1913).

»  Espaces vectoriels , Espaces métriques (généralités)

Espace préhilbertien, espace hilbertien :    

On appelle espace préhilbertien ainsi un espace vectoriel sur R (resp. C) muni d'une forme bilinéaire symétrique et positive (resp. d'une forme sesquilinéaire auto-adjointe et positive).

Un espace de Hilbert ou espace hilbertien est un espace préhilbertien séparé et complet. L'appellation espace de Hilbert est due à von Neumann.

» Vocabulaire de la topologie (espace séparé, complet, ...)

Lorsque ces formes sont définies positives, elles définissent un produit scalaire et on parle d'espace préhilbertien séparé. Le concept d'espace de Hilbert est une généralisation des espaces euclidiens "usuels" rendue nécessaire par l'entrée en scène, dès la fin du 19è siècle, des espaces fonctionnels où les "points" sont alors des fonctions. Les applications en sciences physiques sont immenses.

Un espace de Hilbert apparaît ainsi comme un espace vectoriel sur R ou C, muni d'un produit scalaire dont l'espace normé associé est complet : c'est un espace de Banach.

»  Polynômes orthogonaux , Polynômes de Hermite , Polynômes de Tchebychev , Séries de Fourier dans L2  

Exemple fondamental & exercice :    

Dans le cas de l'ensemble F des fonctions numériques continues sur un intervalle [a,b] de R avec a < b, on introduit le produit scalaire  au moyen de la forme :

(f,g) → < f,g > = [a,b] f(x)g(x)dx

(f,g) → < f,g > est un produit scalaire : par linéarité de l'intégrale et distributivité de la multiplication sur l'addition, f → < f,g > est linéaire pour tout g de F; de même pour g → < f,g >. La commutativité de la multiplication dans R établit la symétrie; la forme est positive : < f,f > =  ∫[a,b] f(x)2dx ≥ 0 en tant qu'intégrale d'une fonction positive sur un intervalle [a,b], a étant inférieur à b. Enfin, la forme (f,g) → < f,g > est non dégénérée car les fonctions de F sont continues et si l'intégrale d'une fonction continue et positive est nulle [a,b], alors cette fonction est nulle; par suite < f,f > = 0 ⇒ f = 0

Pour toute fonction f, la norme associée, || f || , est alors définie par :

 || f ||2 = [a,b] [f(x)]2dx

 On montrera facilement que f  → || f || est effectivement une norme sur F : en particulier, afin de prouver || f + g || ≤ || f || + || g ||, on développera || f + g ||2 et  (|| f || + || g ||)2 et on comparera au moyen de l'inégalité de Cauchy-Schwarz.

Muni de cette norme l'ensemble des fonctions numériques continues sur [a,b] est un espace de Hilbert. Il fut mis en place par ce dernier en 1904. Si f est à valeurs dans C, le produit scalaire deviendra :

<f,g> = [a,b] f(x)g(x)dx

On considère l'espace vectoriel T  (T comme trinôme) des polynômes de degré au plus égal à 2 à coefficients réels muni du produit scalaire :

<f , g> = ∫[-1,1] f(x)g(x)dx

Pour tout f de T, on définit la norme associée à ce produit scalaire par : || f ||2 = < f,f >

  1. Tout élément de T est de la forme x→ f(x) = a.x2 + b.x + c. Justifier que (1, x, x2) est une base de T.
  2. Calculer || 1 || , || x || et || x2 ||.
  3. Calculer <1,x> , <x,x2>, <1,x2>. La base (1, x, x2) est-elle orthogonale ?
  4. Quels sont les trinômes de T orthogonaux à  x → x2 ?    Rép : f = ax2 + b.x + c avec 3a + 5c = 0

             »  Produit scalaire  |  Formes hermitiennes  |  Espaces L2 et séries de Fourier

 !  Dans des cas plus généraux et si l'intervalle d'intégration J n'est pas borné, l'intégrabilité de f n'est pas assurée et sa norme || f || peut être non bornée. Lorsque f2 est intégrable : on parle des fonctions de carré intégrable (importante classe de fonctions pour l'approximation quadratique). Lorsque l'intégrale considérée est celle de Lebesgue, cet espace se note L2[a,b] (L pour Lebesgue). Noter aussi que l'intégrabilité de f2 n'implique pas celle de f :

Espaces Lp : »            Produit scalaire et norme : »

 Autre contribution :

Il s'agit de de la découverte d'une courbe qui n'en est pas vraiment une..., courbe fractale remplissant un carré dont une approche est esquissée ci-dessous :

Courbe de Peano-Hilbert :  »

J désignant un idéal propre de K[x1, x2, ..., xn] et L une clôture algébrique de K, il existe au moins un élément
α de Ln tel que pour tout polynôme p de J, p(α) = 0.

»  Idéal d'anneau , Zariski


    Pour en savoir plus :

  1. Les fondements des mathématiques, Dr F. Gonseth, Libraire scientifique et technique A. Blanchard
    Paris - 1926/1974 - De la géométrie d'Euclide à la relativité générale et à l'intuitionnisme
  2. Abrégé d'histoire des mathématiques, 1700-1900, par Jean Dieudonné et une équipe de mathématiciens. Ch X1, Axiomatique et logique par Marcel Guillaume, Ed. Hermann, Paris - 1978
  3. .
  4. L'axiomatique, par Robert Blanché (prof. honoraire faculté des Lettres et Sc. humaines, Toulouse), P.U.F., Collec. SUP, 1970
  5. Les principes fondamentaux de la géométrie par David Hilbert  sur le site Numdam :
    http://archive.numdam.org/article/ASENS_1900_3_17__103_0.pdf
  6. La théorie des invariants au 19è siècle par Jean Dieudonné (séminaire Bourbaki (1970-71) sur le site Numdam :
    http://archive.numdam.org/article/SB_1970-1971__13__257_0.pdf
  7. Intégration & Analyse hilbertienne, A. Guichardet , Éd. Ellipses X École polytechnique, Paris, 1989
  8. Analyse fonctionnelle, espaces de Hilbert, dualité, théorie spectrale par Claude Portenier, univ. Marburg :
    http://www.mathematik.uni-marburg.de/~portenier/Analyse-fonctionnelle/af-tot.pdf
  9. La géométrie de Hilbert, étude de Fabien Besnard :
    http://perso.wanadoo.fr/fabien.besnard/vulg/tout/les axiomes de hilbert.html
  10. a) Espaces de Hilbert et séries de Fourier, cours de Charles Suquet (Univ. de Lille) :
    http://math.univ-lille1.fr/~suquet/ens/IFP/Cours/cours04/Chap7ifp04.pdf
    b) Cours d'analyse, Ch. XI, par Jacques Harthong, ENS de Physique de Strasbourg :
    https://cel.archives-ouvertes.fr/cel-00519301v1/document
  11. Théorie des équations intégrales linéaires (en allemand), sur le site Internet Archive :
    https://archive.org/stream/grundzugeallg00hilbrich#page/n7/mode/2up
  12. a) Theory of algebraic invariants, par David Hilbert (1897), édition en anglais (2008) :
    http://www.amazon.de/Algebraic-Invariants-Cambridge-Mathematical-Library/dp/0521449030
    b) La théorie des invariants au 19è siècle, par Jean Dieudonné, numérisée sur Numdam :
    http://www.numdam.org/article/SB_1970-1971__13__257_0.pdf
  13. Théorie des invariants (en français), on pourra consulter Hilbert et la notion d'existence en mathématiques sur Google Livres :
    http://books.google.fr/books?id=yBJ_5EvM0q8C&pg (aller à la page 53, lecture limitée).
  14. Compte rendu du deuxième congrès international des mathématiciens tenu à Paris du 6 au 12 aout 1900 :
    http://www.mathunion.org/ICM/ICM1900/ICM1900.ocr.pdf
  15. a) Analyse des problèmes de Hilbert sur le site de D. E. Joyce : http://aleph0.clarku.edu/~djoyce/hilbert/toc.html
    b) Sur les problèmes futurs des mathématiques, par David Hilbert, Éd. Jacques Gabay, Paris - 1990/2004
    c) Version pdf numérisée de l'item précédent : http://denise.vella.chemla.free.fr/Hilbert-1900-Problemes-futurs.pdf
  16. Le Zahlbericht (en anglais), édition limitée sur Google Livres:
    http://books.google.fr/books?id=_Q2h83Bm94cC&printsec=frontcover&hl=fr#v=onepage&q&f=false
  17. Éléments de mathématiques, Livre V - Nicolas Bourbaki, Espace vectoriels topologiques, Livre V, Ch. 5: Espace hilbertiens
  18. Introduction à la géométrie algébrique, (variétés algébriques, topologie de Zariski) par Rafael Guglielmetti, École polytech. Lausanne : http://rgug.ch/medias/math/geometrie_algebrique.pdf
  19. Introduction à la géométrie algébrique par Olivier Debarre (univ. Paris) : http://www.math.ens.fr/~debarre/DEA99.pdf

d'Ocagne   Painlevé
© Serge Mehl - www.chronomath.com