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

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

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

198

Масштабно-инвариантные фракталы о IV

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

РАЗВЕТВЛЕННЫЕ ФРАКТАЛЫ КАК КРИВЫЕ И ПОВЕРХНОСТИ

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

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