Динамические системы
Фрактальная геометрия и размерность Хаусдорфа
Фракталы - геометрические объекты с нецелой размерностью, встречающиеся в природе повсеместно: от береговых линий до кровеносных сосудов и нейронных сетей. Хаусдорфова размерность - строгое математическое определение этой нецелоразмерности.
- Медицина: фрактальная размерность границы опухоли коррелирует со степенью злокачественности (FDA одобрила методы диагностики рака молочной железы на основе фрактального анализа)
- Антенны: фрактальные антенны Koch и Sierpinski работают одновременно на нескольких частотах, что используется в современных смартфонах (патенты Fractal Antenna Systems)
- Обработка изображений: фрактальное сжатие (Barnsley, 1988) использует самоподобие для компрессии 20:1 без артефактов JPEG
- Турбулентность: энергетический каскад Колмогорова имеет фрактальную структуру; инерционный интервал описывается размерностью ~2.37 для вихревых трубок
Предварительные знания
- Теория меры (основы)
- Фазовые пространства
- Показатели Ляпунова
Размерность Хаусдорфа
Бенуа Мандельброт в 1975 году ввёл термин «фрактал» и показал, что береговая линия Великобритании имеет хаусдорфову размерность около 1.25 - больше 1 (линии) и меньше 2 (площади). Каждые 5 км, добавляемые к масштабу, увеличивают измеренную длину примерно на 20%.
Чем размерность Хаусдорфа отличается от топологической?
Топологическая размерность - целое число. Хаусдорфова определяется через мерное скейлинговое поведение покрытий и для фрактальных множеств (Cantor, snowflake Koch) принимает нецелочисленные значения. Cantor имеет dim_H = log(2)/log(3) ≈ 0.631.
Самоподобие и итерированные системы функций
Метод пересчёта клеток (box-counting): покрываем множество сеткой с шагом eps и считаем число непустых клеток N(eps). При фрактальном множестве N(eps) ~ eps^{-d}, откуда d = -lim log N(eps)/log(eps).
Фрактальная размерность как степень самоподобия. Обычная прямая: при уменьшении масштаба в r раз нужно r отрезков, чтобы покрыть исходный - d=1. Квадрат: нужно r^2 клеток - d=2. Фрактал Серпинского: нужно 3 копии при r=2 - d=log3/log2 ~ 1.585. Дробная размерность отражает то, насколько активно фрактал заполняет пространство.
Какую размерность Хаусдорфа имеет кривая Коха?
Кривая Коха состоит из 4 уменьшенных в 3 раза копий: N=4, r=1/3. Размерность самоподобия d = log(N)/log(1/r) = log(4)/log(3) ≈ 1.262. Это значение больше 1 (топологической размерности кривой), что отражает её фрактальную сложность.
Фракталы в природе и ML
Размерность Хаусдорфа строго больше топологической для 'настоящих' фракталов. Кривая имеет топологическую размерность 1, но хаусдорфову > 1.
Связь с динамическими системами: странный аттрактор Лоренца имеет хаусдорфову размерность d_H ~ 2.06 (чуть больше двумерной поверхности). Размерность Каплана-Йорке D_KY = d_1 + |lambda_1+...+lambda_j|/|lambda_{j+1}|, где lambda_i - показатели Ляпунова, упорядоченные по убыванию.
| Фрактал | N копий | Коэф. r | d_H | Пространство |
|---|---|---|---|---|
| Множество Кантора | 2 | 1/3 | 0.631 | R^1 |
| Кривая Коха | 4 | 1/3 | 1.262 | R^2 |
| Треугольник Серпинского | 3 | 1/2 | 1.585 | R^2 |
| Ковёр Серпинского | 8 | 1/3 | 1.893 | R^2 |
| Аттрактор Лоренца | - | - | ~2.06 | R^3 |
Где появляется фрактальная размерность в реальных приложениях?
Корреляционная размерность Grassberger-Procaccia оценивает размерность странного аттрактора. Box-counting применяется для сжатия фрактальных изображений (Barnsley). В deep learning фрактальная размерность бассейнов притяжения SGD коррелирует с обобщающей способностью.
Связи с другими областями
Фрактальная геометрия пронизывает динамические системы, статистическую физику и теорию информации.
- Динамические системы и хаос — Связанная тема
- Статистическая физика — Связанная тема
- Теория меры — Связанная тема
- Компьютерная графика — Связанная тема
Итоги
- Мера Хаусдорфа H^s(A): инфимум по покрытиям шарами радиуса < delta от суммы r_i^s при delta -> 0
- Хаусдорфова размерность d_H = критическое s, где H^s переходит от бесконечности к нулю
- Формула самоподобия: d = ln(N)/ln(1/r) для N копий масштаба r - точна для IFS-фракталов
- Box-counting: d = -lim log N(eps)/log(eps) - практический метод, совпадает с d_H для самоподобных фракталов
- Примеры: Кантор d~0.631, Кох d~1.262, Серпинский d~1.585, Лоренц d~2.06
- Размерность Каплана-Йорке связывает d_H аттрактора с показателями Ляпунова через формулу Пелика
Почему хаусдорфова размерность береговой линии больше 1, но меньше 2?
Береговая линия топологически одномерна (кривая), но из-за самоподобной извилистости при уменьшении масштаба измеренная длина растёт. d_H > 1 отражает эту сложность. При этом береговая линия не заполняет плоскость (d_H < 2). Дробное d_H - мера 'пространственной насыщенности' кривой.