Более полутора веков математики руководствовались принципом, сформулированным французским учёным Пьером Оссианом Бонне: если известны два ключевых свойства замкнутой поверхности в каждой её точке — метрика и средняя кривизна, — то можно однозначно определить её форму. Однако недавнее исследование математиков из Технического университета Мюнхена, Берлинского технического университета и Университета штата Северная Каролина показало, что это правило не всегда работает. Учёные создали наглядный пример, опровергающий устоявшуюся теорию.
Чтобы бросить вызов общепринятому представлению, исследователи построили две компактные замкнутые поверхности в форме пончиков, известные как торы. Эти две фигуры имеют одинаковые значения как метрики (расстояния между точками вдоль поверхности), так и средней кривизны (характеристики изгиба поверхности в пространстве). Однако их общая структура различается — это тот самый контрпример, который учёные искали десятилетиями, но не могли найти до сих пор.
Ранее математики знали, что правило Бонне не действует для некоторых поверхностей, но исключения касались только незамкнутых объектов — бесконечных плоскостей или фигур с краями. Считалось, что для компактных поверхностей, таких как сфера, метрика и кривизна однозначно определяют форму. Хотя теоретические расчёты допускали, что для торов может существовать до двух разных форм при одинаковых параметрах, никто не мог привести конкретный пример.
Новая работа заполняет этот пробел: команда впервые построила два тора с идентичными локальными измерениями, но разной глобальной геометрией. «После долгих лет исследований нам впервые удалось найти конкретный случай, показывающий, что даже для замкнутых поверхностей в форме пончика локальные данные не обязательно определяют единственную глобальную форму, — говорит профессор Тим Хоффманн из TUM. — Это решение многолетней проблемы дифференциальной геометрии». Открытие подчёркивает глубокую истину: даже при полной локальной информации форма поверхности не всегда может быть определена однозначно.
Источник: This donut-shaped discovery just shattered a 150-year math rule