Фрактальная геометрия природы

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

В качестве иллюстрации приводится один из многих изображающих этот естественный феномен рисунков из книги Перрена «Атомы» [470]. На нем изображены четыре индивидуальные траектории движения коллоидной частицы радиуса 0,53μ, полученные с помощью микроскопа. Через каждые 30 секунд на координатной сетке отмечались последовательные положения частицы (шаг сетки 3,2μ), которые соединялись затем прямыми (эти прямые, таким образом, не имеют никакого физического смысла).

Продолжим наш вольный перевод из Перрена [469]. «Может возникнуть искушение определить «среднюю скорость частицы», как можно точнее последовав за ней по ее извилистому пути. Однако подобная оценка окажется в корне неверной. И величина, и направление видимой средней скорости частицы изменяются самым безумным образом. Рисунок дает лишь слабое представление об изумительной запутанности реальной траектории. Если бы положения частицы регистрировались в 100 раз чаще, то вместо каждого отрезка прямой мы получили бы ломаную, столь же сложную как и исходный рисунок, хотя и меньших размеров — и так далее. Нетрудно убедиться, что на практике понятие касательной в применении к таким кривым является полной бессмыслицей».

Автор настоящего эссе разделяет мнение Перрена, однако рассматривает неправильность под несколько иным углом. Мы подчеркиваем тот факт, что при последовательном увеличении разрешения микроскопа, длина траектории наблюдаемого броуновского движения возрастает до бесконечности (см. главу 25).

Кроме того, след, оставляемый броуновской частицей, в конце концов почти заполняет всю плоскость. Разве не напрашивается вывод, что в каком-то смысле (смысл этот нам еще предстоит отыскать) размерность этой необычной кривой должна совпадать с размерностью плоскости? Самое интересное — так оно и есть. Одна из главных задач этой книги заключается в том, чтобы показать, как расплывчатое понятие размерности расщепляется на несколько вполне определенных составляющих. Топологически след движения броуновской частицы является кривой (размерность 1). Однако так как он способен заполнить практически всю плоскость, то во фрактальном смысле его размерность равна 2. Расхождение между этими двумя величинами дает броуновскому движению право называться, согласно вводимой ниже терминологии, фракталом.

Рис. 29. ФИЗИЧЕСКОЕ БРОУНОВСКОЕ ДВИЖЕНИЕ. КЛАССИЧЕСКИЕ ЗАРИСОВКИ ЖАНА ПЕРРЕНА

3 РАЗМЕРНОСТЬ, СИММЕТРИЯ, РАСХОДИМОСТЬ

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

ИДЕЯ РАЗМЕРНОСТИ

Во время кризиса 1875-1925 гг. математики осознали, что невозможно достичь истинного понимания неправильности и фрагментации (равно как правильности и связности), по-прежнему определяя размерность как число пространственных координат. Первый шаг в направлении строгого анализа был сделан Кантором в его письме к Дедекинду от 20 июня 1877 г., следующий — Пеано в 1890 г., а к середине 20-х гг. XX в. процесс благополучно завершился.

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

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

ОПРЕДЕЛЕНИЕ ТЕРМИНА «ФРАКТАЛЬНЫЙ»

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

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

< Размерностную несогласованность основных фракталов можно использовать для трансформации интуитивного понятия фрактала в строго математическое. Я решил сосредоточиться на двух определениях, каждое из которых ставит в соответствие всякому множеству в евклидовом пространстве — каким бы «патологическим» оно ни выглядело — некое вещественное число, которое и с интуитивной, и с формальной точки зрения имеет полное право называться размерностью этого множества. Более неформальным из двух является определение топологической размерности по Брауэру, Лебегу, Менгеру и Урысону. Эта размерность описана в соответствующем разделе главы 41. Обозначим ее через D_T Определение второй размерности было сформулировано Хаусдорфом в [203] и приведено в окончательный вид Безиковичем. Ее описание можно найти в главе 39, а обозначать ее мы будем через D.

< В евклидовом пространстве RE величины размерностей D_T и D заключены в промежутке от 0 до E. Однако на этом их сходство заканчивается. Размерность D_T всегда является целым числом, в то время как для размерности D это вовсе не обязательно. Эти две размерности не обязательно должны совпадать, они должны лишь удовлетворять неравенству Спилрайна (см. [231], глава 4)

D≤D_T

В случае евклидовых множеств D=D_T. Однако почти для всех множеств в этой книге D>D_T. Такие множества необходимо было как-то называть, поэтому я придумал термин фрактал, определив его следующим образом:

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

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

D=ln2/ln3≈0,6309>0, при D_T=0.

