Хаусдорфова размерность

Хаусдорфова размерность (также размерность Хаусдорфа — Безиковича) — это числовая характеристика метрического пространства, обобщающая понятие размерности (например, топологической размерности) на нецелые значения. В отличие от евклидовой размерности, которая для линии равна 1, для плоскости — 2, а для объёма — 3, хаусдорфова размерность может быть дробной, что позволяет количественно описывать фрактальные множества. Она была введена немецким математиком Феликсом Хаусдорфом в 1918 году и развита Абрамом Безиковичем в 1920-х годах.

Определение

Хаусдорфова размерность определяется через хаусдорфову меру. Пусть \( (X, d) \) — метрическое пространство, а \( S \subset X \) — его подмножество. Для любого \( \delta > 0 \) и \( s \geq 0 \) определим \( \delta \)-покрытие множества \( S \) как набор подмножеств \( \{U_i\} \), каждое из которых имеет диаметр не более \( \delta \), и \( S \subset \bigcup_i U_i \). Тогда \( s \)-мерная хаусдорфова мера \( H^s(S) \) равна:

\[ H^s(S) = \lim_{\delta \to 0} \inf \left\{ \sum_{i=1}^\infty (\text{diam}(U_i))^s : \{U_i\} — \delta\text{-покрытие } S \right\}. \]

Хаусдорфова размерность \( \dim_H(S) \) — это такое число \( s \), при котором \( H^s(S) \) скачкообразно меняется от бесконечности к нулю:

\[ \dim_H(S) = \inf\{ s \geq 0 : H^s(S) = 0 \} = \sup\{ s \geq 0 : H^s(S) = \infty \}. \]

Иными словами, для \( s < \dim_H(S) \) мера бесконечна, для \( s > \dim_H(S) \) — равна нулю, а в самой точке может быть конечной, нулевой или бесконечной.

Свойства

• Монотонность: если \( A \subset B \), то \( \dim_H(A) \leq \dim_H(B) \).
• Счётная устойчивость: хаусдорфова размерность счётного объединения множеств равна максимуму их размерностей: \( \dim_H\left( \bigcup_{i=1}^\infty A_i \right) = \sup_i \dim_H(A_i) \).
• Инвариантность относительно липшицевых отображений: если \( f: X \to Y \) — липшицево отображение, то \( \dim_H(f(A)) \leq \dim_H(A) \). Для билипшицевых отображений размерность сохраняется.
• Связь с топологической размерностью: для любого метрического пространства \( \dim_H(X) \geq \dim_{\text{top}}(X) \), где \( \dim_{\text{top}} \) — малая индуктивная размерность (или размерность Лебега). Для гладких многообразий эти размерности совпадают.
• Нецелые значения: существуют множества с дробной хаусдорфовой размерностью, например, канторово множество (размерность \( \log 2 / \log 3 \approx 0.6309 \)) или снежинка Коха (размерность \( \log 4 / \log 3 \approx 1.2619 \)).

История

Феликс Хаусдорф в 1918 году в работе «Grundzüge der Mengenlehre» (Основы теории множеств) впервые ввёл понятие хаусдорфовой меры и размерности, обобщив идеи Каратеодори о внешней мере. Однако его работа долгое время оставалась малоизвестной. В 1929 году Абрам Безикович независимо разработал аналогичную теорию для изучения размерностей множеств в евклидовом пространстве. В 1930-х годах Безикович и его ученики (в частности, Патрик Моран) применили хаусдорфову размерность к анализу фрактальных кривых. В 1960-х годах Бенуа Мандельброт популяризировал понятие фрактала, используя хаусдорфову размерность как ключевую характеристику, и ввёл термин «фрактальная размерность» (часто путаемый с хаусдорфовой, хотя последняя — лишь один из её вариантов).

Методы вычисления

Прямое вычисление для самоподобных множеств

Для строго самоподобных множеств (например, ковра Серпинского или губки Менгера) хаусдорфова размерность часто совпадает с размерностью подобия. Если множество состоит из \( N \) копий самого себя, сжатых в \( r \) раз, то \( \dim_H = \log N / \log (1/r) \). Однако это верно только при выполнении условия открытого множества (отсутствии перекрытий копий). Для более сложных самоподобных структур (например, с перекрытиями) размерность может быть меньше.

Использование покрытий

На практике для оценки хаусдорфовой размерности часто используют метод «бокс-каунтинга» (box-counting), который даёт аппроксимацию. Множество покрывается сеткой из кубов (или шаров) размера \( \varepsilon \), подсчитывается число \( N(\varepsilon) \) непустых ячеек, и размерность оценивается как:

