Объекты, которые сейчас называются фракталами, впервые появились в математике при развитии понятий «линия», «плоская фигура» и т. п.: к ним относятся такие фигуры, которые нельзя назвать ни линией, ни поверхностью в полном смысле слова. Примером такого объекта является кривая Коха, названная в честь датского математика Хельге фон Коха. Она получается из отрезка прямой последовательной заменой каждого прямолинейного участка на ломаную линию путем «вытягивания» средней трети исходного отрезка до равностороннего треугольника. Повторяя такую процедуру бесконечное число раз, в пределе мы получим конечную «линию», соединяющую две точки, имеющую бесконечную длину. Для привычных нам линий такое свойство кажется экзотичным. В то же время назвать кривую Коха плоской фигурой тоже язык не поворачивается – скорее, это «пушистая линия».
Строгого определения фрактала не существует. Наиболее известными являются определения Бенуа Мандельброта, математика, благодаря работам которого мы теперь осознаем, насколько важны эти новые геометрические объекты для понимания окружающего мира. В основе первого, пробного определения лежит представление о топологической размерности множеств: размерность точки принимается равной 0, линии —1, плоской фигуры – 2 и т. д. Формулируется оно так: «Фракталами называются множества дробной размерности», – что выражает «пограничное» свойство фракталов лежать между точкой и линией или между линией и плоской фигурой (это как раз такие «пушистые» линии, как описанная выше кривая Коха). Однако мало того, что требуется расшифровка понятия дробной размерности, неудачность этого определения стала очевидной после приведения ряда контрпримеров объектов, для которых оно не выполняется, притом что исходя из интуитивного представления их имело бы смысл отнести к фракталам (например, чрезвычайно «дырявая» пирамида, построенная польским топологом Вацлавом Серпинским, формально имеет размерность, равную 2, хотя получена из трехмерного тетраэдра поочередным отбрасыванием вписанных в него тетраэдров с половинной стороной).
Несколько менее формальное и значительно более общее определение фрактала, данное Мандельбротом несколько позже, звучит так: «Фракталом называется структура, состоящая из частей, которые в некотором смысле подобны целому». Неопределенность этого определения, содержащаяся в словах «в некотором смысле», делает понятие фрактала чуть ли не всеобъемлющим.
Поясним, как в это определение укладываются «математические» фракталы типа прямой Коха. Заметим вначале, что такие геометрические объекты, как прямая или плоскость, разумно назвать самоподобными. Формально охарактеризовать это свойство можно тем, что эти фигуры не изменяются при некоторых геометрических преобразованиях: перенос прямой вдоль нее приводит к той же самой прямой, плоскость при параллельном сдвиге и повороте переходит в себя же. Независимость от преобразований в математике принято называть симметрией. Есть множества, не обладающие столь полной симметрией, как плоскость или прямая, например, окружность не изменяется только при повороте – она также самоподобна. В этом смысле, согласно второму определению, все эти множества являются фракталами, несмотря на свою простую геометрическую структуру. Их можно назвать гладкими фракталами, в отличие от кривой Коха, пирамиды Серпинского, множества Кантора и т. п.
Какой же симметрией обладает кривая Коха? Выбрав ее фрагмент, например, одну треть всей кривой, и увеличив его в три раза, мы вновь получим в точности исходную кривую. Физики говорят, что такие объекты обладают скейлингом, от слова scale «шкала»: изменить шкалу в три раза – это все равно что рассматривать исходный объект под микроскопом с трехкратным увеличением. Если мы вновь видим ту же картину, что и без микроскопа – значит, объект обладает скейлингом и является фракталом.
Сначала фракталы воспринимались как экзотика. Ну действительно, не бывает же в природе объектов, для которых адекватной моделью является конечная линия с бесконечной длиной или объемная фигура с нулевым объемом! Но вот Морское министерство Великобритании заказывает своему геодезическому управлению работу по измерению длины береговой линии Британских островов. И что же? Ответ зависит от масштаба используемой карты, длина имеет тенденцию стремиться к бесконечности при уменьшении масштаба. Ага, да это же фрактал! То же самое можно сказать и о рисунке речной сети на поверхности Земли, о структуре разломов в горных породах, о следах, оставляемых высоковольтным разрядом при пробое, о скоплении молекул, осаждаемых из раствора (они выглядят как длинные разветвленные «мохнатые» цепочки типа кораллов или снежинок), о замысловатых узорах из молекул одного вещества, «расползающихся» по поверхности другого, – к ним относятся и ледяные рисунки, появляющиеся на окнах в морозные дни, – это все примеры природных фракталов.