Канторово множество в пространстве RE можно обобщить так, чтобы D_T=0, a D принимала бы любые желаемые значения в промежутке от 0 до E (включительно).

< Фракталом является и исходная кривая Коха, поскольку, как будет показано в главе 6, ее размерность

D=ln4/ln3≈1,2618>1, при D_T=1.

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

D=2, при D_T=1.

< Тот поразительный факт, что размерность D не должна непременно быть целым числом, заслуживает некоторого терминологического отступления. Если понимать термин «дробь»1 в широком смысле, т.е. как синоним термина «нецелое вещественное число», то некоторые из вышеперечисленных значений размерности D являются дробными — размерность Хаусдорфа-Безиковича иногда даже называют дробной размерностью. Однако учитывая, что D может принимать и целые значения (меньшие, чем E, но строго большие, чем D_T), я предпочитаю называть величину D фрактальной размерностью. ►

ФРАКТАЛЫ В ГАРМОНИЧЕСКОМ АНАЛИЗЕ

< Исследование фракталов частично затрагивает и геометрический аспект гармонического анализа, однако в настоящем труде этот факт не слишком подчеркивается. Большинству читателей гармонический анализ (иначе называемый спектральным или анализом Фурье) мало известен, а многие из тех, кто эффективно используют его на практике, мало знакомы с его фундаментальными структурами.

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

О «ПОНЯТИЯХ, КОТОРЫЕ ... НОВЫ, НО ... »

В свое время Лебег немало потешался над некоторыми «понятиями, которые, безусловно, новы, но абсолютно бесполезны». К размерности D эту характеристику никто не применял, однако ее использование было ограничено весьма узким кругом областей, причем все эти области относились к чистой математике. Я, пожалуй, был первым, кто успешно применил размерность D к описанию Природы. Одной из важнейших целей моей работы является закрепление за размерностью D центрального места в эмпирической науке и демонстрация таким образом того, что размерность эта обладает гораздо более широкой применимостью, чем кто-либо может себе представить.

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

МАТЕМАТИЧЕСКОЕ ИССЛЕДОВАНИЕ ФОРМЫ - ЭТО НЕ ТОЛЬКО ТОПОЛОГИЯ

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

Топология, которую раньше называли геометрией местоположений или analysis situs1 (греческое слово переводится как «место» или «положение»), полагает, что все горшки с двумя ручками имеют одинаковую форму, так как если бы они обладали неограниченной гибкостью и сжимаемостью, то можно было бы из одного горшка вылепить любой другой, причем непрерывным образом, не делая никаких новых отверстий и не закрывая старых. Топология также учит, что форма береговой линии любого острова идентична форме береговой линии любого другого острова, поскольку все такие линии топологически идентичны дружности. Топологическая размерность береговой линии равна топо- логической размерности окружности, и обе они равны 1. Если добавить острову несколько не соприкасающихся с ним «спутников», то совокупная береговая линия получившегося архипелага будет топологически идентична совокупности нескольких окружностей. Таким образом, топология не видит разницы между различными береговыми линиями.

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

Большинство действительно важных и интересных задач сложным образом сочетают в себе фрактальный и топологический аспекты формы.

Заметим, что в топологии определения собственно поля и размерности D_T развивались параллельно, а понятие фрактальной размерности D появилось на полвека раньше настоящего исследования в области фрактальных форм.

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

ЭФФЕКТИВНАЯ РАЗМЕРНОСТЬ

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

Эффективная размерность выражает соотношение между математическими множествами и естественными объектами. Строго говоря, все физические объекты — такие, например, как вуаль, нить или маленький шарик — должны быть представлены трехмерными телами. Однако физики предпочитают считать, что вуаль имеет размерность 2, а размерности нити и шарика равны соответственно 1 и 0 (при условии, разумеется, что и вуаль, и нить, и шарик достаточно малы). Например, для описания нити относящиеся к множествам с размерностями 1 или 3 теории должны быть соответствующим образом скорректированы с помощью поправочных членов. После этого строится более точная геометричеcкая модель, требующая меньших поправок. Если повезет, такая модель оказывается верной даже без учета поправок. Иными словами, эффективная размерность неизбежно опирается на субъективный фундамент; она обусловлена приближением и, как следствие, степенью разрешения.

ЭФФЕКТИВНЫЕ РАЗМЕРНОСТИ, СКРЫТЫЕ В СКРУЧЕННОМ ИЗ НИТИ ШАРЕ

Для подтверждения последнего заявления скрутим из толстой нити диаметром 1 мм шар диаметром 10 см и рассмотрим скрытые в таком клубке эффективные размерности.

