Сферические тремы и решетки. Построение ковра Серпинского

Году. Также известен как «решётка» или «салфетка» Серпинского.

Построение

Берётся сплошной равносторонний треугольник, на первом шаге из центра удаляется внутренность серединного треугольника . На втором шаге удаляется три срединных треугольника из трёх оставшихся треугольников и т. д. После бесконечного повторения этой процедуры, от сплошного треугольника остаётся подмножество - треугольник Серпинского.

Построение треугольника Серпинского

Треугольник Серпинского можно также получить по следующему алгоритму:

Взять три точки на плоскости, и нарисовать треугольник.
Случайно выбрать любую точку внутри треугольника, и продвинуться на половину расстояния от этой точки к любой из трёх вершин треугольника.
Отметить текущую позицию.
Повторить с шага 2.

Свойства

См. также

Wikimedia Foundation . 2010 .

Смотреть что такое "Салфетка Серпинского" в других словарях:

Треугольник Серпинского фрактал, один из двумерных аналогов множества Кантора, предложенный польским математиком Серпински … Википедия

Ковёр (квадрат) Серпинского Ковёр Серпинского (квадрат Серпинского) фрактал, один из двумерных аналогов множества Кантора, предложенный польским математиком Вац … Википедия

Ковёр Серпинского фрактал, один из двумерных аналогов множества Кантора предложенный польским математиком Вацлавом Серпинским. Также известен как квадрат Серпинского. Содержание 1 Построение … Википедия

- (далее кривая) наиболее общее (но не чрезмерно) определение кривой, введённое Урысоном в 1921. Это определение обобщает определение Кантора на произвольную размерность. Определение формулируется следующим образом: Кривой называется связное… … Википедия

Кривая Урысона (далее кривая) наиболее общее (но не чрезмерно) определение кривой, введённое Урысоном в 1921. Это определение обобщает определение Кантора на произвольную размерность. Определение формулируется следующим образом: Кривой… … Википедия

Коврик Серпинского Ковёр Серпинского фрактал, один из двумерных аналогов множества Кантора предложенный польским математиком Вацлавом Серпинским. Также известен как квадрат Серпинского. Содержание 1 Построение … Википедия

Множество Мандельброта классический образец фрактала … Википедия

Книги

, Гашков С.Б.. В книге рассказывается о любопытной связи задачи о сложении чисел в двоичной записи с алгеброй логики, многочленами Жегалкина, треугольником Паскаля, салфеткой Серпинского и теоремой Куммера…
Сложение однобитных чисел. Треугольник Паскаля, салфетка Серпинского и теорема Куммера , С. Б. Гашков. В книге рассказывается о любопытной связи задачи о сложении чисел в двоичной записи с алгеброй логики, многочленами Жегалкина, треугольником Паскаля, салфеткой Серпинского и теоремой Куммера…

Прежде, расскажем о парадоксальных задачах, связанных с коврами.

Первая задача, называется «немного о надкусывании».

Представьте себе, что вы выдрессировали крыс - они научились отгрызать ровно половину наличного сыра. Если вы будете выпускать их на сыр не всем гуртом, а по одной, то каждая следующая откусит половину от того, что осталось, а оставшаяся часть будет уменьшаться и уменьшаться с каждой надкусившей сыр крысой. Но если вы обзавелись бесконечным количеством крыс, то в конце концов (смешно звучит по отношению к бесконечности, зато честно) от сыра ничего не останется. Действительно, первая ест одну вторую сыра, вторая - одну четвёртую, т.е. половину от половины, третья - одну восьмую, т.е. половину от половины от половины. Всё съеденное считается так: .

а значит, крысы к концу бесконечности съедят весь сыр, что вы им выдали.

А вот если вы будете натаскивать грызунов на выкус одной третьей от всего наличного, всё будет несколько хитрее. Первая съест одну третью. Но вторая - не одну девятую. Почему?

Объяснение довольно просто. После того, как съела свою долю первая крыса, осталось сыра, а значит, вторая крыса съест от , т.е. . Третья, как можно посчитать, съест от т.е. , четвёртая - от , т.е. поняли принцип? В конечном счёте от сыра всё равно ничего не останется.

Теперь представьте, что вы разделили сыр пополам, и одну из частей (половин, но об этом крысы не знают) объявили запретной - например, посыпали ядом, - а от второй разрешили крысам откусывать половину. Как вы догадались, от разрешённой половины ничего не останется, а запретная останется вся.

Особо любопытна такая дрессировка крыс, при которой никакую половину сыра вы ядом не посыпаете, но что-то вам достаётся всё равно (это чтобы вы не отравились). Для этого, например, можно выучить крыс откусывать от стартового количества сыра. По окончании бесконечного обеда крысы оставят вам 1/3 сыра - это считается следующим образом:

В нашем случае от пяти надо отнять два, выйдет три, а если один поделить на три, выйдет как раз одна третья.

Если вы по какой-то причине пропустили эту цифирь, значит, вернётесь к ней через пару минут. Или лет. Или по прочтении поста. Или по вторичном прочтении. Или в следующей жизни. В конце концов, человек только тогда достигает совершенства, когда в одной из прошлых жизней он был математиком.

Но даже если вы вернётесь к цифири только в следующей жизни, вы неизбежно запомните вот это вот: .

Вторая задача называется «Немного о раскалывании».

