Можно ли дать самое общее математическое определение гладким пространствам? По-видимому, «фрактальные объекты» Бенуа Мандельброта находятся как раз на этом пути. Фракталы суть совокупности, чья размерность является дробной, а не целой, или же целой, но с непрерывным варьированием направления. Например, сегмент, где центральную треть мы заменяем углом равностороннего треугольника, а затем ту же операцию повторяем на каждом из четырех образовавшихся сегментов, и так далее до бесконечности, следуя отношению однородности, — такой сегмент будет конституировать бесконечную линию или кривую с размерностью выше 1, но ниже размерности поверхности (= 2). Сходные результаты могут быть получены просверливанием или вырезанием «бухточек» в круге, а не посредством добавления «мысы» треугольнику; также можно рассмотреть и куб, где дырки просверливаются согласно принципу однородности, в результате чего он становится меньше, чем объем, и больше, чем поверхность (в этом состоит математическое представление о сходстве свободного пространства и дырчатого пространства). А еще — в других формах — броуновское движение, турбулентность и облака являются такими «фрактальными объектами».[667]
Возможно, мы располагаем новым способом определенияКривая фон Коха: больше, чем линия, но меньше, чем поверхность. В сегменте АЕ (1) выделяется вторая треть и заменяется треугольником BCD (2). И (3) данная операция повторяется по отдельности во всех сегментах — АВ, ВС, CD и DE. в результате получается угловатая линия, все сегменты которой равны. На каждом из таких сегментов мы повторяем третий раз (4) то, что было проделано в (2) и (3), и так далее до бесконечности. в пределе мы получаем некую «кривую», состоящую из бесконечного числа угловых точек и не имеющую касательной ни к одной из них. Длина такой кривой бесконечна и ее размерность выше единицы: она представляет пространство размерностью 1,261859 (а точнее: log 4 / log 3).
Губка Серпинского[668]
больше, чем поверхность, но меньше, чем объем! Закон, согласно которому этот куб пуст, на первый взгляд можно постичь интуитивно — каждый квадрат окружен восьмью квадратными дырками в треть от его стороны; такие восемь дырок сами окружены восемью дырками еще в треть от их стороны. И так до бесконечности. чертеж не может отобразить бесконечность дыр исчезающего размера ниже четвертого порядка, но ясно, что этот куб в пределе бесконечно пуст. Его общий объем приближается к нулю, вся боковая поверхность из пустот бесконечно возрастает. Размерность данного пространства 2,7268. Она, следовательно, «заключена» между поверхностью (с размерностью 2) и объемом (с размерностью 3). «Ковер Серпинского» — одна из граней такого куба; значит, пустоты — это квадраты, а размерность «поверхности» — 1,2618. (Воспроизводится по: Studies Geometry, L'eonard Blumenthal and Karl M'e Freeman and company, 1970).