Удаленному наблюдателю наш клубок покажется фигурой с нулевой размерностью, т. е. точкой. (Да что там клубок! — еще Блез Паскаль и средневековые философы утверждали, что в космическом масштабе весь наш мир есть не более, чем точка!) С расстояния в 10 см шар из нитей выглядит как трехмерное тело, а с расстояния в 10 мм — как беспорядочное переплетение одномерных нитей. На расстоянии в 0,1 мм каждая нить превратится в толстую колонну, а вся структура целиком опять станет трехмерным телом. На расстоянии 0, 01 мм колонны превратятся в переплетение волокон — шар снова станет одномерным. При дальнейшем приближении процесс становится периодическим — размерность наблюдаемой фигуры переключается с одного значения на другое и наоборот. Наконец, когда клубок превратится в скопление, состоящее из какого-то конечного числа точек, имеющих размеры порядка атомных, его размерность снова становится равной нулю. Похожую последовательность смены размерностей можно наблюдать при разглядывании листа бумаги.

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

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

ПРОСТРАНСТВЕННАЯ ОДНОРОДНОСТЬ, МАСШТАБНАЯ ИНВАРИАНТНОСТЬ И САМОПОДОБИЕ

Оставим пока размерности в покое и приготовимся к разговору о симметрии, для чего вспомним о простейших формах, с которых начинается евклидова геометрия: о линиях, плоскостях и пространствах. И о простейших физических задачах, возникающих при однородном распределении какой-либо физической величины — плотности, температуры, давления или скорости.

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

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

Более того, большинство этих фракталов инвариантны при некоторых преобразованиях масштаба. Назовем их масштабно-инвариантными фракталами. Фрактал, инвариантный при обычном геометрическом преобразовании подобия, называется самоподобным.

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

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

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

Нелишним будет напомнить, что идея самоподобия далеко не нова.. В случае с прямыми эта идея пришла в голову еще Лейбницу примерно в 1700 г. (см. раздел МАСШТАБНАЯ ИНВАРИАНТНОСТЬ ПО ЛЕЙБНИЦУ И ЛАПЛАСУ в главе 41). Ее математическому обобщению, не ограничивающемуся прямыми и плоскостями, скоро исполнится сто лет, хотя реальной его важности до настоящего эссе никто не признавал. Физики тоже давно знакомы с самоподобием — с тех пор, как в 1926 г. Льюис Ф. Ричардсон предположил, что турбулентность в широком диапазоне масштабов может быть разбита на самоподобные завихрения. Поразительные аналитические следствия этой идеи в приложении к механике были сформулированы Колмогоровым в работе [276]. Что касается масштабной инвариантности, то ее аналитические аспекты связываются в физике с понятием ренорм-групп (см. главу 36).

И все же впервые геометрические аспекты нестандартной масштабной инвариантности в Природе были должным образом освещены лишь в первом издании настоящего эссе в 1975 г.

«СИММЕТРИИ» ЗА ПРЕДЕЛАМИ МАСШТАБНОЙ ИНВАРИАНТНОСТИ

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

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

СИНДРОМ РАСХОДИМОСТИ

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

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

4 ВАРИАЦИИ НА ТЕМУ

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

НЕЯСНОСТЬ ИЗЛОЖЕНИЯ - НЕ ДОБРОДЕТЕЛЬ

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

Однако ясность изложения не является главной целью этой книги.

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

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

Однако популяризация не является его главной целью.

ЭРУДИЦИЯ ПОЛЕЗНА ДЛЯ ДУШИ

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

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

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

Однако всякий раз, когда мы взираем на труды великих людей с высоты тех знаний, которыми они не обладали, уместно будет поразмыслить над замечательным предисловием, которое написал Лебег к одной из книг Лузина. В ответ на то, что автор упомянутой книги приписывал Лебегу всевозможные глубокие мысли, французский математик заявил, что он, безусловно, мог бы — или даже должен был бы — подумать об этом, однако не подумал, а посему автором этих мыслей следует все же считать Лузина. Аналогичный феномен можно наблюдать в книге Уиттекера [591]: автор заявляет, что физическая теория относительности была создана не Эйнштейном, а Пуанкаре и Лоренцем, и приводит в подтверждение цитаты из их трудов; при этом известно, что и Пуанкаре, и Лоренц подчеркнуто отрицали свою к этому причастность.

Кроме того, на каждого ученого, когда-то в прошлом высказавшего мимоходом некую идею, из которой мы можем сегодня получить рабочую теорию, найдется, по меньшей мере, еще один ученый, его современник, который уверенно заявлял, что упомянутая идея совершенно абсурдна. Стоит ли ставить в заслугу Анри Пуанкаре те идеи, которые он в молодости не удосужился разработать, а в зрелом возрасте и вовсе отверг? Если верить Стенту [540], то незрелые идеи, высказанные слишком рано, не заслуживают ничего большего, нежели сострадательное забвение.