Представьте, что вы решили повесить на стену тарелку. В доме нет ни клея, ни скотча - только гвозди. Вы пытаетесь прибить тарелку гвоздём, и она, разумеется, раскалывается на некоторое число кусочков. Кроме того, в месте, по которому вы ударили гвоздём, выкрошилось напрочь некоторое количество тарелки.

Но вы упорны. И вы пытаетесь прибить к стенке каждый осколок тарелки. Может быть, берёте гвозди поменьше. Разумеется, каждый из осколков крошится на свои, более мелкие осколки, а в серединках бывших осколков что-то безвозвратно выкрашивается. Ну и пусть.

Если быть бесконечно упорным и пытаться прибить осколки, получившиеся в результате бесконечного числа попыток, не останется ни кусочка тарелки, который не был бы проткнут гвоздём и не нёс бы выкрошенной дырочки. Но, как вы уже можете догадаться, вовсе не обязательно, что от тарелки ничего не останется. Всё зависит от того, как вы дрессировали ваши гвозди. Если они выкрашивают не слишком много тарелки, то общая площадь выкрошенного может быть и меньше, чем площадь оставшихся осколков. А может и больше - главное, что она будет меньше площади всей бывшей тарелки.

Польский учёный Вацлав Серпинский (1882-1969) не дрессировал крыс и не бил тарелки. Он был математиком. И самая известная его сюрреалистски-математическая акция заключалась в резьбе по салфеткам и коврам.

Рисунок 1. «Салфетка» Рисунок 2. Ковер

Две наиболее известные фигуры, придуманные Серпинским - «салфетка» (треугольник, из которого последовательно вырезаются треугольники всё меньшего размера, каждый площадью вчетверо меньше предыдущего) и ковёр (квадрат с вырезкой из квадратиков, каждый квадратик площадью вдевятеро меньше предыдущего).

Площадь получившейся после бесконечного числа вырезок фигуры - как салфетки, так и ковра - равна нулю. Да и не совсем фигуры это. Тут следует остановиться и сформулировать отличие фигуры от линии. С одной стороны, фигура, вроде бы, имеет площадь, а линия её не имеет. Ещё Евклид писал, что линия–это длина без ширины, а какая же площадь без ширины? Никакого раздолья! Но математиков это не удовлетворило, и они решили уточнить, что значит «без ширины». И договорились: если на чём-то выбрать точку и описать вокруг этой точки круг без границы (математики называют его деревенским словом «окрестность»), а потом начать его уменьшать, то если рано или поздно вся окрестность попадёт внутрь этого чего-то, то, значит, это была фигура. А если в окрестности всегда будут «чужие» точки, значит, это что-то было линия.

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

Но если вырезать из ковра квадратики чуть меньшей площади, может выйти и так, что оставшаяся часть будет иметь площадь больше, чем ноль. Скажем, если выкинуть сперва одну двадцать пятую (квадратик со стороной, в пять раз меньше исходного), потом восемь квадратиков, в двадцать пять раз меньше вырезанного на первом шаге, потом - шестьдесят четыре меньших ещё в пять раз… словом, вспомните то, что я предлагал вам запомнить, и убедитесь, что вырежется из такого ковра всего 1/17 часть. А 16/17 останется. Но в окрестности любой точки того, что останется, всё равно будут дырки. Такая вот линия с площадью.

А ведь можно вырезать и ещё меньшие квадратики! Да и не обязательно квадратики, было бы чётко задано правило, по которому мы вырезаем дырки и раскалываем то, что осталось, на новые кусочки. В каждом кусочке должна появиться дырка - вот и весь секрет изготовления линий из фигур. А от размера дырок зависит, будут ли линии иметь площадь, или останутся «длиной без ширины».

Фигуры Серпинского - пожалуй, самые простые и самые красивые из известных мне фракталов.

Ковёр Серпинского (квадрат Серпинского) - фрактал, один из двумерных аналогов множества Кантора, предложенный польским математиком Вацлавом Серпинским в 1915 году.

Рисунок 3. Ковер Рисунок 4. Ковер

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

Рисунок 5. Правильные способ вырезания квадратов на ковре Серпинского

Поскольку вырезаемые квадраты располагаются все более часто, в результате на ковре Серпинского не будет ни одного, даже самого маленького, квадрата без дырки.

Вычислим площадь ковра Серпинского, считая исходный квадрат единичным. Для этого достаточно вычислить площадь вырезаемых квадратов. На первом шаге вырезается квадрат площади . На втором шаге вырезается восемь квадратов, каждый из которых имеет площадь .

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

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

Также, как и раньше, в этом ковре Серпинского не будет ни одного, даже самого маленького, квадрата без дырки. Однако, в отличие от обычного ковра Серпинского его площадь отлична от нуля. Действительно, площадь вырезаемых квадратов представляет собой сумму геометрической прогрессии с начальным членом и знаменателем , т. е. равна 1. Поэтому площадь оставшейся части равна единице.

Можно рассмотреть треугольник и ковер Серпинского на комплексной плоскости и применяем к нему различные преобразования комплексной плоскости. Например, пусть треугольник Серпинского построен на единичном отрезке действительной оси.

И теперь применим к комплексной плоскости преобразование инверсии относительно центра треугольника: . Тогда получим следующую картинку (Рисунок 6).

Рисунок 6. Инверсия относительно центра

Ниже приведены картинки для .

Рисунок 7. Узор для

Тоже самое можно сделать и с ковром Серпинского. Пусть он построен на единичном квадрате.

Преобразование инверсии относительно центра ковра имеет вид .

Рисунок 8. Преобразование относительно центра ковра

