Направления, в которых развивается современное исследование прогрессий
1. В настоящее время, задачи, связанные с арифметическими прогрессиями, представляют интерес в теории чисел, комбинаторике и информатике как с теоретической, так и с прикладной точек зрения.
Гипотеза Эрдеша об арифметических прогрессиях, часто называемая гипотезой Эрдеша–Турана, является гипотезой в арифметической комбинаторике (не путать с гипотезой Эрдеша–Турана о аддитивных базисах). В нем говорится, что если сумма взаимных связей членов множества A положительных целых чисел расходится, то A содержит сколь угодно длинные арифметические прогрессии.
В 1936 году Эрдеш и Туран выдвинули более слабую гипотезу о том, что любое множество целых чисел с положительной естественной плотностью содержит бесконечно много трехчленных арифметических прогрессий. Это было доказано Клаусом Ротом в 1952 году и обобщено на произвольно длинные арифметические прогрессии Шемереди в 1975 году в так называемой теореме Шемереди.
В 1976 году Пауль Эрдеш предложил премию в размере 3000 долларов США за доказательство этой гипотезы. По состоянию на 2008 год проблема стоит 5000 долларов США.
Пал Эрдёш - Венгерский математик, один из наиболее продуктивных математиков XX века. Работал в самых разных областях современной математики: комбинаторика, теория графов, теория чисел, математический анализ, теория приближений, теория множеств и теория вероятностей. Лауреат множества математических наград, включая премию Вольфа. Основатель премии Эрдёша.
• Родился: 26 марта 1913 г., Будапешт, Австро-Венгрия
• Умер: 20 сентября 1996 г. (83 года), Варшава, Польша
2. В 1927 году Б.Л. Ван дер Варден доказал свою знаменитую теорему об арифметических прогрессиях. Теорема 2.1 (Ван дер Варден) Пусть h и k натуральные числа. Cуществует такое число N(h, k), что для любого натурального N ≥ N(h, k) и произвольного разбиения множества [N] на h подмножеств, одно из подмножеств содержит арифметическую прогрессию длины k, то есть кортеж n, n + d, n + 2d, . . . , n + (k − 1)d, где n, d — натуральные числа. Теорема Ван дер Вардена сыграла значительную роль в развитии двух разделов математики — аддитивной комбинаторики и комбинаторной эргодической теории. Обе указанных области математики связаны между собой теснейшим образом и находятся на стыке таких наук, как аддитивная и аналитическая теория чисел, теория графов и теория динамических систем. Сама по себе теорема Ван дер Вардена является одним из фундаментальных результатов теории Рамсея. Действительно, если в теореме 2.1 разбиение множества целых чисел на h подмножеств C1, C2, . . . , Ch трактовать как раскраску Z в h различных цветов, то теорема Ван дер Вардена утверждает, что в множестве целых чисел найдется монохроматическая арифметическая прогрессия, то есть прогрессия, все элементы которой, раскрашены в один и тот же цвет.
Бартель Леендерт Ван дер Варден Голландский математик
• Родился: 2 февраля 1903 г.
• Умер: 12 января 1996 г. (92 года)
Теоретическая математика высоко ценится, однако ее достижения не так часто оказывают непосредственное влияние на прикладные науки, — и тем ценнее случаи, когда они оказываются напрямую связаны с практической деятельностью.
18 марта 2020 года, была вручена Премия Абеля — одна из двух важнейших математических наград. В отличие от медали Филдса, которая вручается раз в 4 года четырем ученым, не достигшим еще 40 лет и занятым в разных областях науки, премия Абеля вручается ежегодно 1 или 2 работающим в одной и той же области заслуженным исследователям.
В 2020 году лауреатами премии стали российско-американский математик Григорий Маргулис (Йельский университет, ИППИ РАН) и американо-израильский ученый Гиллель Фюрстенберг (Ивритский университет в Иерусалиме), ставшие, согласно официальной формулировке, «пионерами в области применения теории вероятностей и динамики к теории чисел, теории групп и комбинаторике».
Если говорить простым языком, то основные достижения Маргулиса и Фюрстенберга связаны со вскрытием роли случайности в неслучайном: с тем, как свойства случайных перемещений и случайных «смен взгляда» на пространство могут давать нам представление о его устройстве.
Представим себя туристом, гуляющим по незнакомому городу и выбирающим на каждом повороте, куда ему свернуть, при помощи подбрасывания монетки. Что мы сможем узнать из этого блуждания о городской планировке? Это ближайший бытовой образ, который может дать нам представление о работах лауреатов.
Одним из самых ярких достижений Гиллеля Фюрстенберга стал новый, вероятностный, метод доказательства теоремы Семереди об арифметических прогрессиях. Последняя утверждает следующее: рассмотрим подмножество A целых чисел положительной плотности — то есть такое, что найдется бесконечная последовательность чисел N1, N2.., Ni.., для которой доля чисел из A на отрезке от -Ni до Ni будет больше некоторого фиксированного положительного числа или, говоря грубее, чисел из A не бесконечно мало по отношению ко всем целым числам. Тогда в A можно найти сколь угодно длинные последовательности чисел, отстоящих друг от друга на одно и то же расстояние (арифметические прогрессии).
Это утверждение было сформулировано в качестве гипотезы Полем Эрдёшем и Палом Тураном в 1936 году, в 1975 году его впервые доказал Андре Семереди (лауреат Абелевской премии 2012 года). Доказательство Семереди базировалось на теории графов, а через 2 года Гиллель Фюрстенберг смог связать недавно доказанную теорему с теорией динамических систем.
Он понял, что гипотеза Эрдёша — Турана связана с преобразованиями множества целых чисел, сохраняющих свойства, связанные с разными способами «измерения объема» подмножеств, при этом случай, доказанный Семереди, соответствует преобразованию, которое прибавляет единицу к каждому целому числу.
Один из компонентов доказательства Фюрстенберга можно связать с вышеупомянутой идеей случайного блуждания: набора перемещений по пространству, в котором мы каждый раз забываем, куда шли до этого, и выбираем новое направление подбрасыванием монетки. Оказывается, если мы ходим по прямой или плоскости, то в случайном блуждании мы почти всегда вернемся в начальную точку, если же пространство трехмерно — то в начальной точке мы когда-либо вновь окажемся лишь примерно в трети случаев.
Идеи Фюрстенберга впоследствии легли в основу доказательства теоремы Грина-Тао (2004 г.) о том, что множество простых чисел содержит арифметические прогрессии сколь угодно большой длины.
К центральным идеям и результатам Григория Маргулиса найти доступную иллюстрацию гораздо сложнее, однако наблюдение, сделанное им для коллег-прикладников в самом начале творческого пути (1973 г.), стало основой для создания важной области компьютерных наук: теории графов-экспандеров (расширителей).
Возьмем компьютерную сеть: мы хотели бы, чтобы в ней было как можно меньше связей между компьютерами — тогда сеть будет дешевле; но сеть должна быть максимально надежной, и чтобы при этом можно было бы разорвать много связей без ущерба для сети. Теория экспандеров отвечает на вопрос о том, как этого добиться.
Граф — это набор точек, соединенных ребрами. В полном графе между каждой парой точек есть ребро. В разреженных графах ребра очень редки. Графы-экспандеры можно весьма приблизительно определить как разреженные графы, в которых тем не менее из каждой точки можно дойти в любую другую по ребрам множеством способов (высокая связность). Маргулис нашел первый пример бесконечной последовательности графов с всё возрастающим числом вершин, в которых, с одной стороны, количество ребер, исходящих из каждой точки по мере роста числа вершин, не менялось, а с другой — количество способов перемещения между разными вершинами никогда не падало ниже определенного числа.
Чем дальше находится граф в этой последовательности — тем более он разрежен, но, несмотря на это, он всё так же связен. Существование подобных последовательностей ранее доказал Марк Пинскер, но его доказательство было неконструктивным: из него нельзя было получить ни одного конкретного примера.
В своем доказательстве Маргулис использовал методы, связанные с теорией представлений и свойством Каждана (Т). Те же методы использовались в его наиболее глубоких исследованиях в теории дискретных подгрупп групп Ли, теории чисел и римановых многообразий. История открытия экспандеров — один из тех редких случаев, когда чистая математика неожиданно нашла свой путь в прикладную. Сегодня наука об экспандерах широко применяется в теории сложности алгоритмов, теории кодирования и даже в нейронауках.
4. Вывод: занимаясь поиском информации по данному вопросу, столкнувшись с трудностями в поиске информации, которая была бы нам понятна, мы пришли к следующим выводам:
- Математика – это активно развивающаяся наука и обучаясь в школе мы познаем только ее азы!
- Знания о математических прогрессиях интересны, необходимы и активно используются в современном мире;
- Эти знания потребуются в будущем для понимания современной экономики, возможно в будущей профессии или для, того, чтобы просто быть грамотным современным человеком;
- Когда мы начнем изучать эти вопросы в курсе математике, члены нашей команды и наши одноклассники, которым мы рассказываем о проекте, уж точно отнесутся к получению знаний о прогрессиях более внимательно и с интересом!
