Компьютерра - Журнал «Компьютерра» № 33 от 11 сентября 2007 года

как известно, не существует. Однако с помощью записей (1) можно точно выразить значение этой последовательности в любой бесконечной точке: при n=

получаем

, при n=

– 1 получаем —

+1 и т. д.

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

В известном фильме Питера Гринуэя "Отсчет утопленников" ("Drowning by numbers") персонажи монотонно и без особых хлопот применяют друг к другу одну и ту же элементарную операцию – утопление. По духу это очень напоминает классические конструкции фракталов – геометрических объектов, ставших популярными в последние десятилетия в самых разных областях науки и практики. Строгое математическое определение фракталов очень скучное, а интересны они тем, что чаще всего обладают свойством самоподобия: состоят из небольшого числа частей, каждая из которых – уменьшенная и слегка измененная копия объекта в целом. Самоподобие же почему-то встречается во всевозможных структурах нашего лучшего из миров – причем именно в таких, которые трудно описать гладкими функциями классического анализа. Например, фрактальный лист папоротника (рис. справа внизу) очень похож на настоящий. Задать такую форму можно либо с помощью длиннейших (но совершенно неинформативных в данном случае) рядов по синусам и косинусам, либо с помощью очень простого фрактального процесса, в явном виде учитывающего самоподобие этого листочка (а он состоит из трех уменьшенных копий самого себя: двух нижних веточек и того, что останется, если их отрезать). Папоротник тут не случаен – фрактальные модели (так называемые L-системы) построены для множества видов растений. Классик науки о фракталах Бенуа Мандельброт (если не ошибаюсь, он и ввел термин "фрактал") в начале 1960-х обнаружил фрактальные (в усредненном, статистическом смысле) структуры не где-нибудь, а в финансовых рядах – графиках колебания цен на рынках. Фрактальный характер имеет и множество других заманчивых объектов и процессов, включая строение Интернета и динамику сетевого трафика, и фрактальные компьютерные модели всего этого разрабатываются весьма активно. Проблема только в том, что построить такую модель для конкретного предмета из реального мира всегда крайне сложно. С формами растений это в целом удалось, а вот с финансовыми рядами – как-то пока не очень (хотя кто знает? может быть, нам не все рассказывают?).

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

Пример простого фрактального процесса – построение классического канторова множества. Заготовка – отрезок [0, 1]. Первый шаг – выбрасываем (Гринуэй, может быть, сказал бы – топим) среднюю треть этой заготовки. Получаем уже два отрезка, но маленьких: [0, 1/3] и [2/3, 1]. Затем топим (пардон, стираем) среднюю треть у каждого из этих двух, затем – у каждого из полученных четырех, и так далее. Ясно, что при рисовании на мониторе оставшиеся отрезки скоро станут меньше пикселов, и ничего кроме пустого экрана этот фрактальный процесс не даст (зато при другом выборе заготовок и операций с ними мы могли бы получить ветку сирени или реалистичный горный ландшафт).

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