Также можно применить инверсию относительно угла или возвести в квадрат.

Рисунок 10. Инверсия относительно угла

Список литературы:

Вайнберг, М.М. Функциональный анализ [Электронный ресурс]/ М.М. Вайнберг Специальный курс для педагогических институтов. Просвещение, 1979. 128 стр. http://rgho.st/49518130 (дата обращения 12.05.2018 г.)
Колмогоров, А.Н. Элементы теории функций и функционального анализа [Текст]/ А.Н. Колмогоров, С.В. Фомин, М.:Наука. 1981
Макаров, И.П. Дополнительные главы математического анализа [текст]/ И.П. Макаров. Учебное пособие для студентов физико-математичсеких факультетоа. Просвещение, М.: 1968
Морозов, А.Д. Введение в теорию фракталов [Текст]/ А.Д. Морозов, М.: «Институт компьютерных исследований», 2002.
Садовничий, В. А. Теория операторов [Текст]/ В. А. Садовничий 5-е изд. Дрофа, 2004. 384 стр. ISBN 5-7107-8699-3.

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

Математический аппарат, используемый в этой главе, не нов (хотя и известен очень немногим специалистам) - новым является мое применение его для описания Природы.

САЛФЕТКА СЕРПИНСКОГО - ОЧЕРЕДНОЕ ЧУДОВИЩЕ

Я предложил термин салфетка Серпинского для обозначения фигуры, изображенной на рис. 205. На рис. 207 показан пространственный вариант той же фигуры. Процедуры их построения описаны в пояснениях к рисункам.

У Хана читаем: «Точка кривой называется точкой ветвления, если граница сколь угодно малой ее окрестности содержит более чем две точки, принадлежащие той же кривой... Здравый смысл, судя по всему, настаивает на том, что никакая кривая просто не может состоять из одних лишь... точек ветвления. Это очевидное убеждение опровергается... кривой Серпинского, все точки которой являются точками ветвления».

ЭЙФЕЛЕВА БАШНЯ: ПРОЧНОСТЬ И ИЗЯЩЕСТВО

И опять Хан со своими взглядами сел в лужу, хотя надо признать, что не характерный для него выбор слов («судя по всему») оказывается весьма мудр. Мой первый контраргумент позаимствован из достижений инженерной мысли. (Перед тем, как приступить к рассмотрению компьютерных структур в конце главы 12, я уже говорил о том, что не усматриваю ничего нелогичного во включении искусственных систем со сложной структурой в настоящий труд, посвященный феноменам Природы.)

Я утверждаю, что (задолго до Коха, Пеано и Серпинского) в построенной Гюставом Эйфелем в Париже башне была осознанно воплощена идея фрактальной кривой, содержащей множество точек ветвления.

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

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

Бакминстер Фуллер открыл миру глаза на то, что секрет прочности скрыт в точках ветвления, однако умудренные опытом строители готических соборов знали об этом задолго до него. Чем дальше мы заходим в применении этого принципа, тем ближе подбираемся к идеалу Серпинского! Бывший ученик Безиковича Фримен Дайсон в поисках прочных и легких конструкций для своих межпланетных построек описал однажды бесконечно экстраполированную Эйфелеву башню (, с. 646).

КРИТИЧЕСКИЕ ПЕРКОЛЯЦИОННЫЕ КЛАСТЕРЫ

Вернемся снова к природе, вернее, к образу природы, описываемому статистической физикой. Я полагаю, что при изучении перколяции сквозь решетки нам просто не обойтись без кого-нибудь из родственников салфетки Серпинского. В главе 13, открывающей рассмотрение данного прецедента, утверждалось, что перколяционные кластеры фрактальны. Теперь я пойду дальше и скажу, что разветвленная структура салфетки Серпинского представляет собой весьма многообещающую модель структуры магистралей кластеров.

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

Наиболее явная причина заключена в тремах, оставшихся пустыми после удаления болтающихся связей (образовавшихся после сокращения кластера до магистрали) и кластеров, целиком содержащихся внутри заинтересовавшего меня кластера. Вторая причина: в главе 13 мы показали, что самоподобие является в высшей степени желательным свойством для геометрической модели перколяционного кластера, а ветвление салфетки Серпинского как раз самоподобно. И наконец, размерности этих двух структур настолько близки, что это едва ли может быть простым совпадением! Согласно оценке С. Киркпатрика, плоский кластер имеет размерность - поразительно близко к размерности салфетки Серпинского! Размерность же пространственного кластера почти совпадает с фрактальной размерностью асимметричной паутины на рис. 207. Кроме того, в показано, что идентичность размерности магистрали и размерности обобщенной салфетки сохраняется и в . Еще один аргумент в пользу «салфеточной» модели мы представим несколько позже в виде последнего приложения ветвления.

ТРОИЧНЫЙ КОВЕР СЕРПИНСКОГО

Перейдем от треугольных решеток к прямоугольным. Они демонстрируют большое разнообразие возможных конструкций - кривых на плоскости и в пространстве и поверхностей в пространстве. Что касается кривых, то они, несмотря на внешнее сходство с салфеткой Серпинского, весьма отличны от нее с фундаментальной точки зрения на ветвление, к которой мы еще вернемся после определения этих кривых.

Буквальное распространение на плоскость канторова метода удаления средних третей описано в пояснении к рис. 205; инициатором такого построения служит квадрат. Фрактал, получаемый бесконечным повторением этого процесса, широко известен под непритязательным названием троичного ковра Серпинского. Его размерность .

