В математике, измерение Хаусдорфа - это мера шероховатости, или, более конкретно, фрактальная размерность, которая была впервые введена в 1918 году математиком Феликсом Хаусдорфом. Например, размерность Хаусдорфа одной точки равна нулю, отрезка линии равна 1, квадрата равна 2, а куб равен 3. То есть для наборов точек, определяющих гладкую форму или форму с небольшим количеством углов - формы традиционной геометрии и науки - размерность Хаусдорфа является целым числом согласуясь с обычным пониманием размерности, также известной как топологическое измерение. Однако были также разработаны формулы, которые позволяют вычислять размерность других, менее простых объектов, где только на основе их свойств масштабирование и самоподобие к заключению, что отдельные объекты, в том числе фракталы, имеют нецелочисленные хаусдорфовые измерения. Из-за значительного технического прогресса, достигнутого Абрамом Самойловичем Безиковичем, позволяющим вычислять размеры для очень нерегулярных или «грубых» множеств, это измерение также обычно называют размерностью Хаусдорфа-Безиковича.
Размерность Хаусдорфа, более конкретно, является дополнительным размерным числом, связанным с данным набором, где определены расстояния между всеми элементами этого набора. Такой набор называется метрическим пространством. Размер берется из расширенных вещественных чисел, , в отличие от более интуитивно понятного понятия размерности, которая не связана с общими метрическими пространствами и принимает значения только в неотрицательных целых числах.
В математических терминах размерность Хаусдорфа обобщает понятие размерности реального векторного пространства. То есть размерность Хаусдорфа n-мерного внутреннего пространства продукта равна n. Это лежит в основе более раннего утверждения, что размерность Хаусдорфа точки равна нулю, линии равна единице и т. Д., И что нерегулярные множества могут иметь нецелочисленные хаусдорфовые измерения. Например, изображенная справа снежинка Коха построена из равностороннего треугольника; на каждой итерации составляющие его линейные сегменты делятся на 3 сегмента единичной длины, вновь созданный средний сегмент используется в качестве основания нового равностороннего треугольника , который указывает наружу, и этот базовый сегмент затем удаляется, чтобы оставить последний объект из итерации с единичной длиной 4. То есть после первой итерации каждый исходный сегмент линии был заменен на N = 4, где каждая самоподобная копия составляет 1 / S = 1/3, пока оригинал. Другими словами, мы взяли объект с евклидовым размером D и уменьшили его линейный масштаб на 1/3 в каждом направлении, так что его длина увеличилась до N = S. Это уравнение легко решается относительно D, давая отношение логарифмов (или натуральных логарифмов ), фигурирующих на рисунках, и давая - в случае Коха и других фрактальных случаях - нецелочисленные измерения для этих объектов.
Измерение Хаусдорфа является преемником более простого, но обычно эквивалентного измерения подсчета ячеек или измерения Минковского – Булиганда.
Интуитивное понятие размера геометрического объекта X - это количество независимых параметров, необходимых для выделения уникальной точки внутри. Однако любая точка, указанная двумя параметрами, может быть вместо этого указана одним, поскольку мощность реальной плоскости равна мощности вещественной линии ( это можно увидеть с помощью аргумента , включающего переплетение цифр двух чисел для получения одного числа, кодирующего ту же информацию). Пример кривой заполнения пространства показывает, что можно даже отобразить реальную линию на реальную плоскость сюръективно (преобразовывая одно действительное число в пару действительных чисел таким образом, чтобы покрываются все пары чисел) и непрерывно, так что одномерный объект полностью заполняет объект более высокого измерения.
Каждая кривая заполнения пространства несколько раз попадает в некоторые точки и не имеет непрерывной инверсии. Невозможно отобразить два измерения в одно непрерывным и непрерывно обратимым способом. Топологическая размерность, также называемая покрывающая размерность Лебега, объясняет, почему. Эта размерность равна n, если в каждом покрытии X маленькими открытыми шарами есть хотя бы одна точка, в которой n + 1 мяч перекрывается. Например, когда кто-то покрывает линию короткими открытыми интервалами, некоторые точки должны быть покрыты дважды, что дает размерность n = 1.
Но топологическое измерение - это очень грубая мера локального размера пространства (размер около точка). Кривая, которая почти заполняет пространство, может иметь топологическое измерение один, даже если она заполняет большую часть области области. фрактал имеет целочисленное топологическое измерение, но с точки зрения занимаемого пространства он ведет себя как пространство более высокого измерения.
Измерение Хаусдорфа измеряет локальный размер пространства с учетом расстояния между точками, метрики . Рассмотрим количество N (r) шаров радиуса не больше r, необходимых для полного покрытия X. Когда r очень мало, N (r) полиномиально растет с 1 / r. Для достаточно хорошего X размерность Хаусдорфа - это уникальное число d такое, что N (r) растет как 1 / r, когда r приближается к нулю. Точнее, это определяет измерение подсчета ящиков, которое равно размерности Хаусдорфа, когда значение d является критической границей между темпами роста, которых недостаточно для покрытия пространства, и темпами роста, которые являются избыточными.
Для гладких форм или форм с небольшим количеством углов, форм традиционной геометрии и науки, измерение Хаусдорфа является целым числом, соответствующим топологическому измерению. Но Бенуа Мандельброт заметил, что фракталы, множества с нецелой хаусдорфовой размерностью, встречаются в природе повсюду. Он заметил, что правильная идеализация большинства грубых форм, которые вы видите вокруг себя, - это не с точки зрения гладких идеализированных форм, а с точки зрения фрактальных идеализированных форм:
Облака - это не сферы, горы - не конусы, береговые линии - не круги и кора не гладкая, и молния не движется по прямой.
Для фракталов, которые встречаются в природе, Хаусдорф и размерность подсчета ящиков совпадают. Размер упаковки - еще одно подобное понятие, которое дает одинаковое значение для многих форм, но есть хорошо задокументированные исключения, когда все эти размеры различаются.
Пусть X будет метрическим пространством. Если S ⊂ X и d ∈ [0, ∞), d-мерное неограниченное хаусдорфово содержание S определяется как
Другими словами, - это инфимум набора чисел такой что существует некоторая (проиндексированная) коллекция шаров покрывающий S с r i>0 для каждого i ∈ I, удовлетворяющего . (Здесь мы используем стандартное соглашение: inf Ø = ∞.)
Внешняя мера Хаусдорфа отличается от неограниченного содержания Хаусдорфа тем, что не учитывает все возможные покрытия S, мы видим, что происходит, когда размеры ba lls переходит в ноль. Это для , мы определяем d-мерную внешнюю меру Хаусдорфа S как
размерность Хаусдорфа пространства X определяется как
Эквивалентно, dim H (X) может быть определено как infimum множества d ∈ [0, ∞) такого, что d-мерная мера Хаусдорфа X равен нулю. Это то же самое, что и супремум множества d ∈ [0, ∞), такого что d-мерная мера Хаусдорфа X бесконечна (за исключением того, что когда этот последний набор чисел d пуст, размерность Хаусдорфа равна нулю).
Пусть X - произвольное отделимое метрическое пространство. Существует топологическое понятие индуктивной размерности для X, которое определяется рекурсивно. Это всегда целое число (или + ∞) и обозначается dim ind (X).
Теорема . Предположим, что X не пусто. Тогда
Кроме того,
где Y пробегает метрические пространства , гомеоморфные X. Другими словами, X и Y имеют один и тот же базовый набор точек, а метрика d Y Y топологически эквивалентна d X.
. результаты были первоначально установлены Эдвардом Шпилрайном (1907–1976), например, см. Hurewicz and Wallman, Chapter VII.
Размерность Минковского похожа на размерность Хаусдорфа и по крайней мере равна ему, и во многих ситуациях они равны. Однако набор рациональных точек в [0, 1] имеет размерность Хаусдорфа ноль и размерность Минковского один. Существуют также компактные множества, для которых размерность Минковского строго больше размерности Хаусдорфа.
Если существует мера μ, определенная на борелевских подмножествах метрического пространства X такая, что μ (X)>0 и μ (B (x, r)) ≤ r выполняется для некоторой константы s>0 и для любого шара B (x, r) в X, то dim Haus (X) ≥ s. Частичное обратное утверждение обеспечивается леммой Фростмана.
Если - конечное или счетное объединение, тогда
Это может быть проверяется непосредственно из определения.
Если X и Y - непустые метрические пространства, то размерность Хаусдорфа их произведения удовлетворяет
Это неравенство может быть строгим. Можно найти два множества размерности 0, произведение которых имеет размерность 1. В противоположном направлении известно, что, когда X и Y являются борелевскими подмножествами R, размерность Хаусдорфа X × Y ограничена. сверху размерностью Хаусдорфа X плюс размер верхней упаковки Y. Эти факты обсуждаются в Mattila (1995).
Многие наборы, определенные условием самоподобия, имеют размеры, которые могут быть определены явно. Грубо говоря, множество E самоподобно, если оно является неподвижной точкой многозначного преобразования ψ, то есть ψ (E) = E, хотя точное определение дается ниже.
Теорема . Предположим,
- это сжимающие отображения на R с константой сжатия r j< 1. Then there is a unique non-empty compact set A such that
Теорема следует из сжимающего отображения Стефана Банаха Теорема о фиксированной точке применяется к полному метрическому пространству непустых компактных подмножеств R с расстоянием Хаусдорфа.
Для определения размерности автомодельного множества A (в некоторых случаях) нам понадобится техническое условие, называемое условием открытого множества (OSC), на последовательности сжатий ψ i.
Существует относительно компактное открытое множество V такое, что
где объединенные множества на left попарно не пересекаются.
Условие открытого множества - это условие разделения, которое гарантирует, что изображения ψ i (V) не перекрываются "слишком сильно".
Теорема . Предположим, что выполняется условие открытого множества и каждое ψ i является подобием, то есть композицией изометрии и растяжения вокруг некоторой точки. Тогда единственная неподвижная точка ψ - это множество, размерность которого Хаусдорфа равна s, где s - единственное решение
Коэффициент сжатия подобия - это величина расширения.
Мы можем использовать эту теорему для вычисления размерности Хаусдорфа треугольника Серпинского (или иногда называемого прокладкой Серпинского). Рассмотрим три неколлинеарных точки a1, a 2, a 3 в плоскости R и пусть ψ i - расширение отношения 1/2 вокруг a i. Единственная непустая неподвижная точка соответствующего отображения ψ - это прокладка Серпинского, а размерность s - единственное решение
Принимая натуральный логарифм обеих частей приведенного выше уравнения, мы можем решить для s, то есть: s = ln (3) / ln (2). Прокладка Серпинского является самоподобной и удовлетворяет требованиям OSC. В общем, множество E, которое является фиксированной точкой отображения
самоподобно тогда и только тогда, когда пересечения
где s - размерность Хаусдорфа E и H обозначает меру Хаусдорфа. Это ясно в случае прокладки Серпинского (пересечения - это просто точки), но также верно и в более общем смысле:
Теорема . При тех же условиях, что и в предыдущей теореме, единственная неподвижная точка ψ самоподобна.