Математики из Технического университета Мюнхена, Технического университета Берлина и Университета штата Северная Каролина представили доказательство, опровергающее фундаментальный принцип классической геометрии. Исследование показало, что общепринятое правило, сформулированное французским ученым Пьером Оссианом Бонне более 150 лет назад, имеет исключения для определенных типов замкнутых объектов.
Согласно принципу Бонне, форма компактной поверхности однозначно определяется двумя параметрами: метрикой и средней кривизной. Метрика устанавливает расстояния между точками на поверхности, а средняя кривизна фиксирует степень изгиба фигуры в пространстве – оба этих значения традиционно считались исчерпывающими для описания объекта. В научном сообществе полагали, что если эти характеристики известны для каждой точки замкнутого тела, его общую структуру можно восстановить без искажений.
Авторы работы построили две модели поверхностей в форме тора, которые обладают полностью идентичными значениями метрики и кривизны. Несмотря на совпадение локальных данных, глобальные структуры этих фигур различаются. Математики искали подобный контрпример несколько десятилетий, однако до сих пор не могли представить конкретные образцы, подтверждающие возможность существования разных тел с одинаковыми локальными свойствами.
Ранее было известно, что правило Бонне не работает для бесконечных плоскостей или поверхностей с краями. В отношении замкнутых объектов, таких как сфера или тор, гипотеза о единственности формы считалась незыблемой. Последние расчеты доказали, что для тороидальных тел один и тот же набор геометрических данных может соответствовать двум разным физическим формам.
Профессор прикладной и вычислительной топологии Тим Хоффманн отметил, что этот результат разрешает давний спор в дифференциальной геометрии. Открытие демонстрирует, что даже полная локальная информация о поверхности не всегда гарантирует понимание ее итоговой архитектуры. Это меняет теоретические представления о взаимосвязи между частными измерениями и целостной структурой сложных объектов.
