Фрактальная геометрия природы (Мандельброт) - страница 39

С другой стороны, аппроксимативная хаусдорфова протяженность в размерности D (понятие, введенное в предыдущей главе) равна произведению ε^>D на количество отрезков длины ε, т. е. ε^>Dε^>−D=1. Неплохое подтверждение тому, что величина D представляет собой хаусдорфову размерность. К сожалению, данное Хаусдорфом определение этой размерности весьма плохо поддается строгой математической трактовке. И даже если бы это было не так, идея обобщения понятия размерности на множество нецелых чисел настолько широка и чревата настолько серьезными последствиями, что более глубокое ее обоснование можно только приветствовать.

Оказывается, мы легко можем получить искомое более глубокое обоснование, рассмотрев случай самоподобных фигур и понятие размерности подобия. Мы часто слышим о том, что математики используют размерность подобия для приблизительного определения хаусдорфовой размерности, причем в большинстве случаев, рассматриваемых в этом эссе, такая приблизительная оценка оказывается верной. В применении к этим случаям мы вполне можем считать фрактальную размерность синонимом размерности подобия. < Аналогичным образом мы используем термин «топологическая размерность» как синоним обычной, «интуитивной», размерности. ►

В качестве своего рода стимулирующего вступления давайте рассмотрим стандартные самоподобные формы: отрезки прямой, прямоугольники на плоскости и т. д. (см. рис. 73). Евклидова размерность прямой равна 1, следовательно, при любом целочисленном «основании» b отрезок 0≤x может быть «покрыт» по всей «длине» (каждая точка при этом покрывается один и только один раз) некоторым количеством «частей», равным N=b. Эти «части» представляют собой отрезки (k−1)X/b≤x, где k изменяется от 1 до b. Каждая часть может быть получена из целого с помощью преобразования подобия с коэффициентом r(N)=1/b=1/N.

Евклидова размерность плоскости равна 2. Отсюда аналогичным образом следует, что при любом значении b «целое», состоящее из прямоугольника с длинами сторон 0≤xи0≤y, может быть без остатка «разбито» на N=b^>2 частей. Части эти представляют собой прямоугольники, определяемые системой уравнений

Где k и h изменяются от 1 до b. И здесь каждая часть может быть получена из целого с помощью преобразования подобия с коэффициентом r(N)=1/b=1/N^>1/2.

В случае прямоугольного параллелепипеда аналогичное рассуждение приводит нас к коэффициенту