НЕТРОИЧНЫЕ ФРАКТАЛЬНЫЕ КОВРЫ

Для построения «ковра с большим медальоном в центре» запишем, как обычно, , где - целое число, большее 3; в качестве инициатора возьмем квадрат, в качестве тремы - квадрат со стороной с центром в той же точке, а в качестве генератора - узкое кольцо из квадратов со стороной . Размерность такого ковра имеет вид . Если взять нечетное целое , в качестве тремы - один подквадрат со стороной г и с центром в той же точке, что и центр инициатора, а в качестве генератора - широкое кольцо из малых квадратов, то получится «ковер с малым медальоном в центре». Размерность такого ковра имеет вид . Таким образом, в центрированных коврах можно получить сколь угодно близкое приближение к любому значению в интервале от 1 до 2.

Нецентрированные ковры определяются при . Например, при и можно разместить трему, состоящую из одного подквадрата, в правом верхнем подквадрате. Соответствующее предельное множество оказывается салфеткой Серпинского, построенной из треугольника, образующего левую нижнюю половину квадрата.

ТРОИЧНАЯ ФРАКТАЛЬНАЯ ПЕНА

Буквальное распространение троичного ковра на пространство начинается с удаления из куба в качестве тремы среднего подкуба (27-й части объема исходного куба), после чего остается «оболочка» из 26 подкубов. Получаемый посредством такой процедуры фрактал я предлагаю назвать троичной фрактальной пеной. Ее размерность .

Каждая трема здесь со всех сторон окружена непрерывной границей, разделенной на бесконечное множество бесконечно тонких слоев бесконечной плотности. Для того, чтобы попасть из точки, расположенной в одной треме, в точку, расположенную в другой треме, необходимо пройти сквозь бесконечное количество слоев. Это напоминает «пространственно-временную пену», которая, согласно Дж. А. Уилеру и Дж. У. Хокингу, составляет тончайшую структуру материи. Вынужден, однако, признаться, что я не владею этой темой в достаточной степени, поэтому не решусь обсуждать ее здесь.

ТРОИЧНАЯ ФРАКТАЛЬНАЯ ГУБКА МЕНГЕРА

Карл Менгер предлагает в качестве тремы другую фигуру: крест, из центра которого спереди и сзади торчит по выступу. При этом от куба остается связанных друг с другом подкубов со стороной 1/3. Из этих подкубов двенадцать образуют «брусья» или веревки, а остальные восемь являются узлами или соединителями. Размерность предельного множества (см. рис. 208) составляет . Я называю эту структуру губкой, так как здесь и творог, и сыворотка представляют собой связные множества. Можно представить себе, как между двумя любыми точками области сыворотки свободно течет вода.

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

НЕТРОИЧНЫЕ ГУБКИ И ПЕНЫ

Для получения обобщенных губок Менгера с нетроичным основанием , трема должна представлять собой комбинацию из трех цилиндров с квадратными основаниями с соблюдением следующих условий: ось каждого из цилиндров должна совпадать с одной из осей единичного куба, длина каждого цилиндра должна быть равна 1, а стороны его основания должны быть параллельны другим осям куба. Чем больше длина стороны основания, тем «легче» получаемая губка. Наибольшая возможная длина стороны основания для случая составляет , генератор при этом имеет вид комбинации кубов со стороной . Отсюда размерность . Аналогичным образом получаем «плотную» губку (только при нечетном ) - длина стороны основания цилиндра в этом случае равна . При генератор имеет вид комбинации кубов со стороной . И размерность теперь равна .

Фрактальные пены обобщаются аналогичным образом. При «густые» пены дают размерность , а «разреженные» - . Если пустоты велики, а размерность близка к 2, то пена похожа на чрезмерно ноздреватый эмментальский сыр; при малых пустотах и пена напоминает другой изысканный сыр - аппенцелльский.

РАСПРЕДЕЛЕНИЕ РАЗМЕРОВ ПУСТОТ

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

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

ПОНЯТИЕ О ФРАКТАЛЬНОЙ СЕТИ. РЕШЕТКИ

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

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

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

ФРАКТАЛЬНЫЕ РАЗМЕРНОСТИ СЕЧЕНИЙ

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

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

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

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

Обозначим через х абсциссу интервала, параллельного оси у ковра Серпинского. Если число , записанное в троичной системе счисления, оканчивается на бесконечную последовательность нулей и двоек, то сечения сами представляют собой интервалы, а значит - больше, чем мы ожидали. Если же х оканчивается на бесконечную последовательность единиц, то сечения являются пылевидными канторовыми множествами с размерностью , которая слишком мала. А если оканчивается периодической последовательностью периода , включающей в себя единиц и нулей или двоек, то размерность сечений имеет вид . Ожидаемое значение получается лишь при . < То же верно и в случае случайной последовательности цифр в троичной записи числа . Таким образом, мы получаем три различных размерности - наибольшую, наименьшую и среднюю.

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

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

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

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

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

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

Исходя из тех же соображений, фрактальная пена представляет собой поверхность с размерностью .

Рассмотрим еще один вариант доказательства того, что для салфетки, всех ковров и всех губок с топологическая размерность . Поскольку есть целое число , из неравенства следует, что должна быть равна либо 0, либо 1. Но рассматриваемые множества являются связными, значит размерность не может быть меньше 1. Единственное решение: .

СТЕПЕНЬ ВЕТВЛЕНИЯ КРИВОЙ

Топологическая размерность и соответствующие понятия пыли, кривой и поверхности дают нам лишь классификацию первого уровня.

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

