Десятая проблема Гильберта

Деся́тая пробле́ма Ги́льберта — одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Она состоит в нахождении универсального метода определения разрешимости произвольного алгебраического диофантова уравнения. Доказательство алгоритмической неразрешимости этой задачи заняло около двадцати лет и было завершено Юрием Матиясевичем в 1970 году[1][2].

Постановка задачи

В докладе Гильберта постановка десятой задачи самая короткая из всех:

Пусть задано диофантово уравнение с произвольными неизвестными и целыми рациональными числовыми коэффициентами. Указать способ, при помощи которого возможно после конечного числа операций установить, разрешимо ли это уравнение в целых рациональных числах[3].

Формально речь идёт о целочисленном[5] решении уравнений вида

где  — многочлен с целыми коэффициентами и целыми показателями степеней[6]. Степень уравнения равна степени многочлена .

Из всех 23 задач она единственная является проблемой разрешимости[7]. По-видимому, Гильберт считал, что искомый метод существует и рано или поздно будет найден[8]. Вопроса о том, что такого метода может в принципе не быть, во времена Гильберта не стояло[9][10].

Предпосылки

Целочисленное решение алгебраических уравнений интересовало математиков ещё с античных времён. Например, много внимания уделялось уравнению : если его решением был набор из натуральных чисел , то по теореме, обратной к теореме Пифагора, из отрезков длиной можно было получить прямоугольный треугольник[11]. Евклид привёл формулы для нахождения всех целочисленных решений этого уравнения[12]. Некоторые виды уравнений второй степени и их системы рассмотрел Диофант Александрийский[13], его работы позднее использовали Леонард Эйлер, Пьер Ферма, Жозеф Луи Лагранж, Карл Фридрих Гаусс и другие математики, занимавшиеся теорией чисел. В частности, Ферма выдвинул свою знаменитую гипотезу. К 1768 году Лагранж полностью исследовал вопрос о целочисленных решениях любого уравнения второй степени с двумя неизвестными[14].

В течение XIX века многие математики, решая Великую теорему Ферма, предпринимали попытки исследования диофантовых уравнений степени выше второй. Тем не менее проблема решения таких уравнений оставалась открытой: какого-либо общего метода получено не было, находились лишь специальные приёмы для уравнений определённых типов. Скорее всего, Гильберт подозревал, что дальнейшее исследование этой области привело бы к созданию подробных и глубоких теорий, не ограниченных диофантовыми уравнениями, и это побудило его внести задачу в список для своего доклада[9].

История решения

Поиски алгоритма

До 1940-х годов исследования по десятой проблеме велись в направлении поиска требуемого алгоритма хотя бы для некоторых классов диофантовых уравнений. Через несколько лет после доклада Гильберта, в 1908 году, Аксель Туэ показал, что уравнение Туэ для двух неизвестных не может иметь бесконечно много целочисленных решений[15]. В 1938 году Туральф Скулем опубликовал метод исследования диофантовых уравнений вида где  — неполная разложимая форма (неприводимый многочлен, разлагающийся в расширении поля рациональных чисел на произведение линейных множителей, ), удовлетворяющая некоторым условиям[16]. Несмотря на результат Туэ, даже уравнения с двумя неизвестными не поддавались никаким усилиям математиков (алгоритм для решения уравнений с одним неизвестным следует из теоремы Безу).

В середине 1930-х годов формализуется понятие алгоритма, а также появляются первые примеры алгоритмически неразрешимых множеств в математической логике. Важным моментом стало доказательство Андреем Марковым и Эмилем Постом (независимо друг от друга) неразрешимости задачи Туэ в 1947 году[17][18]. Это было первое доказательство неразрешимости алгебраической задачи. Оно, а также трудности, с которыми столкнулись исследователи диофантовых уравнений, вызвали предположение, что требуемого Гильбертом алгоритма не существует. Чуть ранее, в 1944 году, Эмиль Пост в одной из своих работ уже писал, что десятая проблема «молит о доказательстве неразрешимости» (англ. «begs for an unsolvability proof»)[19].

