Я утверждаю, что кривая Коха является грубой, но математически строгой моделью береговой линии. В качестве первой количественной проверки рассмотрим длину L(ε)
троичного терагона Коха, длина сторон которого равна ε. На этот раз длину кривой можно измерить точно, получив при этом чрезвычайно удовлетворительный результат:L(ε)=ε
1−D.Эта точная формула оказывается идентичной эмпирическому закону Ричардсона о длине побережья Британии. Для троичной кривой Коха имеем
D=
ln4/ln3≈1,2618,откуда следует, что значение D
находится внутри интервала значений, полученных Ричардсоном!< Доказательство:
Очевидно, что L(1)=1, аL(ε/3)=(4/3)L(ε)
.Это уравнение имеет решение вида L(ε)=ε
1−D если D удовлетворяет соотношению 3D−1=4/3.Следовательно, D=
ln4/ln3, что и следовало доказать. ►Разумеется, в случае кривой Коха показатель D
представляет собой не эмпирическую, а математическую постоянную. Таким образом, аргументы в пользу того, чтобы считать этот показатель размерностью, становятся еще более убедительными, чем в случае береговых линий.С другой стороны, аппроксимативная хаусдорфова протяженность в размерности 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=b2 частей. Части эти представляют собой прямоугольники, определяемые системой уравнений
Где k
и h изменяются от 1 до b. И здесь каждая часть может быть получена из целого с помощью преобразования подобия с коэффициентом r(N)=1/b=1/N1/2.В случае прямоугольного параллелепипеда аналогичное рассуждение приводит нас к коэффициенту r(N)=1/N
1/3.Не возникает никаких сложностей и с определением пространств, евклидова размерность E
которых больше 3. (Здесь и далее мы будем обозначать евклидову — или декартову — размерность буквой E.) Для всех D-мерных параллелепипедов (D) соблюдается равенствоr(N)=1/N
1/D.Таким образом,
Nr
D=1.Эквивалентные альтернативные выражения имеют следующий вид:
lnr(N)=
ln(1/N1/D)=−(lnN)/D,D=−
lnN/lnr(N)=lnN/ln(1/r)=.Перейдем теперь к нестандартным фигурам. Для того, чтобы показатель самоподобия имел формальный смысл, необходимо лишь, чтобы рассматриваемая фигура была самоподобной, т. е. чтобы ее можно было разбить на N
частей, каждая из которых может быть получена из целой фигуры с помощью преобразования подобия с коэффициентом r (в сочетании со смещением или преобразованием симметрии). Полученная таким образом величина D всегда удовлетворяет равенству0≤D≤E
.В случае троичной кривой Коха N=4
, а r=1/3, отсюда D=ln4/ln3, что полностью совпадает с хаусдорфовой размерностью.