Рассмотрим, как можно применить к кривым параллельное различие, основанное на количестве содержащихся в множестве точек (< его «мощности» ), что приведет нас к топологическому понятию степени ветвления, определенному в начале двадцатых годов Паулем Урысоном и Карлом Менгером. Это понятие почти не упоминается в математической литературе (за исключением трудов самих первопроходцев), зато приобретает все большее значение в физике - любое чудовище проще изучать в прирученном виде, нежели в диком. Оно показывает также, что, рассматривая сначала салфетку, а лишь затем ковер, мы будем руководствоваться не только эстетическими соображениями или стремлением к завершенности.

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

Окружность. Для плавного перехода от стандартной геометрии к фрактальной начнем с того, что назовем множеством окружность радиуса 1. Окружность с центром в точке пересекает в точках, за исключением тех случаев, когда радиус больше 2 - при этом . Диск, ограниченный окружностью , называется окрестностью точки . Таким образом, любая точка лежит в какой-либо произвольно малой окрестности, граница которой пересекает в точках. Вот, собственно, и все: если является границей некоторой общей окрестности точки , не обязательно круглой, но «не слишком большой», то равно, по меньшей мере, 2. Слова «не слишком большой» в предыдущем предложении могут, несомненно, внести путаницу, однако избежать их, к сожалению, не представляется возможным. Величина называется степенью ветвления окружности. Заметим, что для всех точек окружности эта величина неизменна.

Салфетка. Положим теперь, что множество - это салфетка Серпинского, построенная с помощью трем. Здесь уже не является одинаковым для всех точек . Позвольте мне, воспользовавшись рассуждениями Серпинского, показать, что во всех точках множества, за исключением вершин инициатора, значение может быть равным либо либо.

Значение относится к вершинам любого конечного приближения к с помощью треугольников. Вершина для аппроксимации порядка является общей вершиной для двух треугольников с длиной стороны 2 . Окружности с центром в точке и радиусом (при ) пересекают множество в 4 точках и ограничивают произвольно малые окрестности точки . А если ограничивает «достаточно малую» окрестность точки (при том, что вершины инициатора лежат вне ), то можно показать, что пересекает , по меньшей мере, в 4 точках.

Значение характеризует любую точку множества , являющуюся пределом бесконечной последовательности треугольников, каждый из которых содержится внутри предшествующего ему треугольника и имеет вершины, отличные от вершин своего предшественника. Окружности, описанные вокруг этих треугольников, пересекают множество в 3 точках, ограничивая при этом произвольно малые окрестности точки . В этом случае, если ограничивает достаточно малую окрестность точки (вершины инициатора здесь также должны лежать вне ), то можно показать, что пересекает , по меньшей мере, в 3 точках.

Ковры. Когда множество является ковром Серпинского, мы получаем радикально иной результат. Пересечение границы любой достаточно малой окрестности и представляет собой несчетно бесконечное множество точек, причем независимо от параметров , или .

Замечание. В этой дихотомии конечного/бесконечного салфетка немногим отличается от стандартных кривых, в то время как ковры неотличимы от плоскости.

Однородность. Единственность. Обозначив через и наименьшее и наибольшее значения , достижимые в точке, принадлежащей множеству , Урысон доказывает, что . Ветвление называется однородным, если выполняется равенство , так бывает, когда , как в простых замкнутых кривых, или когда .

Для других решеток, где , я предлагаю термин квазиоднородные. Самый простой и широкоизвестный пример таких решеток - самоподобная салфетка Серпинского. Другие неслучайные примеры входят в собранную Урысоном коллекцию (см. ) и не являются самоподобными. Таким образом, условиям квазиоднородности и самоподобности одновременно удовлетворяет только одно известное множество - салфетка Серпинского. Можно ли строго подтвердить эту, судя по всему, единственность?

Стандартные решетки. Здесь степень ветвления варьируется от минимального значения 2 для всех точек решетки, за исключением узлов, до переменного конечного максимального значения, достигаемого в узлах решетки: 4 (квадратная решетка), 6 (треугольная или кубическая решетка) или 3 (шестиугольная решетка). Однако по мере уменьшения размера ячейки стандартной решетки любого типа она трансформируется из кривой в область плоскости, и степень ее ветвления устремляется к бесконечности.

Последнее становится более очевидным, если заменить бесконечно малое на бесконечно большое в решетке с фиксированным размером ячеек. Для того, чтобы изолировать все увеличивающуюся область решетки, придется пересечь неограниченно большое количество точек.

Формальное определение. < См. и , с. 442.

ПРАКТИЧЕСКИЕ ПРИМЕНЕНИЯ ВЕТВЛЕНИЯ

Зададим себе привычный вопрос. Как бы ни занимали математиков фигуры Серпинского, Менгера и им подобные, не очевидно ли, что для человека, изучающего Природу, степень ветвления не может представлять никакого интереса? Ответ так же привычен - для нас с вами! - как и вопрос. Степень ветвления обретает значимость уже в «реальном мире» конечных аппроксимаций, получаемых при остановке ведущей к фракталу интерполяции при некотором положительном конечном внутреннем пороге .

В самом деле, если дано приближение салфетки Серпинского, составленное из заполненных треугольников с длиной стороны , то можно разъединить область, линейный масштаб которой превышает , простым удалением трех или четырех точек, каждая из которых принадлежит границе между двумя соседними пустотами. Это число (3 или 4) не изменяется при улучшении приближения. Следовательно, с точки зрения ветвления, все приближения салфетки можно считать кривыми.