Гипотеза Дэвиса

Слова Поста вдохновили студента Мартина Дэвиса на поиск доказательства неразрешимости десятой проблемы. Дэвис перешёл от её формулировки в целых числах к более естественной для теории алгоритмов формулировке в натуральных числах[20]. Это две разные задачи, однако каждая из них сводится к другой. В 1953 году он опубликовал работу, в которой наметил путь решения десятой проблемы в натуральных числах[21].

Дэвис, наряду с классическими диофантовыми уравнениями рассмотрел их параметрическую версию:

где многочлен с целыми коэффициентами можно разделить на две части — параметры и переменные При одном наборе значений параметров уравнение может иметь решение, при другом решений может не существовать. Дэвис выделил множество , которое содержит все наборы значений параметров (-ки), при которых уравнение имеет решение:

Такую запись он назвал диофантовым представлением множества, а само множество также назвал диофантовым. Для доказательства неразрешимости десятой проблемы нужно было лишь показать диофантовость любого перечислимого множества, то есть показать возможность построения уравнения, которое имело бы натуральные корни только при всех , принадлежащих этому перечислимому множеству: поскольку среди перечислимых множеств содержатся неразрешимые, то, взяв неразрешимое множество за основу, невозможно было бы получить общий метод, который бы по -ке определял, имеет ли на этом наборе уравнение натуральные корни. Всё это привело Дэвиса к следующей гипотезе:

Понятия диофантового и перечислимого множества совпадают. Это значит, что множество диофантово тогда и только тогда, когда оно перечислимо.

Дэвис также сделал первый шаг — доказал, что любое перечислимое множество можно представить в виде:

Это представление получило название «нормальная форма Дэвиса». Доказать свою гипотезу, избавившись от квантора всеобщности, ему на тот момент не удалось.

Гипотеза Робинсон

Независимо от Дэвиса над десятой проблемой в те же года начала работать Джулия Робинсон. Первоначально она пыталась доказать гипотезу Альфреда Тарского о том, что множество всех степеней двойки не диофантово, но успеха не достигла[22]. После этого Робинсон перешла к исследованию вопроса о том, является ли диофантовым множество, состоящее из троек . Найти диофантово представление для операции возведения в степень ей не удалось, но тем не менее в своей работе[23] она показала достаточное условие для его существования:

причём:

  • если , то
  • для любого существуют и такие, что и

Связь между и Робинсон назвала «зависимостью экспоненциального роста», однако позднее эту зависимость стали называть в её честь — «зависимость Робинсон», «предикаты Робинсон» или просто «J. R.».

Объединение усилий

В 1958 году Мартин Дэвис и Хилари Патнем публикуют работу[24], в которой они, опираясь на результат Робинсон, рассмотрели класс экспоненциально-диофантовых уравнений, имеющих вид:

где и  — экспоненциальные многочлены, то есть выражения, полученные из переменных и рациональных чисел с применением операций сложения, умножения и возведения в степень, а также показали диофантово представление для таких уравнений. Однако доказательство Дэвиса и Патнема содержало пробел — они использовали гипотезу о существовании произвольно длинных арифметических прогрессий, состоящих только из простых чисел (теорема Грина — Тао), которая была доказана только в 2004 году.

В 1961 году этот пробел смогла восполнить Джулия Робинсон. В их совместной работе[25] было получено экспоненциально-диофантово представление для любого перечислимого множества:

Одним из следствий работы стала возможность сведения любого показательно-диофантова уравнения к экспоненциально-диофантову уравнению с фиксированным числом переменных (как минимум, с тремя[26]).

