|
|
|
"Математика содержит в себе черты волевой деятельности, умозрительного рассуждения и стремления к эстетическому совершенству. Ее основные и взаимно противоположные элементы - логика и интуиция, анализ и конструкция, общность и конкретность..." (Р. Курант, Г. Роббинс. Что такое математика?) Американский математик Джно Данциг, будучи аспирантом, опоздал на урок и принял написанные на доске уравнения за домашнее задание. Оно ему показалось сложнее обычного, но через несколько дней он смог его выполнить. Оказалось, что он решил 2 "нерешаемые" проблемы в статистике, над которыми бились многие ученые. [Неужели правда?] |
В течение тысячелетия математика породила 7 величайших загадок. 25 мая 2000 г. Институт математики Клея объявил о награде в $1 млн за решение каждой из этих главных математических проблем. Их обзорный список:
Разделы страницы о нерешённых проблемах математики:
Смотрите также о нерешённых проблемах физики. И читайте об истории решения Великой теоремы Ферма.
Диофант Александрийский (3-й век) - древнегреческий математик. В основном труде "Арифметика" (сохранились 6 книг из 13) [ее любил штудировать Пьер Ферма] дал решение задач, приводящихся к т.н. диофантовым уравнениям (решения которых только в целых числах), и впервые ввел буквенную символику в алгебру. Задачи по теории чисел принадлежат к области высшей арифметики. |
Математики Берч и Свиннертон-Дайер предпoложили, что числo решений опрeделяeтся значением связанной с уравнением дзета-функции в точке 1: если значение дзета-функции в точке 1 равно 0, то имеется бескoнечнoе число решeний, и наобopот, если не равно 0, то имеется только конечное число таких решений (например, доказательство отсутствия целых решений уравнения xn + yn = zn [ВТФ]).
Простые числа (те, которое делится без остатка только на единицу и на само себя) - это ключ к разрешению многих математических проблем, они также играют большую роль в криптографии (шифровании), благодаря чему интересуют не только математиков, но и военных, разведку и контрразведку. Первым проблему определения простых чисел поставил древнегреческий ученый Эратосфен примерно в 220 году до нашей эры, предложив один из путей определения простых чисел. С тех пор ученые постепенно продвигались вперед. Знаменитая «Гипотеза Римана» была сформулирована немецким математиком Георгом Фридрихом Бернардом Риманом в 1859 году. Согласно ей, характер распределения простых чисел может существенно отличаться от предполагаемого в настоящее время. Дело в том, что математикам до сих пор не удавалось обнаружить какой-либо системы в характере распределения простых чисел. Так, считается, что в окрестности целого числа х среднее расстояние между последовательными простыми числами пропорционально логарифму х. Тем не менее, уже давно известны так называемые парные простые числа (простые числа-близнецы, разность между которыми равна 2): 11 и 13, 29 и 31, 59 и 61. Иногда они образуют целые скопления, например 101, 103, 107, 109 и 113. У математиков давно существовало подозрение, что такие скопления существуют и в области очень больших простых чисел, однако ни доказать, ни опровергнуть это утверждение до сих пор не удавалось. Если такие «кластеры» будут найдены, стойкость криптографических ключей, используемых в настоящее время, может в одночасье оказаться под очень большим вопросом. Математическое сообщество в полной мере оценило важность задачи — гипотеза Римана была признана одной из 7 важнейших научных проблем тысячелетия. Институт математики Clay в США предложил $1 млн. за ее доказательство либо опровержение. (Источник - Преамбула с "Арбузного блога") |
Читайте также статью В.А. Белотелова и статьи в сборнике А.Ф. Рудыкина (помещены выше в разделе о проблеме распределения простых чисел).
Независимо друг от друга abc-гипотеза предложена математиками Дэвидом Массером в 1985 году и Джозефом Эстерле в 1988 году, а ее решение составляет одну из главных проблем теории чисел. Гипотеза утверждает, что для любого действительного числа r > 1 существует не более конечного числа троек натуральных чисел a, b и c таких, что для них выполняются условия: a + b = c; a, b и c взаимно просты в совокупности (то есть у них нет общих делителей) и c > rad (abc)r.
Радикалом (rad) натурального числа N называется число, которое представляет собой произведение всех различных простых (отличных от единицы чисел, делящихся только на себя и на единицу) делителей числа N. Например, rad(15) = 15, так как у этого числа простые делители 3 и 5, а rad(18) = 6, поскольку простых делителей у числа 18 ровно два — это 3 и 2.
Гипотеза Эстерле-Массера важна для теории диофантовых уравнений, а ее справедливость позволит провести еще одно доказательство великой теоремы Ферма для больших степеней.
Гипотезы и возможные доказательства решения проблем простых чисел, в т.ч. Диофантовых уравнений, проблем Ландау и Гольдбаха.
Над гипотезой о вероятных формах Вселенной бились лучшие умы 20 века.
Российский математик Григорий Перельман решил гипотезу Пуанкаре. В 2002-2003 годах он совершил прорыв, предложив ряд новых идей. Он развил и довел до конца метод, предложенный в 1980-е годы Ричардом Гамильтоном. В своих работах Перельман утверждает, что построенная им теория позволяет доказать не только гипотезу Пуанкаре, но и гипотезу геометризации Тёрстона.
Суть метода состоит в том, что для геометрических объектов можно определить некоторое уравнение «плавной эволюции», похожее на уравнение ренормализационной группы в теорфизике. Исходная поверхность в ходе этой эволюции будет деформироваться и, как показал Перельман, в конце концов плавно перейдет именно в сферу. Сила этого подхода состоит в том, что, минуя все промежуточные моменты, можно сразу заглянуть «в бесконечность», в самый конец эволюции, и обнаружить там сферу.
В 2002 году Г. Перельман опубликовал решение гипотезы Пуанкаре, и до сих пор ни один пристрастный анализ не нашел в нем ошибки.
Г.Перельман родился 13 июня 1966 года в Ленинграде, в семье служащих [Папа - физик, написавший известный учебник]. Окончил знаменитую среднюю школу № 239 с углубленным изучением математики. В 1982 году в составе команды советских школьников участвовал в Международной математической олимпиаде, проходившей в Будапеште. Был без экзаменов зачислен на матмех Ленинградского государственного университета. Побеждал на факультетских, городских и всесоюзных студенческих математических олимпиадах. Получал Ленинскую стипендию. Окончив университет, Перельман поступил в аспирантуру при Санкт-Петербургском отделении Математического института им.В.А.Стеклова. Кандидат физико-математических наук. Работает в лаборатории математической физики [работал]. |
Гипотеза Ходжа сформулирована в 1941 году и состоит в том, что для особенно хороших типов пространств, называемых проективными алгебраическими многообразиями, так называемые циклы Ходжа являются комбинациями объектов, имеющих геометрическую интерпретацию, — алгебраических циклов.
В XX веке математики изобрели мощные методы исследования формы сложных объектов. Основная идея состоит в том, чтобы выяснить, до какой степени мы можем аппроксимировать форму данного объекта, склеивая вместе простые тела возрастающей размерности. Этот метод оказался эффективным при описании разнообразных объектов встречающихся в математике. При этом были не ясны геометрические обоснования метода: в некоторых случаях было необходимо прибавлять части, которые не имели никакого геометрического истолкования.
Доказать гипотезу Ходжа удалось для некоторых частных случаев. Более общее доказательство пока не найдено, не найдено и доказательство обратного — что гипотеза неверна.
Тео́рия Я́нга—Ми́ллса — калибровочная теория с неабелевой калибровочной группой. Калибровочные поля в этой теории называются полями Янга — Миллса. Такие теории были предложены в 1954 году Чж. Янгом (Yang) и Р. Миллсом (Mills), однако долгое время рассматривались лишь как математические изыски, не имеющие отношения к реальности.
Несмотря на это, именно на основе теорий Янга — Миллса в 1970-х годах были созданы две краеугольные теории Стандартной Модели в физике элементарных частиц: квантовая хромодинамика (теория сильных взаимодействий) на основе группы SU(3) и теория электрослабых взаимодействий на основе группы SU(2).
Теорема Шварца — Кристоффеля относится к теории функций комплексного переменного и носит название немецких математиков Карла Шварца и Элвина Кристоффеля. Она касается проблемы о конформном отображении некой канонической области (единичного круга Δ или верхней полуплоскости H+) на внутренность произвольного многоугольника. Теорема дает общий вид таких отображений, что важно с практической точки зрения.
Сформулированная 140 лет назад формула Шварца–Кристоффеля является незаменимой для проектирования различных объектов, включая здания, мосты, а также самолеты. Она определяет уровень внешней и внутренней сопротивляемости структуры и степень запаса ее прочности. Однако классическая формула не могла быть применена для сложных объектов, имеющих отверстия и сложные формы.
Обьявленные здесь проблемы динамики дискретных тел и непрерывной среды - фактически, физические, но сводимые к математическим формулам.
Уравнения Навье — Стокса описывают движение вязкой ньютоновской жидкости и являются основой гидродинамики. Численные решения уравнений Навье — Стокса используются во многих практических приложениях и научных работах. Однако в аналитическом виде решения этих уравнений найдены лишь в некоторых частных случаях, поэтому нет полного понимания свойств уравнений Навье — Стокса. В частности, решения уравнений Навье — Стокса часто включают в себя турбулентность, которая остаётся одной из важнейших нерешённых проблем в физике, несмотря на её огромную важность для науки и техники. (Существование и гладкость решений уравнений Навье — Стокса, Википедия)
Среди 7 проблем тысячелетия 6-я проблема является чисто прикладной задачей. От ее решения зависит качество проектирования самолетов, ракет, снарядов, гидротурбин, подводных лодок, газо- и нефтепроводов. В биологии и медицине решение этого уравнения дает всю правду о течении крови в сосудах, жидкости в клетках сосудов и т.д.
Решить уравнения Навье-Стокса не могут с 1822 года. Более того, не могут доказать: правильно ли мы решаем это уравнение, а их приходится решать на компьютерах в силу большой размерности, где 3 - уже много. Поэтому, прежде, чем вычислять, надо доказать теорему существования и единственности решения (СЕР), что составляет суть проблемы и важно потому, что аварии на газопроводах, гидростанциях, авиакатастрофы могут оказаться следствием неправильных расчетов уравнения Навье-Стокса, а не слепой случайности. (Чоро Тукембаев)
Исследователи, занимавшиеся или занимающиеся УНС, внёсшие свой вклад или взгляд в решение этого типа уравнений; их работы:
Задача о движении трех материальных точек под действием ньютоновских сил взаимного притяжения — «задача трех тел» — получила в математике, механике и астрономии широкую известность. Достаточно просмотреть посвященные этой задаче главы в книгах Уиттекера, Биркгофа, Зигеля и статьи Арнольда и Смейла, чтобы убедиться в богатстве и плодотворности круга идей, так или иначе обязанных ей своим возникновением. [Странно, почепму это математическая, а не физическая задача.] Задача трех тел описывается системой дифференциальных уравнений; ей соответствует фазовый поток в 18-мерном фазовом пространстве. |
Может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки? Недавно установлена связь между гипотезой Ж.Эдмондса и проблемой С.А.Кука.
Допустим, находясь в большой компании, Вы хотите убедиться, что там же находится Ваш знакомый. Если Вам скажут, что он сидит в углу, то Вам достаточно доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствии этой информации Вы будете вынуждены обойти всю комнату, рассматривая гостей. Точно так же, если кто-то сообщит Вам, что число 13717421 можно представить, как произведение двух меньших чисел, непросто быстро убедиться в истинности информации, но если Вам сообщат, что исходное число можно разложить на множители 3607 и 3803, то это утверждение легко проверяется с помощью калькулятора.
Это примеры иллюстрируют общее явление: решение какой-либо задачи часто занимает больше времени, чем проверка правильности решения. Стивен Кук сформулировал проблему: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки. Эта проблема является одной из нерешенных проблем логики и информатики. Ее решение могло бы революционным образом изменить основы криптографии, используемой при передаче и хранении данных.
Обзоры. статьи и новости о других важных математических проблемах и задачах: проблемах Гилберта, теореме Атия-Сингера...
Независимо друг от друга abc-гипотеза предложена математиками Дэвидом Массером в 1985 году и Джозефом Эстерле в 1988 году. Ее решение составляет одну из главных проблем теории чисел. Гипотеза утверждает, что для любого действительного числа r > 1 существует не более конечного числа троек натуральных чисел a, b и c таких, что для них выполняются условия: a + b = c; a, b и c взаимно просты в совокупности (то есть у них нет общих делителей) и c > rad(abc)r.
Радикалом (rad) натурального числа N называется число, которое представляет собой произведение всех различных простых (отличных от единицы чисел, делящихся только на себя и на единицу) делителей числа N. Например, rad (15) = 15, так как у этого числа простые делители 3 и 5, а rad (18) = 6, поскольку простых делителей у числа 18 ровно два — это 3 и 2.
Гипотеза Эстерле-Массера важна для теории диофантовых уравнений, а ее справедливость позволит провести еще одно доказательство великой теоремы Ферма для больших степеней.
И вот, в 2012 году японский математик Синъити Мотидзуки представил доказательство abc-гипотезы, которое занимает более 500 страниц текста. Понять и проверить его способно небольшое число математиков. У эксперта может уйти до 500 часов работы для понимания доказательства, тогда как у математика-аспиранта это займет около 10 лет. В настоящее время проверкой работы Мотидзуки занимаются десять математиков. Отдельные этапы доказательства математика ясны, но «всеобъемлющая стратегия остается совершенно неуловимой». Считается, что проверить корректность доказательства Мотидзуки удастся к 2017 году,
Работа японского ученого содержит революционные идеи и использует оригинальные обозначения, ранее не встречавшиеся в математической литературе.
Теорема Атьи — Зингера об индексе — один из наиболее популярных математических результатов последнего пятилетия. Такой интерес к проблеме индекса объясняется ее положением на стыке анализа и топологии, а также тем, что для ее решения потребовались новейшие математические разработки.
Пробле́мы Ги́льберта — список из 23 кардинальных проблем математики, представленный Давидом Гильбертом на II Международном Конгрессе математиков в Париже в 1900 году. Тогда эти проблемы (охватывающие основания математики, алгебру, теорию чисел, геометрию, топологию, алгебраическую геометрию, группы Ли, вещественный и комплексный анализ, дифференциальные уравнения, математическую физику и теорию вероятностей, а также вариационное исчисление) не были решены.
На данный момент решены 16 проблем из 23. Ещё 2 не являются корректными математическими проблемами (одна сформулирована слишком расплывчато, чтобы понять, решена она или нет, другая, далёкая от решения, — физическая, а не математическая). Из оставшихся 5 проблем две не решены никак, а три решены только для некоторых случаев. (Из Википедии)
Ключевые слова для поиска сведений о великих математических загадках и проблемах:
На русском языке: великие проблемы математики, величайшие математические загадки, доказательство Перельмана,
гипотеза Римана, Пуанкаре, Ходжа, Кука, Берча, Свиннертона-Дайера, проблемы Гильберта, Гольдбаха, Ландау,
теория Янга-Миллса, Великая теорема Ферма, уравнение Навье-Стокса, закономерность распределение простых чисел,
премия Института математики Клея, главные достижения математиков;
На английском языке: mathematic problems.
|