Проблемы Гильберта

Пробле́мы Ги́льберта в список из 23 кардинальных проблем математики, представленный Давидом Гильбертом на II Международном Конгрессе математиков в Париже в 1900 году. Тогда эти проблемы (охватывающие основания математики, алгебру, теорию чисел, геометрию, топологию, алгебраическую геометрию, группы Ли, вещественный и комплексный анализ, дифференциальные уравнения, математическую физику и теорию вероятностей, а также вариационное исчисление) не были решены. На данный момент решены 16 проблем из 23. Ещё 2 не являются корректными математическими проблемами (одна сформулирована слишком расплывчато, чтобы понять, решена она или нет, другая, далёкая от решения, в физическая, а не математическая). Из оставшихся 5 проблем две не решены никак, а три решены только для некоторых случаев.

[править] Список проблем

в„–	Статус	Краткая формулировка	Результат
1	нет консенсуса^[1]	Проблема Кантора о мощности континуума (Континуум-гипотеза)	Неразрешима в ZFC
2	нет консенсуса^[2]	Непротиворечивость аксиом арифметики.	Требует уточнения формулировки
3	решена	Равносоставленность равновеликих многогранников	Опровергнута
4	слишком расплывчатая^[3]	Перечислить метрики, в которых прямые являются геодезическими	Требует уточнения формулировки
5	решена	Все ли непрерывные группы являются группами Ли?	Да
6	слишком расплывчатая	Математическое изложение аксиом физики
7	решена	Является ли число $2^{\sqrt{2}}$ трансцендентным (или хотя бы иррациональным). ^[4]	Да
8	не решена^[5]	Проблема простых чисел (гипотеза Римана и проблема Гольдбаха)
9	частично решена^[6]	Доказательство наиболее общего закона взаимности в любом числовом поле	Доказана для абелевого случая
10	решена^[7]	Есть ли универсальный алгоритм решения диофантовых уравнений?	Нет
11	частично решена	Исследование квадратичных форм с произвольными алгебраическими числовыми коэффициентами
12	не решена	Распространение теоремы Кронекера об абелевых полях на произвольную алгебраическую область рациональности
13	решена	Можно ли решить общее уравнение седьмой степени с помощью функций, зависящих только от двух переменных?	Да
14	решена	Доказательство конечной порождённости алгебры инвариантов алгебраической группы^[8]	Опровергнута
15	частично решена	Строгое обоснование исчислительной геометрии Шуберта
16	частично решена^[9]	Топология алгебраических кривых и поверхностей^[10]
17	решена	Представимы ли определённые формы в виде суммы квадратов (см. Семнадцатая проблема Гильберта)	Да
18	решена^[11]^[12]	Конечно ли число кристаллографических групп? Существуют ли нерегулярные заполнения пространства конгруэнтными многогранниками? Являются ли гексагональная и кубическая гранецентрированная упаковки шаров наиболее плотными?	Да Да Да
19	решена	Всегда ли решения регулярной вариационной задачи Лагранжа являются аналитическими?	Да
20	решена	Все ли вариационные задачи с определёнными граничными условиями имеют решения?	Да
21	решена	Доказательство существования линейных дифференциальных уравнений с заданной группой монодромии	Требует уточнения формулировки
22	решена	Униформизация аналитических зависимостей с помощью автоморфных функций
23	не решена	Развитие методов вариационного исчисления

[править] 24-я проблема

Изначально список содержал 24 проблемы, но в процессе подготовки к докладу Гильберт отказался от одной из них. Эта проблема была связана с теорией доказательств критерия простоты и общих методов. Данная проблема была обнаружена в заметках Гильберта немецким историком науки Рюдигером Тиле в 2000 году^[13].

[править] Примечания