Чтобы перенести результат Дэвиса, Патнема и Робинсон на «обычные» диофантовы уравнения, нужно было доказать, что множество, состоящее из троек , является диофантовым. Тогда стало бы возможным ценой введения дополнительных неизвестных перевести экспоненциально-диофантово представление в диофантово представление:

Другими словами, для полного доказательства гипотезы Дэвиса необходимо было лишь доказать один её частный случай, а ещё точнее — доказать гипотезу Робинсон (найти многочлен , удовлетворяющий всем условиям).

Несмотря на глубокое изучение двухпараметрических диофантовых уравнений со времён самого Диофанта, на тот момент не было известно уравнения, выражающего зависимость экспоненциального роста. Попытки его искусственно сконструировать также потерпели неудачу.


Влияние

  • В 2008 году состоялась премьера часового документального фильма режиссёра Джорджа Чичери (англ. George Csicsery) «Julia Robinson and Hilbert’s Tenth Problem». Фильм посвящён Джулии Робинсон и её вкладу в решение десятой проблемы[27]. Фильм получил отзывы и обзоры от американских математических журналов и сообществ[28][29].

Примечания

  1. Ю. В. Матиясевич. Диофантовость перечислимых множеств // Доклады Академии наук СССР. — 1970. Т. 191, № 2. С. 279—282.
  2. Ю. В. Матиясевич. Десятая проблема Гильберта. М.: Наука: Физико-математическая литература, 1993. — 223 с. — (Математическая логика и основания математики; выпуск № 26). — ISBN 502014326X. (недоступная ссылка)
  3. Перевод доклада Гильберта с немецкого — М. Г. Шестопал и А. В. Дорофеева, опубликован в книге Проблемы Гильберта / под ред. П. С. Александрова. М.: Наука, 1969. — С. 39. — 240 с. 10 700 экз. Архивированная копия (недоступная ссылка). Дата обращения: 13 ноября 2009. Архивировано 17 октября 2011 года.
  4. David Hilbert. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900 (нем.). — Текст доклада, прочитанного Гильбертом 8 августа 1900 года на II Международном конгрессе математиков в Париже. Дата обращения: 27 августа 2009. Архивировано 8 апреля 2012 года.
  5. «Рациональное целое» является синонимом «целое», см. Weisstein, Eric W. Rational Integer (англ.) на сайте Wolfram MathWorld.
  6. В. И. Игошин. § 36. Неразрешимые алгоритмические проблемы // Математическая логика и теория алгоритмов. М.: Академия, 2004. — С. 375. — 448 с. 5100 экз. — ISBN 5-7695-1363-2.
  7. Yuri Matiyasevich. Hilbert’s Tenth Problem: What can we do with Diophantine equations (англ.). Дата обращения: 27 августа 2009. Архивировано 10 апреля 2012 года.
  8. Об этом свидетельствует также сама формулировка задачи в позитивном ключе: «man soll ein Verfahren angeben» («указать порядок действий», а не, например, «указать, существует ли порядок действий»).
  9. Ю. И. Хмелевский. К десятой проблеме Гильберта // Проблемы Гильберта / под ред. П. С. Александрова. М.: Наука, 1969. — С. 141—153. — 240 с. 10 700 экз. Архивированная копия (недоступная ссылка). Дата обращения: 13 ноября 2009. Архивировано 17 октября 2011 года.
  10. Ф. П. Варпаховский, А. Н. Колмогоров. О решении десятой проблемы Гильберта // Квант. — 1970. № 7. С. 38—44.
  11. А. А. Болибрух. Десятая проблема Гильберта: диофантовы уравнения // Проблемы Гильберта (100 лет спустя). М.: МЦНМО, 1999. — 24 с. — (Библиотека «Математическое просвещение», выпуск № 2). 3000 экз.
  12. Саймон Сингх. Приложение 5. Доказательство Евклида существования бесконечного числа пифагоровых троек // Великая теорема Ферма = Fermat’s last theorem / пер. с англ. Ю. А. Данилова. МЦНМО, 2000.
  13. Диофант Александрийский. Арифметика и книга о многоугольных числах / пер. с др.-греч. Ю. Н. Веселовского. М.: Наука, 1974. — 328 с. 17 500 экз. Архивированная копия (недоступная ссылка). Дата обращения: 13 ноября 2009. Архивировано 25 декабря 2009 года.
  14. Leonard Eugene Dickson. History of the Theory of Numbers. — 1920. — Т. II: Diophantine Analysis. (англ.)
  15. A. Thue. Bemerkungen über gewisse Annäherungsbrüche algebraischer Zahlen // Videnskabs-selskabets Skrifter I Math.-Naturv. Klasse. — 1908. № 3. С. 1—34.
  16. Thoralf Skolem. Diophantische Gleichungen. — Berlin: Springer, 1938. — 128 p.
  17. Статья Маркова — А. А. Марков. Невозможность некоторых алгорифмов в теории ассоциативных систем // Доклады Академии наук СССР. М., 1947. Т. 55, вып. 7. С. 587—590., см. также монографию А. А. Марков. Теория алгорифмов // Труды Математического института АН СССР им. В. А. Стеклова. М.Л.: изд-во АН СССР, 1954. Т. 42. С. 3—375.
  18. Результат Поста был опубликован в статье E. L. Post. Recursive Unsolvability of a Problem of Thue (англ.) // The Journal of Symbolic Logic. — 1947. Vol. 12, no. 1. P. 1—11.
  19. Emil Leon Post. Recursively enumerable sets of positive integers and their decision problems (англ.) // Bulletin of the American Mathematical Society. — 1944. Vol. 50, iss. 5. P. 284—316.
  20. В американской математической традиции 0 является натуральным числом.
  21. Martin Davis. Arithmetical Problems and Recursively Enumerable Predicates (англ.) // The Journal of Symbolic Logic. — 1953. Vol. 18, no. 1. P. 33—41.
  22. Yu. V. Matiyasevich. Hilbert’s Tenth Problem: Diophantine Equations in Twentieth Century // Mathematical Events of the Twentieth Century = Математические события XX века / ed. A. A. Bolibruch, Yu. S. Osipov, Ya. G. Sinai. — Berlin: Springer, 2006. — С. 185—214. — 545 с. — ISBN 3-540-23235-4. (англ.)
  23. Julia Robinson. Existential definability in arithmetic (англ.) // Transactions of the American Mathematical Society. — 1952. Vol. 72, no. 3. P. 437—449.
  24. Martin Davis, Hilary Putnam. Reductions of Hilbert’s tenth problem (англ.) // The Journal of Symbolic Logic. — 1958. Vol. 23, no. 2. P. 183—187.
  25. Martin Davis, Hilary Putnam, Julia Robinson. The decision problem for exponential Diophantine equations (англ.) // Annals of Mathematics. — 1961. Vol. 74, no. 3. P. 425—436.
  26. Ю. В. Матиясевич. Алгорифмическая неразрешимость экспоненциально-диофантовых уравнений с тремя неизвестными // Исследования по теории алгорифмов и математической логике / ред. А. А. Марков и В. И. Хомич. М.: Наука, 1979. Вып. 3. С. 69—78.
  27. «Julia Robinson and Hilbert’s Tenth Problem» (англ.). — ZALA Films. Дата обращения: 27 августа 2009. Архивировано 10 апреля 2012 года.
  28. Carol Wood. Film Review: Julia Robinson and Hilbert’s Tenth Problem (англ.) // Notices of the American Mathematical Society. — 2008. Vol. 55, no. 5. P. 573—575. ISSN 00029920.
  29. Margaret A. M. Murray. A Film of One’s Own (англ.) // College Mathematics Journal. — Washington, DC: Mathematical Association of America, 2009. Vol. 40, no. 4. P. 306—310. ISSN 07468342.

Литература

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.