CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
SITEMAP
Audiobooks by Valerio Di Stefano: Single Download - Complete Download [TAR] [WIM] [ZIP] [RAR] - Alphabetical Download  [TAR] [WIM] [ZIP] [RAR] - Download Instructions

Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
Problèmes de Hilbert - Wikipédia

Problèmes de Hilbert

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff ?).

Lors du deuxième congrès international de mathématiques, tenu à Paris en 1900, David Hilbert présenta une liste de 23 problèmes qui tenaient jusqu'alors les mathématiciens en échec. Ces problèmes devaient, selon Hilbert, marquer le cours des mathématiques du XXe siècle, et l'on peut dire aujourd'hui que cela a été grandement le cas. L'équivalent pour le XXIe siècle a été défini sous le programme des problèmes du prix du millénaire.

Les sections suivantes présentent brièvement chaque problème. Un article y est consacré.

Sommaire

[modifier] Premier problème

Voir l’article Hypothèse du continu.

Prouver l'hypothèse du continu de Cantor.

Paul Cohen, en se basant sur les travaux de Gödel, montra en 1963 que cette conjecture était indécidable.

Hilbert rattache ce problème à la question suivante : prouver que l'ensemble des nombres réels peut être bien ordonné. Ernst Zermelo prouva que l'existence de ce bon ordre est équivalent à l'axiome du choix de Zermelo. Ainsi, le prouver revient à accepter cet axiome, ce que nombre de mathématiciens refusèrent. Alors que Hilbert pensait que ces deux problèmes étaient liés, Cohen prouva qu'ils étaient indépendants en montrant que l'hypothèse du continu de Cantor était indécidable.

[modifier] Deuxième problème

Article détaillé : Deuxième problème de Hilbert.

Démontrer la consistance des axiomes de l'arithmétique.

Gödel montra en 1931, via son théorème d'incomplétude, que cela ne pouvait être démontré sans sortir de l'arithmétique. Gerhard Gentzen, cependant, donna une réponse affirmative au moyen d'une récurrence transfinie.

[modifier] Troisième problème

Article détaillé : Troisième problème de Hilbert.

Peut-on appliquer la méthode de décomposition en polyèdres congruents utilisée par Euclide pour le calcul de n'importe quel volume ?

Max Dehn, élève de Hilbert, montra que non, en 1902, en démontrant qu'il était impossible de diviser un cube et un tétraèdre régulier de même volume en un nombre fini de polyèdres deux à deux identiques. Malgré tout, le paradoxe de Banach-Tarski constitue un résultat positif pour cette question.

[modifier] Quatrième problème

Article détaillé : Quatrième problème de Hilbert.

Définir toutes les géométries dont la plus courte distance entre deux points est un segment de droite.

La géométrie différentielle a permis de répondre en partie à ce problème, bien que l'on ne puisse pas à proprement parler de réponse ferme.

[modifier] Cinquième problème

Article détaillé : Cinquième problème de Hilbert.

Démontrer que les groupes de Lie sont nécessairement différentiables.

Le théorème de Gleason-Montgomery-Zippin en 1953 y répondit par l'affirmative.

[modifier] Sixième problème

Article détaillé : Sixième problème de Hilbert.

L'axiomatisation, basée sur le modèle mathématique, de la physique.

Du fait de l'apparition de la théorie de la relativité et de la mécanique quantique, le problème fut vite obsolète. Malgré tout, on peut noter que la physique théorique et les mathématiques ne cessent de se rapprocher. En axiomatisant la Théorie des probabilités, Kolmogorov a résolu en partie ce problème.

[modifier] Septième problème

Article détaillé : Septième problème de Hilbert.

Démontrer la transcendance des nombres ab, avec a algébrique et b irrationnel (par exemple 2^{\sqrt{2}}).

Les travaux de Gelfond, complétés par Schneider et Baker, ont permis de résoudre en partie ce problème (voir Théorème de Gelfond-Schneider).

[modifier] Huitième problème

