Геометрическая теория меры

Как доказать существование минимальной поверхности, натянутой на проволочную рамку, не имея явной формулы - и как это связано с фракталами и геометрией данных?

• **Задача Плато:** Жозеф Плато в 1873 году экспериментально наблюдал мыльные плёнки - минимальные поверхности с заданным краем
• **Машинное обучение:** многообразия данных в high-dim имеют сложную геометрию; оценки Хаусдорфа и intrinsic dimension - основа их количественного анализа
• **Физика конденсированного состояния:** границы зерён в кристаллах минимизируют площадь; задача Плато в материаловедении
• **Компьютерная графика:** варифолды и целочисленные токи дискретизируют поверхности в численной вычислительной геометрии

Предварительные знания

• Дифференциальные формы и интеграция на многообразиях
• Мера Хаусдорфа и размерность Хаусдорфа
• Функциональный анализ и слабая сходимость

• Оптимальный транспорт

Мера Хаусдорфа и фрактальная размерность

В 1918 году Феликс Хаусдорф ввёл меру, которая работает для любого размера: 1-мерная длина, 2-мерная площадь, дробная размерность для фракталов. Это позволило измерять береговую линию Британии (размерность 1.25), снежинку Коха (log4/log3 ≈ 1.26) и аттракторы хаотических систем. Современный анализ многообразий данных в ML начинается с оценок Хаусдорфа на эмпирических облаках точек.

Размерность Хаусдорфа аттрактора Лоренца ≈ 2.06, броуновского движения = 2, странного аттрактора Эно ≈ 1.26. В машинном обучении intrinsic dimension - аналог Хаусдорфа для эмпирических данных, оценивается через TwoNN или MLE-методы.

Спрямляемые множества и касательные конусы

Спрямляемое множество - это множество, которое выглядит как гладкое многообразие почти всюду, но не обязательно везде. Это правильное обобщение поверхности для нерегулярных объектов: береговые линии, границы зерён в металлах, границы кластеров в high-dimensional data. В 1960-х Федерер построил полный аппарат для работы с такими множествами, ставший основой геометрической теории меры.

Теорема Алберти о существовании потоковой структуры на спрямляемых мерах - современное достижение (1991): любая спрямляемая мера допускает разложение по интегральным кривым лебеговского поля направлений. Это аналог теоремы Радона-Никодима для геометрических мер.

Токи и задача Плато

В 1873 году Жозеф Плато экспериментально наблюдал мыльные плёнки на проволочных контурах - минимальные поверхности. Через 87 лет Герберт Федерер и Уэндел Флеминг (1960) доказали теорему существования через токи - обобщённые поверхности как линейные функционалы на дифференциальных формах. Без этого обобщения задача Плато не имела решения: гладкие минимизирующие последовательности сходятся к сингулярным объектам.

Теорема Федерера-Флеминга гарантирует существование, но не регулярность. В размерности n >= 8 возможны особенности (Бомбьери-Де Джорджи-Гюстер, 1969). В размерностях 2-7 минимизирующие токи регулярны, кроме множества меры ноль.