A șaisprezecea problemă a lui Hilbert este una dintre cele 23 de probleme pe care David Hilbert le-a propus la 8 august 1900 la al II-lea Congres Internațional al Matematicienilor .
Inițial, problema a fost numită „Problema topologiei curbelor și suprafețelor algebrice” ( germană: Problem der Topologie algebraischer Kurven und Flächen ).
Acum este considerat a fi divizibil în două probleme similare în diferite domenii ale matematicii:
Numărul maxim de ramuri închise și situate separat pe care le poate avea o curbă algebrică de ordin n a fost determinat de Harnack {Math. Ann. 10 (1876), 189-192}. <...> Mi se pare interesant să studiez în detaliu aranjarea reciprocă a numărului maxim de ramuri individuale, precum și studiul corespunzător asupra numărului, naturii și aranjamentului cavităților individuale ale unei suprafețe algebrice în spațiu ; la urma urmei, încă nu s-a stabilit care este de fapt numărul maxim de cavități ale suprafeței de gradul al patrulea în spațiul tridimensional. [1] .
Text original (germană)[ arataascunde] 16. Problem der Topologie algebraischer Curven und Flachen. Die Maximalzahl der geschlossenen und getrennt liegenden Züge, welche eine ebene algebraische Curve n -ter Ordnung haben kann, ist von Harnack {Mathematische Annalen, Bd. 10} bestimmt worden; es entsteht die weitere Frage nach der gegenseitigen Lage der Curvenzüge in der Ebene. Was die Curven 6ter Ordnung angeht, so habe ich mich - freilich auf einem recht umständlichen Wege - davon überzeugt, daß die 11 Züge, die sie nach Harnack haben kann, keinesfalls sämtlich auf einem recht umständlichen Wege - davon überzeugt, daß die 11 Züge, die sie nach Harnack haben kann, keinesfalls sämtlich auf einem recht umständlichen Wege und in dessen Aeußerem neun Züge verlaufen oder umgekehrt. Eine gründliche Untersuchung der gegenseitigen Lage bei der Maximalzahl von getrennten Zügen scheint mir ebenso sehr von Interesse zu sein, wie die entsprechende Untersuchung über die Anzahl, Gestalt und Lage der Mäntel einer algebraischen Fläch - no Mäntelänchät entsprechende eine Fläche 4ter Ordnung des dreidimensionalen Raumes im Maximum wirklich besitzt. {Vgl. Rohn, Flächen vierter Ordnung, Preisschriften der Fürstlich Jablonowskischen Gesellschaft, Leipzig 1886} [2] .
În legătură cu această întrebare pur algebrică, voi atinge o alta, care, mi se pare, ar trebui rezolvată prin metoda menționată a modificării continue a coeficienților<...>, și anume întrebarea numărului maxim și localizarea ciclurilor limită Poincaré pentru ecuația diferențială a primului grad de vedere
unde X , Y sunt funcții raționale întregi de gradul al n -lea în raport cu x , y , sau, în notație omogenă,
unde X , Y , Z sunt funcții omogene raționale întregi de gradul al n - lea în raport cu x , y , z , care trebuie definite ca funcții ale parametrului t . [unu]
Text original (germană)[ arataascunde] Im Anschluß an dieses rein algebraische Problem möchte ich eine Frage aufwerfen die sich, wie mir scheint, mittelst der nämlichen Methode der continuirlichen Coefficientenänderung in Angriff nehmen läßt, und deren Beantwortung für Maximum de la limite de la topologie de topologies de maximă durabilitate a ciclului ) für eine Differentialgleichung erster Ordnung und ersten Grade von der Form:wo X , Y ganze rationale Funktionen nten Grade in x , y sind, oder in homogener Schreibweise
wo X , Y , Z ganze rationale homogene Functionen nten Grades von x , y , z bedeuten und diese als Funktionen des Parameters t zu bestimmen sind. [2]Până la momentul raportului lui Hilbert, Newton și Descartes obțineau [3] descrieri topologice ale curbelor de gradul 3 și 4, iar teorema demonstrată de Harnack făcea posibilă estimarea numărului de componente conexe ale unei curbe: nu putea depăși , unde este genul lui .
Gilbert a spus în raportul său:
În ceea ce privește curbele de ordinul al șaselea, eu - totuși, pe un drum destul de dificil - m-am asigurat ca acele 11 ramuri care se obțin după Harnack să nu fie niciodată situate toate una în afara celeilalte; există întotdeauna o ramură, în interiorul căreia există o alta, iar în afara căreia sunt restul de nouă, sau invers.
Totuși, așa cum a fost descoperit [4] în anii 1970 de D.A. Gudkov, cazul este posibil și atunci când există 5 ovale în interiorul și în afara unei curbe, caz pe care Hilbert l-a considerat imposibil. Analizând construcțiile sale, Gudkov a formulat o presupunere care a afirmat pentru M-polinoame de grad par comparabilitatea modulo 8 a caracteristicii Euler a unei regiuni construite conform exemplului cu un număr dat (și anume, cu pentru polinoame de gradul 2 k ); în special, a explicat că în cele trei variante de grad 6 care sunt realizate, numărul de curbe din interior, 1, 5 și 9, trece prin 4.
Această ipoteză a fost dovedită chiar de Gudkov. În cazul general, a fost dovedit de V. I. Arnold [5] într-o formă slăbită de congruență modulo 4, iar apoi de V. A. Rokhlin [6] [7] în generalitate deplină, când se consideră varietăți cu patru dimensiuni special construite [4] .
Construcția diferitelor exemple l-a determinat și pe O. Ya . Viro să creeze tehnica de patchworking , care face posibilă „lipirea curbelor algebrice din piese cu un anumit comportament”.
În 1972, Vyacheslav Kharlamov a dat soluția primei părți, referitoare la numărul de componente și topologii ale suprafețelor algebrice de ordinul al patrulea în trei dimensiuni, iar în 1976 a finalizat un studiu asupra problemei Hilbert.
Primul pas către studiul celei de-a șaisprezecelea probleme a lui Hilbert în generalitate deplină a fost să fie teorema individuală de finitate : un câmp vectorial polinomial în plan are doar un număr finit de cicluri limită . Această teoremă a fost publicată în 1923 de matematicianul francez Henri Dulac [8] și a fost considerată dovedită multă vreme.
În anii 1980, Yu. S. Ilyashenko a descoperit o lacună semnificativă în demonstrația lui Dulac [9] [10] , iar problema finiității individuale a rămas deschisă până în 1991-92, când Ilyashenko [11] și Ekal [12] simultan și independent, folosind diferite abordări, i-a dat un răspuns pozitiv (prezentarea unei dovezi complete a cerut fiecăruia dintre ei să scrie o carte separată), vezi și schema noii dovezi [13] .
Probleme Hilbert | |
---|---|