Сами же фрактальные модели обычно представляют собой процессы последовательного измельчения и перемешивания исходных заготовок в соответствии с коротким списком правил. Как раз для точного подсчета (или отсчета?) того, что еще осталось от исходной заготовки после бесконечного числа таких шагов, Сергеев и использовал свои новые числа – в качестве иллюстрации их потенциальных возможностей.
Пример простого фрактального процесса – построение классического канторова множества. Заготовка – отрезок [0, 1]. Первый шаг – выбрасываем (Гринуэй, может быть, сказал бы – топим) среднюю треть этой заготовки. Получаем уже два отрезка, но маленьких: [0, 1/3] и [2/3, 1]. Затем топим (пардон, стираем) среднюю треть у каждого из этих двух, затем – у каждого из полученных четырех, и так далее. Ясно, что при рисовании на мониторе оставшиеся отрезки скоро станут меньше пикселов, и ничего кроме пустого экрана этот фрактальный процесс не даст (зато при другом выборе заготовок и операций с ними мы могли бы получить ветку сирени или реалистичный горный ландшафт).
Однако с точки зрения чистой математики в пределе остается отнюдь не пустота. Предельное канторово множество – трудновообразимый континуум (то есть нечто эквивалентное исходному отрезку!), все связи между точками которого разорваны выбрасыванием бесчисленных крошечных отрезков.
С использованием разложения по гросс-единицам Сергеев описывает этот процесс (и его результат) иначе. На n-м шаге процесса имеется 2n отрезков, каждый длиной 3-n. Стало быть, после
шагов бесконечно большое количество отрезков будет равно (2
), а их общая длина выразится бесконечно малым числом ((2/3)
). Эти выражения – точная характеристика фрактального множества, которая изменится при других параметрах порождающего процесса (если топить больше, или меньше, да еще и в других местах). Разумеется, аналогичные характеристики есть и в классике – например, фрактальная размерность, которая в данном случае равна log(2)/log(3). Но в классике лишен, конечно, смысла вопрос, насколько отличаются результаты последней и предпоследней из некоторого бесконечного числа итераций. Через новые числа это легко выразить: так, на шаге
– 1 общая длина отрезков равна (2/3) (
– 1).
Однако в новой системе невозможно пересчитать все полученные отрезки: ведь их будет (2
), то есть строго больше, чем
А мы помним постулат, что любой процесс, в том числе и процесс последовательного счета, не может использовать более
шагов. Зато здесь можно точно подсчитать число точек (!) в множестве, полученном после бесконечного числа шагов. Дело в том, что само понятие точки теперь сильно отличается от классического. "Как только мы выбрали символы для записи чисел, выражающих координаты точек, – поясняет Ярослав Сергеев, – мы определили понятие «точка» и можем легко сосчитать число этих точек. Более мощная система записи (например, система (1)) позволит нам увидеть больше точек, а более слабая (традиционная) – меньше".
Обратимся, наконец, к давно обещанным мерцающим фракталам. Мерцание заключается в том, что фрактальный процесс генерирует не одно, а несколько множеств. В данном случае их два, а процесс задан схемой:
Начав с синего квадрата, получаем на последовательных шагах такую динамику двух зависимых друг от друга множеств (см. схему внизу).
На четных шагах мы видим фигуру из синих квадратов, на нечетных – другую, составленную из красных треугольников. Описание динамики этого процесса в новой арифметике состоит в подсчете площади каждой фигуры на любом из шагов в процессе ее построения. Например, возьмем шаг
/2 – это четное бесконечное число, поэтому фигура в этот момент состоит из 2(3
/4) синих квадратов с общей бесконечно малой площадью 2(-
/4). На следующем шаге номер (
/2)+1 площадь фигуры из красных треугольников будет равна 2-
/4+1, и т. д. Вот так бесконечные числа описывают динамику этого мерцающего процесса – казалось бы, не имеющего предела в классическом смысле, подобно ряду 1, -1, 1, -1, …, 1. [Впрочем, аналогия тут не совсем полная.]
В заключение – скриншот "калькулятора бесконечности", построенного на основе уже работающего софтверного симулятора "компьютера бесконечности". Может быть, когда-нибудь мы увидим "компьютер бесконечности", реализованный в железе. Но это зависит от того, станет ли новая арифметика бесконечных чисел незаменимым инструментом решения сложных задач.
Ну а совсем в заключение – просим не рассматривать эту публикацию как сигнал о нашей особой заинтересованности в сочинениях именно на такие, фундаментальные и в то же время экзотические темы. Впрочем, независимо от тематики, мы пишем только о том, что прошло апробацию в солидной научной периодике, на серьезных конференциях и семинарах. Увлекательная работа Ярослава Сергеева именно такова.
Ярослав Серегеев занимает должность "полного профессора", учрежденную в Университете Калабрии (Италия) для приглашения выдающихся ученых. Он также профессор Нижегородского государственного университета им. Н. И. Лобачевского, доктор физико-математических наук, специалист по численному анализу, параллельным вычислениям, глобальной оптимизации, автор более 150 научных публикаций, среди которых 50 статей в международных журналах и три книги. Сергеев – один из организаторов и координатор Российско-Итальянского университета, действующего при Нижегородском университете.
Арифметике бесконечностей посвящен ряд его недавних работ, в том числе статья "Blinking fractals and their quantitative analysis" (Chaos, Solitons & Fractals, 33(1), 50—75, 2007), использованная в этом материале. См. также www.info.deis.unical.it/~yaro/arithmetic.html, www.grossone.com.