Article détaillé : Huitième problème de Hilbert.

Démontrer l'hypothèse de Riemann.

Malgré les progrès faits notamment par Deligne qui démontra les conjectures de Weil, et reçut pour cela la médaille Fields en 1978, on est encore loin d'avoir résolu ce problème, qui s'annonce comme celui du XXIe siècle.

[modifier] Neuvième problème

Article détaillé : Neuvième problème de Hilbert.

Établir une loi de réciprocité dans les corps de nombres algébriques.

Une réponse à ce problème est apportée par la loi de réciprocité d'Artin, démontrée par celui-ci en 1927.Ce théorème enrichit la connaissance de la théorie des corps de classes, dont le développement fut facilité par l'introduction des idèles par Chevalley en 1936.

[modifier] Dixième problème

Article détaillé : Dixième problème de Hilbert.

Trouver un algorithme déterminant si une équation diophantienne a des solutions.

Il fallut attendre les travaux de Church et Turing en 1930 pour définir rigoureusement la notion d'algorithme. En 1970, Yuri Matijasevic, établissant une équivalence entre les ensembles récursivement énumérables et les ensembles diophantiens, a établi qu'un tel algorithme ne pouvait pas exister.

[modifier] Onzième problème

Article détaillé : Onzième problème de Hilbert.

Classifier les formes quadratiques à coefficients dans les anneaux d'entiers algébriques.

Le théorème de Hasse-Minkowski résout le problème sur \mathbb Q, et Siegel le résolut sur d'autres anneaux intègres.

[modifier] Douzième problème

Article détaillé : Douzième problème de Hilbert.

Prolonger le théorème de Kronecker sur les corps non-abéliens.

[modifier] Treizième problème

Article détaillé : Treizième problème de Hilbert.

Montrer l'impossibilité de résoudre les équations du septième degré au moyen de fonctions de seulement deux variables.

Plus généralement, il s'agit d'étudier les fonctions continues (et, en fait, les fonctions continues de trois variables) qui ne peuvent pas s'exprimer par composition à partir de fonctions continues de deux variables. En 1954, Kolmogorov et son élève Vladimir Arnold ont montré que cette classe était vide : il existe n(2n + 1) fonctions continues universelles Φij (de [0;1] dans [0;1]) telles que pour toute fonction continue f:[0;1]^n \to [0;1], il existe 2n + 1 fonctions continues g_j :[0;1] \to [0;1] telles que f(x_1 , \dots, x_n) = \sum_{j=1}^{2n+1} g_j \left( \sum_{i=1}^n \Phi_{ij} (x_i)\right). En revanche, la question de la résolubilité de l'équation du septième degré par des fonctions analytiques de deux variables est encore ouverte.

[modifier] Quatorzième problème

Article détaillé : Quatorzième problème de Hilbert.

Prouver le caractère fini de certains systèmes complets des fonctions.

