Новый взгляд на мир [Фрактальная геометрия] (Мир математики. т.10.) - страница 30

и множества Жюлиа, соответствующие различным значениям с, использованным при их построении.

Графическое изображение аттрактора Лоренца. Представлена орбита точки в пространстве, движение которой описывают определенные дифференциальные уравнения. Эти уравнения моделируют поведение потока жидкости и других схожих процессов. Точка вращается вокруг двух центров, перескакивая с одной орбиты на другую бесконечное множество раз. По словам Джеймса Глейка, это великолепное изображение, подобное рисунку оперения совы или крыльев бабочки, стало символом первых исследователей хаоса.

D = log 4^>2/log З^>2 = (2log 4)/(2log 3) = 1,2629. Для любой итерации это соотношение будет выполняться при D = 1,2629. Это число называется размерностью подобия и обозначается D_>S, в отличие от других фрактальных размерностей. Оно вычисляется по следующей формуле:

D_>S = log n / log (1/r).

Мы нашли взаимосвязь между коэффициентом уменьшения r (коэффициентом масштаба) и количеством частей n, на которые делится исходный объект.

Чтобы лучше понять определение размерности подобия, рассмотрим несколько классических математических объектов, обладающих свойством самоподобия. Первым из таких объектов, который был открыт задолго до кривой Пеано (она также обладает свойством самоподобия; ее размерность мы вычислим позднее), было канторово множество. В наши дни Георг Кантор известен прежде всего благодаря своим трудам о бесконечности, в которых, в частности, доказал, что между точками пространства ^>1 и точками пространства

^>2 существует взаимно однозначное соответствие (об этом мы упомянули выше). Канторово множество было описано в 1883 г. За необычный внешний вид его также называют канторовой пылью. Построить его достаточно просто: начнем с единичного отрезка и удалим его среднюю треть, то есть интервал от 1/3 до 2/3. Затем удалим из каждого из двух полученных отрезков его среднюю треть (длиной 1/9), затем удалим среднюю треть (длиной 1/27) у всех четырех полученных отрезков и так далее. Результатом построения и будет канторово множество:

Это множество сложно изобразить, так как оно постепенно «исчезает», но нетрудно представить, как оно будет выглядеть, если мы продолжим процесс построения. Заметим, что если мы уменьшим канторово множество в три раза, то получим его левую часть. Если мы сделаем копию полученного множества и перенесем ее на 2/3 вправо, то получим правую часть канторова множества. Таким образом, канторово множество состоит из двух частей, каждая из которых в три раза меньше целого. По формуле размерности подобия получим:

D_>s = log 2 / log 3 ~ 0,6309.

В канторовом множестве отсутствует какая-либо связь между точками, следовательно, его топологическая размерность равна нулю. Как можно видеть, его размерность подобия больше, чем топологическая размерность.

Для кривой Пеано, которая строится из девяти отрезков, n = 9, коэффициент уменьшения равен 1/3. Следовательно, ее размерность подобия равна

D_>s = log3 ^>2/ log 3 = 2.

Двумерным аналогом канторова множества является так называемый ковер Серпинского. Его впервые описал польский математик Вацлав Серпинский в 1916 г. Первые четыре итерации построения ковра Серпинского выглядят так:

Можно сказать, что при построении ковра Серпинского на каждой итерации мы удаляем центральный квадрат полученной фигуры. Ковер Серпинского можно построить и другим способом: для этого нужно удалить центральный отрезок при построении кривой Пеано из девяти отрезков. Так как его можно получить из восьми копий оригинала, уменьшенных в три раза, то его размерность подобия будет равняться log 8/log 3–1,8928. Серпинский показал, что полученная кривая является универсальной, то есть содержит любую кривую, которую можно построить на плоскости. Если мы выполним аналогичное построение, взяв за основу пятиугольник или любой другой правильный многоугольник, то получим бесконечное множество «ковров». Наиболее известный из них, который строится на основе треугольника, — это так называемый треугольник Серпинского, изучением которого также занимался этот польский математик. Этот треугольник тоже можно получить итеративным построением на основе кривой; он имеет топологическую размерность 1 и размерность подобия, равную log 3 / log 2 ~ 1,5850.