\[ \dim_{\text{box}}(S) = \lim_{\varepsilon \to 0} \frac{\log N(\varepsilon)}{\log (1/\varepsilon)}. \]

Бокс-размерность (ёмкостная размерность) обычно совпадает с хаусдорфовой для «регулярных» фракталов, но может отличаться для множеств с неоднородной структурой (например, для множества рациональных точек на отрезке она равна 0, а хаусдорфова — 0).

Теорема Фростама

Для компактных множеств с равномерной мерой хаусдорфова размерность может быть найдена через локальную размерность меры. Если мера \( \mu \) на \( S \) удовлетворяет условию \( \mu(B(x,r)) \asymp r^s \) для всех \( x \in S \), то \( \dim_H(S) = s \).

Примеры

• Канторово множество: получается удалением средней трети из отрезка [0,1] и повторением процесса. \( \dim_H = \log 2 / \log 3 \approx 0.6309 \). Топологическая размерность равна 0.
• Кривая Коха: строится заменой каждого отрезка ломаной из четырёх отрезков длины 1/3. \( \dim_H = \log 4 / \log 3 \approx 1.2619 \). Длина кривой бесконечна, но площадь нулевая.
• Ковёр Серпинского: получается из квадрата делением на 9 равных квадратов и удалением центрального. \( \dim_H = \log 8 / \log 3 \approx 1.8928 \).
• Губка Менгера: трёхмерный аналог ковра Серпинского, строится из куба, разделённого на 27 кубиков, с удалением центрального и шести примыкающих к нему. \( \dim_H = \log 20 / \log 3 \approx 2.7268 \).
• Множество Жюлиа: для некоторых комплексных отображений (например, \( z \to z^2 + c \)) хаусдорфова размерность границы может быть дробной, часто превышающей 1.
• Броуновское движение: траектория броуновской частицы в \( \mathbb{R}^d \) имеет хаусдорфову размерность 2 (с вероятностью 1) для \( d \geq 2 \), что отражает её фрактальную природу.

Применение

Физика и теория хаоса

Хаусдорфова размерность используется для описания странных аттракторов в динамических системах. Например, аттрактор Лоренца имеет хаусдорфову размерность около 2.06, что указывает на его фрактальную структуру. В теории турбулентности размерность фрактальных фронтов пламени может быть связана с режимом горения.

Геофизика

В геологии хаусдорфова размерность применяется для анализа трещиноватости горных пород, рельефа местности (например, береговых линий — размерность береговой линии Норвегии оценивается около 1.52), распределения землетрясений и пористости грунтов.

Обработка изображений

Фрактальная размерность изображений (например, текстур) используется в компьютерном зрении для классификации: более «шероховатые» текстуры имеют большую размерность. В медицине хаусдорфова размерность применяется для анализа рентгеновских снимков лёгких (при фиброзе размерность возрастает) или сетчатки глаза.

Теория информации

В сжатии данных хаусдорфова размерность множества возможных сигналов может служить мерой их сложности. В теории кодирования она связана с размерностью аттракторов итеративных функциональных систем.

Критика и ограничения

Хаусдорфова размерность сложна для точного вычисления на практике, особенно для несамоподобных множеств. Метод бокс-каунтинга даёт лишь приближённые оценки, чувствительные к выбору масштаба и границ. Для многих реальных данных (например, временных рядов) вычисление размерности затруднено из-за шума и конечности выборки. Кроме того, существуют множества, для которых хаусдорфова размерность не совпадает с другими фрактальными размерностями (например, с размерностью Минковского или информационной размерностью), что требует осторожности при интерпретации.

См. также

• Фрактал
• Размерность Минковского
• Размерность подобия
• Мера Хаусдорфа
• Теорема Фростама

Источники

• Хаусдорф Ф. «Основы теории множеств» (Grundzüge der Mengenlehre, 1918).
• Безикович А. С. «О хаусдорфовой размерности» (On the Hausdorff dimension, 1929).
• Мандельброт Б. «Фрактальная геометрия природы» (The Fractal Geometry of Nature, 1982).
• Фальконер К. «Фрактальная геометрия: математические основы и приложения» (Fractal Geometry: Mathematical Foundations and Applications, 1990, 3-е изд. 2014).
• Маттила П. «Геометрия множеств и мер в евклидовых пространствах» (Geometry of Sets and Measures in Euclidean Spaces, 1995).