Все ковры, напротив, обладают общим свойством: никакая пара пустот не имеет общей границы. Для разъединения конечного приближения такой фигуры, при рассмотрении которой мы игнорируем пустоты, меньшие , необходимо удалять целые интервалы. И количество этих интервалов возрастает по мере того, как . Уайберн показал, что все фрактальные кривые, обладающие этим свойством, топологически идентичны (< гомеоморфны ) и характеризуются тем, что никакая их часть не может быть отделена удалением одной точки.

С учетом предыдущих замечаний неудивительно, что конечность ветвления находит столь явные и четко очерченные области применения в тех случаях, когда фрактальная геометрия оказывается призвана подробно определить, в какой пропорции плоская фрактальная кривая сочетает в себе два своих стандартных предела: прямую и плоскость. Обобщая, можно сказать, что знать фрактальную размерность кривой отнюдь не достаточно. Например, при исследовании критических феноменов для моделей Изинга на фрактальной решетке авторами работы было установлено, что наиболее важные результаты (< будь то при нулевой или при положительной температуре ) непосредственно зависят от конечности величины .

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

АЛЬТЕРНАТИВНАЯ ФОРМА ВЕТВЛЕНИЯ

Существуют два варианта снежинки Коха, которые достигают ветвления без образования петель. Первый - плоская кривая, инициатором которой является квадрат, а генератор выглядит следующим образом:

Как видно из рисунка, получаемая кривая ничуть не похожа на снежинку:

Другой пример - поверхность с нулевым объемом, бесконечной площадью и размерностью, равной . Инициатором служит правильный тетраэдр. К средней четверти каждой грани (т. е. к треугольнику, вершинами которого являются середины ограничивающих грань ребер) приставляется другой тетраэдр, линейные размеры которого уменьшены в два раза. Процедура повторяется с каждой гранью получающегося в результате правильного (асимметричного и невыпуклого) 24-гранника, а затем снова и снова до бесконечности. Начиная со второго этапа построения, добавляемые тетраэдры касаются друг друга гранями без самопересечений. В конце концов они заполняют всю поверхность инициатора. Назовем каждую четверть этой конструкции, выросшую на одной из граней инициатора, пирамидой Коха.

ТАЙНЫ ПИРАМИДЫ КОХА

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

Если смотреть сверху, пирамида Коха - это тетраэдр, основанием которого служит равносторонний треугольник. Что касается трех остальных граней, то они представляют собой прямые равнобедренные треугольники, соединенные вершинами при прямых углах. Если приложить три пирамиды Коха к трем граням правильного тетраэдра, то получится простой куб.

А теперь поднимем нашу пирамиду вверх и стряхнем с нее песок пустыни. Рассматривая ее основание с некоторого расстояния, мы видим, что оно разделяется на четыре равных равносторонних треугольника. Однако на месте среднего треугольника находится отверстие, ведущее в «камеру первого порядка», которая имеет форму правильного тетраэдра, четвертая вершина которого совпадает с верхушкой пирамиды. Подойдя ближе и получив возможность разглядеть более мелкие детали, мы обнаруживаем, что и находящиеся в углах основания правильные треугольники, и верхние грани камеры первого порядка также не являются гладкими поверхностями. Их гладкость нарушается тетраэдральными камерами второго порядка. Аналогичным образом, при исследовании камер второго порядка, мы видим, что в середине каждой треугольной стены имеется треугольное же отверстие, ведущее в камеру третьего порядка. Чем глубже мы погружаемся в пирамиду, тем меньшие камеры открываются нашему взору, и конца им не видно.

Сумма объемов всех камер в точности равна объему всей пирамиды Коха. С другой стороны, если считать, что основания камер являются частью этих камер, а остальные три грани - нет, то окажется, что камеры не пересекаются ни в одной точке. Если бы строителям нашей пирамиды пришлось выдалбливать камеры в толще скалы, то им пришлось бы удалить всю породу, оставив лишь тонкую оболочку. Кривая, которой пирамида Коха опирается на плоскость, и «стены» камер представляют собой салфетки Серпинского.

СФЕРИЧЕСКИЕ ТРЕМЫ И РЕШЕТКИ

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

АНОНС: ЛАКУНАРНОСТЬ

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

Рис. 205. СТРЕЛА СЕРПИНСКОГО (РАЗМЕРНОСТЬ ГРАНИЦЫ D ~1,5849)

В Серпинский строит кривую, инициатором которой является интервал , а генератор и второй терагон выглядят следующим образом:

Последующие этапы построения имеют вид:

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

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

Стрелы, заполняющие плоскость. Стрела на рис. 205 (если положить ее набок, она будет больше похожа на тропическую рыбу) определяется как участок кривой Серпинского между двумя последовательными возвращениями в точку самокасания - в данном случае, в середину интервала . Такими стрелами можно заполнить плоскость; при этом соседние стрелы соединяются друг с другом в этакой безумной экстраполяции застежки Велькро. (Или, возвращаясь к предыдущей метафоре, плавники одной рыбы в точности помещаются между плавниками двух других рыб.) Кроме того, сплавив вместе четыре должным образом выбранных соседних стрелы, мы получим точно такую же стрелу, увеличенную вдвое.

Тремы салфетки Серпинского. Я называю кривую Серпинского салфеткой по альтернативному способу ее построения, который основан на вырезании «трем» - метод, широко используемый в главах 8 и 31- 35. Мы получаем салфетку Серпинского, имея в качестве инициатора, генератора, а также двух последующих этапов построения следующие замкнутые множества:

