Hilbert tizenhatodik problémája egyike annak a 23 feladatnak, amelyet David Hilbert javasolt 1900. augusztus 8-án a II. Nemzetközi Matematikus Kongresszuson .
Kezdetben a problémát "Az algebrai görbék és felületek topológiájának problémája" ( németül: Problem der Topologie algebraischer Kurven und Flächen ) néven.
Ma már két hasonló problémára osztható a matematika különböző területein:
Az n rendű algebrai görbe zárt és különálló ágainak maximális számát Harnack {Math. Ann. 10 (1876), 189-192}. <...> Érdekesnek tartom az egyes ágak maximális számának kölcsönös elrendeződésének alapos tanulmányozását, valamint az ennek megfelelő vizsgálatot egy algebrai felület egyes üregeinek számáról, természetéről és térbeli elrendezéséről ; elvégre még nem állapították meg, hogy valójában mekkora a negyedfokú felület üregeinek maximális száma háromdimenziós térben. [1] .
Eredeti szöveg (német)[ showelrejt] 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 entteht 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 eiem Zürn kann, keinesfalls sämtlich verdafenu von ein dessenge, 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 biedie einer, chei no algebraischen F. 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, Lipcse 1886} [2] .
Ezzel a tisztán algebrai kérdéssel kapcsolatban kitérek egy másikra is, amelyet szerintem az együtthatók folyamatos változtatásának említett módszerével kell megoldani<...>, mégpedig a maximális szám és a Poincaré határciklusok elhelyezkedése az első látófok differenciálegyenletéhez
ahol X , Y teljes n- edik fokú racionális függvények x , y vonatkozásában , vagy homogén jelöléssel,
ahol X , Y , Z n- edik fokú racionális homogén függvények x , y , z függvényében, amelyeket a t paraméter függvényeiként kell definiálni . [egy]
Eredeti szöveg (német)[ showelrejt] 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 der cyclzcarn der Maxime cycarn und deren Beantwortung der durchencycar ) für eine Differentialgleichung erster Ordnung und ersten Grades von der Form:wo X , Y ganze rationale Funktionen nten Grades 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]Hilbert jelentésének idejére Newton és Descartes megszerezték [3] a 3. és 4. fokú görbék topológiai leírását, és a Harnack által bizonyított tétel lehetővé tette a görbe összefüggő komponenseinek számának becslését : nem haladhatja meg a , hol van a nemzetsége .
Gilbert a következőket mondta jelentésében:
Ami a hatodik rendű görbéket illeti, én - azonban meglehetősen nehéz úton haladva - ügyeltem arra, hogy az a 11 ág, amelyet Harnack szerint kapunk, soha ne helyezkedjen el egymáson kívül; mindig van egy ág, amelyen belül van még egy, és azon kívül van a maradék kilenc, vagy fordítva.
Azonban amint azt az 1970-es években D. A. Gudkov felfedezte [4] , az az eset is lehetséges, ha egy görbén belül és kívül 5 ovális van, ezt az esetet Hilbert lehetetlennek tartotta. Konstrukcióit elemezve Gudkov olyan sejtést fogalmazott meg, amely a páros fokú M-polinomokra az Euler-karakterisztika összehasonlíthatósági modulo 8-át állította egy adott számmal (tehát a 2 k fokú polinomokra ) a példa szerint szerkesztett régióra; konkrétan kifejtette, hogy a megvalósult három 6-os fokozatú változatban a belső görbék száma, 1, 5 és 9, 4-en halad át.
Ezt a hipotézist maga Gudkov igazolta. Általános esetben V. I. Arnold [5] a modulo 4 kongruencia gyengített alakjában, majd V. A. Rokhlin [6] [7] teljes általánosságban igazolta, ha speciálisan megépített négydimenziós sokaságokat vizsgálunk [4] .
Különböző példák felépítése késztette O. Ya . Viro-t a patchworking technika megalkotására is , amely lehetővé teszi „algebrai görbék összeragasztását adott viselkedésű darabokból”.
1972-ben Vjacseszlav Kharlamov megadta az első rész megoldását, amely a negyedrendű algebrai felületek komponenseinek számáról és topológiáiról szól három dimenzióban, majd 1976-ban elkészült a Hilbert-probléma tanulmányozása.
Hilbert tizenhatodik problémájának teljes általánosságban történő tanulmányozása felé az első lépés az egyéni végességi tétel volt : a síkban lévő polinomiális vektormezőnek csak véges számú határciklusa van . Ezt a tételt 1923-ban publikálta Henri Dulac francia matematikus [8] , és sokáig bizonyítottnak tekintették.
Az 1980-as években Yu. S. Ilyashenko jelentős hiányosságot fedezett fel Dulac bizonyításában [9] [10] , és az egyéni végesség kérdése egészen 1991-92-ig nyitva maradt, amikor Iljasenko [11] és Ekal [12] egyszerre és egymástól függetlenül, különböző megközelítéseket alkalmazva pozitív választ adott rá (a teljes bizonyítás bemutatásához mindegyiküknek külön könyvet kellett írnia), lásd még az új bizonyítás sémáját [13] .
Hilbert problémák | |
---|---|