Le problème est le suivant : on considère un corps k et un sous-corps K de E = k(X_1, \dots, X_n) ; on pose R = k[X_1 , \dots, X_n ] ; l'anneau K \cup R est-il une k-algèbre de type fini ? La réponse est négative, comme l'a montré Zariski (qui donna l'interprétation géométrique suivante : il existe une variété projective X de corps des fonctions K et un diviseur effectif D sur X tel que K \cup R soit l'ensemble des fonctions de K n'ayant de pôles que sur R). Cependant, la recherche de conditions suffisantes pour la validité du résultat d'Hilbert a été source d'idées très fécondes en géométrie.

Nagata donna en 1959 un contre-exemple qui montra la fausseté de la conjecture.

[modifier] Quinzième problème

Article détaillé : Quinzième problème de Hilbert.

Mettre en place les bases du calcul énumératif de Hermann Schubert.

Il s'agit là de rendre rigoureux certains calculs sur les objets « en position générale » en théorie de l'intersection, et en particulier le « principe de conservation des nombres ». Ce problème a donné naissance aux théories de la multiplicité de Samuel et Grothendieck.

Résolu par Van der Waerden en 1930.

[modifier] Seizième problème

Article détaillé : Seizième problème de Hilbert.

Développer une topologie des courbes et des surfaces algébriques.

Ce problème comporte deux parties. La première concerne le nombre de branches réelles d'une courbe algébrique, et leur disposition ; de nombreux résultats modernes (Petrovskii, Thom, Arnold) apportent des informations à leur sujet. La seconde partie du problème pose la question de l'existence d'un nombre maximal de cycles limite pour une équation différentielle linéaire définie par des polynômes homogènes de degré donné ; cette question est encore ouverte.

[modifier] Dix-septième problème

Article détaillé : Dix-septième problème de Hilbert.

Montrer qu'une fonction rationnelle positive peut s'écrire sous la forme de somme de carrés de fonctions rationnelles.

Résolu par Artin en 1927. Une démonstration purement logique a été trouvée par Robinson.

[modifier] Dix-huitième problème

Article détaillé : Dix-huitième problème de Hilbert.

Construire un espace euclidien avec des polyèdres congruents.

Le problème comporte trois parties.

  • Premièrement, montrer qu'il n'existe à isomorphisme près qu'un nombre fini de groupes discrets d'isométries de \mathbb R^n admettant un domaine fondamental compact ; cette question fut résolue par Ludwig Bieberbach en 1910.
  • Deuxièmement, la question de l'existence de polyèdres qui ne sont pas des groupes fondamentaux, mais qui peuvent cependant paver l'espace ; de tels polyèdres furent construits par Reinhardt et Heesch dans les années trente.
  • Troisièmement, ce problème comporte aussi la fameuse conjecture de Kepler sur l'empilement des sphères dans l'espace, résolue en 1998 par Thomas Hall.

[modifier] Dix-neuvième problème

Article détaillé : Dix-neuvième problème de Hilbert.

Prouver que le calcul des variations est toujours nécessairement analytique.

Résolu par Bernstein et Tibor Rado en 1929.

[modifier] Vingtième problème

Article détaillé : Vingtième problème de Hilbert.

Étudier la solution générale des problèmes de valeur limite.

[modifier] Vingt-et-unième problème

Article détaillé : Vingt-et-unième problème de Hilbert.

Prouver que toute représentation complexe de dimension finie peut s'obtenir par action de monodromie sur une équation différentielle de Fusch.

Résolu par Helmut Rörl en 1957.

[modifier] Vingt-deuxième problème

Article détaillé : Vingt-deuxième problème de Hilbert.

Uniformiser des courbes analytiques au moyen de fonctions automorphes.

Résolu par Koebe et Henri Poincaré en 1907.

[modifier] Vingt-troisième problème

Article détaillé : Vingt-troisième problème de Hilbert.

Développer une méthode générale de résolution dans le calcul des variations.

[modifier] Voir aussi


Problèmes de Hilbert
Premier problème - Deuxième problème - Troisième problème - Quatrième problème - Cinquième problème - Sixième problème - Septième problème - Huitième problème - Neuvième problème - Dixième problème - Onzième problème - Douzième problème - Treizième problème - Quatorzième problème - Quinzième problème - Seizième problème - Dix-septième problème - Dix-huitième problème - Dix-neuvième problème - Vingtième problème - Vingt-et-unième problème - Vingt-deuxième problème - Vingt-troisième problème
Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Sub-domains

CDRoms - Magnatune - Librivox - Liber Liber - Encyclopaedia Britannica - Project Gutenberg - Wikipedia 2008 - Wikipedia 2007 - Wikipedia 2006 -

Other Domains

https://www.classicistranieri.it - https://www.ebooksgratis.com - https://www.gutenbergaustralia.com - https://www.englishwikipedia.com - https://www.wikipediazim.com - https://www.wikisourcezim.com - https://www.projectgutenberg.net - https://www.projectgutenberg.es - https://www.radioascolto.com - https://www.debitoformtivo.it - https://www.wikipediaforschools.org - https://www.projectgutenbergzim.com