Хотя избыточная эрудиция в отношении истории идей сама по себе, как оказывается, довольно бесполезна, мне все же хотелось как-то зафиксировать эти отголоски прошлого, что я и сделал в биографических и исторических очерках в главах 40 и 41.

Однако демонстрация эрудиции автора никоим образом не является главной целью этой книги.

«ВИЖУ - ЗНАЧИТ ВЕРЮ»

В своем письме к Дедекинду, написанном в самом начале кризиса математики 1875 - 1925 гг., Кантор, ошеломленный своими поразительными находками, восклицает, переходя при этом с немецкого на французский, что он не может поверить в то, что он видит («Je le vois, mais je ne le crois pas!»1) И математика, словно бы поняв намек с полуслова, принимается усердно избегать обманчивых и искусительных ликов чудовищ. Какой контраст между безудержной вычурностью до- и контрреволюционной геометрии и практически полным отсутствием какого бы то ни было визуального сопровождения в работах Вейерштрасса, Кантора и Пеано! Аналогичный оборот приняли дела и в физике — после того, как в 1800 г. вышла в свет «Небесная механика» Лапласа без единой иллюстрации. Как выразился П. А. М. Дирак в предисловии к изданной в 1930 г. «Квантовой механике», «фундаментальные законы природы управляют мирозданием не так непосредственно, как мы себе это воображаем; они воздействуют на некий субстрат, о котором мы не можем создать для себя никакого представления, не исказив всей картины привнесением в нее наших собственных неуместных добавлений».

Широкое и некритичное приятие таких взглядов принесло в конечном счете немало неприятностей. Теория фракталов, как никакая другая, требует обратного подхода: «Вижу — значит верю.» Поэтому, прежде чем вы продолжите чтение, еще раз рекомендую некоторое время по- разглядывать иллюстрации, особенно те, что вошли в цветную «книгу в книге». Я строил свое эссе таким образом, чтобы его содержимое оказалось доступным (пусть и в различной степени) самому широкому кругу читателей; кроме того, в нем я пытаюсь убедить даже самых отъявленных пуристов от математики в том, что качественные иллюстрации не только помогают разобраться в уже известных понятиях, но и незаменимы при поиске новых концепций и создании новых теорий. Не так уж часто встретишь в современной научной литературе подобную веру в полезность графики.

Однако демонстрация красивых картинок не является главной целью этой книги; иллюстрации — это чрезвычайно полезный инструмент, но и только.

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

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

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

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

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

Кроме того, графическое представление помогает обнаружить новые области применения для уже существующих моделей. Впервые я столкнулся с такой возможностью, разглядывая иллюстрацию, посвященную случайным блужданиям, в книге Феллера [147] — кривая на рисунке выглядела как контур рассеченной пополам горы, а те точки, где она пересекала временную ось, напомнили мне о некоторых данных из проводимого мною в то время исследования закономерностей возникновения ошибок на телефонных линиях. Посетившие меня в тот момент озарения привели в конце концов к теориям, представленным, соответственно, в главах 28 и 31. Мои собственные полученные с помощью компьютера иллюстрации аналогичным образом послужили источником вдохновения как для меня, так и для тех, кто по моей просьбе «примеривал» мои идеи к другим научным дисциплинам (каковых дисциплин, кстати, оказалось больше, чем я себе представлял).

Возможности графики естественным образом расширяет кинематография — фрагменты, посвященные некоторым классическим фракталам, можно увидеть в [417].

ОБЩЕПРИНЯТЫЕ ФОРМЫ ГЕОМЕТРИЧЕСКОГО «ИСКУССТВА» И ЕГО НОВЫЕ ФРАКТАЛЬНЫЕ ФОРМЫ

Картинки на форзацах книги и некоторые из разбросанных там и сям узоров представляют собой непреднамеренный результат ошибочного программирования. Я много раз слышал и даже читал, что мои иллюстрации — и те, что призваны подтвердить те или иные идеи, и те, что получились случайно, — называют не иначе как «Новой Формой Искусства».

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

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

Не напоминают ли вам некоторые его образцы творения М.К.Эшера? Если да, то в этом нет ничего удивительного, так как Эшер весьма разумно подошел к выбору источника вдохновения — этим источником стали гиперболические черепичные покрытия из книги Фрикке и Клейна [154], которые (см. главу 18) очень близки к формам, характерным для царства фракталов.