Этот трема-генератор содержит в себе вышеприведенный линейный генератор в качестве собственного подмножества.

Водораздел. Впервые я столкнулся со стрелой Серпинского - правда, тогда я еще не знал о Серпинском - при изучении формы одного водораздела .

Рис. 207. АСИММЕТРИЧНАЯ ФРАКТАЛЬНАЯ ПАУТИНА (РАЗМЕРНОСТЬ )

Эта паутина получается рекурсивным построением из замкнутого тетраэдра (инициатора) и совокупности четырех меньших тетраэдров (служащих генератором).

Ее размерность . Попробуем спроецировать ее вдоль линии, соединяющей середины любой из пар противоположных ребер. Проекцией тетраэдра-инициатора будет квадрат, который мы назовем исходным. Каждый тетраэдр второго поколения проецируется на подквадрат, длина стороны которого составляет 1/4 от длины стороны исходного квадрата, и т. д. Таким образом на исходный квадрат проецируется вся паутина целиком. Границы подквадратов перекрываются.

Рис. 208. КОВЕР СЕРПИНСКОГО (РАЗМЕРНОСТЬ ) И ГУБКА МЕНГЕРА (РАЗМЕРНОСТЬ )

Ковер Серпинского. В Серпинский строит кривую, инициатором которой является сплошной квадрат, а генератор и два следующих терагона представлены ниже:

Площадь такого ковра обращается в нуль, а общий периметр его пустот стремится к бесконечности.

Рис. 208. Губка Менгера. Принцип построения очевиден. Продолжая построение до бесконечности, мы получим некий остаток, называемый губкой Менгера. Я сожалею о том, что в своих предыдущих эссе ошибочно приписал ее авторство Серпинскому. (Рисунок воспроизводится по книге Леонарда М. Блюменталя и Карла Менгера «Геометрические этюды» с любезного разрешения ее издателей, компании W. Н. Freeman & Со. © 1970.) Пересечения губки с медианами или диагоналями исходного куба являются троичными канторовыми множествами.

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

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

Здесь мы снова встречаемся с двумя феноменами, знакомыми нам по главе 13: береговая линия каждого острова спрямляема, следовательно, размерность ее равна 1, размерность же салфетки или ковра выражает скорее степень фрагментации суши (т. е. степень ее разделенности на острова), нежели степень неправильности береговых линий островов.

В остальном результат совершенно нов: в главе 13 море представляет собой связное множество, что выглядит как должная топологическая интерпретация открытых морских пространств. Оно открыто и в смысле топологии множеств, т. е. его граница ему не принадлежит. Новизна, привнесенная настоящим построением, заключается в том, что коховы острова могут теперь асимптотически «сливаться» в некий сплошной сверхостров, однако континента из него не получается, а береговые линии образуют в сочетании решетку.

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

Рис. 210. РАСКОЛ В СНЕЖНЫХ ПАЛАТАХ (РАЗМЕРНОСТЬ D ~1,8687)

Давным-давно в далекой стране в прекрасных Снежных Палатах восседал Великий Правитель со своею свитой. Однако между его подданными произошел раскол, за ним последовала война, в которой ни одна из сторон не одержала верх. И тогда Мудрые Старейшины провели границу, разделившую Палаты надвое, дабы туда могли войти без опасения ступить на враждебную территорию и представители Севера, и представители Юга.

Загадки лабиринта. Кто контролирует Великую Палату и как можно войти в нее снаружи? Почему некоторые малые палаты оказываются несориентированы ни по какой стороне света? Подсказку можно найти на обезьяньем дереве на рис. 55.

Чтобы его получить, нужно взять (равносторонний) треугольник с внутренностью, провести в нём средние линии и выкинуть центральный из четырех образовавшихся маленьких треугольников. Дальше эти же действия нужно повторить с каждым из оставшихся трех треугольников, и т. д. На рисунке показаны первые три шага, а на флэш-демонстрации вы можете потренироваться и получить шаги вплоть до десятого.

Выкидывание центральных треугольников - не единственный способ получить в итоге треугольник Серпинского. Можно двигаться «в обратном направлении»: взять изначально «пустой» треугольник, затем достроить в нём треугольник, образованный средними линиями, затем в каждом из трех угловых треугольников сделать то же самое, и т. д. Поначалу фигуры будут сильно отличаться, но с ростом номера итерации они будут всё больше походить друг на друга, а в пределе совпадут.

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

Но и на этом не всё. Оказывается, треугольник Серпинского получается в результате одной из разновидностей случайного блуждания точки на плоскости. Этот способ называется «игрой Хаос». С его помощью можно построить и некоторые другие фракталы.

Суть «игры» такова. На плоскости зафиксирован правильный треугольник A 1 A 2 A 3 . Отмечают любую начальную точку B 0 . Затем случайным образом выбирают одну из трех вершин треугольника и отмечают точку B 1 - середину отрезка с концами в этой вершине и в B 0 (на рисунке справа случайно выбралась вершина A 1). То же самое повторяют с точкой B 1 , чтобы получить B 2 . Потом получают точки B 3 , B 4 , и т. д. Важно, чтобы точка «прыгала» случайным образом, то есть чтобы каждый раз вершина треугольника выбиралась случайно, независимо от того, что было выбрано в предыдущие шаги. Удивительно, что если отмечать точки из последовательности B i , то вскоре начнет проступать треугольник Серпинского. Ниже изображено, что получается, когда отмечено 100, 500 и 2500 точек.

