7 математических загадок тысячелетия. Просто о сложном

Только для мыслящих людей!

"Я знаю только то, что ничего не знаю, но другие не знают и этого"
(Сократ, древнегреческий философ)



НИКОМУ не дано владеть вселенским разумом и знать ВСЁ. Тем не менее, у большинства ученых, да и тех, кто просто любит размышлять и исследовать, всегда есть стремление узнать больше, разгадать загадки. Но остались ли еще неразгаданные темы у человечества? Ведь, кажется, все уже ясно и нужно только применять полученные веками знания?

НЕ стоит отчаиваться! Еще остались нерешенные проблемы из области математики, логики, которые в 2000 году эксперты Математического института Клэя в Кембридже (Массачусетс, США) объединили в список, так называемые, 7 загадок тысячелетия (Millennium Prize Problems). Эти проблемы волнуют ученых всей планеты. С тех пор и по сей день любой человек может заявить, что нашел решение одной из задач, доказать гипотезу и получить от бостонского миллиардера Лэндона Клэя (в честь которого и назван институт) премию. Он уже выделил на эти цели 7 миллионов долларов. К слову сказать, на сегодняшний день одна из проблем уже решена.

Итак, вы готовы узнать о математических загадках?

Уравнения Навье - Стокса (сформулированы в 1822 году)

Область: гидроаэродинамика

Уравнения о турбулентных, воздушных потоках, а также течении жидкостей известны как уравнения Навье - Стокса. Если, к примеру, плыть по озеру на чем-либо, то неизбежно вокруг возникнут волны. Это касается и воздушного пространства: при полете на самолете в воздухе также будут образовываться турбулентные потоки.
Данные уравнения как раз производят описание процессов движения вязкой жидкости и являются стержневой задачей всей гидродинамики. Для некоторых частных случаев уже найдены решения, в которых части уравнений отбрасываются, как не влияющие на конечный результат, но в общем виде решения этих уравнений не найдены.
Необходимо найти решение уравнениям и выявить гладкие функции.

Гипотеза Римана (сформулирована в 1859 году)

Область: теория чисел

Известно, что распределение простых чисел (Которые делятся только на себя и на единицу: 2,3,5,7,11…) среди всех натуральных чисел не подчиняется никакой закономерности.
Над этой проблемой задумался немецкий математик Риман, который сделал свое предположение, теоретически касающееся свойств имеющейся последовательности простых чисел. Уже давно известны так называемые парные простые числа - простые числа-близнецы, разность между которыми равна 2, например 11 и 13, 29 и 31, 59 и 61. Иногда они образуют целые скопления, например, 101, 103, 107, 109 и 113.
Если такие скопления будут найдены и выведен определенный алгоритм, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.

Проблема Пуанкаре (сформулирована в 1904 году. Решена в 2002 году.)

Область: топология или геометрия многомерных пространств

Суть проблемы заключается в топологии и состоит в том, что если натягивать резиновую ленту, к примеру, на яблоко (сферу), то будет теоретически возможным сжать ее до точки, медленно перемещая без отрыва от поверхности ленту. Однако если эту же ленту натянуть вокруг бублика (тора), то сжать ленту без разрыва ленты или разлома самого бублика не представляется возможным. Т.е. вся поверхность сферы односвязна, в то время как тора – нет. Задача состояла в том, чтобы доказать, что односвязной является только сфера.

Представитель ленинградской геометрической школы Григорий Яковлевич Перельман является лауреатом премии тысячелетия математического института Клэя (2010 г.) за решение проблемы Пуанкаре. От знаменитой Фильдсовской премии он отказался.

Гипотеза Ходжа (сформулирована в 1941 году)

Область: алгебраическая геометрия

В реальности существуют множество как простых, так и куда более сложных геометрических объектов. Чем сложнее объект, тем труднее его изучать. Сейчас учеными придуман и вовсю применяется подход, основанный на использовании частей одного целого ("кирпичики") для изучения этого объекта, как пример - конструктор. Зная свойства «кирпичиков», становится возможным подступиться и к свойствам самого объекта. Гипотеза Ходжа в данном случае связана с некоторыми свойствами как «кирпичиков», так и объектов.
Это очень серьезная проблема алгебраической геометрии: найти точные пути и методы анализа сложных объектов с помощью простых "кирпичиков".

Уравнения Янга - Миллса (сформулированы в 1954 году)

Область: геометрия и квантовая физика

Физики Янг и Миллс описывают мир элементарных частиц. Они, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения в области квантовой физики. Тем самым был найден путь к объединению теорий электромагнитного, слабого и сильного взаимодействий.
На уровне микрочастиц возникает «неприятный» эффект: если на частицу действуют несколько полей сразу, их совокупный эффект уже нельзя разложить на действие каждого из них поодиночке. Это происходит по причине того, что в этой теории друг к другу притягиваются не только частицы материи, но и сами силовые линии поля.
Хотя и уравнения Янга - Миллса приняты всеми физиками мира, экспериментально теория, касающаяся предсказывания массы элементарных частиц, не доказана.

Гипотеза Берча и Свиннертон-Дайера (сформулирована в 1960 году)

Область: алгебра и теория чисел

Гипотеза связана с уравнениями эллиптических кривых и множеством их рациональных решений. В доказательстве теоремы Ферма эллиптические кривые заняли одно из важнейших мест. А в криптографии они образуют целый раздел имени себя, и на них основаны некоторые российские стандарты цифровой подписи.
Задача в том, что нужно описать ВСЕ решения в целых числах x, y, z алгебраических уравнений, то есть уравнений от нескольких переменных с целыми коэффициентами.

Проблема Кука (сформулирована в 1971 году)

Область: математическая логика и кибернетика

Ее еще называют "Равенство классов P и NP", и она является одной из наиболее важных задач теории алгоритмов, логики и информатики.
Может ли процесс проверки правильности решения какой-либо задачи длиться дольше, чем время, затраченное на само решение этой задачи (независимо от алгоритма проверки)?
На решение одной и той же задачи, порой, нужно разное количество времени, если изменить условия и алгоритмы. К примеру: в большой компании вы ищете знакомого. Если вы знаете, что он сидит в углу или за столиком - то вам понадобится доли секунд, чтобы его увидеть. Но если вы не будете знать точно, где находится объект, то затратите больше времени на его поиски, обходя всех гостей.
Основным вопросом является: все или не все задачи, которые можно легко и быстро проверить, можно также легко и быстро решить?



Математика, как может показаться многим, не так далека от реальности. Она является тем механизмом, с помощью которого можно описать наш мир и многие явления. Математика всюду. И прав был В.О. Ключевский, который изрек: «Не цветы виноваты, что слепой их не видит».

И в заключение….

Одну из самых популярных теорем математики - Великую (Последнюю) теорему Ферма: аn + bn = cn - не могли доказать 358 лет! И только в 1994 году британец Эндрю Уайлз смог дать ей решение.

Так что, дерзайте, великие умы!