в‘ Результаты Гёделя и Коэна (Cohen) показывают, что ни континуум-гипотеза, ни её отрицание не противоречит системе аксиом Цермело в Френкеля (стандартной системе аксиом теории множеств). Таким образом, континуум-гипотезу в этой системе аксиом невозможно ни доказать, ни опровергнуть (при условии, что эта система аксиом непротиворечива). Ведутся споры о том, является ли результат Коэна полным решением задачи.
в‘ Курт Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики. В 1936 году Герхард Генцен доказал непротиворечивость арифметики, используя примитивно рекурсивную арифметику с дополнительной аксимой для трансфинитной индукции до ординала ε₀.
в‘ Согласно Рову (Rowe) и Грею (Gray) (см. далее), большинство проблем были решены. Некоторые из них не были достаточно точно сформулированы, однако достигнутые результаты позволяют рассматривать их как «решённые». Ров и Грей говорят о четвёртой проблеме как о такой, которая слишком нечётко поставлена, чтобы судить о том, решена она или нет.
в‘ Решена Зигелем и Гельфондом (и независимо Шнайдером) в более общем виде: если a в‰ 0, 1 в алгебраическое число, и b в алгебраическое, но иррациональное, то a^b в трансцендентное число
в‘ Проблема в„– 8 содержит две известные проблемы, обе из которых остаются нерешёнными. Первая из них, гипотеза Римана, является одной из семи Проблем тысячелетия, которые были обозначены как «Проблемы Гильберта» 21-го века.
в‘ Проблема в„– 9 была решена для абелевого случая; неабелев случай остаётся нерешённым.
в‘ Юрий Матиясевич в 1970 году доказал алгоритмическую неразрешимость вопроса о том, имеет ли произвольное диофантово уравнение хотя бы одно решение. Изначально проблема была сформулирована Гильбертом не в качестве дилеммы, а в качестве поиска алгоритма: в то время, видимо, даже не задумывались о том, что может существовать отрицательное решение подобных проблем.
в‘ Утверждение о конечной порождённости алгебры инвариантов доказано для редуктивных групп. Нагата в 1958 году построил пример унипотентной группы, у которой алгебра инвариантов не является конечно порождённой. В. Л. Попов доказал, что если алгебра инвариантов любого действия алгебраической группы G на аффинном алгебраическом многообразии конечно порождена, то группа G редуктивна.
в‘ Первая (алгебраическая) часть проблемы в„– 16 более точно формулируется так. Харнаком доказано, что максимальное число овалов равно M=(n-1)(n-2)/2+1, и что такие кривые существуют в их называют M-кривыми. Как могут быть расположены овалы M-кривой? Эта задача сделана до степени n=6 включительно, а для степени n=8 довольно много известно (хотя её ещё не добили). Кроме того, есть общие утверждения, ограничивающие то, как овалы M-кривых могут быть расположены в см. работы Гудкова, Арнольда, Роона, самого Гильберта (впрочем, стоит учитывать, что в доказательстве Гильберта для n=6 есть ошибка: один из случаев, считаемый им невозможным, оказался возможным и был построен Гудковым). Вторая (дифференциальная) часть остаётся открытой даже для квадратичных векторных полей в неизвестно даже, сколько их может быть, и что оценка сверху существует. Даже индивидуальная теорема конечности (то, что у каждого полиномиального векторного поля имеется конечное число предельных циклов) была доказана только недавно. Она считалась доказанной Дюлаком, но в его доказательстве была обнаружена ошибка, и окончательно эта теорема была доказана Ильяшенко и Экалем, для чего каждому из них пришлось написать по книге.
в‘ Приведен перевод исходного названия проблемы, данного Гильбертом: «16. Problem der Topologie algebraischer Curven und Flächen» (нем.). Однако, более точно её содержание (как оно рассматривается сегодня) можно было бы передать следующим названием: «Число и расположение овалов вещественной алгебраической кривой данной степени на плоскости; число и расположение предельных циклов полиномиального векторного поля данной степени на плоскости». Вероятно (как можно увидеть из английского перевода текста анонса (англ.)), Гильберт считал, что дифференциальная часть (в реальности оказавшаяся значительно труднее алгебраической) будет поддаваться решению теми же методами, что и алгебраическая, и потому не включил её в название.
в‘ Bieberbach L. Über die Bewegungsgruppen der Euklidischen Raume I.вMath. Ann., 1911, 70, S. 297в336; 1912, 72, S. 400в412.
в‘ Ров и Грей также называют проблему в„– 18 «открытой» в своей книге за 2000 год, потому что задача упаковки шаров (известная также как задача Кеплера) не была решена к тому времени, однако на сегодняшний день есть сведения о том, что она уже решена (см. далее). Продвижения в решении проблемы в„– 16 были сделаны в недавнее время, а также в 1990-х.
в‘ http://www.maa.org/news/Thiele.pdf

[править] См. также

[править] Тексты в Интернете

Оригинальный текст на немецком доклада Гильберта
Русский перевод доклада Гильберта (вводная часть и заключение)

[править] Литература

Болибрух А. А. Проблемы Гильберта (100 лет спустя). в МЦНМО, 1999. в Т. 2. в 24 с. в (Библиотека «Математическое просвещение»).
Демидов С. С. К истории проблем Гильберта // Историко-математические исследования. в М.: Наука, 1966. в в„– 17. в С. 91-122.
Демидов С. С. «Математические проблемы» Гильберта и математика XX века // Историко-математические исследования. в М.: Янус-К, 2001. в в„– 41 (6). в С. 84-99.
Ляшко С. И., Номировский Д. А., Петунин Ю. И., Семенов В. В. Двадцатая проблема Гильберта. Обобщенные решения операторных уравнений. в М.: «Диалектика», 2009. в 192 с. в ISBN 978-5-8459-1524-5
Проблемы Гильберта, Сборник под редакцией П. С. Александрова, М., Наука, 1969 г., 240 с.

[0] в‘ Результаты Гёделя и Коэна (Cohen) показывают, что ни континуум-гипотеза, ни её отрицание не противоречит системе аксиом Цермело в Френкеля (стандартной системе аксиом теории множеств). Таким образом, континуум-гипотезу в этой системе аксиом невозможно ни доказать, ни опровергнуть (при условии, что эта система аксиом непротиворечива). Ведутся споры о том, является ли результат Коэна полным решением задачи.

