Представьте, что дана плоская фигура, вписанная в квадрат, для которой мы хотим рассчитать размерность Хаусдорфа. Разделим сторону квадрата на несколько равных частей, например на 10. Квадрат окажется разделен на 100 мелких квадратов. Теперь посчитаем, сколько этих квадратов нужно для того, чтобы покрыть рассматриваемую фигуру, и адекватно сравним их число с числом частей, на которые мы разделили сторону квадрата (в нашем случае на 10).
Ключ к задаче — в том, что мы вкладываем в слова «адекватно сравним». Проясним смысл этих слов на простом примере. Пусть рассматриваемой фигурой будет квадрат целиком. Для того чтобы покрыть его, потребуются все квадраты, на которые мы разделили исходный квадрат. Таким образом, если мы разделим сторону квадрата на n равных частей, получим n·n = n2 мелких квадратов. Обратите внимание на число 2 в показателе степени n2 — именно это число и будет размерностью квадрата.
Теперь рассмотрим диагональ квадрата. Разделим сторону квадрата на 4 части. Сколько мелких квадратов понадобится для того, чтобы покрыть его диагональ? Немного подумав, читатель увидит, что для этого потребуется четыре мелких квадрата, так как именно столько квадратов лежит на диагонали большого квадрата. Если мы разделим сторону квадрата на n частей, нам потребуется n квадратов, чтобы покрыть диагональ. Однако n можно записать как n1, то есть n, возведенное в степень 1. Эта степень 1 и будет размерностью диагонали квадрата. Таким образом, любой отрезок будет иметь размерность 1.
Теперь обозначим через F плоскую фигуру, заключенную внутри квадрата, для которой мы хотим определить размерность Хаусдорфа. Разделив сторону квадрата на n частей, подсчитаем, сколько мелких квадратов потребуется, чтобы покрыть фигуру F. Обозначим их число через пр. «Адекватное» сравнение числа nF с числом частей n, на которые мы разделили сторону квадрата, означает определение степени n, соответствующей этому числу nF. Так, в примере с квадратом nF = n2 соответствующей степенью будет 2. В примере с диагональю квадрата nF = n1 соответствующей степенью будет 1. Если мы обозначим этот показатель степени через d, то n, nF и d будут связаны следующим тношением: nF = nd . Применив логарифмы, выразим d через n и nF : d — это логарифм nF разделенный на логарифм n:
Чем больше n, то есть число частей, на которые мы делим сторону квадрата, тем ближе число d будет к размерности Хаусдорфа для фигуры F. Размерность Хаусдорфа будет пределом, рассчитываемым при делении стороны квадрата на бесконечно большое число бесконечно малых равных частей.
Пример с окружностями Аполлония
Построим пример фрактала. Для этого вновь рассмотрим окружности Аполлония, о которых мы говорили в главе 2, так как мы будем строить фрактал на основе касательных окружностей. Построим три окружности, касающиеся друг друга (см. рисунок слева внизу). Как мы уже отмечали в предыдущей главе, существуют две другие окружности, касающиеся этих трех. Имеем пять окружностей (см. рисунок справа внизу).
Построение фрактала на основе трех касающихся окружностей.
Выберем три из них, касающиеся друг друга, и построим две соответствующие касательные окружности (их существование следует из теоремы Аполлония). В конечном итоге, с учетом повторений, получим шесть новых окружностей. Вкупе с пятью исходными имеем 11 окружностей (см. рисунок слева внизу). Повторим построение для этих 11 окружностей, затем — для окружностей, построенных на следующем этапе (см. рисунок справа внизу), и так далее до бесконечности. Полученные окружности носят название «ковер Аполлония» и представляют собой пример фрактала.
Построение фрактала на основе трех касающихся окружностей.
Сложно представить, что неимоверно сложный ковер Аполлония образуется простым построением окружностей, касающихся друг друга. Если читатель использует воображение, то увидит, что каждая окружность на ковре Аполлония находится среди бесконечного множества касательных окружностей, за исключением внешней, которая содержит в себе все прочие окружности. Более того, на любой дуге любой окружности, сколь малой бы она ни была, находится бесконечно много касающихся ее окружностей. Стандартное обозначение размерности абсолютно неприменимо для описания ковра Аполлония: было бы излишне говорить, что эта кривая имеет размерность 2, то есть ту же размерность, что и содержащая ее плоскость. Тем не менее, учитывая сложность этой кривой, в которой произвольной дуги любой окружности касается бесконечное множество окружностей, было бы преуменьшением сказать, что ее размерность равна 1. Вычислить точную размерность Хаусдорфа для ковра Аполлония невероятно сложно. На данный момент известно лишь ее приближенное значение, равное 1,305688.