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

Фрактальные пены обобщаются аналогичным образом. При E=3 «густые» пены дают размерность D= ln (b 3 −1)/ ln b , а «разреженные» — D= ln (6b 2 −12b+8)/ ln b . Если пустоты велики, а размерность близка к 2, то пена похожа на чрезмерно ноздреватый эмментальский сыр; при малых пустотах и D~3 пена напоминает другой изысканный сыр — аппенцелльский.

Тремы губок сливаются в одно целое, в то время как тремы ковров и пен представляют собой изолированные друг от друга пустоты, подобные паузам в канторовой пыли (см. главу 8). Распределение их линейного масштаба Λ подчиняется правилу

Nr(Λ>λ)∝Fλ −D ,

где F — константа. Это правило нам хорошо известно еще с рассмотрения пустот в канторовой пыли, а также островов и кластеров в главе 13.

Решеткой в стандартной геометрии называется совокупность параллельных прямых, ограничивающих одинаковые квадраты, треугольники или другие регулярные фигуры. Этот же термин, судя по всему, применим и к правильным фракталам, любые две точки которых могут быть соединены одна с другой двумя различными путями, нигде более не пересекающимися. В случае неправильного — например, случайного — фрактала решетку я заменяю сетью.

При более внимательном сравнении стандартных и фрактальных решеток становятся заметны весьма значительные различия. Первое заключается в том, что стандартные решетки инвариантны при сдвигах, но не при масштабировании, тогда как для фрактальных решеток верно обратное. Второе различие: при уменьшении размера ячейки стандартной решетки решетка в пределе сходится в плоскость. Кроме того, некоторые стандартные решетки можно интерполировать, помещая дополнительные прямые посередине между уже существующими прямыми и продолжая этот процесс до бесконечности. В этом случае решетка также сходится в плоскость. Аналогичным образом, если возможна интерполяция стандартной пространственной решетки, то пределом ее становится все пространство. То есть предел стандартной решетки не является решеткой. В случае фракталов ситуация прямо противоположна: пределом приближенной фрактальной решетки является фрактальная же решетка.

Термин применим и к фрактальным пенам — их можно считать разветвленными фрактальными решетками.

Основное правило.Во многих случаях при изучении фракталов важно знать размерности линейных и плоских сечений. Основное наблюдение здесь (мы воспользовались им в главе 10 для того, чтобы показать, что размерность турбулентности D>2 ) касается сечения плоской фрактальной фигуры интервалом, «независимым от фрактала». Оказывается, если сечение непусто, то его размерность «почти наверняка» составляет величину D−1 .

Соответствующее значение для пространственного случая D−2 .

Исключения.К сожалению, этот результат весьма сложно проиллюстрировать, имея дело с неслучайными фракталами, обладающими осями симметрии. Интервалы, на которые мы первым делом обращаем внимание, параллельны этим осям и, как следствие, нетипичны, а почти любое простое сечение каким-либо другим интервалом принадлежит исключительному множеству, к которому общее правило не применимо.

Возьмем, например, ковер Серпинского, троичную губку Менгера и троичную пену. Значение D−1 , которое почти наверняка должно оказаться размерностью сечения плоской фигуры отрезком, будет, соответственно, равно:

ln(8/3 )/ ln3

ln ( 20/9 )/ ln3 и

ln ( 26/9 )/ ln3.

Обозначим через х абсциссу интервала, параллельного оси у ковра Серпинского. Если число x , записанное в троичной системе счисления, оканчивается на бесконечную последовательность нулей и двоек, то сечения сами представляют собой интервалы, а значит D=1 — больше, чем мы ожидали. Если же х оканчивается на бесконечную последовательность единиц, то сечения являются пылевидными канторовыми множествами с размерностью D= ln2 / ln3, которая слишком мала. А если x оканчивается периодической последовательностью периода M , включающей в себя pM единиц и (1−p)M нулей или двоек, то размерность сечений имеет вид D=p( ln2 / ln3 )+(1−p) . Ожидаемое значение D получается лишь при p~0,29 . < То же верно и в случае случайной последовательности цифр в троичной записи числа x . ► Таким образом, мы получаем три различных размерности — наибольшую, наименьшую и среднюю.

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

Что касается салфетки Серпинского, ее наиболее вероятная размерность D= ln ( 3/2 )/ ln2, однако значения размерности «естественных» сечений варьируются от 1 до 0. Например, если короткий интервал, проходящий через середину одной из сторон салфетки, достаточно близок к перпендикуляру, то его пересечением с салфеткой будет одна-единственная точка (размерность сечения D=0 ).

Разнообразие этих особых сечений отчасти объясняется регулярностью исходных фигур. С другой стороны, наиболее экономичное сечение (причем необязательно прямой линией) неизбежно является основой понятий топологической размерности и степени ветвления, к которым мы сейчас и переходим.

Как мы уже отмечали, термин «кривая» используется в настоящем эссе как эквивалент фразы «связная фигура с топологической размерностью D T =1 ». Вообще говоря, математик сочтет такую формулировку не совсем удовлетворительной, точные же выражения для этого понятия весьма деликатны. К счастью, для того, чтобы объяснить, почему любая кривая Коха с инициатором [0, 1] заслуживает звания кривой, нам в главе 6 хватало одного простого соображения: как и сам интервал [0, 1], кривая Коха связна, однако становится несвязной при удалении любой принадлежащей ей точки кроме 0 и 1. А граница снежинки похожа в этом отношении на окружность — она связна, но становится несвязной, если удалить любые две ее точки.

Выражаясь более педантично (как нам теперь и подобает), топологическая размерность определяется рекурсивно. Для пустого множества D T =−1 . Для любого другого множества S значение D T на единицу больше, чем наименьшая размерность D T разъединяющего множество S «сечения». Размерность конечных и канторовых пылевидных множеств D T =1−1=0 , так как для их разъединения требуется удалить пустое множество. Следующие же связные множества становятся несвязными при удалении «сечения» с размерностью D T =0 : окружность, интервал [0, 1], граница снежинки Коха, салфетка и ковер Серпинского, губки Менгера. (В трех последних случаях достаточно избежать особых сечений, включающих в себя интервалы.) Следовательно, размерность всех перечисленных множеств D T =1 .