[1] в‘ Курт Гёдель доказал, что непротиворечивость аксиом арифметики нельзя доказать, исходя из самих аксиом арифметики. В 1936 году Герхард Генцен доказал непротиворечивость арифметики, используя примитивно рекурсивную арифметику с дополнительной аксимой для трансфинитной индукции до ординала ε₀.

[2] в‘ Согласно Рову (Rowe) и Грею (Gray) (см. далее), большинство проблем были решены. Некоторые из них не были достаточно точно сформулированы, однако достигнутые результаты позволяют рассматривать их как «решённые». Ров и Грей говорят о четвёртой проблеме как о такой, которая слишком нечётко поставлена, чтобы судить о том, решена она или нет.

[3] в‘ Решена Зигелем и Гельфондом (и независимо Шнайдером) в более общем виде: если a в‰ 0, 1 в алгебраическое число, и b в алгебраическое, но иррациональное, то a^b в трансцендентное число

[4] в‘ Проблема в„– 8 содержит две известные проблемы, обе из которых остаются нерешёнными. Первая из них, гипотеза Римана, является одной из семи Проблем тысячелетия, которые были обозначены как «Проблемы Гильберта» 21-го века.

[5] в‘ Проблема в„– 9 была решена для абелевого случая; неабелев случай остаётся нерешённым.

[6] в‘ Юрий Матиясевич в 1970 году доказал алгоритмическую неразрешимость вопроса о том, имеет ли произвольное диофантово уравнение хотя бы одно решение. Изначально проблема была сформулирована Гильбертом не в качестве дилеммы, а в качестве поиска алгоритма: в то время, видимо, даже не задумывались о том, что может существовать отрицательное решение подобных проблем.

[7] в‘ Утверждение о конечной порождённости алгебры инвариантов доказано для редуктивных групп. Нагата в 1958 году построил пример унипотентной группы, у которой алгебра инвариантов не является конечно порождённой. В. Л. Попов доказал, что если алгебра инвариантов любого действия алгебраической группы G на аффинном алгебраическом многообразии конечно порождена, то группа G редуктивна.

[8] в‘ Первая (алгебраическая) часть проблемы в„– 16 более точно формулируется так. Харнаком доказано, что максимальное число овалов равно M=(n-1)(n-2)/2+1, и что такие кривые существуют в их называют M-кривыми. Как могут быть расположены овалы M-кривой? Эта задача сделана до степени n=6 включительно, а для степени n=8 довольно много известно (хотя её ещё не добили). Кроме того, есть общие утверждения, ограничивающие то, как овалы M-кривых могут быть расположены в см. работы Гудкова, Арнольда, Роона, самого Гильберта (впрочем, стоит учитывать, что в доказательстве Гильберта для n=6 есть ошибка: один из случаев, считаемый им невозможным, оказался возможным и был построен Гудковым). Вторая (дифференциальная) часть остаётся открытой даже для квадратичных векторных полей в неизвестно даже, сколько их может быть, и что оценка сверху существует. Даже индивидуальная теорема конечности (то, что у каждого полиномиального векторного поля имеется конечное число предельных циклов) была доказана только недавно. Она считалась доказанной Дюлаком, но в его доказательстве была обнаружена ошибка, и окончательно эта теорема была доказана Ильяшенко и Экалем, для чего каждому из них пришлось написать по книге.

[9] в‘ Приведен перевод исходного названия проблемы, данного Гильбертом: «16. Problem der Topologie algebraischer Curven und Flächen» (нем.). Однако, более точно её содержание (как оно рассматривается сегодня) можно было бы передать следующим названием: «Число и расположение овалов вещественной алгебраической кривой данной степени на плоскости; число и расположение предельных циклов полиномиального векторного поля данной степени на плоскости». Вероятно (как можно увидеть из английского перевода текста анонса (англ.)), Гильберт считал, что дифференциальная часть (в реальности оказавшаяся значительно труднее алгебраической) будет поддаваться решению теми же методами, что и алгебраическая, и потому не включил её в название.

[10] в‘ Bieberbach L. Über die Bewegungsgruppen der Euklidischen Raume I.вMath. Ann., 1911, 70, S. 297в336; 1912, 72, S. 400в412.

[11] в‘ Ров и Грей также называют проблему в„– 18 «открытой» в своей книге за 2000 год, потому что задача упаковки шаров (известная также как задача Кеплера) не была решена к тому времени, однако на сегодняшний день есть сведения о том, что она уже решена (см. далее). Продвижения в решении проблемы в„– 16 были сделаны в недавнее время, а также в 1990-х.

[12] в‘ http://www.maa.org/news/Thiele.pdf

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

Проблемы Гильберта

Содержание

[править] Список проблем

[править] 24-я проблема

[править] Примечания

[править] См. также

[править] Тексты в Интернете

[править] Литература

Личные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках