Учёные Александр Полянский (МФТИ, Россия) и Цзылинь Цзян (Технион, Израиль) доказали гипотезу о покрытии сферы зонами, сформулированную венгерским математиком Ласло Фейешем Тотом ещё в 1973 году: «Если несколько зон покрывает единичную сферу, то их суммарная ширина по крайней мере π». Результат важен для развития дискретной геометрии и даёт возможность постановки новых задач. Доказательство было опубликовано в журнале Geometric and Functional Analysis.
Дискретная геометрия изучает комбинаторные свойства точек, прямых, окружностей, многоугольников и других геометрических объектов. Например, она позволяет ответить на вопросы: какое наибольшее число шаров одинакового размера можно разместить вокруг одного такого же шара, как наиболее плотно замостить плоскость одинаковыми кругами или пространство одинаковыми шарами и т. д. Результаты некоторых таких задач сейчас применяются на практике: так, задача о плотной упаковке позволяет оптимизировать кодирование и исправление ошибок при передаче информации. Доказательство теоремы о четырёх красках, утверждающей, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами так, чтобы граничащие страны не были одинакового цвета, натолкнуло математиков на разработку значимой части понятий теории графов, без которой невозможно представить сегодня многие разработки в химии, биологии, информатике, любые логистические системы и т. д.
Гипотеза Ласло Фейеш Тота тесно связана с другими задачами дискретной геометрии о покрытии полосками, решёнными в XX веке. Изначально ставилась задача о покрытии круга полосками, заключёнными между параллельными прямыми, более известная как задача о дощечках. Математик Тарский изящно и просто доказал, что суммарная ширина этих полосок-дощечек не превосходит диаметр круга, вне зависимости от их количества: то есть лучше, чем одной дощечкой, ширина которой — диаметр круга, его покрыть нельзя. Бангом была решена задача о покрытии полосками произвольного выпуклого тела, а именно было доказано, что если несколько полосок покрывает выпуклое тело, то их суммарная ширина по крайней мере ширина данного тела, т. е. минимальная ширина одной полоски, покрывающей данное тело.
Задача, над которой работали авторы публикации, принципиально отличается от предыдущих: в ней требуется исследовать покрытие сферы с единичным радиусом особым образом построенными зонами. А именно: каждая зона поставлена в соответствие определённой трёхмерной полоске-дощечке (всему тому, что заключено между двумя параллельными плоскостями, расположенными симметрично относительно центра сферы) и является её пересечением со сферой. Можно ввести и другое определение, уже не ассоциируя зоны с полосками: зоной ширины ω на поверхности сферы с единичным радиусом называется множество точек, которые находятся на расстоянии не более ω / 2 от большой окружности (экватора) в геодезической метрике (т. е. расстояние между двумя точками равно длине наименьшей дуги, их соединяющей). Математикам необходимо было найти минимальную суммарную ширину нескольких таких зон, покрывающих единичную сферу. Основное отличие задачи от предыдущих в измерении ширины: в случае обычных полосок ширина — это евклидово расстояние между параллельными прямыми или параллельными плоскостями, а этом случае — это длина дуги.
При доказательстве авторы были вдохновлены идеей Банга, который использовал для решения задачи о покрытии тела полосками построение специального конечного множества точек внутри тела, среди которых одна не покрыта полосками. Математики, как и Банг, шли в каком-то смысле от противного: предполагали, что сумма ширин зон, полностью покрывающих сферу, меньше π, и хотели получить противоречие: найти точку, которая лежит на сфере, но не покрыта зонами.
Авторы показали, что можно построить такой набор точек в трёхмерном пространстве, чтобы по крайней мере одна точка не была покрыта полосками, образующими зоны. Если все эти точки будут находиться внутри сферы, то будет несложно построить одну точку на ней, не покрытую полосками, а значит, и зонами. Если же какая-то из точек множества окажется за пределами сферы, то в этом случае удаётся заменить несколько зон одной большой зоной с шириной равной сумме всех ширин этих зон. Таким образом, удаётся в исходной задаче уменьшить число зон, но при этом не изменить их суммарную ширину, то есть в какой-то момент получится найти точку на сфере, не покрытую зонами. Это противоречит тому, что сумма ширин зон меньше π, и доказывает гипотезу Ласло Фейеш Тота.
Задача решалась в n-мерном пространстве, но, по словам учёных, эта постановка и доказательство ничем не отличается от трёхмерного случая.
Александр Полянский, сотрудник кафедры дискретной математики МФТИ, один из авторов работы: «Задача Ласло Фейеш Тота привлекала внимание математиков, занимающихся дискретной геометрией, вот уже более 40 лет. У этой задачи оказалось изящное решение, и нам посчастливилось его найти. Задача Ласло Фейеш Тота навела нас на мысль о другой, более сильной гипотезе о покрытии сферы смещёнными зонами, полученными пересечением единичной сферы с трёхмерными полосками-дощечками, не обязательно симметричными относительно центра».
Источник: https://scientificrussia.ru/news/igry-razuma-matematiki-dokazali-gipotezu-nad-kotoroj-uchyonye-bilis-bolee-40-let
Комментарии
Отправить комментарий