Некоторые свойства

Варианты

Ковер (квадрат, салфетка) Серпинского. Квадратная версия была описана Вацлавом Серпинским в 1916 году. Ему удалось доказать, что любая кривая, которую можно нарисовать на плоскости без самопересечений, гомеоморфна какому-то подмножеству этого дырявого квадрата. Как и треугольник, квадрат можно получить из разных конструкций. Справа изображен классический способ: разделение квадрата на 9 частей и выбрасывание центральной части. Затем то же повторяется для оставшихся 8 квадратов, и т. д.

Как и у треугольника, у квадрата нулевая площадь. Фрактальная размерность ковра Серпинского равна log 3 8, вычисляется аналогично размерности треугольника.

Пирамида Серпинского. Один из трехмерных аналогов треугольника Серпинского. Строится аналогично с учетом трехмерности происходящего: 5 копий начальной пирамиды, сжатой в два раза, составляют первую итерацию, ее 5 копий составят вторую итерацию, и т. д. Фрактальная размерность равна log 2 5. У фигуры нулевой объем (на каждом шаге половина объема выбрасывается), но при этом площадь поверхности сохраняется от итерации к итерации, и у фрактала она такая же, как и у начальной пирамиды.

Губка Менгера. Обобщение ковра Серпинского в трехмерное пространство. Чтобы построить губку, нужно бесконечное повторение процедуры: каждый из кубиков, из которых состоит итерация, делится на 27 втрое меньших кубиков, из которых выбрасывают центральный и его 6 соседей. То есть каждый кубик порождает 20 новых, в три раза меньших. Поэтому фрактальная размерность равна log 3 20. Этот фрактал является универсальной кривой: любая кривая в трехмерном пространстве гомеоморфна некоторому подмножеству губки. У губки нулевой объем (так как на каждом шаге он умножается на 20/27), но при этом бесконечно большая площадь.

Регулярный фрактал, называемый салфеткой Серпинского, получается последовательным вырезанием центральных равносторонних треугольников так, как показано на рис. 2

Рисунок 2 - Построение салфетки Серпинского

В результате получается "дырявая" фигура (см. рис. 3), состоящая из бесконечного числа изолированных точек. Фрактальная размерность салфетки Серпинского подсчитывается по формуле (3)

Здесь на нулевом шаге мы имеем один равносторонний треугольник с длиной стороны, а на следующем три равносторонних треугольника со сторонами. Поэтому,а, . Салфетка имеет нулевую площадь, поскольку нетрудно проверить, что в процессе ее построения была исключена площадь, в точности равная площади исходного треугольника. Об этом же говорит и значение фрактальной размерности, которая меньше размерности плоскости, на которой находится этот объект.

Подсчитаем теперь периметр исключенных областей. Если сторона исходного треугольника была равна 1, то на первом шаге построения периметр центрального треугольника равен 3/2. На втором шаге к нему добавляются три новых треугольника с общим периметром, равным 9/4 и т.д. Очевидно, что на n-м шаге периметр P определяется суммой геометрической прогрессии

ковер серпинский фрактал алгоритм

Рисунок 3 - Салфетка Серпинского

С другой стороны, масштаб длины на n-м шаге равен. Поэтому формула приобретает вид, схожий с формулой (1) для длины береговой линии

где D определяется формулой (6)

Рисунок 4 - Инициирующий элемент и генератор для кривой Серпинского

Можно построить непрерывную линию, обладающую таким значением фрактальной размерности и геометрически эквивалентную салфетке Серпинского. Инициирующим элементом для такого построения берется отрезок единичной длины, который потом заменяется на конструкцию, называемую генератором, состоящую из трех отрезков длиной 1/2, расположенных под углом 120° друг к другу (см. рис. 4). Затем каждый из этих трех отрезков заменяется, в свою очередь, на генератор в два раза меньшего размера так, как показано на рис. 5 слева. Правая часть того же рисунка изображает следующий шаг процедуры. Контуры будущей салфетки Серпинского отчетливо проступают на следующих двух этапах (см. рис 5).

Рисунок 5 - Второй и третий шаги в построении кривой Серпинского

Эта процедура повторяется до бесконечности. Легко видеть, что каждое следующее изображение может быть получено из предыдущего путем склеивания трех уменьшенных в два раза копий, две из которых повернутся на угол 120° и - 120° относительно оригинала.

Рисунок 6 - Следующие два шага в построении кривой Серпинского

Аналогично салфетке Серпинского можно построить квадратный ковер Серпинского, который является двумерным аналогом канторовского множества исключенных средних третей.

Рисунок 7 - Построение квадратного ковра Серпинского

Рецепт его создания состоит в следующем. Вначале берется квадрат с длиной стороны, равной единице. Затем каждая из сторон квадрата делится на три равные части, а весь квадрат, соответственно, на девять одинаковых квадратиков со стороной равной 1/3. Из полученной фигуры вырезается центральный квадрат. Затем такой же процедуре вырезается квадрат. Зачем такой же процедуре подвергается каждый из 8 оставшихся квадратиков и т.д. (см. рис. 7)

Рисунок 8 - Квадратный ковер Серпинского

В результате чего получается дырявый квадратный ковер Серпинского со значением фрактальной размерности

Он также представляет собой пример идеального самоподобного фрактала. Его фрактальная размерность, однако, больше, чем у салфетки Серпинского, т.е. он является в каком-то смысле менее дырявом.