Бенуа Мандельброт - Фрактальная геометрия природы

L(ε)~Fε 1−D .

Значение показателя D зависит, по всей видимости, от характера измеряемой береговой линии, причем различные участки этой линии, рассматриваемые по отдельности, могут дать различные D . Для Ричардсона величина D была просто удобным показателем, не имеющим какого-либо особенного смысла. Однако похоже, что значение этого показателя не зависит от выбранного метода оценки длины береговой линии. А значит, он заслуживает самого пристального внимания.

Изучив работу Ричардсона, я предположил [356], что хотя показатель D не является целым числом, его можно и нужно понимать как размерность — точнее, как фрактальную размерность. Разумеется, я вполне осознавал, что все вышеперечисленные методы измерения L(ε) базируются на нестандартных обобщенных определениях размерности, уже применяемых в чистой математике. Определение длины, основанное на покрытии береговой линии наименьшим числом пятен радиуса ε , используется в [481] для определения размерности покрытия. Определение длины, основанное на покрытии береговой линии лентой шириной 2ε , воплощает идею Кантора и Минковского (см. рис. 56), а соответствующей размерностью мы обязаны Булигану. Однако эти два примера лишь намекают на существование многих размерностей (большинство из которых известны лишь немногим специалистам), которые блистают в различных узкоспециализированных областях математики. Некоторые из этих размерностей мы обсудим более подробно в главе 39.

Зачем математикам понадобилось вводить это изобилие различных размерностей? Затем, что в определенных случаях они принимают различные значения. К счастью, с такими случаями вы в этом эссе не встретитесь, поэтому список возможных альтернативных размерностей можно с чистой совестью сократить до двух, о которых я, правда, еще не упоминал. Старейшая и подробнее исследованная размерность из нашего списка восходит еще к Хаусдорфу и служит для определения фрактальной размерности — очень скоро мы ею займемся. Вторая, более простая, размерность называется размерностью подобия: она носит не такой общий характер, как первая размерность, однако оказывается более чем адекватной во многих случаях — ее мы рассмотрим в следующей главе.

Разумеется, я не собираюсь приводить здесь математическое доказательство того, что показатель Ричардсона D является размерностью. Честно говоря, я не представляю, как можно провести такое доказательство в рамках какой бы то ни было естественной науки. Я хочу лишь обратить внимание читателя на тот факт, что понятие длины ставит перед нами концептуальную задачу, а показатель D предоставляет удобное и изящное решение. Теперь, когда фрактальная размерность заняла свое место в изучении береговых линий, вряд мы захотим, из каких бы то ни было особенных соображений, возвращаться к тем временам, когда мы бездумно и наивно полагали D=1 . Тому, кто все еще считает D=1 , придется теперь постараться, если он пожелает доказать свою правоту.

Следующий шаг — объяснение формы береговых линий и выведение значения D из других, более фундаментальных соображений — я предлагаю отложить до главы 28. На этом этапе достаточно сказать, что в первом приближении D=3/2 . Это значение слишком велико, чтобы верно описывать факты, однако его более чем достаточно для того, чтобы мы могли заявить: можно, должно и естественно полагать, что размерность береговой линии превосходит обычное евклидово значение для кривой D=1 .

Если согласиться с тем, что различные естественные береговые линии обладают бесконечной длиной, а также с тем, что значение длины, основанное на антропометрической величине ε , дает лишь частичное представление о реальном положении дел, то каким образом можно сравнить между собой разные берега? Так как бесконечность ничем не отличается от бесконечности, умноженной на четыре, много ли нам будет проку от утверждения, что длина любого берега в четыре раза больше, чем длина любой из его четвертей? Необходим лучший способ для выражения вполне разумной идеи о том, что кривая должна обладать некоторой «мерой», причем эта мера для всей кривой должна быть в четыре раза больше, чем та же мера для любой из ее четвертей.

В высшей степени остроумный метод для достижения этой цели предложил Феликс Хаусдорф. В основе его метода лежит тот факт, что линейная мера многоугольника вычисляется сложением длин его сторон без каких бы то ни было их преобразований. Можно предположить, что эти длины сторон возводятся в степень D=1 , равную евклидовой размерности прямой (причина такого предположения вскоре станет очевидной). Аналогичным образом вычисляется мера поверхности внутренней области замкнутого многоугольника — посредством покрытия ее квадратами, нахождения суммы длин сторон этих квадратов и возведения ее в степень D=2 (евклидова размерность плоскости). Если же использовать при вычислениях «неверную» степень, то результат этих вычислений не даст нам никакой полезной информации: площадь любого замкнутого многоугольника окажется равной нулю, а длина его внутренней области будет бесконечной.

Рассмотрим с таких позиций полигональную (кусочно-линейную) аппроксимацию береговой линии, составленной из малых интервалов длины ε . Возведя длину интервала в степень D и умножив ее на число интервалов, мы получим некую величину, которую можно предварительно назвать «аппроксимативной протяженностью в размерности D ». Так как, согласно Ричардсону, число сторон равно N=Fε −D то наша аппроксимативная протяженность принимает значение Fε D Fε −D =F .

Таким образом, теоретически аппроксимативная протяженность в размерности D не зависит от ε . На практике же можно наблюдать лишь незначительное изменение этой аппроксимативной протяженности при изменении е.

Кроме того, получает простое подтверждение и обобщение тот факт, что длина внутренней области квадрата бесконечна: аппроксимативная протяженность береговой линии, определенная при любой размерности d , стремится к бесконечности при ε→0 . Так же обстоит дело и с равенством нулю площади и объема прямой. При любом d>D соответствующая аппроксимативная протяженность береговой линии стремится к нулю при ε→0 . То есть аппроксимативная протяженность береговой линии демонстрирует благоразумное поведение тогда и только тогда, когда d=D .